Idealning ajralmas yopilishi - Integral closure of an ideal

Algebrada ajralmas yopilish ideal Men komutativ uzuk R, bilan belgilanadi ${ displaystyle { overline {I}}}$, barcha elementlarning to'plamidir r yilda R bu ajralmas Menmavjud ${ displaystyle a_ {i} in I ^ {i}}$ shu kabi

${ displaystyle r ^ {n} + a_ {1} r ^ {n-1} + cdots + a_ {n-1} r + a_ {n} = 0.}$

Bu o'xshash ajralmas yopilish pastki qism. Masalan, agar R bu domen, element r yilda R tegishli ${ displaystyle { overline {I}}}$ agar va faqat cheklangan tarzda yaratilgan bo'lsa R-modul M, faqat nol bilan yo'q qilindi, shunday qilib ${ displaystyle rM subset IM}$. Bundan kelib chiqadiki ${ displaystyle { overline {I}}}$ ning idealidir R (aslida idealning ajralmas yopilishi har doim idealdir; pastga qarang.) Men deb aytilgan to'liq yopiq agar ${ displaystyle I = { overline {I}}}$.

Idealning ajralmas yopilishi teoremasida paydo bo'ladi Rees bu xarakterli analitik ravishda raqamlanmagan uzuk.

Misollar

• Yilda ${ displaystyle mathbb {C} [x, y]}$, ${ displaystyle x ^ {i} y ^ {d-i}}$ ajralmas hisoblanadi ${ displaystyle (x ^ {d}, y ^ {d})}$. Bu tenglamani qondiradi ${ displaystyle r ^ {d} + (- x ^ {di} y ^ {d (d-i)}) = 0}$qayerda ${ displaystyle a_ {d} = - x ^ {di} y ^ {d (d-i)}}$idealda.
• Radikal ideallar (masalan, asosiy ideallar) yaxlit yopiq. Integral yopiq ideallarning kesishishi ajralmas yopiq.
• A oddiy halqa, har qanday zerodivisor uchun x va har qanday ideal Men, ${ displaystyle { overline {xI}} = x { overline {I}}}$. Xususan, oddiy halqada, zerodivisor bo'lmagan tomonidan ishlab chiqarilgan asosiy ideal integral bilan yopiladi.
• Ruxsat bering ${ displaystyle R = k [X_ {1}, ldots, X_ {n}]}$ maydon ustida polinom halqasi bo'ling k. Ideal Men yilda R deyiladi monomial agar u monomial vositalar tomonidan yaratilgan bo'lsa; ya'ni, ${ displaystyle X_ {1} ^ {a_ {1}} cdots X_ {n} ^ {a_ {n}}}$. Monomial idealning ajralmas yopilishi monomialdir.

Tuzilish natijalari

Ruxsat bering R uzuk bo'ling. The Rees algebra ${ displaystyle R [It] = oplus _ {n geq 0} I ^ {n} t ^ {n}}$ idealning ajralmas yopilishini hisoblash uchun ishlatilishi mumkin. Tuzilish natijasi quyidagicha: ning integral yopilishi ${ displaystyle R [It]}$ yilda ${ displaystyle R [t]}$, baholanadigan, bu ${ displaystyle oplus _ {n geq 0} { overline {I ^ {n}}} t ^ {n}}$. Jumladan, ${ displaystyle { overline {I}}}$ ideal va ${ displaystyle { overline {I}} = { overline { overline {I}}}}$; ya'ni idealning integral yopilishi integral ravishda yopiladi. Bundan tashqari, bir hil idealning ajralmas yopilishi bir hil ekanligi kelib chiqadi.

Natijalarning quyidagi turi deyiladi Briankon-Skoda teoremasi: ruxsat bering R muntazam uzuk bo'ling va Men tomonidan yaratilgan ideal l elementlar. Keyin ${ displaystyle { overline {I ^ {n + l}}}} subset I ^ {n + 1}}$ har qanday kishi uchun ${ displaystyle n geq 0}$.

Ris teoremasida aytilgan:R, m) noeteriyalik mahalliy uzuk bo'ling. Bu shunday rasmiy ravishda teng o'lchovli (ya'ni tugatish teng o'lchovli.). Keyin ikkitasi m-birlamchi ideallar ${ displaystyle I subset J}$ agar ular bir xil bo'lsa, xuddi shunday integral yopilishga ega bo'ling ko'plik.^[1]

Izohlar

Adabiyotlar

• Eyzenbud, Devid, Algebraik geometriyaga qarashli komutativ algebra, Matematikadan magistrlik matni, 150, Springer-Verlag, 1995, ISBN  0-387-94268-8.
• Xuneke, Kreyg; Swanson, Irena (2006), Ideallarning, halqalarning va modullarning ajralmas yopilishi, London Matematik Jamiyati Ma'ruza Izohlari, 336, Kembrij, Buyuk Britaniya: Kembrij universiteti matbuoti, ISBN  978-0-521-68860-4, JANOB  2266432

Qo'shimcha o'qish

• Irena Swanson, Rees baholari.