Halqa nazaryasi

Halqa nazariyasida mavhum algebraning bir boʻlimi, koeffitsient halqasi, farqli halqa yoki qoldiq sinf halqasi sifatida ham yaxshi tanilgan boʻlib, guruh nazariyasidagi boʻlim guruhiga va chiziqli algebradagi boʻlinma fazosiga juda oʻxshash konstruktsiyalardan biri. U universal algebraning umumiy sozlamasidan koʻrinib turibdiki, bu qismning oʻziga xos namunasi hisoblanadi. halqasidan va da ikki tomonlama ideal dan boshlab, yangi halqa, qism halqasi kelib chiqadi, uning elementlari dagi ning kosetlari boʻlib, maxsus va -operatsiyalariga bogʻliq boʻladi. (Faqat „/“ kasr qiyshiq chizigʻi boʻlim halqasi belgisida ishlatiladi, gorizontal kasr satri boʻlmaydi.)

Qism halqalari integral sohaning „boʻlim maydoni“ yoki kasrlar maydoni deb ataladigan misollardan, shuningdek lokalizatsiya natijasida olingan umumiy „boʻlimlar halqalari“ dan ham juda katta farq qiladi.

 Rasmiy qism halqasining yasalishi 
Halqa berilgan va ikki tomonlama ideal ichida , ekvivalentlik munosabatini belgilashimiz ham mumkin boʻladi yoqilgan quyida bayon qilsak boʻladi:

 agar va faqat agar ichida joylashgan ga teng.

Ideal xususiyatlardan foydalanib, buni tekshirish qiyin emas muvofiqlik munosabatidir hisoblanadi. Boʻlgan holatda , biz shuni aytamiz va mos modullardir hisoblanadi. Elementning ekvivalentlik klassi ichida tomonidan beriladi va u quyidagicha boʻladi

 .

Bu ekvivalentlik sinfi baʼzan shunday yoziladi va „qoldiq sinfi“ deb ham ataladi modul ga teng ".

Bunday barcha ekvivalentlik sinflari toʻplami bilan belgilanadi ; u halqaga, faktor halqasiga yoki koeffitsient halqasiga aylanishi ham modul , agar biri aniqlasa qolganlari quyidagicha topiladi

 ;
 .

(Bu yerda ushbu taʼriflar aniq belgilanganligini tekshirish kerak boʻladi. Koset va quotient guruhini solishtiramiz) ning nol elementi hisoblanadi va multiplikativ oʻziga xoslik ga teng boʻladi .

Xarita dan uchun tomonidan belgilanadi va quyidagi qiymatlarda suryektiv halqa homomorfizmi hisoblanadi, baʼzan tabiiy qism xaritasi yoki kanonik homomorfizm deb ham ataladi.

 Misollar 

 } qism halqasi tabiiy ravishda R ga izomorf, esa nol halqa {0}, chunki bizning taʼrifimiz boʻyicha R dagi har qanday r uchun bizda mavjud. }}, bu R ning oʻziga teng. Bu ideal I qanchalik katta boʻlsa, halqasining kichikligi haqidagi asosiy qoidaga mos keladi. Agar I R ning toʻgʻri ideali boʻlsa, yaʼni boʻlsa, u holda nol halqa emas.
 Z butun sonlar halqasini va 2 Z bilan belgilangan juft sonlar idealini koʻrib chiqaylik. U holda qism halqasi faqat ikkita elementga ega boʻlib, juft sonlardan iborat koset va toq sonlardan tashkil topgan kosetasi; taʼrifni qoʻllash, , bu yerda 2 Z juft sonlarning ideali. Ikki element F 2 boʻlgan chekli maydon uchun tabiiy ravishda izomorf boʻladi. Intuitiv ravishda: agar siz barcha juft raqamlarni 0 deb hisoblasangiz, har bir butun son yo 0 (agar u juft boʻlsa) yoki 1 (agar u toq boʻlsa va shuning uchun juft sondan 1 ga farq qilsa) boʻladi. Modulli arifmetika asosan (n ta elementdan iborat) halqadagi arifmetikdir.
 Endi X oʻzgaruvchisidagi koʻphadlar halqasini real koeffitsientlar, R X va koʻphadning barcha koʻpaytmalaridan tashkil topgan ideal koʻrib chiqaylik. Qism halqasi murakkab sonlar maydoniga tabiiy ravishda izomorf boʻlib, sinf X xayoliy birlik i rolini oʻynaydi. Buning sababi shundaki, biz „majbur qildik“, yaʼni , i ning aniqlovchi xususiyati.
 Oldingi misolni umumlashtiradigan boʻlsak, koʻpincha dala kengaytmalarini qurish uchun qism halqalari qoʻllanadi. Faraz qilaylik, K qandaydir maydon, f esa K X dagi qaytarilmas koʻphad boʻlsin. U holda K ga nisbatan minimal polinomi f boʻlgan maydon boʻlib, u K elementi bilan bir qatorda elementini ham oʻz ichiga oladi.
 Oldingi misolning muhim misollaridan biri cheklangan maydonlarni qurishdir. Masalan, uchta elementli maydonini koʻrib chiqing. koʻphad F 3 ga nisbatan qaytarilmaydi (chunki uning ildizi yoʻq) va biz boʻlak halqasini qurishimiz mumkin. Bu F 9 bilan belgilangan elementdan iborat maydon. Boshqa cheklangan maydonlar ham xuddi shunday tarzda tuzilishi mumkin.
 Algebraik navlarning koordinata halqalari algebraik geometriyada boʻlinish halqalarining muhim namunasidir. Oddiy holat sifatida, haqiqiy xilma-xilligini koʻrib chiqing haqiqiy R 2 tekislikning kichik toʻplami sifatida. V da aniqlangan real qiymatli polinom funksiyalar halqasini koordinatali halqa bilan aniqlash mumkin va bu V ning koordinatali halqasidir. Endi V navi uning koordinatali halqasini oʻrganish orqali tekshiriladi.
 Faraz qilaylik, M C ∞ – manifold, p esa M nuqtasi boʻlsin. M da aniqlangan barcha C ∞ -funktsiyalarning halqasini koʻrib chiqaylik va u p ning baʼzi U qoʻshnilarida bir xil nolga teng boʻlgan f funktsiyalardan iborat R da I ideal boʻlsin (bu yerda U f ga bogʻliq boʻlishi mumkin) . Keyin koʻrsatkich halqasi da M ustida C ∞ -funktsiyalarining mikroblari halqasidir.
 Giperreal maydonning chekli elementlarining F halqasini koʻrib chiqaylik * R . U standart realdan cheksiz kichik miqdor yoki ekvivalent bilan farq qiluvchi barcha giperreal sonlardan iborat: standart tamsayı n mavjud boʻlgan barcha giperreal sonlardan x . * R dagi barcha cheksiz kichik sonlarning I toʻplami, 0 bilan birga, F da ideal va boʻlinma halqasi R haqiqiy raqamlariga izomorfikdir. Izomorfizm F ning har bir x elementiga x ning standart qismini, yaʼni x dan cheksiz kichik bilan farq qiluvchi yagona haqiqiy sonni bogʻlash orqali induktsiya qilinadi. Haqiqatdan ham xuddi shunday natijaga erishiladi, yaʼni R, agar chekli giperratsionallarning F halqasidan boshlansa (yaʼni, giperintegerlar juftligi nisbati), haqiqiy sonlar qurilishiga qarang.

 Murakkab tekisliklarning oʻzgarishi 
, va boʻlaklari R uchun izomorf boʻlib ularga quyidagicha avvaliga unchalik qiziqish uygʻotmaydi. Lekin shuni yodda tutingki, geometrik algebrada ikkilik sonlar tekisligi deb ham atalishi mumkin. U R X elementini X2 ga qisqartirgandan soʻng „qoldiqlar“ sifatida faqat chiziqli yechimlari binomiallardan iborat ham boʻladi. Murakkab tekislikning bu oʻzgarishi algebrada haqiqiy chiziq va nilpotent boʻlganda subalgebra sifatida paydo boʻladi va quyidagicha boʻlishi ham mumkin.

Bundan tashqari, halqa koeffitsienti va ga boʻlinadi, shuning uchun bu halqa koʻpincha toʻgʻridan-toʻgʻri koʻrinadi. yigʻindisi Shunga qaramay, kompleks sonlarning oʻzgarishini j tomonidan ning ildizi sifatida taklif qilinadi, i esa ning ildizi sifatida. Ajratilgan murakkab sonlarning bu tekisligi algebraning oʻziga xosligi noldan birlik masofada joylashgan 2-fazo uchun asosini taʼminlash orqali toʻgʻridan-toʻgʻri yigʻindisini normallashtiradi. Shu asosda birlik giperbolani oddiy kompleks tekislikning birlik doirasi bilan solishtirish mumkin.

 Kvarternionlar va variatsiyalar 
Faraz qilaylik, X va Y ikkita, oʻzgarmas, noaniq va erkin algebrasini hosil qiladi. Keyin Gamiltonning 1843 yildagi kvaternionlari sifatida quyish mumkin

 

Agar oʻrniga qoʻyilgan boʻlsa, u holda boʻlingan kvaternionlar halqasi olinadi. Anti-kommutativ xususiyat XY oʻz kvadratiga ega ekanligini anglatadi

 (XY)(XY) = X (YX) Y = − X (XY) Y = −(XX)(YY) = −(−1)(+1) = +1.

Ikkala kvadratik binomida plyus oʻrniga minus qoʻyish ham boʻlinish ham kvaternionlariga olib kelishi mumkin.

Uchta turdagi biquaternionlarni erkin algebra yordamida uchta noaniq R ⟨X,Y,Z ⟩ bilan va tegishli ideallarni yaratish orqali ham boʻlaklar sifatida yozishimiz mumkin boʻladi.

 Xususiyatlari 
Shubhasiz, agar R kommutativ halqa boʻlsa, ham shunday boʻladi; ammo teskari umuman olganda, toʻgʻri kelmaydi.

Tabiiy boʻlim xaritasi p oʻzining yadrosi sifatida I ga ega hisoblanadi; har bir halqa gomomorfizmining yadrosi ikki tomonlama ideal boʻlganligi uchun, ikki tomonlama ideallar aynan halqa gomomorfizmlarining yadrosi ekanligini aytishimiz ham mumkin.

Halqa gomomorfizmlari, yadrolari va qism halqalari oʻrtasidagi yaqin munosabatni quyidagicha umumlashtirish mumkin boʻladi: da aniqlangan halqa gomomorfizmlari I da yoʻqolib ketadigan (yaʼni nolga teng boʻladigan) R da aniqlangan halqa gomomorfizmlari bilan mohiyatan bir xildir boʻladi. Aniqroq aytganda, R da ikki tomonlama ideal I va halqali omomorfizm berilgan boʻlib yadrosida I boʻlsa, aniq bitta halqali gomomorfizmi mavjuddir. bilan (bu yerda p – tabiiy koʻrsatkichlar xaritasi). Bu yerda g xaritasi R dagi barcha a uchun aniq belgilangan qoidasi bilan berilgan. Haqiqatan ham, bu universal xususiyatdan boʻlinish halqalari va ularning tabiiy boʻlim xaritalarini aniqlash uchun foydalanish mumkin boʻladi.

Yuqorida aytilganlarning natijasi boʻlaroq, asosiy bayonot olinadi va har bir halqa gomomorfizmi qism halqasi va tasvir im(f) oʻrtasida halqa izomorfizmini keltirib chiqarishi mumkin. (Shuningdek qarang: gomomorfizmlar haqidagi asosiy teorema .)

R va ideallari bir-biri bilan chambarchas bogʻliq hisoblanadi va tabiiy koeffitsientlar xaritasi I ni oʻz ichiga olgan R ning ikki tomonlama ideallari va ning ikki tomonlama ideallari oʻrtasidagi farqni taʼminlaydi (chap va oʻng uchun ham xuddi shunday ideallar mavjud). Ikki tomonlama ideal oʻrtasidagi bu munosabat mos keladigan boʻlaadiqism halqalari orasidagi munosabatga taalluqlidir hisoblanadi: agar M R dagi ikki tomonlama ideal boʻlsa, I ni oʻz ichiga oladi va biz quyidagi da mos keladigan ideal uchun yozamiz (yaʼni. ), qism halqalari va tabiiy ravishda (yaxshi belgilangan hisoblanadi!) xaritalash orqali izomorfdir boʻladi. 

Quyidagi faktlar kommutativ algebra va algebraik geometriyada foydalidir kommutativ uchun maydon, agar I maksimal ideal boʻlsa, esa integral sohadir boʻladi, agar I boʻlsa asosiy ideal boʻladi. Bir qator shunga oʻxshash bayonotlar ideal I ning xossalari halqasining xususiyatlari bilan bogʻliq hisoblanadi.

Xitoy qoldiqlari teoremasi shuni koʻrsatadiki, agar ideal I juftlik koʻpaytma ideallarning biror bir kesishishi (yoki ekvivalenti, mahsuloti) boʻlsa, I 1, . . ., I k, keyin qism halqasi ham , koʻpaytmasiga izomorf hisoblanadi boʻladi.

 Halqa ustidagi algebralar uchun qoidalar 
Kommutativ halqa ustidagi assotsiativ algebra A R – bu uzuk hisoblanadi. Agar men ideal boʻlsam A (R -koʻpaytirish ostida yopiq boʻladi), keyin A / I algebra tuzilishini qabul qilib oladi. R va qism algebrasi .

 Shuningdek 

 Bogʻlangan darajali uzuk
 Qoldiq maydoni
 Goldie teoremasi
 Quotient moduli

 

 Qoʻshimcha 

 F. Kasch (1978) Moduln und Ringe, DAR Wallace (1982) tomonidan tarjima qilingan Modullar va uzuklar, Akademik matbuot, 33-bet.
 Neal H. McCoy (1948) Rings va ideallar, § 13 Qoldiq sinfi halqalari, 61-bet, Carus Matematik Monografiyalari № 8, Amerika Matematik Assotsiatsiyasi .
 0-387-98541-7
 BL van der Waerden (1970) Algebra, Fred Blum va Jon R Schulenberger tomonidan tarjima qilingan, Frederik Ungar nashriyoti, Nyu-York. 3.5-bobga qarang, „Ideallar. Qoldiq sinfi halqalari“, 47-51-betlar.

 

 Ideals and factor rings from John Beachy’s Abstract Algebra Online
Turkum:Matematik belgilashlar
Turkum:Matematik jamiyatlar
Turkum:Matematik funktsiya andozasi