Show that $\mathbb{Q}(\zeta_n)$ is Galois over $\mathbb{Q}$ and $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q}))\cong \mathbb{Z_n}^*$ [duplicate]

Question 1: For $n \in \mathbb{N}$ explain why $\mathbb{Q}(\zeta_n)$ is Galois over $\mathbb{Q}$

We must show that it is normal and separable.

$\mathbb{Q}(\zeta_n)/\mathbb{Q}$ is normal since it is a splitting field for $X^n-1 \in\mathbb{Q}[X]$ (I think... Is this correct?).

It is separable because it is of characteristic $0$

Question 2: $Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q}))\cong \mathbb{Z_n}^*$

Is this because the primitive nth root of unity $\zeta_n$ acts as a generator for a cyclic group? I am unable to fill out a decent proof on this.

Thanks for your help


For your second question, if you take $\sigma$ in $G=Gal(\mathbb{Q}(\zeta_n)/\mathbb{Q})$, $\sigma(\zeta_n)$ is an $n$-th primitive root of unity, so it can be written $\sigma(\zeta_n)=\zeta_n^k$ for some $k$ coprime to $n$. So you can introduce $\chi :\sigma \mapsto k$ from $G$ to $(\mathbb{Z}/n\mathbb{Z})^{\times}$, which is a well defined and injective group homomorphism. It's an isomorphism since the cardinal of $G$ is the degree of the extension $\mathbb{Q}(\zeta_n)/\mathbb{Q}$, i.e the degree of the $n$-th cyclotomic polynomial $\Phi_n$, that is $\varphi (n)$. ($\Phi_n$ is irreducible over $\mathbb{Q}$ -which is not trivial to prove- so it is the minimal polynomial of $\zeta_n$ over $\mathbb{Q}$).