Abstract Algebra — Dummit And Foote Solutions Chapter 4

Exercise 4.1.2: Let $K$ be a field and $G$ a subgroup of $\operatorname{Aut}(K)$. Show that $K^G = {a \in K \mid \sigma(a) = a \text{ for all } \sigma \in G}$ is a subfield of $K$.

Exercise 4.2.2: Let $K$ be a field, $f(x) \in K[x]$, and $L/K$ a splitting field of $f(x)$. Show that $L/K$ is a finite extension. abstract algebra dummit and foote solutions chapter 4

Exercise 4.3.1: Show that $\mathbb{Q}(\zeta_5)/\mathbb{Q}$ is a Galois extension, where $\zeta_5$ is a primitive $5$th root of unity. Exercise 4

Solution: Let $\alpha_1, \ldots, \alpha_n$ be the roots of $f(x)$. Then $L = K(\alpha_1, \ldots, \alpha_n)$, and $[L:K] \leq [K(\alpha_1):K] \cdots [K(\alpha_1, \ldots, \alpha_n):K(\alpha_1, \ldots, \alpha_{n-1})]$. $f(x) \in K[x]$