素的阶)都必须为o("G")的因数。右陪集为相类比之定义："Ha" = {"ha" : "h"∈"H"}。其亦有对应于一适当之等价关系的等价类，且其个数亦会相等于["G":"H"]。若对于每个在"G"内的"a"，"aH"="Ha"，则"H"称之为正规子群。每一个指数2的子群皆为正规的：左陪集和右陪集都简单地为此一子群和其补集。