Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891

प्रदान किए गए शोध पत्र के आधार पर, एडोल्फ हर्टविज़ (Adolf Hurwitz) द्वारा गैलुआ सिद्धांत (Galois Theory) पर किए गए मैथ डिकर (Math Dicker) के विश्लेषण का विस्तृत तकनीकी सारांश यहाँ दिया गया है।

शोध पत्र का शीर्षक

एडोल्फ हर्टविज़ और गैलुआ सिद्धांत का मौलिक प्रमेय: 1890-1891 के कोनिग्सबर्ग व्याख्यान

1. समस्या विवरण

यह शोध पत्र इवारिस्ट गैलुआ (Évariste Galois) के मूल कार्य Mémoire sur les conditions de résolubilité des équations par radicaux (1830) तक पहुँचने की ऐतिहासिक और शैक्षणिक चुनौती को संबोधित करता है। गैलुआ का कार्य अपनी पुरातन संकेतन पद्धति, आधुनिक क्षेत्र सिद्धांत (field theory) की अवधारणाओं के अभाव (जो बाद में डेडेकिंड और क्रोनेकर द्वारा औपचारिक रूप दिए गए थे), और अपने तर्कों की संक्षिप्तता के कारण व्याख्या करने में अत्यंत कठिन है।

विशिष्ट समस्या एडोल्फ हर्टविज़ द्वारा प्रस्तुत गैलुआ सिद्धांत के मौलिक प्रमेय के प्रमाण को पुनर्गठित और स्पष्ट करना है। जबकि आधुनिक उपचार अक्सर क्षेत्रों (fields) और ऑटोमोर्फिज्म समूहों (automorphism groups) की भाषा का उपयोग करते हैं, हर्टविज़ (1890–1891 और 1909 में) सख्ती से प्रतिस्थापन (substitutions/permutations) की शास्त्रीय 19वीं सदी की परंपरा का पालन करते थे, जिससे वे आधुनिक क्षेत्र सिद्धांत के अमूर्तीकरण के बिना गैलुआ के मूल तर्क तक एक सीधा सेतु प्रदान करते हैं।

2. कार्यप्रणाली

लेखक प्राथमिक स्रोत विश्लेषण पर आधारित एक ऐतिहासिक और गणितीय पुनर्निर्माण पद्धति का उपयोग करता है:

• स्रोत सामग्री:
  • हर्टविज़ के व्याख्यान नोट्स (1890–1891): विशेष रूप से कोनिग्सबर्ग के अल्बर्टिना विश्वविद्यालय में दिए गए पाठ्यक्रम Theorie der algebraischen Gleichungen (ETH लाइब्रेरी ज्यूरिख, Hs 582:66 में संरक्षित)।
  • हर्टविज़ की गणितीय डायरी (1909): विशेष रूप से Mathematisches Tagebuch No. 23 (Hs 582:23), जहाँ हर्टविज़ ने 1 जुलाई, 1909 को मुख्य प्रमेय के एक परिष्कृत प्रमाण को दर्ज किया था।
  • छात्र नोट्स: एमिल ल्यूटनेगर (1915–1917) के नोट्स ने हर्टविज़ के बाद के ज्यूरिख व्याख्यानों के संदर्भ प्रदान किए, हालांकि ध्यान प्रारंभिक कोनिग्सबर्ग सामग्री पर ही केंद्रित रहता है।
• विश्लेणात्मक दृष्टिकोण:
  • लेखक व्याख्यानों को उनके ऐतिहासिक संदर्भ में रखता है, यह देखते हुए कि हर्टविज़ ने सामग्री को पूरी तरह से प्रतिस्थापन सिद्धांत (substitution theory) के ढांचे के भीतर माना, जिसमें गैलुआ के Mémoire और यूजेन नेटो की Substitutionentheorie का संदर्भ दिया गया है।
  • मूल कार्य में हर्टविज़ के प्रमाण का एक गणितीय पुनर्निर्माण शामिल है। लेखक जटिलता को कम करने के लिए हर्टविज़ के तर्क को एक ठोस सेटिंग (एक बहुपद $\mathbb{Q}$ पर डिग्री 4) में अनुकूलित करता है, जबकि उसके तार्किक सार को सुरक्षित रखता है।
  • पुनर्निर्माण तर्कसंगत डोमेन (उपक्षेत्रों/subfields) और प्रतिस्थापन समूहों (क्रमपरिवर्तनों/permutations) के बीच पत्राचार (correspondence) पर केंद्रित है, जो मौलिक प्रमेय के चार प्रमुख गुणों को सिद्ध करता है।

3. मुख्य योगदान और गणितीय पुनर्निर्माण

यह शोध पत्र मौलिक प्रमेय के लिए हर्टविज़ के विशिष्ट तर्क का विवरण देता है, जो लाग्रेंज रिजोल्वेंट (Lagrange resolvent या एक मूल तत्व/primitive element) के निर्माण और अपरिमेय बहुपदों (irreducible polynomials) के गुणों पर निर्भर करता है।

सेटअप (The Setup)

• मान लीजिए $f(x) \in \mathbb{Q}[x]$ एक बहुपद है जिसके अलग-अलग मूल (roots) $x_1, x_2, x_3, x_4$ हैं।
• मान लीजिए $L = \mathbb{Q}(x_1, x_2, x_3, x_4)$ स्प्लिटिंग फील्ड (splitting field) है।
• हर्टविज़ गैलुआ के लेम्मा II (Galois's Lemma II) का उपयोग करता है: पूर्णांक $n_1, \dots, n_4$ अस्तित्व में हैं ताकि रैखिक संयोजन $V = n_1x_1 + \dots + n_4x_4$ सममित समूह $S_4$ की क्रिया के तहत 24 विशिष्ट मान ($V_1, \dots, V_{24}$) उत्पन्न करता है।
• महत्वपूर्ण रूप से, $L = \mathbb{Q}(V_1)$ है। यह प्रत्येक मूल $x_i$ को $V_1$ के एक परिमेय फलन (rational function) के रूप में व्यक्त करने की अनुमति देता है।

मुख्य तर्क (The Core Argument)

हर्टविज़ एक बहुपद $F(v) = \prod_{i=1}^{24} (v - V_i)$ को परिभाषित करता है। वह फिर $F(v)$ के एक अपरिमेय गुणनखंड $G(v)$ पर विचार करता है ताकि $G(V_1) = 0$ हो। $G(v)$ के मूल $\{V_1, \dots, V_m\}$ का एक उपसमुच्चय है जो प्रतिस्थापनों के एक विशिष्ट उपसमूह (subgroup) से संबंधित है।

पत्र हर्टविज़ के मौलिक प्रमेय के चार मूलभूत गुणों के प्रमाण का पुनर्निर्माण करता है:

1. इनवेरियंट्स की तर्कसंगतता (Rationality of Invariants - I):
   यदि एक परिमेय फलन $\phi(x_1, \dots, x_4)$ एक समूह $G$ के प्रतिस्थापनों के तहत अपरिवर्तनीय (invariant) है, तो उसका मान आधार क्षेत्र $R$ में होता है।

   • प्रमाण का रेखाचित्र: हर्टविज़ एक सहायक लेम्मा का उपयोग करता है: यदि $\phi(x_1, \dots, x_4) = \Phi(V_1)$, तो $\Phi(V_i)$ प्राप्त करने के लिए $\Phi(V_1)$ पर एक प्रतिस्थापन $S_i$ लागू करने से $\Phi(V_i)$ प्राप्त होता है। यदि $\phi$ समूह $G$ के तहत अपरिवर्तनीय है, तो $\Phi(V_1) = \Phi(V_i)$ सभी $G$ के मूलों के लिए होगा। इन मानों का योग (मूलों के सममित फलन) $R$ में एक परिमेय संख्या देता है।

2. परिमेय फलनों की अपरिवर्तनीयता (Invariance of Rational Functions - II):
   यदि एक परिमेय फलन $\phi(x_1, \dots, x_4)$ का मान $R$ में है, तो यह $G$ के प्रतिस्थापनों के तहत अपरिवर्तनीय है।

   • प्रमाण का रेखाचित्र: यदि $\phi = \alpha \in R$, तो $\Phi(V_1) = \alpha$। चूंकि $G(v)$ अपरिमेय है, इसलिए $\Phi(V_i) = \alpha$ सभी $V_i$ के लिए होगा। अतः, प्रतिस्थापन मान को स्वयं पर ही मैप करता है।

3. समूह संरचना (Group Structure - III):
   प्रतिस्थापनों का सेट $G$ एक समूह बनाता है।

• प्रमाण का रेखाचित्र: हर्टविज़ यह दिखाकर क्लोजर ($S_k \circ S_i = S_j$) को सिद्ध करता है कि प्रतिस्थापनों का संयोजन $V_i$ को $V_j$ में मैप करने वाले परिमेय फलनों के संयोजन के अनुरूप है। चूंकि $V_j$, $G(v)$ का एक मूल है, इसलिए संयोजन सेट के भीतर ही रहता है।

4. समूह का लक्षण वर्णन (Characterization of the Group - IV):
   एक प्रतिस्थापन $S$ समूह $G$ का सदस्य है यदि और केवल यदि वह $R$ के प्रत्येक परिमेय फलन को अपरिवर्तित (invariant) छोड़ता है।
   • प्रमाण का रेखाचित्र: यह द्वैत (bijection) स्थापित करता है। हर्टविज़ तर्क देता है कि एक विशिष्ट परिमेय फलन का निर्माण किया जा सकता है जो केवल $G$ के प्रतिस्थापनों के तहत ही अपरिवर्तनीय रहता है। यदि कोई प्रतिस्थापन सभी $R$-फलनों को अपरिवर्तित छोड़ता है, तो वह $G$ में ही होना चाहिए।

4. परिणाम

• ऐतिहासिक स्पष्टीकरण: शोध पत्र सफलतापूर्वक प्रदर्शित करता है कि हर्टविज़ के 1890–1891 के व्याख्यान गैलुआ सिद्धांत के मौलिक प्रमेय का एक कठोर, स्व-निहित प्रमाण प्रदान करते हैं, जो पूरी तरह से प्रतिस्थापन सिद्धांत पर निर्भर करता है और "क्षेत्रों" (Körper/fields) की आधुनिक अवधारणा का उपयोग किए बिना, "तर्कसंगत डोमेन" (Rationalitätsbereich) की अवधारणा का अंतर्निहित उपयोग करता है।
• प्रमाण पुनर्निर्माण: लेखक हर्टविज़ के 1909 के डायरी प्रमाण का पूर्ण, चरण-दर-चरण पुनर्निर्माण प्रदान करता है, जो यह दिखाता है कि उपक्षेत्रों और उपसमूहों के बीच पत्राचार को अपरिमेय बहुपद $G(v)$ और रिजोल्वेंट $V$ के गुणों से सीधे कैसे प्राप्त किया जाता है।
• शैक्षणिक अंतर्दृष्टि: विश्लेषण हर्टविज़ की शिक्षण शैली को प्रकट करता है: उन्होंने गैलुआ के कठिन मूल पाठ और आधुनिक समझ के बीच के अंतर को सावधानीपूर्वक प्रतिस्थापन तर्क को स्पष्ट करके भरा, जिससे उस समय के छात्रों के लिए अमूर्त अवधारणाओं को सुलभ बनाया।

5. महत्व

• गैलुआ की सुलभता: शोध पत्र तर्क देता है कि हर्टविज़ के व्याख्यान गैलुआ के मूल 1830 के Mémoire और बाद के व्याख्यानों के बीच एक "प्रकाशित सेतु" के रूप में कार्य करते हैं। आधुनिक पाठकों के लिए, हर्टविज़ का प्रतिस्थापन-आधारित दृष्टिकोण गैलुआ के मूल तर्क में प्रवेश करने के लिए अधिक सहज मार्ग प्रदान करता है, क्योंकि आधुनिक क्षेत्र-सैद्धांतिक प्रमाण अक्सर क्रमपरिवर्तन तर्क को अस्पष्ट कर देते हैं।
• ऐतिहासिक निरंतरता: यह 19वीं सदी के गणितीय विचारों की निरंतरता को उजागर करता है। भले ही डेडेकिंड क्षेत्र सिद्धांत को औपचारिक रूप दे रहे थे, हर्टविज़ जैसे अग्रणी गणितज्ञों ने प्रतिस्थापनों के माध्यम से गैलुआ सिद्धांत को पढ़ाना जारी रखा, जिससे सिद्धांत की मूल भावना सुरक्षित रही।
• गणितीय सौंदर्य: शोध पत्र हर्टविज़ के प्रमाण की "सूक्ष्म, संक्षिप्त और सुरुचिपूर्ण" प्रकृति पर जोर देता है। एक ठोस स्थिति (डिग्री 4) में प्रमेय को सिद्ध करके, जबकि सामान्य तर्क को बनाए रखा गया है, हर्टविज़ ने बीजगणितीय संरचना की ऐसी महारत प्रदर्शित की जो आज भी शैक्षणिक रूप से मूल्यवान है।
• अभिलेखागार का मूल्य: यह कार्य पहले से डिजिटल किए गए लेकिन कम विश्लेषित पांडुलिपियों को सामने लाता है, विशेष रूप से ETH ज्यूरिख अभिलेखों से हर्टविज़ की डायरी और व्याख्यान नोट्स, जो अमूर्त बीजगणक के विकास के ऐतिहासिक रिकॉर्ड को समृद्ध करते हैं।