舒尔表示引理

如果 在 上和 在 上是不可约表示，且 是一个线性映射，使得对于所有 和 群 ，有 ，则 或 是可逆的。此外，如果在复数域上的 向量空间 中 ，则 是一个标量。