如何证明仅含平凡子群的循环有限群G的阶为1或素数？

你的思路抓得非常准，拉格朗日定理正是破解这个问题的核心工具，咱们把整个证明逻辑梳理得更顺畅些：

先明确已知条件 #

• G是有限循环群，且仅存在两个子群：仅含单位元的平凡子群{id}，以及群G本身。

核心依据：拉格朗日定理 #

拉格朗日定理的核心结论是：有限群的任意子群的阶，都必然整除该群的阶（这里的“阶”指群中元素的总数，记为$|G|$）。

分情况推导结论 #

1. 当$|G|=1$时：
   此时G就是仅包含单位元的平凡群，显然满足“只有{id}和G本身两个子群”的前提条件，这是符合要求的第一种情况。

2. 当$|G|>1$时：
   我们用反证法来推导：

   • 假设$|G|=n>1$且n不是素数，那么n可以拆解为两个大于1的正整数的乘积，即$n=ab$，其中$a,b>1$。
   • 循环群有一个关键性质：对于循环群的阶n，每一个整除n的正整数k，都对应着一个唯一的k阶子群（这个子群由$g^k$生成，其中g是G的生成元）。
   • 这里a是n的因数，且$1<a<n$，按照循环群的性质，G应该存在一个a阶的非平凡子群，但这和已知条件“G仅拥有{id}和G本身两个子群”完全矛盾。
   • 因此假设不成立，n必须是素数。

结论 #

综上，满足条件的循环有限群G的阶只能是1或者素数。

内容的提问来源于stack exchange，提问作者Tiernan Watson