自同态要么是由一个非零数量相乘给出，要么是零。注意到在此时的前提下，除环中的任意元素f在"M"中存在特征子空间，而该特征子空间是"R"不变的，从而就是M，于是f属于C。这便是说模"M"的自同态环是C，即“尽可能小”。更一般地，这个结论对任何代数封闭域上的代数以及至少是可数维单模也成立。如果域不是代数封闭的，自同态环尽可能小的情形是特别感兴趣的：一个"k"-代数上的单模称为绝对单如果其自同态环同构于"k"。这个条件一般强于是域"k"上的不可约模，意味着模甚至在"k"的代数闭包上也是不可约的。Section