Week 1 Synthesis

Central Question

Can I reconstruct the path from a polynomial to its symmetries and the obstruction to radical formulas?

Why This Matters

Connecting the constructions into one story reveals which ideas are essential and which parts of the mental model still need work.

Mathematical Notes

The organizing chain

1. An irreducible polynomial $m\in F[x]$ supplies a new element through $F[x]/(m)$.
2. Its degree gives the vector-space dimension of the simple extension.
3. The tower law counts successive adjunctions, using degrees over the current field.
4. A splitting field collects all conjugate roots, making a finite normal extension.
5. Separability ensures there are enough distinct embeddings; normality turns them into automorphisms.
6. The resulting finite Galois group has order equal to the extension degree.
7. Fixed fields and subgroups give inverse, inclusion-reversing descriptions of the same structure.
8. Solvability of this group decides solvability by radicals in characteristic zero.

Three examples that test the whole model

The middle row is the essential counterexample to “degree equals number of symmetries.” The last row shows that a nonabelian group can still be solvable: $S_3\triangleright C_3\triangleright\{1\}$ has cyclic factors.

Conceptual checks, with short resolutions

Why not adjoin a root by quotienting by any polynomial and call it a field? Reducible polynomials create zero divisors. An irreducible factor is needed for a field adjunction.

Does one root determine the splitting field? Not usually. A real cube root does not provide the nonreal conjugates; quadratic polynomials are a particularly simple exception.

Why can isomorphic cubic fields still be different subfields? Isomorphism preserves arithmetic, not their position inside $\mathbb C$. Their generators can be different conjugate roots.

Why does a larger intermediate field correspond to a smaller subgroup? More elements must be fixed. For $H\le G$, the relevant degrees are $[L:L^H]=|H|$ and $[L^H:F]=[G:H]$, not the other way around.

Which normality is being compared? Under the finite Galois correspondence, normality of $H$ in $G$ corresponds to normality of $L^H/F$, not of $L/L^H$; the latter is always Galois.

Why does $S_5$ obstruct radicals while $S_3$ does not? $S_3$ decomposes into abelian symmetry layers. The nonabelian simple group $A_5$ prevents that decomposition for $S_5$.

A practical route for a new polynomial

Certify factorization and irreducibility over the specified base field. Construct or characterize the splitting field. Calculate degrees where possible. Identify allowed root permutations, prove enough of them exist, and use invariants such as the discriminant to constrain the group. Only then apply the correspondence or radical criterion. Do not infer the group merely from the polynomial's degree.

Where the theory goes next

For $\mathbb F_{q^n}/\mathbb F_q$, the Galois group is cyclic of order $n$, generated by Frobenius $a\mapsto a^q$. Cyclotomic fields connect automorphisms with arithmetic modulo integers. Constructibility turns geometric operations into quadratic towers. The inverse Galois problem asks which finite groups occur over $\mathbb Q$. These are extensions of the same symmetry viewpoint, not unrelated applications.

Learning Prompt

Consolidate polynomial → irreducible polynomial → adjoining roots → quotient field → extension degree → splitting field → automorphisms → Galois group → subgroup/intermediate-field correspondence → solvability by radicals. Quiz me using conceptual questions and identify gaps rather than testing routine calculations.

Ideas

Examples

Questions

Connections

• Why Quotient by a Polynomial?
• Splitting Fields
• Fundamental Theorem of Galois Theory
• Why the Quintic Changed Mathematics
• A Glimpse of Algebraic Topology
• Week overview

One Thing That Surprised Me

Further Rabbit Holes

Sources

Ian Stewart, Galois Theory, fifth edition, CRC Press, Chapters 4–6, 8–15; §§18.4–18.5, 19.1, 21.6, 22.1–22.3. Publisher and edition details.