Inverse Galois problem

In Galois theory, the inverse Galois problem concerns whether or not every finite group appears as the Galois group of some Galois extension of the rational numbers $Q$ . This problem, first posed in the early 19th century,[1] is unsolved.

Unsolved problem in mathematics:

Is every finite group the Galois group of a Galois extension of the rational numbers?

(more unsolved problems in mathematics)

There are some permutation groups for which generic polynomials are known, which define all algebraic extensions of $Q$ having a particular group as Galois group. These groups include all of degree no greater than $5$ . There also are groups known not to have generic polynomials, such as the cyclic group of order $8$ .

More generally, let $G$ be a given finite group, and let $K$ be a field. Then the question is this: is there a Galois extension field $L/K$ such that the Galois group of the extension is isomorphic to $G$ ? One says that $G$ is realizable over $K$ if such a field $L$ exists.

Partial results

There is a great deal of detailed information in particular cases. It is known that every finite group is realizable over any function field in one variable over the complex numbers $C$ , and more generally over function fields in one variable over any algebraically closed field of characteristic zero. Igor Shafarevich showed that every finite solvable group is realizable over $Q$ .[2] It is also known that every sporadic group, except possibly the Mathieu group $M 23$ , is realizable over $Q$ .[3]

David Hilbert had shown that this question is related to a rationality question for $G$ :

If

K

is any extension of

Q

, on which

G

acts as an automorphism group and the invariant field

K G

is rational over

Q

, then

G

is realizable over

Q

.

Here rational means that it is a purely transcendental extension of $Q$ , generated by an algebraically independent set. This criterion can for example be used to show that all the symmetric groups are realizable.

Much detailed work has been carried out on the question, which is in no sense solved in general. Some of this is based on constructing $G$ geometrically as a Galois covering of the projective line: in algebraic terms, starting with an extension of the field $Q (t)$ of rational functions in an indeterminate $t$ . After that, one applies Hilbert's irreducibility theorem to specialise $t$ , in such a way as to preserve the Galois group.

All permutation groups of degree 16 or less are known to be realizable over Q;[4] the group PSL(2,16):2 of degree 17 may not be.[5]

All 13 non-Abelian simple groups smaller than PSL(2,25) (order 7800) are known to be realizable over Q. [6]

A simple example: cyclic groups

It is possible, using classical results, to construct explicitly a polynomial whose Galois group over $Q$ is the cyclic group $Z / n Z$ for any positive integer $n$ . To do this, choose a prime $p$ such that $p \equiv 1 (mod n)$ ; this is possible by Dirichlet's theorem. Let $Q (μ)$ be the cyclotomic extension of $Q$ generated by $μ$ , where $μ$ is a primitive $p th$ root of unity; the Galois group of $Q (μ)/ Q$ is cyclic of order $p - 1$ .

Since $n$ divides $p - 1$ , the Galois group has a cyclic subgroup $H$ of order $(p - 1)/ n$ . The fundamental theorem of Galois theory implies that the corresponding fixed field, $F = Q (μ) H$ , has Galois group $Z / n Z$ over $Q$ . By taking appropriate sums of conjugates of $μ$ , following the construction of Gaussian periods, one can find an element $α$ of $F$ that generates $F$ over $Q$ , and compute its minimal polynomial.

This method can be extended to cover all finite abelian groups, since every such group appears in fact as a quotient of the Galois group of some cyclotomic extension of $Q$ . (This statement should not though be confused with the Kronecker–Weber theorem, which lies significantly deeper.)

Worked example: the cyclic group of order three

For $n = 3$ , we may take $p = 7$ . Then $Gal(Q (μ)/ Q)$ is cyclic of order six. Let us take the generator $η$ of this group which sends $μ$ to $μ 3$ . We are interested in the subgroup $H = {1, η 3}$ of order two. Consider the element $α = μ + η 3 (μ)$ . By construction, $α$ is fixed by $H$ , and only has three conjugates over $Q$ :

α = η 0 (α) = μ + μ 6

,

β = η 1 (α) = μ 3 + μ 4

,

γ = η 2 (α) = μ 2 + μ 5

.

Using the identity:

1 + μ + μ 2 + ... + μ 6 = 0

,

one finds that

α + β + γ = -1

,

αβ + βγ + γα = -2

,

αβγ = 1

.

Therefore $α$ is a root of the polynomial

(x - α)(x - β)(x - γ) = x 3 + x 2 - 2 x - 1

,

which consequently has Galois group $Z /3 Z$ over $Q$ .

Symmetric and alternating groups

Hilbert showed that all symmetric and alternating groups are represented as Galois groups of polynomials with rational coefficients.

The polynomial $x n + ax + b$ has discriminant

(-1)^{\frac {n(n-1)}{2}}\left(n^{n}b^{n-1}+(-1)^{1-n}(n-1)^{n-1}a^{n}\right).

We take the special case

f (x, s) = x n - sx - s

.

Substituting a prime integer for $s$ in $f (x, s)$ gives a polynomial (called a specialization of $f (x, s)$ ) that by Eisenstein's criterion is irreducible. Then $f (x, s)$ must be irreducible over $Q (s)$ . Furthermore, $f (x, s)$ can be written

x^{n}-{\tfrac {x}{2}}-{\tfrac {1}{2}}-\left(s-{\tfrac {1}{2}}\right)(x+1)

and $f (x, 1/2)$ can be factored to:

{\tfrac {1}{2}}(x-1)\left(1+2x+2x^{2}+\cdots +2x^{n-1}\right)

whose second factor is irreducible (but not by Eisenstein's criterion). Only the reciprocal polynomial is irreducible by Eisenstein's criterion. We have now shown that the group $Gal(f (x, s)/ Q (s))$ is doubly transitive.

We can then find that this Galois group has a transposition. Use the scaling $(1 - n) x = ny$ to get

y^{n}-\left\{s\left({\frac {1-n}{n}}\right)^{n-1}\right\}y-\left\{s\left({\frac {1-n}{n}}\right)^{n}\right\}

and with

t={\frac {s(1-n)^{n-1}}{n^{n}}},

we arrive at:

g (y, t) = y n - nty + (n - 1) t

which can be arranged to

y n - y - (n - 1)(y - 1) + (t - 1)(- ny + n - 1)

.

Then $g (y, 1)$ has $1$ as a double zero and its other $n - 2$ zeros are simple, and a transposition in $Gal(f (x, s)/ Q (s))$ is implied. Any finite doubly transitive permutation group containing a transposition is a full symmetric group.

Hilbert's irreducibility theorem then implies that an infinite set of rational numbers give specializations of $f (x, t)$ whose Galois groups are $S n$ over the rational field $Q$ . In fact this set of rational numbers is dense in $Q$ .

The discriminant of $g (y, t)$ equals

(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t),

and this is not in general a perfect square.

Alternating groups

Solutions for alternating groups must be handled differently for odd and even degrees.

Odd Degree

Let

t=1-(-1)^{\tfrac {n(n-1)}{2}}nu^{2}

Under this substitution the discriminant of $g (y, t)$ equals

{\begin{aligned}(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t)&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(1-\left(1-(-1)^{\tfrac {n(n-1)}{2}}nu^{2}\right)\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left((-1)^{\tfrac {n(n-1)}{2}}nu^{2}\right)\\&=n^{n+1}(n-1)^{n-1}t^{n-1}u^{2}\end{aligned}}

which is a perfect square when $n$ is odd.

Even Degree

Let:

t={\frac {1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}

Under this substitution the discriminant of $g (y, t)$ equals:

{\begin{aligned}(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t)&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(1-{\frac {1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left({\frac {\left(1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}\right)-1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left({\frac {(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(t(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}\right)\\&=n^{n}(n-1)^{n}t^{n}u^{2}\end{aligned}}

which is a perfect square when $n$ is even.

Again, Hilbert's irreducibility theorem implies the existence of infinitely many specializations whose Galois groups are alternating groups.

Rigid groups

Suppose that $C 1, ..., C n$ are conjugacy classes of a finite group $G$ , and $A$ be the set of $n$ -tuples $(g 1, ..., g n)$ of $G$ such that $g i$ is in $C i$ and the product $g 1 ... g n$ is trivial. Then $A$ is called rigid if it is nonempty, $G$ acts transitively on it by conjugation, and each element of $A$ generates $G$ .

Thompson (1984) showed that if a finite group $G$ has a rigid set then it can often be realized as a Galois group over a cyclotomic extension of the rationals. (More precisely, over the cyclotomic extension of the rationals generated by the values of the irreducible characters of $G$ on the conjugacy classes $C i$ .)

This can be used to show that many finite simple groups, including the monster group, are Galois groups of extensions of the rationals. The monster group is generated by a triad of elements of orders $2$ , $3$ , and $29$ . All such triads are conjugate.

The prototype for rigidity is the symmetric group $S n$ , which is generated by an $n$ -cycle and a transposition whose product is an $(n - 1)$ -cycle. The construction in the preceding section used these generators to establish a polynomial's Galois group.

A construction with an elliptic modular function

Let $n > 1$ be any integer. A lattice $Λ$ in the complex plane with period ratio $τ$ has a sublattice $Λ'$ with period ratio $nτ$ . The latter lattice is one of a finite set of sublattices permuted by the modular group $PSL(2, Z)$ , which is based on changes of basis for $Λ$ . Let $j$ denote the elliptic modular function of Felix Klein. Define the polynomial $φ n$ as the product of the differences $(X - j (Λ i))$ over the conjugate sublattices. As a polynomial in $X$ , $φ n$ has coefficients that are polynomials over $Q$ in $j (τ)$ .

On the conjugate lattices, the modular group acts as $PGL(2, Z / n Z)$ . It follows that $φ n$ has Galois group isomorphic to $PGL(2, Z / n Z)$ over $Q (J (τ))$ .

Use of Hilbert's irreducibility theorem gives an infinite (and dense) set of rational numbers specializing $φ n$ to polynomials with Galois group $PGL(2, Z / n Z)$ over $Q$ . The groups $PGL(2, Z / n Z)$ include infinitely many non-solvable groups.

Notes

http://library.msri.org/books/Book45/files/book45.pdf
Igor R. Shafarevich, The imbedding problem for splitting extensions, Dokl. Akad. Nauk SSSR 120 (1958), 1217-1219.
p. 5 of Jensen et al., 2002
http://galoisdb.math.upb.de/
http://galoisdb.math.upb.de/groups?deg=17
Malle and Matzat (1999), pp. 403-424

References

Alexander M. Macbeath, Extensions of the Rationals with Galois Group PGL(2,Z_n), Bull. London Math. Soc., 1 (1969),332-338.
Thompson, John G. (1984), "Some finite groups which appear as Gal L/K, where K⊆ Q(μ_n)", Journal of Algebra, 89 (2): 437–499, doi:10.1016/0021-8693(84)90228-X, MR 0751155
Helmut Völklein, Groups as Galois Groups, an Introduction, Cambridge University Press, 1996.
Serre, Jean-Pierre (1992). Topics in Galois Theory. Research Notes in Mathematics. 1. Jones and Bartlett. ISBN 0-86720-210-6. Zbl 0746.12001.
Gunter Malle, Heinrich Matzat, Inverse Galois Theory, Springer-Verlag, 1999, ISBN 3-540-62890-8.
Gunter Malle, Heinrich Matzat, Inverse Galois Theory, 2nd edition, Springer-Verlag, 2018.
Alexander Schmidt, Kay Wingberg, Safarevic's Theorem on Solvable Groups as Galois Groups (see also Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, 323, Berlin: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 0948.11001)
Christian U. Jensen, Arne Ledet, and Noriko Yui, Generic Polynomials, Constructive Aspects of the Inverse Galois Problem, Cambridge University Press, 2002.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] ttp://library.msri.org/books/Book45/files/book45.pdf

[2] Igor R. Shafarevich, The imbedding problem for splitting extensions, Dokl. Akad. Nauk SSSR 120 (1958), 1217-1219.

[3] . 5 of Jensen et al., 2002

[4] ttp://galoisdb.math.upb.de/

[5] ttp://galoisdb.math.upb.de/groups?deg=17

[6] Malle and Matzat (1999), pp. 403-424