Esta correspondencia preserva la normalidad de los subgrupos de uno y otro grupo.