Algebra Dummit And Foote Solutions Chapter 4 - Abstract

Solution: Clearly, $0, 1 \in K^G$. Let $a, b \in K^G$. Then for all $\sigma \in G$, we have $\sigma(a) = a$ and $\sigma(b) = b$. Hence, $\sigma(a + b) = \sigma(a) + \sigma(b) = a + b$, $\sigma(ab) = \sigma(a)\sigma(b) = ab$, and $\sigma(a^{-1}) = \sigma(a)^{-1} = a^{-1}$, showing that $a + b, ab, a^{-1} \in K^G$.

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})]$.

Exercise 4.1.1: Let $K$ be a field and $\sigma$ an automorphism of $K$. Show that $\sigma$ is determined by its values on $K^{\times}$. 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$.

Solution: ($\Rightarrow$) Suppose $f(x)$ splits in $K$. Then $f(x) = (x - \alpha_1) \cdots (x - \alpha_n)$ for some $\alpha_1, \ldots, \alpha_n \in K$. Hence, every root of $f(x)$ is in $K$. Solution: Clearly, $0, 1 \in K^G$

Exercise 4.2.1: Let $K$ be a field and $f(x) \in K[x]$. Show that $f(x)$ splits in $K$ if and only if every root of $f(x)$ is in $K$.

You're looking for solutions to Chapter 4 of "Abstract Algebra" by David S. Dummit and Richard M. Foote! Hence, $\sigma(a + b) = \sigma(a) + \sigma(b)

Chapter 4 of Dummit and Foote covers "Galois Theory". Here are some solutions to the exercises: