El ejemplo de esta sección nos servirá para ilustrar que la relación de ser subgrupo normal no es transitiva y que puede haber grupos tales que no hay un subgrupo cuyo orden sea un divisor dado del grupo.