आरोही श्रृंखला स्थिति

गणित में, आरोही श्रृंखला स्थिति (एसीसी) और अवरोही श्रृंखला स्थिति (डीसीसी) कुछ बीजीय संरचनाओं द्वारा संतुष्ट परिमितता गुण हैं, सबसे महत्वपूर्ण रूप से कुछ क्रमविनिमेय वलय में आदर्श।  इन स्थितियों ने डेविड हिल्बर्ट, एम्मी नोएथर और एमिल आर्टिन के कार्यों में क्रमविनिमेय वलय के संरचना सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई। शर्तों को स्वयं एक अमूर्त रूप में बताया जा सकता है ताकि वे किसी भी आंशिक रूप से ऑर्डर किए गए समुच्चय के लिए समझ में आ सकें। गेब्रियल और रेंटस्लर के कारण यह दृष्टिकोण अमूर्त बीजीय आयाम सिद्धांत में उपयोगी है।

परिभाषा
आंशिक रूप से क्रमबद्ध समुच्चय (पॉसमुच्चय) P को आरोही श्रृंखला स्थिति (एसीसी) को संतुष्ट करने के लिए कहा जाता है यदि कोई अनंत सख्ती से आरोही अनुक्रम नहीं है।
 * $$a_1 < a_2 < a_3 < \cdots$$

P के अवयवों का अस्तित्व है। समान रूप से, प्रत्येक आरोही क्रम
 * $$a_1 \leq a_2 \leq a_3 \leq \cdots,$$

P के अवयवों की संख्या अंततः स्थिर हो जाती है, जिसका अर्थ है कि धनात्मक पूर्णांक n उपस्थित है।
 * $$a_n = a_{n+1} = a_{n+2} = \cdots.$$

इसी प्रकार, यदि P के अवयवों की कोई अनंत अवरोही श्रृंखला नहीं है, तो P को अवरोही श्रृंखला स्थिति (डीसीसी) को संतुष्ट करने वाला कहा जाता है। समान रूप से, प्रत्येक अशक्त अवरोही क्रम
 * $$a_1 \geq a_2 \geq a_3 \geq \cdots$$

P के अवयवों का अंतत: स्थिरीकरण होता है।

टिप्पणियाँ

 * आश्रित विकल्प के सिद्धांत को मानते हुए, (संभवतः अनंत) पॉसमुच्चय P पर अवरोही श्रृंखला स्थिति P के बराबर है जो अच्छी तरह से स्थापित है: P के प्रत्येक गैर-रिक्त उपसमुच्चय में न्यूनतम अवयव होता है (जिसे न्यूनतम स्थिति या न्यूनतम स्थिति भी कहा जाता है)। एक पूरी तरह से व्यवस्थित समुच्चय जो अच्छी तरह से स्थापित हो, एक सुव्यवस्थित समुच्चय होता है।
 * इसी प्रकार, आरोही श्रृंखला की स्थिति P के विपरीत अच्छी तरह से स्थापित होने के बराबर है (फिर से, निर्भर विकल्प मानते हुए): P के प्रत्येक गैर-रिक्त उपसमुच्चय में अधिकतम अवयव (अधिकतम स्थिति या अधिकतम स्थिति) होता है।
 * प्रत्येक परिमित स्थिति आरोही और अवरोही दोनों श्रृंखला स्थितियों को संतुष्ट करती है और इस प्रकार दोनों अच्छी तरह से स्थापित और विपरीत रूप से अच्छी तरह से स्थापित होती है।

उदाहरण
वलय पर विचार करें
 * $$\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}$$

पूर्णांकों के प्रत्येक आदर्श $$\mathbb{Z}$$ में किसी संख्या $$n$$ के सभी गुणज शामिल होते हैं। उदाहरण के लिए आदर्श
 * $$I = \{\dots, -18, -12, -6, 0, 6, 12, 18, \dots\}$$

$$6$$ के सभी गुणजों से मिलकर बना है। मान लीजिए
 * $$J = \{\dots, -6, -4, -2, 0, 2, 4, 6, \dots\}$$

$$2$$ के सभी गुणजों से मिलकर बना आदर्श बनें। आदर्श $$I$$, आदर्श $$J$$ के अंदर समाहित है क्योंकि $$6$$ का प्रत्येक गुणज भी $$2$$ का गुणज है। बदले में, आदर्श $$J$$, आदर्श $$\mathbb{Z}$$ में निहित है, क्योंकि $$2$$ का प्रत्येक गुणज $$1$$ का गुणज है। हालाँकि, इस समय इससे बड़ा कोई आदर्श नहीं है; हमने $$\mathbb{Z}$$ पर "टॉप आउट" कर लिया है।

सामान्य तौर पर, यदि $$I_1, I_2, I_3, \dots$$ $$\mathbb{Z}$$ के आदर्श हैं जैसे कि $$I_1$$ इसमें समाहित है $$I_2$$, $$I_2$$ $$I_3$$ में समाहित है, और इसी तरह, फिर कुछ $$n$$ है जिसके लिए सभी $$I_n = I_{n+1} = I_{n+2} = \cdots$$ अर्थात् एक समय के बाद सभी आदर्श एक-दूसरे के बराबर हो जाते हैं। इसलिए, $$\mathbb{Z}$$ के आदर्श आरोही श्रृंखला स्थिति को संतुष्ट करते हैं, जहां आदर्शों को सेट समावेशन द्वारा क्रमबद्ध किया जाता है। अतः $$\mathbb{Z}$$ एक नोथेरियन वलय है।

यह भी देखें

 * आर्टिनियन
 * प्रमुख आदर्शों के लिए आरोही श्रृंखला स्थिति
 * क्रुल आयाम
 * सर्वांगसमताओं पर अधिकतम स्थिति
 * नोथेरियन

संदर्भ

 * 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