आरोही श्रृंखला स्थिति
गणित में, आरोही श्रृंखला स्थिति (एसीसी) और अवरोही श्रृंखला स्थिति (डीसीसी) कुछ बीजगणितीय संरचनाओं द्वारा संतुष्ट परिमित गुण हैं, सबसे महत्वपूर्ण रूप से कुछ क्रमविनिमेय रिंगों में आदर्श (रिंग सिद्धांत)।[1][2][3] इन स्थितियों ने डेविड हिल्बर्ट, एमी नोएदर और एमिल आर्टिन के कार्यों में क्रमविनिमेय वलय के संरचना सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई। शर्तों को स्वयं एक अमूर्त रूप में बताया जा सकता है, ताकि वे किसी भी आंशिक रूप से आदेशित सेट के लिए समझ में आ सकें। गेब्रियल और रेंटश्लर के कारण यह दृष्टिकोण अमूर्त बीजगणितीय आयाम सिद्धांत में उपयोगी है।
परिभाषा
आंशिक रूप से क्रमबद्ध सेट (पोसेट) पी को 'आरोही श्रृंखला स्थिति' (एसीसी) को संतुष्ट करने के लिए कहा जाता है यदि कोई अनंत सख्ती से आरोही अनुक्रम नहीं है
P के तत्वों का अस्तित्व है।[4] समान रूप से,[note 1] प्रत्येक कमज़ोर आरोही क्रम
P के तत्वों की संख्या अंततः स्थिर हो जाती है, जिसका अर्थ है कि एक सकारात्मक पूर्णांक n मौजूद है
इसी प्रकार, यदि P के तत्वों की कोई अनंत अवरोही श्रृंखला नहीं है, तो P को 'अवरोही श्रृंखला स्थिति' (DCC) को संतुष्ट करने वाला कहा जाता है।[4]समान रूप से, प्रत्येक कमज़ोर अवरोही क्रम
P के तत्व अंततः स्थिर हो जाते हैं।
टिप्पणियाँ
- आश्रित विकल्प के सिद्धांत को मानते हुए, (संभवतः अनंत) पॉसेट पी पर अवरोही श्रृंखला की स्थिति पी के बराबर है जो अच्छी तरह से स्थापित है: पी के प्रत्येक गैर-रिक्त उपसमुच्चय में एक न्यूनतम तत्व होता है (जिसे 'न्यूनतम स्थिति' या 'न्यूनतम स्थिति' भी कहा जाता है) ). एक कुल ऑर्डर जो अच्छी तरह से स्थापित होता है वह एक सुव्यवस्थित | सुव्यवस्थित सेट होता है।
- इसी तरह, आरोही श्रृंखला की स्थिति पी के विपरीत अच्छी तरह से स्थापित होने के बराबर है (फिर से, आश्रित विकल्प मानते हुए): पी के प्रत्येक गैर-रिक्त उपसमुच्चय में एक अधिकतम तत्व ('अधिकतम स्थिति' या 'अधिकतम स्थिति') होता है।
- प्रत्येक परिमित स्थिति आरोही और अवरोही दोनों श्रृंखला स्थितियों को संतुष्ट करती है, और इस प्रकार दोनों अच्छी तरह से स्थापित और उलटा अच्छी तरह से स्थापित है।
उदाहरण
अंगूठी पर विचार करें
पूर्णांकों का. प्रत्येक आदर्श किसी संख्या के सभी गुणजों से मिलकर बनता है . उदाहरण के लिए, आदर्श
के सभी गुणजों से मिलकर बना है . होने देना
के सभी गुणजों से युक्त आदर्श बनें . आदर्श आदर्श के अंदर समाहित है , प्रत्येक गुणज के बाद से का गुणज भी है . बदले में, आदर्श आदर्श में निहित है , प्रत्येक गुणज के बाद से का गुणज है . हालाँकि, इस बिंदु पर कोई बड़ा आदर्श नहीं है; हम शीर्ष पर हैं .
सामान्य तौर पर, यदि के आदर्श हैं ऐसा है कि में निहित है , में निहित है , और इसी तरह, फिर कुछ है जिसके लिए सभी . अर्थात् एक समय के बाद सभी आदर्श एक-दूसरे के बराबर हो जाते हैं। इसलिए, के आदर्श आरोही श्रृंखला स्थिति को संतुष्ट करें, जहां आदर्शों को सेट समावेशन द्वारा क्रमबद्ध किया जाता है। इस तरह एक नोथेरियन अंगूठी है.
यह भी देखें
- आर्टिनियन (बहुविकल्पी)
- प्रमुख आदर्शों के लिए आरोही श्रृंखला स्थिति
- क्रुल आयाम
- सर्वांगसमताओं पर अधिकतम स्थिति
- नोथेरियन
टिप्पणियाँ
- ↑ Proof: first, a strictly increasing sequence cannot stabilize, obviously. Conversely, suppose there is an ascending sequence that does not stabilize; then clearly it contains a strictly increasing (necessarily infinite) subsequence. Notice the proof does not use the full force of the axiom of choice.[clarification needed]
संदर्भ
- Atiyah, M. F., and I. G. MacDonald, Introduction to Commutative Algebra, Perseus Books, 1969, ISBN 0-201-00361-9
- Michiel Hazewinkel, Nadiya Gubareni, V. V. Kirichenko. Algebras, rings and modules. Kluwer Academic Publishers, 2004. ISBN 1-4020-2690-0
- John B. Fraleigh, Victor J. Katz. A first course in abstract algebra. Addison-Wesley Publishing Company. 5 ed., 1967. ISBN 0-201-53467-3
- Nathan Jacobson. Basic Algebra I. Dover, 2009. ISBN 978-0-486-47189-1