5.4.1-tasdiq.Aytaylik, R kommutativ halqa, I esa uning nilpotent elementlaridan tashkil topgan qism to‘plami bo‘lsin. U holda I nil ideal bo‘lib, R/I faktor halqa noldan farqli nilpotent elementga ega emas.
∈
Isbot. Tasdiqning birinchi qismini, ya’ni I nil ideal ekanligini yuqorida keltirib o‘tdik. Shuning uchun tasdiqning ikkinchi qismini isbotlaymiz. Faraz qilaylik, a + I element R/I faktor halqaning nilpotent elementi bo‘lsin. U holda qandaydir n natural soni uchun (a + I)n = I tenglik o‘rinli bo‘ladi. Ikkinchi tomondan esa (a + I)n = an + I bo‘lganligi uchun an + I = I, ya’ni anI ekanligini hosil qilamiz. Bu esa, an elementning ham nilpotent element ekanligini bildiradi. Demak, shunday m natural soni uchun (an)m = 0, ya’ni anm = 0. Bundan biz a elementning nilpotent ekanligini, ya’ni a ∈ I bo‘lishini hosil qilamiz. Demak, a + I = I, bu esa R/I faktor halqaning nol elementi. Shunday qilib, biz R/I faktor halqa noldan farqli nilpotent elementga ega emasligini ko‘rsatdik.
Tub va keltirilmas elementlar
Ushbu bo‘limda birlik elementga ega bo‘lgan kommutativ halqaning tub va kelti- rilmas elementlari tushunchalarini kiritib, ularning xossalarini keltiramiz.
Aytaylik, R birlik elementga ega bo‘lgan kommutativ halqa bo‘lsin.
5.4.2-ta’rif.Agar birlik elementga ega bo‘lgan kommutativ R halqaning noldan farqli va teskarilanmaydigan p ∈ R elementi uchun p | ab ekanligidan p | a yoki p | b ekanligi kelib chiqsa, u holda ushbu element tub element deb ataladi.