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