，其中["G":"H"]是于"G"内的"H"之指标，为一整数。此为拉格朗日定理上述会有一个立即的结论为，一个群的每一个元素之阶都会整除此一群的阶。例如，在上面所示之对称群中，ord(S) = 6，且其内元素的阶分别为1、2或3。下面的部份相反对有限群为真：若"d"会整除一个群"G"的阶且"d"为一个质数，则存在一个内"G"内为"d"阶的元素(这有时被称为柯西定理)。此一叙述在其阶为合数时并不成立，如克莱因四元群中即不存在一个4阶的元素。这可以用数学归纳法来证明。这个定理的结论包括：一个群"G"的阶为