有限群的Lagrange定理有限群G的子群H以等大左陪集分割G，因此|G|=[G:H]|H|且|H|整除|G|。atlas-lagrange-theorem-finite-groups · canonical_mko有限群的Lagrange定理前置節點有限群子群與群同態自然數整除集合基數比較商集