Krulls teoremasi - Krulls theorem - Wikipedia

Yilda matematika, va aniqrog'i halqa nazariyasi, Krull teoremasinomi bilan nomlangan Volfgang Krull, deb ta'kidlaydi a nolga teng bo'lmagan uzuk[1] kamida bittasi bor maksimal ideal. Teorema 1929 yilda Krull tomonidan isbotlangan transfinite induksiyasi. Teorema a Zorn lemmasidan foydalangan holda oddiy dalil, va aslida tengdir Zorn lemmasi,[2] bu o'z navbatida ga teng tanlov aksiomasi.

Variantlar

Ruxsat bering R uzuk bo'ling va ruxsat bering Men bo'lishi a to'g'ri ideal ning R. Keyin maksimal ideal mavjud R o'z ichiga olgan Men.
Ushbu natija asl teoremani nazarda tutadi Men bo'lish nol ideal (0). Aksincha, asl teoremani R/Men bu natijaga olib keladi.
Kuchli natijani to'g'ridan-to'g'ri isbotlash uchun to'plamni ko'rib chiqing S ning barcha ideal ideallari R o'z ichiga olgan Men. To'plam S beri bo'sh emas MenS. Bundan tashqari, har qanday zanjir uchun T ning S, ideallarning birlashishi T idealdir Jva 1 tarkibiga kirmagan ideallar birlashmasi 1 ni o'z ichiga olmaydi, shuning uchun JS. Zorn lemmasi bilan, S maksimal elementga ega M. Bu M o'z ichiga olgan maksimal idealdir Men.

Krullning Hauptidealsatz

Odatda Krull teoremasi deb ataladigan yana bir teorema:

Ruxsat bering noeteriyalik uzuk bo'ling va ning elementi bu ham emas nol bo'luvchi na a birlik. Keyin har bir minimal asosiy ideal o'z ichiga olgan bor balandlik 1.

Izohlar

  1. ^ Ushbu maqolada uzuklar 1 ga ega.
  2. ^ Xodjes, V. (1979). "Krull Zornni nazarda tutadi". London Matematik Jamiyati jurnali. s2-19 (2): 285-287. doi:10.1112 / jlms / s2-19.2.285.

Adabiyotlar