Fact-checked by Grok 2 weeks ago

Inverse Galois problem

The Inverse Galois problem is a fundamental open question in Galois theory that asks whether every finite group G appears as the Galois group of some Galois extension of the field of rational numbers \mathbb{Q}, meaning there exists a Galois extension M/\mathbb{Q} such that \mathrm{Gal}(M/\mathbb{Q}) \cong G.^[1]
This problem originated in the early 19th century with the development of Galois theory, which links the solvability of polynomial equations to group structures, and was more formally posed by David Hilbert in 1892, who used the Hilbert irreducibility theorem to prove that the symmetric groups S_n and alternating groups A_n for n \geq 1 can be realized over \mathbb{Q}.^[1] The Kronecker-Weber theorem from the 19th century established that all finite abelian groups arise as Galois groups over \mathbb{Q}, providing an early affirmative result for this subclass.^[1]
Significant progress has been made since the mid-20th century, including proofs by Scholz and Reichardt in 1937 that finite p-groups for odd primes p occur over \mathbb{Q}, Shafarevich's 1954 theorem (corrected in 1989) confirming this for all solvable groups, and John Thompson's 1984 realization of the Monster group—the largest sporadic finite simple group—as a Galois group over \mathbb{Q}.^[1] Many non-solvable groups, such as projective special linear groups \mathrm{[PSL](/page/PSL)}(2,p) and Mathieu groups, have also been realized, often via methods like the rigidity method, Noether's problem, and computational tools in algebraic geometry and group cohomology.^[1]^[2] Despite these advances, the general case remains unsolved, with ongoing research exploring variants over fields like \mathbb{Q}(t) and leveraging modern techniques such as modular Galois theory.^[3]

Introduction

Definition and Statement

A Galois extension K / F of fields is an algebraic extension that is both normal—meaning every irreducible polynomial over F with a root in K splits completely in K—and separable, meaning every element of K has a separable minimal polynomial over F.^[4] The Galois group \Gal(K / F) consists of all automorphisms of K that fix the base field F pointwise; for a finite Galois extension, the order of this group equals the degree [K : F].^[4] The inverse Galois problem, specifically over the rational numbers \mathbb{Q}, asks whether, for every finite group G, there exists a Galois extension K / \mathbb{Q} such that \Gal(K / \mathbb{Q}) \cong G. This question seeks to determine if every finite group can arise as the full symmetry group of some normal separable extension of \mathbb{Q}.^[5] The problem has profound implications for the classification of field extensions, as realizing G as a Galois group over \mathbb{Q} links directly to constructing polynomials over \mathbb{Q} whose roots admit a transitive action by G in their splitting field.^[4] Despite significant progress on special cases, the general inverse Galois problem over \mathbb{Q} remains unsolved as of 2025.^[6]

Historical Context

The foundations of the inverse Galois problem trace back to the work of Évariste Galois in the 1830s, who developed the theory associating permutation groups to the solvability of polynomial equations by radicals, thereby establishing the direct correspondence between field extensions and groups that underpins the inverse question.^[7] Galois's insights, particularly in his 1831 memoir, highlighted how the structure of the Galois group determines the nature of algebraic extensions, implicitly raising the possibility of realizing arbitrary finite groups as such groups over base fields like the rationals. The problem was explicitly posed in its modern form by David Hilbert in his 1892 Zahlbericht, where he initiated systematic study by proving, via his irreducibility theorem, that symmetric groups S_n and alternating groups A_n arise as Galois groups of extensions of the rationals.^[1] Hilbert's contributions marked a shift toward realizing specific groups over number fields, leveraging tools from algebraic geometry and Riemann surfaces to address the realizability over \mathbb{Q}(t) and its specialization to \mathbb{Q}. In the 1920s, Emil Artin advanced the general framework of Galois theory through his lectures, reformulating it in terms of field automorphisms rather than permutations, which facilitated broader inquiries into group realizations and solidified the theoretical basis for the inverse problem.^[7] The transition to the modern era occurred post-World War II, with a sharpened focus on specific group classes, culminating in Igor Shafarevich's 1954 work demonstrating the realizability of all solvable groups over \mathbb{Q}.^[8] This period intertwined the inverse Galois problem with broader number theory, notably class field theory, which resolves the abelian case via the Kronecker-Weber theorem by embedding all abelian extensions of \mathbb{Q} in cyclotomic fields.^[9]

Background Concepts

Galois Extensions and Groups

A Galois extension is a fundamental concept in Galois theory, defined as a finite field extension K/F that is both normal and separable, meaning it is the splitting field of a separable polynomial over F, and the degree of the extension equals the order of its Galois group, [K:F] = |\mathrm{Gal}(K/F)|.^[10] This equivalence ensures that the automorphisms of K fixing F act transitively and faithfully on the roots, providing a precise measure of the symmetries preserved by the base field.^[11] The Galois group \mathrm{Gal}(K/F) consists of all field automorphisms of K that fix F pointwise, forming a finite group whose order matches the extension degree for Galois extensions. This group acts faithfully on the roots of any irreducible separable polynomial over F whose splitting field is K, inducing permutations of those roots that reflect the algebraic relations among them.^[12] For instance, if f(x) \in F is separable and irreducible, the action of \mathrm{Gal}(K/F) on the roots of f embeds the group as a transitive permutation group in the symmetric group on those roots.^[13] In the context of number fields, the absolute Galois group \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) plays a central role, defined as the group of automorphisms of the algebraic closure \overline{\mathbb{Q}} of \mathbb{Q} that fix \mathbb{Q}. This group is profinite, arising as the inverse limit of the finite Galois groups \mathrm{Gal}(L/\mathbb{Q}) over all finite Galois extensions L/\mathbb{Q}, and its finite quotients precisely correspond to these Galois groups over \mathbb{Q}.^[14] The structure captures all finite extensions of \mathbb{Q}, making it the universal object for studying realizable Galois groups in the inverse problem. The fundamental theorem of Galois theory establishes a bijection between the intermediate fields F \subseteq E \subseteq K of a finite Galois extension K/F and the closed subgroups of \mathrm{Gal}(K/F), where the fixed field of a subgroup H is the intermediate field corresponding to it, and the Galois group of the extension over that fixed field is isomorphic to H.^[15] This correspondence reverses inclusions—larger subgroups fix smaller fields—and preserves degrees, with [K:E] = |H| for the subgroup H fixed by E. For infinite extensions like \overline{\mathbb{Q}}/\mathbb{Q}, an analogous profinite version holds, with continuous subgroups corresponding to algebraic extensions.^[16]

Direct versus Inverse Problems

The direct Galois problem involves, given a polynomial f(x) \in \mathbb{Q}, determining the Galois group \mathrm{Gal}(f/\mathbb{Q}) of its splitting field over the rationals \mathbb{Q}.^[17] This is a computational task that leverages the structure of the polynomial to identify the group acting on its roots. Common methods include the use of resolvents, which are auxiliary polynomials whose factorizations reveal information about the action of the Galois group on subsets of roots, such as transitivity or subgroup indices.^[18] Additionally, reduction modulo primes provides cycle type data via Dedekind's theorem, where the factorization pattern of f modulo an unramified prime p corresponds to the cycle structure of the Frobenius element in the Galois group.^[19] The Frobenius density theorem, a consequence of Chebotarev's density theorem, further ensures that such reductions over sufficiently many primes yield a complete set of conjugacy classes, allowing identification of the group.^[17] In contrast, the inverse Galois problem seeks, for a given finite group G, the existence of a Galois extension K/\mathbb{Q} such that \mathrm{Gal}(K/\mathbb{Q}) \cong G, often by constructing an explicit polynomial whose splitting field realizes G.^[20] This constructive aspect makes the inverse problem significantly harder than the direct one, as it requires not merely analyzing an existing extension but engineering one with the prescribed symmetry, which may fail due to arithmetic obstructions like those in Noether's problem for realizing projective representations.^[20] While the direct problem benefits from algorithmic tools grounded in field theory and number theory, the inverse demands global embedding properties of groups into the profinite structure of Galois groups over \mathbb{Q}.^[18] The inverse Galois problem over \mathbb{Q} is equivalent to asking whether every finite group G embeds into the absolute Galois group \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) as a quotient, meaning G arises as \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) / N for some closed normal subgroup N.^[20] This reformulation highlights the problem's depth, tying it to the unsolved question of the quotients of the absolute Galois group, and underscores why partial realizations (e.g., for solvable or symmetric groups) represent key progress without resolving the full conjecture.^[20]

Partial Results

Realizability over Function Fields

The inverse Galois problem over function fields of one variable admits a complete affirmative solution, in stark contrast to the unresolved case over the rationals. Specifically, every finite group G arises as the Galois group of some finite Galois extension of \mathbb{C}(t), the field of rational functions in one indeterminate over the complex numbers. This landmark result was established by David Hilbert in 1893, who demonstrated that the problem reduces to realizing G as the monodromy group of a branched cover of the Riemann sphere—a topological fact following from the Riemann existence theorem—and then applied his recently proved irreducibility theorem to construct the corresponding Galois extension.^[21] The same conclusion holds more generally over k(t) for any algebraically closed field k of characteristic zero, with proofs adapting Hilbert's methods to the algebraic geometry of curves over such fields.^[21] A pivotal tool underlying these realizations is Hilbert's irreducibility theorem (1892), which guarantees that, for a polynomial with coefficients in \mathbb{Q}(t) having Galois group G over \mathbb{Q}(t), there exist infinitely many specializations t \mapsto a \in \mathbb{Q} such that the resulting polynomial over \mathbb{Q} retains Galois group G. This theorem bridges function fields and number fields by preserving the Galois structure generically under specialization, thereby providing a pathway from solvable cases over function fields to partial progress over \mathbb{Q}.^[22] Illustrative examples abound, such as the symmetric groups S_n, which are realized over \mathbb{Q}(t) as the Galois group of the generic monic polynomial of degree n with indeterminate coefficients, whose splitting field over \mathbb{Q}(t) has the full symmetric Galois action. Similar constructions yield alternating groups A_n via generic even permutations or resolvents. However, a notable limitation arises in applying these to obtain realizations over \mathbb{Q}: specializations via Hilbert's theorem may introduce unintended ramification or reduction issues at the point of specialization, potentially resulting in extensions over fields larger than \mathbb{Q} or failing to preserve the exact group structure in non-generic cases.^[22]

Solvable Groups over ℚ

In 1954, Igor Shafarevich proved that every finite solvable group arises as the Galois group of a finite Galois extension of the rational numbers \mathbb{Q}. This result, published in full in 1958, resolved the inverse Galois problem completely for solvable groups and marked a pivotal early advancement, demonstrating that solvability suffices for realizability over \mathbb{Q}. Although an initial gap in the proof concerning the prime 2 was identified and corrected by Shafarevich in 1989, the theorem stands as a cornerstone of the theory.^[23] The proof employs an inductive approach based on the derived series of the group G, reducing the problem to solving successive embedding problems with kernels that are either cyclic or more generally abelian.^[23] Cohomological techniques, particularly involving Brauer groups and cohomology classes in H^2, are used to detect and shrink obstructions to solvability at each step.^[23] For the abelian quotients arising in the composition series, class field theory provides the necessary local and global realizations, ensuring compatibility across primes.^[23] This inductive construction yields the desired extension through a tower of fields, where each layer corresponds to a solvable quotient. Central to the method is the realization of extensions via iterated central extensions, commencing with cyclic groups—achieved through cyclotomic fields by Kronecker's theorem—and escalating to more intricate structures using wreath products of simpler solvable groups.^[23] As a special case, the theorem encompasses all finite abelian groups, which can be realized over \mathbb{Q} using subextensions of cyclotomic fields via the Kronecker-Weber theorem, supplemented by Kummer theory for extensions of exponent n after adjoining nth roots of unity.

Symmetric Groups over ℚ

In 1892, David Hilbert established that the symmetric group S_n for every integer n \geq 2 is realizable as the Galois group of a Galois extension of the rational numbers \mathbb{Q}. This result marked an early milestone in the inverse Galois problem, demonstrating that non-solvable groups could be obtained over \mathbb{Q} via explicit constructions grounded in his newly introduced irreducibility theorem. Hilbert's approach leverages the fact that S_n acts faithfully on the roots of a general monic polynomial of degree n, allowing for specializations that preserve the group structure.^[1] The core construction relies on the trinomial polynomial f(x) = x^n - s x - t, viewed over the rational function field \mathbb{Q}(s, t). This polynomial is irreducible over \mathbb{Q}(s, t), and its splitting field has Galois group isomorphic to S_n, as the action on the roots generates the full symmetric group through transpositions and cycles arising from the form's simplicity. Hilbert's irreducibility theorem then applies: there exist infinitely many pairs (s_0, t_0) \in [\mathbb{Q} \times \mathbb{Q}](/page/Q) such that the specialized polynomial f(x) = x^n - s_0 x - t_0 remains irreducible over \mathbb{Q}, and the Galois group of its splitting field over \mathbb{Q} is precisely S_n. This preservation occurs because the specialization maintains the transitive action and generates the necessary permutations, avoiding proper subgroups for generic choices.^[24] The rationality criterion inherent in this method ensures the extension is defined over \mathbb{[Q](/page/Q)} by selecting integer or rational parameters s_0, t_0 via the theorem's guarantee of "dense" specializations in the rational points, avoiding exceptional cases where the Galois group might reduce (e.g., to A_n or smaller). For instance, explicit computations for small n confirm S_n realizations, such as x^5 - 10x + 2 for n=5, whose discriminant and resolvents verify the full symmetric action. This framework not only resolves the case for S_n but forms the foundational basis for realizing numerous transitive permutation groups over \mathbb{[Q](/page/Q)}, as subgroups of S_n can often be embedded and specialized similarly in broader constructions.^[25]

Alternating Groups of Odd Degree

The realization of the alternating group A_n for odd n \geq 3 as a Galois group over \mathbb{Q} leverages constructions of symmetric group S_n-extensions via Hilbert's irreducibility theorem. Specifically, one begins with a Galois extension L/F over a Hilbertian field F (such as \mathbb{Q}(t)) whose Galois group is S_n acting on the roots of a suitable separable polynomial of degree n. The fixed field of the subgroup A_n \leq S_n in this extension is then a quadratic extension M = F(\sqrt{\Delta}), where \Delta is the discriminant of the S_n-extension. Adjoining \sqrt{\Delta} yields a quadratic twist, and specialization via Hilbert irreducibility produces extensions over \mathbb{Q} with the desired Galois group. For odd n, a key property simplifies this process: the discriminant \Delta of the generic S_n-extension over the function field is a square in the base field F. This ensures that the fixed field M coincides with F, so the Galois group over F is already A_n, and Hilbert irreducibility guarantees infinitely many specializations to \mathbb{Q} preserving this group structure. This contrasts with even n, where additional techniques like patching are required.^[26] Hilbert originally established the realizability of A_n over \mathbb{Q} for all n in 1892 using his irreducibility theorem applied to resolvents of the general polynomial of degree n. Refinements in the 1980s, particularly by Serre, provided more explicit constructions for the case where n is an odd prime, employing modular representations and weak approximation to ensure transitive embeddings and control over ramification. These developments confirmed A_n as a Galois group over \mathbb{Q} for odd prime n with bounded ramification at specified primes.^[26] A concrete example is the realization of A_5 via icosahedral extensions, first constructed by Klein in 1884 using invariants of binary icosahedral forms over \mathbb{Q}(\sqrt{5}). Modern methods confirm transitive A_5-actions over \mathbb{Q}, aligning with the odd-degree approach.

Alternating Groups of Even Degree

The realization of the alternating group A_n over the rationals for even n \geq 4 encounters a significant obstacle with the standard quadratic twist approach, which succeeds for odd degrees but fails here because the discriminant of a symmetric group realization is not a square in an appropriate quadratic extension, preventing a direct adjustment to obtain exactly A_n. To overcome this, more sophisticated constructions employ rigid covers and patching methods, pioneered by B. H. Matzat in the 1990s, that embed A_n as a decomposition group within a larger Galois extension over a function field like \mathbb{Q}(t), followed by specialization to \mathbb{Q} while preserving the group structure and controlling ramification. These techniques build on Hilbert irreducibility but incorporate rigidity conditions to ensure the specialized Galois group remains isomorphic to A_n. A key outcome of these developments is the confirmation that A_n arises as a Galois group over \mathbb{Q} for every even n \geq 4, often via specializations from function field realizations where the monodromy group is controlled to match A_n. As a concrete illustration, A_4 is the Galois group of the irreducible quartic x^4 + 8x + 12 over \mathbb{Q}; its cubic resolvent x^3 - 48x - 64 is irreducible over \mathbb{Q}, and the discriminant $2^{12} \cdot 3^4 is a square in \mathbb{Q}, forcing the Galois group to be A_4 rather than S_4.^[27]

Basic Examples

Cyclic Groups

The realization of cyclic groups as Galois groups over the rational numbers \mathbb{Q} is a foundational result in the inverse Galois problem, stemming from the abelian nature of these groups. By the Kronecker-Weber theorem, every finite abelian extension of \mathbb{Q} is contained within a cyclotomic extension \mathbb{Q}(\zeta_m) for some positive integer m, where \zeta_m is a primitive m-th root of unity.^[28] Consequently, every finite cyclic group arises as the Galois group of some subextension of a cyclotomic field over \mathbb{Q}, establishing that all cyclic groups are realizable over \mathbb{Q}.^[28] This places cyclic groups within the broader class of solvable groups, all of which are known to be realizable over \mathbb{Q}. A primary method for constructing cyclic Galois groups involves cyclotomic extensions of prime index. For an odd prime p, the extension \mathbb{Q}(\zeta_p)/\mathbb{Q} is Galois with group isomorphic to (\mathbb{Z}/p\mathbb{Z})^\times, which is cyclic of order p-1.^[29] The subgroups of this cyclic Galois group correspond to subextensions whose Galois groups over \mathbb{Q} are cyclic of orders dividing p-1. By choosing p such that p-1 is divisible by the desired order d, one obtains a cyclic extension of degree d. For composite orders, more general cyclotomic fields \mathbb{Q}(\zeta_m) are used, where the Galois group (\mathbb{Z}/m\mathbb{Z})^\times admits cyclic quotients of the required order when n divides \phi(m) for the target cyclic group of order n. For cyclic groups of prime power order p^k, Gaussian periods offer a constructive approach within cyclotomic fields. A Gaussian period is the trace of a primitive m-th root of unity over a subfield fixed by a subgroup of index p^k in \mathrm{Gal}(\mathbb{Q}(\zeta_m)/\mathbb{Q}), generating a cyclic extension of degree p^k ramified only at p.^[30] This method, originating from Gauss's work on cyclotomic fields, explicitly realizes such groups by producing minimal polynomials for the periods over \mathbb{Q}.

Worked Example: Cyclic Group of Order 3

To realize the cyclic group \mathbb{Z}/3\mathbb{Z} as a Galois group over \mathbb{Q}, consider the 7th cyclotomic extension \mathbb{Q}(\zeta_7)/\mathbb{Q}, where \zeta_7 = e^{2\pi i / 7} is a primitive 7th root of unity. This extension has degree \phi(7) = 6 and Galois group \mathrm{Gal}(\mathbb{Q}(\zeta_7)/\mathbb{Q}) \cong (\mathbb{Z}/7\mathbb{Z})^\times \cong \mathbb{Z}/6\mathbb{Z}, which is cyclic of order 6. The unique subgroup of index 3 in this Galois group is the subgroup of order 2, generated by complex conjugation \sigma: \zeta_7 \mapsto \zeta_7^{-1} = \zeta_7^6. The fixed field K of this subgroup is the maximal real subfield \mathbb{Q}(\zeta_7)^+ = \mathbb{Q}(\zeta_7 + \overline{\zeta_7}), which has degree 3 over \mathbb{Q}. Since all subgroups of an abelian group are normal, K/\mathbb{Q} is Galois with group isomorphic to \mathbb{Z}/6\mathbb{Z} / \mathbb{Z}/2\mathbb{Z} \cong \mathbb{Z}/3\mathbb{Z}. A primitive element for K/\mathbb{Q} is the Gaussian period \eta = \zeta_7 + \zeta_7^6 = 2\cos(2\pi/7). To find its minimal polynomial, let \theta = \eta and define the sequence \mu_k = \zeta_7^k + \zeta_7^{-k} for k \geq 0, with \mu_0 = 2. The recurrence \mu_{k+1} = \theta \mu_k - \mu_{k-1} yields \mu_1 = \theta, \mu_2 = \theta^2 - 2, and \mu_3 = \theta^3 - 3\theta. The 7th cyclotomic polynomial gives \zeta_7^6 + \zeta_7^5 + \zeta_7^4 + \zeta_7^3 + \zeta_7^2 + \zeta_7 + 1 = 0; dividing by \zeta_7^3 and taking real parts (or pairing terms) produces the relation \mu_3 + \mu_2 + \mu_1 + 1 = 0. Substituting the expressions for the \mu_k simplifies to

\begin{aligned} &(\theta^3 - 3\theta) + (\theta^2 - 2) + \theta + 1 = 0 \\ &\theta^3 + \theta^2 - 2\theta - 1 = 0. \end{aligned}

This is the minimal polynomial of \eta over \mathbb{Q}. To verify irreducibility, note that the possible rational roots of x^3 + x^2 - 2x - 1 are \pm 1; substituting gives f(1) = -1 \neq 0 and f(-1) = 1 \neq 0. Thus, it is irreducible over [\mathbb{Q}](/page/Q) by the rational root theorem, confirming [\mathbb{Q}(\eta):\mathbb{Q}] = 3. The other roots are \zeta_7^2 + \zeta_7^5 = 2\cos(4\pi/7) and \zeta_7^3 + \zeta_7^4 = 2\cos(6\pi/7), both of which lie in K by the action of the generator of \mathrm{Gal}(K/\mathbb{Q}), which cycles the cosets of the order-2 subgroup. Therefore, the polynomial splits in K, and K = \mathbb{Q}(\eta) is the splitting field with cyclic Galois group of order 3.

Advanced Constructions

Rigid Groups

In the context of the inverse Galois problem, a finite group G is considered rigid if it admits a rigid tuple of conjugacy classes (C_1, \dots, C_r) such that the product of elements from these classes equals the identity and generates G, with the action of G being transitive on the set of such tuples, implying no nontrivial deformations of the corresponding embedding problems.^[31] This rigidity condition ensures that the Galois extension over \mathbb{C}(x) with the prescribed ramification type is unique up to isomorphism, facilitating descent to number fields.^[32] A key aspect is the rationality of the conjugacy classes, where each class C_i is stable under the action of the absolute Galois group, allowing the extension to be defined over \mathbb{Q}(\mu_n) for some n.^[33] John Thompson introduced the rigidity method in 1984 to realize certain finite groups as Galois groups over \mathbb{Q}, starting with realizations over cyclotomic fields and descending via Hilbert's irreducibility theorem.^[33] The approach leverages Riemann's existence theorem to construct a Galois cover of \mathbb{P}^1_\mathbb{C} with the rigid ramification type, ensuring the cover descends uniquely to \mathbb{Q}(x) without introducing extraneous automorphisms, as the rigidity prevents deformations that could enlarge the monodromy group.^[31] This method has proven particularly effective for sporadic simple groups, where explicit character table computations verify the rigidity of specific tuples, such as those involving classes of coprime orders.^[32] Notable applications include the realization of the Monster group M, the largest sporadic finite simple group, as a Galois group over \mathbb{Q} using the rigid tuple (2A, 3B, 29A) derived from its character table.^[33] Similarly, all 25 sporadic simple groups except M_{23} have been realized over \mathbb{Q} via this technique, including the Janko groups J_1, J_2, J_3, J_4, often employing Hurwitz representations to construct the necessary branched covers with prescribed local monodromies.^[31] The primary advantage of rigidity lies in its ability to bypass complications from outer automorphisms or non-unique realizations, ensuring the target group G appears faithfully without extensions.^[32]

Elliptic Modular Functions

The Klein-Fricke construction provides a method to realize projective linear groups as Galois groups of extensions of the rational numbers using elliptic modular functions. Developed in the late 19th and early 20th centuries by Felix Klein and Robert Fricke, this approach exploits the symmetry of the modular group SL(2, ℤ) and its congruence subgroups to generate algebraic extensions with prescribed Galois structure. The construction centers on the j-invariant, a classical modular function that parametrizes isomorphism classes of elliptic curves, and level n modular functions that capture transformations under congruence subgroups.^[34] The method relies on singular moduli, which are special values of the j-invariant taken at points τ in the upper half-plane corresponding to elliptic curves with complex multiplication (CM) by an order in an imaginary quadratic field K. For an order O in K, the singular moduli j(O) generate the ring class field H_O of O over K(j(O)), and the Galois group Gal(H_O / K(j(O))) is isomorphic to the Picard group Pic(O) of O, by the theory of complex multiplication and class field theory over imaginary quadratic fields. Adjoining a value of a level n modular function φ_n at a CM point τ yields an extension whose Galois group over the ring class field is a transitive subgroup of PGL(2, ℤ/nℤ), reflecting the action of the modular group on level n structures. By selecting O such that Pic(O) acts freely on the cosets and the CM point has trivial stabilizer under the relevant congruence subgroup, the normal closure over ℚ realizes the full group PGL(2, ℤ/nℤ) as the Galois group.^[35]^[36] Central to this construction is the level n modular equation Φ_n(X, Y) = 0, which relates the j-invariant Y = j(τ) to X = j(nτ) and is irreducible over ℚ(Y) with degree ψ(n) = n ∏_{p | n} (1 + 1/p), the index [SL(2, ℤ) : Γ_0(n)]. The splitting field of Φ_n(X, j(τ)) over ℚ(j(τ)) has Galois group isomorphic to PGL(2, ℤ/nℤ), arising from the action of the modular group on the n-torsion points of the lattice ℤτ + ℤ. When specialized to a singular modulus j(τ_0) for a CM point τ_0 with suitable properties (e.g., the endomorphism ring acts without fixed points under level n transformations), the resulting algebraic extension over ℚ inherits this full Galois structure via the compatibility with class field theory.^[34]^[36] A significant application realizes the simple group PSL(2, p) for odd primes p as a Galois group over ℚ. T. Y. Shih proved in 1974 that for odd primes p such that at least one of 2, 3, or 7 is a quadratic non-residue modulo p, the group PSL(2, p) occurs as a Galois group over ℚ. Jean-Pierre Serre gave a simpler proof in 1980.^[1]^[36] This leverages the isomorphism PSL(2, ℤ/pℤ) ≅ PSL(2, 𝔽_p) and the transitive action on p+1 isogeny classes, yielding an extension of degree (p(p²-1))/2 with the desired Galois group. The condition guarantees that the CM point on the modular curve X_0(p) is rational over the base field and avoids supersingular reduction, preserving the full group structure.

Open Questions and Recent Progress

Major Unsolved Cases

One of the most prominent unsolved cases in the inverse Galois problem is the realization of the Mathieu group M_{23} as a Galois group over \mathbb{Q}. This sporadic simple group has order $10{,}200{,}960 and acts 4-transitively on 23 points, but no polynomial with rational coefficients is known to have M_{23} as its Galois group as of 2025.^[37]^[38] Efforts using braid group actions on covers have explored potential realizations, but these attempts, detailed in computational studies from 2022, have not succeeded in producing an explicit example.^[39] Among the 26 sporadic simple groups, M_{23} stands alone as the only one not yet realized as a Galois group over \mathbb{Q}; all others, including the Monster group and the remaining Mathieu groups like M_{24}, have been achieved through methods such as rigidity.^[40] Certain projective special linear groups, such as instances of \mathrm{PSL}(2, q) for composite q, remain open, resisting realization despite progress on \mathrm{PSL}(2, p) for primes p \geq 5 and the 2024 realization of the transitive embedding of degree 17 corresponding to \mathrm{SL}(2, \mathbb{F}_{16}) : C_2.^[41]^[2]^[42] Broader challenges persist for non-rigid simple groups, where the rigidity method—effective for many sporadics due to their unique embeddings—fails, necessitating alternative approaches like modular forms or Hurwitz covers that have proven computationally intensive.^[43] High-degree permutation representations further complicate realizations, as groups with minimal faithful actions exceeding degree 100 demand extensive searches for suitable extensions with controlled ramification.^[44] Databases like GaloisDB systematically track known realizations by compiling minimal polynomials for transitive groups up to degree 19, highlighting gaps such as M_{23} and aiding targeted research into unsolved cases.^[45]

Developments Since 2020

In 2022, efforts to realize the Mathieu group M_{23} as a Galois group over \mathbb{Q} using braid orbits and the rigidity method were explored, though the problem remains open.^[39] In 2023, new realizations of finite groups of Lie type as Galois groups over global function fields were established, expanding the scope of solvable cases in this setting.^[46] The same year, lecture notes from the Park City Mathematics Institute provided an overview of contemporary tools and techniques for approaching the inverse Galois problem, including modular methods and computational strategies. A significant advancement occurred in 2024 with the explicit realization of the transitive group 17T7 of degree 17 as a Galois group over \mathbb{Q}, achieved through split extensions involving cyclic groups and \mathrm{GL}_2(\mathbb{F}_q). By 2025, surveys reaffirmed that all non-abelian simple groups of order at most $10^8 have been realized as Galois groups over \mathbb{Q} except for a small number of cases, with no progress on M_{23}.^[47] Advances in pro-p variants of the problem were highlighted in seminars, including discussions on realizations for pro-p groups.^[48] More broadly, computational databases for Galois realizations have grown, facilitating verification and discovery for small groups. Additionally, quantitative bounds on the number of connected torsors of bounded height for étale tame semicommutative finite group schemes have been derived, providing asymptotic estimates relevant to the density of realizations.^[49]

References

[1]
[PDF] Inverse Galois Problem and Significant Methods - arXiv
The classical Inverse Problem of Galois Theory is the existence problem for the field K = Q of rational numbers.
[2]
Inverse Galois Problem
The Inverse Galois Problem asks whether every finite group occurs as a Galois group over Q. This question and its variant over Q(t) have driven a lot of ...
[3]
Inverse Galois Theory - SpringerLink
This book is the 2nd edition of Inverse Galois Theory. It is concerned with the question of which finite groups occur as Galois Groups over a given.
[4]
[PDF] Fields and Galois Theory
This book gives a concise exposition of the theory of fields, including the. Galois theory of field extensions, the Galois theory of щtale algebras, and.
[5]
on modular forms and the inverse galois problem
Apr 11, 2011 · The inverse Galois problem asks whether any given finite group occurs as the. Galois group of some Galois extension K/Q. For any newform f and ...
[6]
Park City lecture notes: around the inverse Galois problem
### Summary of Inverse Galois Problem from arXiv:2302.13719
[7]
[PDF] A dive into the inverse Galois problem - AMS Tesi di Laurea
Galois theory was born at the beginning of the 19th century with the studies of Evariste. Galois. One of the most important result of this theory is the ...
[8]
[PDF] exploring the algebraic number theory perspective of inverse galois ...
Through our investigation, we have examined the historical background of the problem, from Évariste. Galois' groundbreaking work to the subsequent developments ...
[9]
Igor Rostislavovich Shafarevich (1923 - 2017) - Biography - MacTutor
He made major contributions to the inverse problem of Galois theory as well as to class field theory, thereby solving some long outstanding conjectures.
[10]
[PDF] Class Field Theory
These notes contain an exposition of abelian class field theory using the algebraic/cohomological approach of Chevalley and Artin and Tate. The explicit.<|separator|>
[11]
[PDF] 1. galois extensions
Apr 16, 2018 · Thus, from now on we will assume that any Galois extension satisfies all three of the above ... Definition. Let f ∈ K[x], say f(x) := anxn ...
[12]
Galois Extension Field -- from Wolfram MathWorld
1. K is the splitting field for a collection of separable polynomials. When K is a finite extension, then only one separable polynomial is necessary.
[13]
[PDF] Galois groups as permutation groups - Keith Conrad
This makes Galois groups into relatively concrete objects and is particularly effective when the Galois group turns out to be a symmetric or alternating group.
[14]
[PDF] Lecture 6.5: Galois group actions and normal field extensions
The Galois group acts on the roots. Theorem. If f ∈ Z[x] is a polynomial with a root in a field extension F of Q, then any automorphism of F permutes the ...
[15]
[PDF] Galois representations
Galois extension with Galois group G = Gal(L/K). Then there is an inclusion-reversing, degree- preserving bijection. 1. Q and Fp are both perfect fields ...
[16]
[PDF] THE GALOIS CORRESPONDENCE 1. Introduction Let L/K be a field ...
Here is the fundamental theorem of Galois theory. Galois discovered the concept of normal subgroups from their role in the last part of the theorem. Theorem ...
[17]
[PDF] THE FUNDAMENTAL THEOREM OF GALOIS THEORY
Fundamental Theorem of Galois theory (Rotman p. 228). Let E=k be a finite Galois extension with Galois group G = Gal(E=k). (i) ...
[18]
[PDF] Fields and Galois Theory - James Milne
In this section, I describe a practical method for computing Galois groups over ℚ and ... A-44 For every prime 𝑝, find the Galois group over ℚ of the polynomial 𝑋.
[19]
[PDF] Techniques for the Computation of Galois Groups
As the roots of an irreducible polynomial form an orbit of the Galois group, a complete factorization of a resolvent however exhibits also other orbits of G ...
[20]
[PDF] Galois groups over Q and factorizations mod p - Keith Conrad
The following striking theorem of Dedekind tells us cycle types of elements of Gal(K/Q) as a permutation of the roots of f(T) by how f(T) factors modulo primes.
[21]
https://tu-dresden.de/mn/math/algebra/fehm/ressourcen/dateien/Cz.pdf
[22]
[PDF] The inverse Galois problem over C(z) - TU Dresden
Since the 19th century one of the foundational open questions of Galois theory is the inverse Galois problem, which asks whether every finite group occurs as ...<|control11|><|separator|>
[23]
[PDF] the inverse galois problem, hilbertian fields, and hilbert's ...
This paper, however, will focus around the classical result known today as Hilbert's Irreducibility Theorem, which is a useful tool in Inverse Galois Theory. A ...Missing: Zahlbericht | Show results with:Zahlbericht
[24]
Safarevic's theorem on solvable groups as Galois groups - arXiv
Sep 17, 1998 · In this paper we present a complete proof of this http URL's famous theorem that every finite solvable group occurs as a Galois group over Q.Missing: original 1954 1958
[25]
The Galois groups of the polynomials Xn + aX1 + b - ScienceDirect
We give conditions under which the Galois group of the polynomial X n + aX 1 + b over the rational number field Q is isomorphic to the symmetric group S n of ...Missing: sx - | Show results with:sx -
[26]
Inverse Galois theory, by G. Malle and B. H. Matzat, Springer-Verlag ...
Dec 27, 2000 · It is often just called the Inverse Galois Problem. Hilbert was the first to study this problem. His irreducibility theorem shows that it ...
[27]
[PDF] Topics in Galois Theory - Mathematics
1 Every l-group, l = 2, can be realized as a Galois group over. Q. (Equivalently, every finite nilpotent group of odd order is a Galois group over Q.).
[28]
[PDF] galois groups of cubics and quartics (not in characteristic 2)
In Table 1 we list the discriminants and Galois groups over Q of X3 − cX − 1 for 1 ≤ c ≤ 6 with c 6= 2. The second row, where c = 3, has a square discriminant ...
[29]
[PDF] arXiv:1112.1522v2 [math.AG] 5 Jan 2012
Jan 5, 2012 · Theorem 1.1. (Kronecker-Weber) Any finite abelian group G occurs as a Galois group over Q. Furthermore, G can be realized as the Galois group ...
[30]
[PDF] Math 210B. Galois group of cyclotomic fields over Q - Mathematics
The aim of this handout is to show that Gal(Kn/Q) → (Z/nZ)× is an isomorphism even when n is not a prime power. We cannot hope to use Eisenstein's ...
[31]
[PDF] Lecture 12: Kummer Theory - William Stein
Feb 8, 2010 · Kummer theory is concerned with classifying the abelian extensions of exponent n of a field K, assuming that K contains the nth roots of ...
[32]
[PDF] Cody Holdaway
Jan 20, 2010 · Gal(E/Q). ∼. = Gal(Q(ξ)/Q)/H. ∼. = (Z/n)∗/H. ∼. = G. This shows that any finite abelian group is the Galois group of some extension of. Q. D. (2) ...
[33]
https://www.sciencedirect.com/science/article/pii/002186938490228X
[34]
[PDF] The Inverse Galois Problem: The Rigidity Method | Amin Saied
Introduced by John Thompson in 1984 in his breakthrough paper [11], this method has already been used to realise numerous families of groups including, and ...
[35]
Some finite groups which appear as gal L/K, where K ⊆ Q(μn)
Journal of Algebra · Volume 89, Issue 2, August 1984, Pages 437-499. Journal of Algebra. Some finite groups which appear as gal L/K, where K ⊆ Q(μn). Author ...
[36]
[PDF] Modular functions and resolvent problems
Klein-Gordan solution of equations with Galois group the simple group PSL(2, 7). [Kl1879,Go1882], and the Klein-Fricke solution of the sextic [Kle05,Fri26].
[37]
[PDF] Lecture notes - Complex multiplication
Dec 9, 2020 · Table 1: Singular moduli for quadratic imaginary fields with class number 1. we obtain an integral solution to the equation x. 3 − Dy. 2.
[38]
[PDF] Modular forms and some cases of the inverse Galois problem
The Inverse Galois Problem asks whether every finite group is isomorphic to the Galois group of some extension of Q. There has been much work on using modular ...<|control11|><|separator|>
[39]
ATLAS: Mathieu group M 23
ATLAS: Mathieu group M23. Order = 10200960 = 27.32.5.7.11.23. Mult = 1. Out = 1. Porting notes. Porting incomplete. Standard generators. Standard generators of ...
[40]
[PDF] Galois' Professor's Revenge - arXiv
Sep 11, 2025 · For example, it is still unknown whether the Mathieu group M23 can be realized as a Galois group over Q. Moreover, the Inverse Galois Problem ...
[41]
Braid orbits and the Mathieu group $M_{23}$ as Galois group - arXiv
Feb 16, 2022 · At present, the inverse Galois problem over \mathbb{Q} is unsolved for the Mathieu group M_{23}. Here an overview of the current state in ...Missing: 2025 | Show results with:2025
[42]
[PDF] Galois representations and Galois groups over Q - arXiv
Dec 10, 2014 · In 1892, he proved that the symmetric group Sn and the alternating group An are Galois groups over Q, for all n. We also have an affirmative.
[43]
The inverse Galois problem for PSL2(Fp) - Project Euclid
For each prime p 5, the simple group PSL2.Fp/ occurs as the Galois group of an extension of Q. Moreover, there is a Galois extension K=Q unramified away from 2.
[44]
The inverse Galois problem and the Monster - MathOverflow
Feb 2, 2010 · The Monster is a nice example of how the so-called rigidity method for the inverse Galois problem works. There is a lot of beautiful mathematics behind this.Missing: Janko representations
[45]
Incomplete Failures of the Inverse Galois Problem - MathOverflow
May 22, 2014 · Question 2: Are there any groups (whether or not they are currently known to be Galois groups over Q) which have some transitive permutation ...The inverse Galois problem, what is it good for? - MathOverflow"Understanding" Gal(ˉQ/Q) - MathOverflowMore results from mathoverflow.netMissing: alternating A_n even
[46]
A Database for Number Fields
The database contains polynomials for all transitive groups up to that degree, even for most of the possible combinations of signature and Galois group. Up to ...
[47]
Remarks on the inverse Galois problem over function fields - arXiv
Nov 29, 2022 · Abstract:In this paper, we prove new instances of the inverse Galois problem over global function fields for finite groups of Lie type.Missing: Chase 1950s
[48]
https://www.youtube.com/watch?v=ixXR5_hk7cI
[49]
Michael Larsen, The inverse Galois problem for pro-p groups
Oct 6, 2025 · VaNTAGe Seminar, September 30, 2025 License: CC-BY-NC-SA.
[50]
Quantitative inverse Galois problem for semicommutative finite ...
Oct 4, 2022 · In this article, for an étale tame semicommutative finite group scheme G, we give a lower bound on the number of connected G-torsors of bounded ...