Published online by Cambridge University Press: 27 May 2004
Let $k$ be a field, and let $\alpha$ and $\alpha'$ be two algebraic numbers conjugate over $k$. We prove a result which implies that if $L\subset k(\alpha,\alpha')$ is an abelian or Hamiltonian extension of $k$, then $[L:k]\leq[k(\alpha):k]$. This is related to a certain question concerning the degree of an algebraic number and the degree of a quotient of its two conjugates provided that the quotient is a root of unity, which was raised (and answered) earlier by Cantor. Moreover, we introduce a new notion of the non-torsion power of an algebraic number and prove that a monic polynomial in $X$—irreducible over a real field and having $m$ roots of equal modulus, at least one of which is real—is a polynomial in $X^m$.
AMS 2000 Mathematics subject classification: Primary 11R04; 11R20; 11R32; 12F10