元素阶的整除性：从一个元素回到整个群

本课要解决的问题

有限群中，一个动作的重复周期为什么不能任意取值？

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

概念建立

元素 a 生成循环子群 ⟨a⟩，其元素个数正是 a 的阶 ord(a)。由 Lagrange 定理，ord(a)=|⟨a⟩| 必整除 |G|。因此 a^{|G|}=e：若 |G|=q·ord(a)，则 a^{|G|}=(a^{ord(a)})^q=e。

推导主线

这一结论把子群计数转成幂运算约束。在模素数 p 的非零剩余类乘法群中，群阶为 p-1，所以任意 p∤a 都满足 a^{p-1}≡1 mod p；这是有限群语言连接初等数论的第一座桥。

完整例题

在7的非零剩余类乘法群中共有6个元素。3²≡2、3³≡6、3⁶≡1 (mod7)，3 的阶为6，确实整除群阶6。任何元素的阶只能是1、2、3或6。

严格边界

ord(a) 整除 |G| 不代表每个 |G| 的因数都一定成为某个元素的阶。例如某些非循环群没有与群同阶的元素。幂公式必须确认 a 位于有限群中。

课后闭环

在模11非零剩余类乘法群中计算2的连续幂并求阶；核对它是否整除10，再用 a^{10}≡1 验算。

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