Voir la source de 149 -- Groupes finis de petit cardinal.

== Plan ==

L'objet du plan est de donner les théorèmes et les définitions qui permettent d'étudier les groupes de petits cardinaux.

1) Préliminaires

2) Action d'un groupe sur un ensemble, formule des classes, produit semi-direct

3) Sylow

4) Classification des groupes d'ordre inférieur à 15


== Développements ==

Groupes d'ordre 12, groupes d'ordre 8, simplicité de <math>A_n</math>

Je fais ici le développement que Guirardel nous avait proposé et qu'on n'a pas mis dans le plan.


Théorème : Pour n différent de 6, <math>Aut(S_n)=Int(S_n)</math>

On va exhiber un automorphisme de <math>S_6</math> qui n'est pas interne.

On considère l'action de <math>GL_2(F_5)</math> sur <math>F_5^2</math>. Cette action est transitive.

Pour <math>X\in F_5^2,\;\;stab(X)=\{\lambda.I_2;\lambda\in\;F_5^\star\}=centre(GL_2(F_5))</math>. On identifie maintenant la droite projective <math>P_1(F_5)</math> à <math>F_5\cup\{\infty\}</math> et on pose <math>PGL_2(F_5)=GL_2(F_5)/centre(GL_2(F_5))</math>. L'action définie précédemment livre (par définition d'une action de groupe) un morphisme <math>i:PGL_2(F_5)\to S(P_1(F_5))=S_6</math>. Ce morphisme est injectif car l'action est fidèle.

Ainsi, on a vu que <math>PGL_2(F_5)</math> s'injecte dans <math>S_6</math>.

De plus, <math>Card(PGL_2(F_5))=120</math> et <math>Card(S_6)=720</math> donc si K est l'image de <math>PGL_2(F_5)</math> dans <math>S_6</math>, on a que K est d'indice 6.

De plus, on sait que l'action de K ne fixe aucun point de <math>\{1,\dots,6\}</math> car <math>PGL_2(F_5)</math> ne fixe aucun point de <math>P_1(F_5)</math>

Enfin, <math>S_6</math> agit sur <math>S_6/K=\{a,b,c,d,e,f\}=\{1,2,3,4,5,6\}</math> par translations à gauche (où on a posé <math>a=K</math> puis on envoie a sur 1, b sur 2,etc). Cette action livre un automorphisme <math>\phi</math> de <math>S_6</math> qui est tel que <math>\phi(K)=S(\{2,3,4,5,6\})\cong S_5</math>.

Si <math>\phi</math> est intérieur, <math>\exists g\in S_6</math> tel que <math>\phi</math> s'écrit <math>\phi:x\mapsto gxg^{-1}</math> et alors <math>\phi(stab(1 point))=stab(g(ce point))</math> et donc <math>\phi</math> établit une bijection entre les sous-groupes d'indice 6 qui fixent un point. Ce qui contredit le fait que <math>K</math> ne fixe aucun point et <math>\phi(K)</math> fixe 1.

== Rapport de Jury ==

Groupes finis de petit cardinal. Après avoir cité rapidement les théorèmes fondamentaux sur les groupes, la leçon doit se concentrer sur les exemples. Les développements ne peuvent pas porter sur les théorèmes généraux. C’est une leçon bien distincte de la leçon Groupes finis.


== Références ==
Perrin 
Querré cours d'algèbre
Gourdon algèbre
Tauvel Mathématiques générales pour l'agrégation
Francinou, Gianella exercices de mathématiques pour l'agrégation Algèbre 1

[[Category:Leçon d'algèbre]]
[[Category:Anciennes leçons]]