Inverse Galois Problem

Abstract Algebra · Axiom Academy

LESSON The Inverse Galois Problem One of the deepest open questions in algebra: Which groups can appear as Galois groups of field extensions over ℚ? In Galois theory, we typically start with a polynomial and discover its symmetry group. The Inverse Galois Problem flips this: we start with a group and ask whether we can "realize" it as the Galois group of some polynomial over the rationals. 2. Solvable Groups: Problem Solved! The problem is completely solved for solvable groups . This was proven by Igor Shafarevich in 1954, building on earlier work. Every finite solvable group appears as a Galois group over ℚ. Solvable groups include all abelian groups, symmetric groups S n for n ≤ 4, and any group built from these through extensions. The proof uses sophisticated techniques from class field theory and cohomology. Let's see specific polynomials that realize various groups as Galois groups over ℚ: 4. Simple Groups: The Frontier Simple groups (groups with no nontrivial normal subgroups) are where the problem gets truly difficult. We know many results, but the general case remains open: The Inverse Galois Problem sits at the intersection of multiple areas of mathematics and has profound implications: Number Theory: Understanding which groups occur tells us about the arithmetic structure of ℚ and its extensions. Group Theory: Realizing a group as a Galois group provides geometric and topological interpretations of abstract algebraic structures.

This is the written version of the interactive lesson above. See the full Abstract Algebra course.