证:取 则易知 为 的两个不同左陪集,且 由于 ,故 .同理, ,故有 ,故 .
3 与循环群相关的结论
引理2 若 为交换群, , ,则 .
证:设 ,易知 ,故有 ,又因为 ,故 ,故 .同理可证 ,再利用 ,可得 ,故 ,故 .
命题4 若 为有限交换群, 为互不相同的素数, ,则 为循环群.
证:由命题2知, 中含有 阶元.不妨设对应的元素为 ,下证 ,对 做数学归纳,当 时,由引理2知结论成立,假设当 时,结论成立,则当 时,由于 为互不相同的素数,由归纳假设 ,又因为 ,由引理2知, ,故 为循环群,结论成立.
命题5 互素的二循环群的直积为循环群
证:设 ,则易知 的阶为 ,由于 ,故 为交换群.又因为 的阶分别为 ,由引理2知, 的阶为 ,故 为循环群.
命题6 任一有限循环群均可以分解成素数幂阶循环子群的直积,但素数幂阶循环群不能分解为两个真子群的直积
证:设 ,其中 为不同的素数,则由命题2知, 有 阶元,不妨设对应的元素为 ,则显然有 ,因为对于 ,由拉格朗日定理的推论知, ,而 ,由于
在循环群中,阶为 的元唯一,故 ,故 ,又因为 ,所以,群 是子群 的内直积.对于素数幂阶循环群,假设 可以表示成两个真子群 的内积,由命题10知,不妨设 ,则 ,矛盾,故结论成立.