ओवररिंग

यह लेख गणितीय अवधारणा के बारे में है। उच्चारण के लिए, रिंग (विशेषक) देखें

गणित में, अविभाज्य कार्यक्षेत्र के ओवररिंग में अविभाज्य कार्यक्षेत्र होता है, और अविभाज्य कार्यक्षेत्र के अंशों के क्षेत्र में ओवररिंग होता है। ओवररिंग्स विभिन्न प्रकार के रिंग्स और डोमेन(रिंग थ्योरी) की बेहतर समझ प्रदान करते हैं।

परिभाषा

इस लेख में, सभी रिंग (गणित) क्रमविनिमेय रिंग हैं, और रिंग और ओवररिंग समान पहचान तत्व साझा करते हैं।

माना की ${\textstyle Q(A)}$ एक अविभाज्य कार्यक्षेत्र के अंशों के क्षेत्र का प्रतिनिधित्व करते हैं ${\textstyle A}$. अँगूठी ${\textstyle B}$ अविभाज्य कार्यक्षेत्र का एक ओवररिंग है ${\textstyle A}$ अगर ${\textstyle A}$ का उपसमूह है ${\textstyle B}$ और ${\textstyle B}$ अंशों के क्षेत्र का एक उपसमूह है ${\textstyle Q(A)}$; संबंध है ${\textstyle A\subseteq B\subseteq Q(A)}$.

गुण

अंशों की अंगूठी

छल्ले ${\textstyle R_{A},S_{A},T_{A}}$ छल्लों के अंशों का कुल वलय हैं ${\textstyle R,S,T}$ स्थानीयकरण (क्रमविनिमेय बीजगणित) द्वारा ${\textstyle A}$. मान लीजिए ${\textstyle T}$ का ओवररिंग है ${\textstyle R}$ और ${\textstyle A}$ में एक गुणक सेट है ${\textstyle R}$. अंगूठी ${\textstyle T_{A}}$ का ओवररिंग है ${\textstyle R_{A}}$. अंगूठी ${\textstyle T_{A}}$ के अंशों का कुल वलय है ${\textstyle R_{A}}$ यदि प्रत्येक इकाई (रिंग थ्योरी) का तत्व है ${\textstyle T_{A}}$ एक शून्य भाजक है। का हर ओवररिंग ${\textstyle R_{A}}$ में निहित ${\textstyle T_{A}}$ एक अंगूठी है ${\textstyle S_{A}}$, और ${\textstyle S}$ का ओवररिंग है ${\textstyle R}$. अँगूठी ${\textstyle R_{A}}$ में अभिन्न तत्व है ${\textstyle T_{A}}$ अगर ${\textstyle R}$ में पूर्ण रूप से बंद है ${\textstyle T}$.

नोथेरियन डोमेन

परिभाषाएं

एक नोथेरियन रिंग 3 समतुल्य परिमित स्थितियों को संतुष्ट करता है i) आदर्श (रिंग थ्योरी) की प्रत्येक आरोही श्रृंखला की स्थिति परिमित है, ii) आदर्शों के प्रत्येक गैर-रिक्त परिवार का अधिकतम होता है और न्यूनतम तत्व और iii) प्रत्येक आदर्श में हिल्बर्ट का आधार प्रमेय होता है।

एक अविभाज्य कार्यक्षेत्र एक Dedekind डोमेन होता है, अगर डोमेन का हर आदर्श आदर्श आदर्शों का एक परिमित उत्पाद है।

रिंग का प्रतिबंधित आयाम उन सभी प्राइम आइडियल्स के रैंकों के बीच अधिकतम क्रुल आयाम है जिसमें एक नियमित तत्व होता है.

एक अंगूठी ${\textstyle R}$ <a>स्थानीय रिंग nilpotent फ्री</me> है अगर हर रिंग ${\textstyle R_{M}}$ अधिकतम आदर्श के साथ ${\textstyle M}$ निलपोटेंट तत्वों से मुक्त है या प्रत्येक गैर इकाई के साथ एक शून्य विभाजक है।

एक एफ़िन रिंग एक फ़ील्ड (गणित) पर एक बहुपद रिंग की समरूपता छवि (गणित) है।

गुण

डेडेकाइंड रिंग का हर ओवररिंग डेडेकाइंड रिंग होता है।

छल्लों के प्रत्यक्ष योग का प्रत्येक ओवररिंग, जिसके गैर-इकाई तत्व सभी शून्य-भाजक हैं, एक नोथेरियन वलय है।

क्रुल डायमेंशन 1-डायमेंशनल नोथेरियन डोमेन का हर ओवररिंग नोथेरियन रिंग है।

ये कथन नोथेरियन वलय के समतुल्य हैं ${\textstyle R}$ अभिन्न बंद होने के साथ ${\textstyle {\bar {R}}}$.

• हर ओवरिंग ${\textstyle R}$ एक नोथेरियन रिंग है।
• प्रत्येक अधिकतम आदर्श के लिए ${\textstyle M}$ का ${\textstyle R}$, हर ओवरिंग ${\textstyle R_{M}}$ एक नोथेरियन रिंग है।
• अँगूठी ${\textstyle R}$ प्रतिबंधित आयाम 1 या उससे कम के साथ स्थानीय रूप से शून्य है।
• अँगूठी ${\textstyle {\bar {R}}}$ नोथेरियन है, और रिंग ${\textstyle R}$ सीमित आयाम 1 या उससे कम है।
• हर ओवरिंग ${\textstyle {\bar {R}}}$ अभिन्न रूप से बंद है।

ये बयान affine ring के बराबर हैं ${\textstyle R}$ अभिन्न बंद होने के साथ ${\textstyle {\bar {R}}}$.

• अँगूठी ${\textstyle R}$ स्थानीय रूप से शून्य है।
• अँगूठी ${\textstyle {\bar {R}}}$ एक परिमित है ${\textstyle \operatorname {R-} }$मॉड्यूल (गणित)।
• अँगूठी ${\textstyle {\bar {R}}}$ नोथेरियन है।

एक अभिन्न रूप से बंद स्थानीय रिंग ${\textstyle R}$ एक अविभाज्य कार्यक्षेत्र या अंगूठी है जिसका गैर-इकाई तत्व सभी शून्य-भाजक हैं।

नोथेरियन अविभाज्य कार्यक्षेत्र एक डेडेकिंड रिंग है, अगर नोथेरियन रिंग का हर ओवररिंग इंटीग्रेटेड रूप से बंद है।

नोथेरियन अविभाज्य कार्यक्षेत्र का हर ओवररिंग अंशों का रिंग है यदि नोथेरियन अविभाज्य कार्यक्षेत्र एक मरोड़ वर्ग समूह के साथ डेडेकिंड रिंग है।

सुसंगत छल्ले

परिभाषाएं

एक सुसंगत वलय क्रमविनिमेय वलय है जिसमें वलय सिद्धांत की प्रत्येक शब्दावली वलय सिद्धांत की आदर्श शब्दावली है। नोथेरियन डोमेन और प्रुफ़र डोमेन सुसंगत हैं।

एक जोड़ी ${\textstyle (R,T)}$ रिंग थ्योरी के अविभाज्य कार्यक्षेत्र ग्लोसरी को इंगित करता है ${\textstyle T}$ ऊपर ${\textstyle R}$.

अँगूठी ${\textstyle S}$ जोड़ी के लिए एक मध्यवर्ती डोमेन है ${\textstyle (R,T)}$ अगर ${\textstyle R}$ का उपडोमेन है ${\textstyle S}$ और ${\textstyle S}$ का उपडोमेन है ${\textstyle T}$.

गुण

प्रत्येक ओवररिंग सुसंगत होने पर एक नोथेरियन रिंग का क्रुल आयाम 1 या उससे कम होता है।

अविभाज्य कार्यक्षेत्र जोड़ी के लिए ${\textstyle (R,T)}$, ${\textstyle T}$ का ओवररिंग है ${\textstyle R}$ यदि प्रत्येक मध्यवर्ती अविभाज्य कार्यक्षेत्र अभिन्न रूप से बंद है ${\textstyle T}$.

का अभिन्न समापन ${\textstyle R}$ एक Prüfer डोमेन है यदि प्रत्येक उपसमुच्चय का ओवररिंग ${\textstyle R}$ सुसंगत है।

Prüfer डोमेन और Krull 1-आयामी नोथेरियन डोमेन के ओवररिंग सुसंगत हैं।

चेकर डोमेन

गुण

एक रिंग में QR गुण होता है यदि प्रत्येक ओवररिंग गुणक सेट के साथ एक स्थानीयकरण है। QR डोमेन Prüfer डोमेन हैं। मरोड़ पिकार्ड समूह वाला Prüfer डोमेन एक QR डोमेन है। एक Prüfer डोमेन एक QR डोमेन होता है यदि प्रत्येक अंतिम रूप से उत्पन्न आदर्श के रिंग का रेडिकल एक प्रमुख आदर्श द्वारा उत्पन्न रेडिकल के बराबर होता है।

कथन ${\textstyle R}$ एक Prüfer डोमेन इसके बराबर है:

• प्रत्येक ओवररिंग ${\textstyle R}$ के स्थानीयकरणों का प्रतिच्छेदन (सेट सिद्धांत) है ${\textstyle R}$, और ${\textstyle R}$ अभिन्न रूप से बंद है।
• प्रत्येक ओवररिंग ${\textstyle R}$ के अंशों के छल्लों का प्रतिच्छेदन है ${\textstyle R}$, और ${\textstyle R}$ अभिन्न रूप से बंद है।
• प्रत्येक ओवररिंग ${\textstyle R}$ प्रमुख आदर्श हैं जो के प्रमुख आदर्शों के विस्तार हैं ${\textstyle R}$, और ${\textstyle R}$ अभिन्न रूप से बंद है।
• प्रत्येक ओवररिंग ${\textstyle R}$ के किसी भी अभाज्य आदर्श के ऊपर अधिक से अधिक 1 मुख्य आदर्श होता है ${\textstyle R}$, और ${\textstyle R}$ अभिन्न रूप से बंद है
• प्रत्येक ओवररिंग ${\textstyle R}$ अभिन्न रूप से बंद है।
• प्रत्येक ओवररिंग ${\textstyle R}$ सुसंगत है।

कथन ${\textstyle R}$ एक Prüfer डोमेन इसके बराबर है:

• प्रत्येक ओवररिंग $S$ का ${\textstyle R}$ एक के रूप में मॉड्यूल (गणित) है $\operatorname {S-}$मापांक।
• प्रत्येक मूल्यांकन की अंगूठी ${\textstyle R}$ अंशों का एक वलय है।

न्यूनतम overring

परिभाषाएं

ए न्यूनतम रिंग समरूपता ${\textstyle f}$ एक इंजेक्शन समारोह विशेषण समारोह होमोमोर्फिज़्म है, और यदि होमोमोर्फिज़्म है ${\textstyle f}$ समरूपता की एक रचना है ${\textstyle g}$ और ${\textstyle h}$ तब ${\textstyle g}$ या ${\textstyle h}$ एक समरूपता है।

एक उचित न्यूनतम रिंग एक्सटेंशन ${\textstyle T}$ सबरिंग का ${\textstyle R}$ होता है अगर की अंगूठी शामिल है ${\textstyle R}$ में ${\textstyle T}$ एक न्यूनतम रिंग समरूपता है। इसका तात्पर्य रिंग जोड़ी से है ${\textstyle (R,T)}$ कोई उचित मध्यवर्ती रिंग नहीं है।

एक न्यूनतम ओवररिंग ${\textstyle T}$ अंगूठी का ${\textstyle R}$ होता है अगर ${\textstyle T}$ रोकना ${\textstyle R}$ एक सबरिंग और रिंग जोड़ी के रूप में ${\textstyle (R,T)}$ कोई उचित मध्यवर्ती रिंग नहीं है।

आदर्श का कप्लैन्स्की आदर्श रूपांतरण (हेज़ रूपांतरण, S-रूपांतरण) ${\textstyle I}$ अविभाज्य कार्यक्षेत्र के संबंध में ${\textstyle R}$ अंश क्षेत्र का एक सबसेट है ${\textstyle Q(R)}$. इस उपसमुच्चय में तत्व होते हैं ${\textstyle x}$ ऐसा है कि प्रत्येक तत्व के लिए ${\textstyle y}$ आदर्श का ${\textstyle I}$ एक सकारात्मक पूर्णांक है ${\textstyle n}$ उत्पाद के साथ ${\textstyle x\cdot y^{n}}$ अविभाज्य कार्यक्षेत्र में निहित ${\textstyle R}$.

गुण

डोमेन के न्यूनतम रिंग एक्सटेंशन से उत्पन्न कोई भी डोमेन ${\textstyle R}$ का ओवररिंग है ${\textstyle R}$ अगर ${\textstyle R}$ एक क्षेत्र नहीं है।

के अंशों का क्षेत्र ${\textstyle R}$ न्यूनतम ओवररिंग शामिल है ${\textstyle T}$ का ${\textstyle R}$ कब ${\textstyle R}$ एक क्षेत्र नहीं है।

एक अभिन्न रूप से बंद अविभाज्य कार्यक्षेत्र मान लें ${\textstyle R}$ एक फ़ील्ड नहीं है, यदि अविभाज्य कार्यक्षेत्र का न्यूनतम ओवररिंग है ${\textstyle R}$ मौजूद है, यह न्यूनतम ओवररिंग एक अधिकतम आदर्श के कप्लान्स्की परिवर्तन के रूप में होता है ${\textstyle R}$.

उदाहरण

बेज़ाउट डोमेन | बेज़ाउट अविभाज्य कार्यक्षेत्र प्रुफ़र डोमेन का एक प्रकार है; बेज़ाउट डोमेन की पारिभाषिक संपत्ति प्रत्येक सूक्ष्म रूप से उत्पन्न आदर्श एक प्रमुख आदर्श है। बेज़ाउट डोमेन एक Prüfer डोमेन के सभी ओवररिंग गुणों को साझा करेगा।

पूर्णांक वलय एक प्रुफ़र वलय है, और सभी अधिगम भागफल के वलय हैं। डायाडिक परिमेय एक पूर्णांक अंश और 2 भाजक की शक्ति वाला एक अंश है। डायाडिक परिमेय वलय दो की शक्तियों और पूर्णांक वलय के एक ओवररिंग द्वारा पूर्णांकों का स्थानीयकरण है।

यह भी देखें

• स्पष्ट अंगूठी
• अंगूठियों की श्रेणी
• सुसंगत अंगूठी
• डेडेकाइंड डोमेन
• रिंग थ्योरी की शब्दावली
• अभिन्न तत्व
• क्रुल आयाम
• स्थानीय रिंग
• स्थानीयकरण (कम्यूटेटिव बीजगणित)
• नीलपोटेंट
• पिकार्ड समूह
• प्रधान आदर्श
• प्रूफर डोमेन
• नोथेरियन रिंग
• नियमित तत्व
• सब्रिंग
• अंशों का कुल वलय
• वैल्यूएशन रिंग

संदर्भ

• 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.

संबंधित श्रेणियां

श्रेणी:रिंग थ्योरी श्रेणी:आदर्श (रिंग थ्योरी) श्रेणी:बीजगणितीय संरचनाएं श्रेणी:क्रमविनिमेय बीजगणित