ओवररिंग

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

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

परिभाषा

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

माना की ${\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.

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

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