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

* בכל [[חוג עם זהויות|חוג עם זהויות]] <math>\ \overline{N}(R) = \operatorname{Nil}_*(R)</math>{{הערה|McConnel and Robson, 13.2.6}} (בחוג עם זהויות הנוצר סופית מעל חוג קומוטטיבי נתרי, אפילו <math>\ \operatorname{Jac}(R) = \operatorname{Nil}_*(R)</math>, משפט Razmyslov-Kemer-Braun).