En un grupo abeliano todo subgrupo es normal.