将有限群分解为具有相同代表元左,右倍集之并

通过引理将群分解为重倍集之并，然后经为主，右陪集之并，并利用映射证明左，右倍集个数相等，进而证明代表元完全相同。