定理陈述 #

定理：设 $T:G\rightarrow GL(V)$ 和 $S:G\rightarrow GL(U)$ 是有限群 $G$ 的两个不可约表示。若存在矩阵 $A$ 满足对任意 $g\in G$，有 $AT(g)=S(g)A$，则要么 $A=0$，要么 $A$ 是可逆方阵，且此时两个表示等价。

原证明过程（含我的困惑） #

我看到的证明过程是这样的：

假设 $T$ 是 $n$ 维表示，$S$ 是 $m$ 维表示，显然 $A$ 是 $m\times n$ 矩阵。令 $W\subset V$ 是 $A$ 的核，即 $Aw=0$ 当且仅当 $w\in W$。

对任意作用在 $W$ 上的线性变换矩阵 $P$，有 $AP=0$。由此可得 $AT(g)P=S(g)AP=0$。由 $AT(g)P=0$ $\stackrel{1}{\implies}$ 对任意 $w\in W$，$T(g)Pw\in W$ $\stackrel{2}{\implies}$ 对任意 $w\in W$，$T(g)w\in W$。

这说明 $W$ 是 $T$-不变子空间。由于 $T$ 不可约，$W$ 只能是 ${0}$ 或 $V$：若 $W=V$，则 $A=0$；若 $W={0}$，则对任意非零 $v\in V$，$Av\neq0$。

接下来证明者说要对 $U$ 定义子空间 $W'\subset U$，满足 $uA=0$ 当且仅当 $u\in W'$，然后用同样的逻辑推导。

我的困惑点 #

• 为什么对 $U$ 要选左作用 $uA$？
• 证明中提到的“若行数小于列数则存在非零 $v\in V$ 使 $Av=0$”、“若列数小于行数则存在非零 $u\in U$ 使 $uA=0$”，这个存在性我没搞懂。
• 整体上我没法直观理解这个定理，没法把逻辑串起来自己写出证明，希望能得到直觉层面的解释。

针对困惑的解释与直觉梳理 #

1. 为什么对 $U$ 用左作用 $uA$？ #

其实这里的本质是对偶视角：我们对 $V$ 看的是 $A$ 的列空间/核（右作用，$Av$ 是列向量的线性组合），而对 $U$ 要对应看 $A$ 的行空间/左核（也叫零化子）。因为 $A$ 是 $m\times n$ 矩阵，左作用 $uA$ 相当于把行向量 $u$ 和 $A$ 相乘，得到的是 $n$ 维行向量，它的核就是所有满足 $uA=0$ 的行向量 $u$ 构成的子空间。

这么做是为了对称利用两个表示的不可约性：对 $V$ 我们用 $T$ 的不可约性得到 $A$ 的核只能是 ${0}$ 或 $V$；对 $U$ 要构造一个 $S$-不变子空间——而 $W'$ 恰好是 $S$-不变的：对任意 $u\in W'$，$uA=0$，那么 $S(g)u \cdot A = u S(g)^{-1} A$（因为 $S(g)$ 可逆），结合条件 $A T(g^{-1}) = S(g^{-1}) A$，代入得 $u A T(g^{-1}) = 0$，而 $A$ 的核是 ${0}$，所以 $T(g^{-1})$ 作用在任意向量上都不会让 $A$ 映射到0，反过来就推出 $S(g)u \in W'$，即 $W'$ 是 $S$-不变的，从而只能是 ${0}$ 或 $U$。

2. 关于存在性的问题 #

这是线性代数里的基本结论：

• 对于 $m\times n$ 矩阵 $A$，如果 $m < n$（行数少于列数），列向量组必然线性相关，所以存在非零列向量 $v$ 使得 $Av=0$（核非平凡），这和我们之前得到的“$A$ 的核是 ${0}$”矛盾，所以 $m\geq n$。
• 反过来，如果 $n < m$（列数少于行数），行向量组线性相关，存在非零行向量 $u$ 使得 $uA=0$（左核非平凡），这和“$W'={0}$”矛盾，所以 $n\geq m$。
• 结合起来就得到 $m=n$，$A$ 是方阵，再加上核为 ${0}$，方阵核平凡就意味着可逆（因为方阵可逆等价于核平凡，也等价于行列式非零）。

3. 直觉层面的理解 #

Schur引理的核心是不可约表示的“刚性”：不可约表示没有非平凡的不变子空间，这意味着任何连接两个不可约表示的线性映射（这里就是矩阵 $A$）要么“完全失效”（映射成零），要么“完全保真”（可逆，从而两个表示本质上是一样的，只是基不同）。

你可以把表示想象成群 $G$ 在向量空间上的“动作”：$T(g)$ 是 $G$ 中元素 $g$ 在 $V$ 上的动作，$S(g)$ 是在 $U$ 上的动作。矩阵 $A$ 相当于一个“翻译器”，把 $V$ 里的向量翻译成 $U$ 里的向量，并且这个翻译器和群的动作兼容——不管先做群动作再翻译，还是先翻译再做群动作，结果都一样。

如果这个翻译器不是零映射，那它不能把任何非零向量映射成零（否则这些被映射成零的向量构成一个 $T$-不变子空间，违反不可约性），同时也不能有任何非零向量在 $U$ 里是“无法被翻译到的”（或者说不能有非零向量被所有翻译后的向量零化，否则这些向量构成 $S$-不变子空间）。这就要求翻译器必须是一一对应的，也就是可逆方阵，两个空间维度相同，动作本质上是一样的，只是换了个基而已。

备注：内容来源于stack exchange，提问作者N00BMaster