综合应用：用商群消去不重要的对称

本课要解决的问题

当某类动作在问题中被视为等价，怎样用商群得到更小但仍可计算的模型？

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

概念建立

建模步骤是：确定母群 G；找出应被忽略的动作 H；验证 H 正规；以陪集作为新状态；用商群运算迁移原动作。商群保留组合作用，却抹去 H 内部差异，适合描述只关心宏观类别的问题。

推导主线

在 D₄ 中，旋转子群 R=⟨r⟩ 有4个元素且指数2，所以正规。商群 D₄/R 只有两个元素：R（旋转类）与 sR（反射类）。乘法满足 (sR)²=s²R=R，因此商群同构于 C₂，只记录操作是否包含反射。

完整例题

连续执行任意多个正方形对称，若应用只关心‘保向’还是‘翻向’，所有旋转都归为 R，所有反射归为 sR。两次翻向合成为保向，正对应 C₂ 的加法规则1+1=0。

严格边界

选择 H 是建模判断，不是纯计算：若应用仍需区分90°与180°旋转，就不能把整个 R 压成一点。非正规子群不能用自然陪集乘法实现同样压缩。

课后闭环

为正多边形对称写出‘忽略所有旋转、只保留翻向性’的商模型；验证旋转子群正规，并解释商群为何始终只有两个元素。

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