WikiDer > Ikkala markazlashtiruvchi teorema

Filialida mavhum algebra deb nomlangan halqa nazariyasi, ikkita markazlashtiruvchi teorema shunga o'xshash bir nechta natijalarning istalgan biriga murojaat qilishi mumkin. Ushbu natijalar tegishli subringning markazlashtiruvchisi S uzuk R, belgilangan C_R(S) ushbu maqolada. Har doim shunday bo'ladi C_R(C_R(S)) o'z ichiga oladi S, va ikkita markazlashtiruvchi teorema shartlarni beradi R va S bu buni kafolatlaydi C_R(C_R(S)) bo'ladi teng ga S.

Teorema bayonlari

Motivatsiya

Subringning markazlashtiruvchisi S ning R tomonidan berilgan

${ displaystyle mathrm {C} _ {R} (S) = {r in R mid rs = sr { text {for all}} s in S }. ,}$

Shubhasiz C_R(C_R(S)) ⊇ S, lekin har doim ham ikkita to'plam teng deb aytish mumkin emas. Ikkala markazlashtiruvchi teoremalar tenglik yuzaga keladi degan xulosaga kelish shartlarini beradi.

Yana bir alohida qiziqish mavjud. Ruxsat bering M o'ng bo'ling R modul va bering M tabiiy chap E-modul tuzilishi, qaerda E End (M), abeliya guruhining endomorfizmlari halqasi M. Har bir xarita m_r tomonidan berilgan m_r(x) = xr ning qo'shimchali endomorfizmini hosil qiladi M, ya'ni E. Xarita r → m_r ning halqa homomorfizmi R ringga Eva biz tasvirini belgilaymiz R ichida E tomonidan R_M. Buni tekshirish mumkin yadro bu kanonik xaritaning yo'q qiluvchi Enn (M_R). Shuning uchun, tomonidan izomorfizm teoremasi uzuklar uchun, R_M qismli halqa uchun izomorfdir R/ Ann (M_R). Qachon aniq M a ishonchli modul, R va R_M izomorfik uzuklardir.

Hozir E bilan uzuk R_M subring sifatida va C_E(R_M) shakllanishi mumkin. Ta'rifga ko'ra, buni tekshirish mumkin C_E(R_M) = Tugatish (M_R), halqasi R moduli endomorfizmlari M. Agar shunday bo'lsa, shunday bo'ladi C_E(C_E(R_M)) = R_M, bu gapirish bilan bir xil narsa C_E(Oxiri(M_R)) = R_M.

Markaziy oddiy algebralar

Ehtimol, eng keng tarqalgan versiyasi uchun versiya markaziy oddiy algebralar, ko'rinib turganidek (Knapp 2007 yil, p.115):

Teorema: Agar A maydon bo'yicha cheklangan o'lchovli markaziy oddiy algebra F va B ning oddiy subalgebra hisoblanadi A, keyin C_A(C_A(B)) = Bva bundan tashqari, o'lchamlar qondiradi

${ displaystyle mathrm {dim} _ {F} (B) cdot mathrm {dim} _ {F} ( mathrm {C} _ {A} (B)) = mathrm {dim} _ {F} (A). ,}$

Artinian uzuklari

Uchun quyidagi umumlashtirilgan versiya Artinian uzuklari (sonli o'lchovli algebralarni o'z ichiga olgan) ()Isaak 2009 yil, s.187). Berilgan oddiy R modul U_R, biz yuqorida ko'rsatilgan motivatsiya bo'limidan nota olamiz, shu jumladan R_U va E= Tugatish (U). Bundan tashqari, biz yozamiz D.= Tugatish (U_R) subringasi uchun E iborat R-omomorfizmlar. By Shur lemmasi, D. a bo'linish halqasi.

Teorema: Ruxsat bering R oddiy o'ng modulga ega o'ng Artinian uzuk bo'ling U_Rva ruxsat bering R_U, D. va E oldingi xatboshidagi kabi berilgan. Keyin

${ displaystyle R_ {U} = mathrm {C} _ {E} ( mathrm {C} _ {E} (R_ {U})) ,}$.

Izohlar

• Ushbu versiyada halqalarni isbotlash maqsadida tanlangan Jeykobson zichligi teoremasi. E'tibor bering, u faqat oddiy pastki algebra versiyasidan farqli o'laroq ma'lum bir subring markazlashtiruvchi xususiyatga ega degan xulosaga keladi.
• Algebralar odatda komutativ halqalarga nisbatan aniqlanganligi va yuqoridagi barcha halqalar noaniq bo'lishi mumkinligi sababli, algebralar albatta ishtirok etmasligi aniq.
• Agar U qo'shimcha ravishda a ishonchli modul, Shuning uchun; ... uchun; ... natijasida R bu huquq ibtidoiy halqa, keyin R_U uchun halqa izomorfik R.

Polinom identifikatori jiringlaydi

Ichida (Rowen 1980 yil, p.154), versiyasi berilgan polinom identifikatori jiringlaydi. Z belgisi (R) ni belgilash uchun ishlatiladi halqa markazi R.

Teorema: Agar R a oddiy polinomning identifikatsiya rishtasi va A oddiy Z (R) subalgebra R, keyin C_R(C_R(A)) = A.

Izohlar

• Ushbu versiyani markaziy oddiy algebra versiyasi va Artinian halqa versiyasi o'rtasida "o'rtasida" deb hisoblash mumkin. Buning sababi oddiy polinomial identifikatsiya halqalari Artinian,^[1] ammo Artinian versiyasidan farqli o'laroq, xulosa hanuzgacha barcha markaziy pastki qismlarga tegishli R.

fon Neumann Algebras

The Von Neymanning ikkitomonlama teoremasi * -subalgebra A ning algebrasi chegaralangan operatorlar B(H) a Hilbert maydoni H a fon Neyman algebra (ya'ni zaif yopiq) agar va faqat agar A = C_B(H)C_B(H)(A).

Ikkala markazlashtiruvchi xususiyat

Modul M ega bo'lishi aytiladi er-xotin markazlashtiruvchi xususiyat yoki bo'lish a muvozanatli modul agar C_E(C_E(R_M)) = R_M, qayerda E = Tugatish (M) va R_M motivatsiya qismida berilganidek. Ushbu terminologiyada, ikki tomonlama markazlashtiruvchi teoremaning Artinian halqa versiyasida o'ng artiniya halqalari uchun oddiy o'ng modullar muvozanatli modullar ekanligi ta'kidlangan.

Izohlar

Adabiyotlar

• Isaaks, I. Martin (2009), Algebra: bitiruv kursi, Matematika aspiranturasi, 100, Providence, RI: Amerika matematik jamiyati, xii + 516-betlar, ISBN 978-0-8218-4799-2, JANOB 2472787 1994 yil asl nusxasini qayta nashr etish
• Knapp, Entoni V. (2007), Murakkab algebra, Cornerstones, Boston, MA: Birkhäuser Boston Inc., xxiv + 730-betlar, ISBN 978-0-8176-4522-9, JANOB 2360434
• Rouen, Lui Xelli (1980), Halqa nazariyasidagi polinom identifikatorlari, Sof va amaliy matematika, 84, Nyu-York: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], xx + 365-betlar, ISBN 0-12-599850-3, JANOB 0576061