课程收口：从群公理到对称约束的完整建模链

本课要解决的问题

面对一个新对称问题，如何从对象和运算走到可验证的结构预测？

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

完整流程是：定义对象与复合；验证群公理；找子群、陪集与商结构；用同态和表示把抽象动作转成矩阵；借群作用求轨道稳定子；用Sylow或共轭约束有限结构；最后把预测迁移到晶体等价位点或量子对称扇区。

正方形四顶点紧束缚模型的邻接矩阵与D₄置换表示对易，因此可按对称模式对角化。其能量比例可写为2,0,0,-2，共3个不同本征值；中间0能级二重简并，来自二维对称子空间。

若扰动保持全部D₄对称，二维简并不能任意劈裂；若只保留一个反射，表示分解改变，原简并可能拆开。实验中可由谱线分裂反推对称降低。

群论给出允许、禁止与简并结构，不单独决定所有数值；耦合常数仍来自具体物理模型和实验。使用对称必须明确哪些操作真实保持系统。

为四站点方形模型写D₄作用矩阵、找全对称态、对角化邻接矩阵，并比较保持与破坏旋转的扰动对谱的影响。

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