Đại số giao hoán, IX, p. 70
Cho A là một vành và cho (Jn)n∈N là một dãy giảm các iđêan của A, thỏa mãn pJn+Jnp⊂Jn+1 với mọi số nguyên n⩾0. Cho R là một vành có đặc số p và cho φ là một đồng cấu vành từ R vào A/J0. Một phép nâng của φ lên A/Jn theo định nghĩa là một ánh xạ φn:R→A/Jn sao cho φn(xp)=φn(x)p với x∈R, và cho lại φ bằng cách chuyển qua thương. a) Cho φn,φ~n là hai phép nâng của φ lên A/Jn. Khi đó φn và φ~n trùng nhau trên Rpn. b) Nếu R là hoàn hảo, tồn tại một phép nâng duy nhất φn của φ lên A/Jn. Ta có φn(1)=1 và φn(xy)=φn(x)φn(y) với x,y∈R.