🔢 mathematics

A necessary condition for solvability by radicals

टोरंटो विश्वविद्यालय के MAT401 पाठ्यक्रम के लिए यह हैंडआउट, रेडिकल्स द्वारा बीजगणितीय समीकरणों की समाधानक्षमता के लिए एक आवश्यक शर्त का गालोइस सिद्धांत (Galois theory) पर आधारित प्रमाण प्रदान करता है, जबकि पर्याप्त शर्त को एक आगामी नोट के लिए स्थगित रखता है।

मूल लेखक: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

प्रकाशित 2026-04-13

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही पेचीदा पहेली को सुलझाने की कोशिश कर रहे हैं: क्या एक विशिष्ट बीजगणितीय समीकरण (algebraic equation) को केवल बुनियादी अंकगणितीय संक्रियाओं (जोड़, घटाव, गुणा, भाग) और मूल (roots) लेने (वर्गमूल, घनमूल, आदि) का उपयोग करके हल किया जा सकता है?

गणितज्ञ इसे "रेडिकल्स द्वारा समाधान" (solving by radicals) कहते हैं।

सदियों से, लोग सरल समीकरणों को हल करना जानते थे (जैसे $x^2 + 2x + 1 = 0$ )। लेकिन उच्च घात वाले समीकरणों (जैसे $x^5 + \dots = 0$ ) के लिए, यह एक रहस्य बना रहा। गणितज्ञ अस्कोल्ड खोवान्स्की (Askfold Khovanskii) का यह शोध पत्र, इस पहेली को हल करने के लिए एक आवश्यक शर्त बताता है। सरल शब्दों में, यह कहता है: "यदि आप किसी समीकरण को रेडिकल्स (radicals) के माध्यम से हल कर सकते हैं, तो उसकी अंतर्निहित 'सममिति संरचना' (symmetry structure) इतनी सरल होनी चाहिए कि उसे छोटे, प्रबंधनीय चरणों में तोड़ा जा सके।"

यहाँ इस शोध पत्र की कहानी है, जिसे रोजमर्रा के उदाहरणों के माध्यम से समझाया गया है।

1. पात्र: क्षेत्र (Fields) और सममिति (Symmetries)

इस प्रमाण को समझने के लिए, हमें दो मुख्य पात्रों की आवश्यकता है:

क्षेत्र (The Field - $K$ ): इसे आप अपना औजारों का डिब्बा (toolbox) समझ सकते हैं। इसमें वे संख्याएँ होती हैं जिनसे आप शुरुआत करते हैं (जैसे 1, 2, $\pi$ , आदि)।
विभाजन क्षेत्र (The Splitting Field - $E$ ): यह आपका अंतिम कार्यशाला (workshop) है। यह वह स्थान है जहाँ आप अपने समीकरण के सभी समाधान खोजने के लिए जाते हैं।
गैलोइस समूह (The Galois Group): यह एक सुरक्षा गार्ड या सममिति प्रबंधक (symmetry manager) है। यह इस बात का हिसाब रखता है कि नियमों को तोड़े बिना समाधानों को आपस में कैसे बदला जा सकता है।

बड़ा विचार: यह शोध पत्र तर्क देता है कि समीकरण की "जटिलता" सीधे तौर पर इस सुरक्षा गार्ड (गैलोइस समूह) की "जटिलता" से जुड़ी हुई है।

2. लक्ष्य: दीवार को तोड़ना

शोध पत्र पूछता है: हम एक जटिल समीकरण को सरल चरणों (radicals) में कब तोड़ सकते हैं?

कल्पना कीजिए कि आपके समीकरण के समाधान दरवाजों की एक श्रृंखला के पीछे बंद हैं।

रेडिकल्स द्वारा हल करने का अर्थ है कि आपके पास एक मास्टर कुंजी है जो इन दरवाजों को एक-एक करके खोल सकती है।
गैलोइस समूह ताले की तंत्र (lock mechanism) का प्रतिनिधित्व करता है। यदि ताला बहुत जटिल है (जैसे एक अराजक, उलझा हुआ गाँठ), तो कोई भी सरल कुंजी काम नहीं करेगी।

3. रणनीति: एक सीढ़ी बनाना (नॉर्मलाइजेशन/Normalization)

यह शोध पत्र नॉर्मलाइजेशन (Normalization) नामक एक चतुर तकनीक पेश करता है।

कल्पना कीजिए कि आपके पास कमरों की एक अव्यवस्थित श्रृंखला है (एक "रेडिकल एक्सटेंशन की श्रृंखला") जहाँ आप जमीनी मंजिल से ऊपरी मंजिल तक पहुँचने की कोशिश कर रहे हैं। समस्या यह है कि कुछ कमरे अव्यवस्थित हैं, और दरवाजे पूरी तरह से मेल नहीं खाते। आप पूरी इमारत की संरचना को आसानी से नहीं देख सकते।

खोवान्स्की का समाधान:
अव्यवस्थित श्रृंखला को देखने के बजाय, वह एक पूर्ण, सममित मीनार (perfect, symmetrical tower) बनाता है (एक "नेस्टेड सेट ऑफ नॉर्मल रेडिकल एक्सटेंशन्स") जो आपकी अव्यवस्थित श्रृंखला को समाहित करती है।

चरण 1: एक आधार तल बनाएँ जो पूरी तरह से सममित हो (जैसे इकाई के मूलों का एक घेरा)।
चरण 2: मूल (roots) जोड़कर अगला तल बनाएँ, लेकिन इसे इस तरह से करें कि पूरी इमारत सममित बनी रहे।
चरण 3: ऊपर तक पहुँचने के लिए इसे दोहराते रहें।

ऐसा क्यों करना है? क्योंकि इस पूर्ण मीनार में, हम प्रत्येक मंजिल के लिए "सुरक्षा गार्डों" (गैलोइस समूहों) को स्पष्ट रूप से देख सकते हैं।

4. सुराग: सुरक्षा गार्ड "क्रमविनिमेय" (Commutative) हैं

यहाँ इस शोध पत्र का जादू है। जब आप इस पूर्ण मीनार के प्रत्येक चरण के लिए सुरक्षा गार्डों को देखते हैं:

लेम्मा 8.2 और 8.3: प्रत्येक मंजिल पर गार्ड क्रमविनिमेय (commutative) होते हैं।
- उदाहरण: कल्पना कीजिए कि लोगों का एक समूह अपनी सीटें बदल रहा है। यदि समूह "क्रमविनिमेय" है, तो इसका मतलब है कि इससे कोई फर्क नहीं पड़ता कि पहले कौन किसके साथ सीट बदलता है; अंतिम परिणाम वही रहता है। यह एक बहुत ही व्यवस्थित, अनुमानित समूह है।
- यदि गार्ड व्यवस्थित हैं, तो "ताला" सरल है।

5. निष्कर्ष: "समाधान योग्य" (Solvable) श्रृंखला

यह शोध पत्र एक श्रृंखला अभिक्रिया (chain reaction) को सिद्ध करता है:

यदि कोई समीकरण रेडिकल्स द्वारा समाधान योग्य है, तो हम इसके चारों ओर यह पूर्ण मीनार बना सकते हैं।
इस मीनार में, प्रत्येक चरण में सरल, व्यवस्थित सममिति समूह (क्रमविनिमेय समूह) शामिल होते हैं।
यदि आप सरल, व्यवस्थित समूहों को एक के ऊपर एक रखते हैं, तो पूरी संरचना को "समाधान योग्य" (Solvable) कहा जाता है।
इसलिए, यदि समीकरण रेडिकल्स द्वारा समाधान योग्य है, तो इसका गैलोइस समूह (कुल लॉक मैकेनिज्म) एक "समाधान योग्य समूह" (Solvable Group) होना चाहिए।

"आहा!" क्षण:
यदि आप ऐसे समीकरण का सामना करते हैं जिसका गैलोइस समूह समाधान योग्य नहीं है (अर्थात, सममिति इतनी अराजक है कि उसे सरल, व्यवस्थित चरणों में नहीं तोड़ा जा सकता), तो उस समीकरण को रेडिकल्स का उपयोग करके हल करना असंभव है। चतुराई से वर्गमूल या घनमूल का उपयोग करने का कोई भी तरीका काम नहीं करेगा।

एक रूपक में सारांश

समीकरण को एक रूसी नेस्टिंग डॉल (Russian Nesting Doll) के रूप में सोचें।

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

यह क्यों महत्वपूर्ण है

यह शोध पत्र केवल यह नहीं कहता कि "कुछ समीकरण कठिन हैं।" यह हमें एक सटीक गणितीय परीक्षण देता है। यदि हम किसी समीकरण के सममिति समूह को देखते हैं और पाते हैं कि वह बहुत अधिक अव्यवस्थित है, तो हम तुरंत रेडिकल फॉर्मूला खोजने की कोशिश करना बंद कर सकते हैं। हम जानते हैं कि ऐसा सूत्र मौजूद नहीं है। यही कारण है कि हम सामान्य 5वीं-घात वाले समीकरण (क्विंटिक) को द्विघाती सूत्र (quadratic formula) की तरह किसी सूत्र से हल नहीं कर सकते—इसका सममिति समूह बहुत अधिक अनियंत्रित है!

प्रदत्त हस्तलिखित (handout) अस्कोल्ड खोवान्स्की के आधार पर, यह शोध पत्र "A necessary condition for solvability by radicals" का एक विस्तृत तकनीकी सारांश है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र बीजगणितीय सिद्धांत की मौलिक समस्या को संबोधित करता है: यह निर्धारित करना कि शून्य अभिलक्षण (characteristic zero) वाले क्षेत्र $K$ पर एक बहुपद समीकरण $P(x) = 0$ किन शर्तों के तहत मूलों (radicals) द्वारा हल किया जा सकता है। विशेष रूप से, लेखक समाधान की आवश्यक स्थिति (necessary condition) को सिद्ध करने का लक्ष्य रखते हैं: यदि कोई समीकरण मूलों द्वारा हल करने योग्य है, तो उसका गैलुआ समूह (Galois group) एक हल करने योग्य समूह (solvable group) होना चाहिए।

जबकि पर्याप्त स्थिति (यदि गैलुआ समूह हल करने योग्य है, तो समीकरण मूलों द्वारा हल करने योग्य है) को अक्सर रैखिक बीजगणित का उपयोग करके सिद्ध किया जाता है, यह नोट गैलुआ सिद्धांत (Galois theory) का उपयोग करते हुए इसके विपरीत दिशा पर ध्यान केंद्रित करता है।

2. कार्यप्रणाली (Methodology)

प्रमाण रणनीति किसी भी "मूल विस्तारों की श्रृंखला" (chains of radical extensions) और "नेस्टेड सामान्य मूल विस्तारों के सेट" (nested sets of normal radical extensions) के बीच एक सेतु निर्माण करने पर आधारित है, जहाँ गैलुआ समूह अच्छी तरह से परिभाषित होते हैं। कार्यप्रणाली निम्नलिखित तार्किक चरणों में आगे बढ़ती है:

मौलिक गैलुआ सिद्धांत (Foundational Galois Theory): लेखक आवश्यक पृष्ठभूमि स्थापित करते हैं, जिसमें सामान्य विस्तारों (normal extensions), गैलुआ समूहों और मध्यवर्ती क्षेत्रों (intermediate fields) एवं उपसमूहों (subgroups) के बीच पत्राचार की परिभाषाएँ शामिल हैं। उद्धृत मुख्य प्रमेय में डिग्री सूत्र (Degree formula), ऑटोमोर्फिज्मों का उत्थान (Theorem 1.4), और सामान्य उपसमूहों एवं सामान्य मध्यवर्ती क्षेत्रों के बीच संबंध शामिल हैं।
ऑर्बिट बहुपद (Orbit Polynomials): शोध पत्र गैलुआ समूह के क्रिया (action) के अंतर्गत ऑर्बिट्स की अवधारणा का उपयोग करके न्यूनतम बहुपदों (minimal polynomials) को स्पष्ट रूप से परिभाषित करता है (Theorem 3.2), जिससे यह सुनिश्चित होता है कि गुणांक मूल क्षेत्र (base field) में ही रहें।
मूल श्रृंखलाओं का सामान्यीकरण (Normalization of Radical Chains):
- एक मानक "मूल विस्तारों की श्रृंखला" ( $K = R_0 \subset R_1 \subset \dots \subset R_n$ ) अनिवार्य रूप से एक सामान्य विस्तार नहीं होती है, जिसका अर्थ है कि इसका गैलुआ समूह परिभाषित नहीं है।
- इसे दूर करने के लिए, लेखक एक नेस्टेड सामान्य मूल विस्तारों के सेट ( $K = E_0 \subset E_1 \subset \dots \subset E_n$ ) की अवधारणा प्रस्तुत करते हैं।
- Theorem 7.2 सिद्ध करता है कि मूल विस्तारों की किसी भी श्रृंखला के लिए, एक "सामान्यीकरण" (normalization) का निर्माण किया जा सकता है। इसमें शामिल है:
  1. मूल क्षेत्र में इकाई के मूलों (roots of unity - $x^N - 1$ का स्प्लिटिंग फील्ड) को जोड़ना।
  2. मूल श्रृंखला के मूल तत्वों के न्यूनतम बहुपदों से प्राप्त बहुपदों के स्प्लिटिंग फील्ड के रूप में $E_{i+1}$ का क्रमवार निर्माण करना।
समूह संरचना विश्लेषण (Group Structure Analysis): लेखक इन सामान्यीकृत विस्तारों के गैलुआ समूहों का विश्लेषण करते हैं:
- Lemma 8.2: एक साइक्लोटोमिक विस्तार (cyclotomic extension - $x^n - 1$ का स्प्लिटिंग फील्ड) का गैलुआ समूह क्रमविनिमेय (commutative) होता है (एक उपसमूह $U(n)$ के समरूप)।
- Lemma 8.3 और 8.4: यदि मूल क्षेत्र में इकाई के मूल (roots of unity) मौजूद हैं, तो $x^n - a$ (या उनके उत्पादों) के मूल जोड़ने से बने विस्तारों का गैलुआ समूह क्रमविनिमेय होता है (चक्रीय समूहों के प्रत्यक्ष योग के उपसमूह के समरूप)।
समूहों की समाधान क्षमता (Solvability of Groups): Corollary 5.4 का उपयोग करते हुए, लेखक प्रदर्शित करते हैं कि यदि किसी समूह में सामान्य उपसमूहों की एक श्रृंखला है जहाँ फैक्टर समूह (factor groups) क्रमविनिमेय होते हैं, तो वह समूह स्वयं हल करने योग्य (solvable) होता है।

3. मुख्य योगदान (Key Contributions)

सामान्यीकरण का औपचारिकीकरण (Formalization of Normalization): यह शोध पत्र गैर-सामान्य मूल श्रृंखलाओं को नेस्टेड सामान्य विस्तारों में बदलने के लिए एक कठोर निर्माण (Theorem 7.2) प्रदान करता है। यह महत्वपूर्ण है क्योंकि यह गैल}(\text{Galois) पत्राचार को मूल समाधान (radical solvability) पर लागू करने की अनुमति देता है, जो अक्सर उन मानक पाठ्यपुस्तकों में अस्पष्ट रहता है जो बिना स्पष्ट निर्माण के सामान्यता (normality) मान लेते हैं।
स्पष्ट ऑर्बिट-आधारित न्यूनतम बहुपद (Explicit Orbit-Based Minimal Polynomials): यह सिद्ध करने के लिए कि निर्मित क्षेत्र वास्तव में मूल क्षेत्र $K$ पर सामान्य विस्तार हैं, ऑर्बिट बहुपदों (Definition 3.1) का उपयोग करना सामान्यीकरण प्रक्रिया के लिए एक स्पष्ट बीजगणितीय तंत्र प्रदान करता है।
गैलुआ समूह का अपघटन (Decomposition of the Galois Group): प्रमाण सामान्यीकृत विस्तार के गैलुआ समूह को क्रमविनिमेय फैक्टर समूहों की एक श्रृंखला में विभाजित करता है, जो मूल लेने के बीजगणितीय ऑपरेशन को समूह-सैद्धांतिक समाधान क्षमता (solvability) के गुण से सीधे जोड़ता है।

4. मुख्य परिणाम (Main Results)

Theorem 9.1 (मुख्य प्रमेय): यदि शून्य अभिलक्षण वाले क्षेत्र $K$ $K$ पर एक बहुपद समीकरण $P(x) = 0$ $P (x) = 0$ मूलों द्वारा हल करने योग्य है, और $E$ $E$ , $P$ $P$ का स्प्लिटिंग फील्ड है, तो गैलुआ समूह $G(E, K)$ $G (E, K)$ हल करने योग्य (solvable) है।
- प्रमाण तर्क (Proof Logic):
  1. मूलों द्वारा समाधान क्षमता, स्प्लिटिंग फील्ड $E$ को समाहित करने वाली एक मूल श्रृंखला (radical chain) की उपस्थिति को दर्शाती है।
  2. इस श्रृंखला को नेस्टेड सामान्य विस्तारों $K \subset E_1 \subset \dots \subset E_{n+1}$ के एक सेट में सामान्यीकृत किया जाता है।
  3. $G(E_{n+1}, K)$ का गैलुआ समूह हल करने योग्य दिखाया गया है क्योंकि इसमें क्रमविनिमेय फैक्टर समूहों (लेम्मा 8.2-8.4 से प्राप्त) वाली उपसमूहों की एक श्रृंखला है।
  4. चूंकि $E$ एक सामान्य मध्यवर्ती क्षेत्र है, इसलिए $G(E, K)$ , हल करने योग्य समूह $G(E_{n+1}, K)$ का एक कोटिएंट (फैक्टर ग्रुप) है।
  5. हल करने योग्य समूहों के कोटिएंट भी हल करने योग्य होते हैं; अतः, $G(E, K)$ हल करने योग्य है।

5. महत्व (Significance)

गैलुआ सिद्धांत की पूर्णता (Completeness of Galois Theory): यह नोट बहुपद समीकरणों की समाधान क्षमता के लिए सैद्धांतिक ढांचे को पूरा करता है, यह स्थापित करके कि "केवल यदि" (only if) दिशा क्या है। यह पुष्टि करता है कि गैलुआ समूह की बीजगणितीय संरचना मूलों द्वारा समीकरणों को हल करने में मुख्य बाधा है।
शैक्षणिक स्पष्टता (Pedagogical Clarity): एक विश्वविद्यालय पाठ्यक्रम (MAT401) के लिए हस्तलिखित (handout) के रूप में लिखा गया, यह शोध पत्र एक सुव्यवस्थित, स्व-निहित प्रमाण प्रदान करता है जो उन्नत स्नातक ग्रंथों में पाई जाने वाली अधिक जटिल मशीनरी से बचता है, और इसके बजाय मानक स्नातक गैलुआ सिद्धांत परिणामों पर निर्भर करता है।
गैर-सामान्य विस्तारों को संभालना (Handling Non-Normal Extensions): मूल श्रृंखलाओं के सामान्यीकरण को स्पष्ट रूप से संबोधित करके, यह शोध पत्र प्रारंभिक गैलुआ सिद्धांत में एक सामान्य भ्रम को स्पष्ट करता है: कि उन विस्तारों पर गैलुआ समूहों को कैसे लागू किया जाए जो शुरू में सामान्य (normal) नहीं हैं।

संक्षेप में, खोवान्की का नोट एक कठोर, रचनात्मक प्रमाण प्रदान करता है कि मूलों द्वारा एक बहुपद समीकरण का समाधान करने के लिए उसके गैलुआ समूह का हल करने योग्य (solvable) होना आवश्यक है, जो मूलों द्वारा उत्पन्न क्षेत्र विस्तारों और उनके संबंधित सममिति समूहों (symmetry groups) के गुणों के बीच के अंतर को पाटता है।