Groupe quotient

Groupe quotient de G par H (ou parfois groupe des facteurs) et est noté G/H. L'application f : G → G/H, g ↦ gH est alors un morphisme de groupes. L'image directe f(H) n'est constituée que de l'élément neutre de G/H, à savoir la classe eH = H. L'application f e…