Viittaus: Joissakin tilanteissa alaryhmän osatekijöiden joukkoon voidaan antaa ryhmälaki, jolloin annetaan osatekijäryhmä tai tekijäryhmä. Jotta tämä olisi mahdollista, alaryhmän on oltava normaali. Mikäli annetaan normaali alaryhmä N, osatekijäryhmä määritellään kysymyksellä: Mitä tapahtuu, kun alaryhmän osatekijöiden joukko saa ryhmän lain?
annetaan jakosryhmä tai tekijäryhmä