Se requerirá una clase especial de subgrupos, llamados "subgrupos normales".