रचना श्रृंखला

Not to be confused with series composition, a role credited to a writer who leads a team of episode scriptwriters in an anime.

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

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

एक संबंधित लेकिन विशिष्ट अवधारणा एक मुख्य श्रृंखला है: एक रचना श्रृंखला एक अधिकतम असामान्य श्रृंखला है|उपसामान्य श्रृंखला, जबकि एक मुख्य श्रृंखला एक अधिकतम सामान्य श्रृंखला है।

समूहों के लिए

यदि एक समूह G का एक सामान्य उपसमूह N है, तो कारक समूह G/N का गठन किया जा सकता है, और G की संरचना के अध्ययन के कुछ पहलुओं को छोटे समूहों G/N और N का अध्ययन करके तोड़ा जा सकता है। यदि G के पास है कोई सामान्य उपसमूह नहीं है जो जी से और तुच्छ समूह से अलग है, तो जी एक साधारण समूह है। अन्यथा, स्वाभाविक रूप से यह प्रश्न उठता है कि क्या G को सरल टुकड़ों में घटाया जा सकता है, और यदि हां, तो क्या इसे करने के तरीके की कोई अनूठी विशेषताएं हैं?

अधिक औपचारिक रूप से, समूह (गणित) जी की एक 'रचना श्रृंखला' परिमित लंबाई की एक असामान्य श्रृंखला है

$1=H_{0}\triangleleft H_{1}\triangleleft \cdots \triangleleft H_{n}=G,$

सख्त समावेशन के साथ, जैसे कि प्रत्येक एच_i एच का एक अधिकतम उपसमूह उचित सामान्य उपसमूह है_i+1. समतुल्य रूप से, एक संरचना श्रृंखला एक असामान्य श्रृंखला है जैसे कि प्रत्येक कारक समूह एच_i+1 / एच_i साधारण समूह है। कारक समूहों को रचना कारक कहा जाता है।

एक असामान्य श्रृंखला एक संरचना श्रृंखला है अगर और केवल अगर यह अधिकतम लंबाई का है। अर्थात्, कोई अतिरिक्त उपसमूह नहीं हैं जिन्हें एक रचना श्रृंखला में सम्मिलित किया जा सकता है। श्रृंखला की लंबाई n को रचना की लंबाई कहा जाता है।

यदि किसी समूह G के लिए कोई रचना श्रृंखला मौजूद है, तो G की किसी भी उपसामान्य श्रृंखला को एक रचना श्रृंखला के लिए परिष्कृत किया जा सकता है, अनौपचारिक रूप से, उपसमूहों को अधिकतमता तक श्रृंखला में सम्मिलित करके। प्रत्येक परिमित समूह की एक रचना श्रृंखला होती है, लेकिन प्रत्येक अनंत समूह में एक नहीं होती है। उदाहरण के लिए, $\mathbb {Z}$ कोई रचना श्रृंखला नहीं है।

विशिष्टता: जॉर्डन-होल्डर प्रमेय

एक समूह में एक से अधिक रचना श्रृंखला हो सकती है। हालांकि, जॉर्डन-होल्डर प्रमेय (केमिली जॉर्डन और ओटो होल्डर के नाम पर) में कहा गया है कि किसी दिए गए समूह की कोई भी दो रचना श्रृंखला समकक्ष हैं। यही है, उनके पास समान रचना लंबाई और समान रचना कारक हैं, क्रमपरिवर्तन और समरूपता तक। इस प्रमेय को श्रेयर शोधन प्रमेय का उपयोग करके सिद्ध किया जा सकता है। जॉर्डन-होल्डर प्रमेय ट्रांसफिनिट इंडक्शन आरोही रचना श्रृंखला के लिए भी सही है, लेकिन ट्रांसफिनिट अवरोही रचना श्रृंखला नहीं (Birkhoff 1934).

Baumslag (2006) जॉर्डन-होल्डर प्रमेय का एक संक्षिप्त प्रमाण देता है जिसमें एक सबनॉर्मल सीरीज़ में अन्य सीरीज़ के शब्दों को इंटरसेक्ट किया जाता है।

उदाहरण

क्रम n के एक चक्रीय समूह के लिए, संरचना श्रृंखला n के क्रमित प्रमुख गुणनखंडों के अनुरूप होती है, और वास्तव में अंकगणित के मौलिक प्रमेय का प्रमाण देती है।

उदाहरण के लिए, चक्रीय समूह $C_{12}$ है $C_{1}\triangleleft C_{2}\triangleleft C_{6}\triangleleft C_{12},\ \,C_{1}\triangleleft C_{2}\triangleleft C_{4}\triangleleft C_{12},$ और $C_{1}\triangleleft C_{3}\triangleleft C_{6}\triangleleft C_{12}$ तीन अलग-अलग रचना श्रृंखला के रूप में। संबंधित मामलों में प्राप्त रचना कारकों के क्रम हैं $C_{2},C_{3},C_{2},\ \,C_{2},C_{2},C_{3},$ और $C_{3},C_{2},C_{2}.$

मॉड्यूल के लिए

See also: Length of a module

मॉड्यूल के लिए रचना श्रृंखला की परिभाषा सबमॉड्यूल पर सभी का ध्यान केंद्रित करती है, सभी योगात्मक उपसमूहों की अनदेखी करती है जो सबमॉड्यूल नहीं हैं। एक रिंग आर और एक आर-मॉड्यूल एम को देखते हुए, एम के लिए एक रचना श्रृंखला सबमॉड्यूल की एक श्रृंखला है

$\{0\}=J_{0}\subset \cdots \subset J_{n}=M$

जहां सभी समावेशन सख्त हैं और जे_k J का एक अधिकतम सबमॉड्यूल है_k+1 प्रत्येक के लिए। जहां तक ​​समूहों की बात है, यदि एम के पास कोई रचना श्रृंखला है, तो एम के सबमॉड्यूल्स की किसी भी परिमित रूप से बढ़ती हुई श्रृंखला को रचना श्रृंखला में परिष्कृत किया जा सकता है, और एम के लिए कोई भी दो संयोजन श्रृंखला समतुल्य हैं। उस स्थिति में, (सरल) भागफल मॉड्यूल J_k+1/जे_k एम के संघटन कारकों के रूप में जाने जाते हैं और जॉर्डन-होल्डर प्रमेय यह सुनिश्चित करता है कि संरचना कारक के रूप में सरल आर-मॉड्यूल के प्रत्येक समरूपता प्रकार की घटनाओं की संख्या पसंद पर निर्भर नहीं करती है रचना श्रृंखला की।

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

सामान्यीकरण

ऑपरेटरों के साथ समूह समूह क्रियाओं का सामान्यीकरण करता है और समूह पर क्रियाओं को रिंग करता है। समूहों और मॉड्यूल दोनों के लिए एक एकीकृत दृष्टिकोण का पालन किया जा सकता है (Bourbaki 1974, Ch. 1) या (Isaacs 1994, Ch. 10), कुछ प्रदर्शनी को सरल बनाना। समूह जी को सेट Ω से तत्वों (ऑपरेटरों) द्वारा क्रियान्वित होने के रूप में देखा जाता है। ध्यान पूरी तरह से Ω से तत्वों की कार्रवाई के तहत अपरिवर्तनीय उपसमूहों तक सीमित है, जिसे Ω-उपसमूह कहा जाता है। इस प्रकार Ω-संरचना श्रृंखला को केवल Ω-उपसमूहों का उपयोग करना चाहिए, और Ω-रचना कारकों को केवल Ω-सरल होना चाहिए। उपरोक्त मानक परिणाम, जैसे कि जॉर्डन-होल्डर प्रमेय, लगभग समान प्रमाणों के साथ स्थापित किए गए हैं।

पुनर्प्राप्त किए गए विशेष मामलों में शामिल हैं जब Ω = G ताकि G स्वयं पर कार्य कर रहा हो। इसका एक महत्वपूर्ण उदाहरण है जब जी के तत्व संयुग्मन द्वारा कार्य करते हैं, जिससे ऑपरेटरों के सेट में आंतरिक ऑटोमोर्फिज्म होते हैं। इस क्रिया के तहत एक रचना श्रृंखला बिल्कुल मुख्य श्रृंखला है। मॉड्यूल संरचनाएं Ω-क्रियाओं का एक मामला है जहां Ω एक वलय है और कुछ अतिरिक्त अभिगृहीत संतुष्ट हैं।

एबेलियन श्रेणी में वस्तुओं के लिए

एक एबेलियन श्रेणी में एक वस्तु (श्रेणी सिद्धांत) ए की एक रचना श्रृंखला उप-वस्तुओं का एक क्रम है

$A=X_{0}\supsetneq X_{1}\supsetneq \dots \supsetneq X_{n}=0$

ऐसा है कि प्रत्येक भागफल वस्तु X है_i/एक्स_i + 1 सरल वस्तु है (के लिए 0 ≤ i < n). यदि A की रचना श्रृंखला है, तो पूर्णांक n केवल A पर निर्भर करता है और इसे A की वस्तु की लंबाई कहा जाता है।

यह भी देखें

• क्रोहन-रोड्स सिद्धांत, एक सेमीग्रुप एनालॉग
• श्रेयर शोधन प्रमेय, किसी भी दो समतुल्य उपसामान्य श्रृंखला में समतुल्य रचना श्रृंखला शोधन है
• ज़सेनहॉस लेम्मा, श्रेयर शोधन प्रमेय को सिद्ध करने के लिए प्रयोग किया जाता है

संदर्भ

• Birkhoff, Garrett (1934), "Transfinite subgroup series", Bulletin of the American Mathematical Society, 40 (12): 847–850, doi:10.1090/S0002-9904-1934-05982-2
• Baumslag, Benjamin (2006), "A simple way of proving the Jordan-Hölder-Schreier theorem", American Mathematical Monthly, 113 (10): 933–935, doi:10.2307/27642092
• Bourbaki, N. (1974), Algebra, Hermann, Paris; Addison-Wesley Publishing Co., Reading Mass.
• Isaacs, I. Martin (1994), Algebra: A Graduate Course, Brooks/Cole, ISBN 978-0-534-19002-6
• Kashiwara, Masaki; Schapira, Pierre (2006), Categories and sheaves