抽象代数的poincare定理：H1和H2在G的子群，且H1和H2在G中都具有有限指数（即陪集个数有限）
发布网友
共1个回答
热心网友
先验证(H1∩H2)x = H1x∩H2x
然后可以证明|G:(H1∩H2)| <= |G:H1| |G:H2|追问等式是明白的，由上面的等式怎么证明下面的不等式，能提示一下吗
追答|G:(H1∩H2)|是H1x∩H2x型的子集个数
|G:H1| |G:H2|是H1x∩H2y型的子集个数
