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?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityA 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?
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.
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}]$).
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.