En un grup no commutatiu (G,⋅,e), subgrup H si, i només si, per a cada g ∈ G,g⋅H = H⋅g
.
Aquests subgrups defineixen una relació d’equivalència que és compatible amb l’estructura del grup i són adequats per tal que el quocient G/H hereti l’estructura de grup.