实验：特征标内积

先把问题放到桌面上

这一节不从术语表开始。我们先问：面对“实验：特征标内积”，怎样把直觉变成另一位同学可以逐行复查的定义、计算和证明？本章主线是“表示论与特征标入门”。请写出对象属于哪个群或集合、运算如何定义、单位元是谁、结论要证明相等、同构、正规、整除还是计数。核心机制是：先展开“实验：特征标内积”的定义，再在表示论与特征标入门的具体小群中完成构造、计算与证明；第7步必须说明对象、运算和量词。

先在 Z_n、S_3、D_4 或一个小置换作用中挑最小实例。列元素或生成元关系，执行一次运算，标出单位与逆，再计算子群、陪集、轨道、核、共轭类或表示。不许只写最终数值；至少保存四个中间状态，让错误能被定位。

从前一章搭桥

本节向前连接“群扩张、半直积与可解性”。置换让运算可见，子群让局部结构稳定，陪集把群等分，正规性保证压缩后运算良定义，同态说明压缩丢失什么，群作用又把抽象群送回具体对象。请先展开前置定义，再说本节只新增了哪个困难。

看到 H≤G，就写单位、乘法与逆元封闭；看到 N◁G，就写 gNg⁻¹=N；看到 φ 是同态，就写 φ(xy)=φ(x)φ(y)；看到作用，就写 e·x=x 和 (gh)·x=g·(h·x)。定义展开以后，定理不再是凭空出现的结论。

跟老师完整推一遍

第一步冻结约定，尤其是置换复合顺序、D_n 下标、左作用或右作用。第二步算最小正常例。第三步用另一条路线核对：计数结果应回到母集大小，映射应检查良定义和单满性，商运算应更换代表元仍得到同一陪集。第四步主动删掉一个假设并找反例。

当前推演必须显式使用：先展开“实验：特征标内积”的定义，再在表示论与特征标入门的具体小群中完成构造、计算与证明；第7步必须说明对象、运算和量词。请圈出哪一行用了封闭性，哪一行用了逆元、正规性、有限性或域的条件。如果圈不出来，说明你只是抄了结论，没有完成证明。

证明骨架

群论证明常用三种动作：任取元素并展开定义；用乘法双射、陪集划分或轨道划分计数；构造映射后依次证明良定义、同态、单射和满射。同构定理不能跳过良定义，阶数题必须区分必要条件与已经构造出对象。

本课作答顺序固定为：对象与量词，假设与目标，关键构造，中间等式，结论，适用边界。双条件分两个方向；存在性给出见证并验证；唯一性比较任意两个候选；归纳或最小反例要说明度量严格下降。

边界与反例

本节最危险的误用是：Maschke 定理要检查底域特征；实表示与复表示不可直接混用。 本课还须反查“实验：特征标内积”所用的有限性、正规性、交换性或底域条件。 把这句话改写成反例任务：删除其中一个条件，寻找最小群或最小作用，使原结论第一次在封闭、良定义、正规、整除、共轭或底域处失败。

反例不是一句“结论不成立”。要列出对象、运算和它仍满足的假设，再算出失败步骤。程序枚举没有发现反例，也只能证明已枚举的有限输入；一般命题仍需要定义、双射、计数或结构定理连接。

四类练习与实验

本节绑定单选、多选、计算和证明四类题。单选检查条件，多选逐项给理由，计算题保留阶、指数、核像、轨道或内积的中间量，证明题按定义2分、构造3分、推理3分、边界2分评分。每章第七课另有真实 Python 实验，至少四组输入输出测试。

做错后不要抄答案。把错误标为复合顺序、对象层次、代表元偷换、正规性遗漏、Lagrange 逆用、同阶与共轭混淆、作用核遗漏或表示底域遗漏。隔一天换另一个小群重做，直到可以恢复全部中间步骤。

和后续内容建立因果联系

不要把“实验：特征标内积”封存在本章。请画一条三节点依赖链：前置定义怎样保证“实验：特征标内积”的构造合法，它所使用的“先展开“实验：特征标内积”的定义，再在表示论与特征标入门的具体小群中完成构造、计算与证明；第7步必须说明对象、运算和量词”怎样成为“计数、几何与物理中的群”中的输入，删去哪项条件会让后续箭头断裂。再用同一个小群分别从元素计算、子群结构和作用或表示三个视角描述一次；三种答案必须相容。这个反查能及时发现把集合等式误当元素等式、把陪集双射误当群同构等隐蔽错误。

下课前闭卷验收

一，用一句话说明“实验：特征标内积”解决的结构问题。二，写核心定义和机制。三，算一个最小正常例。四，构造对应“Maschke 定理要检查底域特征；实表示与复表示不可直接混用。 本课还须反查“实验：特征标内积”所用的有限性、正规性、交换性或底域条件。”的失败例。五，把结论连接到下一章“计数、几何与物理中的群”。六，指出本节究竟依赖有限性、正规性、交换性还是域的特征。

能完成六问，说明概念已经成为工具；若只能认出术语，就回到小群重新展开定义。群论的深度不在符号多，而在每次压缩、作用和分解都知道保留什么、丢失什么、为何合法。