‰variste galois and solvable permutation groups - amherst college
TRANSCRIPT
![Page 1: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/1.jpg)
Lagrange Galois Solvable Permutation Groups
Évariste Galoisand
Solvable Permutation Groups
David A. Cox
Department of MathematicsAmherst College
BilbaoMay 2012
![Page 2: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/2.jpg)
Lagrange Galois Solvable Permutation Groups
Prologue
Most mathematicians know about Galois:
He introduced the concept of group .
He created Galois theory .
He defined finite fields .
This Talk
We will learn some of the amazing other things Galois did,especially his work on solvable permutation groups .
![Page 3: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/3.jpg)
Lagrange Galois Solvable Permutation Groups
Prologue
Most mathematicians know about Galois:
He introduced the concept of group .
He created Galois theory .
He defined finite fields .
This Talk
We will learn some of the amazing other things Galois did,especially his work on solvable permutation groups .
![Page 4: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/4.jpg)
Lagrange Galois Solvable Permutation Groups
Prologue
Most mathematicians know about Galois:
He introduced the concept of group .
He created Galois theory .
He defined finite fields .
This Talk
We will learn some of the amazing other things Galois did,especially his work on solvable permutation groups .
![Page 5: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/5.jpg)
Lagrange Galois Solvable Permutation Groups
Prologue
Most mathematicians know about Galois:
He introduced the concept of group .
He created Galois theory .
He defined finite fields .
This Talk
We will learn some of the amazing other things Galois did,especially his work on solvable permutation groups .
![Page 6: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/6.jpg)
Lagrange Galois Solvable Permutation Groups
Outline
1 LagrangeThree Snapshots
2 GaloisFour Snapshots
3 Solvable Permutation GroupsPrimitive EquationsThe Affine Linear GroupFinite FieldsThe Main Theorem
![Page 7: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/7.jpg)
Lagrange Galois Solvable Permutation Groups
Outline
1 LagrangeThree Snapshots
2 GaloisFour Snapshots
3 Solvable Permutation GroupsPrimitive EquationsThe Affine Linear GroupFinite FieldsThe Main Theorem
![Page 8: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/8.jpg)
Lagrange Galois Solvable Permutation Groups
Outline
1 LagrangeThree Snapshots
2 GaloisFour Snapshots
3 Solvable Permutation GroupsPrimitive EquationsThe Affine Linear GroupFinite FieldsThe Main Theorem
![Page 9: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/9.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots from Lagrange
In 1770, Lagrange wrote the wonderful paper:
Réflexions sur la résolution des équations
which introduced many of the key players of group theory andGalois theory.
We will give three excerpts from this paper to show howLagrange laid the foundation for what Galois did.
![Page 10: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/10.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots from Lagrange
In 1770, Lagrange wrote the wonderful paper:
Réflexions sur la résolution des équations
which introduced many of the key players of group theory andGalois theory.
We will give three excerpts from this paper to show howLagrange laid the foundation for what Galois did.
![Page 11: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/11.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #1
A Quote
A function y of the roots of a polynomial gives values y ′, y ′′, . . .when the roots are permuted. Lagrange says:
il s’agit ici uniquement de la forme de valeurs et non de leurquantité absolue.
Since y =A(α1, . . . , αn)
B(α1, . . . , αn)has the form
A(x1, . . . , xn)
B(x1, . . . , xn),
we see that Lagrange regarded the roots as variables!
![Page 12: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/12.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #2
The Universal Extension
Let σi be the i th elementary symmetric polynomial. ConsiderK = k(σ1, . . . , σn) ⊆ L = k(x1, . . . , xn).
Lagrange’s Theorem
If t , y ∈ L and t is fixed by all permutations that fix y , then t is arational expression in y , σ1, . . . , σn.
K ⊆ K (y) ⊆ L gives Gal(L/K (y)) = {permutations fixing y}. So
t ∈ fixed field of Gal(L/K (y)) =⇒ t ∈ K (y).
Hence K (y) is the fixed field of Gal(L/K (y)).
Lagrange knew the Galois correspondence!
![Page 13: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/13.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #2
The Universal Extension
Let σi be the i th elementary symmetric polynomial. ConsiderK = k(σ1, . . . , σn) ⊆ L = k(x1, . . . , xn).
Lagrange’s Theorem
If t , y ∈ L and t is fixed by all permutations that fix y , then t is arational expression in y , σ1, . . . , σn.
K ⊆ K (y) ⊆ L gives Gal(L/K (y)) = {permutations fixing y}. So
t ∈ fixed field of Gal(L/K (y)) =⇒ t ∈ K (y).
Hence K (y) is the fixed field of Gal(L/K (y)).
Lagrange knew the Galois correspondence!
![Page 14: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/14.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #2
The Universal Extension
Let σi be the i th elementary symmetric polynomial. ConsiderK = k(σ1, . . . , σn) ⊆ L = k(x1, . . . , xn).
Lagrange’s Theorem
If t , y ∈ L and t is fixed by all permutations that fix y , then t is arational expression in y , σ1, . . . , σn.
K ⊆ K (y) ⊆ L gives Gal(L/K (y)) = {permutations fixing y}. So
t ∈ fixed field of Gal(L/K (y)) =⇒ t ∈ K (y).
Hence K (y) is the fixed field of Gal(L/K (y)).
Lagrange knew the Galois correspondence!
![Page 15: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/15.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #3
Definition
Rational functions t , y ∈ L are similar (“semblable”) when apermutation fixes t if and only if it fixes y .
Corollary of Lagrange’s Theorem
Functions t , y ∈ L are similar if and only if
K (t) = K (y).
For us, the Galois correspondence of K ⊆ L is a bijection
intermediate fields ←→ subgroups of Sn.
Lagrange worked with individual rational functions. The notionof “similar function” is his attempt at an intrinsic formulation.
Lagrange knew the Galois correspondence!
![Page 16: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/16.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #3
Definition
Rational functions t , y ∈ L are similar (“semblable”) when apermutation fixes t if and only if it fixes y .
Corollary of Lagrange’s Theorem
Functions t , y ∈ L are similar if and only if
K (t) = K (y).
For us, the Galois correspondence of K ⊆ L is a bijection
intermediate fields ←→ subgroups of Sn.
Lagrange worked with individual rational functions. The notionof “similar function” is his attempt at an intrinsic formulation.
Lagrange knew the Galois correspondence!
![Page 17: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/17.jpg)
Lagrange Galois Solvable Permutation Groups
Three Snapshots
Snapshot #3
Definition
Rational functions t , y ∈ L are similar (“semblable”) when apermutation fixes t if and only if it fixes y .
Corollary of Lagrange’s Theorem
Functions t , y ∈ L are similar if and only if
K (t) = K (y).
For us, the Galois correspondence of K ⊆ L is a bijection
intermediate fields ←→ subgroups of Sn.
Lagrange worked with individual rational functions. The notionof “similar function” is his attempt at an intrinsic formulation.
Lagrange knew the Galois correspondence!
![Page 18: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/18.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots from Galois
Évariste Galois was born October 25, 1811 and died May 31,1832. We are celebrating the 200th anniversary of his birth.
In January 1831, he wrote the amazing paper:
Mémoire sur les conditions de résolubilité des équationspar radicaux
I will give four excerpts from this memoir to give you a sense ofhow Galois thought about Galois theory.
![Page 19: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/19.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #1
PROPOSITION I
THÉORÈME. Soit une équation donnée, dont a,b,c,. . . sont lesm racines. Il y aura toujours un groupe de permutations deslettres a,b,c,. . . qui jouira des propriété suivant:
1o que toute fonction des racines, invariable∗∗ par lessubstitutions de ce groupe, soit rationallement connue;
2o réciproquement, que toute fonction des racinesdéterminable rationallement, soit invariable par cessubstitutions∗.
The asterisks ∗∗ and ∗ indicate marginal notes in Galois’smanuscript.
![Page 20: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/20.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #1
Marginal Note for “invariable∗∗”
Nous appelons ici invariable non seulement une fonction dontla forme est invariable par les substitutions des racines entreelles, mais encore celle dont las valeur numérique ne varieriatpas par ces substitutions.
Galois is aware that his theory applies to the roots of anypolynomial, not just the case when the roots are variables.
Galois has gone beyond Lagrange!
![Page 21: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/21.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
Galois’s Group
Quelle que soit l’équation donnée, on pourra trouver unefonction V des racines telle que toutes les racines soientfonctions rationelles des V . Cela posé, considérons l’equationirréductible done V est racine (lemmes III et IV). SoientV ,V ′,V ′′, . . . ,V (n−1) les racines de cette equation.
Soient ϕV , ϕ1V , ϕ2V , . . . , ϕm−1V les racines de la proposée.
Écrivons les n permutations suivants des racines:
(V ), ϕV , ϕ1V , ϕ2V , . . . , ϕn−1V ,(V ′), ϕV ′, ϕ1V ′, ϕ2V ′, . . . , . . . ,. . . , . . . , . . . , . . . , . . . , . . . ,
(V (m−1)), ϕV (m−1), ϕ1V (m−1), ϕ2V (m−1), . . . , ϕn−1V (m−1)
Je dis que ce groupe de permutations jouit de la propriétéénoncée.
![Page 22: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/22.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
For Galois, permutations are bijections
{1, . . . ,m} −→ {roots} ⇐ call these arrangements
while substitutions are bijections
{roots} −→ {roots} ⇐ call these substitutions.
Arrangements give a strong visual picture.
Substitutions give a group.
Arrangements give a principal homogeneous space for thesubstitutions.
Marginal note for “substitutions∗”
Mettre partout á la place du mot permutation le mot substitution
But then he crosses this out!
![Page 23: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/23.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
For Galois, permutations are bijections
{1, . . . ,m} −→ {roots} ⇐ call these arrangements
while substitutions are bijections
{roots} −→ {roots} ⇐ call these substitutions.
Arrangements give a strong visual picture.
Substitutions give a group.
Arrangements give a principal homogeneous space for thesubstitutions.
Marginal note for “substitutions∗”
Mettre partout á la place du mot permutation le mot substitution
But then he crosses this out!
![Page 24: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/24.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
For Galois, permutations are bijections
{1, . . . ,m} −→ {roots} ⇐ call these arrangements
while substitutions are bijections
{roots} −→ {roots} ⇐ call these substitutions.
Arrangements give a strong visual picture.
Substitutions give a group.
Arrangements give a principal homogeneous space for thesubstitutions.
Marginal note for “substitutions∗”
Mettre partout á la place du mot permutation le mot substitution
But then he crosses this out!
![Page 25: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/25.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
For Galois, permutations are bijections
{1, . . . ,m} −→ {roots} ⇐ call these arrangements
while substitutions are bijections
{roots} −→ {roots} ⇐ call these substitutions.
Arrangements give a strong visual picture.
Substitutions give a group.
Arrangements give a principal homogeneous space for thesubstitutions.
Marginal note for “substitutions∗”
Mettre partout á la place du mot permutation le mot substitution
But then he crosses this out!
![Page 26: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/26.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #2
For Galois, permutations are bijections
{1, . . . ,m} −→ {roots} ⇐ call these arrangements
while substitutions are bijections
{roots} −→ {roots} ⇐ call these substitutions.
Arrangements give a strong visual picture.
Substitutions give a group.
Arrangements give a principal homogeneous space for thesubstitutions.
Marginal note for “substitutions∗”
Mettre partout á la place du mot permutation le mot substitution
But then he crosses this out!
![Page 27: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/27.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #3
Galois introduced normal subgroups as follows.
PROPOSITION III
THÉORÈME. Si ll’on adjoint á une équation TOUTES les racinesd’une équation auxiliaire, les groupes dont il est question dansle théorème II jouiront de plus de cette propriété que lessubstitutions sont les mêmes dans chaque groupe.
If G is the Galois group and a is one arrangement, then G · a isGalois’s “groupe.” The cosets of H ⊆ G give
G · a = g1H · a ∪ g2H · a ∪ · · · .
These are the “groupes” of PROPOSITION III. Key observation:
g(giH · a) = giH · a ⇐⇒ g ∈ giHg−1i .
So “sont les mêmes” means H is normal!
![Page 28: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/28.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #3
Galois introduced normal subgroups as follows.
PROPOSITION III
THÉORÈME. Si ll’on adjoint á une équation TOUTES les racinesd’une équation auxiliaire, les groupes dont il est question dansle théorème II jouiront de plus de cette propriété que lessubstitutions sont les mêmes dans chaque groupe.
If G is the Galois group and a is one arrangement, then G · a isGalois’s “groupe.” The cosets of H ⊆ G give
G · a = g1H · a ∪ g2H · a ∪ · · · .
These are the “groupes” of PROPOSITION III. Key observation:
g(giH · a) = giH · a ⇐⇒ g ∈ giHg−1i .
So “sont les mêmes” means H is normal!
![Page 29: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/29.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #3
Galois introduced normal subgroups as follows.
PROPOSITION III
THÉORÈME. Si ll’on adjoint á une équation TOUTES les racinesd’une équation auxiliaire, les groupes dont il est question dansle théorème II jouiront de plus de cette propriété que lessubstitutions sont les mêmes dans chaque groupe.
If G is the Galois group and a is one arrangement, then G · a isGalois’s “groupe.” The cosets of H ⊆ G give
G · a = g1H · a ∪ g2H · a ∪ · · · .
These are the “groupes” of PROPOSITION III. Key observation:
g(giH · a) = giH · a ⇐⇒ g ∈ giHg−1i .
So “sont les mêmes” means H is normal!
![Page 30: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/30.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #4
Galois had a wonderful result about the Galois group of asolvable polynomial of prime degree.
PROPOSITION VII
PROBLÈME. Quel est le groupe d’une équation irréductible d’undegré premier n, soluble par radicaux?
Faisons en general xn = x0, xn+1 = x1, . . .
Donc, “si d’une équation irréductible de degré premier estsoluble par radicaux, le groupe de cette léquation ne sauraitcontenir que les substitutions de la forme
xk xak+b
a et b étant des constants.”
![Page 31: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/31.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #4
In modern terms, Galois’s Proposition VII says that the Galoisgroup of an irreducible polynomial of prime p is solvable byradicals if and only if the Galois group is isomorphic to asubgroup of the affine linear group
AGL(1,Fp) = {x 7→ ax + b | a,b ∈ Fp, a 6= 0}.
There are two aspects of this result worth mentioning:
Up to conjugacy, AGL(1,Fp) is the maximal solvablesubgroup of the symmetric group Sp.
This proposition implies that such a polynomial is solvableby radicals iff any two roots generate the splitting field.
![Page 32: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/32.jpg)
Lagrange Galois Solvable Permutation Groups
Four Snapshots
Snapshot #4
In modern terms, Galois’s Proposition VII says that the Galoisgroup of an irreducible polynomial of prime p is solvable byradicals if and only if the Galois group is isomorphic to asubgroup of the affine linear group
AGL(1,Fp) = {x 7→ ax + b | a,b ∈ Fp, a 6= 0}.
There are two aspects of this result worth mentioning:
Up to conjugacy, AGL(1,Fp) is the maximal solvablesubgroup of the symmetric group Sp.
This proposition implies that such a polynomial is solvableby radicals iff any two roots generate the splitting field.
![Page 33: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/33.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 34: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/34.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 35: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/35.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 36: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/36.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 37: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/37.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 38: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/38.jpg)
Lagrange Galois Solvable Permutation Groups
There is More!
The four snapshots from Galois:
are well-known to most mathematicians, and
illustrate nicely the power of the theory he developed.
However, Galois did a lot more!In particular, we will explore:
what Galois knew about solvable permutation groups, andwhy he invented finite fields.
![Page 39: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/39.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The Main Problem
Definition
On appelle équations non primitives les équations qui étant,par exemple, du degré mn, se décomposent en m facteurs dudegré n, au moyen d’une seule équation du degré m.
Example
x4 − 2 has degree 4 = 2 · 2. Adjoining roots of x2 − 2 gives
x4 − 2 =(
x2 −√
2)(
x2 +√
2)
.
Thus x4 − 2 is imprimitive (“non primitive”).
Revenons maintenant á notre object, et cherchons en généraldans quel cas une équation primitive est soluble par radicaux.
![Page 40: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/40.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The Main Problem
Definition
On appelle équations non primitives les équations qui étant,par exemple, du degré mn, se décomposent en m facteurs dudegré n, au moyen d’une seule équation du degré m.
Example
x4 − 2 has degree 4 = 2 · 2. Adjoining roots of x2 − 2 gives
x4 − 2 =(
x2 −√
2)(
x2 +√
2)
.
Thus x4 − 2 is imprimitive (“non primitive”).
Revenons maintenant á notre object, et cherchons en généraldans quel cas une équation primitive est soluble par radicaux.
![Page 41: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/41.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The Main Problem
Definition
On appelle équations non primitives les équations qui étant,par exemple, du degré mn, se décomposent en m facteurs dudegré n, au moyen d’une seule équation du degré m.
Example
x4 − 2 has degree 4 = 2 · 2. Adjoining roots of x2 − 2 gives
x4 − 2 =(
x2 −√
2)(
x2 +√
2)
.
Thus x4 − 2 is imprimitive (“non primitive”).
Revenons maintenant á notre object, et cherchons en généraldans quel cas une équation primitive est soluble par radicaux.
![Page 42: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/42.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The First Result
Galois’s Version
. . . pour qu’une équation primitive soit soluble par radicaux, itfaut que son degré soit de la forme pν , p étant premier.
Definition
A subgroup G ⊆ Sn is imprimitive if
{1, . . . ,n} = R1 ∪ · · · ∪ Rk , k > 1, |Ri | > 1 for some i
and elements of G preserve the Ri . Then G is primitive if it isnot imprimitive.
Theorem
If G ⊆ Sn is primitive and solvable, then n = pν, p prime.
![Page 43: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/43.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The First Result
Galois’s Version
. . . pour qu’une équation primitive soit soluble par radicaux, itfaut que son degré soit de la forme pν , p étant premier.
Definition
A subgroup G ⊆ Sn is imprimitive if
{1, . . . ,n} = R1 ∪ · · · ∪ Rk , k > 1, |Ri | > 1 for some i
and elements of G preserve the Ri . Then G is primitive if it isnot imprimitive.
Theorem
If G ⊆ Sn is primitive and solvable, then n = pν, p prime.
![Page 44: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/44.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
The First Result
Galois’s Version
. . . pour qu’une équation primitive soit soluble par radicaux, itfaut que son degré soit de la forme pν , p étant premier.
Definition
A subgroup G ⊆ Sn is imprimitive if
{1, . . . ,n} = R1 ∪ · · · ∪ Rk , k > 1, |Ri | > 1 for some i
and elements of G preserve the Ri . Then G is primitive if it isnot imprimitive.
Theorem
If G ⊆ Sn is primitive and solvable, then n = pν, p prime.
![Page 45: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/45.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
Proof
Assume G ⊆ Sn is primitive and solvable. To show: n = pν.
Let N be a minimal normal subgroup of G. One can prove thatthere is a simple group A such that
N ≃ Aν
This is a standard fact about minimal normal subgroups. Then:
G primitive =⇒ N transitive.
G solvable =⇒ N ≃ Fν
p.
N transitive and abelian =⇒ its isotropy subgroups are allequal and hence trivial. Thus:
pν = |N| = |orbit| · |isotropy subgroup| = n · 1 = n. QED
![Page 46: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/46.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
Proof
Assume G ⊆ Sn is primitive and solvable. To show: n = pν.
Let N be a minimal normal subgroup of G. One can prove thatthere is a simple group A such that
N ≃ Aν
This is a standard fact about minimal normal subgroups. Then:
G primitive =⇒ N transitive.
G solvable =⇒ N ≃ Fν
p.
N transitive and abelian =⇒ its isotropy subgroups are allequal and hence trivial. Thus:
pν = |N| = |orbit| · |isotropy subgroup| = n · 1 = n. QED
![Page 47: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/47.jpg)
Lagrange Galois Solvable Permutation Groups
Primitive Equations
Proof
Assume G ⊆ Sn is primitive and solvable. To show: n = pν.
Let N be a minimal normal subgroup of G. One can prove thatthere is a simple group A such that
N ≃ Aν
This is a standard fact about minimal normal subgroups. Then:
G primitive =⇒ N transitive.
G solvable =⇒ N ≃ Fν
p.
N transitive and abelian =⇒ its isotropy subgroups are allequal and hence trivial. Thus:
pν = |N| = |orbit| · |isotropy subgroup| = n · 1 = n. QED
![Page 48: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/48.jpg)
Lagrange Galois Solvable Permutation Groups
The Affine Linear Group
The Affine Linear Group
When G is primitive and solvable, the proof just given showsthat N ≃ F
ν
p is normal in G. One can show without difficulty that
G ⊆ AGL(ν,Fp) = {x 7→ Ax + b | A ∈ GL(ν,Fp), b ∈ Fν
p}.Galois knew this!
Letter to Chevalier, 29 May 1832
Toutes les permuations d’une équation primitive soluble parradicaux sont de la forme
xk .l .m.../xak+bl+cm+...+f .a1k+b1l+c1m+...+g. ...
k , l ,m, . . . étant ν indices qui prenant chacun p valeursindiquent toutes les racines. Les indices sont pris suivant lemodule p, c’est-á-dire que la racines sera la même quand onadjoutera á l’un des indices un multiple de p.
![Page 49: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/49.jpg)
Lagrange Galois Solvable Permutation Groups
Finite Fields
Finite Fields and the Affine Semilinear Group
When a primitive of degree pν is solvable by radicals, its Galoisgroup lies in
AGL(ν,Fp) ⊆ Spν .
However, AGL(ν,Fp) is not solvable when ν ≥ 2. What is itsmaximal primitive solvable subgroup? This is the questionGalois wanted to answer.
Galois used the Galois theory of finite fields to create someprimitive solvable permutation subgroups of AGL(ν,Fp):
AGL(1,Fpν ): The affine linear group over Fpν is
{x 7→ ax + b | a,b ∈ Fpν ,a 6= 0}.AΓL(1,Fpν ): The affine semilinear group over Fpν is
{x 7→ aσ(x) + b | a,b ∈ Fpν , σ ∈ Gal(Fpν/Fp),a 6= 0}.
![Page 50: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/50.jpg)
Lagrange Galois Solvable Permutation Groups
Finite Fields
Finite Fields and the Affine Semilinear Group
When a primitive of degree pν is solvable by radicals, its Galoisgroup lies in
AGL(ν,Fp) ⊆ Spν .
However, AGL(ν,Fp) is not solvable when ν ≥ 2. What is itsmaximal primitive solvable subgroup? This is the questionGalois wanted to answer.
Galois used the Galois theory of finite fields to create someprimitive solvable permutation subgroups of AGL(ν,Fp):
AGL(1,Fpν ): The affine linear group over Fpν is
{x 7→ ax + b | a,b ∈ Fpν ,a 6= 0}.AΓL(1,Fpν ): The affine semilinear group over Fpν is
{x 7→ aσ(x) + b | a,b ∈ Fpν , σ ∈ Gal(Fpν/Fp),a 6= 0}.
![Page 51: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/51.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
What Galois Knew
Why Do We Need Finite Fields?
C’est surtout dans la théorie des permutations . . . que laconsidération des racines imaginaires des congruences paraîtindispensable. Elle donne une moyen simple et facile dereconnaître dans quel cas une équation primitive soit solublepar radicaux . . .
Galois notes that if the Galois group of a primitive equation liesin AΓL(1,Fpν ), then the equation is solvable by radicals.
Galois Goes On To Say:
Cette remarque aurait peu d’importance, si je n’etais parvenu ádemontrer que réciproquement une équation primitive nesaurait soluble par radicaux, á moins de satisfaire auxconditions que je viens d’enoncer.
![Page 52: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/52.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
What Galois Knew
Why Do We Need Finite Fields?
C’est surtout dans la théorie des permutations . . . que laconsidération des racines imaginaires des congruences paraîtindispensable. Elle donne une moyen simple et facile dereconnaître dans quel cas une équation primitive soit solublepar radicaux . . .
Galois notes that if the Galois group of a primitive equation liesin AΓL(1,Fpν ), then the equation is solvable by radicals.
Galois Goes On To Say:
Cette remarque aurait peu d’importance, si je n’etais parvenu ádemontrer que réciproquement une équation primitive nesaurait soluble par radicaux, á moins de satisfaire auxconditions que je viens d’enoncer.
![Page 53: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/53.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Subsequent Developments
Galois Knew That There Were Exceptions:
J’excepte les équations du 9e et 25e degré.
In 1868, Jordan classifed primitive solvable subgroups ofSp2 . He used AΓL(1,Fp2) together with two other groups.
Of Jordan’s groups, only AΓL(1,Fp2) is doubly-transitive.
Doubly-transitive subgroups are automatically primitive,though the converse (as shown by Jordan) is false.
Jordan’s result shows that Galois characterization of primitivesolvable equations has some gaps. But maybe Galois wasimplicitly assuming double-transitivity. If this is the case, thenhis characterization (with the above exceptions) is remarkablyclose to being complete.
![Page 54: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/54.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Subsequent Developments
Galois Knew That There Were Exceptions:
J’excepte les équations du 9e et 25e degré.
In 1868, Jordan classifed primitive solvable subgroups ofSp2 . He used AΓL(1,Fp2) together with two other groups.
Of Jordan’s groups, only AΓL(1,Fp2) is doubly-transitive.
Doubly-transitive subgroups are automatically primitive,though the converse (as shown by Jordan) is false.
Jordan’s result shows that Galois characterization of primitivesolvable equations has some gaps. But maybe Galois wasimplicitly assuming double-transitivity. If this is the case, thenhis characterization (with the above exceptions) is remarkablyclose to being complete.
![Page 55: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/55.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Subsequent Developments
Galois Knew That There Were Exceptions:
J’excepte les équations du 9e et 25e degré.
In 1868, Jordan classifed primitive solvable subgroups ofSp2 . He used AΓL(1,Fp2) together with two other groups.
Of Jordan’s groups, only AΓL(1,Fp2) is doubly-transitive.
Doubly-transitive subgroups are automatically primitive,though the converse (as shown by Jordan) is false.
Jordan’s result shows that Galois characterization of primitivesolvable equations has some gaps. But maybe Galois wasimplicitly assuming double-transitivity. If this is the case, thenhis characterization (with the above exceptions) is remarkablyclose to being complete.
![Page 56: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/56.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Subsequent Developments
Galois Knew That There Were Exceptions:
J’excepte les équations du 9e et 25e degré.
In 1868, Jordan classifed primitive solvable subgroups ofSp2 . He used AΓL(1,Fp2) together with two other groups.
Of Jordan’s groups, only AΓL(1,Fp2) is doubly-transitive.
Doubly-transitive subgroups are automatically primitive,though the converse (as shown by Jordan) is false.
Jordan’s result shows that Galois characterization of primitivesolvable equations has some gaps. But maybe Galois wasimplicitly assuming double-transitivity. If this is the case, thenhis characterization (with the above exceptions) is remarkablyclose to being complete.
![Page 57: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/57.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Subsequent Developments
Galois Knew That There Were Exceptions:
J’excepte les équations du 9e et 25e degré.
In 1868, Jordan classifed primitive solvable subgroups ofSp2 . He used AΓL(1,Fp2) together with two other groups.
Of Jordan’s groups, only AΓL(1,Fp2) is doubly-transitive.
Doubly-transitive subgroups are automatically primitive,though the converse (as shown by Jordan) is false.
Jordan’s result shows that Galois characterization of primitivesolvable equations has some gaps. But maybe Galois wasimplicitly assuming double-transitivity. If this is the case, thenhis characterization (with the above exceptions) is remarkablyclose to being complete.
![Page 58: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/58.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Huppert’s Theorem
Here is the great theorem proved by Huppert in 1957.
Theorem
Assume G ⊆ Sn is solvable and doubly-transitive. Then:
n = pν , p prime.
Furthermore, if
pν /∈ {32,52,72,112,232,34},
then G ⊆ AΓL(1,Fpν ) up to conjugacy.
Given that Galois invented groups in 1829, his level of insight isastonishing! So, in this 200th anniversary of Galois’s birth, wehave more to celebrate than we thought!
![Page 59: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/59.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Huppert’s Theorem
Here is the great theorem proved by Huppert in 1957.
Theorem
Assume G ⊆ Sn is solvable and doubly-transitive. Then:
n = pν , p prime.
Furthermore, if
pν /∈ {32,52,72,112,232,34},
then G ⊆ AΓL(1,Fpν ) up to conjugacy.
Given that Galois invented groups in 1829, his level of insight isastonishing! So, in this 200th anniversary of Galois’s birth, wehave more to celebrate than we thought!
![Page 60: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/60.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Huppert’s Theorem
Here is the great theorem proved by Huppert in 1957.
Theorem
Assume G ⊆ Sn is solvable and doubly-transitive. Then:
n = pν , p prime.
Furthermore, if
pν /∈ {32,52,72,112,232,34},
then G ⊆ AΓL(1,Fpν ) up to conjugacy.
Given that Galois invented groups in 1829, his level of insight isastonishing! So, in this 200th anniversary of Galois’s birth, wehave more to celebrate than we thought!
![Page 61: ‰variste Galois and Solvable Permutation Groups - Amherst College](https://reader031.vdocument.in/reader031/viewer/2022021009/6203af47da24ad121e4c44a0/html5/thumbnails/61.jpg)
Lagrange Galois Solvable Permutation Groups
The Main Theorem
Huppert’s Theorem
Here is the great theorem proved by Huppert in 1957.
Theorem
Assume G ⊆ Sn is solvable and doubly-transitive. Then:
n = pν , p prime.
Furthermore, if
pν /∈ {32,52,72,112,232,34},
then G ⊆ AΓL(1,Fpν ) up to conjugacy.
Given that Galois invented groups in 1829, his level of insight isastonishing! So, in this 200th anniversary of Galois’s birth, wehave more to celebrate than we thought!