रिसॉल्वेंट (गैलोइस सिद्धांत): Difference between revisions

Latest revision as of 10:40, 18 July 2023

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

$X^{2}-\Delta$ जहाँ $\Delta$ विभेदक है जो कि वैकल्पिक समूह के लिए एक समाधानकर्ता है। घन समीकरण के स्थितियों में इस विलायक को कभी-कभी द्विघात विलायक भी कहा जाता है; इसकी जड़ें घन समीकरण की जड़ों के सूत्रों में स्पष्ट रूप से दिखाई देती हैं।
चतुर्थक फलन का विलायक घन जो 8 तत्वों के डायहेड्रल समूह के लिए एक विलायक है।
क्विंटिक फलन या सॉल्वेबल क्विंटिक्स डिग्री पांच में अधिकतम पुन: घुलनशील गैलोज़ समूह के लिए एक विलायक है। यह एक बहुपद 6 की घात वाला बहुपद है।

इन तीन विलायक में "सदैव अलग होने योग्य" होने का गुण होता है जिसका अर्थ है कि यदि उनके पास एकाधिक मूल है तो बहुपद "p" अपरिवर्तनीय बहुपद नहीं है। यह ज्ञात नहीं है कि क्रमपरिवर्तन के प्रत्येक समूह के लिए सदैव एक अलग करने योग्य समाधान होता है या नहीं होता है।

प्रत्येक समीकरण के लिए जड़ों को रेडिकल के रूप में और एक पुनर्घुलनशील समूह के लिए एक विलायक की जड़ के रूप में व्यक्त किया जा सकता है क्योंकि इस जड़ द्वारा उत्पन्न क्षेत्र पर समीकरण का गैलोज़ समूह पुन: घुलनशील है।

परिभाषा

मान लीजिए $n$ एक धनात्मक पूर्णांक है जो समीकरण की डिग्री होगी जिस पर हम विचार करेंगे और $(X 1, ..., X n)$ अनिश्चितों की एक क्रमबद्ध सूची होगी। यह घात $n$ के सामान्य बहुपद को परिभाषित करता है

F(X)=X^{n}+\sum _{i=1}^{n}(-1)^{i}E_{i}X^{n-i}=\prod _{i=1}^{n}(X-X_{i}),

जहाँ

E i

i

वां प्राथमिक सममित बहुपद है।

सममित समूह $S n$ , $X i$ पर उन्हें क्रमपरिवर्तित करके कार्य करता है, और यह $X i$ में बहुपदों पर एक क्रिया को प्रेरित करता है। इस क्रिया के तहत किसी दिए गए बहुपद का स्टेबलाइज़र सामान्यतः तुच्छ होता है किन्तु कुछ बहुपदों में बड़ा स्टेबलाइज़र होता है। उदाहरण के लिए एक प्रारंभिक सममित बहुपद का स्टेबलाइज़र संपूर्ण समूह $S n$ है। यदि स्टेबलाइज़र गैर-तुच्छ है, तो बहुपद कुछ गैर-तुच्छ उपसमूह $G$ द्वारा तय किया गया है; इसे $G$ का एक अपरिवर्तनीय कहा जाता है। इसके विपरीत, एसएन के उपसमूह $G$ को देखते हुए, $G$ का एक अपरिवर्तनीय $G$ के लिए एक विलायक अपरिवर्तनीय है यदि यह $S n$ के किसी भी बड़े उपसमूह का अपरिवर्तनीय नहीं है।^[1]

$S n$ के किसी दिए गए उपसमूह $G$ के लिए अपरिवर्तनीय खोजना अपेक्षाकृत आसान है; कोई $S n$ की क्रिया के तहत एकपदी की कक्षा का योग कर सकता है। चूँकि ऐसा हो सकता है कि परिणामी बहुपद एक बड़े समूह के लिए अपरिवर्तनीय हो। उदाहरण के लिए, क्रम 4 के $S 4$ के उपसमूह $G$ के स्थिति पर विचार करें, जिसमें (12)(34), (13)(24), (14)(23) और पहचान सम्मिलित है (नोटेशन के लिए, क्रमपरिवर्तन समूह देखें) . एकपदी $X 1 X 2$ अपरिवर्तनीय $2(X 1 X 2 + X 3 X 4)$ देता है। यह G के लिए एक विलायक अपरिवर्तनीय नहीं है, क्योंकि (12) द्वारा अपरिवर्तनीय होने के कारण, यह वास्तव में बड़े डायहेड्रल उपसमूह $D_4$ : $⟨(12), (1324)⟩$ के लिए एक विलायक अपरिवर्तनीय है, और इसका उपयोग चतुर्थक समीकरण के रिसॉल्वेंट क्यूबिक को परिभाषित करने के लिए किया जाता है।

यदि $P$ , $S n$ के अंदर सूचकांक m के समूह $G$ के लिए एक विलायक अपरिवर्तनीय है, तो $S n$ के अंतर्गत इसकी कक्षा का क्रम $m$ है। माना $P 1, ..., P m$ इस कक्षा के तत्व हैं। फिर बहुपद

R_{G}=\prod _{i=1}^{m}(Y-P_{i})

$S n$ के तहत अपरिवर्तनीय है। इस प्रकार जब विस्तारित किया जाता है, तो इसके गुणांक $X i$ में बहुपद होते हैं जो समरूपता समूह की गतिविधि के तहत अपरिवर्तनीय होते हैं और इस प्रकार प्रारंभिक सममित बहुपद में बहुपद के रूप में व्यक्त किए जा सकते हैं। दूसरे शब्दों में, $R G$ , $Y$ में एक अप्रासंगिक बहुपद है जिसके गुणांक $F$ के गुणांक में बहुपद हैं। मूल के रूप में विलायक अपरिवर्तनीय होने पर इसे एक विलायक (कभी-कभी समाधान समीकरण) कहा जाता है।

अब एक अघुलनशील बहुपद पर विचार करें

f(X)=X^{n}+\sum _{i=1}^{n}a_{i}X^{n-i}=\prod _{i=1}^{n}(X-x_{i}),

किसी दिए गए क्षेत्र $K$ (सामान्यतः परिमेय का क्षेत्र) में गुणांक और बीजगणितीय रूप से बंद क्षेत्र विस्तारक में जड़ों $x i$ के साथ उपरोक्त में $X i$ को $x i$ से और $F$ के गुणांकों को $f$ के गुणांकों से प्रतिस्थापित करने पर, हमें एक बहुपद $R_{G}^{(f)}(Y)$ प्राप्त होता है, जिसे अस्पष्टता के स्थिति में रिज़ॉल्वेंट या विशेष रिज़ॉल्वेंट भी कहा जाता है) . यदि $f$ का गैलोइस समूह $G$ में समाहित है, तो सॉल्वेंट इनवेरिएंट की विशेषज्ञता $G$ द्वारा अपरिवर्तनीय है और इस प्रकार $R_{G}^{(f)}(Y)$ की एक जड़ है जो $K$ से संबंधित है (पर तर्कसंगत है $K$ ) इसके विपरीत यदि $R_{G}^{(f)}(Y)$ का एक परिमेय मूल है, जो एक बहुमूल नहीं है, तो $f$ का गैलोज़ समूह $G$ में निहित है।

शब्दावली

शब्दावली में कुछ भिन्नताएँ हैं।

लेखकों या संदर्भ के आधार पर, विलायक विलायक समीकरण के बजाय विलायक अपरिवर्तनीय को संदर्भित कर सकता है।
'गैलोइस रिज़ॉल्वेंट' एक ऐसा विलायक है, जिसकी जड़ों में विलायक अपरिवर्तनीय रैखिक होता है।
'लैग्रेंज रिसॉल्वेंट रैखिक बहुपद को संदर्भित कर सकता है $\sum _{i=0}^{n-1}X_{i}\omega ^{i}$
जहां $\omega$ एकता की एक मौलिक nवीं जड़ है। यह पहचान समूह के लिए गैलोज़ रिसॉल्वेंट का रिसॉल्वेंट अपरिवर्तनीय है।
एक सापेक्ष रिज़ॉल्वेंट को एक रिज़ॉल्वेंट के समान परिभाषित किया जाता है, किन्तु केवल $S n$ के दिए गए उपसमूह $H$ के तत्वों की गतिविधि पर विचार करते हुए, गुण होने पर, यदि $H$ के उपसमूह $G$ के लिए एक सापेक्ष रिज़ॉल्वेंट में तर्कसंगत सरल जड़ और गैलोइस समूह होता है $f$ का $H$ में निहित है, तो $f$ का गैलोइस समूह $G$ में निहित है। इस संदर्भ में, एक सामान्य विलायक को पूर्ण समाधान कहा जाता है।

समाधान विधि

घात $n$ वाले बहुपद का गैलोज़ समूह $S_{n}$ या इसका एक उचित उपसमूह है। यदि एक बहुपद वियोज्य और अपरिवर्तनीय है, तो संबंधित गैलोज़ समूह एक संक्रमणीय उपसमूह है।

$S_{n}$ के सकर्मक उपसमूह एक निर्देशित ग्राफ़ बनाते हैं: एक समूह कई समूहों का उपसमूह हो सकता है। एक समाधानकर्ता यह बता सकता है कि क्या बहुपद का गैलोज़ समूह दिए गए समूह का एक (जरूरी नहीं कि उचित) उपसमूह है। रिसॉल्वेंट विधि समूहों को एक-एक करके जांचने का व्यवस्थित विधि है जब तक कि केवल एक समूह संभव नही हो सकता है इसका मतलब यह नहीं है कि प्रत्येक समूह की जाँच की जानी चाहिए: प्रत्येक समाधानकर्ता कई संभावित समूहों को समाप्त कर सकता है। उदाहरण के लिए, घात पाँच बहुपदों के लिए कभी भी $D_{5}$ के रिज़ॉल्वेंट की आवश्यकता नहीं होती है: $A_{5}$ और $M_{20}$ के लिए रिज़ॉल्वेंट वांछित जानकारी देते हैं।

एक विधि अधिकतम (सकर्मक) उपसमूहों से प्रारंभिक करना है जब तक कि सही उपसमूह नहीं मिल जाता है और फिर उसके अधिकतम उपसमूहों के साथ प्रसारित रखना है।

संदर्भ

Dickson, Leonard E. (1959). Algebraic Theories. New York: Dover Publications Inc. p. ix+276. ISBN 0-486-49573-6.
Girstmair, K. (1983). "On the computation of resolvents and Galois groups". Manuscripta Mathematica. 43 (2–3): 289–307. doi:10.1007/BF01165834. S2CID 123752910.

↑ http://www.alexhealy.net/papers/math250a.pdf^{[bare URL PDF]}

[1] ttp://www.alexhealy.net/papers/math250a.pdf^{[bare URL PDF]}

[1]

@@ Line 1: / Line 1: @@
-[[गैलोइस सिद्धांत]] में [[अमूर्त बीजगणित]] के क्षेत्र में एक अनुशासन [[क्रमपरिवर्तन समूह]] ''जी'' के लिए विलायक एक [[बहुपद]] होता है जिसका गुणांक किसी दिए गए बहुपद ''पी'' के गुणांक पर बहुपद रूप से निर्भर करता है और मोटे तौर पर बोलते हुए ए एक बहुपद का परिमेय संख्या मूल यदि और केवल यदि ''पी'' का गैलोज़ समूह ''जी'' में सम्मिलित है। अधिक स्पष्ट रूप से यदि गैलोज़ समूह को ''जी'' में सम्मिलित किया गया है तो रिसॉल्वेंट का एक तर्कसंगत मूल होता है और यदि तर्कसंगत मूल एक [[सरल जड़ (बहुपद)]] है तो विपरीत (तर्क) सत्य है।विलायक को [[जोसेफ लुई लैग्रेंज]] द्वारा पेश किया गया था और व्यवस्थित रूप से इवेरिस्टे गैलोइस द्वारा उपयोग किया गया था। आजकल वे अभी भी गैलोज़ समूहों की गणना करने के लिए एक मौलिक उपकरण हैं। विलायक के सबसे सरल उदाहरण हैं
+'''गैलोज़ सिद्धांत''' में अमूर्त बीजगणित के क्षेत्र के अंदर एक अनुशासन, क्रमपरिवर्तन समूह ''G'' के लिए एक विलायक एक बहुपद है जिसका गुणांक किसी दिए गए बहुपद ''p'' के गुणांक पर बहुपद रूप से निर्भर करता है और समान्य रूप से बोलते हुए, एक तर्कसंगत जड़ है यदि और केवल यदि गैलोज़ ''p'' के समूह को ''G'' में सम्मिलित किया गया है। अधिक स्पष्ट रूप से, यदि गैलोज़ समूह को ''G'' में सम्मिलित किया गया है, तो विलायक का एक तर्कसंगत जड़ है, और यदि तर्कसंगत मूल एक सरल जड़ है तो इसका विपरीत सत्य है। रिज़ॉल्वेंट्स को जोसेफ लुईस लैग्रेंज द्वारा प्रस्तुत किया गया था और व्यवस्थित रूप से इवेरिस्टे गैलोइस द्वारा उपयोग किया गया था। आजकल वे अभी भी गैलोज़ समूहों की गणना करने के लिए एक मौलिक उपकरण हैं। रिज़ॉल्वेंट्स के सबसे सरल उदाहरण हैं
-* <math>X^2-\Delta</math> कहाँ <math>\Delta</math> [[विभेदक]] है जो कि [[वैकल्पिक समूह]] के लिए एक समाधानकर्ता है। [[घन समीकरण]] के स्थितियों में इस विलायक को कभी-कभी द्विघात विलायक भी कहा जाता है; इसकी जड़ें घन समीकरण की जड़ों के सूत्रों में स्पष्ट रूप से दिखाई देती हैं।
+* <math>X^2-\Delta</math> जहाँ <math>\Delta</math> [[विभेदक]] है जो कि [[वैकल्पिक समूह|वैकल्पिक]] समूह के लिए एक समाधानकर्ता है। [[घन समीकरण]] के स्थितियों में इस विलायक को कभी-कभी द्विघात विलायक भी कहा जाता है; इसकी जड़ें घन समीकरण की जड़ों के सूत्रों में स्पष्ट रूप से दिखाई देती हैं।
-* [[चतुर्थक फलन]] का [[विलायक घन]] जो 8 तत्वों के [[डायहेड्रल समूह]] के लिए एक विलायक है।
+* [[चतुर्थक फलन]] का [[विलायक घन]] जो 8 तत्वों के [[डायहेड्रल समूह|डायहेड्रल]] समूह के लिए एक विलायक है।
 * क्विंटिक फलन या सॉल्वेबल क्विंटिक्स डिग्री पांच में अधिकतम पुन: घुलनशील गैलोज़ समूह के लिए एक विलायक है। यह एक बहुपद 6 की घात वाला बहुपद है।
-इन तीन विलायक में "हमेशा अलग होने योग्य" होने का गुण होता है, जिसका अर्थ है कि यदि उनके पास एकाधिक मूल है तो बहुपद "पी" अपरिवर्तनीय बहुपद नहीं है। यह ज्ञात नहीं है कि क्रमपरिवर्तन के प्रत्येक समूह के लिए हमेशा एक अलग करने योग्य समाधान होता है या नहीं।
+इन तीन विलायक में "सदैव अलग होने योग्य" होने का गुण होता है जिसका अर्थ है कि यदि उनके पास एकाधिक मूल है तो बहुपद "p" अपरिवर्तनीय बहुपद नहीं है। यह ज्ञात नहीं है कि क्रमपरिवर्तन के प्रत्येक समूह के लिए सदैव एक अलग करने योग्य समाधान होता है या नहीं होता है।
-प्रत्येक समीकरण के लिए जड़ों को nवें मूल और एक पुनर्घुलनशील समूह के लिए एक विलायक की जड़ के रूप में व्यक्त किया जा सकता है क्योंकि, इस मूल द्वारा उत्पन्न क्षेत्र (गणित) पर समीकरण का गैलोज़ समूह पुन: घुलनशील है।
+प्रत्येक समीकरण के लिए जड़ों को रेडिकल के रूप में और एक पुनर्घुलनशील समूह के लिए एक विलायक की जड़ के रूप में व्यक्त किया जा सकता है क्योंकि इस जड़ द्वारा उत्पन्न क्षेत्र पर समीकरण का गैलोज़ समूह पुन: घुलनशील है।
 == परिभाषा ==
-होने देना {{mvar|n}} एक धनात्मक [[पूर्णांक]] हो जो उस समीकरण की डिग्री होगी जिस पर हम विचार करेंगे और {{math|(''X''<sub>1</sub>, ..., ''X<sub>n</sub>'')}} [[अनिश्चित (चर)]] की एक क्रमबद्ध सूची। यह डिग्री के सामान्य बहुपद को परिभाषित करता है{{mvar|n}}
+मान लीजिए {{mvar|n}} एक धनात्मक पूर्णांक है जो समीकरण की डिग्री होगी जिस पर हम विचार करेंगे और {{math|(''X''<sub>1</sub>, ..., ''X<sub>n</sub>'')}} अनिश्चितों की एक क्रमबद्ध सूची होगी। यह घात {{mvar|n}} के सामान्य बहुपद को परिभाषित करता है
 <math display="block">F(X)=X^n+\sum_{i=1}^n (-1)^i E_i X^{n-i} = \prod_{i=1}^n (X-X_i),</math>
-कहाँ {{math|''E''<sub>''i''</sub>}} है {{math|''i''}}वां [[प्राथमिक सममित बहुपद]]।
+जहाँ {{math|''E''<sub>''i''</sub>}} {{math|''i''}}वां प्राथमिक सममित बहुपद है।
-[[सममित समूह]] {{math|''S''<sub>''n''</sub>}} [[समूह कार्रवाई]] पर {{math|''X''<sub>''i''</sub>}} उन्हें क्रमपरिवर्तित करके और यह बहुपदों पर एक क्रिया को प्रेरित करता है {{math|''X''<sub>''i''</sub>}}. इस क्रिया के तहत किसी दिए गए बहुपद का [[स्टेबलाइज़र (समूह सिद्धांत)]] सामान्यतः तुच्छ होता है, किन्तु कुछ बहुपदों में बड़ा स्टेबलाइज़र होता है। उदाहरण के लिए एक प्राथमिक सममित बहुपद का स्टेबलाइज़र संपूर्ण [[समूह (गणित)]] है {{math|''S''<sub>''n''</sub>}}. यदि स्टेबलाइजर गैर-तुच्छ है तो बहुपद कुछ गैर-तुच्छ [[उपसमूह]] द्वारा तय किया जाता है {{mvar|G}}; इसे एक अपरिवर्तनीय कहा जाता है {{mvar|''G''}}. इसके विपरीत एक उपसमूह दिया गया है {{mvar|G}} का {{math|''S''<sub>''n''</sub>}}, का एक अपरिवर्तनीय {{mvar|G}} के लिए एक रिसॉल्वेंट अपरिवर्तनीय है {{mvar|G}} यदि यह किसी बड़े उपसमूह का अपरिवर्तनीय नहीं है {{math|''S''<sub>''n''</sub>}}.<ref>http://www.alexhealy.net/papers/math250a.pdf {{Bare URL PDF|date=March 2022}}</ref>
+सममित समूह {{math|''S''<sub>''n''</sub>}}, {{math|''X''<sub>''i''</sub>}} पर उन्हें क्रमपरिवर्तित करके कार्य करता है, और यह {{math|''X''<sub>''i''</sub>}} में बहुपदों पर एक क्रिया को प्रेरित करता है। इस क्रिया के तहत किसी दिए गए बहुपद का स्टेबलाइज़र सामान्यतः तुच्छ होता है किन्तु कुछ बहुपदों में बड़ा स्टेबलाइज़र होता है। उदाहरण के लिए एक प्रारंभिक सममित बहुपद का स्टेबलाइज़र संपूर्ण समूह {{math|''S''<sub>''n''</sub>}} है। यदि स्टेबलाइज़र गैर-तुच्छ है, तो बहुपद कुछ गैर-तुच्छ उपसमूह {{mvar|G}} द्वारा तय किया गया है; इसे {{mvar|G}} का एक अपरिवर्तनीय कहा जाता है। इसके विपरीत, एसएन के उपसमूह {{mvar|G}} को देखते हुए, {{mvar|G}} का एक अपरिवर्तनीय {{mvar|G}} के लिए एक विलायक अपरिवर्तनीय है यदि यह {{math|''S''<sub>''n''</sub>}} के किसी भी बड़े उपसमूह का अपरिवर्तनीय नहीं है।<ref>http://www.alexhealy.net/papers/math250a.pdf {{Bare URL PDF|date=March 2022}}</ref>
-किसी दिए गए उपसमूह के लिए अपरिवर्तनीय ढूँढना {{mvar|G}} का {{math|''S''<sub>''n''</sub>}} अपेक्षाकृत आसान है; की क्रिया के तहत [[एकपद]] की [[कक्षा (समूह सिद्धांत)]] का योग किया जा सकता है {{math|''S''<sub>''n''</sub>}}. चूंकि , ऐसा हो सकता है कि परिणामी बहुपद एक बड़े समूह के लिए अपरिवर्तनीय हो। उदाहरण के लिए, उपसमूह के स्थितियों पर विचार करें {{mvar|G}} का {{math|''S''<sub>4</sub>}} क्रम 4 का, जिसमें सम्मिलित है {{math|(12)(34)}}, {{math|(13)(24)}}, {{math|(14)(23)}} और पहचान (नोटेशन के लिए, क्रमपरिवर्तन समूह देखें)। एकपदी {{math|''X''<sub>1</sub>''X''<sub>2</sub>}} अपरिवर्तनीय देता है {{math|2(''X''<sub>1</sub>''X''<sub>2</sub> + ''X''<sub>3</sub>''X''<sub>4</sub>)}}. यह इसके लिए कोई समाधानकारी अपरिवर्तनीय नहीं है {{mvar|G}}, क्योंकि द्वारा अपरिवर्तनीय है {{math|(12)}}, यह वास्तव में बड़े डायहेड्रल उपसमूह के लिए एक विलायक अपरिवर्तनीय है {{mvar|D_4}}: {{math|⟨(12), (1324)⟩}}, और इसका उपयोग [[चतुर्थक समीकरण]] के रिसॉल्वेंट क्यूबिक को परिभाषित करने के लिए किया जाता है।
-अगर {{mvar|P}} एक समूह के लिए एक विलायक अपरिवर्तनीय है {{mvar|G}}सूचकांक का (समूह सिद्धांत) {{mvar|m}} अंदर {{math|''S''<sub>''n''</sub>}}, तो इसकी कक्षा के अंतर्गत {{math|''S''<sub>''n''</sub>}} का ऑर्डर है {{mvar|m}}. होने देना {{math|''P''<sub>1</sub>, ..., ''P<sub>m</sub>''}} इस कक्षा के तत्व बनें। फिर बहुपद
+{{math|''S''<sub>''n''</sub>}} के किसी दिए गए उपसमूह {{mvar|G}} के लिए अपरिवर्तनीय खोजना अपेक्षाकृत आसान है; कोई {{math|''S''<sub>''n''</sub>}} की क्रिया के तहत एकपदी की कक्षा का योग कर सकता है। चूँकि ऐसा हो सकता है कि परिणामी बहुपद एक बड़े समूह के लिए अपरिवर्तनीय हो। उदाहरण के लिए, क्रम 4 के {{math|''S''<sub>4</sub>}} के उपसमूह {{mvar|G}} के स्थिति पर विचार करें, जिसमें (12)(34), (13)(24), (14)(23) और पहचान सम्मिलित है (नोटेशन के लिए, क्रमपरिवर्तन समूह देखें) . एकपदी {{math|''X''<sub>1</sub>''X''<sub>2</sub>}} अपरिवर्तनीय {{math|2(''X''<sub>1</sub>''X''<sub>2</sub> + ''X''<sub>3</sub>''X''<sub>4</sub>)}} देता है। यह G के लिए एक विलायक अपरिवर्तनीय नहीं है, क्योंकि (12) द्वारा अपरिवर्तनीय होने के कारण, यह वास्तव में बड़े डायहेड्रल उपसमूह {{mvar|D_4}}: {{math|⟨(12), (1324)⟩}} के लिए एक विलायक अपरिवर्तनीय है, और इसका उपयोग [[चतुर्थक समीकरण]] के रिसॉल्वेंट क्यूबिक को परिभाषित करने के लिए किया जाता है।
+यदि {{mvar|P}}, {{math|''S''<sub>''n''</sub>}} के अंदर सूचकांक m के समूह {{mvar|G}} के लिए एक विलायक अपरिवर्तनीय है, तो {{math|''S''<sub>''n''</sub>}} के अंतर्गत इसकी कक्षा का क्रम {{mvar|m}} है। माना {{math|''P''<sub>1</sub>, ..., ''P<sub>m</sub>''}} इस कक्षा के तत्व हैं। फिर बहुपद
 :<math>R_G=\prod_{i=1}^m (Y-P_i)</math>
-के अंतर्गत अपरिवर्तनीय है {{math|''S''<sub>''n''</sub>}}. इस प्रकार जब विस्तारित किया जाता है तो इसके गुणांक बहुपद होते हैं {{math|''X''<sub>''i''</sub>}} जो समरूपता समूह की कार्रवाई के तहत अपरिवर्तनीय हैं और इस प्रकार प्राथमिक सममित बहुपदों में बहुपद के रूप में व्यक्त किए जा सकते हैं। दूसरे शब्दों में, {{math|''R''<sub>''G''</sub>}} एक अघुलनशील बहुपद है {{mvar|Y}} जिनके गुणांकों में बहुपद हैं {{mvar|F}}. मूल के रूप में विलायक अपरिवर्तनीय होने के कारण इसे विलायक (कभी-कभी समाधानकारी समीकरण) कहा जाता है।
+{{math|''S''<sub>''n''</sub>}} के तहत अपरिवर्तनीय है। इस प्रकार जब विस्तारित किया जाता है, तो इसके गुणांक {{math|''X''<sub>''i''</sub>}} में बहुपद होते हैं जो समरूपता समूह की गतिविधि के तहत अपरिवर्तनीय होते हैं और इस प्रकार प्रारंभिक सममित बहुपद में बहुपद के रूप में व्यक्त किए जा सकते हैं। दूसरे शब्दों में, {{math|''R''<sub>''G''</sub>}}, {{mvar|Y}} में एक अप्रासंगिक बहुपद है जिसके गुणांक {{mvar|F}} के गुणांक में बहुपद हैं। मूल के रूप में विलायक अपरिवर्तनीय होने पर इसे एक विलायक (कभी-कभी समाधान समीकरण) कहा जाता है।
 अब एक अघुलनशील बहुपद पर विचार करें
 :<math>f(X)=X^n+\sum_{i=1}^n a_i X^{n-i} = \prod_{i=1}^n (X-x_i),</math>
-किसी दिए गए क्षेत्र में गुणांक के साथ {{mvar|K}} (सामान्यतः [[तर्कसंगतता का क्षेत्र]]) और जड़ें {{math|''x''<sub>''i''</sub>}} [[बीजगणितीय रूप से बंद विस्तार]] में। का प्रतिस्थापन {{math|''X''<sub>''i''</sub>}} से {{math|''x''<sub>''i''</sub>}} और के गुणांक {{mvar|F}} उन लोगों द्वारा {{mvar|f}} उपरोक्त में हमें एक बहुपद प्राप्त होता है <math>R_G^{(f)}(Y)</math> अस्पष्टता के स्थितियों में रिसॉल्वेंट या विशेष रिसॉल्वेंट भी कहा जाता है)। यदि गैलोइस समूह का {{mvar|f}} में समाहित है {{mvar|G}} रिसॉल्वेंट इनवेरिएंट की विशेषज्ञता अपरिवर्तनीय है {{mvar|G}} और इस प्रकार यह एक जड़ है <math>R_G^{(f)}(Y)</math> वह का है {{mvar|K}} (पर तर्कसंगत है {{mvar|K}}). इसके विपरीत यदि <math>R_G^{(f)}(Y)</math> एक तर्कसंगत जड़ है जो एकाधिक जड़ नहीं है गैलोज़ समूह {{mvar|f}} में समाहित है {{mvar|G}}.
+किसी दिए गए क्षेत्र {{mvar|K}} (सामान्यतः परिमेय का क्षेत्र) में गुणांक और बीजगणितीय रूप से बंद क्षेत्र विस्तारक में जड़ों {{math|''x''<sub>''i''</sub>}} के साथ उपरोक्त में {{math|''X''<sub>''i''</sub>}} को {{math|''x''<sub>''i''</sub>}} से और {{mvar|F}} के गुणांकों को {{mvar|f}} के गुणांकों से प्रतिस्थापित करने पर, हमें एक बहुपद <math>R_G^{(f)}(Y)</math> प्राप्त होता है, जिसे अस्पष्टता के स्थिति में रिज़ॉल्वेंट या विशेष रिज़ॉल्वेंट भी कहा जाता है) . यदि {{mvar|f}} का गैलोइस समूह {{mvar|G}} में समाहित है, तो सॉल्वेंट इनवेरिएंट की विशेषज्ञता {{mvar|G}} द्वारा अपरिवर्तनीय है और इस प्रकार <math>R_G^{(f)}(Y)</math> की एक जड़ है जो {{mvar|K}} से संबंधित है (पर तर्कसंगत है {{mvar|K}}) इसके विपरीत यदि <math>R_G^{(f)}(Y)</math> का एक परिमेय मूल है, जो एक बहुमूल नहीं है, तो {{mvar|f}} का गैलोज़ समूह {{mvar|G}} में निहित है।
 ==शब्दावली==
@@ Line 28: / Line 29: @@
 * लेखकों या संदर्भ के आधार पर, विलायक विलायक समीकरण के बजाय विलायक अपरिवर्तनीय को संदर्भित कर सकता है।
 * 'गैलोइस रिज़ॉल्वेंट' एक ऐसा विलायक है, जिसकी जड़ों में विलायक अपरिवर्तनीय रैखिक होता है।
-* 'लैग्रेंज रिसॉल्वेंट रैखिक बहुपद को संदर्भित कर सकता है <math display="block">\sum_{i=0}^{n-1} X_i \omega^i</math> कहाँ <math>\omega</math> एकता की आदिम nवीं जड़ है. यह पहचान समूह के लिए गैलोज़ रिसॉल्वेंट का रिसॉल्वेंट अपरिवर्तनीय है।
+* 'लैग्रेंज रिसॉल्वेंट रैखिक बहुपद को संदर्भित कर सकता है <math display="block">\sum_{i=0}^{n-1} X_i \omega^i</math>
-* एक 'सापेक्ष समाधानकर्ता' को एक समाधानकर्ता के समान ही परिभाषित किया गया है, किन्तु केवल किसी दिए गए उपसमूह के तत्वों की कार्रवाई पर विचार करते हुए {{mvar|''H''}} का {{math|''S''<sub>''n''</sub>}}, ऐसी संपत्ति होना, जो किसी उपसमूह के लिए एक सापेक्ष समाधान हो {{mvar|''G''}} का {{mvar|''H''}} में एक तर्कसंगत सरल जड़ और गैलोइस समूह है {{mvar|''f''}} में समाहित है {{mvar|''H''}}, फिर गैलोज़ समूह {{mvar|''f''}} में समाहित है {{mvar|''G''}}. इस संदर्भ में, एक सामान्य विलायक को पूर्ण विलायक कहा जाता है।
+*जहां <math>\omega</math> एकता की एक मौलिक nवीं जड़ है। यह पहचान समूह के लिए गैलोज़ रिसॉल्वेंट का रिसॉल्वेंट अपरिवर्तनीय है।
+*एक सापेक्ष रिज़ॉल्वेंट को एक रिज़ॉल्वेंट के समान परिभाषित किया जाता है, किन्तु केवल {{math|''S''<sub>''n''</sub>}} के दिए गए उपसमूह {{mvar|''H''}} के तत्वों की गतिविधि पर विचार करते हुए, गुण होने पर, यदि {{mvar|''H''}} के उपसमूह {{mvar|''G''}} के लिए एक सापेक्ष रिज़ॉल्वेंट में तर्कसंगत सरल जड़ और गैलोइस समूह होता है {{mvar|''f''}} का {{mvar|''H''}} में निहित है, तो {{mvar|''f''}} का गैलोइस समूह {{mvar|''G''}} में निहित है। इस संदर्भ में, एक सामान्य विलायक को पूर्ण समाधान कहा जाता है।
 ==समाधान विधि==
-डिग्री के बहुपद का गैलोज़ समूह <math>n</math> है <math>S_n</math> या इसका एक [[उचित उपसमूह]]। यदि एक बहुपद वियोज्य और अपरिवर्तनीय है, तो संबंधित गैलोज़ समूह एक संक्रमणीय उपसमूह है।
+घात <math>n</math> वाले बहुपद का गैलोज़ समूह <math>S_n</math> या इसका एक उचित उपसमूह है। यदि एक बहुपद वियोज्य और अपरिवर्तनीय है, तो संबंधित गैलोज़ समूह एक संक्रमणीय उपसमूह है।
-<math>S_n</math> के सकर्मक उपसमूह एक निर्देशित ग्राफ़ बनाते हैं: एक समूह कई समूहों का उपसमूह हो सकता है। एक समाधानकर्ता यह बता सकता है कि क्या बहुपद का गैलोज़ समूह दिए गए समूह का एक (जरूरी नहीं कि उचित) उपसमूह है। रिसॉल्वेंट विधि समूहों को एक-एक करके जांचने का व्यवस्थित विधि है जब तक कि केवल एक समूह संभव न हो। इसका मतलब यह नहीं है कि प्रत्येक समूह की जाँच की जानी चाहिए: प्रत्येक समाधानकर्ता कई संभावित समूहों को रद्द कर सकता है। उदाहरण के लिए, घात पाँच बहुपदों के लिए कभी भी <math>D_5</math> के रिज़ॉल्वेंट की आवश्यकता नहीं होती है: <math>A_5</math> और <math>M_{20}</math> के लिए रिज़ॉल्वेंट वांछित जानकारी देते हैं।
+<math>S_n</math> के सकर्मक उपसमूह एक निर्देशित ग्राफ़ बनाते हैं: एक समूह कई समूहों का उपसमूह हो सकता है। एक समाधानकर्ता यह बता सकता है कि क्या बहुपद का गैलोज़ समूह दिए गए समूह का एक (जरूरी नहीं कि उचित) उपसमूह है। रिसॉल्वेंट विधि समूहों को एक-एक करके जांचने का व्यवस्थित विधि है जब तक कि केवल एक समूह संभव नही हो सकता है इसका मतलब यह नहीं है कि प्रत्येक समूह की जाँच की जानी चाहिए: प्रत्येक समाधानकर्ता कई संभावित समूहों को समाप्त कर सकता है। उदाहरण के लिए, घात पाँच बहुपदों के लिए कभी भी <math>D_5</math> के रिज़ॉल्वेंट की आवश्यकता नहीं होती है: <math>A_5</math> और <math>M_{20}</math> के लिए रिज़ॉल्वेंट वांछित जानकारी देते हैं।
-एक विधि अधिकतम (सकर्मक) उपसमूहों से प्रारंभिक करना है जब तक कि सही उपसमूह नहीं मिल जाता है और फिर उसके अधिकतम उपसमूहों के साथ जारी रखना है।
+एक विधि अधिकतम (सकर्मक) उपसमूहों से प्रारंभिक करना है जब तक कि सही उपसमूह नहीं मिल जाता है और फिर उसके अधिकतम उपसमूहों के साथ प्रसारित रखना है।
 == संदर्भ ==
 * {{cite book |title=Algebraic Theories |first= Leonard E.|last=Dickson |author-link=Leonard Eugene Dickson |publisher= Dover Publications Inc|location= New York|year= 1959|isbn=0-486-49573-6 |page= ix+276}}
 * {{Cite journal | last1 = Girstmair | first1 = K. | title = On the computation of resolvents and Galois groups | doi = 10.1007/BF01165834 | journal = Manuscripta Mathematica | volume = 43 | issue = 2–3 | pages = 289–307 | year = 1983 | s2cid = 123752910 }}
-[[Category: समूह सिद्धांत]] [[Category: गैलोइस सिद्धांत]] [[Category: समीकरण]]
-[[Category: Machine Translated Page]]
+[[Category:All articles with bare URLs for citations]]
+[[Category:Articles with PDF format bare URLs for citations]]
+[[Category:Articles with bare URLs for citations from March 2022]]
 [[Category:Created On 03/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Templates Vigyan Ready]]
+[[Category:गैलोइस सिद्धांत]]
+[[Category:समीकरण]]
+[[Category:समूह सिद्धांत]]

Anonymous

Search

रिसॉल्वेंट (गैलोइस सिद्धांत): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:40, 18 July 2023

Contents

परिभाषा

शब्दावली

समाधान विधि

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

रिसॉल्वेंट (गैलोइस सिद्धांत): Difference between revisions

Latest revision as of 10:40, 18 July 2023

परिभाषा

शब्दावली

समाधान विधि

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories