अलघुकरणीय घटक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(16 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Subset (often algebraic set) that is not the union of subsets of the same nature}}
{{short description|Subset (often algebraic set) that is not the union of subsets of the same nature}}
[[बीजगणितीय ज्यामिति]] में, एक अलघुकरणीय बीजगणितीय समुच्चय या अलघुकरणीय विविधता एक बीजगणितीय समुच्चय है जिसे दो उचित उपसमुच्चय बीजगणितीय उपसमुच्चयों के [[संघ (सेट सिद्धांत)]] के रूप में नहीं लिखा जा सकता है। एक अलघुकरणीय घटक एक बीजगणितीय उपसमुच्चय है जो इस संपत्ति के लिए अप्रासंगिक और अधिकतम ([[सेट समावेशन]] के लिए) है। उदाहरण के लिए, समीकरण के समाधान का सेट {{math|1=''xy'' = 0}} अलघुकरणीय नहीं है, और इसके अलघुकरणीय घटक समीकरण {{math|1=''x'' = 0}} और {{math|1=''y'' =0}} की दो पंक्तियाँ हैं।
[[बीजगणितीय ज्यामिति]] में अलघुकरणीय बीजगणितीय समुच्चय या अलघुकरणीय विविधता एक बीजगणितीय समुच्चय है जिसे दो उचित उपसमुच्चय बीजगणितीय उपसमुच्चयों के [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] के रूप में नहीं लिखा जा सकता है। अलघुकरणीय घटक एक बीजगणितीय उपसमुच्चय है जो इस संपत्ति के लिए अप्रासंगिक और अधिकतम ([[सेट समावेशन|समुच्चय समावेशन]] के लिए) है। उदाहरण के लिए, समीकरण के समाधान का समुच्चय {{math|1=''xy'' = 0}} अलघुकरणीय नहीं है और इसके अलघुकरणीय घटक समीकरण {{math|1=''x'' = 0}} और {{math|1=''y'' =0}} की दो पंक्तियाँ हैं।


शास्त्रीय बीजगणितीय ज्यामिति का यह एक मौलिक प्रमेय है कि प्रत्येक बीजगणितीय सेट को एक अनूठे तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है।
शास्त्रीय बीजगणितीय ज्यामिति का यह एक महत्वपूर्ण प्रमेय है कि प्रत्येक बीजगणितीय समुच्चय को एक पृथक तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है।


ज़रिस्की टोपोलॉजी का उपयोग करते हुए इन अवधारणाओं को विशुद्ध रूप से टोपोलॉजी के संदर्भ में सुधारा जा सकता है, जिसके लिए [[बंद सेट]] बीजगणितीय उपसमुच्चय हैं: एक [[टोपोलॉजिकल स्पेस]] [[अलघुकरणीय अंतरिक्ष|इर्रिडिएबल]] है यदि यह दो उचित बंद सब्मिट्स का मिलन नहीं है, और एक इरेड्यूसिबल घटक एक अधिकतम है सबस्पेस है (आवश्यक रूप से बंद) जो [[प्रेरित टोपोलॉजी]] के लिए अप्रासंगिक है। हालांकि इन अवधारणाओं को हर टोपोलॉजिकल स्पेस के लिए माना जा सकता है, यह शायद ही कभी बीजगणितीय ज्यामिति के बाहर किया जाता है, क्योंकि अधिकांश सामान्य टोपोलॉजिकल स्पेस [[हॉसडॉर्फ स्पेस]] होते हैं, और हॉसडॉर्फ स्पेस में, इरेड्यूसिबल घटक [[सिंगलटन (गणित)]] होते हैं।
ज़रिस्की सांस्थिति का उपयोग करते हुए इन अवधारणाओं को विशुद्ध रूप से सांस्थिति के संदर्भ में सुधारा जा सकता है, जिसके लिए [[बंद सेट|संवृत उपसमुच्चय]] बीजगणितीय उपसमुच्चय हैं: एक [[टोपोलॉजिकल स्पेस|संस्थानिक स्पेस]] [[अलघुकरणीय अंतरिक्ष|अलघुकरणीय]] है यदि यह दो उचित संवृत प्रविष्टियों का एक साथ नहीं है और अलघुकरणीय घटक एक अधिकतम अंतराल है जो [[प्रेरित टोपोलॉजी|प्रेरित सांस्थिति]] के लिए अप्रासंगिक है, हालांकि इन अवधारणाओं को हर संस्थानिक स्पेस के लिए माना जा सकता है यह शायद ही कभी बीजगणितीय ज्यामिति के बाहर किया जाता है, क्योंकि अधिकांश सामान्य संस्थानिक स्पेस [[हॉसडॉर्फ स्पेस]] होते हैं और हॉसडॉर्फ स्पेस में अलघुकरणीय घटक [[सिंगलटन (गणित)]] होते हैं।


== टोपोलॉजी में ==
== सांस्थिति में ==
एक टोपोलॉजिकल स्पेस X को कम किया जा सकता है यदि इसे दो बंद उचित उपसमुच्चयों के संघ <math>X = X_1 \cup X_2</math> के रूप में लिखा जा सकता है <math>X_1</math>, <math>X_2</math> का <math>X.</math>
एक संस्थानिक स्पेस X को कम किया जा सकता है यदि इसे दो संवृत उचित उपसमुच्चयों के संघ <math>X = X_1 \cup X_2</math> के रूप में लिखा जा सकता है <math>X_1</math>, <math>X_2</math> का <math>X.</math>


एक टोपोलॉजिकल स्पेस इरेड्यूसिबल (या [[हाइपरकनेक्टेड स्पेस]]) है अगर यह रिड्यूसिबल नहीं है। समान रूप से, ''X'' अप्रासंगिक है यदि ''X'' के सभी गैर खाली खुले उपसमुच्चय घने हैं, या यदि कोई दो गैर-खाली खुले सेटों में गैर-खाली [[चौराहा (सेट सिद्धांत)]] है।
एक संस्थानिक स्पेस अलघुकरणीय (या [[हाइपरकनेक्टेड स्पेस]]) है अगर यह रूपांतरित होने योग्य नहीं है। समान रूप से ''X'' अप्रासंगिक है यदि ''X'' के सभी गैर विवृत खुले उपसमुच्चय घने हैं या यदि कोई दो गैर-खाली खुले सेटों में गैर-खाली [[चौराहा (सेट सिद्धांत)|चौराहा]] है।


एक टोपोलॉजिकल स्पेस 'X' के एक सबसेट 'F' को इरेड्यूसिबल या रिड्यूसिबल कहा जाता है, अगर 'F' को [[सबस्पेस टोपोलॉजी]] के माध्यम से एक टोपोलॉजिकल स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित संपत्ति होती है। अर्थात्, <math>F</math> कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है <math>F = (G_1\cap F)\cup(G_2\cap F),</math> जहाँ <math>G_1,G_2</math> बंद उपसमुच्चय हैं <math>X</math> इनमें से किसी में भी <math>F.</math>नहीं है।
एक संस्थानिक स्पेस 'X' के उप-समूचय 'F' को अलघुकरणीय या रूपांतरित होने योग्य कहा जाता है, अगर 'F' को [[सबस्पेस टोपोलॉजी|सबस्पेस सांस्थिति]] के माध्यम से एक संस्थानिक स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित लक्षण होते है अर्थात्, <math>F</math> कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है <math>F = (G_1\cap F)\cup(G_2\cap F),</math> जहाँ <math>G_1,G_2</math> संवृत उपसमुच्चय हैं <math>X</math> इनमें से किसी में भी <math>F.</math>नहीं है।


एक टोपोलॉजिकल स्पेस का एक अलघुकरणीय घटक एक [[अधिकतम तत्व|अधिकतम]] अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक बंद हो जाते हैं।
एक संस्थानिक स्पेस का अलघुकरणीय घटक एक [[अधिकतम तत्व|अधिकतम]] अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक संवृत हो जाते हैं।


एक स्थान ''X'' का प्रत्येक अलघुकरणीय उपसमुच्चय ''X'' के एक (जरूरी नहीं कि यूनिक) इर्रेड्यूबल कंपोनेंट में समाहित है।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> प्रत्येक बिंदु <math>x\in X</math> X के कुछ अलघुकरणीय घटक में समाहित है।
स्थान ''X'' का प्रत्येक अलघुकरणीय उपसमुच्चय ''X'' के एक अलघुकरणीय घटक में समाहित है<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> प्रत्येक बिंदु <math>x\in X</math> X के अलघुकरणीय घटक में समाहित है।


== बीजगणितीय ज्यामिति में ==
== बीजगणितीय ज्यामिति में ==


[[बहुपद की अंगूठी]] में एक आदर्श (रिंग थ्योरी) के शून्य के सेट के रूप में प्रत्येक affine किस्म या प्रक्षेपी विविधता को परिभाषित किया गया है। एक इरेड्यूसिबल बीजगणितीय सेट, जिसे आमतौर पर बीजगणितीय विविधता के रूप में जाना जाता है, एक बीजगणितीय सेट है जिसे दो छोटे बीजगणितीय सेटों के मिलन के रूप में विघटित नहीं किया जा सकता है। लास्कर-नोथेर प्रमेय का तात्पर्य है कि प्रत्येक बीजगणितीय सेट विशिष्ट रूप से परिभाषित बीजगणितीय सेटों की एक परिमित संख्या का मिलन होता है, जिसे इसके अलघुकरणीय घटक कहा जाता है। जब ज़रिस्की टोपोलॉजी पर विचार किया जाता है, तो इरेड्यूसबिलिटी और इरेड्यूसिबल घटकों की ये धारणाएँ ठीक ऊपर परिभाषित हैं, क्योंकि बीजगणितीय सेट इस टोपोलॉजी के बिल्कुल बंद सेट हैं।
प्रत्येक संबंध या प्रक्षेपी बीजगणितीय समुच्चय को बहुपद वलय में शून्य आइडियल के समुच्चय के रूप में परिभाषित किया गया है। अलघुकरणीय बीजगणितीय समुच्चय जिसे सामान्यतौर पर बीजगणितीय विविधता के रूप में जाना जाता है, एक बीजगणितीय समुच्चय है जिसे दो छोटे बीजगणितीय समुच्चयों के मिलन के रूप में विघटित नहीं किया जा सकता है। लास्कर-नोथेर प्रमेय का तात्पर्य है कि प्रत्येक बीजगणितीय समुच्चय विशिष्ट रूप से परिभाषित बीजगणितीय समुच्चयों की एक परिमित संख्या का मिलन होता है, जिसे इसके अलघुकरणीय घटक कहा जाता है। जब ज़रिस्की सांस्थिति पर विचार किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की ये धारणाएँ ठीक ऊपर परिभाषित हैं, क्योंकि बीजगणितीय समुच्चय इस सांस्थिति के संवृत समुच्चय हैं।


एक रिंग का स्पेक्ट्रम एक टोपोलॉजिकल स्पेस है जिसके बिंदु प्रमुख आदर्श हैं और बंद सेट सभी प्रमुख आदर्शों के सेट हैं जिनमें एक निश्चित आदर्श होता है। इस टोपोलॉजी के लिए, एक बंद सेट अप्रासंगिक है यदि यह सभी प्रमुख आदर्शों का सेट है जिसमें कुछ [[प्रधान आदर्श]] होते हैं, और अलघुकरणीय घटक [[न्यूनतम प्रमुख आदर्श]]ों के अनुरूप होते हैं। [[नोथेरियन रिंग]] के मामले में इरेड्यूसिबल घटकों की संख्या परिमित है।
रिंग का संस्थानिक एक संस्थानिक स्पेस है जिसके बिंदु प्रमुख आइडियल हैं और संवृत समुच्चय सभी प्रमुख आइडियलों के समुच्चय हैं जिनमें एक निश्चित आइडियल होता है। इस सांस्थिति के लिए संवृत समुच्चय अप्रासंगिक है यदि यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें कुछ [[प्रधान आदर्श|प्रधान आइडियल]] होते हैं और अलघुकरणीय घटक [[न्यूनतम प्रमुख आदर्श|न्यूनतम प्रमुख आइडियलो]] के अनुरूप होते हैं। [[नोथेरियन रिंग]] की स्थिति में अलघुकरणीय घटकों की संख्या परिमित है।


एक [[योजना (गणित)]] एक साथ छल्ले के स्पेक्ट्रा को उसी तरह से प्राप्त करके प्राप्त की जाती है जिस तरह से [[चार्ट (गणित)]] को एक साथ जोड़कर [[कई गुना]] प्राप्त किया जाता है। तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है।
रिंगों के वर्णक्रम को एक साथ जोड़कर एक योजना उसी तरह से प्राप्त की जाती है जिस तरह से [[चार्ट (गणित)|चार्ट]] को एक साथ जोड़कर [[कई गुना]] प्राप्त किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है।


== उदाहरण ==
== उदाहरण ==
हॉसडॉर्फ स्पेस में, इरेड्यूसिबल उपसमुच्चय और इरेड्यूसिबल घटक सिंगलटन (गणित) हैं। यह विशेष रूप से [[वास्तविक संख्या]]ओं के मामले में है। वास्तव में, अगर {{mvar|X}} वास्तविक संख्याओं का एक समूह है जो एक सिंगलटन नहीं है, ऐसी तीन वास्तविक संख्याएँ हैं {{math|''x'' ∈ ''X''}}, {{math|''y'' ∈ ''X''}}, और {{math|''x'' < ''a'' < ''y''}}. सेट {{mvar|X}} तब से अप्रासंगिक नहीं हो सकता <math>X=(X\cap \,]{-\infty}, a]) \cup (X\cap [a, \infty[).</math>
हॉसडॉर्फ स्पेस में अलघुकरणीय उपसमुच्चय और अलघुकरणीय घटक सिंगलटन (गणित) है, यह विशेष रूप से [[वास्तविक संख्या]]ओं की  स्थिति में है। वास्तव में अगर {{mvar|X}} वास्तविक संख्याओं का एक समूह है जो एक सिंगलटन नहीं है, ऐसी तीन वास्तविक संख्याएँ हैं {{math|''x'' ∈ ''X''}}, {{math|''y'' ∈ ''X''}} और {{math|''x'' < ''a'' < ''y''}}{{mvar|X}} संग्रह तब तक अप्रासंगिक नहीं हो सकता जब तक  <math>X=(X\cap \,]{-\infty}, a]) \cup (X\cap [a, \infty[).</math>
अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में मौलिक है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: विमान के बीजगणितीय सेट पर विचार करें
 
अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में महत्वपूर्ण है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: सतह के बीजगणितीय उपसमुच्चय पर विचार करें
:{{math|1=''X'' = {{mset|1=(''x'', ''y'') {{!}} ''xy'' = 0}}}}.
:{{math|1=''X'' = {{mset|1=(''x'', ''y'') {{!}} ''xy'' = 0}}}}.
ज़ारिस्की टोपोलॉजी के लिए, बंद उपसमुच्चय ही हैं, खाली सेट, फिर सिंगलटन, और दो पंक्तियां परिभाषित {{math|1=''x'' = 0}} और {{math|1=''y'' = 0}}. सेट {{mvar|X}} इस प्रकार इन दो पंक्तियों के साथ अप्रासंगिक घटकों के रूप में कम किया जा सकता है।
ज़ारिस्की सांस्थिति के लिए इसके संवृत उपसमुच्चय ही हैं, खाली सम्मुचय फिर सिंगलटन और {{math|1=''x'' = 0}} और {{math|1=''y'' = 0}} द्वारा परिभाषित दो पंक्तियाँ {{mvar|X}} संग्रह इस प्रकार इन दो पंक्तियों के साथ अप्रासंगिक घटकों के रूप में कम किया जा सकता है।


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


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 39: Line 40:
{{PlanetMath attribution|id=3107|title=Irreducible component}}
{{PlanetMath attribution|id=3107|title=Irreducible component}}


{{DEFAULTSORT:Irreducible Component}}[[Category: बीजगणितीय ज्यामिति]] [[Category: सामान्य टोपोलॉजी]] [[Category: बीजगणितीय किस्में]]
{{DEFAULTSORT:Irreducible Component}}  


[[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl
[[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl


 
[[Category:Created On 26/04/2023|Irreducible Component]]
[[Category: Machine Translated Page]]
[[Category:Lua-based templates|Irreducible Component]]
[[Category:Created On 26/04/2023]]
[[Category:Machine Translated Page|Irreducible Component]]
[[Category:Pages with script errors|Irreducible Component]]
[[Category:Templates Vigyan Ready|Irreducible Component]]
[[Category:Templates that add a tracking category|Irreducible Component]]
[[Category:Templates that generate short descriptions|Irreducible Component]]
[[Category:Templates using TemplateData|Irreducible Component]]
[[Category:Wikipedia articles incorporating text from PlanetMath|अलघुकरणीय घटक]]
[[Category:बीजगणितीय किस्में|Irreducible Component]]
[[Category:बीजगणितीय ज्यामिति|Irreducible Component]]
[[Category:सामान्य टोपोलॉजी|Irreducible Component]]

Latest revision as of 09:15, 10 May 2023

बीजगणितीय ज्यामिति में अलघुकरणीय बीजगणितीय समुच्चय या अलघुकरणीय विविधता एक बीजगणितीय समुच्चय है जिसे दो उचित उपसमुच्चय बीजगणितीय उपसमुच्चयों के संघ (समुच्चय सिद्धांत) के रूप में नहीं लिखा जा सकता है। अलघुकरणीय घटक एक बीजगणितीय उपसमुच्चय है जो इस संपत्ति के लिए अप्रासंगिक और अधिकतम (समुच्चय समावेशन के लिए) है। उदाहरण के लिए, समीकरण के समाधान का समुच्चय xy = 0 अलघुकरणीय नहीं है और इसके अलघुकरणीय घटक समीकरण x = 0 और y =0 की दो पंक्तियाँ हैं।

शास्त्रीय बीजगणितीय ज्यामिति का यह एक महत्वपूर्ण प्रमेय है कि प्रत्येक बीजगणितीय समुच्चय को एक पृथक तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है।

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

सांस्थिति में

एक संस्थानिक स्पेस X को कम किया जा सकता है यदि इसे दो संवृत उचित उपसमुच्चयों के संघ के रूप में लिखा जा सकता है , का

एक संस्थानिक स्पेस अलघुकरणीय (या हाइपरकनेक्टेड स्पेस) है अगर यह रूपांतरित होने योग्य नहीं है। समान रूप से X अप्रासंगिक है यदि X के सभी गैर विवृत खुले उपसमुच्चय घने हैं या यदि कोई दो गैर-खाली खुले सेटों में गैर-खाली चौराहा है।

एक संस्थानिक स्पेस 'X' के उप-समूचय 'F' को अलघुकरणीय या रूपांतरित होने योग्य कहा जाता है, अगर 'F' को सबस्पेस सांस्थिति के माध्यम से एक संस्थानिक स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित लक्षण होते है अर्थात्, कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है जहाँ संवृत उपसमुच्चय हैं इनमें से किसी में भी नहीं है।

एक संस्थानिक स्पेस का अलघुकरणीय घटक एक अधिकतम अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक संवृत हो जाते हैं।

स्थान X का प्रत्येक अलघुकरणीय उपसमुच्चय X के एक अलघुकरणीय घटक में समाहित है[1] प्रत्येक बिंदु X के अलघुकरणीय घटक में समाहित है।

बीजगणितीय ज्यामिति में

प्रत्येक संबंध या प्रक्षेपी बीजगणितीय समुच्चय को बहुपद वलय में शून्य आइडियल के समुच्चय के रूप में परिभाषित किया गया है। अलघुकरणीय बीजगणितीय समुच्चय जिसे सामान्यतौर पर बीजगणितीय विविधता के रूप में जाना जाता है, एक बीजगणितीय समुच्चय है जिसे दो छोटे बीजगणितीय समुच्चयों के मिलन के रूप में विघटित नहीं किया जा सकता है। लास्कर-नोथेर प्रमेय का तात्पर्य है कि प्रत्येक बीजगणितीय समुच्चय विशिष्ट रूप से परिभाषित बीजगणितीय समुच्चयों की एक परिमित संख्या का मिलन होता है, जिसे इसके अलघुकरणीय घटक कहा जाता है। जब ज़रिस्की सांस्थिति पर विचार किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की ये धारणाएँ ठीक ऊपर परिभाषित हैं, क्योंकि बीजगणितीय समुच्चय इस सांस्थिति के संवृत समुच्चय हैं।

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

रिंगों के वर्णक्रम को एक साथ जोड़कर एक योजना उसी तरह से प्राप्त की जाती है जिस तरह से चार्ट को एक साथ जोड़कर कई गुना प्राप्त किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है।

उदाहरण

हॉसडॉर्फ स्पेस में अलघुकरणीय उपसमुच्चय और अलघुकरणीय घटक सिंगलटन (गणित) है, यह विशेष रूप से वास्तविक संख्याओं की स्थिति में है। वास्तव में अगर X वास्तविक संख्याओं का एक समूह है जो एक सिंगलटन नहीं है, ऐसी तीन वास्तविक संख्याएँ हैं xX, yX और x < a < yX संग्रह तब तक अप्रासंगिक नहीं हो सकता जब तक

अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में महत्वपूर्ण है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: सतह के बीजगणितीय उपसमुच्चय पर विचार करें

X = {(x, y) | xy = 0}.

ज़ारिस्की सांस्थिति के लिए इसके संवृत उपसमुच्चय ही हैं, खाली सम्मुचय फिर सिंगलटन और x = 0 और y = 0 द्वारा परिभाषित दो पंक्तियाँ X संग्रह इस प्रकार इन दो पंक्तियों के साथ अप्रासंगिक घटकों के रूप में कम किया जा सकता है।

विनिमेय रिंग का संस्थानिक रिंग के प्रमुख आइडियलों का समुच्चय है, जो ज़रिस्की सांस्थिति से संपन्न है जिसके लिए अभाज्य आइडियलों का एक सम्मुचय संवृत है और केवल यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें एक निश्चित आइडियल (रिंग थ्योरी) होता है। इस स्थिति में एक अलघुकरणीय उपसमुच्चय उन सभी प्रमुख आइडियलों का समुच्चय है जिनमें एक निश्चित सर्व-श्रेष्ठ आइडियल होता है।

टिप्पणियाँ

  1. "Section 5.8 (004U): Irreducible components—The Stacks project".

This article incorporates material from irreducible on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. This article incorporates material from Irreducible component on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.


[[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl