101 - Groupe opérant sur un ensemble. Ex et applis 1 2
I - Définitions et premières propriétés
1) Actions de groupe
,→Ulmer : Def de action à gauche de G sur X, Def de G-ensemble. Rmq action à droite. Notation de l’action GyX. Ex S(X)y
X. Thm/def du morphisme structurel. Rmq H<Get GyX⇒HyX. Def de point fixe, orbite, stabilisateur, action libre,
action transitive, action k-transitive. Ex An(n-2) transitif pour n≥5(Perrin). Prop noyau du morphisme structurel= intersection des
stabilisateurs. Def action fidèle. Rmq libre⇒fidèle. Prop partition de X en orbite pour l’action de G sur X. Ex : décomposition des
permutations en produit de cycles de supports disjoints.
2) Action d’un groupe fini sur un ensemble fini
,→Ulmer : Prop : Bijection entre G/Gxet G.x. Coro : G fini ⇒ | G.x|=|G|/|Gx|. Coro : G fini et X G-ens fini si X=tr
i=1Xipartition
en orbites ss action de G et si xi=Xialors |X|=∑r
i=1|G|/|Gxi|. Thm de Burnside sur le nbre d’orbites. Coro : p premier, G
p-groupe, X G-ens fini ⇒ | XG|≡| X|[p]. Appli : centre d’un p-groupe distinct de {1}non réduit à {1}(Perrin). Thm Cauchy : G
groupe fini avec p| | G|p premier alors ∃un élément d’ordre p dans G.
II - Groupe agissant sur lui-même
1) Action par translation
,→Ulmer : Def de l’action par translation. Thm de Cayley. Appli : thm de Lagrange. Ex GL(2, 2)'S3
2) Action par conjugaison
,→Ulmer : Def de l’action par conjug. Def de l’orbite=classe de conjug pour cette action. Def d’éléments conjugués, du stabilisateur
pour cette action. Rmq : action jamais libre ni transitive pour G6={1}. Rmq : centre= ens des points fixe pour cette action. Appli :
groupe d’ordre p2toujours abélien. Ex : classe de conj de rjdans Dn. Ex : deux permut conjuguées ⇔elles sont de même type. Thm
Ansimple pour n≥5
3) thm de Sylow
,→Ulmer : Def d’un p-Sylow.
,→Perrin : Ex p-Sylow des matrices triang sup avec 1 sur diag dans GLn(Fp). thm de Sylow . Coro : S p−Sylow S/G⇔S unique
p-Sylow. Ex : groupe d’ordre 63 pas simple.
III - Actions de groupe et algèbre linéaire
1) Actions sur les matrices
,→Gourdon : Action d’équivalence ((P,Q),M)→PMQ P,Q ∈GLn(K)M∈Mn(K). Appl : matrices dans même orbite ⇔même rang.
Action de Steinitz Action de conjugaison (P,M)→P−1MP. Def de matrices semblables. Appli : réduction d’endomorphisme.
Action de congruence (P,M)→tPMP. Appli matrices congrues sont même forme quadratique dans 2 bases.
2) Représentations
,→Ulmer : Def de représentation en exhibant le morphisme structurel. Ex de rep triviale, rep par permutation, rep régulière.
IV - Applications des actions de groupe à la géométrie
1) Groupe projectif
,→Ulmer : Def du groupe linéaire projectif PGL(V), du groupe spécial linéaire projectif PSL(V). Action de GL(V) sur P(V). Appli
PSL(2, 2)'S3,PSL(2, 3)'A4,PSL(2, 4)'A5
2) Espace affine
,→Mercier : def d’un espace affine avec action de −→
E×Esur E. Action fidèle et transitive.
,→Alessandri : Ex action de SO2(R)sur S1×S1, orbite de cette action correspond aux angles orientés.
3) Groupe d’isométrie
,→Alessandri : Prop : isométrie du cube opère sur les sommets. Prop Dnagit sur racine n ieme de l’unité.
1.- [PER] : Daniel Perrin, Cours d’algèbre (pour exemples, th de sylow)
- [ULM] : Ulmer, Théorie des groupes (pour une grande majorité)
- [GOU] : Gourdon, Algèbre, 2ème édition (III.1)
- [MER] : Dany-Jack Mercier, Fondamentaux de géométrie pour les concours (IV.2)
- [ALE] : Alessandri, Thèmes de géométrie (pour IV.2, IV.3)
2. Rapport du Jury Dominer deux approches de l’action : naturelle et par morphisme structurel. Des ex différents doivent être
présentés :sur ens fini, sur espace vect (représentations), sur un ens de matrices, sur des polynômes. Bcp d’exemples en géométrie (groupes
d’isométries d’un solide). Certains candidats décrivent les actions naturelles de PGL(2,q) sur la droite projective qui donnent des injections
intéressantes pour q=2,3. Généralisation en petit cardinal à des isomorphismes de groupes. Enfin, l’injection du groupe de permutations
dans le groupe linéaire par les matrices de permutations ⇒représentations : calcul caractère.
4