All Questions

In 1921 Siegel confirmed a conjecture of Hilbert by proving that for any number field $K$ each element of $$K_{\geq0}=\{a\in K:\ \sigma(a)\geq0\ \mbox{for all}\ \sigma\in\mathrm{Gal}(K/\mathbb Q)\}$$ ...

Recall that the ring of Gaussian integers is $$\mathbb Z[i]=\{a+bi:\ a,b\in\mathbb Z\}.$$ Clearly $$(a+bi)^2=a^2-b^2+2abi\ \ \mbox{and}\ \ (a+bi)^4=(a^2-b^2)^2-4a^2b^2+4ab(a^2-b^2)i.$$ Question. Is it ...

I wonder if there exists a characterisation of Hurwitz integers which are represented as sums of two squares of Hurwitz integers, up to multiplication by a unit. And if so, could you please point to a ...