Question Number 213208 by issac last updated on 01/Nov/24
$$\mathrm{Let}\:{f}\left({x}\right)\in\mathbb{Q}\left[{x}\right]\:\mathrm{irreducible}\:\mathrm{of}\:\mathrm{degree}\:{n} \\ $$$$\mathrm{and}\:{K}\:\mathrm{it}'\mathrm{s}\:\mathrm{Splitting}\:\mathrm{Field}\:\mathrm{over}\:\mathbb{Q} \\ $$$$\mathrm{Prove}\:\mathrm{that}\:\mathrm{if}\:\mathrm{Gal}\left({K}\backslash\mathbb{Q}\right)\:\mathrm{is}\:\mathrm{Abeilan} \\ $$$$\mathrm{then}\:\mid\mathrm{Gal}\left({K}\backslash\mathbb{Q}\right)\mid={n} \\ $$$$\mathrm{How}\:\mathrm{can}\:\mathrm{i}\:\mathrm{prove}\:\mathrm{this}??? \\ $$
Answered by MrGaster last updated on 01/Nov/24
$${f}\left({x}\right)\in\:\mathbb{Q}\left[{x}\right],\mathrm{deg}\left({f}\right)={n} \\ $$$${K}/\mathbb{Q}\:\mathrm{is}\:\mathrm{the}\:\mathrm{splitting}\:\mathrm{field}\:\mathrm{of}\:{f}\left({x}\right)={G}={G}\mathrm{al}\left({K}/\mathbb{Q}\right) \\ $$$${G}\:\mathrm{is}\:\mathrm{abelian} \\ $$$$\alpha_{\mathrm{1}} ,\alpha_{\mathrm{2}} ,\ldots,\alpha_{{n}} \mathrm{are}\:\mathrm{roots}\:\mathrm{of}\:{f}\left({x}\right)\mathrm{in}\:{K} \\ $$$${K}=\mathbb{Q}\left(\alpha_{\mathrm{1}} ,\alpha_{\mathrm{2}} ,\ldots,\alpha_{{n}} \right) \\ $$$$\mid{G}\mid=\left[{K}:\mathbb{Q}\right] \\ $$$$\sigma\:\in\:{G},\sigma\left(\alpha_{{i}} \right)=\alpha_{{j}} ,\sigma\left(\alpha_{{j}} \right)=\alpha_{{i}} ,\sigma\left(\alpha_{\kappa} \right)=\alpha_{\kappa} ,{k}\neq{i},{j} \\ $$$$\sigma\tau=\tau\sigma,\forall\sigma,\tau\:\:\in\:{G} \\ $$$$\sigma\left(\alpha_{{i}} \right)\alpha_{{j}} \Rightarrow\sigma\left(\alpha_{{j}} \right)=\alpha_{{i}} \mathrm{or}\:\alpha_{{j}} \\ $$$$\sigma\left(\alpha_{{i}} \right)=\alpha_{{j}} ,\tau\left(\alpha_{{i}} \right)=\alpha_{\kappa} ,\sigma\left(\alpha_{\kappa} \right)=\alpha_{\kappa} \\ $$$$\sigma\tau\left(\alpha_{{i}} \right)=\sigma\left(\alpha_{\kappa} \right)=\alpha_{\kappa} \\ $$$$\tau\sigma\left(\alpha_{{i}} \right)=\tau\left(\alpha_{{j}} \right)=\alpha_{\kappa} \\ $$$$\sigma\left(\alpha_{{j}} \right)=\alpha_{{j}} \mathrm{for}\:\mathrm{all}\:\sigma\:\in\:{G} \\ $$$$\sigma\left(\alpha_{{i}} \right)=\alpha_{{j}} \Rightarrow\alpha_{{i}} \mathrm{and}\:\alpha_{{j}} \mathrm{are}\:\mathrm{conjugate}\:\mathrm{over}\:\mathbb{Q}\:\alpha_{\mathrm{1}} ,\alpha_{\mathrm{2}} ,\ldots,\alpha_{{n}} \:\mathrm{are}\:\mathrm{distinct}\:\mathrm{and}\:\mathrm{conjugate}\:\mathrm{o} \\ $$$$\mid{G}\mid={n} \\ $$