From Automorphisms to Groups

Central Question

Why do the symmetries of a field extension form familiar abstract groups?

Why This Matters

Composition organizes individual symmetries into a reusable algebraic object, connecting field constructions to undergraduate group theory.

Mathematical Notes

Composition records how symmetries interact

Write $\operatorname{Aut}_F(L)$ for the base-fixing automorphisms. Composition preserves addition, multiplication and the base field. The identity is an automorphism, and the inverse of a base-fixing field isomorphism also fixes the base. Associativity comes from function composition. These facts give a group without introducing any extra operation.

For a finite Galois extension, this group is written $\operatorname{Gal}(L/F)$. One can still study $\operatorname{Aut}_F(L)$ for a non-Galois extension, but its size need not equal the degree and the full correspondence need not hold.

Quadratic and biquadratic groups

For $\mathbb Q(\sqrt2)/\mathbb Q$, let $s$ be the sign flip. Then $s^2=1$ and

For $L=\mathbb Q(\sqrt2,\sqrt3)$, let $s$ flip $\sqrt2$ and $t$ flip $\sqrt3$. They commute, and

This is the Klein four-group, not $C_4$: no element has order four. Degree four alone does not identify the group.

Why the group is a permutation group

If $L$ is the splitting field of a separable degree-$n$ polynomial with roots $\alpha_1,\ldots,\alpha_n$, automorphisms permute the roots. The action is faithful because a map fixing all roots fixes the field they generate. Therefore

Not every permutation need occur: permitted permutations must preserve every polynomial relation over $F$ among the roots. If the polynomial is irreducible, the action on its roots is transitive. An isomorphism sending one root to another extends to the splitting field, so no root is distinguished over the base.

A useful contrast: a cyclic quartic

Let $\zeta=e^{2\pi i/5}$. Its minimal polynomial is $\Phi_5(x)=x^4+x^3+x^2+x+1$, irreducible because $\Phi_5(x+1)$ is Eisenstein at 5. Its conjugates are $\zeta^a$ for $a=1,2,3,4$. The maps $\zeta\mapsto\zeta^a$ compose by multiplication of exponents modulo 5, so

This degree-four extension and the biquadratic extension have genuinely different symmetry structures.

Learning Prompt

Show me why the automorphisms of a field extension naturally form a group. Let me explicitly construct the automorphism group of $\mathbb Q(\sqrt2)$ and $\mathbb Q(\sqrt2,\sqrt3)$. Connect these to familiar groups such as $C_2$ and the Klein four-group.

Ideas

Examples

Questions

Connections

• Field Automorphisms
• My First Genuine Galois Group
• Fundamental Group
• Week overview

One Thing That Surprised Me

Further Rabbit Holes

Sources

Ian Stewart, Galois Theory, fifth edition, CRC Press, §§8.2–8.6, 13.1; §§21.5–21.6. Publisher and edition details.