D´efinition d’orbite d’un point (not´ee G.x), de sous-groupe d’isotropie (not´e Gx).
Les sous-groupes d’isotropie des points d’une mˆeme orbite sont conjugu´es (Gg.x =
gGxg−1). Relation d’´equivalence x∼y⇔ ∃g, y =g.x. Les classes sont les orbites.
Elles forment une partition de X.
Une partie Yde Xest dite stable lorsque G.Y ⊆Y(en fait, ´egalit´e via les
g−1). D´efinition de stabilisateur d’une partie (sous-groupe des ´el´ements du groupe
qui stabilisent la partie).
D´efinition de partie fixe (∀y, g,g.y =y) et de fixateur d’une partie (´el´ements du
groupe qui fixent la partie).
Exemple : u∈GL(V), action naturelle de huisur V. Une droite stable est une
droite de vecteurs propres pour u. Une droite fixe est une droite propre associ´ee `a la
valeur propre 1.
Si Hest un sous-groupe de G, action par conjugaison de Gsur lui-mˆeme. Stabil-
isateur de Hs’appelle normalisateur ; fixateur de Hs’appelle centralisateur. Centre
d’un groupe.
1.2.2 Equation aux classes
Si xest dans X, l’application g7→ g.x est constante sur les classes `a gauche modulo Gx.
Elle induit une bijection de l’ensemble (G/Gx)gsur l’orbite G.x. Ainsi, Card(G.x) =
[G:Gx].
Dans le cas o`u Xest un ensemble fini, l’´equation aux classes traduit la partition de
Xen orbites sous l’action de Gen termes de cardinaux : Card(X) = Px∈R[G:Gx]
ou Rest un syst`eme de repr´esentants des classes `a gauche (ou `a droite).
Exemple des p-groupes : si XGd´esigne les invariants sous Get si Gest un p-
groupe, alors Card(X)≡Card(XG) [p]. Exemple de l’action de Gsur lui-mˆeme
par conjugaison : le centre d’un p-groupe est non trivial (et exo : un p-groupe est
nilpotent (donc r´esoluble), r´ecurrence sur l’exposant de l’ordre).
Exemple : action du groupe positif du cube sur les centres des faces. Transitive,
6 centres, isotropie d’ordre 4 : le groupe positif du cube est d’ordre 24.
1.2.3 Produit semi-direct
Suite exacte de groupes, suite exacte scind´ee (existence d’une section ou existence
d’un sous-groupe qui fait de la surjection un isomorphisme par restriction).
Une suite exacte 1 →N→G→Q→1 est scind´ee si, et seulement s’il existe un
sous-groupe Hde Gtel que H∩N= 1 et G=HN.
D´efinition du produit semi-direct de Net Qrelatif `a une action de Qsur Npar
automorphismes, i.e. un homomorphisme de groupes ϕ:Q→Aut(N) (c’est la loi de
groupes sur le produit cart´esien d´efinie par (n, q)(n0, q0) = (nϕ(q)(n0), qq0), le neutre
est (1,1), l’inverse de (n, q) est (ϕ(q−1)(n−1), q−1)).
Gest isomorphe `a un produit semi-direct de Qet Nsi, et seulement s’il existe une
suite exacte scind´ee 1 →N→G→Q→1. En passant, formule du produit direct
5