# Describe the structure $\operatorname{Gal}(\mathbb{Q}(\zeta_4)/\mathbb{Q})$

I know that if $n$ is prime then $G=\operatorname{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \simeq \Bbb Z_{n-1}$

But I am unsure what $G$ is when $n$ is not prime. For example when $n=4$:

$\operatorname{Gal}(\mathbb{Q}(\zeta_4)/\mathbb{Q}) \simeq \Bbb Z_4^*$

What is the structure of the group $\Bbb Z_4^*$? I am guessing it is cyclic, but I do not know how to explicitly find its generators.

Also, what is the basis of $\mathbb{Q}(\zeta_4)$ over $\mathbb{Q}$? Is it $\{\zeta, ..., \zeta^4\}$?

For general $n$, the units of the ring $\Bbb Z/n\Bbb Z$, which I’ll write $(\Bbb Z/n\Bbb Z)^*$, do not form a cyclic group. For, when $n=p_1^{e_1}p_2^{e_2}\cdots p_m^{e_m}$, then $(\Bbb Z/n\Bbb Z)^*\cong(\Bbb Z/p_1^{e_1}\Bbb Z)^*\oplus(\Bbb Z/p_2^{e_2}\Bbb Z)^*\oplus\cdots\oplus(\Bbb Z/p_m^{e_m}\Bbb Z)^*$, the $p_i$ all being prime.

For odd primes $p$, $(\Bbb Z/p^e\Bbb Z)^*$ is always cyclic, but the structure of $(\Bbb Z/2^e\Bbb Z)^*$ is $C_2\oplus C_{2^{e-2}}$, where by $C_m$ I mean an abstract cyclic group of order $m$. (The explanation of why these groups have this structure is a story for another night.)

• Thank you. So if I we take $n=18=3^2 \times 2 \implies Gal(\mathbb{Q}(\zeta_{18}/\mathbb{Q}) \simeq \mathbb{Z}/9\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$ – amiz9 Jun 2 '16 at 13:17
• Take $n=8=2^3 \implies Gal(\mathbb{Q}(\zeta_{8}/\mathbb{Q}) \simeq \mathbb{C_2} \oplus \mathbb{C_2}$? – amiz9 Jun 2 '16 at 13:19
• Are these correct? This is a nice classification - can you point me to somewhere where I can read more about the generators of these groups and their structure? Do all cyclotomic extension fields have a similar structure? – amiz9 Jun 2 '16 at 13:21
• Don’t forget that (in your notation) $\Bbb Z_2^*$ is trivial, not order two. In fact, $\Bbb Q(\zeta_{18})=\Bbb Q(\zeta_9)$. And yes, $\Bbb Z_8^*\cong C_2\oplus C_2$, generators $3$ and $7$. – Lubin Jun 2 '16 at 13:32
• Structure of $\Bbb Q(\zeta_n)$ should be in most books on algebraic number theory. – Lubin Jun 2 '16 at 13:35

I mean, $\zeta_4 = i$ so the extension has degree $2$, so the Galois group is a finite group of order $2$ and there's only one of those, $\Bbb Z/2\Bbb Z$. Like all quadratic extensions, the basis is $\{1, i\}= \{1,\sqrt{-1}\}$. If you want the exact structure, it's mercifully simple: $i\mapsto \overline{i}$ is the automorphism, i.e. complex conjugation is the only one.

• OK thanks, that all makes sense, except I am unsure why $\zeta_4=i \implies [\mathbb{Q}(\zeta_4) : \mathbb{Q}]=2$.. could you help me understand this please? And is the $i \rightarrow i$ the automorphism because $i \notin \mathbb{Q}$? Thanks – amiz9 Jun 2 '16 at 0:16
• Is it because the we must take $i$ to the power of $2$ to return back to our field $\mathbb{Q}$? – amiz9 Jun 2 '16 at 0:17
• @amiz9 that's one way to think of it, yeah. $\Bbb Q(i) \cong \Bbb Q[x]/(x^2+1)$. And look at the little bar over the $i$, it means complex conjugate. You can also think of it just as $i\mapsto -i$. – Adam Hughes Jun 2 '16 at 0:18
• ok thanks. So in general to find $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q})$, we can calculate the minimal polynomial of $\zeta_n$ over $\mathbb{Q}$. The degree of this polynomial will be the order of our group. Is that right? – amiz9 Jun 2 '16 at 0:23
• it will always be $\varphi(n)$ so you don't really need the polynomial. Generally speaking all automorphisms are $\zeta_n\mapsto \zeta_n^k$ for $k\in\Bbb Z/n\Bbb Z^*$. In this case $i\mapsto i^3 = i\mapsto (i)^2\cdot i = -i$ is how it works. – Adam Hughes Jun 2 '16 at 0:25

If $\zeta_n$ is a primitive $n^{th}$ root of unity, then $$Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong (\mathbb{Z}_n)^*.$$

What the elements of the group look like:

If $\sigma \in Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q})$, then there is an $a \in \{1,2,\dots,n\}$ with $a$ relatively prime to $n$ such that $$\sigma(\zeta_n) = (\zeta_n)^a$$

For the structure of $(\mathbb{Z}_n)^*$, see Lubin's answer.

• Thank you. What can we say about the generators that generate these groups? – amiz9 Jun 2 '16 at 13:21