הלמה של שור – הבדלי גרסאות

יהי <math>0 \neq \phi \in \operatorname{End}(M)</math>. אזי ה[[גרעין (אלגברה)|גרעין]] <math>\operatorname{ker}\phi</math> הוא תת מודול של <math>M</math>, ומכך ש-<math>\phi \neq 0</math> נקבל בהכרח <math>\ker \phi = 0</math>, כלומר <math>\phi</math> [[פונקציה חד-חד-ערכית|חד-חד-ערכית]].