循环群结构:一个生成元怎样决定全部子群
约 42 分钟
本课要解决的问题
为什么有限循环群的子群可以由整数的整除关系完整分类?
这不是先背名词再找用途。我们从一个确切问题出发,逐步抽出能够重复使用的数学结构。学完本课,你应能解释“为什么要这样定义”,并独立完成一个计算或证明。
概念建立
若 G=⟨a⟩,则 G 是循环群。无限循环群同构于整数加法群;n 阶循环群同构于 Z_n。n 阶循环群中,每个正因数 d 唯一对应一个 d 阶子群;元素 aᵏ 的阶为 n/gcd(n,k)。生成整个群的元素个数为欧拉函数 φ(n)。
推导主线
设 H≤⟨a⟩ 且 H 非平凡,取最小正整数 m 使 aᵐ∈H。对任意 aᵏ∈H 作带余除法 k=qm+r,则 aʳ=aᵏ(aᵐ)⁻q∈H;最小性迫使 r=0,所以 H=⟨aᵐ⟩。有限时 m 必整除 n。
完整例题
Z₁₂ 的生成元是与12互素的剩余类:1,5,7,11,共 φ(12)=4 个。元素4的阶为12/gcd(12,4)=3,因此只生成 {0,4,8}。
严格边界
并非每个群都是循环群;循环群一定交换,但交换群未必循环,例如 Z₂×Z₂。说“d 阶子群唯一”只对循环群成立。
课后闭环
列出 Z₁₈ 的所有生成元;按18的正因数画出其子群,并给每个子群写一个生成元。
完成页面中的单选、多选和计算题。计算题要保留中间步骤;多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误,隔一天遮住答案重做。
Practice
本课练习
先独立作答再提交;编程题会在隔离沙箱中真实编译、运行并对拍。