么 formula_111 就被称为可约表示。不可约表示的定义蕴涵了舒尔引理：不可约表示 formula_112 和 formula_111 之间的等变映射 formula_137 要么是平凡映射，要么是同构；这是由于 formula_138 的核和像分别是 formula_112 和 formula_111 的子表示。特别地，若 formula_141，舒尔引理说明了 formula_112 的等变自同态组成一个其基域 formula_143 上的结合可除代数。如果 formula_143 是代数封闭