समाधेय समूह: Difference between revisions

Revision as of 07:18, 2 May 2023

गणित में, अधिक विशेष रूप से समूह सिद्धांत के क्षेत्र में, हल करने योग्य समूह या घुलनशील समूह एक ऐसा समूह है जिसे प्रसार का उपयोग करके एबेलियन समूहों से बनाया जाता है। समतुल्य रूप से, एक हल करने योग्य समूह एक ऐसा समूह होता है जिसकी व्युत्पन्न श्रृंखला तुच्छ उपसमूह में समाप्त होती है।

प्रेरणा

ऐतिहासिक रूप से, हल करने योग्य समूह शब्द गाल्वा सिद्धांत से उत्पन्न हुआ है और क्विंटिक समीकरण की सामान्य अघुलनशीलता का गणितीय प्रमाण है। विशेष रूप से, एक बहुपद समीकरण को मौलिक में हल किया जाता है और केवल तभी संबंधित गैलोज़ समूह हल करने योग्य है^[1] (ध्यान दें कि यह प्रमेय केवल विशेषता 0 में है)। इसका मतलब बहुपद से जुड़ा है $f\in F[x]$ छेत्र प्रसार का एक उत्तुंग है

$F=F_{0}\subseteq F_{1}\subseteq F_{2}\subseteq \cdots \subseteq F_{m}=K$

ऐसे है कि

$F_{i}=F_{i-1}[\alpha _{i}]$ जहाँ $\alpha _{i}^{m_{i}}\in F_{i-1}$ , इसलिए $\alpha _{i}$ समीकरण का हल है $x^{m_{i}}-a$ जहाँ $a\in F_{i-1}$
$F_{m}$ के लिए एक विभाजन क्षेत्र सम्मलित है $f(x)$

उदाहरण

उदाहरण के लिए, सबसे छोटा गैल्वा क्षेत्र विस्तार $\mathbb {Q}$ तत्व युक्त

$a={\sqrt[{5}]{{\sqrt {2}}+{\sqrt {3}}}}$

एक हल करने योग्य समूह देता है। इसमें संबद्ध छेत्र प्रसार है

$\mathbb {Q} \subseteq \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\subseteq \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2\pi i/5}{\sqrt[{5}]{{\sqrt {2}}+{\sqrt {3}}}}\right)$

युक्त एक हल करने योग्य समूह देता है $\mathbb {Z} /5$ (पर अभिनय $e^{2\pi i/5}$ ) और $\mathbb {Z} /2\times \mathbb {Z} /2$ (अभिनय करता है ${\sqrt {2}}+{\sqrt {3}}$ ).

परिभाषा

एक समूह G को 'हल करने योग्य' कहा जाता है यदि इसकी एक उपसामान्य श्रृंखला है जिसके कारक समूह (गुणांक समूह) सभी एबेलियन समूह है, अर्थात, यदि उपसमूह 1 = G₀ है < G₁ < ⋅⋅⋅ < G_k= G ऐसा है कि G_j−1 G में सामान्य उपसमूह है_j, और G_j/G_j−1 j = 1, 2, ..., k के लिए एक एबेलियन समूह है।

या समकक्ष, यदि इसकी व्युत्पन्न श्रृंखला, अवरोही सामान्य श्रृंखला है

G\triangleright G^{(1)}\triangleright G^{(2)}\triangleright \cdots ,

जहां हर उपसमूह पिछले एक का कम्यूटेटर उपसमूह है, अंततः G के तुच्छ उपसमूह तक पहुंचता है। ये दो परिभाषाएँ समतुल्य है, क्योंकि प्रत्येक समूह एच और एच के प्रत्येक सामान्य उपसमूह एन के लिए, भागफल एच / एन एबेलियन है यदि और केवल यदि एन में एच के कम्यूटेटर उपसमूह सम्मलित होते है। कम से कम एन ऐसा है कि G⁽ⁿ⁾ = 1 को हल करने योग्य समूह G को 'व्युत्पन्न लंबाई' कहा जाता है।

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

उदाहरण

एबेलियन समूह

हल करने योग्य समूहों का मूल उदाहरण एबेलियन समूह है। वे तुच्छ रूप से हल करने योग्य है क्योंकि एक असामान्य श्रृंखला केवल समूह और तुच्छ समूह द्वारा ही बनाई जाती है। लेकिन गैर-अबेलियन समूह हल करने योग्य हो भी सकते है और नहीं भी।

निलपोटेंट समूह

अधिक आम तौर पर, सभी नीलपोटेंट समूह हल करने योग्य होते है। विशेष रूप से, परिमित पी-समूह | पी-समूह हल करने योग्य है, क्योंकि सभी परिमित पी-समूह | पी-समूह शून्य है।

चतुष्कोण समूह

विशेष रूप से, चतुर्धातुक समूह समूह विस्तार

द्वारा दिया गया एक हल करने योग्य समूह है $1\to \mathbb {Z} /2\to Q\to \mathbb {Z} /2\times \mathbb {Z} /2\to 1$

जहां कर्नेल $\mathbb {Z} /2$ द्वारा उत्पन्न उपसमूह है $-1$ .

समूह प्रसार

समूह प्रसार हल करने योग्य समूहों के प्रोटोटाइपिकल उदाहरण बनाते है। यानी यदि $G$ और $G'$ हल करने योग्य समूह है, तो कोई प्रसार <ब्लॉककोट> $1\to G\to G''\to G'\to 1$ एक हल करने योग्य समूह को परिभाषित करता है $G''$ . वास्तव में, ऐसे समूह विस्तार से सभी हल करने योग्य समूह बनाए जा सकते है।

=== गैर-नाबेलियन समूह जो गैर-शून्य === है एक हल करने योग्य, गैर-शून्य समूह का एक छोटा सा उदाहरण सममित समूह एस है₃. वास्तव में, सबसे छोटा साधारण गैर-आबेली समूह A है₅, (डिग्री 5 का वैकल्पिक समूह) यह इस प्रकार है कि 60 से कम क्रम वाले प्रत्येक समूह को हल किया जा सकता है।

विषम क्रम के परिमित समूह

फीट-थॉम्पसन प्रमेय कहता है कि विषम क्रम का प्रत्येक परिमित समूह हल करने योग्य है। विशेष रूप से इसका तात्पर्य यह है कि यदि एक परिमित समूह सरल है, तो यह या तो एक प्रधान चक्रीय या सम क्रम का है।

गैर उदाहरण

समूह एस₅ हल करने योग्य नहीं है - इसकी एक रचना श्रृंखला है {ई, ए₅, एस₅} (और जॉर्डन-होल्डर प्रमेय में कहा गया है कि हर दूसरी रचना श्रृंखला उसी के बराबर है), कारक समूहों को ए के लिए आइसोमोर्फिक दे रही है₅ और सी₂; और ए₅ एबेलियन नहीं है। इस तर्क को सामान्य करते हुए, इस तथ्य के साथ कि ए_n एस का एक सामान्य, अधिकतम, गैर-अबेलियन सरल उपसमूह है_n n > 4 के लिए, हम देखते है कि S_n n > 4 के लिए हल करने योग्य नहीं है। यह सबूत में एक महत्वपूर्ण कदम है कि प्रत्येक n > 4 के लिए डिग्री n के बहुपद है जो करणी (एबेल-रफिनी प्रमेय) द्वारा हल नहीं किए जा सकते है। इस गुण का उपयोग एनसी (जटिलता) के सबूत में जटिलता सिद्धांत में भी किया जाता है | बैरिंगटन के प्रमेय।

Gएल के उपसमूह₂

उपसमूहों <ब्लॉककोट> पर विचार करें $B=\left\{{\begin{bmatrix}*&*\\0&*\end{bmatrix}}\right\}{\text{, }}U=\left\{{\begin{bmatrix}1&*\\0&1\end{bmatrix}}\right\}$ का $GL_{2}(\mathbb {F} )$ किसी क्षेत्र के लिए $\mathbb {F}$ . फिर, समूह भागफल $B/U$ मनमानी तत्वों को ले कर पाया जा सकता है $B,U$ , उन्हें एक साथ गुणा करना, और पता लगाना कि यह क्या संरचना देता है। तो <ब्लॉककोट> ${\begin{bmatrix}a&b\\0&c\end{bmatrix}}\cdot {\begin{bmatrix}1&d\\0&1\end{bmatrix}}={\begin{bmatrix}a&ad+b\\0&c\end{bmatrix}}$ निर्धारक स्थिति पर ध्यान दें $GL_{2}$ तात्पर्य $ac\neq 0$ , इस तरह $\mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\subset B$ एक उपसमूह है (जो मैट्रिक्स है जहां $b=0$ ). निश्चित के लिए $a,b$ , रैखिक समीकरण $ad+b=0$ तात्पर्य $d=-b/a$ , जो एक मनमाना तत्व है $\mathbb {F}$ तब से $b\in \mathbb {F}$ . चूँकि हम कोई भी आव्यूह ले सकते है $B$ और इसे मैट्रिक्स <ब्लॉककोट> से गुणा करें ${\begin{bmatrix}1&d\\0&1\end{bmatrix}}$ के साथ $d=-b/a$ , हम एक विकर्ण मैट्रिक्स प्राप्त कर सकते है $B$ . यह भागफल समूह को दर्शाता है $B/U\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }$ .

टिप्पणी

ध्यान दें कि यह विवरण का अपघटन देता है $B$ जैसा $\mathbb {F} \rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times })$ जहाँ $(a,c)$ पर कार्य करता है $b$ द्वारा $(a,c)(b)=ab$ . यह संकेत करता है $(a,c)(b+b')=(a,c)(b)+(a,c)(b')=ab+ab'$ . साथ ही, फॉर्म का एक मैट्रिक्स

${\begin{bmatrix}a&b\\0&c\end{bmatrix}}$

तत्व से मेल खाता है $(b)\times (a,c)$ समूह में।

बोरेल उपसमूह

एक रेखीय बीजगणितीय समूह के लिए $G$ इसके बोरेल उपसमूह को एक उपसमूह के रूप में परिभाषित किया गया है जो बंद, जुड़ा हुआ और हल करने योग्य है $G$ , और यह इन गुणों के साथ अधिकतम संभव उपसमूह है (ध्यान दें कि दूसरे दो सामयिक गुण है)। उदाहरण के लिए, में $GL_{n}$ और $SL_{n}$ ऊपरी-त्रिकोणीय, या निचले-त्रिकोणीय आव्यूहों का समूह बोरेल उपसमूहों में से दो है। ऊपर दिया गया उदाहरण, उपसमूह $B$ में $GL_{2}$ बोरेल उपसमूह है।

Gएल में बोरेल उपसमूह₃

में $GL_{3}$ उपसमूह <ब्लॉककोट> है $B=\left\{{\begin{bmatrix}*&*&*\\0&*&*\\0&0&*\end{bmatrix}}\right\},{\text{ }}U_{1}=\left\{{\begin{bmatrix}1&*&*\\0&1&*\\0&0&1\end{bmatrix}}\right\}$ सूचना $B/U_{1}\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }$ , इसलिए बोरेल समूह का रूप

है $U\rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times })$ </ब्लॉककोट>
साधारण रेखीय बीजगणितीय समूहों के गुणनफल में बोरेल उपसमूह
उत्पाद समूह में $GL_{n}\times GL_{m}$ बोरेल उपसमूह को <ब्लॉकक्वोट> फॉर्म के मैट्रिसेस द्वारा दर्शाया जा सकता है ${\begin{bmatrix}T&0\\0&S\end{bmatrix}}$

जहाँ $T$ एक $n\times n$ ऊपरी त्रिकोणीय मैट्रिक्स और $S$ एक है $m\times m$ ऊपरी त्रिकोणीय मैट्रिक्स।

जेड-समूह

कोई भी परिमित समूह जिसका साइलो समूह | पी-साइलो उपसमूह चक्रीय है, दो चक्रीय समूहों का एक अर्ध-प्रत्यक्ष उत्पाद है, विशेष रूप से हल करने योग्य। ऐसे समूहों को जेड-समूह कहा जाता है।

OEIS मान

क्रम n के साथ हल करने योग्य समूहों की संख्या है (n = 0 से प्रारंभ करें)

0, 1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, 2, 2, 1, 15 , 2, 2, 5, 4, 1, 4, 1, 51, 1, 2, 1, 14, 1, 2, 2, 14, 1, 6, 1, 4, 2, 2, 1, 52, 2 , 5, 1, 5, 1, 15, 2, 13, 2, 2, 1, 12, 1, 2, 4, 267, 1, 4, 1, 5, 1, 4, 1, 50, ... (sequence A201733 in the OEIS)

अघुलनशील समूहों के आदेश है

60, 120, 168, 180, 240, 300, 336, 360, 420, 480, 504, 540, 600, 660, 672, 720, 780, 840, 900, 960, 1008, 1020, 1080, 1092 , 1140 , 1176, 1200, 1260, 1320, 1344, 1380, 1440, 1500, ... (sequence A056866 in the OEIS)

गुण

हलेबिलिटी कई ऑपरेशनों के तहत बंद है।

यदि G हल करने योग्य है, और H, G का एक उपसमूह है, तो H हल करने योग्य है।^[2]
यदि G हल करने योग्य है, और G आक्षेप H से एक समूह समरूपता है, तो H हल करने योग्य है; समकक्ष रूप से (आइसोमोर्फिज्म प्रमेय#फर्स्ट आइसोमोर्फिज्म प्रमेय द्वारा), यदि G हल करने योग्य है, और एन G का एक सामान्य उपसमूह है, तो G/एन हल करने योग्य है।^[3]
पिछली गुणयों को दो गुणयों की कीमत के लिए निम्नलिखित तीन में विस्तारित किया जा सकता है: G हल करने योग्य है यदि और केवल यदि N और G/N दोनों हल करने योग्य है।
विशेष रूप से, यदि G और एच हल करने योग्य है, तो समूह G × एच का प्रत्यक्ष उत्पाद हल करने योग्य है।

हलेबिलिटी ग्रुप प्रसार के तहत बंद है:

यदि एच और G/एच हल करने योग्य है, तो G भी है; विशेष रूप से, यदि एन और एच हल करने योग्य है, तो उनका सेमीडायरेक्ट उत्पाद भी हल करने योग्य है।

यह पुष्पांजलि उत्पाद के तहत भी बंद है:

यदि G और एच हल करने योग्य है, और एक्स एक G-सेट है, तो एक्स के संबंध में G और एच का पुष्पांजलि उत्पाद भी हल करने योग्य है।

किसी भी धनात्मक पूर्णांक N के लिए, अधिकांश N पर व्युत्पन्न लंबाई के हल करने योग्य समूह विभिन्न प्रकार के समूहों की एक विविधता (सार्वभौमिक बीजगणित) बनाते है, क्योंकि वे समरूपता छवियों, सबलजेब्रस और समूहों के प्रत्यक्ष उत्पाद के तहत बंद होते है। (प्रत्यक्ष) उत्पादों। असंबद्ध व्युत्पन्न लंबाई के साथ हल करने योग्य समूहों के अनुक्रम का प्रत्यक्ष उत्पाद हल करने योग्य नहीं है, इसलिए सभी हल करने योग्य समूहों का वर्ग विविधता नहीं है।

बर्नसाइड प्रमेय

बर्नसाइड के प्रमेय में कहा गया है कि यदि G ऑर्डर (समूह सिद्धांत) पी का एक परिमित समूह है^एक्यू^b जहाँ p और q अभाज्य संख्याएँ है, और a और b ऋणात्मक और धनात्मक संख्याएँ है | गैर-ऋणात्मक पूर्णांक है, तो G हल करने योग्य है।

यह भी देखें

संदर्भ

Malcev, A. I. (1949), "Generalized nilpotent algebras and their associated groups", Mat. Sbornik, New Series, 25 (67): 347–366, MR 0032644
Rotman, Joseph J. (1995), An Introduction to the Theory of Groups, Graduate Texts in Mathematics, vol. 148 (4 ed.), Springer, ISBN 978-0-387-94285-8

बाहरी संबंध

[1] Milne. फील्ड थ्योरी (PDF). p. 45.

[2] Rotman (1995), Theorem 5.15, p. 102, at Google Books

[3] Rotman (1995), Theorem 5.16, p. 102, at Google Books

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|Group that can be constructed from abelian groups using extensions}}
-{{Group theory sidebar |Basics}}
+{{Group theory sidebar |मूल बातें}}
-गणित में, अधिक विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, एक हल करने योग्य समूह या घुलनशील समूह एक [[समूह (गणित)]] है जिसे [[समूह विस्तार]] का उपयोग करके [[एबेलियन समूह]]ों से बनाया जा सकता है। समतुल्य रूप से, एक सॉल्व करने योग्य समूह एक ऐसा समूह है जिसकी [[व्युत्पन्न श्रृंखला]] [[तुच्छ उपसमूह]] में समाप्त होती है।
+गणित में, अधिक विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, '''हल करने योग्य समूह''' या घुलनशील समूह एक ऐसा [[समूह (गणित)|समूह]] है जिसे प्रसार का उपयोग करके [[एबेलियन समूह|एबेलियन समूहों]] से बनाया जाता है। समतुल्य रूप से, एक हल करने योग्य समूह एक ऐसा समूह होता है जिसकी [[व्युत्पन्न श्रृंखला]] [[तुच्छ उपसमूह]] में समाप्त होती है।
 == प्रेरणा ==
-ऐतिहासिक रूप से, सॉल्वेबल शब्द [[गाल्वा सिद्धांत]] से उत्पन्न हुआ है और [[क्विंटिक]] समीकरण की सामान्य अघुलनशीलता का [[गणितीय प्रमाण]] है। विशेष रूप से, एक [[बहुपद समीकरण]] एनवें मूल में हल करने योग्य है यदि और केवल यदि संबंधित गैलोज़ समूह हल करने योग्य है<ref>{{Cite book|last=Milne|url=https://www.jmilne.org/math/CourseNotes/FT.pdf|title=फील्ड थ्योरी|pages=45}}</ref> (ध्यान दें कि यह प्रमेय केवल एक क्षेत्र 0 की विशेषता में है)। इसका मतलब बहुपद से जुड़ा है <math>f \in F[x]</math> फील्ड एक्सटेंशन का एक टॉवर है <ब्लॉककोट><math>F = F_0 \subseteq F_1 \subseteq F_2 \subseteq \cdots \subseteq F_m=K</math></blockquote>ऐसे कि
+ऐतिहासिक रूप से, हल करने योग्य समूह शब्द [[गाल्वा सिद्धांत]] से उत्पन्न हुआ है और [[क्विंटिक]] समीकरण की सामान्य अघुलनशीलता का [[गणितीय प्रमाण]] है। विशेष रूप से, एक [[बहुपद समीकरण]] को मौलिक में हल किया जाता है और केवल तभी संबंधित गैलोज़ समूह हल करने योग्य है<ref>{{Cite book|last=Milne|url=https://www.jmilne.org/math/CourseNotes/FT.pdf|title=फील्ड थ्योरी|pages=45}}</ref> (ध्यान दें कि यह प्रमेय केवल विशेषता 0 में है)। इसका मतलब बहुपद से जुड़ा है <math>f \in F[x]</math> छेत्र प्रसार का एक उत्तुंग है
-# <math>F_i = F_{i-1}[\alpha_i]</math> कहाँ <math>\alpha_i^{m_i} \in F_{i-1}</math>, इसलिए <math>\alpha_i</math> समीकरण का हल है <math>x^{m_i} - a</math> कहाँ <math>a \in F_{i-1}</math>
+<math>F = F_0 \subseteq F_1 \subseteq F_2 \subseteq \cdots \subseteq F_m=K</math>
-# <math>F_m</math> के लिए एक [[विभाजन क्षेत्र]] शामिल है <math>f(x)</math>
+ऐसे है कि
+# <math>F_i = F_{i-1}[\alpha_i]</math> जहाँ <math>\alpha_i^{m_i} \in F_{i-1}</math>, इसलिए <math>\alpha_i</math> समीकरण का हल है <math>x^{m_i} - a</math> जहाँ <math>a \in F_{i-1}</math>
+# <math>F_m</math> के लिए एक [[विभाजन क्षेत्र]] सम्मलित है <math>f(x)</math>
 === उदाहरण ===
-उदाहरण के लिए, का सबसे छोटा गैल्वा क्षेत्र विस्तार <math>\mathbb{Q}</math> तत्व युक्त<blockquote><math>a = \sqrt[5]{\sqrt{2} + \sqrt{3}}</math></blockquote>एक हल करने योग्य समूह देता है। इसमें संबद्ध फ़ील्ड एक्सटेंशन <ब्लॉककोट> हैं<math>\mathbb{Q} \subseteq \mathbb{Q}(\sqrt{2}, \sqrt{3}) \subseteq
+उदाहरण के लिए, सबसे छोटा गैल्वा क्षेत्र विस्तार <math>\mathbb{Q}</math> तत्व युक्त<blockquote><math>a = \sqrt[5]{\sqrt{2} + \sqrt{3}}</math></blockquote>एक हल करने योग्य समूह देता है। इसमें संबद्ध छेत्र प्रसार है
-\mathbb{Q}(\sqrt{2}, \sqrt{3})\left(e^{2\pi i/ 5}\sqrt[5]{\sqrt{2} + \sqrt{3}}\right)</math></blockquote> युक्त एक हल करने योग्य समूह दे रहा है <math>\mathbb{Z}/5</math> (पर अभिनय <math>e^{2\pi i/5}</math>) और <math>\mathbb{Z}/2 \times \mathbb{Z}/2</math> (अभिनय कर रहे <math>\sqrt{2} + \sqrt{3}</math>).
+<math>\mathbb{Q} \subseteq \mathbb{Q}(\sqrt{2}, \sqrt{3}) \subseteq
+\mathbb{Q}(\sqrt{2}, \sqrt{3})\left(e^{2\pi i/ 5}\sqrt[5]{\sqrt{2} + \sqrt{3}}\right)</math>
+युक्त एक हल करने योग्य समूह देता है <math>\mathbb{Z}/5</math> (पर अभिनय <math>e^{2\pi i/5}</math>) और <math>\mathbb{Z}/2 \times \mathbb{Z}/2</math> (अभिनय करता है <math>\sqrt{2} + \sqrt{3}</math>).
 == परिभाषा ==
-एक समूह G को 'सुलझाने योग्य' कहा जाता है यदि इसकी एक उपसामान्य श्रृंखला है जिसके [[कारक समूह]] (गुणांक समूह) सभी एबेलियन समूह हैं, अर्थात, यदि [[उपसमूह]] 1 = G हैं<sub>0</sub> < जी<sub>1</sub> < ⋅⋅⋅ < जी<sub>k</sub>= जी ऐसा है कि जी<sub>''j''−1</sub> जी में [[सामान्य उपसमूह]] है<sub>j</sub>, और जी<sub>j</sub>/जी<sub>''j''−1</sub> j = 1, 2, ..., k के लिए एक एबेलियन समूह है।
+एक समूह G को 'हल करने योग्य' कहा जाता है यदि इसकी एक उपसामान्य श्रृंखला है जिसके [[कारक समूह]] (गुणांक समूह) सभी एबेलियन समूह है, अर्थात, यदि [[उपसमूह]] 1 = G<sub>0</sub> है < G<sub>1</sub> < ⋅⋅⋅ < G<sub>k</sub>= G ऐसा है कि G<sub>''j''−1</sub> G में [[सामान्य उपसमूह]] है<sub>j</sub>, और G<sub>j</sub>/G<sub>''j''−1</sub> j = 1, 2, ..., k के लिए एक एबेलियन समूह है।
-या समकक्ष, यदि इसकी व्युत्पन्न श्रृंखला, अवरोही सामान्य श्रृंखला
+या समकक्ष, यदि इसकी व्युत्पन्न श्रृंखला, अवरोही सामान्य श्रृंखला है
 :<math>G\triangleright G^{(1)}\triangleright G^{(2)} \triangleright \cdots,</math>
-जहां हर उपसमूह पिछले एक का [[कम्यूटेटर उपसमूह]] है, अंततः जी के तुच्छ उपसमूह तक पहुंचता है। ये दो परिभाषाएँ समतुल्य हैं, क्योंकि प्रत्येक समूह एच और एच के प्रत्येक सामान्य उपसमूह एन के लिए, भागफल एच / एन एबेलियन है अगर और केवल अगर एन में एच के कम्यूटेटर उपसमूह शामिल हैं। कम से कम एन ऐसा है कि जी<sup>(n)</sup> = 1 को हल करने योग्य समूह G की 'व्युत्पन्न लंबाई' कहा जाता है।
+जहां हर उपसमूह पिछले एक का [[कम्यूटेटर उपसमूह]] है, अंततः G के तुच्छ उपसमूह तक पहुंचता है। ये दो परिभाषाएँ समतुल्य है, क्योंकि प्रत्येक समूह एच और एच के प्रत्येक सामान्य उपसमूह एन के लिए, भागफल एच / एन एबेलियन है यदि और केवल यदि एन में एच के कम्यूटेटर उपसमूह सम्मलित होते है। कम से कम एन ऐसा है कि G<sup>(n)</sup> = 1 को हल करने योग्य समूह G को 'व्युत्पन्न लंबाई' कहा जाता है।
-परिमित समूहों के लिए, एक समतुल्य परिभाषा यह है कि एक सॉल्व करने योग्य समूह एक [[रचना श्रृंखला]] वाला एक समूह है, जिसके सभी कारक [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के [[चक्रीय समूह]] हैं। यह समतुल्य है क्योंकि एक परिमित समूह की परिमित रचना लंबाई होती है, और प्रत्येक सरल समूह एबेलियन समूह प्रधान क्रम का चक्रीय होता है। जॉर्डन-होल्डर प्रमेय गारंटी देता है कि यदि एक रचना श्रृंखला में यह संपत्ति है, तो सभी रचना श्रृंखलाओं में भी यह संपत्ति होगी। एक बहुपद के गैलोज़ समूह के लिए, ये चक्रीय समूह किसी [[क्षेत्र (गणित)]] पर nवें मूल (कट्टरपंथी) के अनुरूप हैं। तुल्यता आवश्यक रूप से अनंत समूहों के लिए नहीं है: उदाहरण के लिए, चूंकि [[पूर्णांक]] के समूह 'Z' का प्रत्येक गैर-उपसमूह इसके अलावा 'Z' के लिए [[समूह समरूपता]] है, इसकी कोई रचना श्रृंखला नहीं है, लेकिन सामान्य श्रृंखला {0, ' Z'}, अपने एकमात्र कारक समूह के साथ 'Z' के लिए आइसोमोर्फिक है, यह साबित करता है कि यह वास्तव में हल करने योग्य है।
+परिमित समूहों के लिए, एक समतुल्य परिभाषा यह है कि एक हल करने योग्य समूह एक [[रचना श्रृंखला]] वाला एक समूह होता है, जिसके सभी कारक [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के [[चक्रीय समूह]] होते है। यह समतुल्य है क्योंकि एक परिमित समूह की परिमित रचना लंबाई होती है, और प्रत्येक सरल समूह एबेलियन समूह प्रधान क्रम का चक्रीय होता है। जॉर्डन-होल्डर प्रमेय गारंटी देते है कि यदि एक रचना श्रृंखला में यह गुण होते है, तो सभी रचना श्रृंखलाओं में भी यह गुण होते है। एक बहुपद के गैलोज़ समूह के लिए, ये चक्रीय समूह किसी [[क्षेत्र (गणित)]] पर नवे मूल (कट्टरपंथी) के अनुरूप होती है। तुल्यता आवश्यक रूप से अनंत समूहों के लिए नहीं है: उदाहरण के लिए, चूंकि [[पूर्णांक]] के समूह 'Z' का प्रत्येक गैर-उपसमूह है इसके अतिरिक्त 'Z' के लिए [[समूह समरूपता]] है, इसकी कोई रचना श्रृंखला नहीं है, लेकिन सामान्य श्रृंखला {0, ' Z'}, अपने एकमात्र कारक समूह के साथ 'Z' के लिए समरूप है, यह सिद्ध करता है कि यह वास्तव में हल करने योग्य है।
 == उदाहरण ==
 === एबेलियन समूह ===
-हल करने योग्य समूहों का मूल उदाहरण एबेलियन समूह हैं। वे तुच्छ रूप से हल करने योग्य हैं क्योंकि एक असामान्य श्रृंखला केवल समूह और तुच्छ समूह द्वारा ही बनाई जाती है। लेकिन गैर-अबेलियन समूह हल करने योग्य हो भी सकते हैं और नहीं भी।
+हल करने योग्य समूहों का मूल उदाहरण एबेलियन समूह है। वे तुच्छ रूप से हल करने योग्य है क्योंकि एक असामान्य श्रृंखला केवल समूह और तुच्छ समूह द्वारा ही बनाई जाती है। लेकिन गैर-अबेलियन समूह हल करने योग्य हो भी सकते है और नहीं भी।
 === [[निलपोटेंट समूह]] ===
-अधिक आम तौर पर, सभी नीलपोटेंट समूह हल करने योग्य होते हैं। विशेष रूप से, परिमित पी-समूह | पी-समूह हल करने योग्य हैं, क्योंकि सभी परिमित पी-समूह | पी-समूह शून्य हैं।
+अधिक आम तौर पर, सभी नीलपोटेंट समूह हल करने योग्य होते है। विशेष रूप से, परिमित पी-समूह | पी-समूह हल करने योग्य है, क्योंकि सभी परिमित पी-समूह | पी-समूह शून्य है।
 ==== चतुष्कोण समूह ====
 विशेष रूप से, [[चतुर्धातुक समूह]] समूह विस्तार<blockquote> द्वारा दिया गया एक हल करने योग्य समूह है<math>1 \to \mathbb{Z}/2 \to Q \to \mathbb{Z}/2 \times \mathbb{Z}/2 \to 1</math></blockquote>जहां कर्नेल <math>\mathbb{Z}/2</math> द्वारा उत्पन्न उपसमूह है <math>-1</math>.
-=== समूह एक्सटेंशन ===
+=== समूह प्रसार ===
-समूह एक्सटेंशन हल करने योग्य समूहों के प्रोटोटाइपिकल उदाहरण बनाते हैं। यानी अगर <math>G</math> और <math>G'</math> हल करने योग्य समूह हैं, तो कोई एक्सटेंशन <ब्लॉककोट><math>1 \to G \to G'' \to G' \to 1</math></blockquote>एक हल करने योग्य समूह को परिभाषित करता है <math>G''</math>. वास्तव में, ऐसे समूह विस्तार से सभी हल करने योग्य समूह बनाए जा सकते हैं।
+समूह प्रसार हल करने योग्य समूहों के प्रोटोटाइपिकल उदाहरण बनाते है। यानी यदि <math>G</math> और <math>G'</math> हल करने योग्य समूह है, तो कोई प्रसार <ब्लॉककोट><math>1 \to G \to G'' \to G' \to 1</math>एक हल करने योग्य समूह को परिभाषित करता है <math>G''</math>. वास्तव में, ऐसे समूह विस्तार से सभी हल करने योग्य समूह बनाए जा सकते है।
 === गैर-नाबेलियन समूह जो गैर-शून्य === है
@@ Line 45: / Line 51: @@
 === गैर उदाहरण ===
-समूह एस<sub>5</sub> हल करने योग्य नहीं है - इसकी एक रचना श्रृंखला है {ई, ए<sub>5</sub>, एस<sub>5</sub>} (और जॉर्डन-होल्डर प्रमेय में कहा गया है कि हर दूसरी रचना श्रृंखला उसी के बराबर है), कारक समूहों को ए के लिए आइसोमोर्फिक दे रही है<sub>5</sub> और सी<sub>2</sub>; और ए<sub>5</sub> एबेलियन नहीं है। इस तर्क को सामान्य करते हुए, इस तथ्य के साथ कि ए<sub>''n''</sub> एस का एक सामान्य, अधिकतम, गैर-अबेलियन सरल उपसमूह है<sub>''n''</sub> n > 4 के लिए, हम देखते हैं कि S<sub>''n''</sub> n > 4 के लिए हल करने योग्य नहीं है। यह सबूत में एक महत्वपूर्ण कदम है कि प्रत्येक n > 4 के लिए डिग्री n के [[बहुपद]] हैं जो करणी (एबेल-रफिनी प्रमेय) द्वारा हल नहीं किए जा सकते हैं। इस संपत्ति का उपयोग एनसी (जटिलता) के सबूत में जटिलता सिद्धांत में भी किया जाता है | बैरिंगटन के प्रमेय।
+समूह एस<sub>5</sub> हल करने योग्य नहीं है - इसकी एक रचना श्रृंखला है {ई, ए<sub>5</sub>, एस<sub>5</sub>} (और जॉर्डन-होल्डर प्रमेय में कहा गया है कि हर दूसरी रचना श्रृंखला उसी के बराबर है), कारक समूहों को ए के लिए आइसोमोर्फिक दे रही है<sub>5</sub> और सी<sub>2</sub>; और ए<sub>5</sub> एबेलियन नहीं है। इस तर्क को सामान्य करते हुए, इस तथ्य के साथ कि ए<sub>''n''</sub> एस का एक सामान्य, अधिकतम, गैर-अबेलियन सरल उपसमूह है<sub>''n''</sub> n > 4 के लिए, हम देखते है कि S<sub>''n''</sub> n > 4 के लिए हल करने योग्य नहीं है। यह सबूत में एक महत्वपूर्ण कदम है कि प्रत्येक n > 4 के लिए डिग्री n के [[बहुपद]] है जो करणी (एबेल-रफिनी प्रमेय) द्वारा हल नहीं किए जा सकते है। इस गुण का उपयोग एनसी (जटिलता) के सबूत में जटिलता सिद्धांत में भी किया जाता है | बैरिंगटन के प्रमेय।
-=== जीएल के उपसमूह<sub>2</sub> ===
+=== Gएल के उपसमूह<sub>2</sub> ===
 उपसमूहों <ब्लॉककोट> पर विचार करें<math>B = \left\{ \begin{bmatrix}
 * & * \\
@@ Line 55: / Line 61: @@
 & * \\
 & 1
-\end{bmatrix} \right\}</math> का <math>GL_2(\mathbb{F})</math></blockquote>किसी क्षेत्र के लिए <math>\mathbb{F}</math>. फिर, समूह भागफल <math>B/U</math> मनमानी तत्वों को ले कर पाया जा सकता है <math>B,U</math>, उन्हें एक साथ गुणा करना, और पता लगाना कि यह क्या संरचना देता है। तो <ब्लॉककोट><math>\begin{bmatrix}
+\end{bmatrix} \right\}</math> का <math>GL_2(\mathbb{F})</math>किसी क्षेत्र के लिए <math>\mathbb{F}</math>. फिर, समूह भागफल <math>B/U</math> मनमानी तत्वों को ले कर पाया जा सकता है <math>B,U</math>, उन्हें एक साथ गुणा करना, और पता लगाना कि यह क्या संरचना देता है। तो <ब्लॉककोट><math>\begin{bmatrix}
 a & b \\
 & c
@@ Line 68: / Line 74: @@
 \end{bmatrix}
-</math></blockquote> निर्धारक स्थिति पर ध्यान दें <math>GL_2
+</math> निर्धारक स्थिति पर ध्यान दें <math>GL_2
 </math> तात्पर्य <math>ac \neq 0
@@ Line 74: / Line 80: @@
 </math>, इस तरह <math>\mathbb{F}^\times \times \mathbb{F}^\times \subset B
-</math> एक उपसमूह है (जो मैट्रिक्स हैं जहां <math>b=0
+</math> एक उपसमूह है (जो मैट्रिक्स है जहां <math>b=0
 </math>). निश्चित के लिए <math>a,b
@@ Line 86: / Line 92: @@
 </math> तब से <math>b \in \mathbb{F}
-</math>. चूँकि हम कोई भी आव्यूह ले सकते हैं <math>B
+</math>. चूँकि हम कोई भी आव्यूह ले सकते है <math>B
 </math> और इसे मैट्रिक्स <ब्लॉककोट> से गुणा करें<math>\begin{bmatrix}
@@ Line 93: / Line 99: @@
 \end{bmatrix}
-</math></blockquote>के साथ <math>d = -b/a
+</math>के साथ <math>d = -b/a
-</math>, हम एक विकर्ण मैट्रिक्स प्राप्त कर सकते हैं <math>B
+</math>, हम एक विकर्ण मैट्रिक्स प्राप्त कर सकते है <math>B
 </math>. यह भागफल समूह को दर्शाता है <math>B/U \cong \mathbb{F}^\times \times \mathbb{F}^\times</math>.
@@ Line 104: / Line 110: @@
 </math> जैसा <math>\mathbb{F} \rtimes (\mathbb{F}^\times \times \mathbb{F}^\times)
-</math> कहाँ <math>(a,c)
+</math> जहाँ <math>(a,c)
 </math> पर कार्य करता है <math>b
@@ Line 118: / Line 124: @@
 === बोरेल उपसमूह ===
-एक रेखीय बीजगणितीय समूह के लिए <math>G</math> इसके [[बोरेल उपसमूह]] को एक उपसमूह के रूप में परिभाषित किया गया है जो बंद, जुड़ा हुआ और हल करने योग्य है <math>G</math>, और यह इन गुणों के साथ अधिकतम संभव उपसमूह है (ध्यान दें कि दूसरे दो सामयिक गुण हैं)। उदाहरण के लिए, में <math>GL_n</math> और <math>SL_n</math> ऊपरी-त्रिकोणीय, या निचले-त्रिकोणीय आव्यूहों का समूह बोरेल उपसमूहों में से दो हैं। ऊपर दिया गया उदाहरण, उपसमूह <math>B</math> में <math>GL_2</math> बोरेल उपसमूह है।
+एक रेखीय बीजगणितीय समूह के लिए <math>G</math> इसके [[बोरेल उपसमूह]] को एक उपसमूह के रूप में परिभाषित किया गया है जो बंद, जुड़ा हुआ और हल करने योग्य है <math>G</math>, और यह इन गुणों के साथ अधिकतम संभव उपसमूह है (ध्यान दें कि दूसरे दो सामयिक गुण है)। उदाहरण के लिए, में <math>GL_n</math> और <math>SL_n</math> ऊपरी-त्रिकोणीय, या निचले-त्रिकोणीय आव्यूहों का समूह बोरेल उपसमूहों में से दो है। ऊपर दिया गया उदाहरण, उपसमूह <math>B</math> में <math>GL_2</math> बोरेल उपसमूह है।
-==== जीएल में बोरेल उपसमूह<sub>3</sub> ====
+==== Gएल में बोरेल उपसमूह<sub>3</sub> ====
-में <math>GL_3</math> उपसमूह <ब्लॉककोट> हैं<math>B = \left\{
+में <math>GL_3</math> उपसमूह <ब्लॉककोट> है<math>B = \left\{
 \begin{bmatrix}
 * & * & * \\
@@ Line 134: / Line 140: @@
 & 0 & 1
 \end{bmatrix}
-\right\}</math></blockquote>सूचना <math>B/U_1 \cong \mathbb{F}^\times \times \mathbb{F}^\times \times \mathbb{F}^\times</math>, इसलिए बोरेल समूह का रूप<blockquote> है<math>U\rtimes
+\right\}</math>सूचना <math>B/U_1 \cong \mathbb{F}^\times \times \mathbb{F}^\times \times \mathbb{F}^\times</math>, इसलिए बोरेल समूह का रूप<blockquote> है<math>U\rtimes
 (\mathbb{F}^\times \times \mathbb{F}^\times \times \mathbb{F}^\times)
@@ Line 143: / Line 149: @@
 T & 0 \\
 & S
-\end{bmatrix}</math></blockquote>कहाँ <math>T</math> एक <math>n\times n</math> ऊपरी त्रिकोणीय मैट्रिक्स और <math>S</math> एक है <math>m\times m</math> ऊपरी त्रिकोणीय मैट्रिक्स।
+\end{bmatrix}</math></blockquote>जहाँ <math>T</math> एक <math>n\times n</math> ऊपरी त्रिकोणीय मैट्रिक्स और <math>S</math> एक है <math>m\times m</math> ऊपरी त्रिकोणीय मैट्रिक्स।
 === जेड-समूह ===
-कोई भी परिमित समूह जिसका साइलो समूह | पी-साइलो उपसमूह चक्रीय हैं, दो चक्रीय समूहों का एक [[अर्ध-प्रत्यक्ष उत्पाद]] है, विशेष रूप से हल करने योग्य। ऐसे समूहों को जेड-समूह कहा जाता है।
+कोई भी परिमित समूह जिसका साइलो समूह | पी-साइलो उपसमूह चक्रीय है, दो चक्रीय समूहों का एक [[अर्ध-प्रत्यक्ष उत्पाद]] है, विशेष रूप से हल करने योग्य। ऐसे समूहों को जेड-समूह कहा जाता है।
 == OEIS मान ==
@@ Line 152: / Line 158: @@
 : 0, 1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, 2, 2, 1, 15 , 2, 2, 5, 4, 1, 4, 1, 51, 1, 2, 1, 14, 1, 2, 2, 14, 1, 6, 1, 4, 2, 2, 1, 52, 2 , 5, 1, 5, 1, 15, 2, 13, 2, 2, 1, 12, 1, 2, 4, 267, 1, 4, 1, 5, 1, 4, 1, 50, ... {{OEIS|id=A201733}}
-अघुलनशील समूहों के आदेश हैं
+अघुलनशील समूहों के आदेश है
 :60, 120, 168, 180, 240, 300, 336, 360, 420, 480, 504, 540, 600, 660, 672, 720, 780, 840, 900, 960, 1008, 1020, 1080, 1092 , 1140 , 1176, 1200, 1260, 1320, 1344, 1380, 1440, 1500, ... {{OEIS|id=A056866}}
 == गुण ==
-सॉल्वेबिलिटी कई ऑपरेशनों के तहत बंद है।
+हलेबिलिटी कई ऑपरेशनों के तहत बंद है।
 * यदि G हल करने योग्य है, और H, G का एक उपसमूह है, तो H हल करने योग्य है।<ref>Rotman (1995), {{Google books|id=lYrsiaHSHKcC|page=102|text=Every subgroup H of a solvable group G is itself solvable|title=Theorem 5.15}}</ref>
-* यदि G हल करने योग्य है, और G आक्षेप H से एक [[समूह समरूपता]] है, तो H हल करने योग्य है; समकक्ष रूप से (आइसोमोर्फिज्म प्रमेय#फर्स्ट आइसोमोर्फिज्म प्रमेय द्वारा), यदि जी हल करने योग्य है, और एन जी का एक सामान्य उपसमूह है, तो जी/एन हल करने योग्य है।<ref>Rotman (1995), {{Google books|id=lYrsiaHSHKcC|page=102|text=Every quotient of a solvable group is solvable|title=Theorem 5.16}}</ref>
+* यदि G हल करने योग्य है, और G आक्षेप H से एक [[समूह समरूपता]] है, तो H हल करने योग्य है; समकक्ष रूप से (आइसोमोर्फिज्म प्रमेय#फर्स्ट आइसोमोर्फिज्म प्रमेय द्वारा), यदि G हल करने योग्य है, और एन G का एक सामान्य उपसमूह है, तो G/एन हल करने योग्य है।<ref>Rotman (1995), {{Google books|id=lYrsiaHSHKcC|page=102|text=Every quotient of a solvable group is solvable|title=Theorem 5.16}}</ref>
-* पिछली संपत्तियों को दो संपत्तियों की कीमत के लिए निम्नलिखित तीन में विस्तारित किया जा सकता है: G हल करने योग्य है यदि और केवल यदि N और G/N दोनों हल करने योग्य हैं।
+* पिछली गुणयों को दो गुणयों की कीमत के लिए निम्नलिखित तीन में विस्तारित किया जा सकता है: G हल करने योग्य है यदि और केवल यदि N और G/N दोनों हल करने योग्य है।
-* विशेष रूप से, यदि जी और एच हल करने योग्य हैं, तो समूह जी × एच का प्रत्यक्ष उत्पाद हल करने योग्य है।
+* विशेष रूप से, यदि G और एच हल करने योग्य है, तो समूह G × एच का प्रत्यक्ष उत्पाद हल करने योग्य है।
-सॉल्वेबिलिटी ग्रुप एक्सटेंशन के तहत बंद है:
+हलेबिलिटी ग्रुप प्रसार के तहत बंद है:
-* यदि एच और जी/एच हल करने योग्य हैं, तो जी भी है; विशेष रूप से, यदि एन और एच सॉल्व करने योग्य हैं, तो उनका सेमीडायरेक्ट उत्पाद भी सॉल्व करने योग्य है।
+* यदि एच और G/एच हल करने योग्य है, तो G भी है; विशेष रूप से, यदि एन और एच हल करने योग्य है, तो उनका सेमीडायरेक्ट उत्पाद भी हल करने योग्य है।
 यह [[पुष्पांजलि उत्पाद]] के तहत भी बंद है:
-* यदि जी और एच सॉल्व करने योग्य हैं, और एक्स एक जी-सेट है, तो एक्स के संबंध में जी और एच का पुष्पांजलि उत्पाद भी सॉल्व करने योग्य है।
+* यदि G और एच हल करने योग्य है, और एक्स एक G-सेट है, तो एक्स के संबंध में G और एच का पुष्पांजलि उत्पाद भी हल करने योग्य है।
-किसी भी धनात्मक पूर्णांक N के लिए, अधिकांश N पर [[व्युत्पन्न लंबाई]] के हल करने योग्य समूह विभिन्न प्रकार के समूहों की एक [[विविधता (सार्वभौमिक बीजगणित)]] बनाते हैं, क्योंकि वे [[समरूपता]] छवियों, सबलजेब्रस और समूहों के प्रत्यक्ष उत्पाद के तहत बंद होते हैं। (प्रत्यक्ष) उत्पादों। असंबद्ध व्युत्पन्न लंबाई के साथ हल करने योग्य समूहों के अनुक्रम का प्रत्यक्ष उत्पाद हल करने योग्य नहीं है, इसलिए सभी हल करने योग्य समूहों का वर्ग विविधता नहीं है।
+किसी भी धनात्मक पूर्णांक N के लिए, अधिकांश N पर [[व्युत्पन्न लंबाई]] के हल करने योग्य समूह विभिन्न प्रकार के समूहों की एक [[विविधता (सार्वभौमिक बीजगणित)]] बनाते है, क्योंकि वे [[समरूपता]] छवियों, सबलजेब्रस और समूहों के प्रत्यक्ष उत्पाद के तहत बंद होते है। (प्रत्यक्ष) उत्पादों। असंबद्ध व्युत्पन्न लंबाई के साथ हल करने योग्य समूहों के अनुक्रम का प्रत्यक्ष उत्पाद हल करने योग्य नहीं है, इसलिए सभी हल करने योग्य समूहों का वर्ग विविधता नहीं है।
 == बर्नसाइड प्रमेय ==
 {{main|Burnside's theorem}}
-बर्नसाइड के प्रमेय में कहा गया है कि यदि जी ऑर्डर (समूह सिद्धांत) पी का एक [[परिमित समूह]] है<sup>ए</sup>क्यू<sup>b</sup> जहाँ p और q अभाज्य संख्याएँ हैं, और a और b ऋणात्मक और धनात्मक संख्याएँ हैं | गैर-ऋणात्मक पूर्णांक हैं, तो G हल करने योग्य है।
+बर्नसाइड के प्रमेय में कहा गया है कि यदि G ऑर्डर (समूह सिद्धांत) पी का एक [[परिमित समूह]] है<sup>ए</sup>क्यू<sup>b</sup> जहाँ p और q अभाज्य संख्याएँ है, और a और b ऋणात्मक और धनात्मक संख्याएँ है | गैर-ऋणात्मक पूर्णांक है, तो G हल करने योग्य है।
 == संबंधित अवधारणाएं ==
@@ Line 180: / Line 186: @@
 === सुपरसोल्वेबल समूह ===
 {{main|supersolvable group}}
-विलेयता के सुदृढ़ीकरण के रूप में, एक समूह G को 'सुपरसॉल्वेबल' (या 'सुपरसॉल्वबल') कहा जाता है, यदि इसमें एक अपरिवर्तनीय सामान्य श्रृंखला होती है जिसके कारक सभी चक्रीय होते हैं। चूँकि एक सामान्य श्रृंखला की परिभाषा के अनुसार परिमित लंबाई होती है, [[बेशुमार]] समूह सुपरसॉल्वेबल नहीं होते हैं। वास्तव में, सभी सुपरसॉल्वेबल समूह अंतिम रूप से उत्पन्न समूह हैं, और एक एबेलियन समूह सुपरसॉल्वेबल है अगर और केवल अगर यह अंतिम रूप से उत्पन्न होता है। वैकल्पिक समूह ए<sub>4</sub> एक परिमित हल करने योग्य समूह का एक उदाहरण है जो सुपरसॉल्वेबल नहीं है।
+विलेयता के सुदृढ़ीकरण के रूप में, एक समूह G को 'सुपरहल करने योग्य समूह' (या 'सुपरहलबल') कहा जाता है, यदि इसमें एक अपरिवर्तनीय सामान्य श्रृंखला होती है जिसके कारक सभी चक्रीय होते है। चूँकि एक सामान्य श्रृंखला की परिभाषा के अनुसार परिमित लंबाई होती है, [[बेशुमार]] समूह सुपरहल करने योग्य समूह नहीं होते है। वास्तव में, सभी सुपरहल करने योग्य समूह समूह अंतिम रूप से उत्पन्न समूह है, और एक एबेलियन समूह सुपरहल करने योग्य समूह है यदि और केवल यदि यह अंतिम रूप से उत्पन्न होता है। वैकल्पिक समूह ए<sub>4</sub> एक परिमित हल करने योग्य समूह का एक उदाहरण है जो सुपरहल करने योग्य समूह नहीं है।
-यदि हम अपने आप को अंतिम रूप से उत्पन्न समूहों तक सीमित रखते हैं, तो हम समूहों के वर्गों की निम्नलिखित व्यवस्था पर विचार कर सकते हैं:
+यदि हम अपने आप को अंतिम रूप से उत्पन्न समूहों तक सीमित रखते है, तो हम समूहों के वर्गों की निम्नलिखित व्यवस्था पर विचार कर सकते है:
-:[[चक्रीय समूह]] <एबेलियन समूह <शून्यक्षम समूह <सुपरसॉल्वेबल समूह <[[पॉलीसाइक्लिक समूह]] <विलय करने योग्य <परिमित रूप से उत्पन्न समूह।
+:[[चक्रीय समूह]] <एबेलियन समूह <शून्यक्षम समूह <सुपरहल करने योग्य समूह समूह <[[पॉलीसाइक्लिक समूह]] <विलय करने योग्य <परिमित रूप से उत्पन्न समूह।
 === वस्तुतः हल करने योग्य समूह ===
-एक समूह G को 'वस्तुतः हल करने योग्य' कहा जाता है यदि उसके पास परिमित सूचकांक का एक हल करने योग्य उपसमूह है। यह [[वस्तुतः एबेलियन]] के समान है। स्पष्ट रूप से सभी सॉल्व करने योग्य समूह वास्तव में सॉल्व करने योग्य हैं, क्योंकि कोई केवल समूह को ही चुन सकता है, जिसका इंडेक्स 1 है।
+एक समूह G को 'वस्तुतः हल करने योग्य' कहा जाता है यदि उसके पास परिमित सूचकांक का एक हल करने योग्य उपसमूह है। यह [[वस्तुतः एबेलियन]] के समान है। स्पष्ट रूप से सभी हल करने योग्य समूह वास्तव में हल करने योग्य है, क्योंकि कोई केवल समूह को ही चुन सकता है, जिसका इंडेक्स 1 है।
 === हाइपोबेलियन ===
-एक सॉल्व करने योग्य समूह वह है जिसकी व्युत्पन्न श्रृंखला एक परिमित अवस्था में तुच्छ उपसमूह तक पहुँचती है। एक अनंत समूह के लिए, परिमित व्युत्पन्न श्रृंखला स्थिर नहीं हो सकती है, लेकिन ट्रांसफिनिट व्युत्पन्न श्रृंखला हमेशा स्थिर होती है। एक समूह जिसकी ट्रांसफ़िनेटेड व्युत्पन्न श्रृंखला तुच्छ समूह तक पहुँचती है, उसे 'पूर्ण कोर' कहा जाता है, और प्रत्येक सॉल्व करने योग्य समूह एक हाइपोबेलियन समूह होता है। पहला क्रमिक α ऐसा है कि जी<sup>(ए) </सुप> = जी<sup>(α+1)</sup> को समूह G की व्युत्पन्न लंबाई कहा जाता है, और यह दिखाया गया है कि प्रत्येक क्रमसूचक किसी समूह की व्युत्पन्न लंबाई है {{harv|Malcev|1949}}.
+एक हल करने योग्य समूह वह है जिसकी व्युत्पन्न श्रृंखला एक परिमित अवस्था में तुच्छ उपसमूह तक पहुँचती है। एक अनंत समूह के लिए, परिमित व्युत्पन्न श्रृंखला स्थिर नहीं हो सकती है, लेकिन ट्रांसफिनिट व्युत्पन्न श्रृंखला हमेशा स्थिर होती है। एक समूह जिसकी ट्रांसफ़िनेटेड व्युत्पन्न श्रृंखला तुच्छ समूह तक पहुँचती है, उसे 'पूर्ण कोर' कहा जाता है, और प्रत्येक हल करने योग्य समूह एक हाइपोबेलियन समूह होता है। पहला क्रमिक α ऐसा है कि G<sup>(ए) </सुप> = G<sup>(α+1)</sup> को समूह G की व्युत्पन्न लंबाई कहा जाता है, और यह दिखाया गया है कि प्रत्येक क्रमसूचक किसी समूह की व्युत्पन्न लंबाई है {{harv|Malcev|1949}}.
 == यह भी देखें ==

Anonymous

Search

समाधेय समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 07:18, 2 May 2023

Contents