【拉格朗日定理】有限群的阶是其子群阶的倍数,两者相除的商就是该子群可以构造的陪集的个数
发布人