映射 formula_137 要么是平凡映射，要么是同构；这是由于 formula_138 的核和像分别是 formula_112 和 formula_111 的子表示。特别地，若 formula_141，舒尔引理说明了 formula_112 的等变自同态组成一个其基域 formula_143 上的结合可除代数。如果 formula_143 是代数封闭的，那么不可约表示的等变自同态就只有恒等映射的标量倍数这一种。不可约表示是表示论的基本组成部分：如果表示 formula_111 是可约表示，那么它可以