第一章结构实验：从具体动作重建一个群

本课要解决的问题

能否不依赖现成名称，从对象、运算和证据重建一个有限群？

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

概念建立

结构识别必须依次回答：元素是什么、运算是什么、结果是否封闭、单位元是谁、逆元如何找、结合律从何而来。若运算是函数复合，结合律由函数复合的结合律保证；若只给表，则需要逐项验证或给出等价模型。

推导主线

以等边三角形为例：三次旋转 e,r,r² 与三次反射 s,rs,r²s 构成六个对称。关系为 r³=e、s²=e、sr=r⁻¹s。标准形只有 rᵏ 或 rᵏs（k=0,1,2），所以至多六个；几何上六个操作确实不同，所以恰有六个。

完整例题

计算 (rs)(r²s)=rsr²s。用 sr²=r⁻²s=rs，得 r(rs)s=r²。也可逐点跟踪三个顶点核验。这展示了“关系式化简”和“具体置换验证”两条证据链。

严格边界

不能因某集合有六个元素就断言它与三角形对称群相同；还要比较运算结构。后续课程将沿子群、循环群、陪集与 Lagrange、正规子群与商群、同态、群作用、Sylow 入门，最终连接矩阵群、晶体和量子对称。

课后闭环

提交一页结构报告：列六个操作、写三个关系、化简两个乘积、指出非交换证据，并用顶点置换复核一次。

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