Algebraic integers in skew fields

Hi everyone,

let $D$ be a skew field, which is finite dimensional over its center $k$. Assume that $k$ is a number field, and let $\mathcal{O}_D$ be the set of elements $z\in D$ which are roots of a monic polynomial with coefficients in $\mathcal{O}_k$ . Is $\mathcal{O}_D$ a subring of $D$ ?

Thanks!

G.

-
I don't know. If it is a subring, I would expect that you could show it for the case of the quaternions, and then generalize that argument. Gerhard "Not Yet Ready For Counterexamples" Paseman, 2012.10.12 – Gerhard Paseman Oct 12 '12 at 16:06

In the case of $D$ being the integral Hamiltonian quaternions, or even the Hurwitz integers therein (adjoining $(1+i+j+k)/2$ to give a maximal subring), we can easily conjugate ourselves to another subring: using the model of $D$ inside two-by-two complex matrices spanned over $\mathbb R$ by $\pmatrix{1 & 0 \cr 0 & 1}$, $\pmatrix{i & 0 \cr 0 & -i}$, $\pmatrix{0 & 1 \cr -1 & 0}$, and $\pmatrix{0 & i \cr i & 0}$, conjugating by diagonal elements $\pmatrix{a+bi & 0 \cr 0 & a-bi}$ where $a\pm bi$ have some odd Gaussian prime factors not in common will move us out of the Hurwitz integers.
This is a direct manifestation of the point that subrings of $D$'s finitely-generated as $\mathbb Z$-modules are obtained by taking products of maximal compact subrings of all the $D\otimes_{\mathbb Q} \mathbb Q_p$ and intersecting with $D$. At primes $p$ where $D$ becomes the matrix algebra, there is by-far not a unique such maximal subring. Approximating this globally gives the kind of counterexample in the previous paragraph.