数学 抽象代数

循环群

介绍循环群、生成元与元素的阶,并整理有限循环群的判别和典型习题。

本页目录3 节

循环群 #

定义

GG 是一个群, 如果 GG 的每一个元素都能写成 GG 的某个元素 aa 的整数次幂的形式, 那么称 GG循环群, 称 aaGG 的一个生成元, 并记 G=aG=\langle a\rangle.

定义

对于群 GG 中元素 aa, 如果存在最小的正整数 nn, 使得 an=ea^n=e. 则称 aann, 记作 a=n|a|=n. 如果不存在这样的 nn, 则称 aa无限阶元素.

命题

有限群 GG 是循环群, 当且仅当  aG, s.t. a=G\exists\ a\in G,\ s.t.\ |a| = |G|.

命题

aG, a=na\in G,\ |a|=n

am=enm.a^m = e\Leftrightarrow n\mid m.
命题

aG, a=na\in G,\ |a|=n

ak=n(n,k).|a^k|=\frac n {(n,k)}.
命题

a,bG, ab=ba, a=n,b=m,(n,m)=1a,b\in G,\ ab=ba,\ |a|=n,|b|=m, (n,m)=1ab=nm|ab|=nm.

命题

GG 是有限 Abel 群, 则  aG, s.t. bG,ba\exists\ a\in G,\ s.t.\ \forall b \in G,|b|\big| |a|.

定理

mm 是大于 11 的整数, 则 Zm\Z_m^* 为循环群当且仅当 mm 为下列情形之一:

2, 4, pr, 2pr,其中 p 是奇素数, rN2,\ 4,\ p^r,\ 2p^r,\quad \t{其中}\ p\ \t{是奇素数},\ r\in\mathbb{N}^*
定理

有限域 FF 的所有非零元组成的集合 FF^* 对于乘法构成群, 且是循环群.

定义

GGG~\widetilde G 是群。若映射 σ:GG~\sigma:G\to\widetilde G 满足

σ(ab)=σ(a)σ(b)(a,bG),\sigma(ab)=\sigma(a)\sigma(b)\qquad(a,b\in G),

则称 σ\sigma 为群同态。若 σ\sigma 还是双射,则称它为群同构,并称 GGG~\widetilde G 同构。

命题

σ\sigmaGGG~\widetilde{G} 的一个群同构映射, 则

  • (1) σ(e)=e~\sigma(e)=\widetilde{e}.
  • (2) σ(a1)=σ(a)1\sigma(a^{-1})=\sigma(a)^{-1}.
  • (3) σ(a)\sigma(a)aa 的阶相同.
定理
  • (1) 任意一个无限循环群都与 (Z,+)(\Z,+) 同构;
  • (2) 对于 m>1m>1, 任意一个 mm 阶循环群都与 (Zm,+)(\Z_m,+) 同构;
  • (3) 11 阶循环群都与加法群 {0}\{0\} 同构.
定理

m1,m2m_1,m_2 是大于 11 的整数, 则 (Zm1Zm2,+)(\Z_{m_1}\oplus\Z_{m_2},+) 是循环群当且仅当 (m1,m2)=1(m_1,m_2)=1.

练习

题目 #

证明: 若 Zm\Z_m^* 是循环群, 则 Zm\Z_m^* 的生成元个数等于 φ(φ(m))\varphi(\varphi(m)).

证明

Zm=φ(m)|\Z_m^*|=\varphi(m), 设 aaZm\Z_m^* 的生成元, 那么 a=φ(m)|a|=\varphi(m). 对 0k<φ(m)0\le k<\varphi(m),元素 b=akb=a^k 是生成元当且仅当

ak=φ(m)φ(m)gcd(φ(m),k)=φ(m)gcd(φ(m),k)=1.|a^k|=\varphi(m) \Longleftrightarrow \frac{\varphi(m)}{\gcd(\varphi(m),k)}=\varphi(m) \Longleftrightarrow \gcd(\varphi(m),k)=1.

这些不同指数恰好给出不同元素,因此生成元共有 φ(φ(m))\varphi(\varphi(m)) 个。

题目 #

证明: 如果群 GG 的阶为偶数, 那么 GG 必有 22 阶元.

证明

反设 GG 中没有 22 阶元, 则对于 GG 中每个非单位元 aa 都有 aa1a\neq a^{-1}. 从而可以将 GG 的元素和对应的逆元两两配对, 也即除去单位元后元素个数为偶数, 所以总个数为奇数矛盾. 故 GG 中有 22 阶元.

讨论

评论

正在加载评论…

输入关键词开始搜索。