पूर्णांकीय प्रभावक्षेत्र: Difference between revisions
(Created page with "{{short description|Algebraic structure with two binary operations}} {{Use American English|date = March 2019}} {{Short description|Commutative ring with no zero divisors othe...") |
No edit summary |
||
(14 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Algebraic structure with two binary operations}} | {{short description|Algebraic structure with two binary operations}} | ||
{{Short description|Commutative ring with no zero divisors other than zero}} | {{Short description|Commutative ring with no zero divisors other than zero}} | ||
{{distinguish |text= [[ Integral | | {{distinguish |text= [[ Integral | एकीकरण का डोमेन]]}} | ||
{{Ring theory sidebar}} | {{Ring theory sidebar}} | ||
गणित में, विशेष रूप से अमूर्त बीजगणित, एक अभिन्न | गणित में, विशेष रूप से अमूर्त बीजगणित, एक अभिन्न प्रभाव क्षेत्र एक शून्य रिंग [[क्रमविनिमेय अंगूठी]] है जिसमें किसी भी दो गैर-शून्य तत्वों का उत्पाद गैर-शून्य होता है।<ref>Bourbaki, p. 116.</ref><ref>Dummit and Foote, p. 228.</ref> अभिन्न प्रभाव क्षेत्र [[पूर्णांक]] के रिंग (गणित) के सामान्यीकरण हैं और विभाज्यता (रिंग थ्योरी) का अध्ययन करने के लिए एक प्राकृतिक समुच्चयन प्रदान करते हैं। एक अभिन्न प्रभाव क्षेत्र में, प्रत्येक गैर-शून्य तत्व में [[रद्द करने की संपत्ति]] होती है, अर्थात यदि {{nowrap|''a'' ≠ 0}}, एक समानता {{nowrap|''ab'' {{=}} ''ac''}} तात्पर्य {{nowrap|''b'' {{=}} ''c''}}. | ||
अभिन्न प्रभाव क्षेत्र को लगभग सार्वभौमिक रूप से ऊपर के रूप में परिभाषित किया गया है, लेकिन इसमें कुछ भिन्नता है।और यह लेख इस परंपरा का अनुसरण करता है कि छल्ले की [[गुणक पहचान]] होती है, जिसे सामान्यतः 1 द्वारा दर्शाया जाता है, लेकिन कुछ लेखक इसका पालन नहीं करते हैं, अभिन्न प्रभाव क्षेत्र को गुणक पहचान की आवश्यकता नहीं होने के कारण।<ref>B.L. van der Waerden, Algebra Erster Teil, p. 36, Springer-Verlag, Berlin, Heidelberg 1966.</ref><ref>I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.</ref> कभी-कभी गैर-अनुक्रमिक अभिन्न प्रभाव क्षेत्र स्वीकार किए जाते हैं।<ref>J.C. McConnell and J.C. Robson "Noncommutative Noetherian Rings" ([[Graduate Studies in Mathematics]] Vol. 30, AMS)</ref> यह लेख, प्रायः, क्रमविनिमेय स्थिति के लिए अभिन्न प्रभाव क्षेत्र शब्द को रक्षित करने और गैर-क्रमविनिमेय रिंग्स सहित सामान्य स्थिति के लिए [[Index.php?title=कार्यक्षेत्र (रिंग थ्योरी)|प्रभाव क्षेत्र (रिंग थ्योरी)]] का उपयोग करने के अधिक सामान्य सम्मेलन का अनुसरण करता है। | |||
कुछ स्रोत, विशेष रूप से [[सर्ज लैंग]], अभिन्न | कुछ स्रोत, विशेष रूप से [[सर्ज लैंग]], अभिन्न प्रभाव क्षेत्र के लिए संपूर्ण रिंग शब्द का उपयोग करते हैं।<ref>Pages 91–92 of {{Lang Algebra|edition=3}}</ref>[[उपवर्ग (सेट सिद्धांत)]] की निम्नलिखित श्रृंखला के साथ कुछ विशिष्ट प्रकार के अभिन्न प्रभाव क्षेत्र दिए गए हैं: | ||
[[उपवर्ग (सेट सिद्धांत)]] की निम्नलिखित श्रृंखला के साथ कुछ विशिष्ट प्रकार के अभिन्न | |||
{{Commutative ring classes}} | {{Commutative ring classes}} | ||
{{Algebraic structures | | {{Algebraic structures |बीजगणितीय संरचनाएं}} | ||
== परिभाषा == | == परिभाषा == | ||
एक अभिन्न | एक अभिन्न प्रभाव क्षेत्र एक शून्य [[सबरिंग]] क्रमविनिमेय रिंग है जिसमें किसी भी दो गैर-शून्य तत्वों का उत्पाद गैर-शून्य होता है। समान रूप से: | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय वलय है जिसमें कोई गैर-शून्य विभाजक नहीं है। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक क्रमविनिमेय रिंग है जिसमें [[शून्य आदर्श]] {0} एक प्रमुख आदर्श है। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय रिंग है जिसके लिए प्रत्येक गैर-शून्य तत्व गुणन के अंतर्गत रद्द करने की संपत्ति है। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक अंगूठी है जिसके लिए गैर-शून्य तत्वों का समूह गुणन के अंतर्गत एक क्रमविनिमेय एकाभ (मोनोइड) है (क्योंकि गुणन के अंतर्गत एक एकाभ बंद होना चाहिए)। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय रिंग है जिसमें प्रत्येक गैर-शून्य तत्व r के लिए, रिंग के प्रत्येक तत्व x को उत्पाद xr में मानचित्रण करने वाला फलन [[इंजेक्शन|अंतःक्षेपक]] है। इस संपत्ति वाले तत्वों को नियमित कहा जाता है, इसलिए यह आवश्यक है कि अंगूठी के प्रत्येक गैर-शून्य तत्व नियमित हों। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र एक अंगूठी है जो एक [[क्षेत्र (गणित)]] के एक उपसमूह के लिए [[समरूपी]] है। (एक अभिन्न प्रभाव क्षेत्र दिया गया है, कोई इसे अपने अंशों के क्षेत्र में लागू कर सकता है।) | ||
== उदाहरण == | == उदाहरण == | ||
* | * मूल रूप में उदाहरण अंगूठी है <math>\Z</math> सभी पूर्णांकों का। | ||
* हर क्षेत्र | * हर क्षेत्र एक अभिन्न प्रभाव क्षेत्र है। उदाहरण के लिए, मैदान <math>\R</math> सभी [[वास्तविक संख्या]]ओं का एक अभिन्न प्रभाव क्षेत्र है। इसके विपरीत, प्रत्येक [[मतलब अंगूठी|आर्टिनियन अभिन्न]] प्रभाव क्षेत्र एक क्षेत्र है। विशेष रूप से, सभी परिमित अभिन्न प्रभाव क्षेत्र [[परिमित क्षेत्र]] हैं (अधिक सामान्यतः, वेडरबर्न के छोटे प्रमेय द्वारा, परिमित प्रभाव क्षेत्र (रिंग सिद्धांत) परिमित क्षेत्र हैं)। पूर्णांकों का वलय <math>\Z</math> एक गैर-R्टिनियन अनंत अभिन्न प्रभाव क्षेत्र का एक उदाहरण प्रदान करता है जो कि एक क्षेत्र नहीं है,और जिसमें आदर्शों के अनंत अवरोही क्रम होते हैं जैसे: | ||
::<math>\Z \supset 2\Z \supset \cdots \supset 2^n\Z \supset 2^{n+1}\Z \supset \cdots</math> | ::<math>\Z \supset 2\Z \supset \cdots \supset 2^n\Z \supset 2^{n+1}\Z \supset \cdots</math> | ||
* यदि गुणांक एक अभिन्न | * यदि गुणांक एक अभिन्न प्रभाव क्षेत्र से आते हैं तो [[बहुपद]] के छल्ले अभिन्न प्रभाव क्षेत्र हैं। उदाहरण के लिए, अंगूठी <math>\Z[x]</math> पूर्णांक गुणांक वाले एक चर में सभी बहुपदों का एक अभिन्न प्रभाव क्षेत्र है; तो अंगूठी है <math>\Complex[x_1,\ldots,x_n]</math> सम्मिश्र संख्या गुणांक वाले n-चर में सभी बहुपदों की संख्या। | ||
* प्रधान आदर्शों से भागफल लेकर पिछले उदाहरण का और अधिक उपयोग किया जा सकता है। उदाहरण के लिए, अंगूठी <math>\Complex[x,y]/(y^2 - x(x-1)(x-2))</math>समतल दीर्घवृत्तीय वक्र के संगत एक पूर्णांकीय | * प्रधान आदर्शों से भागफल लेकर पिछले उदाहरण का और अधिक उपयोग किया जा सकता है। उदाहरण के लिए, अंगूठी <math>\Complex[x,y]/(y^2 - x(x-1)(x-2))</math> समतल दीर्घवृत्तीय वक्र के संगत एक पूर्णांकीय प्रभाव क्षेत्र है। अखंडता दिखाकर जाँच की जा सकती है <math>y^2 - x(x-1)(x-2)</math> एक [[अलघुकरणीय बहुपद]] है। | ||
* अंगूठी <math>\Z[x]/(x^2 - n) \cong \Z[\sqrt{n}]</math> किसी भी गैर-वर्ग पूर्णांक के लिए एक अभिन्न | * अंगूठी <math>\Z[x]/(x^2 - n) \cong \Z[\sqrt{n}]</math> किसी भी गैर-वर्ग पूर्णांक के लिए एक अभिन्न प्रभाव क्षेत्र है <math>n</math> यदि <math>n > 0</math>, तो यह वलय सदैव का उपवलय होता है <math>\R</math>, अन्यथा, यह <math>\Complex.</math> का एक उपसमूह है। | ||
* [[p-adic number]] | * [[p-adic number|पी-आदिक पूर्णांक]] (p-adic integers) का वलय <math>\Z_p</math> एक अभिन्न प्रभाव क्षेत्र है। | ||
* यदि <math>U</math> सम्मिश्र संख्या का एक जुड़ाव [[खुला उपसमुच्चय]] है <math>\Complex</math>, फिर अंगूठी <math>\mathcal{H}(U)</math> सभी होलोमॉर्फिक | * यदि <math>U</math> सम्मिश्र संख्या का एक जुड़ाव [[खुला उपसमुच्चय]] है <math>\Complex</math>, फिर अंगूठी <math>\mathcal{H}(U)</math> सभी होलोमॉर्फिक फलन से मिलकर एक अभिन्न प्रभाव क्षेत्र है। विश्लेषणात्मक [[विविध]] के जुड़े खुले उपसमुच्चय पर [[विश्लेषणात्मक कार्य]] के छल्ले के लिए भी यही सच है। | ||
* एक नियमित स्थानीय रिंग एक अभिन्न | * एक नियमित स्थानीय रिंग एक अभिन्न प्रभाव क्षेत्र है। वास्तव में, एक नियमित स्थानीय रिंग एक [[Index.php?title=अद्वितीय गुणनखंड कार्यक्षेत्र|अद्वितीय गुणनखंड प्रभाव क्षेत्र]] है।<ref>{{cite q|Q24655880}}</ref><ref>{{cite Q|Q56049883}}</ref> | ||
Line 56: | Line 55: | ||
* n ≥ 2 होने पर किसी भी शून्य रिंग पर n × n [[मैट्रिक्स (गणित)]] का [[मैट्रिक्स रिंग]]। यदि <math>M</math> तथा <math>N</math> मैट्रिसेस ऐसे हैं कि की छवि <math>N</math> के कर्नेल में निहित है <math>M</math>, फिर <math>MN = 0</math>. उदाहरण के लिए, ऐसा होता है <math>M = N = (\begin{smallmatrix} 0 & 1 \\ 0 & 0 \end{smallmatrix})</math>. | * n ≥ 2 होने पर किसी भी शून्य रिंग पर n × n [[मैट्रिक्स (गणित)]] का [[मैट्रिक्स रिंग]]। यदि <math>M</math> तथा <math>N</math> मैट्रिसेस ऐसे हैं कि की छवि <math>N</math> के कर्नेल में निहित है <math>M</math>, फिर <math>MN = 0</math>. उदाहरण के लिए, ऐसा होता है <math>M = N = (\begin{smallmatrix} 0 & 1 \\ 0 & 0 \end{smallmatrix})</math>. | ||
* भागफल की अंगूठी <math>k[x_1,\ldots,x_n]/(fg)</math> किसी भी क्षेत्र के लिए <math>k</math> और कोई भी गैर-निरंतर बहुपद <math>f,g \in k[x_1,\ldots,x_n]</math>. के चित्र {{math|''f''}} तथा {{math|''g''}} इस भागफल वलय में शून्येतर तत्व हैं जिनका गुणनफल 0 है। यह तर्क समान रूप से यह दर्शाता है <math>(fg)</math> प्रमुख आदर्श नहीं है। इस परिणाम की ज्यामितीय व्याख्या यह है कि [[एक | * भागफल की अंगूठी <math>k[x_1,\ldots,x_n]/(fg)</math> किसी भी क्षेत्र के लिए <math>k</math> और कोई भी गैर-निरंतर बहुपद <math>f,g \in k[x_1,\ldots,x_n]</math>. के चित्र {{math|''f''}} तथा {{math|''g''}} इस भागफल वलय में शून्येतर तत्व हैं जिनका गुणनफल 0 है। और यह तर्क समान रूप से यह दर्शाता है <math>(fg)</math> प्रमुख आदर्श नहीं है। इस परिणाम की ज्यामितीय व्याख्या यह है कि [[Index.php?title=एक फलन का शून्य|एक फलन का शून्य]] {{math|''fg''}} एक संबधित बीजगणितीय समूह बनाते हैं जो सामान्य रूप से अप्रासंगिक नहीं है (अर्थात, [[बीजगणितीय किस्म]] नहीं है)। एकमात्र स्थिति जहां यह बीजगणितीय समूह अप्रासंगिक हो सकता है, जब {{math|''fg''}} एक अलघुकरणीय बहुपद की एक शक्ति है, जो समान बीजगणितीय समुच्चय को परिभाषित करता है। | ||
* [[इकाई अंतराल]] पर [[निरंतर कार्य]] | * [[इकाई अंतराल]] पर [[निरंतर कार्य]] की अंगूठी। कार्यों पर विचार करें | ||
::<math> f(x) = \begin{cases} 1-2x & x \in \left [0, \tfrac{1}{2} \right ] \\ 0 & x \in \left [\tfrac{1}{2}, 1 \right ] \end{cases} \qquad g(x) = \begin{cases} 0 & x \in \left [0, \tfrac{1}{2} \right ] \\ 2x-1 & x \in \left [\tfrac{1}{2}, 1 \right ] \end{cases}</math> | ::<math> f(x) = \begin{cases} 1-2x & x \in \left [0, \tfrac{1}{2} \right ] \\ 0 & x \in \left [\tfrac{1}{2}, 1 \right ] \end{cases} \qquad g(x) = \begin{cases} 0 & x \in \left [0, \tfrac{1}{2} \right ] \\ 2x-1 & x \in \left [\tfrac{1}{2}, 1 \right ] \end{cases}</math> | ||
:न <math>f</math> न <math>g</math> हर जगह शून्य है, लेकिन <math>fg</math> है। | :न <math>f</math> न <math>g</math> हर जगह शून्य है, लेकिन <math>fg</math> है। | ||
* [[बीजगणित का टेंसर उत्पाद]] <math>\Complex \otimes_{\R} \Complex</math>. इस अंगूठी में दो गैर-तुच्छ | * [[बीजगणित का टेंसर उत्पाद]] <math>\Complex \otimes_{\R} \Complex</math>. इस अंगूठी में दो गैर-तुच्छ इडेमपोटेंट हैं, <math>e_1 = \tfrac{1}{2}(1 \otimes 1) - \tfrac{1}{2}(i \otimes i)</math> तथा <math>e_2 = \tfrac{1}{2}(1 \otimes 1) + \tfrac{1}{2}(i \otimes i)</math>. वे लाम्बिक हैं, जिसका अर्थ है <math>e_1e_2 = 0</math>, और इसलिए <math>\Complex \otimes_{\R} \Complex</math> एक प्रभाव क्षेत्र नहीं है। वास्तव में, एक समरूपता है <math>\Complex \times \Complex \to \Complex \otimes_{\R} \Complex</math> द्वारा परिभाषित <math>(z, w) \mapsto z \cdot e_1 + w \cdot e_2</math>. इसके व्युत्क्रम द्वारा परिभाषित किया गया है <math>z \otimes w \mapsto (zw, z\overline{w})</math>. इस उदाहरण से पता चलता है कि अपरिवर्तनीय एफ़िन स्कीमों की योजनाओं का एक फाइबर उत्पाद अपरिवर्तनीय नहीं होना चाहिए। | ||
== विभाज्यता, प्रधान तत्व, और अलघुकरणीय तत्व == | == विभाज्यता, प्रधान तत्व, और अलघुकरणीय तत्व == | ||
{{see also| | {{see also|दृश्यता (रिंग सिद्धांत)}} | ||
इस खंड में, R एक पूर्णांकीय | इस खंड में, R एक पूर्णांकीय प्रभाव क्षेत्र है। | ||
R के तत्व a और b दिए गए हैं, कोई कहता है कि a, b को विभाजित करता है, या | R के तत्व a और b दिए गए हैं, कोई कहता है कि a, b को विभाजित करता है, या b की विभाज्यता है, या b, a का गुणक है, यदि R में कोई तत्व x सम्मलित है जैसे कि {{nowrap|1=''ax'' = ''b''}}. | ||
R की इकाई | R की इकाई वे तत्व हैं जो 1 को विभाजित करते हैं; ये बिल्कुल R में उल्टे तत्व हैं। इकाइयां अन्य सभी तत्वों को विभाजित करती हैं। | ||
यदि a, b को विभाजित करता है और b, a को विभाजित करता है, तो a और b 'सहयोगी तत्व' या 'सहयोगी' हैं।<ref>{{cite book |last=Durbin |first=John R. |title=आधुनिक बीजगणित: एक परिचय|edition=3rd |date=1993 |publisher=John Wiley and Sons |isbn=0-471-51001-7 |page=224 |quote=[एक अभिन्न डोमेन] के तत्व ''ए'' और ''बी'' को ''एसोसिएट्स'' कहा जाता है अगर ''ए'' | ''बी'' और ''बी'' | ''ए''.}}</ref> समतुल्य रूप से, | यदि a, b को विभाजित करता है और b, a को विभाजित करता है, तो a और b 'सहयोगी तत्व' या 'सहयोगी' हैं।<ref>{{cite book |last=Durbin |first=John R. |title=आधुनिक बीजगणित: एक परिचय|edition=3rd |date=1993 |publisher=John Wiley and Sons |isbn=0-471-51001-7 |page=224 |quote=[एक अभिन्न डोमेन] के तत्व ''ए'' और ''बी'' को ''एसोसिएट्स'' कहा जाता है अगर ''ए'' | ''बी'' और ''बी'' | ''ए''.}}</ref> समतुल्य रूप से, a और b सहयोगी हैं यदि {{nowrap|1=''a'' = ''ub''}} किसी इकाई के लिए u हैं. | ||
एक [[अलघुकरणीय तत्व]] एक गैर-शून्य गैर-इकाई है जिसे दो गैर-इकाइयों के उत्पाद के रूप में नहीं लिखा जा सकता है। | एक [[अलघुकरणीय तत्व]] एक गैर-शून्य गैर-इकाई है जिसे दो गैर-इकाइयों के उत्पाद के रूप में नहीं लिखा जा सकता है। | ||
एक गैर-शून्य गैर-इकाई | एक गैर-शून्य गैर-इकाई p एक प्रमुख तत्व है,यदि, जब भी p उत्पाद a, b को विभाजित करता है, तो p ,a को विभाजित करता है या p, b को विभाजित करता है। समतुल्य रूप से, एक तत्व p अभाज्य है यदि और केवल तभी जब मुख्य आदर्श (p) एक अशून्य अभाज्य आदर्श है। | ||
अलघुकरणीय तत्वों और [[प्रधान तत्व]]ों की दोनों धारणाएं वलय में [[अभाज्य संख्या]]ओं की सामान्य परिभाषा को सामान्य करती हैं <math>\Z,</math> यदि कोई ऋणात्मक अभाज्यों को प्रधान मानता है। | अलघुकरणीय तत्वों और [[प्रधान तत्व]]ों की दोनों धारणाएं वलय में [[अभाज्य संख्या]]ओं की सामान्य परिभाषा को सामान्य करती हैं <math>\Z,</math> यदि कोई ऋणात्मक अभाज्यों को प्रधान मानता है। | ||
प्रत्येक प्रमुख तत्व | प्रत्येक प्रमुख तत्व अलघुकरणीय है। इसका वार्तालाप सामान्य रूप से सत्य नहीं है: उदाहरण के लिए, [[द्विघात पूर्णांक]] वलय में <math>\Z\left[\sqrt{-5}\right]</math> तत्व 3 अलघुकरणीय है (यदि यह गैर-तुच्छ रूप से कारक है, तो कारकों में प्रत्येक के पास मानक 3 होना चाहिए, लेकिन कोई मानक 3 तत्व नहीं हैं क्योंकि <math>a^2+5b^2=3</math> कोई पूर्णांक समाधान नहीं है), लेकिन अभाज्य नहीं है (3 विभाजन के बाद से <math>\left(2 + \sqrt{-5}\right)\left(2 - \sqrt{-5}\right)</math> किसी भी कारक को विभाजित किए बिना)। एक अद्वितीय कारककरण प्रांत (या अधिक सामान्यतः, एक [[Index.php?title=जीसीडी प्रभाव क्षेत्र|जीसीडी प्रभाव क्षेत्र]] ) में, एक अलघुकरणीय तत्व एक प्रमुख तत्व है। | ||
जबकि [[अंकगणित का मौलिक प्रमेय]] लागू नहीं होता है <math>\Z\left[\sqrt{-5}\right]</math>, आइडियल (रिंग थ्योरी) का अनूठा गुणनखंड है। लस्कर-नोथेर प्रमेय देखें। | जबकि [[अंकगणित का मौलिक प्रमेय]] लागू नहीं होता है <math>\Z\left[\sqrt{-5}\right]</math>, आइडियल (रिंग थ्योरी) का अनूठा गुणनखंड है। लस्कर-नोथेर प्रमेय देखें। | ||
== गुण == | == गुण == | ||
* एक | * एक क्रमविनिमेय रिंग R एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि R का आदर्श (0) एक प्रमुख आदर्श है। | ||
* यदि R एक क्रमविनिमेय वलय है और P, R में एक आदर्श | * यदि R एक क्रमविनिमेय वलय है और P, R में एक आदर्श है, तो भागफल वलय R/P एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि P एक प्रमुख आदर्श है। | ||
* माना R एक पूर्णांकीय | * माना R एक पूर्णांकीय प्रभाव क्षेत्र है। फिर R पर बहुपद के छल्ले (किसी भी संख्या में अनिश्चित) अभिन्न प्रभाव क्षेत्र हैं। यह विशेष रूप से स्थिति है यदि R एक क्षेत्र (गणित) है। | ||
* रद्दीकरण संपत्ति किसी भी अभिन्न | * रद्दीकरण संपत्ति किसी भी अभिन्न प्रभाव क्षेत्र में होती है: किसी भी a, b, और c के लिए एक अभिन्न प्रभाव क्षेत्र में, यदि a ≠ 0 और ab = ac तो b = c इसे बताने का दूसरा तरीका यह है कि फलन x {{mapsto}} ax प्रभाव क्षेत्र में किसी भी अशून्य a के लिए अंतःक्षेपी है। | ||
* रद्दीकरण संपत्ति किसी भी अभिन्न | * रद्दीकरण संपत्ति किसी भी अभिन्न प्रभाव क्षेत्र में आदर्शों के लिए है: यदि xI = xJ, तो या तो x शून्य है या I = J है। | ||
* एक अभिन्न | * एक अभिन्न प्रभाव क्षेत्र अधिकतम आदर्शों पर एक अंगूठी के स्थानीयकरण के चौराहे के बराबर है। | ||
* अभिन्न | * अभिन्न प्रभाव क्षेत्र की [[आगमनात्मक सीमा]] एक अभिन्न प्रभाव क्षेत्र है। | ||
*यदि <math>A, B</math> बीजगणितीय रूप से बंद | *यदि <math>A, B</math> बीजगणितीय रूप से बंद क्षेत्र k पर अभिन्न प्रभाव क्षेत्र हैं, फिर <math>A \otimes_k B</math> एक अभिन्न प्रभाव क्षेत्र है। यह हिल्बर्ट के नलस्टेलनसैट्ज का परिणाम है,<ref group="note">Proof: First assume ''A'' is finitely generated as a ''k''-algebra and pick a <math>k</math>-basis <math>g_i</math> of <math>B</math>. Suppose <math display="inline">\sum f_i \otimes g_i \sum h_j \otimes g_j = 0</math> (only finitely many <math>f_i, h_j</math> are nonzero). For each maximal ideal <math>\mathfrak{m}</math> of <math>A</math>, consider the ring homomorphism <math>A \otimes_k B \to A/\mathfrak{m} \otimes_k B = k \otimes_k B \simeq B</math>. Then the image is <math display="inline">\sum \overline{f_i} g_i \sum \overline{h_i} g_i = 0</math> and thus either <math display="inline">\sum \overline{f_i} g_i = 0</math> or <math display="inline">\sum \overline{h_i} g_i = 0</math> and, by linear independence, <math>\overline{f_i} = 0</math> for all <math>i</math> or <math>\overline{h_i} = 0</math> for all <math>i</math>. Since <math>\mathfrak{m}</math> is arbitrary, we have <math display="inline">(\sum f_iA) (\sum h_iA) \subset \operatorname{Jac}(A) = </math> the intersection of all maximal ideals <math>= (0)</math> where the last equality is by the Nullstellensatz. Since <math>(0)</math> is a prime ideal, this implies either <math display="inline">\sum f_iA</math> or <math display="inline">\sum h_iA</math> is the zero ideal; i.e., either <math>f_i</math> are all zero or <math>h_i</math> are all zero. Finally, <math>A</math> is an inductive limit of finitely generated ''k''-algebras that are integral domains and thus, using the previous property, <math>A \otimes_k B = \varinjlim A_i \otimes_k B</math> is an integral domain. <math>\square</math></ref> और, बीजगणितीय ज्यामिति में, इसका तात्पर्य इस कथन से है कि बीजगणितीय रूप से बंद क्षेत्र पर दो एफ़िन बीजगणितीय प्रकार के उत्पाद का समन्वय वलय फिर से एक अभिन्न प्रभाव क्षेत्र है। | ||
== अंशों का क्षेत्र == | == अंशों का क्षेत्र == | ||
{{Main| | {{Main|अंशों का क्षेत्र}} | ||
अभिन्न | अभिन्न प्रभाव क्षेत्र R के भिन्न K का क्षेत्र, R में a और b के साथ भिन्न a/b का समूह है और b ≠ 0 मॉड्यूल एक उपयुक्त तुल्यता संबंध है, जो सामान्य योग और गुणन संक्रियाओं से सुसज्जित है। यह इस अर्थ में R वाला सबसे छोटा क्षेत्र है कि एक अंतःक्षेपी वलय समरूपता है {{nowrap|''R'' → ''K''}} ऐसा है कि कोई भी अंतःक्षेपक रिंग होमोमोर्फिज्म R से K के माध्यम से एक क्षेत्र कारक के लिए। पूर्णांकों के रिंग के अंशों का क्षेत्र <math>\Z</math> [[परिमेय संख्या]]ओं का क्षेत्र है <math>\Q.</math> किसी क्षेत्र के अंशों का क्षेत्र स्वयं क्षेत्र के लिए समरूपता है। | ||
== बीजगणितीय ज्यामिति == | == बीजगणितीय ज्यामिति == | ||
अभिन्न प्रभाव क्षेत्र की विशेषता इस स्थिति से होती है कि वे कम रिंग वाले होते हैं (अर्थात x<sup>2</sup> = 0 का अर्थ है x = 0) और अपरिवर्तनीय (अर्थात् केवल एक न्यूनतम अभाज्य गुणजावली है)। पूर्व की स्थिति यह सुनिश्चित करती है कि रिंग का निरमूलक शून्य है, ताकि सभी रिंग के न्यूनतम अभाज्य का प्रतिच्छेदन शून्य हो। बाद की स्थिति यह है कि रिंग में केवल एक न्यूनतम अभाज्य होता है। यह इस प्रकार है कि एक कम और [[अलघुकरणीय अंगूठी]] का अद्वितीय न्यूनतम प्रधान आदर्श शून्य आदर्श है, इसलिए ऐसे छल्ले अभिन्न प्रभाव क्षेत्र हैं। इसका विलोम स्पष्ट है: एक अभिन्न प्रभाव क्षेत्र में कोई गैर शून्य नीलपोटेंट तत्व नहीं है, और शून्य आदर्श अद्वितीय न्यूनतम प्रधान आदर्श है। | |||
यह [[बीजगणितीय ज्यामिति]] में, इस तथ्य में अनुवाद करता है कि एक एफ़िन बीजगणितीय | यह [[बीजगणितीय ज्यामिति]] में, इस तथ्य में अनुवाद करता है कि एक एफ़िन बीजगणितीय समूह की समन्वय अंगूठी एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि बीजगणितीय समूह एक बीजगणितीय विविधता है। | ||
सामान्यतः, एक क्रमविनिमेय रिंग एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि रिंग का स्पेक्ट्रम एक [[अभिन्न योजना]] एफ़िन स्कीम है। | |||
== विशेषता और समरूपता == | == विशेषता और समरूपता == | ||
एक अभिन्न | एक अभिन्न प्रभाव क्षेत्र की [[विशेषता (बीजगणित)|विशेषता]] 0 या एक अभाज्य संख्या है। | ||
यदि | यदि R प्रमुख विशेषता p का एक अभिन्न प्रभाव क्षेत्र है, तो [[फ्रोबेनियस एंडोमोर्फिज्म]] f(x) = x^p अंतःक्षेपक है। | ||
== यह भी देखें == | == यह भी देखें == | ||
{{Wikibooks|Abstract algebra|Integral domains}} | {{Wikibooks|Abstract algebra|Integral domains}} | ||
* | * डेडेकिंड-हासे आदर्श - एक अभिन्न प्रभाव क्षेत्र के प्रमुख होने के लिए आवश्यक अतिरिक्त संरचना | ||
* [[शून्य-उत्पाद संपत्ति]] | * [[शून्य-उत्पाद संपत्ति]] | ||
Line 136: | Line 135: | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
*{{cite web |url=https://math.stackexchange.com/q/45945 |title=where does the term "integral domain" come from? }} | *{{cite web |url=https://math.stackexchange.com/q/45945 |title=where does the term "integral domain" come from? }} | ||
{{DEFAULTSORT:Integral Domain}} | {{DEFAULTSORT:Integral Domain}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Integral Domain]] | ||
[[Category:Created On 24/11/2022]] | [[Category:Articles with short description|Integral Domain]] | ||
[[Category:CS1 errors]] | |||
[[Category:CS1 français-language sources (fr)|Integral Domain]] | |||
[[Category:CS1 maint|Integral Domain]] | |||
[[Category:CS1 Ελληνικά-language sources (el)|Integral Domain]] | |||
[[Category:Citation Style 1 templates|W]] | |||
[[Category:Collapse templates|Integral Domain]] | |||
[[Category:Created On 24/11/2022|Integral Domain]] | |||
[[Category:Machine Translated Page|Integral Domain]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Integral Domain]] | |||
[[Category:Pages with script errors|Integral Domain]] | |||
[[Category:Short description with empty Wikidata description|Integral Domain]] | |||
[[Category:Sidebars with styles needing conversion|Integral Domain]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates based on the Citation/CS1 Lua module|Integral Domain]] | |||
[[Category:Templates generating COinS|Cite web]] | |||
[[Category:Templates generating microformats|Integral Domain]] | |||
[[Category:Templates that are not mobile friendly|Integral Domain]] | |||
[[Category:Templates used by AutoWikiBrowser|Cite web]] | |||
[[Category:Templates using TemplateData|Integral Domain]] | |||
[[Category:Wikipedia fully protected templates|Cite web]] | |||
[[Category:Wikipedia metatemplates|Integral Domain]] | |||
[[Category:क्रमविनिमेय बीजगणित|Integral Domain]] | |||
[[Category:वलय सिद्धांत|Integral Domain]] |
Latest revision as of 10:07, 13 December 2022
Algebraic structure → Ring theory Ring theory |
---|
गणित में, विशेष रूप से अमूर्त बीजगणित, एक अभिन्न प्रभाव क्षेत्र एक शून्य रिंग क्रमविनिमेय अंगूठी है जिसमें किसी भी दो गैर-शून्य तत्वों का उत्पाद गैर-शून्य होता है।[1][2] अभिन्न प्रभाव क्षेत्र पूर्णांक के रिंग (गणित) के सामान्यीकरण हैं और विभाज्यता (रिंग थ्योरी) का अध्ययन करने के लिए एक प्राकृतिक समुच्चयन प्रदान करते हैं। एक अभिन्न प्रभाव क्षेत्र में, प्रत्येक गैर-शून्य तत्व में रद्द करने की संपत्ति होती है, अर्थात यदि a ≠ 0, एक समानता ab = ac तात्पर्य b = c.
अभिन्न प्रभाव क्षेत्र को लगभग सार्वभौमिक रूप से ऊपर के रूप में परिभाषित किया गया है, लेकिन इसमें कुछ भिन्नता है।और यह लेख इस परंपरा का अनुसरण करता है कि छल्ले की गुणक पहचान होती है, जिसे सामान्यतः 1 द्वारा दर्शाया जाता है, लेकिन कुछ लेखक इसका पालन नहीं करते हैं, अभिन्न प्रभाव क्षेत्र को गुणक पहचान की आवश्यकता नहीं होने के कारण।[3][4] कभी-कभी गैर-अनुक्रमिक अभिन्न प्रभाव क्षेत्र स्वीकार किए जाते हैं।[5] यह लेख, प्रायः, क्रमविनिमेय स्थिति के लिए अभिन्न प्रभाव क्षेत्र शब्द को रक्षित करने और गैर-क्रमविनिमेय रिंग्स सहित सामान्य स्थिति के लिए प्रभाव क्षेत्र (रिंग थ्योरी) का उपयोग करने के अधिक सामान्य सम्मेलन का अनुसरण करता है।
कुछ स्रोत, विशेष रूप से सर्ज लैंग, अभिन्न प्रभाव क्षेत्र के लिए संपूर्ण रिंग शब्द का उपयोग करते हैं।[6]उपवर्ग (सेट सिद्धांत) की निम्नलिखित श्रृंखला के साथ कुछ विशिष्ट प्रकार के अभिन्न प्रभाव क्षेत्र दिए गए हैं:
- rngs ⊃ rings ⊃ commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ algebraically closed fields
Algebraic structures |
---|
परिभाषा
एक अभिन्न प्रभाव क्षेत्र एक शून्य सबरिंग क्रमविनिमेय रिंग है जिसमें किसी भी दो गैर-शून्य तत्वों का उत्पाद गैर-शून्य होता है। समान रूप से:
- एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय वलय है जिसमें कोई गैर-शून्य विभाजक नहीं है।
- एक अभिन्न प्रभाव क्षेत्र एक क्रमविनिमेय रिंग है जिसमें शून्य आदर्श {0} एक प्रमुख आदर्श है।
- एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय रिंग है जिसके लिए प्रत्येक गैर-शून्य तत्व गुणन के अंतर्गत रद्द करने की संपत्ति है।
- एक अभिन्न प्रभाव क्षेत्र एक अंगूठी है जिसके लिए गैर-शून्य तत्वों का समूह गुणन के अंतर्गत एक क्रमविनिमेय एकाभ (मोनोइड) है (क्योंकि गुणन के अंतर्गत एक एकाभ बंद होना चाहिए)।
- एक अभिन्न प्रभाव क्षेत्र एक गैर-शून्य क्रमविनिमेय रिंग है जिसमें प्रत्येक गैर-शून्य तत्व r के लिए, रिंग के प्रत्येक तत्व x को उत्पाद xr में मानचित्रण करने वाला फलन अंतःक्षेपक है। इस संपत्ति वाले तत्वों को नियमित कहा जाता है, इसलिए यह आवश्यक है कि अंगूठी के प्रत्येक गैर-शून्य तत्व नियमित हों।
- एक अभिन्न प्रभाव क्षेत्र एक अंगूठी है जो एक क्षेत्र (गणित) के एक उपसमूह के लिए समरूपी है। (एक अभिन्न प्रभाव क्षेत्र दिया गया है, कोई इसे अपने अंशों के क्षेत्र में लागू कर सकता है।)
उदाहरण
- मूल रूप में उदाहरण अंगूठी है सभी पूर्णांकों का।
- हर क्षेत्र एक अभिन्न प्रभाव क्षेत्र है। उदाहरण के लिए, मैदान सभी वास्तविक संख्याओं का एक अभिन्न प्रभाव क्षेत्र है। इसके विपरीत, प्रत्येक आर्टिनियन अभिन्न प्रभाव क्षेत्र एक क्षेत्र है। विशेष रूप से, सभी परिमित अभिन्न प्रभाव क्षेत्र परिमित क्षेत्र हैं (अधिक सामान्यतः, वेडरबर्न के छोटे प्रमेय द्वारा, परिमित प्रभाव क्षेत्र (रिंग सिद्धांत) परिमित क्षेत्र हैं)। पूर्णांकों का वलय एक गैर-R्टिनियन अनंत अभिन्न प्रभाव क्षेत्र का एक उदाहरण प्रदान करता है जो कि एक क्षेत्र नहीं है,और जिसमें आदर्शों के अनंत अवरोही क्रम होते हैं जैसे:
- यदि गुणांक एक अभिन्न प्रभाव क्षेत्र से आते हैं तो बहुपद के छल्ले अभिन्न प्रभाव क्षेत्र हैं। उदाहरण के लिए, अंगूठी पूर्णांक गुणांक वाले एक चर में सभी बहुपदों का एक अभिन्न प्रभाव क्षेत्र है; तो अंगूठी है सम्मिश्र संख्या गुणांक वाले n-चर में सभी बहुपदों की संख्या।
- प्रधान आदर्शों से भागफल लेकर पिछले उदाहरण का और अधिक उपयोग किया जा सकता है। उदाहरण के लिए, अंगूठी समतल दीर्घवृत्तीय वक्र के संगत एक पूर्णांकीय प्रभाव क्षेत्र है। अखंडता दिखाकर जाँच की जा सकती है एक अलघुकरणीय बहुपद है।
- अंगूठी किसी भी गैर-वर्ग पूर्णांक के लिए एक अभिन्न प्रभाव क्षेत्र है यदि , तो यह वलय सदैव का उपवलय होता है , अन्यथा, यह का एक उपसमूह है।
- पी-आदिक पूर्णांक (p-adic integers) का वलय एक अभिन्न प्रभाव क्षेत्र है।
- यदि सम्मिश्र संख्या का एक जुड़ाव खुला उपसमुच्चय है , फिर अंगूठी सभी होलोमॉर्फिक फलन से मिलकर एक अभिन्न प्रभाव क्षेत्र है। विश्लेषणात्मक विविध के जुड़े खुले उपसमुच्चय पर विश्लेषणात्मक कार्य के छल्ले के लिए भी यही सच है।
- एक नियमित स्थानीय रिंग एक अभिन्न प्रभाव क्षेत्र है। वास्तव में, एक नियमित स्थानीय रिंग एक अद्वितीय गुणनखंड प्रभाव क्षेत्र है।[7][8]
गैर-उदाहरण
निम्नलिखित वलय अभिन्न प्रांत नहीं हैं।
- शून्य वलय (वह वलय जिसमें ).
- भागफल की अंगूठी जब एम एक समग्र संख्या है। वास्तव में, एक उचित गुणनखंड चुनें (जिसका अर्थ है कि तथा के बराबर नहीं हैं या ). फिर तथा , लेकिन .
- दो अशून्य क्रमविनिमेय वलयों का उत्पाद वलय। ऐसे उत्पाद में , किसी के पास .
- भागफल की अंगूठी किसी के लिए . के चित्र तथा अशून्य हैं, जबकि इस वलय में उनका गुणनफल 0 है।
- n ≥ 2 होने पर किसी भी शून्य रिंग पर n × n मैट्रिक्स (गणित) का मैट्रिक्स रिंग। यदि तथा मैट्रिसेस ऐसे हैं कि की छवि के कर्नेल में निहित है , फिर . उदाहरण के लिए, ऐसा होता है .
- भागफल की अंगूठी किसी भी क्षेत्र के लिए और कोई भी गैर-निरंतर बहुपद . के चित्र f तथा g इस भागफल वलय में शून्येतर तत्व हैं जिनका गुणनफल 0 है। और यह तर्क समान रूप से यह दर्शाता है प्रमुख आदर्श नहीं है। इस परिणाम की ज्यामितीय व्याख्या यह है कि एक फलन का शून्य fg एक संबधित बीजगणितीय समूह बनाते हैं जो सामान्य रूप से अप्रासंगिक नहीं है (अर्थात, बीजगणितीय किस्म नहीं है)। एकमात्र स्थिति जहां यह बीजगणितीय समूह अप्रासंगिक हो सकता है, जब fg एक अलघुकरणीय बहुपद की एक शक्ति है, जो समान बीजगणितीय समुच्चय को परिभाषित करता है।
- इकाई अंतराल पर निरंतर कार्य की अंगूठी। कार्यों पर विचार करें
- न न हर जगह शून्य है, लेकिन है।
- बीजगणित का टेंसर उत्पाद . इस अंगूठी में दो गैर-तुच्छ इडेमपोटेंट हैं, तथा . वे लाम्बिक हैं, जिसका अर्थ है , और इसलिए एक प्रभाव क्षेत्र नहीं है। वास्तव में, एक समरूपता है द्वारा परिभाषित . इसके व्युत्क्रम द्वारा परिभाषित किया गया है . इस उदाहरण से पता चलता है कि अपरिवर्तनीय एफ़िन स्कीमों की योजनाओं का एक फाइबर उत्पाद अपरिवर्तनीय नहीं होना चाहिए।
विभाज्यता, प्रधान तत्व, और अलघुकरणीय तत्व
इस खंड में, R एक पूर्णांकीय प्रभाव क्षेत्र है।
R के तत्व a और b दिए गए हैं, कोई कहता है कि a, b को विभाजित करता है, या b की विभाज्यता है, या b, a का गुणक है, यदि R में कोई तत्व x सम्मलित है जैसे कि ax = b.
R की इकाई वे तत्व हैं जो 1 को विभाजित करते हैं; ये बिल्कुल R में उल्टे तत्व हैं। इकाइयां अन्य सभी तत्वों को विभाजित करती हैं।
यदि a, b को विभाजित करता है और b, a को विभाजित करता है, तो a और b 'सहयोगी तत्व' या 'सहयोगी' हैं।[9] समतुल्य रूप से, a और b सहयोगी हैं यदि a = ub किसी इकाई के लिए u हैं.
एक अलघुकरणीय तत्व एक गैर-शून्य गैर-इकाई है जिसे दो गैर-इकाइयों के उत्पाद के रूप में नहीं लिखा जा सकता है।
एक गैर-शून्य गैर-इकाई p एक प्रमुख तत्व है,यदि, जब भी p उत्पाद a, b को विभाजित करता है, तो p ,a को विभाजित करता है या p, b को विभाजित करता है। समतुल्य रूप से, एक तत्व p अभाज्य है यदि और केवल तभी जब मुख्य आदर्श (p) एक अशून्य अभाज्य आदर्श है।
अलघुकरणीय तत्वों और प्रधान तत्वों की दोनों धारणाएं वलय में अभाज्य संख्याओं की सामान्य परिभाषा को सामान्य करती हैं यदि कोई ऋणात्मक अभाज्यों को प्रधान मानता है।
प्रत्येक प्रमुख तत्व अलघुकरणीय है। इसका वार्तालाप सामान्य रूप से सत्य नहीं है: उदाहरण के लिए, द्विघात पूर्णांक वलय में तत्व 3 अलघुकरणीय है (यदि यह गैर-तुच्छ रूप से कारक है, तो कारकों में प्रत्येक के पास मानक 3 होना चाहिए, लेकिन कोई मानक 3 तत्व नहीं हैं क्योंकि कोई पूर्णांक समाधान नहीं है), लेकिन अभाज्य नहीं है (3 विभाजन के बाद से किसी भी कारक को विभाजित किए बिना)। एक अद्वितीय कारककरण प्रांत (या अधिक सामान्यतः, एक जीसीडी प्रभाव क्षेत्र ) में, एक अलघुकरणीय तत्व एक प्रमुख तत्व है।
जबकि अंकगणित का मौलिक प्रमेय लागू नहीं होता है , आइडियल (रिंग थ्योरी) का अनूठा गुणनखंड है। लस्कर-नोथेर प्रमेय देखें।
गुण
- एक क्रमविनिमेय रिंग R एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि R का आदर्श (0) एक प्रमुख आदर्श है।
- यदि R एक क्रमविनिमेय वलय है और P, R में एक आदर्श है, तो भागफल वलय R/P एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि P एक प्रमुख आदर्श है।
- माना R एक पूर्णांकीय प्रभाव क्षेत्र है। फिर R पर बहुपद के छल्ले (किसी भी संख्या में अनिश्चित) अभिन्न प्रभाव क्षेत्र हैं। यह विशेष रूप से स्थिति है यदि R एक क्षेत्र (गणित) है।
- रद्दीकरण संपत्ति किसी भी अभिन्न प्रभाव क्षेत्र में होती है: किसी भी a, b, और c के लिए एक अभिन्न प्रभाव क्षेत्र में, यदि a ≠ 0 और ab = ac तो b = c इसे बताने का दूसरा तरीका यह है कि फलन x ↦ ax प्रभाव क्षेत्र में किसी भी अशून्य a के लिए अंतःक्षेपी है।
- रद्दीकरण संपत्ति किसी भी अभिन्न प्रभाव क्षेत्र में आदर्शों के लिए है: यदि xI = xJ, तो या तो x शून्य है या I = J है।
- एक अभिन्न प्रभाव क्षेत्र अधिकतम आदर्शों पर एक अंगूठी के स्थानीयकरण के चौराहे के बराबर है।
- अभिन्न प्रभाव क्षेत्र की आगमनात्मक सीमा एक अभिन्न प्रभाव क्षेत्र है।
- यदि बीजगणितीय रूप से बंद क्षेत्र k पर अभिन्न प्रभाव क्षेत्र हैं, फिर एक अभिन्न प्रभाव क्षेत्र है। यह हिल्बर्ट के नलस्टेलनसैट्ज का परिणाम है,[note 1] और, बीजगणितीय ज्यामिति में, इसका तात्पर्य इस कथन से है कि बीजगणितीय रूप से बंद क्षेत्र पर दो एफ़िन बीजगणितीय प्रकार के उत्पाद का समन्वय वलय फिर से एक अभिन्न प्रभाव क्षेत्र है।
अंशों का क्षेत्र
अभिन्न प्रभाव क्षेत्र R के भिन्न K का क्षेत्र, R में a और b के साथ भिन्न a/b का समूह है और b ≠ 0 मॉड्यूल एक उपयुक्त तुल्यता संबंध है, जो सामान्य योग और गुणन संक्रियाओं से सुसज्जित है। यह इस अर्थ में R वाला सबसे छोटा क्षेत्र है कि एक अंतःक्षेपी वलय समरूपता है R → K ऐसा है कि कोई भी अंतःक्षेपक रिंग होमोमोर्फिज्म R से K के माध्यम से एक क्षेत्र कारक के लिए। पूर्णांकों के रिंग के अंशों का क्षेत्र परिमेय संख्याओं का क्षेत्र है किसी क्षेत्र के अंशों का क्षेत्र स्वयं क्षेत्र के लिए समरूपता है।
बीजगणितीय ज्यामिति
अभिन्न प्रभाव क्षेत्र की विशेषता इस स्थिति से होती है कि वे कम रिंग वाले होते हैं (अर्थात x2 = 0 का अर्थ है x = 0) और अपरिवर्तनीय (अर्थात् केवल एक न्यूनतम अभाज्य गुणजावली है)। पूर्व की स्थिति यह सुनिश्चित करती है कि रिंग का निरमूलक शून्य है, ताकि सभी रिंग के न्यूनतम अभाज्य का प्रतिच्छेदन शून्य हो। बाद की स्थिति यह है कि रिंग में केवल एक न्यूनतम अभाज्य होता है। यह इस प्रकार है कि एक कम और अलघुकरणीय अंगूठी का अद्वितीय न्यूनतम प्रधान आदर्श शून्य आदर्श है, इसलिए ऐसे छल्ले अभिन्न प्रभाव क्षेत्र हैं। इसका विलोम स्पष्ट है: एक अभिन्न प्रभाव क्षेत्र में कोई गैर शून्य नीलपोटेंट तत्व नहीं है, और शून्य आदर्श अद्वितीय न्यूनतम प्रधान आदर्श है।
यह बीजगणितीय ज्यामिति में, इस तथ्य में अनुवाद करता है कि एक एफ़िन बीजगणितीय समूह की समन्वय अंगूठी एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि बीजगणितीय समूह एक बीजगणितीय विविधता है।
सामान्यतः, एक क्रमविनिमेय रिंग एक अभिन्न प्रभाव क्षेत्र है यदि और केवल यदि रिंग का स्पेक्ट्रम एक अभिन्न योजना एफ़िन स्कीम है।
विशेषता और समरूपता
एक अभिन्न प्रभाव क्षेत्र की विशेषता 0 या एक अभाज्य संख्या है।
यदि R प्रमुख विशेषता p का एक अभिन्न प्रभाव क्षेत्र है, तो फ्रोबेनियस एंडोमोर्फिज्म f(x) = x^p अंतःक्षेपक है।
यह भी देखें
- डेडेकिंड-हासे आदर्श - एक अभिन्न प्रभाव क्षेत्र के प्रमुख होने के लिए आवश्यक अतिरिक्त संरचना
- शून्य-उत्पाद संपत्ति
टिप्पणियाँ
- ↑ Proof: First assume A is finitely generated as a k-algebra and pick a -basis of . Suppose (only finitely many are nonzero). For each maximal ideal of , consider the ring homomorphism . Then the image is and thus either or and, by linear independence, for all or for all . Since is arbitrary, we have the intersection of all maximal ideals where the last equality is by the Nullstellensatz. Since is a prime ideal, this implies either or is the zero ideal; i.e., either are all zero or are all zero. Finally, is an inductive limit of finitely generated k-algebras that are integral domains and thus, using the previous property, is an integral domain.
- ↑ Bourbaki, p. 116.
- ↑ Dummit and Foote, p. 228.
- ↑ B.L. van der Waerden, Algebra Erster Teil, p. 36, Springer-Verlag, Berlin, Heidelberg 1966.
- ↑ I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.
- ↑ J.C. McConnell and J.C. Robson "Noncommutative Noetherian Rings" (Graduate Studies in Mathematics Vol. 30, AMS)
- ↑ Pages 91–92 of Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- ↑ No label or title -- debug: Q24655880, Wikidata Q24655880
- ↑ No label or title -- debug: Q56049883, Wikidata Q56049883
- ↑ Durbin, John R. (1993). आधुनिक बीजगणित: एक परिचय (3rd ed.). John Wiley and Sons. p. 224. ISBN 0-471-51001-7.
[एक अभिन्न डोमेन] के तत्व ए और बी को एसोसिएट्स कहा जाता है अगर ए
{{cite book}}
: Text "ए." ignored (help); Text "बी और बी" ignored (help)
संदर्भ
- Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3.
- Bourbaki, Nicolas (1998). Algebra, Chapters 1–3. Berlin, New York: Springer-Verlag. ISBN 978-3-540-64243-5.
- Mac Lane, Saunders; Birkhoff, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 1-56881-068-7. MR 0214415.
- Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). New York: Wiley. ISBN 978-0-471-43334-7.
- Hungerford, Thomas W. (2013). Abstract Algebra: An Introduction (3rd ed.). Cengage Learning. ISBN 978-1-111-56962-4.
- Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Vol. 211. Berlin, New York: Springer-Verlag. ISBN 978-0-387-95385-4. MR 1878556.
- Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.
- Rowen, Louis Halle (1994). Algebra: groups, rings, and fields. A K Peters. ISBN 1-56881-028-8.
- Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 0-534-42323-X.
- Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 1-4020-0238-6.
- B.L. van der Waerden, Algebra, Springer-Verlag, Berlin Heidelberg, 1966.