En kelkaj situacioj la aro de ko-setoj de subgrupo povas esti dotita per grupleĝo, donante kvasientan grupon aŭ faktoran grupon. Por ke tio estu ebla, la subgrupo devas esti normala. Donita ajna normala subgrupo N, la kvasienta grupo estas difinita per Demando: Kio okazas kiam la aro de ko-setoj de subgrupo ricevas grupleĝon?
donante kvocientan grupon aŭ faktoran grupon