Remark

If G is a commutative group, then each subgroup H of G is a normal subgroup. Thus, the quotient group G/H always exists. Moreover, it is is commutative.