Í sumum tilfellum er hægt að gefa samstæðusettum undirhóps hópslögmál, með því að gefa hlutfallshóp eða hlutfallshóp. Til þess að þetta sé mögulegt þarf undirhópurinn að vera eðlilegur. Gefnir hvaða eðlilegan undirhóp N sem er, er hlutfallshópurinn skilgreindur með spurningunni: Hvað gerist þegar samstæðusett undirhóps fá hópslögmál?
sem gefur hlutfallshóp eða hlutfallshóp