I would like to know, if there is a 4 dimensional anisotropic quadratic form over the 2-adic Integers $\mathbb{Z}_2$, that satisfies the following property:
It is in diagonal form and 2 does not divide a,b,c and d.
My guess: I think that the problem is equivalent to the problem over $\mathbb{Q}_2$. If you have a form with diagonal entries in $\mathbb{Q}_2\setminus \mathbb{Z}_2$, you can scale the form with a suitable power of $2$ to get a form over $\mathbb{Z}_2$. Furthermore I know that the Witt Ring of $\mathbb{Q}_2$ has 32 elements, but I do not know the representatives. Does anyone know the answer or good literature? The books I found exclude the case $p=2$.
Best regards Laura
The form $$ Q(x_1,x_2,x_3,x_4)=x_1^2+x_2^2+x_3^2+x_4^2 $$ has no non-trivial zeros with $x_i\in\Bbb{Q}_2, i=1,2,3,4$. This is seen as follows. Because $Q$ is homogeneous w.l.o.g. we can assume that all the $x_i$:s are 2-adic integers, and at least one of them is a 2-adic unit. Permuting and scaling the variables with the inverse of that unit we can further assume that $x_1=1$. Reducing $Q$ and the variables modulo 8 leaves us a brute force check that $$ 1+x_2^2+x_3^2+x_4^2\neq0_{\Bbb{Z}/8\Bbb{Z}} $$ for all combinations of $x_2,x_3,x_4\in\Bbb{Z}/8\Bbb{Z}$. The key point is that all odd squares are $\equiv1\pmod 8$, and the even squares are $\equiv0,4\pmod 8$. The claim follows.
I think it is worth pointing out that the same $2$-adic scaling and modulo $8$ calculation gives the easy direction of the three squares theorem.