有限商群有限群G依正規子群N的陪集形成商群，元素是cosets且乘法(gN)(hN)=(gh)N必須與代表元無關。atlas-finite-quotient-group · canonical_mko有限商群前置節點有限正規子群商集有限群