SoientGun groupe d'ordrefinietHun sous groupe deG.
L'ordre deHdivise l'ordre deG.
Démonstration : a) Notonsmultiplicativement la loi deG. Définissons, surG, une relationpar : 2−1 ∀(x,y)∈G, (xy⇔x y∈H)
Montrons queest une relation d'équivalence : −1 x x=1∈H doncxx,est réflexive. Hsous groupe −1−1−1−1 xy⇔x y∈H⇔(x y)∈H⇔y x∈H⇔yx, doncest symétrique. −1−1−1−1−1 (xy etyz)⇒ (x y∈H ety z∈H)⇒ (x yy z=x z∈H)⇒ (xz), est transitive. Doncest bien unerelation d'équivalence.
La classe d'équivalence d'un élémentadeGest, par définition : −1−1 {y∈G|ay}={y∈G|a y∈H}={y∈G|∃h∈H,a y=h}={y∈G|∃h∈H,y=ah}=aH Cet ensemble est appeléclasse à gauche (dea) moduloH.
Montrons que toutes les classes à gauche ont |H| éléments : Pour cela, on considère, pour touta∈G, l'application ϕa:H→aH haah ϕa(h1)=ϕa(h2)⇒ah1=ah2⇒h1=h2, doncϕaestinjective. ∀y∈aH,∃h∈Htel quey=ahdoncϕaestsurjective. ϕaétantbijective, on déduit : ∀a∈G, |aH|=|H|
Montrons que toutes les classes à gauche sont disjointes : Considérons deux classesaHetbH(aetbdansG) et supposonsaH∩bH≠∅. Soitg∈aH∩bH. Alors : ∃h∈Htel queg=ah et∃h'∈Htel queg=bh' On a alors :ah=bh' −1 a=bh'h −1 Tout élémentah"deaHs'écrit donc :bh'h h"