方形对称群 D₄：关系式比乘法表更有力量

本课要解决的问题

怎样用两个生成元控制八个对称，并准确处理旋转与反射的次序？

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

概念建立

D₄ 由 r（旋转90°）与 s（一次反射）生成，满足 r⁴=e、s²=e、sr=r⁻¹s。每个元素都可化为 rᵏ 或 rᵏs，其中 k=0,1,2,3。这种“生成元加关系”的描述比逐格背八乘八表更紧凑。

推导主线

关系 sr=r⁻¹s 表示把反射越过一个旋转时，旋转方向反转。于是 sr²=r⁻²s=r²s。任何含多个 s 的词都可先移动 s，再用 s²=e 消去，最终得到标准形。由 sr≠rs 可见 D₄ 通常不是阿贝尔群。

完整例题

化简 sr³s。由 sr³=r⁻³s=rs，所以 sr³s=rss=r。另一个例子：(r²s)²=r²sr²s=r²r⁻²ss=e，说明每个反射型元素的阶为2。

严格边界

不同教材可能把 n 边形对称群记作 Dₙ 或 D₂ₙ；必须同时说明对象是正方形且群有8个元素。关系式的乘法方向也必须与变换复合约定一致。

课后闭环

只用三条关系化简 sr²s、rsr 与 (rs)²，并用实际正方形动作核对。最后自己填写 r、s 生成的部分乘法表。

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