sous-groupe – structure algébrique –

ALGEBRE

G un groupe muni de la loi interne T, H un sous-ensemble de G est un sous groupe de G si H muni de la loi T est lui-même un groupe. H est alors caractérisé par la propriété suivante : ∀ (x,y) ∈ H², x T y^-1 ∈H², y^-1 étant l’opposé ou l’inverse de y suivant le vocabulaire choisi.