
抽象代数中证明指数为素数的子群必然是g的极大子群
展开全部
设H《G且[G:H]=p为素数。
若存在G的子群M使得H<M,根据Lagrange定理|H|整除|M|,从而
[G:M]整除 [G:H]=p,所以[G:M]=1
即M=G
故H为极大子群
若存在G的子群M使得H<M,根据Lagrange定理|H|整除|M|,从而
[G:M]整除 [G:H]=p,所以[G:M]=1
即M=G
故H为极大子群
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询