Si "H" es un subgrupo de un grupo finito "G", y el orden de "H" es la mitad del orden de "G", entonces "H" es un subgrupo normal de "G", con lo que "G"/"H" está bien definido y es isomorfo al grupo cíclico de dos elementos, Z.