ओवररिंग: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 72: | Line 72: | ||
==== गुण ==== | ==== गुण ==== | ||
एक वलय में <em>QR गुण</em> होता है | यदि प्रत्येक ऊपरी वलय गुणक समुच्चय के साथ एक स्थानीयकरण है तो एक वलय में <em>QR गुण</em> होता है ।{{sfn|Fuchs|Heinzer|Olberding|2004}}{{rp|196}} QR कार्यक्षेत्र प्रुफ़र कार्यक्षेत्र हैं।{{sfn|Fuchs|Heinzer|Olberding|2004}}{{rp|196}} आघूर्ण [[पिकार्ड समूह]] वाला प्रुफ़र कार्यक्षेत्र एक QR कार्यक्षेत्र है।{{sfn|Fuchs|Heinzer|Olberding|2004}}{{rp|196}} एक प्रुफ़र कार्यक्षेत्र एक QR कार्यक्षेत्र होता है यदि प्रत्येक अंतिम रूप से उत्पन्न गुणावली के वलय का तत्त्वरूप एक [[प्रमुख आदर्श|प्रमुख गुणावली]] द्वारा उत्पन्न तत्त्वरूप के समरूप होता है।{{sfn|Pendleton|1966}}{{rp|500}} | ||
अभिव्यक्ति, प्रुफ़र कार्यक्षेत्र <math display="inline">R</math> इसके बराबर है:{{sfn|Bazzoni|Glaz|2006}}{{rp|56}} | |||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> <math display="inline"> R</math> के स्थानीयकरणों का प्रतिच्छेदन (सेट सिद्धांत) है, और <math display="inline"> R</math> पूर्ण रूप से बंद है। | ||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> <math display="inline"> R</math> के अंशों के वलय का प्रतिच्छेदन है, और <math display="inline"> R</math> पूर्ण रूप से बंद है। | ||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> प्रमुख गुणावली हैं जो | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> प्रमुख गुणावली हैं जो <math display="inline"> R</math> के प्रमुख गुणावली के विस्तार हैं, और <math display="inline"> R</math> पूर्ण रूप से बंद है। | ||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> के किसी भी अभाज्य गुणावली के ऊपर अधिक से अधिक 1 मुख्य गुणावली | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> के किसी भी अभाज्य गुणावली के ऊपर अधिक से अधिक 1 मुख्य गुणावली <math display="inline"> R</math> होता है, और <math display="inline"> R</math> पूर्ण रूप से बंद है। | ||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> पूर्ण रूप से बंद है। | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> पूर्ण रूप से बंद है। | ||
* प्रत्येक ऊपरी वलय <math display="inline"> R</math> सुसंगत है। | * प्रत्येक ऊपरी वलय <math display="inline"> R</math> सुसंगत है। | ||
अभिव्यक्ति, प्रुफ़र कार्यक्षेत्र <math display="inline">R</math> इसके बराबर है:{{sfn|Fontana|Papick|2002}}{{rp|167}} | |||
* | * <math display="inline">R</math> के <math display="">S</math> का प्रत्येक ऊपरी वलय <math>\operatorname{S-}</math>प्रतिरूपण की तरह समतल है। | ||
* प्रत्येक मूल्यांकन की वलय <math display="inline">R</math> अंशों का एक वलय है। | * प्रत्येक मूल्यांकन की वलय <math display="inline">R</math> अंशों का एक वलय है। | ||
Revision as of 12:09, 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
उदाहरण
बेज़ाउट कार्यक्षेत्र | बेज़ाउट अविभाज्य कार्यक्षेत्र प्रुफ़र कार्यक्षेत्र का एक प्रकार है; बेज़ाउट कार्यक्षेत्र की पारिभाषिक संपत्ति प्रत्येक सूक्ष्म रूप से उत्पन्न गुणावली एक प्रमुख गुणावली है। बेज़ाउट कार्यक्षेत्र एक Prüfer कार्यक्षेत्र के सभी ऊपरी वलय गुणों को साझा करेगा।[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.
संबंधित श्रेणियां
श्रेणी:रिंग सिद्धांत
श्रेणी:गुणावली (वलय सिद्धांत)
श्रेणी:बीजगणितीय संरचनाएं
श्रेणी:क्रमविनिमेय बीजगणित