11 只有两个子表示，即平凡子空间 formula_131 与 formula_111 本身，那么这个表示被称为不可约表示；反之，如果 formula_111 拥有非平凡子表示，那么 formula_111 就被称为可约表示。不可约表示的定义蕴涵了舒尔引理：不可约表示 formula_112 和 formula_111 之间的等变映射 formula_137 要么是平凡映射，要么是同构；这是由于 formula_138 的核和像分别是 formula_112 和 formula_111 的子表示。特别地