Sjá frásöguna hér að neðan og svara spurningunni á sama tungumáli og frásöguna:  Í sumum tilfellum getur safn koseta undirhóps verið með hópslögmál, sem gefur hlutfallshóp eða hlutfallshóp. Til þess að þetta sé mögulegt þarf undirhópurinn að vera eðlilegur. Með hvaða eðlilegu undirhóp N sem er, er hlutfallshópurinn skilgreindur með  Spurning: Hvað gerist þegar undirhópur setur af cosets fá hópur lögmál?
sem gefur hlutfallshóp eða hlutfallshóp