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

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

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

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

परिभाषा
होने देना $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$ का $S_{n}$, का एक अपरिवर्तनीय $G$ के लिए एक रिसॉल्वेंट अपरिवर्तनीय है $G$ यदि यह किसी बड़े उपसमूह का अपरिवर्तनीय नहीं है $S_{n}$. किसी दिए गए उपसमूह के लिए अपरिवर्तनीय ढूँढना $G$ का $S_{n}$ अपेक्षाकृत आसान है; की क्रिया के तहत एकपदी की कक्षा (समूह सिद्धांत) का योग किया जा सकता है $S_{n}$. हालाँकि, ऐसा हो सकता है कि परिणामी बहुपद एक बड़े समूह के लिए अपरिवर्तनीय हो। उदाहरण के लिए, उपसमूह के मामले पर विचार करें $G$ का $S_{4}$ क्रम 4 का, जिसमें शामिल है $(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$ एक समूह के लिए एक विलायक अपरिवर्तनीय है $G$सूचकांक का (समूह सिद्धांत) $m$ अंदर $S_{n}$, तो इसकी कक्षा के अंतर्गत $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$.

शब्दावली
शब्दावली में कुछ भिन्नताएँ हैं।
 * लेखकों या संदर्भ के आधार पर, रिज़ॉल्वेंट रिज़ॉल्वेंट समीकरण के बजाय रिज़ॉल्वेंट अपरिवर्तनीय को संदर्भित कर सकता है।
 * 'गैलोइस रिज़ॉल्वेंट' एक ऐसा रिज़ॉल्वेंट है, जिसकी जड़ों में रिज़ॉल्वेंट अपरिवर्तनीय रैखिक होता है।
 * 'Lagrange resolvent रैखिक बहुपद को संदर्भित कर सकता है $$\sum_{i=0}^{n-1} X_i \omega^i$$ कहाँ $$\omega$$ एकता की आदिम nवीं जड़ है. यह पहचान समूह के लिए गैलोज़ रिसॉल्वेंट का रिसॉल्वेंट अपरिवर्तनीय है।
 * एक 'सापेक्ष समाधानकर्ता' को एक समाधानकर्ता के समान ही परिभाषित किया गया है, लेकिन केवल किसी दिए गए उपसमूह के तत्वों की कार्रवाई पर विचार करते हुए $H$ का $S_{n}$, ऐसी संपत्ति होना, जो किसी उपसमूह के लिए एक सापेक्ष समाधान हो $G$ का $H$ में एक तर्कसंगत सरल जड़ और गैलोइस समूह है $f$ में समाहित है $H$, फिर गैलोज़ समूह $f$ में समाहित है $G$. इस संदर्भ में, एक सामान्य रिज़ॉल्वेंट को पूर्ण रिज़ॉल्वेंट कहा जाता है।

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

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

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