素数阶群：整除约束如何迫使结构简单

本课要解决的问题

只知道群的元素个数是素数，能否确定整个群的形状？

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

概念建立

若 |G|=p 为素数，取任意非单位元 a。ord(a) 整除 p，且不可能为1，所以 ord(a)=p。于是 ⟨a⟩ 有 p 个元素，只能等于 G；因此每个素数阶群都是循环群，且任意非单位元都是生成元。

推导主线

证明只用三步：非单位元排除阶1；Lagrange 定理把可能阶限制为 p 的正因数1与p；阶为p的生成子群大小等于母群，所以覆盖全部元素。循环群必交换，故素数阶群也必交换。

完整例题

21阶群中的3阶子群若存在，其指数是21/3=7。相比之下，7阶群无需额外信息：任取非单位元都生成全部7个元素。‘阶为合数’时则不能仅靠这套论证判定是否循环。

严格边界

素数阶结论不能扩成“素数幂阶群必循环”；例如 Z₂×Z₂ 有4个元素却不是循环群。Lagrange 定理给必要整除条件，存在性需要更多工具。

课后闭环

完整证明13阶群循环；再比较9阶循环群与 Z₃×Z₃，说明为何群阶相同不足以确定结构。

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