Théorie des groupes/Intermède : groupes simples d'ordre 168

Début de la boite de navigation du chapitre

On va prouver dans ce chapitre que tous les groupes simples d'ordre 168 sont isomorphes entre eux et donc, puisque, d'après le chapitre sur la simplicité des groupes linéaires spéciaux projectifs, PSL(2, 7) est un groupe simple d'ordre 168, isomorphes à PSL(2, 7). Cela n'est pas une matière classique et ne servira pas dans la suite du cours, donc le lecteur non intéressé peut omettre ce chapitre.

fin de la boite de navigation du chapitre

Section 1. Préliminaires de théorie des groupes

Notation. Pour tout groupe fini G et tout nombre premier p, on notera $\mathrm {Syl} _{p}(G)$ l'ensemble des p-sous-groupes de Sylow de G et on notera $n_{p}(G)$ le cardinal de $\mathrm {Syl} _{p}(G)$, autrement dit le nombre des p-sous-groupes de Sylow de G.

Début d’un théorème

Préliminaire 1

Soit G un groupe simple d'ordre au moins 3. On suppose que G a un sous-groupe propre d'indice fini k. Alors G est isomorphe à un sous-groupe du groupe alterné $A_{k}$. En particulier, $\vert G\vert$ divise k!/2.

Fin du théorème

Démonstration

Voir Premiers résultats sur les groupes simples, théorème 6.

 

Début d’un théorème

Préliminaire 2

Soit G un groupe fini, soit p un nombre premier. Écrivons $\vert G\vert =p^{e}m$ avec m non divisible par p. Supposons que pour tout couple (P, Q) de différents p-sous-groupes de Sylow de G, $P\cap Q=1.$ Alors $n_{p}(G)\equiv 1{\pmod {p^{e}}}.$

Fin du théorème

Démonstration

On l'a démontré dans un exercice de la série Théorèmes de Sylow (forme forte du théorème de congruence de Sylow).

 

La dénomination « lemme de l'intersection maximale » qu'on donne ici à l'énoncé qui suit n'est pas standard.

Début d’un théorème

Préliminaire 3 (Lemme de l'intersection maximale)

Soit G un groupe fini, soit p un diviseur premier de l'ordre de G. Désignons par $I(2,p,G)$ (intersections deux à deux des p-sous-groupes de Sylow de G) l'ensemble des $P\cap Q,$ où (P, Q) parcourt les couples de p-sous-groupes de Sylow de G tels que $P\neq Q.$ Soient P et Q deux différents p-sous-groupes de Sylow de G tels que $P\cap Q$ soit maximal dans $I(2,p,G)$ ordonné par inclusion. Posons $N=N_{G}(P\cap Q).$ Alors $N\cap P$ et $N\cap Q$ sont deux différents p-sous-groupes de Sylow de N et ils contiennent $P\cap Q$ strictement.

Fin du théorème

Démonstration

Prouvons d'abord que

(thèse 1) $N\cap P$ et $N\cap Q$ contiennent $P\cap Q$ strictement.

Puisque P est un p-groupe et donc un groupe nilpotent; puisque, d'autre part, $P\cap Q$ est clairement un sous-groupe propre de P (l'intersection de deux différents ensembles finis de même cardinal est strictement contenue dans chacun de ces deux ensembles), il résulte d'une proposition du chapitre Groupes nilpotents que

$P\cap Q<N_{P}(P\cap Q).$

Le second membre est égal à $N\cap P,$ donc

$P\cap Q<N\cap P.$

De même,

$P\cap Q<N\cap Q.$

Nous avons donc prouvé notre thèse (1), à savoir que

(2) $N\cap P$ et $N\cap Q$ contiennent $P\cap Q$ strictement.

Prouvons maintenant que

(thèse 3) $N\cap P$ et $N\cap Q$ sont des p-sous-groupes de Sylow de N.

Puisque $N\cap P$ et $N\cap Q$ sont des p-sous-groupes de N,
il existe un p-sous-groupe de Sylow $P_{1}$ de N qui contient $N\cap P$
et il existe un p-sous-groupe de Sylow $Q_{1}$ de N qui contient $N\cap Q.$
De même,
il existe un p-sous-groupe de Sylow $P_{2}$ de G qui contient $P_{1}$
et il existe un p-sous-groupe de Sylow $Q_{2}$ de G qui contient $Q_{1}$.
Comme $P$ et $P_{2}$ contiennent tous deux $N\cap P,$

(4) $\qquad P\cap P_{2}$ contient $N\cap P.$

On a vu en (2) que $N\cap P$ contient $P\cap Q$ strictement, donc d'après (4)

$P\cap P_{2}$ contient $P\cap Q$ strictement.

Puisque $P$ et $P_{2}$ sont des p-sous-groupes de Sylow de G, il résulte donc de la maximalité de $P\cap Q$ dans $I(2,p,G)$ que

(5) $P_{2}=P.$

De même,

(6) $Q_{2}=Q.$

Puisque (par hypothèse sur $P_{2}$) $P_{1}$ est contenu dans $P_{2}$, (5) donne $P_{1}\leq P,$ d'où (puisque $P_{1}$ est supposé contenu dans N)

$P_{1}\leq N\cap P.$

Par hypothèse sur $P_{1},$ nous avons aussi l'inclusion réciproque, donc

$N\cap P=P_{1},$

donc, vu les hypothèses sur $P_{1},$

$N\cap P$ est un p-sous-groupe de Sylow de N.

De même, $N\cap Q$ est un p-sous-groupe de Sylow de N.
Nous avons donc prouvé notre thèse (3), à savoir que

(7) $N\cap P$ et $N\cap Q$ sont des p-sous-groupes de Sylow de N.

Prouvons que $N\cap P$ et $N\cap Q$ sont distincts.
Nous avons

$(N\cap P)\cap (N\cap Q)=N\cap (P\cap Q),$

d'où (vu la définition de N)

$(N\cap P)\cap (N\cap Q)=P\cap Q.$

Donc si $N\cap P$ et $N\cap Q$ étaient égaux, on aurait $N\cap P=P\cap Q,$ ce qui contredit (2). Nous avons donc prouvé que $N\cap P$ et $N\cap Q$ sont distincts, ce qui, joint à (2) et à (7), démontre l'énoncé.

 

Début d’un théorème

Préliminaire 4

Soit G un groupe fini, soit p un nombre premier, soit P un p-sous-groupe de Sylow de G, soient U et W des sous-groupes normaux de P. Pour que U et W soient conjugués dans G, il faut et il suffit qu'ils soient conjugués dans $N_{G}(P).$

Fin du théorème

Démonstration

C'est démontré dans un exercice de la série Théorèmes de Sylow.

 

Début d’un théorème

Préliminaire 5

Soit G un groupe fini dont l'ordre divise 24. Ou bien G a un 2-sous-groupe de Sylow normal, ou bien G a un 3-sous-groupe de Sylow normal ou bien G est isomorphe au groupe symétrique $S_{4}$.

Fin du théorème

Démonstration

On peut supposer que $n_{2}(G)$ et $n_{3}(G)$ sont distincts de 1; il s'agit alors de prouver que G est isomorphe au groupe symétrique $S_{4}.$
D'après les théorèmes de Sylow, $n_{2}(G)=3$ et $n_{3}(G)=4.$ Toujours d'après les théorèmes de Sylow, il en résulte que l'ordre de G est divisible par 4 (et par 3, et donc par 12). De $n_{3}(G)=4$ résulte qu'il y a exactement 8 éléments d'ordre 3 dans G (car les 3-sous-groupes de Sylow de G sont d'ordre premier et se coupent donc trivialement deux à deux). On a vu que l'ordre de G est divisible par 4, donc l'ordre des 2-sous-groupes de Sylow de G est au moins égal à 4; de plus, $n_{2}(G)=3>1,$ donc il y a au moins 5 éléments de G dont les ordres sont des puissances de 2. Donc G comprend au moins 8 + 5 = 13 éléments. Puisque l'ordre de G est supposé diviser 24, on a donc $\vert G\vert =24.$
On a prouvé dans un exercice de la série Groupes alternés que tout groupe d'ordre 24 qui a plus d'un 2-sous-groupe de Sylow et plus d'un 3-sous-groupe de Sylow est isomorphe à $S_{4},$ donc l'énoncé est démontré.

 

Début d’un théorème

Préliminaire 6

Les 2-sous-groupes de Sylow de $S_{4}$ sont tous isomorphes au groupe diédral $D_{8}$ d'ordre 8.

Fin du théorème

Démonstration

On a vu au chapitre Groupes diédraux que pour tout nombre naturel n ≥ 3, le groupe symétrique $S_{n}$ contient un sous-groupe diédral d'ordre 2n. En faisant n = 4, on trouve que $S_{4}$ contient un sous-groupe diédral d'ordre 8, d'où l'énoncé, puisque les 2-sous-groupes de Sylow d'un même groupe sont isomorphes.

 

Début d’un théorème

Préliminaire 7

Le seul 2-sous-groupe normal non trivial de $S_{4}$ est le groupe de Klein $V_{4}=\{id,(12)(34),(13)(24),(14)(23)\}.$

Fin du théorème

Démonstration

Cela résulte d'un exercice de la série Théorie des groupes/Exercices/Groupes alternés où on a déterminé tous les sous-groupes normaux de $S_{4}.$

 

Début d’un théorème

Préliminaire 8

Soit G un groupe simple fini, soit p un diviseur premier de l'ordre de G, soit P un p-sous-groupe de Sylow de G. On suppose que P est abélien et que $\vert N_{G}(P)\vert$ est égal à $q\vert P\vert$, où q est un nombre premier. Alors $C_{G}(P)$ est égal à P.

Fin du théorème

Démonstration

Puisque P est abélien, nous avons $P\leq C_{G}(P)\leq N_{G}(P).$ Puisque l'indice de P dans $N_{G}(P)$ est égal à q, qui est un nombre premier, il en résulte (formule des indices) que $C_{G}(P)$ est égal à P ou à $N_{G}(P).$ Si $C_{G}(P)$ était égal à $N_{G}(P),$ alors, d'après le théorème du complément normal de Burnside, P aurait un complément normal N dans G. Mais les hypothèses entraînent évidemment 1 < P < G, d'où 1 < N < G, ce qui est impossible puisque G est supposé simple. Donc $C_{G}(P)$ est égal à P.

 

Début d’un théorème

Préliminaire 9

L'ordre du groupe $\mathrm {Aut} (D_{8})$ n'est pas divisible par 3.

Fin du théorème

Démonstration

Il résulte d'un exercice de la série Holomorphe d'un groupe que $\mathrm {Aut} (D_{8})$ est isomorphe à Hol(Z/4Z). Or l'ordre de Hol(Z/4Z) est $4\varphi (4)=8$ et n'est donc pas divisible par 3.

 

Début d’un théorème

Préliminaire 10

Le centre de $D_{8}$ est un sous-groupe d'ordre 2 de $D_{8}.$

Fin du théorème

Démonstration

Voir un exercice de la série Groupes diédraux, où on a déterminé le centre d'un groupe diédral quelconque.

 

Début d’un théorème

Préliminaire 11

Soit D un groupe diédral d'ordre 8. Alors D a exactement deux sous-groupes de Klein. Ces deux sous-groupes ne sont pas conjugués dans D. Ils engendrent D.

Fin du théorème

Démonstration

Un sous-groupe de Klein de D est d'indice 2 dans D et est donc normal dans D. Dès lors, le fait que D a exactement deux sous-groupes de Klein se déduit d'un exercice de la série Groupes diédraux où on a déterminé les sous-groupes normaux d'un groupe diédral. Puisque les deux sous-groupes de Klein de D sont normaux dans D, ils ne sont pas conjugués dans D. Le sous-groupe de D engendré par ces deux sous-groupes a pour ordre un multiple de 4 qui divise 8 et est strictement supérieur à 4. Cet ordre est donc égal à 8, donc les deux sous-groupes de Klein de D engendrent D.

 

Début d’un théorème

Préliminaire 12

(i) Deux sous-groupes de Klein non normaux de $S_{4}$ engendrent toujours $S_{4}.$
(ii) Le groupe $S_{4}$ a exactement trois 2-sous-groupes de Sylow. Chacun de ces sous-groupes contient exactement 2 groupes de Klein, à savoir l'unique sous-groupe de Klein normal $V_{4}$ de $S_{4}$ et un sous-groupe de Klein qui n'est pas conjugué de $V_{4}$ dans $S_{4}$.

Fin du théorème

Démonstration

Démontrons le point (i). Soient V et W deux sous-groupes de Klein non normaux de $S_{4}$. Il s'agit de prouver que V et W engendrent $S_{4}$. Le sous-groupe H de $S_{4}$ engendré par V et W est d'ordre divisible par 4 et > 4, donc son ordre est égal à 8, à 12 ou à 24. Si l'ordre de H est égal à 8, H est un 2-sous-groupe de Sylow de $S_{4}$ et donc (préliminaire 6) un groupe diédral d'ordre 8. On sait que $S_{4}$ a un unique sous-groupe de Klein normal, soit $V_{4}$ (voir préliminaire 7). Puisque $V_{4}$ est un 2-sous-groupe normal de $S_{4}$, il est contenu dans chaque 2-sous-groupe de Sylow de $S_{4}$ et en particulier dans H. Mais, d'après le préliminaire 11, un groupe diédral d'ordre 8 n'a que deux sous-groupes de Klein, donc V ou W est égal à V_{4} et est donc normal dans S_{4}, contradiction. Donc l'ordre de H est égal à 12 ou à 24. Le seul sous-groupe d'ordre 12 de $S_{4}$ est $A_{4}$, qui n'a qu'un sous-groupe de Klein, donc H n'est pas d'ordre 12. Donc H est d'ordre 24 et est donc égal à $S_{4}$, ce qui démontre le point (i).
Démontrons maintenant le point (ii). D'après les théorèmes de Sylow, le nombre des 2-sous-groupes de Sylow de $S_{4}$ divise 3. S'il était égal à 1, $S_{4}$ aurait un sous-groupe normal d'ordre 8, ce qui contredit le préliminaire 7. Donc $S_{4}$ a exactement trois 2-sous-groupes de Sylow. Soit D un de ces sous-groupes. Comme déjà noté, $V_{4}$ est contenu dans chaque 2-sous-groupe de Sylow de S_{4}, donc $V_{4}$ est contenu dans D. Comme rappelé dans la démonstration du point (i), D a exactement 2 sous-groupes de Klein. Celui qui est différent de $V_{4}$ ne peut pas être conjugué de $V_{4}$ dans $S_{4}$, puisque $V_{4}$ est normal dans S_{4}. On a donc démontré le point (ii).

 

Section 2. Préliminaires de géométrie projective. Le plan de Fano.

Définitions 13

Les structures d'incidence, leurs isomorphimes et leurs automorphismes.

Une structure d'incidence est un triple $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ où ${\mathcal {P}}$ et ${\mathcal {L}}$ sont des ensembles et où ${\mathcal {I}}$ est une partie de ${\mathcal {P}}\times {\mathcal {L}}.$

On dit alors que les éléments de ${\mathcal {P}}$ sont les points de cette structure, que les éléments de ${\mathcal {L}}$ sont les lignes et que ${\mathcal {I}}$ est la relation d'incidence. P étant un point et L une ligne, on dit que P est sur L si (P, L) appartient à ${\mathcal {I}}.$ Dans le même cas, on dit aussi que L passe par P. On dit que des points sont alignés s'il existe une ligne qui passe par tous ces points.

Si le triple $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est une structure d'incidence, alors le triple $({\mathcal {L}},{\mathcal {P}},{\mathcal {J}}),$ où ${\mathcal {J}}$ désigne le graphe réciproque du graphe ${\mathcal {I}},$ est lui aussi une structure d'incidence, qu'on appelle la structure d'incidence duale de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}).$

Si les triples $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ et $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ sont des structures d'incidence, un isomorphisme de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ sur $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ est par définition un couple (f, g), où f est une bijection de ${\mathcal {P}}$ sur ${\mathcal {P}}',$ où g est une bijection de ${\mathcal {L}}$ sur ${\mathcal {L}}'$ et où, pour tout point P et toute ligne L de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$, (f(P), g(L)) appartient à ${\mathcal {I}}'$ si et seulement si (P, L) appartient à ${\mathcal {I}}.$

On vérifie facilement que si $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$, $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ et $({\mathcal {P}}'',{\mathcal {L}}'',{\mathcal {I}}'')$ sont des structures d'incidence, si $(f_{1},g_{1})$ est un isomorphisme de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ sur $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}'),$ si $(f_{2},g_{2})$ est un isomorphisme de $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ sur $({\mathcal {P}}'',{\mathcal {L}}'',{\mathcal {I}}''),$ alors $(f_{2}\circ f_{1},g_{2}\circ g_{1})$ est un isomorphisme de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ sur $({\mathcal {P}}'',{\mathcal {L}}'',{\mathcal {I}}'').$ On appelle cet isomorphisme le composé de $(f_{1},g_{1})$ et $(f_{2},g_{2}).$

Un isomorphisme d'une structure d'incidence sur elle-même est appelé un automorphisme de cette structure d'incidence. Le composé de deux automorphismes d'une structure d'incidence $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est par définition leur composé comme isomorphismes. C'est lui-même un automorphisme de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}).$ L'ensemble des automorphismes de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}),$ muni de la composition des automorphismes, est un groupe qu'on appelle le groupe des automorphismes de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}).$ Si deux structures d'incidence sont isomorphes, le groupe des automorphismes de l'une est isomorphe au groupe des automorphismes de l'autre.

Supposons que $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ soit une structure d'incidence où une ligne est caractérisée par les points qui sont sur cette ligne; on entend par là que si $L_{1}$ et $L_{2}$ sont des lignes telles que les points sur $L_{1}$ sont exactement les points sur $L_{2},$ alors $L_{1}$ et $L_{2}$ sont égales. Dans ce cas, un isomorphisme (f, g) d'une structure d'incidence $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ sur $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est caractérisé par sa première composante f; on entend par là que si $(f,g_{1})$ et $(f,g_{2})$ sont des isomorphismes de $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}')$ sur $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}),$ alors $g_{1}=g_{2},$ ce qu'on peut encore exprimer en disant que dans l'automorphisme (f, g), g est déterminée par f. En effet, on montre facilement qu'alors, pour toute ligne L' de $({\mathcal {P}}',{\mathcal {L}}',{\mathcal {I}}'),$ g(L') doit être l'unique ligne L de $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ telle que les points sur L soient exactement les f(P'), où P' parcourt les points sur L'.

Dans la définition qui suit, on adopte l'expression « plan de type projectif », utilisée par Jacqueline Lelong-Ferrand pour distinguer cette notion de la notion plus étroite de plan projectif associé à un espace vectoriel.

Définition 14

Un plan de type projectif est une structure d'incidence satisfaisant aux conditions suivantes :
a) pour tous différents points P et Q, il y a une et une seule ligne qui passe par ces deux points;
b) pour toutes différentes lignes L et M, il y a un et un seul point qui est sur chacune de ces deux lignes;
c) il y a un ensemble de 4 points tel que pour toute partie {P, Q, R} à trois éléments de cet ensemble, P, Q et R ne soient pas alignés.

Un ensemble tel qu'en c), c'est-à-dire un ensemble de 4 points dont 3 ne sont jamais alignés, est appelé un quadrangle.
Si P et Q sont deux points distincts, l'unique ligne passant par P et par Q est aussi appelée la ligne joignant P et Q; on la notera PQ.
Si L et M sont deux lignes distinctes, l'unique point se trouvant sur L et sur M est appelé le point d'intersection de L et de M.

On vérifie facilement qu'une structure d'incidence isomorphe à un plan de type projectif est elle-même un plan de type projectif.

Définition 15

Nous définirons un plan de Fano comme un plan de type projectif ayant exactement 7 points et 7 lignes, où chaque point est exactement sur 3 lignes et où chaque ligne passe exactement par 3 points.

Remarque. On peut prouver que pour tout plan de type projectif fini (c'est-à-dire pour tout plan projectif n'ayant qu'un nombre fini de points et de lignes), il y a un nombre naturel $q\geq 2$ tel que

le nombre de points et le nombre de lignes sont égaux à $q^{2}+q+1,$

chaque ligne passe exactement par q + 1 points,

chaque point se trouve sur exactement q+1 lignes.

Ce nombre q est appelé l'ordre du plan de type projectif en question. Un plan de Fano peut donc être défini comme un plan de type projectif d'ordre 2. Nous ne nous servirons cependant pas de cette notion d'ordre.

Il est clair qu'une structure d'incidence isomorphe à un plan de Fano est elle-même un plan de Fano.

Puisque dans un plan de Fano, toute ligne passe par trois points et que, de même que dans tout plan de type projectif, toute ligne est déterminée par deux de ses points, toute ligne d'un plan de Fano est déterminée par les points qui sont sur cette ligne. D'après une remarque faite plus haut, il en résulte que dans un isomorphisme (f, g) de plans de Fano, la bijection g est déterminée par f. (Le théorème cité ci-dessus sur l'ordre d'un plan de type projectif permet de prouver la même chose pour tout plan de type projectif.)

Début de l'exemple

Exemple 16

Prenons pour ${\mathcal {P}}$ l'ensemble {1, 2, 3, 4, 5, 6, 7} et pour ${\mathcal {L}}$ l'ensemble ayant pour éléments les ensembles {1, 2, 3}, {1, 4, 5}, {1, 6, 7}, {2, 4, 6}, {2, 5, 7}, {3, 4, 7}, {3, 5, 6}. Définissons la relation d'incidence ${\mathcal {I}}$ comme la partie de ${\mathcal {P}}\times {\mathcal {L}}$ formée par les couples (P, L) tels que $P\in L.$ On vérifie facilement qu'alors $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est un plan de Fano.

Fin de l'exemple

Le graphique qui suit donne un exemple de plan de Fano :

• 
  Une représentation du plan de Fano (les six segments et le cercle représentent les 7 lignes).

Début d’un théorème

Préliminaire 17

(i) Tous les plans de Fano sont isomorphes (comme structures d'incidence).
(ii) Plus précisément : si ${\mathcal {F}}$ et ${\mathcal {F}}'$ sont deux plans de Fano, si $(Q_{1},Q_{2},Q_{3})$ est un triple de points non alignés dans ${\mathcal {F}}$, si $(R_{1},R_{2},R_{3})$ est un triple de points non alignés dans ${\mathcal {F}}'$, alors il y a un unique isomorphisme de ${\mathcal {F}}$ sur ${\mathcal {F}}'$ qui applique $Q_{1}$ sur $R_{1}$, $Q_{2}$ sur $R_{2}$ et $Q_{3}$ sur $R_{3}$.
(iii) Le groupe des automorphismes d'un plan de Fano est d'ordre 168. (La structure de ce groupe sera précisée plus loin.)

Fin du théorème

Démonstration

Démontrons l'assertion d'existence du point (ii).
Soit $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ un plan de Fano, soient $P_{1},P_{2},P_{4}$ trois points non alignés de ce plan (on choisit cette numérotation pour être en harmonie avec l'exemple 16). On se ramène facilement à prouver qu'il existe un isomorphisme du plan de Fano considéré à l'exemple 16 sur $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ qui applique 1 sur $P_{1}$, 2 sur $P_{2}$ et 4 sur $P_{4}$.
La ligne $P_{1}P_{2}$ passe par un unique troisième point, soit $P_{3}.$ Puisque, par hypothèse, $P_{1},P_{2}$ et $P_{4}$ ne sont pas alignés, $P_{4}$ n'est pas sur la ligne $P_{1}P_{2}$ et est donc distinct de $P_{1},P_{2}$ et $P_{3}.$
De même, il y a un unique troisième point, soit $P_{5}$, sur la ligne $P_{1}P_{4}$. Le point $P_{5}$ n'est pas égal à $P_{2}$, car dans le cas contraire, $P_{2}$ serait sur la ligne $P_{1}P_{4}$, ce qui est faux, puisque $P_{1},P_{2}$ et $P_{4}$ sont supposés non alignés. $P_{5}$ n'est pas non plus égal à $P_{3}$, car dans le cas contraire, $P_{3}$ serait sur la ligne $P_{1}P_{4}$, autrement dit $P_{4}$ serait sur la ligne $P_{1}P_{3}=P_{1}P_{2}$ alors que $P_{1},P_{2}$ et $P_{4}$ sont supposés non alignés.
Donc $P_{5}$ est distinct de $P_{1},\ldots ,P_{4}$.
De même, il y a un unique troisième point, soit $P_{6}$, sur la ligne $P_{2}P_{4}.$ Ce point $P_{6}$ est distinct des points $P_{1},\ldots ,P_{5}$. (Si $P_{6}=P_{1}$, alors $P_{1}$ est sur $P_{2}P_{4}$, autrement dit $P_{4}$ est sur $P_{1}P_{2}$, ce qui est faux, puisque $P_{1},P_{2}$ et $P_{4}$ sont supposés non alignés. $P_{6}$ est distinct de $P_{2}$ par définition de $P_{6}.$ Si $P_{6}=P_{3}$, alors $P_{3}$ est sur $P_{2}P_{4}$, autrement dit $P_{4}$ est sur $P_{2}P_{3}=P_{1}P_{2}$, ce qui est faux, puisque $P_{1},P_{2}$ et $P_{4}$ sont supposés non alignés. $P_{6}$ est distinct de $P_{4}$ par définition de $P_{6}$. Si $P_{6}=P_{5}$, alors $P_{5}$ est sur $P_{2}P_{4}$, autrement dit $P_{2}$ est sur $P_{4}P_{5}$; d'après la définition de $P_{5},P_{4}P_{5}=P_{1}P_{4},$ donc $P_{2}$ est sur $P_{1}P_{4}$, ce qui est faux, puisque $P_{1},P_{2}$ et $P_{4}$ sont supposés non alignés.)

Désignons par $P_{7}$ le point distinct de $P_{1},\ldots ,P_{6}.$ Par définition de ces points, ${\mathcal {L}}$ comprend des lignes $P_{1}P_{2}P_{3},P_{1}P_{4}P_{5}$ et $P_{2}P_{4}P_{6}$ (où on représente une ligne par les trois points qui se trouvent dessus). D'après la définition d'un plan de type projectif, il y a une et une seule ligne joignant $P_{1}$ et $P_{6}.$ Cette ligne doit passer par un troisième point et ce point doit être distinct de $P_{2},P_{3},P_{4}$ et $P_{5}$ (si c'était $P_{2}$, alors $P_{6}$ et $P_{3}$ seraient tous deux sur la ligne $P_{1}P_{2}$, donc cette ligne comprendrait au moins 4 points, contradiction; les autres cas sont semblables), donc ce point doit être $P_{7}.$ De même, la ligne joignant $P_{2}$ et $P_{5}$ passe par $P_{7}$ et la ligne joignant $P_{3}$ et $P_{4}$ passe elle aussi par $P_{7}.$ Donc l'ensemble ${\mathcal {L}}$ de lignes comprend encore $P_{1}P_{6}P_{7},P_{2}P_{5}P_{7}$ et $P_{3}P_{4}P_{7}.$
Nous avons donc trouvé six des sept lignes de ${\mathcal {L}}$, à savoir $P_{1}P_{2}P_{3},P_{1}P_{4}P_{5},P_{2}P_{4}P_{6},P_{1}P_{6}P_{7},P_{2}P_{5}P_{7}$ et $P_{3}P_{4}P_{7}.$ Mais nous n'avons pas encore de ligne joignant $P_{3}$ et $P_{5},$ ni de ligne joignant $P_{5}$ et $P_{6}.$ Donc la ligne restante doit être $P_{3}P_{5}P_{6}$ et les sept lignes de ${\mathcal {L}}$ sont

$P_{1}P_{2}P_{3},P_{1}P_{4}P_{5},P_{2}P_{4}P_{6},P_{1}P_{6}P_{7},P_{2}P_{5}P_{7},P_{3}P_{4}P_{7}$ et $P_{3}P_{5}P_{6}.$

Désignons par f la bijection $i\mapsto P_{i}$ de {1, ... , 7} sur ${\mathcal {P}}=\{P_{1},...,P_{7}\}$ et par g la bijection $\{i,j,k\}\mapsto P_{i}P_{j}P_{k}$ de l'ensemble des lignes du plan de Fano de l'exemple 16 sur ${\mathcal {L}}.$ Le couple (f, g) est un isomorphisme (de structures d'incidence) du plan de Fano de l'exemple 16 sur le plan de Fano $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}}).$

Nous avons donc prouvé l'assertion d'existence du point (ii). Prouvons maintenant l'assertion d'unicité.

On se ramène facilement à prouver que si ${\mathcal {F}}$ est le plan de Fano de l'exemple 16, si ${\mathcal {F}}'$ est un plan de Fano quelconque, si $R_{1},R_{2},R_{4}$ sont trois points non alignés de ${\mathcal {F}}',$ il existe au plus un isomorphisme de ${\mathcal {F}}$ sur ${\mathcal {F}}'$ qui applique 1 sur R₁, 2 sur R₂ et 4 sur R₄.
Soit (f, g) un tel isomorphisme. Alors, puisque {1, 2, 3} est une ligne de ${\mathcal {F}},$ f doit appliquer 3 sur l'unique point de la ligne $R_{1}R_{2}$ qui est distinct de $R_{1}$ et de $R_{2}.$ Désignons par $R_{3}$ ce troisième point de la ligne $R_{1}R_{2}.$ Donc $f(3)=R_{3}.$
De même, puisque {1, 4, 5} est une ligne de ${\mathcal {F}},$ f doit appliquer 5 sur l'unique point de la ligne $R_{1}R_{4}$ qui est distinct de $R_{1}$ et de $R_{4}.$ Désignons par $R_{5}$ ce troisième point de la ligne $R_{1}R_{4}.$ Donc $f(5)=R_{5}.$
De même, puisque {2, 4, 6} est une ligne de ${\mathcal {F}},$ f doit appliquer 6 sur l'unique point de la ligne $R_{2}R_{4}$ qui est distinct de $R_{2}$ et de $R_{4}.$ Désignons par R_{6} ce troisième point de la ligne R_{2}R_{4}. Donc f(6) = R_{6}.
Puisque f est une bijection et que 1, 2, 3, 4, 5, 6 sont distincts, $R_{1},R_{2},R_{3},R_{4},R_{5}$ et $R_{6}$ sont distincts. Donc si $R_{7}$ désigne l'unique point de ${\mathcal {F}}'$ distinct de $R_{1},\ldots ,R_{6}$, $f(7)=R_{7}.$
Donc la valeur de f en chacun des points 1, 2, 3, 4, 5, 6, 7 est déterminée de façon unique. Comme noté, la bijection g est déterminée par f, donc l'isomorphisme (f, g) est déterminé de façon unique. Nous avons donc prouvé l'assertion d'unicité du point (ii).
Il résulte du point (ii) qu'un plan de Fano a exactement autant d'automorphismes qu'il a de triples de points non alignés. L'ensemble des triples de points non alignés est

$\bigcup _{P\in {\mathcal {P}}}\bigcup _{Q\in {\mathcal {P}}\setminus \{P\}}\bigcup _{R\in {\mathcal {P}}\setminus {\overline {PQ}}}\{(P,Q,R)\},$

où ${\overline {PQ}}$ désigne l'ensemble des trois points qui sont sur la ligne PQ. On en tire facilement qu'il y a exactement $7\cdot 6\cdot 4=168$ triples de points non alignés, donc un plan de Fano a exactement 168 automorphismes, ce qui achève de démontrer l'énoncé.

 

Puisque les plans de Fano sont tous isomorphes, on dit volontiers « le plan de Fano » plutôt que « un plan de Fano ».

Début d’un théorème

Préliminaire 18

Soit $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ une structure d'incidence telle qu'il y ait exactement 7 points et 7 lignes, que chaque point soit exactement sur 3 lignes, que chaque ligne passe exactement par 3 points, que pour chaque paire de points distincts, il y ait au plus une ligne qui passe à la fois par ces deux points et que pour chaque paire de lignes distinctes, il y ait au plus un point qui soit à la fois sur ces deux lignes. Alors $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est un plan de Fano.

Fin du théorème

Démonstration

Soit Y l'ensemble des parties à deux éléments de ${\mathcal {P}}.$
Alors $|Y|={7 \choose 2}=21.$ Soit X l'ensemble des couples (C, L) tels que C soit une paire appartenant à Y, que L soit un élément de ${\mathcal {L}}$ et que C soit sur L, où nous disons que C est sur L si les deux points de C sont sur L. Pour chaque ligne L dans ${\mathcal {L}},$ il y a, par hypothèse, exactement 3 points sur L, donc exactement ${3 \choose 2}=3$ paires de points distincts sur L. Donc

$\vert X\vert =7\cdot 3=21.$

Considérons l'application $\phi :X\rightarrow Y$ qui applique (C, L) sur C. Le nombre des préimages de C dans Y est exactement le nombre de lignes sur lesquelles la paire C se trouve. Puisque, par hypothèse, chaque paire de points distincts est au plus sur une ligne, l'application $\phi$ est injective. Puisque $\vert X\vert =\vert Y\vert =21,$, cette application doit être bijective. Donc

(1) chaque paire de points distincts est sur exactement une ligne.

Les hypothèses sur la structure $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ étant également satisfaites par sa structure duale, nous avons de même :

(2) pour toute paire de lignes distinctes, il y a un et un seul point qui se trouve à la fois sur ces deux lignes.

Prouvons maintenant que

(3) ${\mathcal {P}}$ contient un ensemble de 4 points dont 3 ne sont jamais alignés.

Choisissons deux points distincts P et Q et choisissons un point R qui n'est pas sur l'unique ligne joignant P et Q (puisqu'il y a exactement 3 points sur cette ligne, on a le choix parmi quatre points). Il y a exactement 7 points dans ${\mathcal {P}}$, donc il y a un (unique) point S qui est distinct de P, de Q, de R, de l'unique point de PQ autre que P et Q, de l'unique point de PR autre que P et R, et de l'unique point de QR autre que Q et R. Alors les points P, Q, R et S forment l'ensemble désiré.
Les relations (1), (2) et (3) montrent que ${\mathcal {F}}=({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est un plan de type projectif. D'après les hypothèses de l'énoncé, c'est donc un plan de Fano, ce qui démontre le théorème.

 

Section 3. Groupes simples d'ordre 168

On va démontrer que les groupes simples d'ordre 168 sont tous isomorphes au groupe des automorphismes du plan de Fano. Puisque, d'après le chapitre sur la simplicité des groupes linéaires spéciaux projectifs, PSL(2, 7) est un groupe simple d'ordre 168, et qu'il existe donc au moins un groupe simple d'ordre 168, il en résultera que le groupe des automorphismes du plan de Fano est un groupe simple d'ordre 168.

Début d’un théorème

Étape 1

Soit G un groupe simple d'ordre 168, soit H un sous-groupe propre de G. L'indice de H dans G est au moins égal à 7. (Autrement dit, l'ordre de H est au plus égal à 24.)

Fin du théorème

Démonstration

Désignons par k l'indice de H dans G. D'après le préliminaire 1, l'ordre 168 de G divise k!. Donc, puisque 168 est divisible par 7, 7 divise k!, donc $k\geq 7.$

 

Début d’un théorème

Étape 2

Soit G un groupe simple d'ordre 168. Pour tout diviseur premier p de l'ordre 168 de G, $n_{p}(G)\geq 7.$

Fin du théorème

Démonstration

Soit P un p-sous-groupe de Sylow de G. G, étant d'ordre 168, n'est pas un p-groupe, donc P est un sous-groupe propre de G ; de plus, puisque p divise l'ordre de G, P n'est pas réduit à l'élément neutre. Puisque G est simple, P n'est donc pas normal dans G. Le normalisateur $N_{G}(P)$ de P dans G est donc un sous-groupe propre de G. Donc, d'après l'étape 1, l'indice de $N_{G}(P)$ dans G est au moins égal à 7. Mais l'indice de $N_{G}(P)$ dans G est $n_{p}(G),$ d'où l'énoncé.

 

Début d’un théorème

Étape 3

Soit G un groupe simple d'ordre 168. Alors
(i) $n_{7}(G)=8$ ;
(ii) $\vert N_{G}(P)\vert =21$ pour tout 7-sous-groupe de Sylow P de G.
(On verra à l'étape 4 que G n'a pas d'élément d'ordre 21, donc $N_{G}(P)$ n'est pas cyclique. Cela détermine la structure de $N_{G}(P)$, vu la classification des groupes d'ordre pq, p et q nombres premiers distincts, que nous avons obtenue dans les exercices Produit semi-direct. Mais cela ne nous servira pas.)

Fin du théorème

Démonstration

D'après les théorèmes de Sylow, $n_{7}(G)$ divise 24 et $n_{7}(G)\equiv 1{\pmod {7}},$ donc $n_{7}(G)$ est égal à 1 ou à 8. D'après l'étape 2, $n_{7}(G)$ ne peut pas être égal à 1, donc $n_{7}(G)=8,$ ce qui est la première assertion de l'énoncé. La seconde assertion résulte de la première.

 

Début d’un théorème

Étape 4

Soit G un groupe simple d'ordre 168. G n'a pas d'éléments d'ordre 21.

Fin du théorème

Démonstration

Voici d'abord une démonstration qui repose sur le théorème du complément normal de Burnside. Supposons que, par absurde, g soit un élément d'ordre 21 de G. Alors le groupe H = < g >, qui est d'ordre 21, contient un sous-groupe P d'ordre 7 (théorème de Sylow, de Cauchy ou simplement le fait que H est cyclique). Puisque H est cyclique et donc abélien, P est normal dans H, autrement dit H est contenu dans $N_{G}(P)$. D'après l'étape 3, $N_{G}(P)$ a le même ordre que H, à savoir 21, donc $N_{G}(P)=H,$ donc $N_{G}(P)$ est abélien, donc, d'après le théorème du complément normal de Burnside, P a un complément normal dans G, ce qui est impossible puisque G est simple.
Voici maintenant une démonstration qui ne repose pas sur le théorème du complément normal de Burnside. Comme dans la première démonstration, supposons que, par absurde, g soit un élément d'ordre 21 de G. Alors le groupe H = < g >, qui est d'ordre 21, contient un sous-groupe Q d'ordre 3. (Sylow, Cauchy ou simplement le fait que H est cyclique.) Puisque H est cyclique et donc abélien, Q est normal dans H, donc $H\leq N_{G}(Q).$ Dès lors, l'indice $[G:N_{G}(Q)]$ divise [G : H] = 8. Mais Q est un 3-sous-groupe de Sylow de G, donc, d'après les théorèmes de Sylow, $[G:N_{G}(Q)]=n_{3}(G)\equiv 1{\pmod {3}}.$ Donc $n_{3}(G)$ doit être égal à 1 ou à 4, ce qui, dans les deux cas, contredit l'étape 2, selon laquelle $n_{3}(G)\geq 7.$

 

Début d’un théorème

Étape 5

Soit G un groupe simple d'ordre 168. G n'a pas d'éléments d'ordre 14.

Fin du théorème

Démonstration

Supposons que, par absurde, g soit un élément d'ordre 14 de G. Alors <g> contient un (unique) sous-groupe d'ordre 7, soit P. Puisque <g> est commutatif, il est contenu dans $N_{G}(P)$ et a fortiori dans $N_{G}(P)$. Mais P est un 7-sous-groupe de Sylow de G, donc, d'après l'étape 3, <g> est contenu dans un sous-groupe d'ordre 21 de G. Puisque l'ordre 14 de <g> ne divise pas 21, cela contredit le théorème de Lagrange.

 

Début d’un théorème

Étape 6

Soit G un groupe simple d'ordre 168. Pour tout 7-sous-groupe de Sylow de G, $N_{G}(P)$ comprend exactement 14 éléments d'ordre 3.

Fin du théorème

Démonstration

Soit P un 7-sous-groupe de Sylow de G ; posons N = N_{G}(P). D'après les étapes 3 et 4, $\vert N\vert =21$ et tout élément de N est d'ordre 1, 3 ou 7. Puisque P est normal dans N (par définition du normalisateur), $n_{7}(N)=1,$ donc N comprend exactement 6 éléments d'ordre 7. L'élément neutre est le seul élément d'ordre 1, donc les 21 - 6 - 1 = 14 éléments restants de N sont tous d'ordre 3.

 

Début d’un théorème

Étape 7

Soit G un groupe simple d'ordre 168.
(i) $n_{3}(G)=28$ ;
(ii) pour tout 3-sous-groupe de Sylow Q de G, $N_{G}(Q)$ est isomorphe à $S_{3}$ (et à $D_{6}$).

Fin du théorème

Démonstration

D'après les théorèmes de Sylow, $n_{3}(G)$ divise 56 et est ≡ 1 (mod 3), donc $n_{3}(G)$ est un des nombres 1, 4, 7, 28. D'après l'étape 2, $n_{3}(G)$ est au moins égal à 7, donc $n_{3}(G)$ est égal à 7 ou à 28. Supposons que $n_{3}(G)=7.$ Alors, puisque chaque 3-sous-groupe de Sylow de G comprend exactement 2 éléments d'ordre 3 et que l'intersection de deux différents sous-groupes d'ordre 3 est toujours triviale, il y a exactement 2 · 7 = 14 éléments d'ordre 3 dans G. Donc, d'après l'étape 6, tout élément d'ordre 3 de G appartient à chaque $N_{G}(P)$, P parcourant les 7-sous-groupes de Sylow de G. Donc

(1) $\vert \bigcap _{P\in \mathrm {Syl} _{7}(G)}N_{G}(P)\vert \geq 14.$

D'autre part, $\bigcap _{P\in \mathrm {Syl} _{7}(G)}N_{G}(P)$ est contenu dans $N_{G}(P)$ pour tout P et donc pour au moins un P, donc, d'après l'étape 3,

(2) $\vert \bigcap _{P\in \mathrm {Syl} _{7}(G)}N_{G}(P)\vert \leq 21.$

Comme $\bigcap _{P\in \mathrm {Syl} _{7}(G)}N_{G}(P)$ est un sous-groupe normal de G (voir un exercice de la série Théorèmes de Sylow) les relations (1) et (2) contredisent la simplicité de G.
Donc $n_{3}(G)\not =7,$ donc, d'après ce qu'on a vu, $n_{3}(G)=28.$
D'après les théorèmes de Sylow, $n_{3}(G)=[G:N_{G}(Q)]$ pour tout Q dans $\mathrm {Syl} _{3}(G),$ donc

$\vert N_{G}(Q)\vert =6$ pour tout 3-sous-groupe de Sylow de G.

D'après le théorème du complément normal de Burnside, $N_{G}(Q)$ n'est pas abélien, donc, étant d'ordre 6, il est isomorphe à $S_{3}.$ (Rappel : on a vu dans un exercice de la série Groupes diédraux que si p est un nombre premier impair, tout groupe non abélien d'ordre 2p est diédral et que $D_{6}$ est isomorphe à $S_{3}.$)

 

Début d’un théorème

Étape 8

Soit G un groupe simple d'ordre 168. G n'a pas d'élément d'ordre 6.

Fin du théorème

Démonstration

Un tel élément g engendrerait un sous-groupe cyclique d'ordre 6 de $N_{G}(R),$ R désignant l'unique 3-sous-groupe de Sylow de <g>. C'est impossible, puisque, d'après l'étape 7, $N_{G}(R)$ est un groupe d'ordre 6 non abélien.

 

Début d’un théorème

Étape 9

Soit G un groupe simple d'ordre 168. (Par exemple d'après l'étape 2, G a plus d'un 2-sous-groupe de Sylow, de sorte qu'on peut parler du plus grand ordre possible pour l'intersection de deux différents 2-sous-groupes de Sylow de G.) Soient P et Q deux différents 2-sous-groupes de Sylow de G tels que $\vert P\cap Q\vert$ soit le plus grand possible. Alors

(i) $P\cap Q$ est un groupe de Klein ;

(ii) $N_{G}(P\cap Q)$ est isomorphe à $S_{4}.$

En particulier,

(iii) le plus grand ordre possible pour l'intersection de deux différents 2-sous-groupes de Sylow de G est 4.

Fin du théorème

Démonstration

D'après les théorèmes de Sylow, $n_{2}(G)$ divise 21. D'après l'étape 2, $n_{2}(G)\geq 7,$ donc $n_{2}(G)$ doit être égal à 7 ou à 21.
(En particulier, G a plus d'un 2-sous-groupe de Sylow, de sorte qu'on peut parler du plus grand ordre possible pour l'intersection de deux différents 2-sous-groupes de Sylow de G.) Dans les deux cas, $n_{2}(G)$ n'est pas congru à 1 modulo 8, donc, d'après le préliminaire 2 et la maximalité de $\vert P\cap Q\vert$, nous avons $P\cap Q\neq 1.$ Puisque $P\cap Q$ est un sous-groupe propre de P, l'ordre de $P\cap Q$ divise 4 ; de plus, nous avons vu que $P\cap Q$ est distinct de 1, donc

$P\cap Q$ est d'ordre 2 ou 4.

Posons $N=N_{G}(P\cap Q).$ Prouvons que

(thèse 1) $\vert N\vert$ divise 24.

Puisque $\vert N\vert$ divise 168, il suffit de prouver que

(thèse 2) 7 ne divise pas $\vert N\vert$.

Soit C le sous-groupe $C_{G}(P\cap Q)$ de $N_{G}(P\cap Q)=N.$ Puisque $\vert N\vert =[N:C]\cdot \vert C\vert ,$ il suffit, pour prouver la thèse (2), de prouver que 7 ne divise ni [N : C] ni $\vert C\vert$. D'après le lemme N/C (chapitre Conjugaison, centralisateur, normalisateur), N/C est isomorphe à un sous-groupe de $\mathrm {Aut} (P\cap Q)\leq S_{P\cap Q},$ donc l'ordre [N : C] de N/C divise l'ordre de $S_{P\cap Q}.$ Mais on a vu que $P\cap Q$ est d'ordre 2 ou 4, donc $P\cap Q$ compte au plus 4 éléments, donc l'ordre de $S_{P\cap Q}$ divise 24, donc [N : C] divise 24 et n'est donc pas divisible par 7.
Supposons maintenant que, par absurde, 7 divise $\vert C\vert$. Alors C comprend un élément g d'ordre 7. Par définition de C, g commute avec tout élément de $P\cap Q.$. On a vu que $P\cap Q$ est d'ordre 2 ou 4, donc il comprend un élément d'ordre 2, soit h. Alors g et h commutent, donc gh est d'ordre 14, ce qui contredit l'étape 5.
Donc $\vert C\vert$ n'est pas divisible par 7. Nous avons donc prouvé la thèse (1), à savoir que

(3) $\vert N\vert$ divise 24.

Montrons que $\vert P\cap N\vert$ est divisible par 4.
$P\cap N$ est un sous-groupe de P, donc son ordre est une puissance de 2 ; de plus, d'après le préliminaire 3, $P\cap N$ contient strictement $P\cap Q$ ; or on a vu que $\vert P\cap Q\vert$ est égal à 2 ou à 4, donc

(4) $\vert P\cap N\vert$ est divisible par 4.

D'après le préliminaire 3, N a au moins 2 différents 2-sous-groupes de Sylow. D'après les théorèmes de Sylow et le résultat (3), $n_{2}(N)$ divise 3, donc :$n_{2}(N)=3$. Toujours d'après les théorèmes de Sylow et le résultat (3), $n_{3}(N)$ divise 8 et $n_{3}(N)\equiv 1{\pmod {3}},$ donc $n_{3}(N)$ égale 1 ou 4. D'autre part, puisqu'on vient de montrer que $n_{2}(N)=3$, l'ordre de N est divisible par 3 ; donc si $n_{3}(N)=1,$, N a un sous-groupe normal R d'ordre 3 ; alors $P\cap N\leq N\leq N_{G}(R),$ ce qui est impossible, puisque, d'après l'étape 7, $\vert N_{G}(R)\vert =6$ et que, comme on l'a vu en (4), $\vert P\cap N\vert$ est divisible par 4. Donc $n_{3}(N)=4.$ Ainsi, N est un groupe d'ordre divisant 24, avec $n_{2}(N)=3$ et $n_{3}(N)=4,$ donc, d'après le préliminaire 5,

(5) N est isomorphe à $S_{4},$

ce qui prouve l'assertion (ii) de l'énoncé.

Rappelons qu'on a posé

$N=N_{G}(P\cap Q),$

où $P\cap Q$ est un groupe d'ordre 2 ou 4.
Donc $P\cap Q$ est un 2-sous-groupe normal non trivial de $N\cong S_{4}.$ Mais d'après le préliminaire 7, le seul 2-sous-groupe normal non trivial de $S_{4}$ est un groupe de Klein, donc $P\cap Q$ est un groupe de Klein. Cela prouve les points (i) et (iii) de l'énoncé et achève donc la démonstration.

 

Début d’un théorème

Étape 10

Soit G un groupe simple d'ordre 168. Les 2-sous-groupes de Sylow de G sont isomorphes à $D_{8}$ et sont en nombre 21. Chaque 2-sous-groupe de Sylow de G est son propre normalisateur dans G.

Fin du théorème

Démonstration

Puisque les 2-sous-groupes de Sylow de $S_{4}$ sont isomorphes au groupe diédral $D_{8}$ d'ordre 8 (voir préliminaire 6) et que, d'après l'étape 9, G a au moins un sous-groupe isomorphe à S_{4}, G contient au moins un sous-groupe isomorphes à $D_{8}.$ Un tel sous-groupe, étant d'ordre 8, est un 2-sous-groupe de Sylow de G, donc les 2-sous-groupes de Sylow de G sont isomorphes à $D_{8}.$

Prouvons que $n_{2}(G)=21.$ Soit P un 2-sous-groupe de Sylow de G. L'indice $n_{2}(G)$de $N_{G}(P)$ dans G divise 168/8 = 21 et, d'après l'étape 1, il est au moins égal à 7. Il est donc égal à 7 ou à 21 (on l'a déjà noté au début de la démonstration de l'étape 9). Supposons que, par absurde, cet indice soit égal à 7. Alors $N_{G}(P)$ est d'ordre 24. Nous pouvons donc choisir un sous-groupe Q d'ordre 3 de $N_{G}(P)$. Puisque P est normal dans $N_{G}(P)$, Q opère sur P par conjugaison. Notons f l'homomorphisme correspondant de Q dans Aut(P), c'est-à-dire l'homomorphisme de Q dans Aut(P) qui applique un élément x de Q sur l'automorphisme $y\mapsto xyx^{-1}$ de P. D'après le premier théorème d'isomorphisme, l'image de f est isomorphe à un quotient de Q et est donc d'ordre 3 ou 1. Mais on vient de voir que P est isomorphe à $D_{8},$ ce qui entraîne que Aut(P) est isomorphe à $\mathrm {Aut} (D_{8}).$ D'après le préliminaire 9, il en résulte que l'ordre de Aut(P) n'est pas divisible par 3. Donc l'homomorphisme f de Q dans Aut(P) est trivial, ce qui revient à dire que Q centralise P. Donc, si nous choisissons un élément d'ordre 2 dans P et un élément d'ordre 3 dans Q, le produit de ces deux éléments est d'ordre 6, ce qui contredit l'étape 8. Donc $N_{G}(P)$ est d'indice 21 dans G, ce qui revient à dire que $n_{2}(G)=21.$
(On verra une autre démonstration de $n_{2}(G)=21$ à l'étape 17.)
Puisque $N_{G}(P)$ est d'indice 21 dans G, il est d'ordre 8, donc $N_{G}(P)=P,$ ce qui achève de démontrer l'énoncé.

 

Début d’un théorème

Étape 11

Soit G un groupe simple d'ordre 168. G n'a pas d'élément d'ordre 8.

Fin du théorème

Démonstration

Un tel élément engendrerait un 2-sous-groupe de Sylow de G cyclique, ce qui contredit l'étape 10.

 

Début d’un théorème

Étape 12

Soit G un groupe simple d'ordre 168. Tout élément de G est d'ordre 1, 2, 3, 4 ou 7.

Fin du théorème

Démonstration

D'après les étapes 4, 5, 8 et 11, G n'a pas d'élément d'ordre 6, 8, 14 ou 21 et n'a donc pas d'élément d'ordre divisible par 6, 8, 14 ou 21. Comme les seuls facteurs premiers possibles pour l'ordre d'un élément de G sont 2, 3 et 7, il en résulte que tout élément de G est d'ordre 1, 2, 3, 4 ou 7.

 

Début d’un théorème

Étape 13

Soit G un groupe simple d'ordre 168. G a exactement 56 éléments d'ordre 3, formant une seule classe de conjugaison.

Fin du théorème

Démonstration

D'après l'étape 7, les 3-sous-groupes de Sylow de G sont en nombre 28. Puisqu'ils sont d'ordre premier, ils se coupent trivialement deux à deux. Comme chacun d'eux comprend 2 éléments d'ordre 3 et que tout élément d'ordre 3 de G est évidemment contenu dans un de ces sous-groupes, G a exactement 56 éléments d'ordre 3. Si P est un 3-sous-groupe de Sylow de G, il résulte de l'étape 7 que $N_{G}(P)$ est d'ordre 6. Donc P est abélien et son indice dans $N_{G}(P)$ est un nombre premier. D'après le préliminaire 8, il en résulte que C_{G}(P) est égal à P et est donc d'indice 56 dans G. Cela revient à dire que pour tout élément g d'ordre 3 de G, $C_{G}(g)$ est d'indice 56 dans G, autrement dit les conjugués de g dans G sont en nombre 56. L'énoncé en résulte.
Pour prouver que tous les éléments d'ordre 3 de G sont conjugués dans G, on a utilisé le préliminaire 8, qui repose sur le théorème du complément normal de Burnside et donc sur la théorie du transfert. Voici une démonstration qui ne dépend pas de la théorie du transfert.
Si P est un 3-sous-groupe de Sylow de G, les deux éléments d'ordre 3 de P sont conjugués dans $N_{G}(P)$ (en effet, on a vu à l'étape 7 que $N_{G}(P)\cong S_{3}$ et les éléments d'ordre 3 de $S_{3}$ sont conjugués dans $S_{3},$ puisqu'ils ont la même structure cyclique). A fortiori, les deux éléments d'ordre 3 de P sont conjugués dans G. Puisque tous les 3-sous-groupes de Sylow de G sont conjugués dans G, on en tire facilement que tous les éléments d'ordre 3 de G sont conjugués dans G.

 

Début d’un théorème

Étape 14

Soit G un groupe simple d'ordre 168. G a exactement 48 éléments d'ordre 7, répartis en deux classes de conjugaison de 24 éléments chacune.

Fin du théorème

Démonstration

On a vu à l'étape 3 que les 7-sous-groupes de Sylow de G sont en nombre 8. Ces sous-groupes, étant d'ordre premier, se coupent trivialement deux à deux et chacun d'eux comprend exactement 6 éléments d'ordre 7, donc la réunion de ces sous-groupes comprend exactement 48 éléments d'ordre 7. Comme tout élément d'ordre 7 de G appartient à un de ces sous-groupes, G a exactement 48 éléments d'ordre 7.
Si P est un 7-sous-groupe de Sylow de G, il résulte de l'étape 3 que $N_{G}(P)$ est d'ordre 21. Donc P est abélien et son indice dans $N_{G}(P)$ est un nombre premier. D'après le préliminaire 8, il en résulte que $C_{G}(P)$ est égal à P et est donc d'indice 24 dans G. Cela revient à dire que pour tout élément g d'ordre 7 de G, $C_{G}(g)$ est d'indice 24 dans G, autrement dit les conjugués de g dans G sont en nombre 24. L'énoncé en résulte.

Pour prouver que les conjugués d'un élément d'ordre 7 de G sont en nombre 24, on a utilisé le préliminaire 8, qui repose sur le théorème du complément normal de Burnside et donc sur la théorie du transfert. Voici une démonstration qui ne dépend pas de la théorie du transfert. Si g est un élément d'ordre 7 de G, le centralisateur de g dans G est contenu dans le normalisateur de <g> dans G, normalisateur qui, d'après l'étape 3, est d'ordre 21. Donc l'ordre du centralisateur de g dans G divise 21. D'après l'étape 4 (ou 12), G n'a pas d'élément d'ordre 21, donc le centralisateur de g dans G n'a pas d'élément d'ordre 3 (car le produit de g par un tel élément d'ordre 3 serait un élément d'ordre 21), donc l'ordre du centralisateur de g n'est pas divisible par 3 et divise donc 7. Puisque ce centralisateur contient évidemment <g>, il est égal à <g> et est donc d'ordre 7, donc la classe de conjugaison de g est de cardinal 24, d'où l'énoncé.

 

Début d’un théorème

Étape 15

Soit G un groupe simple d'ordre 168. G comprend exactement 105 éléments d'ordre impair.

Fin du théorème

Démonstration

D'après l'étape 12, les éléments d'ordre impair de G sont ses éléments d'ordre 1, 3 ou 7. D'après les étapes 13 et 14,il y a 56 éléments d'ordre 3 et 48 éléments d'ordre 7, donc en tout 1 + 56 + 48 = 105 éléments d'ordre impair.

 

Début d’un théorème

Étape 16

Soit G un groupe simple d'ordre 168. G comprend exactement 42 éléments d'ordre 4, formant une seule classe de conjugaison.

Fin du théorème

Démonstration

Soit P un 2-sous-groupe de Sylow de G. D'après l'étape 10, P est isomorphe à $D_{8}.$ Il comprend donc exactement 2 éléments d'ordre 4. De plus, ces deux éléments sont conjugués dans P (car n'importe quel élément de $D_{8}$ qui n'appartient pas au sous-groupe cyclique C d'ordre 4 de $D_{8}$ envoie par conjugaison un élément g de C sur g^{-1}), donc ils sont a fortiori conjugués dans G. Puisque tous les 2-sous-groupe de Sylow de G sont conjugués dans G, il en résulte que tous les éléments d'ordre 4 de G sont conjugués dans G.
D'autre part, si P et Q sont deux différents 2-sous-groupes de Sylow de G, $P\cap Q$ ne comprend aucun élément d'ordre 4 (voir étape 9), donc chaque élément d'ordre 4 appartient à un et un seul 2-sous-groupe de Sylow P. En considérant l'application qui envoie chaque élément a d'ordre 4 de G sur l'unique 2-sous-groupe de Sylow de G qui comprend a, en tenant compte que, d'après l'étape 10, les 2-sous-groupes de Sylow de G sont en nombre 21 et en appliquant le principe des bergers, on trouve que G comprend exactement 42 éléments d'ordre 4, ce qui achève la démonstration.

 

Début d’un théorème

Étape 17

Soit G un groupe simple d'ordre 168. G comprend exactement 21 éléments d'ordre 2, formant une seule classe de conjugaison.

Fin du théorème

Démonstration

Soit P un 2-sous-groupe de Sylow de G. D'après l'étape 10, P est isomorphe à $D_{8},$ donc, d'après le préliminaire 10, le centre Z(P) de P est un groupe d'ordre 2. Puisque Z(P) est caractéristique dans P et P normal dans $N_{G}(P)$, Z(P) est normal dans $N_{G}(P)$. Puisque tout sous-groupe normal d'ordre 2 est central, Z(P) est central dans $N_{G}(P)$. Donc tout élément de $N_{G}(P)$ commute avec l'élément non neutre z de Z(P), donc

(1) $\qquad P\leq N_{G}(P)\leq C_{G}(z).$

Mais z ne commute avec aucun élément non neutre d'ordre impair. En effet, dans le cas contraire, z commuterait avec un élément d'ordre 3 ou avec un élément d'ordre 7 (on peut le déduire de l'étape 12, mais aussi du simple fait que les seuls diviseurs premiers impairs de l'ordre de G sont 3 et 7). Or si z commutait avec un élément g d'ordre 3, zg serait d'ordre 6, ce qui contredit l'étape 8, et si z commutait avec un élément g d'ordre 7, alors zg serait d'ordre 14, ce qui contredit l'étape 5. Donc $C_{G}(z)$ ne comprend aucun élément non neutre d'ordre impair, donc $\vert C_{G}(z)\vert$ divise 8, donc (1) donne

(2) $P=N_{G}(P)=C_{G}(z).$

(Il en résulte que $N_{G}(P)=P$ pour tout 2-sous-groupe de Sylow P de G, d'où $n_{2}(G)=21.$ Nous avons donc ici une nouvelle démonstration de ces deux résultats déjà prouvés à l'étape 10.)
D'après (2), $\vert C_{G}(z)\vert =8,$ donc z a exactement 21 conjugués dans G. Donc

(3) G contient au moins une classe de conjugaison formée de 21 éléments d'ordre 2.

En particulier, G a au moins 21 éléments d'ordre 2 dans G.
Nous avons donc trouvé jusqu'ici 105 éléments d'ordre impair (étape 15), 42 éléments d'ordre 4 (étape 16) et 21 éléments d'ordre 2. Puisque 105 + 21 + 42 = 168, nous avons donc trouvé tous les éléments de G. Donc, compte tenu de (3), G comprend exactement 21 éléments d'ordre 2, tous conjugués les uns des autres, ce qui démontre l'énoncé.

 

Début d’un théorème

Étape 18

Soit G un groupe simple d'ordre 168, soit U un sous-groupe de Klein de G. Alors $N_{G}(U)$ est isomorphe à $S_{4}.$ Les sous-groupes de Klein de G sont en nombre 14 et se répartissent en deux classes de conjugaison comprenant chacune 7 sous-groupes. Chaque 2-sous-groupe de Sylow de G contient un représentant de chacune de ces deux classes.

Fin du théorème

Démonstration

Il résulte de l'étape 17 que le centralisateur dans G d'un élément d'ordre 2 est toujours d'indice 21 dans G et est donc d'ordre 8, autrement dit est un 2-sous-groupe de Sylow de G. Donc, d'après l'étape 10, le centralisateur dans G d'un élément d'ordre 2 est un groupe diédral d'ordre 8.
Soit U un sous-groupe de Klein de G, soient u et v deux différents éléments non neutres de U. Alors, d'après ce qu'on vient de noter, $C_{G}(u)$ et $C_{G}(v)$ sont deux 2-sous-groupes de Sylow de G.
Ils sont distincts, car un groupe diédral d'ordre 8 n'a qu'un élément central d'ordre 2 (voir préliminaire 10).
Ils contiennent tous deux U, puisque U est commutatif. Donc

(1) $U\leq C_{G}(u)\cap C_{G}(v).$

Puisque le groupe $C_{G}(u)\cap C_{G}(v)$ est l'intersection de deux différents sous-groupes d'ordre 8, il est d'ordre au plus 4, donc la relation (1) doit être une égalité :

$U=C_{G}(u)\cap C_{G}(v).$

Il résulte donc de l'étape 9 que pour tout sous-groupe de Klein U de G,

(2) $N_{G}(U)$ est isomorphe à $S_{4}$ et, en particulier, est d'ordre 24.

Donc

(3) U a exactement 7 conjugués.

Fixons un 2-sous-groupe de Sylow P de G. D'après les théorèmes de Sylow, U est contenu dans un 2-sous-groupe de Sylow Q de G et Q est conjugué de P dans G. Donc

(4) U est conjugué dans G d'un sous-groupe de Klein de P, soit V.

D'après le préliminaire 11, P contient exactement deux sous-groupes de Klein et ces deux sous-groupes ne sont pas conjugués dans P.
Désignons par W celui qui est distinct de V. Puisque $N_{G}(P)=P$ (voir étape 10), dire que V et W ne sont pas conjugués dans P revient à dire que V et W ne sont pas conjugués dans $N_{G}(P)$. Donc, d'après le préliminaire 4 (et compte tenu que V et W, étant d'indice 2 dans P, sont normaux dans P),

(5) V et W ne sont pas conjugués dans G.

Donc, d'après (4), U est conjugué dans G d'un et d'un seul des deux sous-groupes de Klein de P. Les sous-groupes de Klein de G se répartissent donc en deux classes de conjugaison. Joint à (2), à (3) et à (5), cela démontre l'énoncé.

 

Notation. G étant un groupe simple d'ordre 168, on notera ${\mathcal {P}}_{G}$ et ${\mathcal {L}}_{G}$ les deux classes de conjugaison de sous-groupes de Klein de G (voir étape 18). On appellera « points » les éléments de ${\mathcal {P}}_{G}$ et « lignes » les éléments de ${\mathcal {L}}_{G}$. On définit une relation d'incidence ${\mathcal {I}}_{G}\subseteq {\mathcal {P}}_{G}\times {\mathcal {L}}_{G}$ en disant qu'un point P est sur une ligne L (c'est-à-dire (P, L) appartient à ${\mathcal {I}}_{G}$) s'il existe un 2-sous-groupe de Sylow de G qui contient à la fois P et L. Un tel 2-sous-groupe de Sylow de G est alors engendré par P et L (préliminaire 11, étape 10 et le fait que P et L, n'étant pas conjugués, sont distincts), et est donc l'unique 2-sous-groupe de Sylow de G qui contient à la fois P et L.

Début d’un théorème

Étape 19

Soit G un groupe simple d'ordre 168. La structure d'incidence $({\mathcal {P}}_{G},{\mathcal {L}}_{G},{\mathcal {I}}_{G})$ est un plan de Fano.

Fin du théorème

Démonstration

Si P est sur L, alors P est normal dans le 2-sous-groupe de Sylow R contenant P et L, donc $L\leq R\leq N_{G}(P),L\leq N_{G}(P).$ Réciproquement, si $L\leq N_{G}(P),$ alors <P, L> est un 2-sous-groupe de Sylow de G, donc P est sur L. Donc

(1) P est sur L $\Leftrightarrow L\leq N_{G}(P)\Leftrightarrow P\leq N_{G}(L).$

Soit P un point, soit L une ligne passant par P. Comme noté à propos de la définition de la relation d'incidence, <P, L> est un 2-sous-groupe de Sylow de G, autrement dit (étape 10) un sous-groupe diédral d'ordre 8 de G. Le point P étant fixé, considérons l'application $f:L\mapsto <P,L>$ de l'ensemble des lignes passant par P dans l'ensemble des 2-sous-groupes de Sylow de G contenant P. Puisque, d'après le préliminaire 11, un groupe diédral d'ordre 8 n'a que deux sous-groupes de Klein,

$f$ est injective.

Prouvons qu'elle est surjective. Il revient au même de prouver que si P est un sous-groupe de Klein de G, si D est un 2-sous-groupe de Sylow de G contenant P, alors il existe un sous-groupe de Klein L de G, non conjugué de P dans G, tel que D = <P, L>. D'après le préliminaire 11, il existe un sous-groupe de Klein K de G, non conjugué de P dans D, tel que D = <P, K> et tout revient à prouver que K n'est pas conjugué de P dans G. P et K sont d'indice 2 dans D, donc normaux dans D ; de plus, D est un 2-sous-groupe de Sylow de G. Donc si P et K étaient conjugués dans G, ils seraient conjugués dans $N_{G}(D)$ (voir préliminaire 4). Mais d'après l'étape 10, $N_{G}(D)=D.$ Donc si P et K étaient conjugués dans G, ils seraient conjugués dans D, contradiction. Donc $f$ est surjective et donc bijective. Donc le nombre des lignes passant par P est égal au nombre des 2-sous-groupes de Sylow de G qui contiennent P. Un tel 2-sous-groupe de Sylow de G normalise P (puisque P en est sous-groupe d'indice 2), donc le nombre des 2-sous-groupes de Sylow de G qui contiennent P est égal au nombre des 2-sous-groupes de Sylow de $N_{G}(P)$ qui contiennent P. Puisque $N_{G}(P)$ est isomorphe à $S_{4}$ (voir étape 18), il contient exactement trois 2-sous-groupes de Sylow de G (voir Préliminaire 12 (ii)), lesquels contiennent tous P (puisque P est un 2-sous-groupe normal de $N_{G}(P)$ ). Donc

(2) chaque point P est exactement sur 3 lignes.

De même,

(3) chaque ligne L passe par exactement 3 points.

Soient P et Q deux points distincts. Si P et Q sont tous deux sur une ligne L, alors, d'après (1), P et Q sont tous deux des sous-groupes de $N_{G}(L).$ Ils sont tous deux non normaux dans $N_{G}(L).$ En effet, L est normal dans $N_{G}(L),$ qui est isomorphe à $S_{4},$ et on sait que $S_{4}$ ne contient qu'un sous-groupe de Klein normal (voir préliminaire 7) ; donc L est le seul sous-groupe de Klein normal de $N_{G}(L)$ ; donc P et Q, qui sont distincts de L, sont non normaux dans $N_{G}(L).$
D'après le préliminaire 12, deux sous-groupes de Klein non normaux de $S_{4}$ engendrent toujours $S_{4},$ donc $<P,Q>=N_{G}(L).$ Donc L est l'unique sous-groupe de Klein normal de <P, Q>, donc P et Q déterminent L de façon unique. Donc

(4) toute paire de points distincts est sur au plus une ligne.

Les hypothèses que nous avons utilisées pour obtenir ce résultat étant également satisfaites par la structure d'incidence duale, nous avons de même

(5) pour toute paire de lignes distinctes, il y a au plus un point qui se trouve à la fois sur ces deux lignes.

D'après le préliminaire 18 (et compte tenu que, d'après l'étape 18, il y a exactement 7 points et 7 lignes), il résulte de (2), (3), (4) et (5) que $({\mathcal {P}},{\mathcal {L}},{\mathcal {I}})$ est un plan de Fano, ce qui démontre l'énoncé.

 

Début d’un théorème

Étape 20

Soit G un groupe simple d'ordre 168. G est isomorphe à $\mathrm {Aut} ({\mathcal {F}}),$ le groupe des automorphismes du plan de Fano.

Fin du théorème

Démonstration

Comme plus haut, désignons par ${\mathcal {P}}_{G}$ l'ensemble des sous-groupes de Klein de G appartenant à une première classe de conjugaison, désignons par ${\mathcal {L}}_{G}$ l'ensemble des sous-groupes de Klein de G appartenant à l'autre classe de conjugaison et désignons par ${\mathcal {I}}_{G}$ la partie de ${\mathcal {P}}_{G}\times {\mathcal {L}}_{G}$ formée par les couples (P, L) tels que P et L soient contenus dans un même 2-sous-groupe de Sylow de G. Posons ${\mathcal {F}}_{G}=({\mathcal {P}}_{G},{\mathcal {L}}_{G},{\mathcal {I}}_{G}).$ D'après l'étape 19, ${\mathcal {F}}_{G}$ est un plan de Fano. Pour tout élément g de G, la conjugaison par g fournit un automorphisme du plan de Fano ${\mathcal {F}}_{G}$ : elle applique bijectivement points sur points, lignes sur lignes et préserve la relation d'incidence. Donc la conjugaison fournit une application

$G\rightarrow \mathrm {Aut} ({\mathcal {F}}_{G})$

qui, comme on le vérifie facilement, est un homomorphisme de groupes. Il est clair que cet homomorphisme n'est pas trivial (par exemple parce que les 7 points sont des sous-groupes conjugués), donc son noyau est un sous-groupe normal propre de G ; puisque G est simple, ce noyau doit donc être trivial, autrement dit l'homomorphisme est injectif. D'après le préliminaire 17, $\mathrm {Aut} ({\mathcal {F}}_{G})$ est d'ordre 168 et a donc le même ordre que G, donc l'homomorphisme $G\rightarrow \mathrm {Aut} ({\mathcal {F}}_{G})$ est un isomorphisme, d'où l'énoncé.

 

Début d’un théorème

Corollaire 21

Tous les groupes simples d'ordre 168 sont isomorphes. Le groupe des automorphismes d'un plan de Fano est un groupe simple d'ordre 168.

Fin du théorème

Démonstration

La première assertion résulte de l'étape 20. Puisque, d'après le chapitre Simplicité des groupes linéaires spéciaux projectifs, le groupe PSL(2, 7) est un groupe simple d'ordre 168, de sorte qu'il existe au moins un groupe simple d'ordre 168, il résulte de l'étape 20 que le groupe des automorphismes du plan de Fano est un groupe simple (d'ordre 168).