📂Abstract Algebra

Galois Theory

Theorem ¹

Let $K$ be a Galois extension of $F$ with group $F \le E \le K$. Let us denote by $\lambda (E)$ the subgroup of $G ( K / F )$ that fixes $E$. Then, the map $\lambda$ becomes an isomorphism mapping all $E$ between $F$ and $K$ to all subgroups of $G ( K / F )$. $\lambda$ has the following properties:

1. $\lambda ( E ) = G ( K / E )$
2. $E = K_{ G ( K / E ) } = K_{ \lambda (E) }$
3. For $H \le G ( K / F )$, $\lambda ( K_{H} ) = H$
4. If $[K : E] = | \lambda (E) |$ and $[ E : F ] = \left( G ( K / F ) : \lambda (E) \right)$
5. $E$ is a normal extension of $F$, $\lambda (E)$ is a normal subgroup of $G (K / F)$.
6. If $\lambda (E)$ is a normal subgroup of $G ( K / F )$, then $G (E / F) \simeq G ( K / F ) / G ( K / E )$

---

• $[ E : F ]$ means degree.
• $G(E / F)$ refers to the group of $E$ over $F$.
• $\left( G ( K / F ) : \lambda (E) \right)$ means index in group theory.
• $K_{ \lambda (E) }$ is the set of elements that are fixed from $K$ to $\lambda (E)$.