नियमित स्थानीय वलय: Difference between revisions
(Created page with "क्रमविनिमेय बीजगणित में, एक नियमित स्थानीय रिंग एक नोथेरियन स...") |
No edit summary |
||
Line 1: | Line 1: | ||
[[क्रमविनिमेय बीजगणित]] में, | [[क्रमविनिमेय बीजगणित]] में, नियमित [[स्थानीय रिंग]] [[नोथेरियन]] स्थानीय रिंग होती है जिसमें यह गुण होता है कि इसके [[अधिकतम आदर्श]] के जनरेटर की न्यूनतम संख्या इसके [[क्रुल आयाम]] के बराबर होती है।{{sfn|Atiyah|Macdonald|1969|p=123|loc=Theorem 11.22}} प्रतीकों में, मान लीजिए कि A अधिकतम आदर्श m के साथ नोथेरियन स्थानीय वलय है, और मान लीजिए a<sub>1</sub>, ..., ए<sub>''n''</sub> एम के जनरेटर का न्यूनतम सेट है। फिर क्रुल के मुख्य आदर्श प्रमेय n ≥ dim A द्वारा, और A को नियमित रूप से परिभाषित किया जाता है यदि n = dim A। | ||
पदवी नियमित ज्यामितीय अर्थ द्वारा उचित है। बीजगणितीय किस्म X पर | पदवी नियमित ज्यामितीय अर्थ द्वारा उचित है। बीजगणितीय किस्म X पर बिंदु x, बीजीय किस्म का एकवचन बिंदु है यदि और केवल यदि स्थानीय वलय <math>\mathcal{O}_{X, x}</math> x पर [[रोगाणु (गणित)]] का नियमित है। (यह भी देखें: [[नियमित योजना]]।) नियमित स्थानीय रिंग वॉन न्यूमैन नियमित रिंग से संबंधित नहीं हैं।{{efn|A local von Neumann regular ring is a division ring, so the two conditions are not very compatible.}} | ||
नोथेरियन स्थानीय रिंगों के लिए, समावेशन की निम्नलिखित श्रृंखला है: | नोथेरियन स्थानीय रिंगों के लिए, समावेशन की निम्नलिखित श्रृंखला है: | ||
Line 7: | Line 7: | ||
==विशेषताएँ== | ==विशेषताएँ== | ||
नियमित स्थानीय वलय की कई उपयोगी परिभाषाएँ हैं, जिनमें से | नियमित स्थानीय वलय की कई उपयोगी परिभाषाएँ हैं, जिनमें से का उल्लेख ऊपर किया गया है। विशेषकर, यदि <math>A</math> अधिकतम आदर्श वाला नोथेरियन स्थानीय वलय है <math>\mathfrak{m}</math>, तो निम्नलिखित समकक्ष परिभाषाएँ हैं | ||
* होने देना <math>\mathfrak{m} = (a_1, \ldots, a_n)</math> कहाँ <math>n</math> जितना संभव हो उतना छोटा चुना जाता है। तब <math>A</math> यदि नियमित है | * होने देना <math>\mathfrak{m} = (a_1, \ldots, a_n)</math> कहाँ <math>n</math> जितना संभव हो उतना छोटा चुना जाता है। तब <math>A</math> यदि नियमित है | ||
::<math>\mbox{dim } A = n\,</math>, | ::<math>\mbox{dim } A = n\,</math>, | ||
:जहां आयाम क्रुल आयाम है। जनरेटर का न्यूनतम सेट <math>a_1, \ldots, a_n</math> फिर मापदंडों की | :जहां आयाम क्रुल आयाम है। जनरेटर का न्यूनतम सेट <math>a_1, \ldots, a_n</math> फिर मापदंडों की नियमित प्रणाली कहलाती है। | ||
* होने देना <math>k = A / \mathfrak{m}</math> का अवशेष क्षेत्र हो <math>A</math>. तब <math>A</math> यदि नियमित है | * होने देना <math>k = A / \mathfrak{m}</math> का अवशेष क्षेत्र हो <math>A</math>. तब <math>A</math> यदि नियमित है | ||
::<math>\dim_k \mathfrak{m} / \mathfrak{m}^2 = \dim A\,</math>, | ::<math>\dim_k \mathfrak{m} / \mathfrak{m}^2 = \dim A\,</math>, | ||
Line 18: | Line 18: | ||
:किस स्थिति में, <math>\mbox{gl dim } A = \dim A</math>. | :किस स्थिति में, <math>\mbox{gl dim } A = \dim A</math>. | ||
बहुलता | बहुलता मानदंड बताता है:<ref>Herrmann, M., S. Ikeda, and U. Orbanz: Equimultiplicity and Blowing Up. An Algebraic Study with an Appendix by B. Moonen. Springer Verlag, Berlin Heidelberg New-York, 1988. Theorem 6.8.</ref> यदि नोथेरियन स्थानीय रिंग ए का पूरा होना अमिश्रित है (इस अर्थ में कि शून्य आदर्श का कोई एम्बेडेड प्राइम विभाजक नहीं है और प्रत्येक न्यूनतम प्राइम पी के लिए, <math>\dim \widehat{A}/p = \dim \widehat{A}</math>) और यदि A की हिल्बर्ट-सैमुअल बहुलता है, तो A नियमित है। (विपरीत हमेशा सत्य होता है: नियमित स्थानीय रिंग की बहुलता होती है।) यह मानदंड बीजगणितीय ज्यामिति में ज्यामितीय अंतर्ज्ञान से मेल खाता है कि योजना-सैद्धांतिक चौराहे की स्थानीय अंगूठी नियमित होती है यदि और केवल यदि चौराहा ट्रांसवर्सलिटी है ( अंक शास्त्र)। | ||
सकारात्मक विशेषता मामले में, कुंज के कारण निम्नलिखित महत्वपूर्ण परिणाम हैं: | सकारात्मक विशेषता मामले में, कुंज के कारण निम्नलिखित महत्वपूर्ण परिणाम हैं: नोथेरियन स्थानीय रिंग <math>R</math> सकारात्मक [[विशेषता (बीजगणित)]] पी नियमित है यदि और केवल यदि [[फ्रोबेनियस रूपवाद]] <math>R \to R, r \mapsto r^p</math> [[फ्लैट रिंग समरूपता]] है और <math>R</math> रिंग कम हो गई है. विशेषता शून्य में कोई समान परिणाम ज्ञात नहीं है (सिर्फ इसलिए कि फ्रोबेनियस को कैसे बदला जाए यह स्पष्ट नहीं है)। | ||
==उदाहरण== | ==उदाहरण== | ||
# प्रत्येक क्षेत्र (गणित) | # प्रत्येक क्षेत्र (गणित) नियमित स्थानीय वलय है। इनका (क्रुल) आयाम 0 है। वास्तव में, फ़ील्ड बिल्कुल आयाम 0 के नियमित स्थानीय वलय हैं। | ||
# कोई भी अलग मूल्यांकन रिंग आयाम 1 की | # कोई भी अलग मूल्यांकन रिंग आयाम 1 की नियमित स्थानीय रिंग है और आयाम 1 की नियमित स्थानीय रिंग बिल्कुल अलग मूल्यांकन रिंग हैं। विशेष रूप से, यदि k क्षेत्र है और X अनिश्चित है, तो [[औपचारिक शक्ति श्रृंखला]] k का वलय{{brackets|''X''}} नियमित स्थानीय रिंग है जिसका (क्रुल) आयाम 1 है। | ||
# यदि p | # यदि p साधारण अभाज्य संख्या है, तो p-एडिक पूर्णांकों का वलय असतत मूल्यांकन वलय का उदाहरण है, और परिणामस्वरूप नियमित स्थानीय वलय है, जिसमें कोई फ़ील्ड नहीं है। | ||
# अधिक सामान्यतः, यदि k | # अधिक सामान्यतः, यदि k फ़ील्ड है और X है<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''d''</sub> अनिश्चित हैं, तो औपचारिक शक्ति श्रृंखला k का वलय{{brackets|''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X''<sub>''d''</sub>}} नियमित स्थानीय वलय है जिसका आयाम (क्रुल) d है। | ||
# यदि A | # यदि A नियमित स्थानीय वलय है, तो यह औपचारिक शक्ति श्रृंखला वलय A है{{brackets|''x''}} नियमित स्थानीय है. | ||
# यदि Z पूर्णांकों का वलय है और ''X'' | # यदि Z पूर्णांकों का वलय है और ''X'' अनिश्चित है, तो वलय Z[''X'']<sub>(2, ''X'')</sub> (अर्थात रिंग Z[''X''] प्राइम आदर्श (2, ''X'') में [[एक रिंग और एक मॉड्यूल का स्थानीयकरण|रिंग और मॉड्यूल का स्थानीयकरण]]) 2-आयामी नियमित स्थानीय रिंग का उदाहरण है जिसमें कोई फ़ील्ड नहीं है . | ||
# [[इरविन कोहेन]] के [[कोहेन संरचना प्रमेय]] के अनुसार, | # [[इरविन कोहेन]] के [[कोहेन संरचना प्रमेय]] के अनुसार, [[पूर्णता (रिंग सिद्धांत)]] क्रुल आयाम ''डी'' की नियमित स्थानीय रिंग जिसमें फ़ील्ड ''के'' शामिल है, पर ''डी'' चर में शक्ति श्रृंखला रिंग है ''k'' का [[विस्तार क्षेत्र]]। | ||
== गैर-उदाहरण == | == गैर-उदाहरण == | ||
अंगूठी <math>A=k[x]/(x^2)</math> यह | अंगूठी <math>A=k[x]/(x^2)</math> यह नियमित स्थानीय वलय नहीं है क्योंकि यह सीमित आयामी है लेकिन इसका कोई सीमित वैश्विक आयाम नहीं है। उदाहरण के लिए, अनंत संकल्प है | ||
:<math> | :<math> | ||
\cdots \xrightarrow{\cdot x} \frac{k[x]}{(x^2)} \xrightarrow{\cdot x} \frac{k[x]}{(x^2)} \to k \to 0 | \cdots \xrightarrow{\cdot x} \frac{k[x]}{(x^2)} \xrightarrow{\cdot x} \frac{k[x]}{(x^2)} \to k \to 0 | ||
</math> | </math> | ||
किसी अन्य लक्षण वर्णन का उपयोग करते हुए, <math>A</math> बिल्कुल | किसी अन्य लक्षण वर्णन का उपयोग करते हुए, <math>A</math> बिल्कुल प्रमुख आदर्श है <math>\mathfrak{m}=\frac{(x)}{(x^2)}</math>, इसलिए रिंग में क्रुल आयाम है <math>0</math>, लेकिन <math>\mathfrak{m}^2</math> शून्य आदर्श है, इसलिए <math>\mathfrak{m}/\mathfrak{m}^2</math> है <math>k</math> कम से कम आयाम <math>1</math>. (वास्तव में यह बराबर है <math>1</math> तब से <math>x + \mathfrak{m}</math> आधार है.) | ||
==बुनियादी गुण== | ==बुनियादी गुण== | ||
ऑसलैंडर-बुच्सबाम प्रमेय में कहा गया है कि प्रत्येक नियमित स्थानीय रिंग | ऑसलैंडर-बुच्सबाम प्रमेय में कहा गया है कि प्रत्येक नियमित स्थानीय रिंग अद्वितीय कारक डोमेन है। | ||
नियमित स्थानीय वलय के वलय का प्रत्येक स्थानीयकरण नियमित होता है। | नियमित स्थानीय वलय के वलय का प्रत्येक स्थानीयकरण नियमित होता है। | ||
Line 45: | Line 45: | ||
एक नियमित स्थानीय रिंग का पूरा होना (रिंग सिद्धांत) नियमित है। | एक नियमित स्थानीय रिंग का पूरा होना (रिंग सिद्धांत) नियमित है। | ||
अगर <math>(A, \mathfrak{m})</math> | अगर <math>(A, \mathfrak{m})</math> पूर्ण नियमित स्थानीय रिंग है जिसमें फ़ील्ड होता है | ||
:<math>A \cong k[[x_1, \ldots, x_d]]</math>, | :<math>A \cong k[[x_1, \ldots, x_d]]</math>, | ||
कहाँ <math>k = A / \mathfrak{m}</math> [[अवशेष क्षेत्र]] है, और <math>d = \dim A</math>, क्रुल आयाम। | कहाँ <math>k = A / \mathfrak{m}</math> [[अवशेष क्षेत्र]] है, और <math>d = \dim A</math>, क्रुल आयाम। | ||
Line 53: | Line 53: | ||
==बुनियादी धारणाओं की उत्पत्ति== | ==बुनियादी धारणाओं की उत्पत्ति== | ||
{{see also|smooth scheme}} | {{see also|smooth scheme}} | ||
नियमित स्थानीय रिंगों को मूल रूप से 1937 में [[वोल्फगैंग क्रुल]] द्वारा परिभाषित किया गया था,<ref>{{Citation | last1=Krull | first1=Wolfgang | author1-link= Wolfgang Krull | title=Beiträge zur Arithmetik kommutativer Integritätsbereiche III | journal=Math. Z. | year=1937 | pages=745–766 | doi = 10.1007/BF01160110}}</ref> लेकिन वे पहली बार कुछ साल बाद [[ऑस्कर ज़ारिस्की]] के काम में प्रमुख बने,<ref>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=Algebraic varieties over ground fields of characteristic 0 | journal=Amer. J. Math. | year=1940 | volume=62 | pages=187–221 | doi=10.2307/2371447}}</ref><ref>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=The concept of a simple point of an abstract algebraic variety | journal=Trans. Amer. Math. Soc. | year=1947 | volume=62 | pages=1–52 | doi=10.1090/s0002-9947-1947-0021694-1| doi-access=free }}</ref> जिन्होंने दिखाया कि ज्यामितीय रूप से, | नियमित स्थानीय रिंगों को मूल रूप से 1937 में [[वोल्फगैंग क्रुल]] द्वारा परिभाषित किया गया था,<ref>{{Citation | last1=Krull | first1=Wolfgang | author1-link= Wolfgang Krull | title=Beiträge zur Arithmetik kommutativer Integritätsbereiche III | journal=Math. Z. | year=1937 | pages=745–766 | doi = 10.1007/BF01160110}}</ref> लेकिन वे पहली बार कुछ साल बाद [[ऑस्कर ज़ारिस्की]] के काम में प्रमुख बने,<ref>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=Algebraic varieties over ground fields of characteristic 0 | journal=Amer. J. Math. | year=1940 | volume=62 | pages=187–221 | doi=10.2307/2371447}}</ref><ref>{{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | title=The concept of a simple point of an abstract algebraic variety | journal=Trans. Amer. Math. Soc. | year=1947 | volume=62 | pages=1–52 | doi=10.1090/s0002-9947-1947-0021694-1| doi-access=free }}</ref> जिन्होंने दिखाया कि ज्यामितीय रूप से, नियमित स्थानीय वलय बीजीय विविधता पर चिकने बिंदु से मेल खाता है। मान लीजिए कि Y बीजगणितीय विविधता है जो पूर्ण क्षेत्र पर एफ़िन एन-स्पेस में निहित है, और मान लीजिए कि Y बहुपद f का लुप्त होने वाला स्थान है<sub>1</sub>,...,एफ<sub>m</sub>. यदि Y [[जैकोबियन किस्म]] को संतुष्ट करता है तो Y, P पर एकवचन नहीं है: यदि M = (∂f<sub>i</sub>/∂x<sub>j</sub>) विविधता के परिभाषित समीकरणों के आंशिक व्युत्पन्न का मैट्रिक्स है, तो पी पर एम का मूल्यांकन करके पाए गए मैट्रिक्स की रैंक एन - मंद वाई है। ज़ारिस्की ने साबित किया कि वाई पी पर गैर-एकवचन है यदि और केवल अगर वाई की स्थानीय अंगूठी P पर नियमित है. (ज़ारिस्की ने देखा कि यह गैर-परिपूर्ण क्षेत्रों में विफल हो सकता है।) इसका तात्पर्य यह है कि चिकनाई विविधता का आंतरिक गुण है, दूसरे शब्दों में यह इस बात पर निर्भर नहीं करता है कि विविधता एफ़िन स्पेस में कहां या कैसे अंतर्निहित है। यह यह भी सुझाव देता है कि नियमित स्थानीय रिंगों में अच्छे गुण होने चाहिए, लेकिन होमोलॉजिकल बीजगणित से तकनीकों की शुरूआत से पहले इस दिशा में बहुत कम जानकारी थी। बार 1950 के दशक में ऐसी तकनीकें पेश की गईं, तो ऑसलैंडर और बुच्सबाम ने साबित कर दिया कि प्रत्येक नियमित स्थानीय रिंग अद्वितीय फ़ैक्टराइज़ेशन डोमेन है। | ||
ज्यामितीय अंतर्ज्ञान द्वारा सुझाई गई | ज्यामितीय अंतर्ज्ञान द्वारा सुझाई गई अन्य संपत्ति यह है कि नियमित स्थानीय रिंग का स्थानीयकरण फिर से नियमित होना चाहिए। फिर, यह होमोलॉजिकल तकनीकों की शुरूआत तक अनसुलझा रहा। यह [[ जीन पियरे सेरे |जीन पियरे सेरे]] ही थे जिन्होंने नियमित स्थानीय छल्लों का समरूप लक्षण वर्णन पाया: स्थानीय वलय A नियमित है यदि और केवल यदि A का वैश्विक आयाम सीमित है, अर्थात यदि प्रत्येक A-मॉड्यूल में परिमित लंबाई का प्रक्षेप्य रिज़ॉल्यूशन है। यह दिखाना आसान है कि सीमित वैश्विक आयाम होने की संपत्ति स्थानीयकरण के तहत संरक्षित है, और परिणामस्वरूप प्रमुख आदर्शों पर नियमित स्थानीय रिंगों का स्थानीयकरण फिर से नियमित है। | ||
यह अगले भाग में दी गई गैर-स्थानीय क्रमविनिमेय वलय के लिए नियमितता की परिभाषा को उचित ठहराता है। | यह अगले भाग में दी गई गैर-स्थानीय क्रमविनिमेय वलय के लिए नियमितता की परिभाषा को उचित ठहराता है। | ||
Line 61: | Line 61: | ||
==नियमित अंगूठी== | ==नियमित अंगूठी== | ||
{{for|the unrelated regular rings introduced by John von Neumann|von Neumann regular ring}} | {{for|the unrelated regular rings introduced by John von Neumann|von Neumann regular ring}} | ||
क्रमविनिमेय बीजगणित में, | क्रमविनिमेय बीजगणित में, नियमित वलय क्रमविनिमेय नोथेरियन वलय है, जैसे कि प्रत्येक अभाज्य आदर्श पर वलय का स्थानीयकरण नियमित स्थानीय वलय होता है: अर्थात, ऐसे प्रत्येक स्थानीयकरण में यह गुण होता है कि इसके अधिकतम आदर्श के जनरेटर की न्यूनतम संख्या होती है इसके क्रुल आयाम के बराबर। | ||
''रेगुलर रिंग'' शब्द की उत्पत्ति इस तथ्य में निहित है कि | ''रेगुलर रिंग'' शब्द की उत्पत्ति इस तथ्य में निहित है कि [[एफ़िन किस्म]] नॉनसिंगुलर किस्म है (अर्थात प्रत्येक बिंदु [[बीजगणितीय किस्म का नियमित बिंदु]] है) यदि और केवल तभी जब इसके नियमित कार्यों की रिंग नियमित हो। | ||
नियमित छल्लों के लिए, क्रुल आयाम वैश्विक समरूप आयाम से सहमत है। | नियमित छल्लों के लिए, क्रुल आयाम वैश्विक समरूप आयाम से सहमत है। | ||
जीन-पियरे सेरे ने | जीन-पियरे सेरे ने नियमित वलय को ''परिमित'' वैश्विक समरूप आयाम की क्रमविनिमेय नॉथेरियन वलय के रूप में परिभाषित किया। उनकी परिभाषा उपरोक्त परिभाषा से अधिक मजबूत है, जो अनंत क्रुल आयाम के नियमित वलय की अनुमति देती है। | ||
नियमित रिंगों के उदाहरणों में फ़ील्ड (आयाम शून्य के) और [[डेडेकाइंड डोमेन]] शामिल हैं। यदि ''ए'' नियमित है तो ''ए''[''एक्स''] भी है, जिसका आयाम ''ए'' से | नियमित रिंगों के उदाहरणों में फ़ील्ड (आयाम शून्य के) और [[डेडेकाइंड डोमेन]] शामिल हैं। यदि ''ए'' नियमित है तो ''ए''[''एक्स''] भी है, जिसका आयाम ''ए'' से बड़ा है। | ||
विशेषकर यदि {{mvar|k}} | विशेषकर यदि {{mvar|k}} क्षेत्र है, पूर्णांकों का वलय है, या [[प्रमुख आदर्श डोमेन]] है, फिर [[बहुपद वलय]] है <math>k[X_1, \ldots,X_n]</math> नियमित है. किसी क्षेत्र के मामले में, यह हिल्बर्ट का सहजीवन प्रमेय है। | ||
नियमित वलय का कोई भी स्थानीयकरण भी नियमित होता है। | नियमित वलय का कोई भी स्थानीयकरण भी नियमित होता है। | ||
एक नियमित वलय कम वलय है{{efn|since a ring is reduced if and only if its localizations at prime ideals are.}} लेकिन | एक नियमित वलय कम वलय है{{efn|since a ring is reduced if and only if its localizations at prime ideals are.}} लेकिन अभिन्न डोमेन होने की आवश्यकता नहीं है। उदाहरण के लिए, दो नियमित अभिन्न डोमेन का उत्पाद नियमित है, लेकिन अभिन्न डोमेन नहीं है।<ref>[https://math.stackexchange.com/q/18657 Is a regular ring a domain]</ref> | ||
Line 92: | Line 92: | ||
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=Michael Atiyah | last2=Macdonald | first2=Ian G.|author2-link=Ian G. Macdonald | title=Introduction to Commutative Algebra | publisher=[[Addison-Wesley]] | mr=0242802 | year=1969}} | *{{Citation | last1=Atiyah | first1=Michael F. | author1-link=Michael Atiyah | last2=Macdonald | first2=Ian G.|author2-link=Ian G. Macdonald | title=Introduction to Commutative Algebra | publisher=[[Addison-Wesley]] | mr=0242802 | year=1969}} | ||
* Kunz, Characterizations of regular local rings of characteristic p. Amer. J. Math. 91 (1969), 772–784. | * Kunz, Characterizations of regular local rings of characteristic p. Amer. J. Math. 91 (1969), 772–784. | ||
* [[Tsit-Yuen Lam]], ''Lectures on Modules and Rings'', [[Springer-Verlag]], 1999, {{isbn|978-1-4612-0525-8}}. | * [[Tsit-Yuen Lam]], ''Lectures on Modules and Rings'', [[Springer-Verlag]], 1999, {{isbn|978-1-4612-0525-8}}. Chap.5.G. | ||
* [[Jean-Pierre Serre]], ''Local algebra'', [[Springer-Verlag]], 2000, {{ISBN|3-540-66641-9}}. | * [[Jean-Pierre Serre]], ''Local algebra'', [[Springer-Verlag]], 2000, {{ISBN|3-540-66641-9}}. Chap.IV.D. | ||
* [http://stacks.math.columbia.edu/tag/065U Regular rings at The Stacks Project] | * [http://stacks.math.columbia.edu/tag/065U Regular rings at The Stacks Project] | ||
Revision as of 10:30, 21 July 2023
क्रमविनिमेय बीजगणित में, नियमित स्थानीय रिंग नोथेरियन स्थानीय रिंग होती है जिसमें यह गुण होता है कि इसके अधिकतम आदर्श के जनरेटर की न्यूनतम संख्या इसके क्रुल आयाम के बराबर होती है।[1] प्रतीकों में, मान लीजिए कि A अधिकतम आदर्श m के साथ नोथेरियन स्थानीय वलय है, और मान लीजिए a1, ..., एn एम के जनरेटर का न्यूनतम सेट है। फिर क्रुल के मुख्य आदर्श प्रमेय n ≥ dim A द्वारा, और A को नियमित रूप से परिभाषित किया जाता है यदि n = dim A।
पदवी नियमित ज्यामितीय अर्थ द्वारा उचित है। बीजगणितीय किस्म X पर बिंदु x, बीजीय किस्म का एकवचन बिंदु है यदि और केवल यदि स्थानीय वलय x पर रोगाणु (गणित) का नियमित है। (यह भी देखें: नियमित योजना।) नियमित स्थानीय रिंग वॉन न्यूमैन नियमित रिंग से संबंधित नहीं हैं।[lower-alpha 1]
नोथेरियन स्थानीय रिंगों के लिए, समावेशन की निम्नलिखित श्रृंखला है:
- Universally catenary rings ⊃ Cohen–Macaulay rings ⊃ Gorenstein rings ⊃ complete intersection rings ⊃ regular local rings
विशेषताएँ
नियमित स्थानीय वलय की कई उपयोगी परिभाषाएँ हैं, जिनमें से का उल्लेख ऊपर किया गया है। विशेषकर, यदि अधिकतम आदर्श वाला नोथेरियन स्थानीय वलय है , तो निम्नलिखित समकक्ष परिभाषाएँ हैं
- होने देना कहाँ जितना संभव हो उतना छोटा चुना जाता है। तब यदि नियमित है
- ,
- जहां आयाम क्रुल आयाम है। जनरेटर का न्यूनतम सेट फिर मापदंडों की नियमित प्रणाली कहलाती है।
- होने देना का अवशेष क्षेत्र हो . तब यदि नियमित है
- ,
- जहां दूसरा आयाम क्रुल आयाम है।
- होने देना का वैश्विक आयाम हो (अर्थात, सभी के प्रक्षेप्य आयामों का सर्वोच्च -मॉड्यूल।) फिर यदि नियमित है
- ,
- किस स्थिति में, .
बहुलता मानदंड बताता है:[2] यदि नोथेरियन स्थानीय रिंग ए का पूरा होना अमिश्रित है (इस अर्थ में कि शून्य आदर्श का कोई एम्बेडेड प्राइम विभाजक नहीं है और प्रत्येक न्यूनतम प्राइम पी के लिए, ) और यदि A की हिल्बर्ट-सैमुअल बहुलता है, तो A नियमित है। (विपरीत हमेशा सत्य होता है: नियमित स्थानीय रिंग की बहुलता होती है।) यह मानदंड बीजगणितीय ज्यामिति में ज्यामितीय अंतर्ज्ञान से मेल खाता है कि योजना-सैद्धांतिक चौराहे की स्थानीय अंगूठी नियमित होती है यदि और केवल यदि चौराहा ट्रांसवर्सलिटी है ( अंक शास्त्र)।
सकारात्मक विशेषता मामले में, कुंज के कारण निम्नलिखित महत्वपूर्ण परिणाम हैं: नोथेरियन स्थानीय रिंग सकारात्मक विशेषता (बीजगणित) पी नियमित है यदि और केवल यदि फ्रोबेनियस रूपवाद फ्लैट रिंग समरूपता है और रिंग कम हो गई है. विशेषता शून्य में कोई समान परिणाम ज्ञात नहीं है (सिर्फ इसलिए कि फ्रोबेनियस को कैसे बदला जाए यह स्पष्ट नहीं है)।
उदाहरण
- प्रत्येक क्षेत्र (गणित) नियमित स्थानीय वलय है। इनका (क्रुल) आयाम 0 है। वास्तव में, फ़ील्ड बिल्कुल आयाम 0 के नियमित स्थानीय वलय हैं।
- कोई भी अलग मूल्यांकन रिंग आयाम 1 की नियमित स्थानीय रिंग है और आयाम 1 की नियमित स्थानीय रिंग बिल्कुल अलग मूल्यांकन रिंग हैं। विशेष रूप से, यदि k क्षेत्र है और X अनिश्चित है, तो औपचारिक शक्ति श्रृंखला k का वलय[[X]] नियमित स्थानीय रिंग है जिसका (क्रुल) आयाम 1 है।
- यदि p साधारण अभाज्य संख्या है, तो p-एडिक पूर्णांकों का वलय असतत मूल्यांकन वलय का उदाहरण है, और परिणामस्वरूप नियमित स्थानीय वलय है, जिसमें कोई फ़ील्ड नहीं है।
- अधिक सामान्यतः, यदि k फ़ील्ड है और X है1, एक्स2, ..., एक्सd अनिश्चित हैं, तो औपचारिक शक्ति श्रृंखला k का वलय[[X1, X2, ..., Xd]] नियमित स्थानीय वलय है जिसका आयाम (क्रुल) d है।
- यदि A नियमित स्थानीय वलय है, तो यह औपचारिक शक्ति श्रृंखला वलय A है[[x]] नियमित स्थानीय है.
- यदि Z पूर्णांकों का वलय है और X अनिश्चित है, तो वलय Z[X](2, X) (अर्थात रिंग Z[X] प्राइम आदर्श (2, X) में रिंग और मॉड्यूल का स्थानीयकरण) 2-आयामी नियमित स्थानीय रिंग का उदाहरण है जिसमें कोई फ़ील्ड नहीं है .
- इरविन कोहेन के कोहेन संरचना प्रमेय के अनुसार, पूर्णता (रिंग सिद्धांत) क्रुल आयाम डी की नियमित स्थानीय रिंग जिसमें फ़ील्ड के शामिल है, पर डी चर में शक्ति श्रृंखला रिंग है k का विस्तार क्षेत्र।
गैर-उदाहरण
अंगूठी यह नियमित स्थानीय वलय नहीं है क्योंकि यह सीमित आयामी है लेकिन इसका कोई सीमित वैश्विक आयाम नहीं है। उदाहरण के लिए, अनंत संकल्प है
किसी अन्य लक्षण वर्णन का उपयोग करते हुए, बिल्कुल प्रमुख आदर्श है , इसलिए रिंग में क्रुल आयाम है , लेकिन शून्य आदर्श है, इसलिए है कम से कम आयाम . (वास्तव में यह बराबर है तब से आधार है.)
बुनियादी गुण
ऑसलैंडर-बुच्सबाम प्रमेय में कहा गया है कि प्रत्येक नियमित स्थानीय रिंग अद्वितीय कारक डोमेन है।
नियमित स्थानीय वलय के वलय का प्रत्येक स्थानीयकरण नियमित होता है।
एक नियमित स्थानीय रिंग का पूरा होना (रिंग सिद्धांत) नियमित है।
अगर पूर्ण नियमित स्थानीय रिंग है जिसमें फ़ील्ड होता है
- ,
कहाँ अवशेष क्षेत्र है, और , क्रुल आयाम।
यह भी देखें: ऊंचाई पर सेरे की असमानता और सेरे की बहुलता अनुमान।
बुनियादी धारणाओं की उत्पत्ति
नियमित स्थानीय रिंगों को मूल रूप से 1937 में वोल्फगैंग क्रुल द्वारा परिभाषित किया गया था,[3] लेकिन वे पहली बार कुछ साल बाद ऑस्कर ज़ारिस्की के काम में प्रमुख बने,[4][5] जिन्होंने दिखाया कि ज्यामितीय रूप से, नियमित स्थानीय वलय बीजीय विविधता पर चिकने बिंदु से मेल खाता है। मान लीजिए कि Y बीजगणितीय विविधता है जो पूर्ण क्षेत्र पर एफ़िन एन-स्पेस में निहित है, और मान लीजिए कि Y बहुपद f का लुप्त होने वाला स्थान है1,...,एफm. यदि Y जैकोबियन किस्म को संतुष्ट करता है तो Y, P पर एकवचन नहीं है: यदि M = (∂fi/∂xj) विविधता के परिभाषित समीकरणों के आंशिक व्युत्पन्न का मैट्रिक्स है, तो पी पर एम का मूल्यांकन करके पाए गए मैट्रिक्स की रैंक एन - मंद वाई है। ज़ारिस्की ने साबित किया कि वाई पी पर गैर-एकवचन है यदि और केवल अगर वाई की स्थानीय अंगूठी P पर नियमित है. (ज़ारिस्की ने देखा कि यह गैर-परिपूर्ण क्षेत्रों में विफल हो सकता है।) इसका तात्पर्य यह है कि चिकनाई विविधता का आंतरिक गुण है, दूसरे शब्दों में यह इस बात पर निर्भर नहीं करता है कि विविधता एफ़िन स्पेस में कहां या कैसे अंतर्निहित है। यह यह भी सुझाव देता है कि नियमित स्थानीय रिंगों में अच्छे गुण होने चाहिए, लेकिन होमोलॉजिकल बीजगणित से तकनीकों की शुरूआत से पहले इस दिशा में बहुत कम जानकारी थी। बार 1950 के दशक में ऐसी तकनीकें पेश की गईं, तो ऑसलैंडर और बुच्सबाम ने साबित कर दिया कि प्रत्येक नियमित स्थानीय रिंग अद्वितीय फ़ैक्टराइज़ेशन डोमेन है।
ज्यामितीय अंतर्ज्ञान द्वारा सुझाई गई अन्य संपत्ति यह है कि नियमित स्थानीय रिंग का स्थानीयकरण फिर से नियमित होना चाहिए। फिर, यह होमोलॉजिकल तकनीकों की शुरूआत तक अनसुलझा रहा। यह जीन पियरे सेरे ही थे जिन्होंने नियमित स्थानीय छल्लों का समरूप लक्षण वर्णन पाया: स्थानीय वलय A नियमित है यदि और केवल यदि A का वैश्विक आयाम सीमित है, अर्थात यदि प्रत्येक A-मॉड्यूल में परिमित लंबाई का प्रक्षेप्य रिज़ॉल्यूशन है। यह दिखाना आसान है कि सीमित वैश्विक आयाम होने की संपत्ति स्थानीयकरण के तहत संरक्षित है, और परिणामस्वरूप प्रमुख आदर्शों पर नियमित स्थानीय रिंगों का स्थानीयकरण फिर से नियमित है।
यह अगले भाग में दी गई गैर-स्थानीय क्रमविनिमेय वलय के लिए नियमितता की परिभाषा को उचित ठहराता है।
नियमित अंगूठी
क्रमविनिमेय बीजगणित में, नियमित वलय क्रमविनिमेय नोथेरियन वलय है, जैसे कि प्रत्येक अभाज्य आदर्श पर वलय का स्थानीयकरण नियमित स्थानीय वलय होता है: अर्थात, ऐसे प्रत्येक स्थानीयकरण में यह गुण होता है कि इसके अधिकतम आदर्श के जनरेटर की न्यूनतम संख्या होती है इसके क्रुल आयाम के बराबर।
रेगुलर रिंग शब्द की उत्पत्ति इस तथ्य में निहित है कि एफ़िन किस्म नॉनसिंगुलर किस्म है (अर्थात प्रत्येक बिंदु बीजगणितीय किस्म का नियमित बिंदु है) यदि और केवल तभी जब इसके नियमित कार्यों की रिंग नियमित हो।
नियमित छल्लों के लिए, क्रुल आयाम वैश्विक समरूप आयाम से सहमत है।
जीन-पियरे सेरे ने नियमित वलय को परिमित वैश्विक समरूप आयाम की क्रमविनिमेय नॉथेरियन वलय के रूप में परिभाषित किया। उनकी परिभाषा उपरोक्त परिभाषा से अधिक मजबूत है, जो अनंत क्रुल आयाम के नियमित वलय की अनुमति देती है।
नियमित रिंगों के उदाहरणों में फ़ील्ड (आयाम शून्य के) और डेडेकाइंड डोमेन शामिल हैं। यदि ए नियमित है तो ए[एक्स] भी है, जिसका आयाम ए से बड़ा है।
विशेषकर यदि k क्षेत्र है, पूर्णांकों का वलय है, या प्रमुख आदर्श डोमेन है, फिर बहुपद वलय है नियमित है. किसी क्षेत्र के मामले में, यह हिल्बर्ट का सहजीवन प्रमेय है।
नियमित वलय का कोई भी स्थानीयकरण भी नियमित होता है।
एक नियमित वलय कम वलय है[lower-alpha 2] लेकिन अभिन्न डोमेन होने की आवश्यकता नहीं है। उदाहरण के लिए, दो नियमित अभिन्न डोमेन का उत्पाद नियमित है, लेकिन अभिन्न डोमेन नहीं है।[6]
यह भी देखें
- ज्यामितीय रूप से नियमित अंगूठी
टिप्पणियाँ
उद्धरण
- ↑ Atiyah & Macdonald 1969, p. 123, Theorem 11.22.
- ↑ Herrmann, M., S. Ikeda, and U. Orbanz: Equimultiplicity and Blowing Up. An Algebraic Study with an Appendix by B. Moonen. Springer Verlag, Berlin Heidelberg New-York, 1988. Theorem 6.8.
- ↑ Krull, Wolfgang (1937), "Beiträge zur Arithmetik kommutativer Integritätsbereiche III", Math. Z.: 745–766, doi:10.1007/BF01160110
- ↑ Zariski, Oscar (1940), "Algebraic varieties over ground fields of characteristic 0", Amer. J. Math., 62: 187–221, doi:10.2307/2371447
- ↑ Zariski, Oscar (1947), "The concept of a simple point of an abstract algebraic variety", Trans. Amer. Math. Soc., 62: 1–52, doi:10.1090/s0002-9947-1947-0021694-1
- ↑ Is a regular ring a domain
संदर्भ
- Atiyah, Michael F.; Macdonald, Ian G. (1969), Introduction to Commutative Algebra, Addison-Wesley, MR 0242802
- Kunz, Characterizations of regular local rings of characteristic p. Amer. J. Math. 91 (1969), 772–784.
- Tsit-Yuen Lam, Lectures on Modules and Rings, Springer-Verlag, 1999, ISBN 978-1-4612-0525-8. Chap.5.G.
- Jean-Pierre Serre, Local algebra, Springer-Verlag, 2000, ISBN 3-540-66641-9. Chap.IV.D.
- Regular rings at The Stacks Project