跳到正文
群论

生成元与生成子群:从少量动作得到全部可达状态

42 分钟

本课要解决的问题

给定一个或几个元素,反复运算和取逆究竟能到达哪些元素?

这不是先背名词再找用途。我们从一个确切问题出发,逐步抽出能够重复使用的数学结构。学完本课,你应能解释“为什么要这样定义”,并独立完成一个计算或证明。

概念建立

由子集 S 生成的子群 ⟨S⟩ 是包含 S 的最小子群,也等于所有由 S 中元素及其逆元组成的有限乘积。单个元素 a 生成 ⟨a⟩={aⁿ:n∈Z},称循环子群。生成集描述的是结构的压缩指令,不要求表示唯一。

推导主线

在模 n 加法群 Z_n 中,⟨a⟩={ka mod n:k∈Z}。它的元素个数为 n/gcd(n,a)。因为最小正整数 k 使 ka≡0 mod n,等价于 n|ka,最小 k 正是 n/gcd(n,a)。

完整例题

在 Z₁₂ 中,从8反复相加得到 0,8,4,0,因此 ⟨8⟩={0,4,8},阶为 12/gcd(12,8)=3。虽然8不是4,但它们生成同一个子群。

严格边界

生成子群不是只允许正次幂的半群;必须包含逆元和单位元。多生成元情形若群不交换,生成词的次序不能任意调整。

课后闭环

列出 Z₁₅ 中 ⟨6⟩ 的全部元素,再用 n/gcd(n,a) 验证个数;比较 ⟨3⟩ 与 ⟨6⟩ 是否相同。

完成页面中的单选、多选和计算题。计算题要保留中间步骤;多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误,隔一天遮住答案重做。

Practice

本课练习

3

先独立作答再提交;编程题会在隔离沙箱中真实编译、运行并对拍。

1计算题:生成元与生成子群:从少量动作得到全部可达状态 3

在模12加法群中,生成子群 ⟨8⟩ 的阶是多少?

登录 后答题可以领积分
2单选题:生成元与生成子群:从少量动作得到全部可达状态 3

由集合 S 生成的子群 ⟨S⟩ 是什么?

登录 后答题可以领积分
3多选题:生成元与生成子群:从少量动作得到全部可达状态 3

在 Z₁₂ 的加法中,关于 ⟨8⟩ 选择所有正确说法。

多选题:必须选全正确项,漏选或多选均不得分。

登录 后答题可以领积分