MÉTAPLANS DE LEÇONS POUR L’AGRÉGATION EXTERNE
101 - Groupe opérant sur un ensemble. Exemples et applications.
I - Définitions et premières propriétés
1) Actions de groupes
,→Dans Ulmer : la définition d’une action à gauche, à droite, d’un G-ensemble, le morphisme structurel et des exemples. Faire
une grosse définition avec : point fixe, orbite, stabilisateur, action libre, transitive, fidèle, k-transitive.
,→Dans Perrin :Snagit n-transitivement et An(n−2)-transitivement sur [[1, n]].
,→Dans Ulmer : Dnagit transitivement non-librement sur les sommets du n-gone régulier. La relation “appartenance à l’orbite
de” est une relation d’équivalence, d’où la partition de X. En application, σ∈Snest décomposable en produit de cycles à
supports disjoints. Le noyau du morphisme structurel, puis libre ⇒fidèle, et le contre-exemple de la réciproque : D3agit
fidèlement sur les sommets du triangle équilatéral.
2) Action d’un groupe fini sur un ensemble fini
,→Dans Ulmer : la bijection G/Gx'G.xpuis la relation orbite stabilisateur et la formule des classes. En application : les
points fixes sous un p-groupe, le théorème de Cauchy et le centre d’un p-groupe.
II - Actions de groupes et théorie des groupes
1) Action par translation
,→Dans Ulmer : la définition de l’action par translation à gauche, elle est libre et transitive. En application : le théorème de
Cayley. GyG/Hpar translation est transitive ; en application GL(2, 2)'S3.
,→Dans Combes : l’application sur la théorème de Lagrange par la relation orbite-stabilisateur.
,→Dans Francinou, Gianella : le théorème de Frobenius (sous-groupe d’indice minimal ⇒distingué), les groupes d’ordre pq
ne sont pas simples.
,→Dans Ulmer : si Gadmet un un sous-groupe d’indice kavec #G-k!, alors Gn’est pas simple.
2) Action par conjugaison
,→Dans Ulmer : la définition de l’action par conjugaison, classe de conjugaison, éléments conjugués, centralisateur. Si G6={e},
elle n’est jamais libre, jamais transitive. Ses points fixes sont le centre. En application : ordre p2⇒abélien ; les classes de
conjugaison de Dn, de Sn;Anest simple pour n≥5.
3) Théorèmes de Sylow
,→Dans Perrin : la définition d’un p-Sylow; les matrices triangulaires supérieures unipotentes forment un p-Sylow de GL(n,p);
les théorèmes de Sylow, lien unicité/distinction. Il n’y a pas de groupe simple d’ordre 63.
,→Dans Francinou, Gianella : les groupes d’ordre 15 sont cycliques, et les groupes simples d’ordre ≤59 sont cycliques d’ordre
premier.
III - Actions de groupes et algèbre linéaire
1) Groupes de matrices
,→Dans H2G2 : la définition de l’action par équivalence, les orbites sont caractérisées par le rang ; en application : le nombre
de matrices de rang rdans Mn,mFq.
,→Dans Gourdon : la définition de l’action par conjugaison, la remarque sur le changement de base, application à la réduc-
tion d’endomorphismes. Les orbites sont caractérisées par les invariants de similitude, la réduction de Frobenius et son
application pour n=2 ou 3.
,→Dans H2G2 : la définition de l’action par congruence, la remarque sur le changement de base, le théorème d’inertie de
Sylvester, l’application à la classification des formes quadratiques.
2) Théorie des représentations
,→Dans Ulmer : la définition d’une représentation, d’un caractère, des exemples. Le lien entre groupes distingués et table de
caractères.
,→À partir de Leichtnam : le théorème de Molien .
IV - Actions de groupes et géométrie
1) Géométrie affine
,→Dans Ulmer : la définition des espaces affines (à la fin des exos sur les actions de groupes).
,→Dans Tauvel : la définition d’un angle orienté.
,→Dans H2G2 : le groupe d’isométries d’un solide, l’exemple du tétraèdre et du cube (faire des dessins).
2) Espaces projectifs
,→Dans Ulmer : la définition de PGL(V), PSL(V); GL(V)yP(V)induit des actions de SL(V), PGL(V)et PSL(V), toutes
2-transitives, et fidèles pour PGL(V)et PSL(V).
,→Dans Perrin : quelques isomorphismes exceptionnels.
Références :
– Ulmer (Théorie des groupes)
– Perrin (Cours d’algèbre)
– Combes (Algèbre et géométrie)
– Francinou, Gianella (Exercices de mathématiques pour l’agrégation, Algèbre 1)
– Caldero, Germoni (Histoires hédonistes de groupes et de géométries)
– Gourdon (Algèbre)
– Tauvel (Géométrie)
Florian LEMONNIER 5
Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1