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

From Vigyanwiki
(Created page with "गणित में, आरोही श्रृंखला स्थिति (एसीसी) और अवरोही श्रृंखला स्थिति (...")
 
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, आरोही श्रृंखला स्थिति (एसीसी) और अवरोही श्रृंखला स्थिति (डीसीसी) कुछ [[बीजगणितीय संरचना]]ओं द्वारा संतुष्ट परिमित गुण हैं, सबसे महत्वपूर्ण रूप से कुछ क्रमविनिमेय रिंगों में [[आदर्श (रिंग सिद्धांत)]]।<ref>Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.</ref><ref>Fraleigh & Katz (1967), p. 366, Lemma 7.1</ref><ref>Jacobson (2009), p. 142 and 147</ref> इन स्थितियों ने [[डेविड हिल्बर्ट]], [[ एमी नोएदर ]] और [[एमिल आर्टिन]] के कार्यों में क्रमविनिमेय वलय के संरचना सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई।
गणित में, '''आरोही श्रृंखला स्थिति (एसीसी)''' और '''अवरोही श्रृंखला स्थिति (डीसीसी)''' कुछ बीजीय संरचनाओं द्वारा संतुष्ट परिमितता गुण हैं, सबसे महत्वपूर्ण रूप से कुछ क्रमविनिमेय वलय में आदर्श।<ref>Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.</ref><ref>Fraleigh & Katz (1967), p. 366, Lemma 7.1</ref><ref>Jacobson (2009), p. 142 and 147</ref> इन स्थितियों ने [[डेविड हिल्बर्ट]], एम्मी नोएथर और [[एमिल आर्टिन]] के कार्यों में क्रमविनिमेय वलय के संरचना सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई। शर्तों को स्वयं एक अमूर्त रूप में बताया जा सकता है ताकि वे किसी भी आंशिक रूप से ऑर्डर किए गए समुच्चय के लिए समझ में आ सकें। गेब्रियल और रेंटस्लर के कारण यह दृष्टिकोण अमूर्त बीजीय आयाम सिद्धांत में उपयोगी है।
शर्तों को स्वयं एक अमूर्त रूप में बताया जा सकता है, ताकि वे किसी भी आंशिक रूप से आदेशित सेट के लिए समझ में आ सकें। गेब्रियल और रेंटश्लर के कारण यह दृष्टिकोण अमूर्त बीजगणितीय आयाम सिद्धांत में उपयोगी है।


== परिभाषा ==
== परिभाषा ==
आंशिक रूप से क्रमबद्ध सेट (पोसेट) पी को 'आरोही श्रृंखला स्थिति' (एसीसी) को संतुष्ट करने के लिए कहा जाता है यदि कोई अनंत सख्ती से आरोही अनुक्रम नहीं है
आंशिक रूप से क्रमबद्ध समुच्चय (पॉसमुच्चय) ''P'' को '''आरोही श्रृंखला''' '''स्थिति''' (एसीसी) को संतुष्ट करने के लिए कहा जाता है यदि कोई अनंत सख्ती से आरोही अनुक्रम नहीं है।
:<math>a_1 < a_2 < a_3 < \cdots</math>
:<math>a_1 < a_2 < a_3 < \cdots</math>
P के तत्वों का अस्तित्व है।<ref name="Hazewinkel">{{cite book| last = Hazewinkel| first = Michiel| title = गणित का विश्वकोश| publisher = Kluwer| isbn = 1-55608-010-7 | page = 580 }}</ref> समान रूप से,<ref group=note>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.{{clarify|reason=But still relies on the [[axiom of dependent choice]]?|date=October 2019}}</ref> प्रत्येक कमज़ोर आरोही क्रम
''P'' के अवयवों का अस्तित्व है।<ref name="Hazewinkel">{{cite book| last = Hazewinkel| first = Michiel| title = गणित का विश्वकोश| publisher = Kluwer| isbn = 1-55608-010-7 | page = 580 }}</ref> समान रूप से, प्रत्येक आरोही क्रम
:<math>a_1 \leq a_2 \leq a_3 \leq \cdots,</math>
:<math>a_1 \leq a_2 \leq a_3 \leq \cdots,</math>
P के तत्वों की संख्या अंततः स्थिर हो जाती है, जिसका अर्थ है कि एक सकारात्मक पूर्णांक n मौजूद है
''P'' के अवयवों की संख्या अंततः स्थिर हो जाती है, जिसका अर्थ है कि धनात्मक पूर्णांक n उपस्थित है।
:<math>a_n = a_{n+1} = a_{n+2} = \cdots.</math>
:<math>a_n = a_{n+1} = a_{n+2} = \cdots.</math>
इसी प्रकार, यदि P के तत्वों की कोई [[अनंत अवरोही श्रृंखला]] नहीं है, तो P को 'अवरोही श्रृंखला स्थिति' (DCC) को संतुष्ट करने वाला कहा जाता है।<ref name="Hazewinkel"/>समान रूप से, प्रत्येक कमज़ोर अवरोही क्रम
इसी प्रकार, यदि ''P'' के अवयवों की कोई [[अनंत अवरोही श्रृंखला]] नहीं है, तो ''P'' को '''अवरोही श्रृंखला स्थिति''' (डीसीसी) को संतुष्ट करने वाला कहा जाता है।<ref name="Hazewinkel"/> समान रूप से, प्रत्येक अशक्त अवरोही क्रम
:<math>a_1 \geq a_2 \geq a_3 \geq \cdots</math>
:<math>a_1 \geq a_2 \geq a_3 \geq \cdots</math>
P के तत्व अंततः स्थिर हो जाते हैं।
''P'' के अवयवों का अंतत: स्थिरीकरण होता है।


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


== उदाहरण ==
== उदाहरण ==
अंगूठी पर विचार करें
वलय पर विचार करें
:<math>\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}</math>
:<math>\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}</math>
पूर्णांकों का. प्रत्येक आदर्श <math>\mathbb{Z}</math> किसी संख्या के सभी गुणजों से मिलकर बनता है <math>n</math>. उदाहरण के लिए, आदर्श
पूर्णांकों के प्रत्येक आदर्श <math>\mathbb{Z}</math> में किसी संख्या <math>n</math> के सभी गुणज शामिल होते हैं। उदाहरण के लिए आदर्श
:<math>I = \{\dots, -18, -12, -6, 0, 6, 12, 18, \dots\}</math>
:<math>I = \{\dots, -18, -12, -6, 0, 6, 12, 18, \dots\}</math>
के सभी गुणजों से मिलकर बना है <math>6</math>. होने देना
<math>6</math> के सभी गुणजों से मिलकर बना है। मान लीजिए
:<math>J = \{\dots, -6, -4, -2, 0, 2, 4, 6, \dots\}</math>
:<math>J = \{\dots, -6, -4, -2, 0, 2, 4, 6, \dots\}</math>
के सभी गुणजों से युक्त आदर्श बनें <math>2</math>. आदर्श <math>I</math> आदर्श के अंदर समाहित है <math>J</math>, प्रत्येक गुणज के बाद से <math>6</math> का गुणज भी है <math>2</math>. बदले में, आदर्श <math>J</math> आदर्श में निहित है <math>\mathbb{Z}</math>, प्रत्येक गुणज के बाद से <math>2</math> का गुणज है <math>1</math>. हालाँकि, इस बिंदु पर कोई बड़ा आदर्श नहीं है; हम शीर्ष पर हैं <math>\mathbb{Z}</math>.
<math>2</math> के सभी गुणजों से मिलकर बना आदर्श बनें। आदर्श <math>I</math>, आदर्श <math>J</math> के अंदर समाहित है क्योंकि <math>6</math> का प्रत्येक गुणज भी <math>2</math> का गुणज है। बदले में, आदर्श <math>J</math>, आदर्श <math>\mathbb{Z}</math> में निहित है, क्योंकि <math>2</math> का प्रत्येक गुणज <math>1</math> का गुणज है। हालाँकि, इस समय इससे बड़ा कोई आदर्श नहीं है; हमने <math>\mathbb{Z}</math> पर "टॉप आउट" कर लिया है।


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


== यह भी देखें ==
== यह भी देखें ==
* [[आर्टिनियन (बहुविकल्पी)]]
* [[आर्टिनियन (बहुविकल्पी)|आर्टिनियन]]
* प्रमुख आदर्शों के लिए आरोही श्रृंखला स्थिति
* प्रमुख आदर्शों के लिए आरोही श्रृंखला स्थिति
* [[क्रुल आयाम]]
* [[क्रुल आयाम]]
Line 39: Line 38:
{{reflist|group=note}}
{{reflist|group=note}}
<references/>
<references/>
== संदर्भ ==
== संदर्भ ==
* [[M. F. Atiyah|Atiyah, M. F.]], and I. G. MacDonald, ''[[Introduction to Commutative Algebra]]'', Perseus Books, 1969, {{isbn|0-201-00361-9}}
* [[M. F. Atiyah|Atiyah, M. F.]], and I. G. MacDonald, ''[[Introduction to Commutative Algebra]]'', Perseus Books, 1969, {{isbn|0-201-00361-9}}
Line 51: Line 48:
*{{cite web |title=Is the equivalence of the ascending chain condition and the maximum condition equivalent to the axiom of dependent choice? |url=https://math.stackexchange.com/q/1746921 }}
*{{cite web |title=Is the equivalence of the ascending chain condition and the maximum condition equivalent to the axiom of dependent choice? |url=https://math.stackexchange.com/q/1746921 }}


{{DEFAULTSORT:Ascending Chain Condition}}[[Category: क्रमविनिमेय बीजगणित]] [[Category: आदेश सिद्धांत]] [[Category: कल्याण]]
{{DEFAULTSORT:Ascending Chain Condition}}
 
 


[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023|Ascending Chain Condition]]
[[Category:Created On 30/06/2023]]
[[Category:Machine Translated Page|Ascending Chain Condition]]
[[Category:Pages with script errors|Ascending Chain Condition]]
[[Category:Templates Vigyan Ready|Ascending Chain Condition]]
[[Category:आदेश सिद्धांत|Ascending Chain Condition]]
[[Category:कल्याण|Ascending Chain Condition]]
[[Category:क्रमविनिमेय बीजगणित|Ascending Chain Condition]]

Latest revision as of 16:35, 7 July 2023

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

परिभाषा

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

P के अवयवों का अस्तित्व है।[4] समान रूप से, प्रत्येक आरोही क्रम

P के अवयवों की संख्या अंततः स्थिर हो जाती है, जिसका अर्थ है कि धनात्मक पूर्णांक n उपस्थित है।

इसी प्रकार, यदि P के अवयवों की कोई अनंत अवरोही श्रृंखला नहीं है, तो P को अवरोही श्रृंखला स्थिति (डीसीसी) को संतुष्ट करने वाला कहा जाता है।[4] समान रूप से, प्रत्येक अशक्त अवरोही क्रम

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

टिप्पणियाँ

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

उदाहरण

वलय पर विचार करें

पूर्णांकों के प्रत्येक आदर्श में किसी संख्या के सभी गुणज शामिल होते हैं। उदाहरण के लिए आदर्श

के सभी गुणजों से मिलकर बना है। मान लीजिए

के सभी गुणजों से मिलकर बना आदर्श बनें। आदर्श , आदर्श के अंदर समाहित है क्योंकि का प्रत्येक गुणज भी का गुणज है। बदले में, आदर्श , आदर्श में निहित है, क्योंकि का प्रत्येक गुणज का गुणज है। हालाँकि, इस समय इससे बड़ा कोई आदर्श नहीं है; हमने पर "टॉप आउट" कर लिया है।

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

यह भी देखें

टिप्पणियाँ

  1. Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.
  2. Fraleigh & Katz (1967), p. 366, Lemma 7.1
  3. Jacobson (2009), p. 142 and 147
  4. 4.0 4.1 Hazewinkel, Michiel. गणित का विश्वकोश. Kluwer. p. 580. ISBN 1-55608-010-7.

संदर्भ


बाहरी संबंध