Grupa ilorazowa
Z Wikipedii
[edytuj] Definicja
Niech H będzie dzielnikiem normalnym grupy G, wówczas zbiór warstw lewostronnych jest równy zbiorowi warstw prawostronnych i oznaczamy go G/H.
Grupę (G/H, *, eH), gdzie * : G/H x G/H → G/H jest działaniem określonym wzorem: (aH)*(bH) = (ab)H nazywamy grupą ilorazową grupy G przez jej podgrupę H.