Kasch halqasi - Kasch ring

Yilda halqa nazariyasi, ning pastki maydoni mavhum algebra, a o'ng Kasch halqasi uzuk R buning uchun har biri oddiy to'g'ri R modul a uchun izomorfik to'g'ri ideal ning R.^[1] Shunga o'xshash tarzda a tushunchasi chap Kasch halqasi belgilanadi va ikkala xususiyat bir-biridan mustaqildir.

Kasch uzuklari matematik sharafiga nomlangan Fridrix Kasch. Dastlab Kasch qo'ng'iroq qildi Artinian uzuklari kimga tegishli ideallar nolga teng yo'q qiluvchi vositalar S-uzuklar. (Kasch 1954 yil ) harv xatosi: maqsad yo'q: CITEREFKasch1954 (Yordam bering)(Morita 1966 yil ) harv xatosi: maqsad yo'q: CITEREFMorita1966 (Yordam bering) Quyidagi tavsiflar shuni ko'rsatadiki, Kasch halqalari S halqalarini umumlashtiradi.

Ta'rif

Ekvivalent ta'riflar faqat o'ng tomon versiyasi uchun kiritiladi, chap qo'l analoglari ham to'g'ri ekanligini tushunib. Kasch shartlari kontseptsiyasidan foydalangan holda bir nechta ekvivalent bayonotlarga ega yo'q qiluvchi vositalar, va ushbu maqolada yo'q qiluvchi maqolada keltirilgan bir xil yozuvlardan foydalaniladi.

Kirish qismida keltirilgan ta'rifga qo'shimcha ravishda, quyidagi xususiyatlar halqa uchun teng ta'riflardir R to'g'ri Kasch bo'lish. Ular (Lam 1999 yil, p. 281):

1. Har bir oddiy huquq uchun R modul S, nolga teng bo'lmagan modul mavjud homomorfizm dan M ichiga R.
2. The maksimal to'g'ri ideallar ning R halqa elementlarining to'g'ri qirg'inchilaridir, ya'ni ularning har biri shaklga ega ${ displaystyle mathrm {r.ann} (x) ,}$ qayerda x ichida R.
3. Har qanday maksimal o'ng ideal uchun T ning R, ${ displaystyle mathrm { ell .ann} (T) neq {0 }}$.
4. Har qanday to'g'ri ideal uchun T ning R, ${ displaystyle mathrm { ell .ann} (T) neq {0 }}$.
5. Har qanday maksimal o'ng ideal uchun T ning R, ${ displaystyle mathrm {r.ann} ( mathrm { ell .ann} (T)) = T}$.
6. R yo'q zich bundan tashqari to'g'ri ideallar R o'zi.

Misollar

Quyidagi tarkibni quyidagi kabi havolalarda topish mumkin.Imon 1999, p. 109) harv xatosi: maqsad yo'q: CITEREFFaith1999 (Yordam bering), (Lam 1999 yil, §§8C, 19B), (Nikolson va Yousif 2003 yil, s.51) harv xatosi: maqsad yo'q: CITEREFNicholsonYousif2003 (Yordam bering).

• Ruxsat bering R bo'lishi a yarim yarim halqa bilan Jeykobson radikal J. Agar R kommutativ yoki agar bo'lsa R/J a oddiy halqa, keyin R o'ng (va chapda) Kasch. Xususan, komutativ Artinian uzuklari Kasch o'ng va chap tomonda.
• Bo'linish halqasi uchun k, ma'lum bir subringni ko'rib chiqing R dan yozuvlar bilan to'rtdan to'rtgacha matritsali halqaning k. Subring R quyidagi shakldagi matritsalardan iborat:

${ displaystyle { begin {bmatrix} a & 0 & b & c 0 & a & 0 & d 0 & 0 & a & 0 0 & 0 & 0 & e end {bmatrix}}}$

Bu o'ng va chap Artinian halqasi, u o'ng Kasch, ammo emas chap Kasch.

• Ruxsat bering S ning halqasi bo'ling quvvat seriyasi ishlamaydigan ikkita o'zgaruvchida X va Y maydondan olingan koeffitsientlar bilan F. Ideal bo'lsin A ikki element tomonidan yaratilgan ideal bo'ling YX va Y². The uzuk S/A a mahalliy halqa bu to'g'ri Kasch ammo emas chap Kasch.
• Aytaylik R uzuk to'g'ridan-to'g'ri mahsulot cheksiz nolga teng bo'lmagan uzuklardan iborat A_k. The to'g'ridan-to'g'ri summa ning A_k ning tegishli idealini shakllantiradi R. Ushbu idealning chap va o'ng qirg'inchilari nolga teng ekanligi osongina tekshiriladi va shu sababli R o'ng yoki chap emas Kasch.
• Ikki-ikkitadan yuqori (yoki pastki) uchburchak matritsali halqa o'ng yoki chap emas Kasch.
• O'ng bilan uzuk socle nol (ya'ni ${ displaystyle mathrm {soc} (R_ {R}) = {0 }}$) to'g'ri Kasch bo'lishi mumkin emas, chunki ringda "yo'q" mavjud minimal to'g'ri ideallar. Masalan, masalan domenlar ular yo'q bo'linish uzuklari Kasch o'ng yoki chap emas.

Adabiyotlar

• Iymon, Karl (1999), Yigirmanchi asrdagi assotsiativ algebraning uzuklari va buyumlari va nozik qatori, Matematik tadqiqotlar va monografiyalar, 65, Providence, RI: Amerika matematik jamiyati, xxxiv + 422-bet, ISBN  978-0-8218-0993-8, JANOB  1657671
• Kasch, Fridrix (1954), "Grundlagen einer Theorie der Frobeniuserweiterungen", Matematika. Ann. (nemis tilida), 127: 453–474, doi:10.1007 / bf01361137, ISSN  0025-5831, JANOB  0062724

• Lam, Tsit-Yuen (1999), Modullar va halqalar bo'yicha ma'ruzalar, 189-sonli matematikadan magistrlik matnlari, Berlin, Nyu-York: Springer-Verlag, ISBN  978-0-387-98428-5, JANOB  1653294
• Morita, Kiiti (1966), "On S- F. Kasch ma'nosidagi uzuklar ", Nagoya matematikasi. J., 27 (2): 687–695, doi:10.1017 / S0027763000026477, ISSN  0027-7630, JANOB  0199230
• Nikolson, V. K.; Yousif, M. F. (2003), Kvazi-Frobenius uzuklari, Matematikada Kembrij traktlari, 158, Kembrij: Kembrij universiteti matbuoti, xviii + 307 bet, doi:10.1017 / CBO9780511546525, ISBN  978-0-521-81593-2, JANOB  2003785