设(G,*)是n阶群,如果(G,*)不是循环群,证明(G,*)必有非平凡子群

问题描述:

设(G,*)是n阶群,如果(G,*)不是循环群,证明(G,*)必有非平凡子群

反证法.如果G只有平凡子群,则G中任一非幺元a都可以生成G,即G是循环群,矛盾.