ओवररिंग: Difference between revisions
m (→गुण) |
|||
Line 91: | Line 91: | ||
<em>न्यूनतम वलय समरूपता</em> <math display="inline">f</math> एक [[इंजेक्शन समारोह|अंतःक्षेपक]] [[विशेषण समारोह|गैर अनुमानित]] समरूपता है, और यदि समरूपता <math display="inline">f</math> समरूपता <math display="inline">g</math> और <math display="inline">h</math> की एक रचना है तो <math display="inline">g</math> या <math display="inline">h</math> एक समरूप है।{{sfn|Ferrand|Olivier|1970}}{{rp|461}} | <em>न्यूनतम वलय समरूपता</em> <math display="inline">f</math> एक [[इंजेक्शन समारोह|अंतःक्षेपक]] [[विशेषण समारोह|गैर अनुमानित]] समरूपता है, और यदि समरूपता <math display="inline">f</math> समरूपता <math display="inline">g</math> और <math display="inline">h</math> की एक रचना है तो <math display="inline">g</math> या <math display="inline">h</math> एक समरूप है।{{sfn|Ferrand|Olivier|1970}}{{rp|461}} | ||
एक <em>उचित न्यूनतम वलय | एक <em>उचित न्यूनतम वलय विस्तार</em> <math display="inline">T</math> <math display="inline">R</math> उपवलय का होता है अगर वलय <math display="inline">R</math> में सम्मिलित <math display="inline">T</math> एक न्यूनतम वलय समरूपता है। इसका तात्पर्य वलय जोड़ी <math display="inline">(R,T)</math> के रूप में कोई उचित मध्यवर्ती वलय नहीं है।{{sfn|Dobbs|Shapiro|2006}}{{rp|186}} | ||
वलय <math display="inline">R</math> का एक <em>न्यूनतम ऊपरी वलय</em> <math display="inline">T</math> होता है अगर <math display="inline">T</math> <math display="inline">R</math> में युक्त एक उपवलय है और वलय जोड़ी <math display="inline">(R,T)</math> के रूप में कोई उचित मध्यवर्ती वलय नहीं है।{{sfn|Dobbs|Shapiro|2007}}{{rp|60}} | |||
गुणावली का <em>कप्लैन्स्की गुणावली रूपांतरण</em> (<em>हेज़ रूपांतरण</em>, <em>S-रूपांतरण</em>) <math display="inline"> | गुणावली <math display="inline">I</math> का <em>कप्लैन्स्की गुणावली रूपांतरण</em> (<em>हेज़ रूपांतरण</em>, <em>S-रूपांतरण</em>) अविभाज्य कार्यक्षेत्र <math display="inline">R</math> के संबंध में अंश क्षेत्र का एक उपसमुच्चय <math display="inline">Q(R)</math> है इस उपसमुच्चय में <math display="inline">x</math> तत्व होते हैं ऐसा है कि प्रत्येक तत्व <math display="inline">y</math> के लिए गुणावली <math display="inline">I</math> का एक सकारात्मक पूर्णांक <math display="inline">n</math> है उत्पाद <math display="inline">x \cdot y^{n}</math>के साथ अविभाज्य कार्यक्षेत्र <math display="inline">R</math> में निहित है।{{sfn|Sato|Sugatani|Yoshida|1992}}{{sfn|Dobbs|Shapiro|2007}}{{rp|60}} | ||
==== गुण ==== | ==== गुण ==== | ||
कार्यक्षेत्र के न्यूनतम वलय | कार्यक्षेत्र के न्यूनतम वलय <em>विस्तार</em> से उत्पन्न कोई भी कार्यक्षेत्र <math display="inline">R</math> का ऊपरी वलय <math display="inline">R</math> है अगर <math display="inline">R</math> एक क्षेत्र नहीं है।{{sfn|Sato|Sugatani|Yoshida|1992}}{{sfn|Dobbs|Shapiro|2006}}{{rp|186}} | ||
अंशों का क्षेत्र <math display="inline">R</math> में न्यूनतम ऊपरी वलय <math display="inline">R</math> का <math display="inline">T</math> सम्मिलित है अगर <math display="inline">R</math> एक क्षेत्र नहीं है।{{sfn|Dobbs|Shapiro|2007}}{{rp|60}} | |||
एक पूर्ण रूप से बंद अविभाज्य कार्यक्षेत्र | मान लें एक पूर्ण रूप से बंद अविभाज्य कार्यक्षेत्र <math display="inline">R</math> एक क्षेत्र नहीं है, यदि अविभाज्य कार्यक्षेत्र <math display="inline">R</math> का न्यूनतम ऊपरी वलय सम्मिलित है, तो न्यूनतम ऊपरी वलय एक अधिकतम गुणावली <math display="inline">R</math> के कप्लान्स्की परिवर्तन के रूप में होता है।{{sfn|Dobbs|Shapiro|2007}}{{rp|60}} | ||
== उदाहरण == | == उदाहरण == | ||
बेज़ाउट अविभाज्य कार्यक्षेत्र प्रुफ़र कार्यक्षेत्र का एक प्रकार है; बेज़ाउट कार्यक्षेत्र की पारिभाषिक विशेषता प्रत्येक सूक्ष्म रूप से उत्पन्न गुणावली एक प्रमुख गुणावली है। बेज़ाउट कार्यक्षेत्र एक प्रुफ़र कार्यक्षेत्र के सभी ऊपरी वलय गुणों को साझा करेगा।{{sfn|Fontana|Papick|2002}}{{rp|168}} | |||
पूर्णांक वलय एक प्रुफ़र वलय है, और सभी अधिगम भागफल के वलय हैं।{{sfn|Davis|1964}}{{rp|196}} | पूर्णांक वलय एक प्रुफ़र वलय है, और सभी ऊपरी वलय अधिगम भागफल के वलय हैं।{{sfn|Davis|1964}}{{rp|196}} | ||
डायाडिक परिमेय एक [[पूर्णांक]] अंश और 2 भाजक की शक्ति वाला एक अंश है। | डायाडिक परिमेय एक [[पूर्णांक]] अंश और 2 भाजक की शक्ति वाला एक अंश है। |
Revision as of 13:42, 25 May 2023
यह लेख गणितीय अवधारणा के बारे में है। उच्चारण के लिए, रिंग (विशेषक) देखें
Algebraic structure → Ring theory Ring theory |
---|
गणित में, अविभाज्य कार्यक्षेत्र के ओवररिंग (ऊपरी वलय) में अविभाज्य कार्यक्षेत्र होता है, और अविभाज्य कार्यक्षेत्र के अंशों के क्षेत्र में ऊपरी वलय होता है। ऊपरी वलय विभिन्न प्रकार के वलय और कार्यक्षेत्र (रिंग सिद्धांत) की बेहतर समझ प्रदान करते हैं।
परिभाषा
इस लेख में, सभी वलय (गणित) क्रमविनिमेय वलय हैं, और वलय और ऊपरी वलय समान समरूप तत्व साझा करते हैं।
माना की एक अविभाज्य कार्यक्षेत्र के अंशों के क्षेत्र का प्रतिनिधित्व करते हैं, वलय अविभाज्य कार्यक्षेत्र का एक ऊपरी वलय है। यदि का उपसमूह है और अंशों के क्षेत्र का एक उपसमूह है ;[1]: 167 तब और का संबंध है .[2]: 373
गुण
अंशो का वलय
वलय गुणक समुच्चय द्वारा वलय के अंशों का कुल वलय हैं.[3]: 46 मान लीजिए का ऊपरी वलय है और में एक गुणक समुच्चय है। वलय का ऊपरी वलय है। यदि प्रत्येक गैर-इकाई तत्व का एक शून्य भाजक है तो वलय के अंशों का कुल वलय है।[4]: 52–53 यदि पूर्ण रूप से में बंद है तो वलय में पूर्ण तत्व है प्रत्येक ऊपरी वलय जो में निहित है एक वलय है , और का ऊपरी वलय है।[4]: 52–53
नोथेरियन कार्यक्षेत्र
परिभाषाएं
एक नोथेरियन वलय 3 समतुल्य परिमित स्थितियों को संतुष्ट करता है i) गुणावली (वलय सिद्धांत) की प्रत्येक आरोही श्रृंखला की स्थिति परिमित है, ii) गुणावलीों के प्रत्येक गैर-रिक्त श्रेणी का अधिकतम होता है और iii) प्रत्येक गुणावली का एक परिमित आधार होता है।[3]: 199
एक अविभाज्य कार्यक्षेत्र एक डेडेकिंड कार्यक्षेत्र होता है, अगर कार्यक्षेत्र का प्रत्येक गुणावली प्रमुख गुणावलीों का एक परिमित उत्पाद है ।[3]: 270
वलय का प्रतिबंधित आकार उन सभी प्राथमिक गुणावली की श्रेणियों के बीच अधिकतम क्रुल आकार है जिसमें एक नियमित तत्व होता है.[4]: 52
एक वलय स्थानीय रूप से नगण्य है अगर हर वलय अधिकतम गुणावली के साथ नगण्य तत्वों से मुक्त है या प्रत्येक गैर इकाई के साथ एक शून्य विभाजक है।[4]: 52
एक सम्बंधित वलय एक क्षेत्र (गणित) पर एक बहुपद वलय की समरूप छवि है।[4]: 58
गुण
डेडेकाइंड वलय का हर ऊपरी वलय डेडेकाइंड वलय होता है।[5][6]
वलय के प्रत्यक्ष योग का प्रत्येक ऊपरी वलय, जिसके गैर-इकाई तत्व सभी शून्य-भाजक हैं, एक नोथेरियन वलय है।[4]: 53
नोथेरियन कार्यक्षेत्र का प्रत्येक क्रुल 1-आकारीय ऊपरी वलय नोथेरियन वलय है।[4]: 53
ये विवरण नोथेरियन वलय और पूर्ण रूप से बंद के समतुल्य हैं।[4]: 57
- प्रत्येक ऊपरी वलय एक नोथेरियन वलय है।
- प्रत्येक अधिकतम गुणावली के के लिए, प्रत्येक ऊपरी वलय एक नोथेरियन वलय है।
- वलय प्रतिबंधित आकार 1 या उससे कम के साथ स्थानीय रूप से शून्य है।
- वलय नोथेरियन है, और वलय सीमित आकार 1 या उससे कम है।
- प्रत्येक ऊपरी वलय पूर्ण रूप से बंद है।
निम्नलिखित विवरण सम्बंधित वलय और पूर्ण रूप से बंद के समतुल्य हैं.[4]: 58
- वलय स्थानीय रूप से शून्य है।
- वलय एक परिमित है प्रतिरूपण (गणित)।
- वलय नोथेरियन है।
एक पूर्ण रूप से बंद स्थानीय वलय एक अविभाज्य कार्यक्षेत्र या वलय है जिसके सभी गैर-इकाई तत्व शून्य-भाजक हैं।[4]: 58
यदि नोथेरियन वलय का प्रत्येक ऊपरी वलय पूर्ण रूप से बंद है तो नोथेरियन अविभाज्य कार्यक्षेत्र एक डेडेकिंड वलय है।[7]: 198
यदि नोथेरियन अविभाज्य कार्यक्षेत्र एक आघूर्ण वर्ग समूह के साथ डेडेकिंड वलय है तो नोथेरियन अविभाज्य कार्यक्षेत्र का प्रत्येक ऊपरी वलय अंशों का वलय है ।[7]: 200
सुसंगत वलय
परिभाषाएं
एक सुसंगत वलय क्रमविनिमेय वलय है जिसमें वलय सिद्धांत की प्रत्येक शब्दावली वलय सिद्धांत की गुणावली शब्दावली है।[2]: 373 नोथेरियन कार्यक्षेत्र और प्रुफ़र कार्यक्षेत्र सुव्यवस्थित हैं।[8]: 137
एक जोड़ी वलय सिद्धांत के अविभाज्य कार्यक्षेत्र के ऊपर का विस्तार दर्शाता है।[9]: 331
यदि का उपकार्यक्षेत्र है और का उपकार्यक्षेत्र है तो जोड़ी के लिए वलय एक मध्यवर्ती कार्यक्षेत्र है।[9]: 331
गुण
प्रत्येक ऊपरी वलय सुसंगत होने पर एक नोथेरियन वलय का क्रुल आकार 1 या उससे कम होता है।[2]: 373
यदि प्रत्येक मध्यवर्ती अविभाज्य कार्यक्षेत्र पूर्ण रूप से में बंद है तो अविभाज्य कार्यक्षेत्र जोड़ी के लिए , का ऊपरी वलय है.[9]: 332 [10]: 175
यदि प्रत्येक उपसमुच्चय का ऊपरी वलय सुसंगत है तो का पूर्ण रूप से बंद एक प्रुफ़र कार्यक्षेत्र है ।[8]: 137
प्रुफ़र कार्यक्षेत्र और क्रुल 1-आकारी नोथेरियन कार्यक्षेत्र के ऊपरी वलय सुसंगत हैं।[8]: 138
प्रुफ़र कार्यक्षेत्र
गुण
यदि प्रत्येक ऊपरी वलय गुणक समुच्चय के साथ एक स्थानीयकरण है तो एक वलय में QR गुण होता है ।[11]: 196 QR कार्यक्षेत्र प्रुफ़र कार्यक्षेत्र हैं।[11]: 196 आघूर्ण पिकार्ड समूह वाला प्रुफ़र कार्यक्षेत्र एक QR कार्यक्षेत्र है।[11]: 196 एक प्रुफ़र कार्यक्षेत्र एक QR कार्यक्षेत्र होता है यदि प्रत्येक अंतिम रूप से उत्पन्न गुणावली के वलय का तत्त्वरूप एक प्रमुख गुणावली द्वारा उत्पन्न तत्त्वरूप के समरूप होता है।[12]: 500
अभिव्यक्ति, प्रुफ़र कार्यक्षेत्र इसके बराबर है:[13]: 56
- प्रत्येक ऊपरी वलय के स्थानीयकरणों का प्रतिच्छेदन (सेट सिद्धांत) है, और पूर्ण रूप से बंद है।
- प्रत्येक ऊपरी वलय के अंशों के वलय का प्रतिच्छेदन है, और पूर्ण रूप से बंद है।
- प्रत्येक ऊपरी वलय प्रमुख गुणावली हैं जो के प्रमुख गुणावली के विस्तार हैं, और पूर्ण रूप से बंद है।
- प्रत्येक ऊपरी वलय के किसी भी अभाज्य गुणावली के ऊपर अधिक से अधिक 1 मुख्य गुणावली होता है, और पूर्ण रूप से बंद है।
- प्रत्येक ऊपरी वलय पूर्ण रूप से बंद है।
- प्रत्येक ऊपरी वलय सुसंगत है।
अभिव्यक्ति, प्रुफ़र कार्यक्षेत्र इसके बराबर है:[1]: 167
- के का प्रत्येक ऊपरी वलय प्रतिरूपण की तरह समतल है।
- प्रत्येक मूल्यांकन की वलय अंशों का एक वलय है।
न्यूनतम ऊपरी वलय
परिभाषाएं
न्यूनतम वलय समरूपता एक अंतःक्षेपक गैर अनुमानित समरूपता है, और यदि समरूपता समरूपता और की एक रचना है तो या एक समरूप है।[14]: 461
एक उचित न्यूनतम वलय विस्तार उपवलय का होता है अगर वलय में सम्मिलित एक न्यूनतम वलय समरूपता है। इसका तात्पर्य वलय जोड़ी के रूप में कोई उचित मध्यवर्ती वलय नहीं है।[15]: 186
वलय का एक न्यूनतम ऊपरी वलय होता है अगर में युक्त एक उपवलय है और वलय जोड़ी के रूप में कोई उचित मध्यवर्ती वलय नहीं है।[16]: 60
गुणावली का कप्लैन्स्की गुणावली रूपांतरण (हेज़ रूपांतरण, S-रूपांतरण) अविभाज्य कार्यक्षेत्र के संबंध में अंश क्षेत्र का एक उपसमुच्चय है इस उपसमुच्चय में तत्व होते हैं ऐसा है कि प्रत्येक तत्व के लिए गुणावली का एक सकारात्मक पूर्णांक है उत्पाद के साथ अविभाज्य कार्यक्षेत्र में निहित है।[17][16]: 60
गुण
कार्यक्षेत्र के न्यूनतम वलय विस्तार से उत्पन्न कोई भी कार्यक्षेत्र का ऊपरी वलय है अगर एक क्षेत्र नहीं है।[17][15]: 186
अंशों का क्षेत्र में न्यूनतम ऊपरी वलय का सम्मिलित है अगर एक क्षेत्र नहीं है।[16]: 60
मान लें एक पूर्ण रूप से बंद अविभाज्य कार्यक्षेत्र एक क्षेत्र नहीं है, यदि अविभाज्य कार्यक्षेत्र का न्यूनतम ऊपरी वलय सम्मिलित है, तो न्यूनतम ऊपरी वलय एक अधिकतम गुणावली के कप्लान्स्की परिवर्तन के रूप में होता है।[16]: 60
उदाहरण
बेज़ाउट अविभाज्य कार्यक्षेत्र प्रुफ़र कार्यक्षेत्र का एक प्रकार है; बेज़ाउट कार्यक्षेत्र की पारिभाषिक विशेषता प्रत्येक सूक्ष्म रूप से उत्पन्न गुणावली एक प्रमुख गुणावली है। बेज़ाउट कार्यक्षेत्र एक प्रुफ़र कार्यक्षेत्र के सभी ऊपरी वलय गुणों को साझा करेगा।[1]: 168
पूर्णांक वलय एक प्रुफ़र वलय है, और सभी ऊपरी वलय अधिगम भागफल के वलय हैं।[7]: 196
डायाडिक परिमेय एक पूर्णांक अंश और 2 भाजक की शक्ति वाला एक अंश है।
डायाडिक परिमेय वलय दो की शक्तियों और पूर्णांक वलय के एक ऊपरी वलय द्वारा पूर्णांकों का स्थानीयकरण है।
यह भी देखें
- स्पष्ट अंगूठी
- अंगूठियों की श्रेणी
- सुसंगत अंगूठी
- डेडेकाइंड डोमेन
- रिंग थ्योरी की शब्दावली
- अभिन्न तत्व
- क्रुल आयाम
- स्थानीय रिंग
- स्थानीयकरण (कम्यूटेटिव बीजगणित)
- नीलपोटेंट
- पिकार्ड समूह
- प्रधान आदर्श
- प्रूफर डोमेन
- नोथेरियन रिंग
- नियमित तत्व[disambiguation needed]
- सब्रिंग
- अंशों का कुल वलय
- वैल्यूएशन रिंग
टिप्पणियाँ
- ↑ 1.0 1.1 1.2 Fontana & Papick 2002.
- ↑ 2.0 2.1 2.2 Papick 1978.
- ↑ 3.0 3.1 3.2 Zariski & Samuel 1965.
- ↑ 4.0 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 Davis 1962.
- ↑ Cohen 1950.
- ↑ Lane & Schilling 1939.
- ↑ 7.0 7.1 7.2 Davis 1964.
- ↑ 8.0 8.1 8.2 Papick 1980.
- ↑ 9.0 9.1 9.2 Papick 1979.
- ↑ Davis 1973.
- ↑ 11.0 11.1 11.2 Fuchs, Heinzer & Olberding 2004.
- ↑ Pendleton 1966.
- ↑ Bazzoni & Glaz 2006.
- ↑ Ferrand & Olivier 1970.
- ↑ 15.0 15.1 Dobbs & Shapiro 2006.
- ↑ 16.0 16.1 16.2 16.3 Dobbs & Shapiro 2007.
- ↑ 17.0 17.1 Sato, Sugatani & Yoshida 1992.
संदर्भ
- Atiyah, Michael Francis; Macdonald, Ian G. (1969). Introduction to commutative algebra. Reading, Mass.: Addison-Wesley Publishing Company. ISBN 9780201407518.
- Bazzoni, Silvana; Glaz, Sarah (2006). "Prüfer rings". In Brewer rings, James W.; Glaz, Sarah; Heinzer, William J.; Olberding, Bruce M. (eds.). Multiplicative ideal theory in commutative algebra: a tribute to the work of Robert Gilmer. New York, NY: Springer. pp. 54–72. ISBN 978-0-387-24600-0.
- Cohen, Irving S. (1950). "Commutative rings with restricted minimum condition". Duke Math. J. 17 (1): 27–42. doi:10.1215/S0012-7094-50-01704-2.
- Davis, Edward D (1962). "Overrings of commutative rings. I. Noetherian overrings" (PDF). Transactions of the American Mathematical Society. 104 (1): 52–61.
- Davis, Edward D (1964). "Overrings of commutative rings. II. Integrally closed overrings" (PDF). Transactions of the American Mathematical Society. 110 (2): 196–212.
- Davis, Edward D. (1973). "Overrings of commutative rings. III. Normal pairs" (PDF). Transactions of the American Mathematical Society: 175–185.
- Dobbs, David E.; Shapiro, Jay (2006). "A classification of the minimal ring extensions of an integral domain". Journal of Algebra. 305 (1): 185–193. doi:10.1016/j.jalgebra.2005.10.005.
- Dobbs, David E.; Shapiro, Jay (2007). "Descent of minimal overrings of integrally closed domains to fixed rings". Houston Journal of Mathematics. 33 (1).
- Ferrand, Daniel; Olivier, Jean-Pierre (1970). "Homomorphismes minimaux d'anneaux" (PDF). Journal of Algebra. 16 (3): 461–471.
- Fontana, Marco; Papick, Ira J. (2002), "Dedekind and Prüfer domains", in Mikhalev, Alexander V.; Pilz, Günter F. (eds.), The concise handbook of algebra, Kluwer Academic Publishers, Dordrecht, pp. 165–168, ISBN 9780792370727
- Fuchs, Laszlo; Heinzer, William; Olberding, Bruce (2004), "Maximal prime divisors in arithmetical rings", Rings, modules, algebras, and abelian groups, Lecture Notes in Pure and Appl. Math., vol. 236, Dekker, New York, pp. 189–203, MR 2050712
- Lane, Saunders Mac; Schilling, O. F. G. (1939). "Infinite number fields with Noether ideal theories". American Journal of Mathematics. 61 (3): 771–782.
- Papick, Ira J. (1978). "A Remark on Coherent Overrings" (PDF). Canad. Math. Bull. 21 (3): 373–375.
- Papick, Ira J. (1979). "Coherent overrings" (PDF). Canadian Mathematical Bulletin. 22 (3): 331–337.
- Papick, Ira J. (1980). "A note on proper overrings". Rikkyo Daigaku sugaku zasshi. 28 (2): 137–140.
- Pendleton, Robert L. (1966). "A characterization of Q-domains". Bull. Amer. Math. Soc. 72 (4): 499–500.
- Sato, Junro; Sugatani, Takasi; Yoshida, Ken-ichi (January 1992). "On minimal overrings of a noetherian domain". Communications in Algebra. 20 (6): 1735–1746. doi:10.1080/00927879208824427.
- Zariski, Oscar; Samuel, Pierre (1965). Commutative algebra. New York: Springer-Verlag. ISBN 978-0-387-90089-6.
संबंधित श्रेणियां
श्रेणी:रिंग सिद्धांत
श्रेणी:गुणावली (वलय सिद्धांत)
श्रेणी:बीजगणितीय संरचनाएं
श्रेणी:क्रमविनिमेय बीजगणित