5.5 交换群和循环群

5.5交换群和循环群AbelianGroups&CyclicGroups抽象代数课程·群论基础模块目录CONTENTS01交换群（阿贝尔群）定义、判定定理与实例02循环群定义、生成元与实例03元素的阶数定义、计算与性质交换群（阿贝尔群）定义5.23：交换群（阿贝尔群）如果群<G,*>中的运算*是可交换的，即对于任意

x,y∈G

，都有x*y=y*x，则称该群为交换群(CommutativeGroup)，或称阿贝尔群(Abel)。核心解读群的定义+运算交换律即群内元素运算顺序不影响最终结果。运算表特征运算表沿主对角线对称运算表中任意位置(i,j)的值与(j,i)的值相等。交换群（阿贝尔群）定理5.16：交换群的充要条件设<G,*>

是一个群，<G,*>

是阿贝尔群的充要条件是：对任意的a,b∈G，有(a*b)*(a*b)=(a*a)*(b*b)。充分性(Sufficiency)若已知对任意元素满足(a*b)*(a*b)=(a*a)*(b*b)，可通过在等式两边同时左乘a-1、右乘b-1进行化简，最终推导出交换律a*b=b*a。必要性(Necessity)若群本身已是阿贝尔群，即满足交换律a*b=b*a。通过结合律和交换律调整元素顺序，即可直接变形为(a*b)*(a*b)=(a*a)*(b*b)。交换群（阿贝尔群）例题5.25：验证阿贝尔群题目：设集合G={a,b,c,d}，二元运算*的运算表如下所示。请验证代数系统<G,*>是否构成一个阿贝尔群。

封闭性运算表中的所有结果都属于集合G，故满足封闭性。结合律经过穷举验证所有元素组合，该运算满足结合律。幺元存在元素a与G中任意元素运算结果不变，a是幺元。逆元存在G中每一个元素都可以在运算表中找到对应的逆元。交换律运算表关于主对角线对称，因此二元运算*满足交换律。结论：代数系统<G,*>满足群的全部定义，且满足交换律，故为阿贝尔群。循环群定义5.24：循环群设<G,*>是一个群,若存在元素a∈G,使得G中的任意元素都由a的幂组成,即G=\{ak|k∈Z},则称

<G,*>为循环群(CyclicGroup),记作

G=<a>,元素a称为循环群G的生成元(Generator)。💡核心解读所有元素都由一个“种子”元素生成，就像一个大家族都源于同一个祖先。生成元(Generator)通过群运算的“幂”次组合，由单一元素构造出完整的代数结构。循环群例题5.26：模6加法群<Z₆,⊕>题目：验证群<Z₆,⊕>是循环群，并找出其所有的生成元。验证元素1计算过程：1¹=1,1²=2,1³=3,1⁴=4,1⁵=5,1⁶=0结论：所有元素均可由1生成，故1是生成元验证元素5计算过程：5¹=5,5²=4,5³=3,5⁴=2,5⁵=1,5⁶=0结论：所有元素均可由5生成，故5也是生成元最终结论：群<Z₆,⊕>是循环群，其生成元为1和5。循环群例题5.27：角度加法循环群题目描述：验证代数系统<{0°,60°,120°,180°,240°,300°},▲>是循环群，其中二元运算▲定义为模360°的角度加法。🔍验证60°计算其幂次：60°1=60°，60°2=60°▲60°=120°,...,60°6=0)。集合内所有元素均可由其生成。结论：60°是生成元🔍验证300°300°在模360°加法下等价于-60°。同理，其幂次也能遍历生成所有元素。结论：300°也是生成元✅最终结论：该代数系统构成循环群，生成元为60°和300°循环群：无限循环群例题5.29：整数加法群整数加法群\<Z,+>是典型的无限循环群，其生成元是：①生成元1：不断做加法，可以生成所有正整数和0。②生成元-1：不断做加法，可以生成所有负整数和0。规律总结：生成元的性质若<G,*>

是由元素g生成的无限循环群，则集合G恰好有两个生成元。这两个生成元互为逆元：g和g⁻¹（例如：整数加法群中的1与-1）循环群与交换群的关系定理5.17：循环群是阿贝尔群任何一个循环群必定是阿贝尔群（交换群）。01设元素a是循环群的任意一个生成元。02任取群中两个元素x和y，必存在整数r,s使得x=aʳ，y=aˢ。03计算乘积：

x*y=aʳ*aˢ=aʳ⁺ˢ04交换顺序计算：

y*x=aˢ*aʳ=aˢ⁺ʳ05由整数加法交换律，r+s=s+r，故x*y=y*x。核心结论循环群是交换群的一个子集（真子集），即所有循环群都具有交换性，但并非所有交换群都是循环群。元素的阶数定义5.25：元素的阶数设<G,*>是群,幺元是e,x∈G。使得xk=e成立的最小正整数k称为x的阶数(Order)，或称周期(Period)，记为|x|。若不存在这样的正整数k，则称x是无限阶的。核心解读阶数衡量了群元素“自我回归”的能力。它的本质是：元素“自乘”（群运算）多少次后，能第一次回到幺元（单位元）的那个最小次数。幺元的阶数群中幺元e的阶数永远是1。因为幺元与自身进行一次运算（或说“自乘1次”），其结果依然是它本身，即幺元。元素的阶数例题5.30：计算不同群中元素的阶数Klein四元群•幺元d：阶数满足群中幺元的普遍性质，即单位元的阶数恒为1。

|d|=1•其他元素(a,b,c)：这些元素均为二阶元素，它们的平方等于幺元。

|a|=|b|=|c|=2模6加群<Z₆,⊕>•单位元：加法群的零元即为幺元，阶数为1。

|0|=1•生成元：1和5是群的生成元，阶数等于群的阶数。

|1|=|5|=6•其他元素：

|2|=|4|=3，|3|=24阶循环群•幺元a：作为循环群的单位元素，其阶数固定为1。

|a|=1•二阶元素：元素b满足b²=a。

|b|=2•生成元(c,d)：能生成整个群，阶数等于群的阶数。

|c|=|d|=4元素的阶数定理5.18：有限循环群的性质设

<G,*>是一个由元素a∈G生成的有限循环群。如果G的阶数是n,即|G|=n,则

an=e,且G={a,a2,a3,…,