– Les classes d’équivalence sont appelées orbites. L’orbite de x∈Xest
donc : {g.x/g ∈G}et se note Gx.
– Une opération sur Xest dite transitive ssi il n’y a qu’une seule orbite c’est
à dire ssi
∀(x;y)∈X×X, ∃g∈G, g.x =y
– Une opération sur Xest dite simplement transitive ssi
∀(x;y)∈X×X, ∃!g∈G/y =g.x
– L’ensemble Gx={g∈G/g.x =x}est un sous groupe de Gappelé
stabilisateur (ou groupe d’isotropie) de x.
– Une opération est dite fidèle ssi le morphisme φde Gdans S(X)est
injectif
ssi
(∀x∈X g.x =x)⇒g=e
ssi
∀x∈X, Gx={e}
Proposition :
Si xet y, éléments de X, appartiennent à la même orbite, il existe en général
plusieurs g∈Gtels que y=g.x. Plus précisément, on a :
∀x∈X, Gxest en bijection avec l’orbite de xsous l’action de G.
Preuve :
Soit ϕ:G→G.x (où G.x désigne l’orbite de xsous G), l’application définie
par ϕ(g) = g.x, surjective par construction.
Soient g, g0∈G.ϕ(g) = ϕ(g0)⇔g.x =g0.x ⇔g0−1g∈Gx
Donc, par passage au quotient dans G
Gx,∃! ¯ϕ:G
Gx→G.x définie par
∀¯x∈G
Gx,¯ϕ(¯x) = ϕ(x).¯ϕest injective car ϕ(g) = ϕ(g0)⇔g0−1g∈Gx
En outre ¯ϕest surjective car ϕl’est donc ¯ϕest une bijection de G
Gxdans G.x.
Remarque :
Si Gest fini, |Gx|et |G.x|sont des diviseurs de |G|.
Théorème, "équation aux classes" :
3