综合应用：从分块、周期到模运算验算

本课要解决的问题

怎样把陪集计数、元素阶与模幂运算连成一条可检查的解题链？

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

概念建立

面对有限群问题，先找自然子群，再用陪集求指数；对单个元素转向循环子群，用元素阶整除群阶缩小候选；最后通过实际幂或作用验证。模素数非零乘法群提供完整实验场：群阶、元素周期和幂同余彼此校验。

推导主线

在模7乘法群中，|G|=6。取 a=2：2¹≡2、2²≡4、2³≡1，所以 ord(2)=3。子群 H=⟨2⟩={1,2,4} 有3个元素，指数2；另一个陪集可取3H={3,6,5}。六个非零剩余类被两个三元块覆盖。

完整例题

计算2¹⁰⁰ mod7。由于 ord(2)=3，100=33×3+1，所以2¹⁰⁰≡2。也可先用2⁶≡1降幂，但利用真实元素阶可把周期缩得更小。

严格边界

降幂前必须确认底数属于所用乘法群；若底数与模数不互素，不能直接套用群阶结论。陪集代表元变化不会改变陪集本身。

课后闭环

在模11非零乘法群中选 a=3，求元素阶、生成子群、指数与全部陪集，再计算3¹⁰⁰ mod11并用直接小幂验证。

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