模，意味着模甚至在"k"的代数闭包上也是不可约的。
矩阵形式.设"G"是一个复矩阵群，这意味着"G"是给定阶数"n"的一个方块矩阵集合，矩阵元素为复数，且"G"在矩阵乘法与取逆运算下封闭。另外，假设"G"是不可约的：没有"V"非平凡的子空间（即不为{0}或整个空间）在"G"的作用下不变。换句话说， 在针对一个表征时，舒尔引理断言：如果"A"这个"n"阶复矩阵可与"G"中所有矩阵交换，那么"A"是一个对角矩阵。这个命题一个简单的推论是阿贝尔群的任何不可约复表示都是一维的。Se