Rigardu la malsupran trairejon kaj poste respondu la demandon poste en la sama lingvo kiel la trairejo:  Trairejo: En kelkaj situacioj la aro de kosetoj de subgrupo povas esti dotita per grupleĝo, donante kvosientan grupon aŭ faktoran grupon. Por ke tio eblas, la subgrupo devas esti normala. Surbaze de ajna normala subgrupo N, la kvocienta grupo estas difinita per  Demando: Kio okazas kiam la aro de subgrupo de kosetoj ricevas grupan leĝon?
donante kvocientan grupon aŭ faktoran grupon