2
$\begingroup$

A problem from Michael Artin's Algebra (Second Edition) from Fields: Determine the quadratic number fields $\mathbb{Q}[\sqrt{d}]$ that contain a primitive $n$th root of unity, for some integer $n$.

I do not know how to get about. Any hints?

$\endgroup$
1
  • $\begingroup$ Nitpick: the problem should probably include the constraint that $n > 2$. $\endgroup$
    – user14972
    Aug 10, 2014 at 21:43

3 Answers 3

2
$\begingroup$

Let $\alpha$ be a primitive $n$th root of unity for some $n$, such that $\alpha$ is contained in a quadratic extension. So the minimal polynomial of $\alpha$ is of degree $2$, meaning that $(x-\alpha)(x-\overline{\alpha})\in\mathbb{Q}[x]$. It is a known fact that the $n$th cyclotomic polynomial is irreducible, thus it follows that $\phi(n)=2$, where $\phi$ is Euler's phi function. It is not hard to find all possible values of $n$ that satisfy this.

$\endgroup$
1
$\begingroup$

The degree of a primitive $n$-th root of unity as an algebraic number over $\mathbb{Q}$ is $\varphi(n)$, hence $\exp\left(\frac{2\pi i}{n}\right)$ may belong to a quadratic number field only if $\varphi(n)=2$, i.e. for $n=3$ ($\mathbb{Q}[\sqrt{-3}]$) and $n=4$ ($\mathbb{Q}[\sqrt{-1}]$).

$\endgroup$
0
$\begingroup$

For variety,

For every $n$ that doesn't divide $24$, there exists a residue class $x$ modulo $n$ that is relatively prime to $n$ and such that $x^2 \neq 1 \pmod{n}$. Therefore, there exists a prime number $p$ such that $n$ does not divide $p^2 - 1$.

If $K$ is a field containing a primitive $n$-th root of unity, then for every prime $p$ not dividing $n$, all of its residue fields of characteristic $p$ have a primitive $n$-th root of unity $\zeta$. If we choose $p$ such that $p^2 \not \equiv 1 \pmod n$, then neither $\mathrm{GF}(p)$ nor its quadratic extension has a primitive $n$-th root of unity, and therefore $\mathrm{GF}(p)(\zeta)$ is an extension of $\mathrm{GF}(p)$ degree greater than $2$.

Therefore, $K$ must be an extension of $\mathbb{Q}$ of degree greater than $2$.

Thus, we need only consider which $\mathbb{Q}(\zeta)$ are quadratic fields, for $\zeta$ a primitive $1,2,3,4,6,8,12,24$-th root of unity.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .