On minimal noncommutative rings

एक ऐसी दुनिया की कल्पना करें जो संख्याओं और आकृतियों से बनी है, लेकिन सामान्य नियमों के बजाय जहाँ $3 \times 4$ वही है जो $4 \times 3$ है, वहाँ ऐसे विशेष क्षेत्र हैं जहाँ क्रम मायने रखता है। इस गणितीय परिदृश्य में, जिसे रिंग थ्योरी (ring theory) के रूप में जाना जाता है, अधिकांश संरचनाएं "क्रमविनिमेय" (commutative) होती हैं, जिसका अर्थ है कि संचालन का क्रम परिणाम को नहीं बदलता है। लेकिन कुछ संरचनाएं "गैर-क्रमविनिमेय" (noncommutative) होती हैं, जहाँ क्रम को बदलने से एक पूरी तरह से अलग परिणाम प्राप्त होता है। गणितज्ञ लंबे समय से उन नियमों के प्रति आकर्षित रहे हैं जो एक प्रणाली को व्यवस्थित (क्रमविनिमेय) होने के लिए मजबूर करते हैं। वे पूछते हैं: "यदि हम इन विशिष्ट नियमों को लागू करते हैं, तो क्या गैर-क्रमविनमेयता की अराजकता समाप्त हो जाती है?" इसका उत्तर देने के लिए, वे अराजकता के सबसे छोटे, सबसे जिद्दी उदाहरणों की तलाश करते हैं—ऐसे रिंग जो गैर-क्रमविनमेय हैं, फिर भी आप उनमें से जो भी हिस्सा काटते हैं या जो भी छाया वे डालते हैं, वह पूरी तरह से व्यवस्थित होती है। ये "न्यूनतम गैर-क्रमविनमेय रिंग" (minimal noncommutative rings) हैं, जो अंतिम विद्रोही हैं जो तब तक वश में होने से इनकार करते हैं जब तक कि आप पूरी चीज़ को एक साथ न देखें।

यह शोध पत्र, वी. वी. बावुला और एन. ब्लाचर द्वारा लिखा गया है, इन नन्हे, विद्रोही रिंग्स को खोजने और उनका वर्णन करने के लिए एक जासूसी अभियान चलाता है। लेखक दो मुख्य रहस्यों को हल करते हैं: पहला, वे इन रिंग्स के प्रत्येक संभावित परिमित (finite) संस्करण (वे जिनमें तत्वों की संख्या सीमित है) को सूचीबद्ध करना चाहते हैं, और दूसरा, वे जांच करते हैं कि क्या ऐसी रिंग का एक विशाल, अनंत संस्करण अस्तित्व में हो सकता है। वे इन विद्रोही रिंग्स के प्रत्येक संभव संस्करण को खोजने और उन्हें बनाने का तरीका दिखाने और यह सिद्ध करने के लिए कि अन्य कोई नहीं हैं, एक पूर्ण, तीन-भागों वाली फाइलिंग प्रणाली बनाने में सफल होते हैं। हालाँकि, जब वे अनंत की ओर देखते हैं, तो वे पाते हैं कि यदि ऐसा कोई 'मॉन्स्टर' मौजूद है, तो उसे एक "डिवीजन अलजेब्रा" (division algebra) होना होगा जिसमें अजीब, लगभग असंभव गुण होंगे जो कई प्रसिद्ध गणितीय अनुमानों को तोड़ देंगे। हालाँकि वे यह सिद्ध नहीं करते कि वह मौजूद नहीं है, वे सुझाव देते हैं कि यह इतना अजीब है कि यह संभवतः कभी अस्तित्व में नहीं होगा।

परिमित विद्रोहियों के तीन परिवार

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

परिवार 1: सरल त्रिकोण (The Simple Triangles)
पहला परिवार समझने में सबसे आसान है। संख्याओं से बने एक त्रिकोण की कल्पना करें जहाँ नीचे-बाएँ कोने में हमेशा शून्य (zero) होता है। इन्हें "अपर ट्राइएंगुलर मैट्रिसेस" (upper triangular matrices) कहा जाता है। यदि आप इन दोनों को गुणा करते हैं, तो क्रम मायने रखता है, लेकिन यदि आप इसके किसी भी छोटे हिस्से या सरलीकृत संस्करण को देखते हैं, तो क्रम मायने रखना बंद कर देता है। ये "अप" (Up) रिंग्स हैं, जो संख्याओं के एक सरल क्षेत्र (जैसे कि एक अभाज्य संख्या के मोड्यूलो पर अपनी उंगलियों पर गिनती करना) पर निर्मित हैं।

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

परिवार 3: पुनरावृत्त मूर्तिकार (The Iterative Sculptors)
तीसरा परिवार सबसे रहस्यमय और वर्णन करने में सबसे कठिन है। ये रिंग्स केवल साधारण मैट्रिक्स से नहीं बनी हैं; ये दो चरों, $x$ और $y$, से बने एक विशाल, अमूर्त रिंग के "होमोमोर्फिक इमेज" (homomorphic images) हैं जो एक-दूसरे के साथ तालमेल नहीं रखते हैं। एक विशाल, अराजक मिट्टी की मूर्ति की कल्पना करें। एक न्यूनतम गैर-क्रमविनमेय रिंग प्राप्त करने के लिए, आपको इस मूर्ति के टुकड़ों को तराशना होगा जब तक कि आप एक छोटे, पूर्ण विद्रोही के रूप में न रह जाएँ।
लेखक इन रिंग्स को खोजने के लिए एक चतुर, चरण-दर-चरण "मूर्तिकला प्रक्रिया" विकसित करते हैं।

1. शुरुआत करें उस विशाल, अराजक रिंग के साथ।
2. "एनीहिलेटर" (annihilator) खोजें (वे भाग जो कुछ संख्याओं के साथ गुणा करने पर समाप्त हो जाते हैं)।
3. अतिरिक्त हिस्सों को तराशें उन्हें "कम्यूटेटर" (commutator - वह हिस्सा जो अराजकता पैदा करता है) के विशिष्ट गुणों के बराबर बनाकर।
4. इस प्रक्रिया को तब तक दोहराते रहें जब तक कि आप गैर-क्रमविनमेय प्रकृति को नष्ट किए बिना और अधिक न तराश सकें।
   वे दिखाते हैं कि इस तीसरे परिवार का कोई भी रिंग इसी तरह बनाया जा सकता है, और केवल इसी तरह से बने रिंग ही इस परिवार के सदस्य हैं। वे उदाहरण भी प्रदान करते हैं जहाँ तराशने के नियम गैर-समरूप समीकरणों (non-homogeneous equations - विभिन्न आकार के पदों को मिलाना) से जुड़े होते हैं, जो यह सिद्ध करता है कि ये रिंग्स आश्चर्यजनक रूप से विचित्र हो सकती हैं।

अराजकता को व्यवस्था में बदलना

इस शोध पत्र का सबसे सुंदर कदम अराजक, गैर-क्रमविनमेय समस्या को शांत, क्रमविनमेय बीजगणित (commutative algebra) की भाषा में अनुवादित करना है। वे दिखाते हैं कि इन विद्रोही रिंग्स को खोजना वास्तव में एक क्रमविनमेय दुनिया में कुछ विशिष्ट "न्यूनतम जनरेटिंग पेयर्स" (minimal generating pairs) को खोजने के समान है।
इसे इस प्रकार सोचें: एक अराजक मशीन बनाने के बजाय, आप व्यवस्थित पुस्तकों के पुस्तकालय में एक बहुत ही विशिष्ट ब्लूप्रिंट (blueprint) की तलाश कर रहे हैं। शोध पत्र सिद्ध करता है कि यदि आपके पास एक ब्लूप्रिंट (एक आइडियल/ideal) और एक विशिष्ट नियम (एक छोटे क्षेत्र में मानचित्र) है जो कुछ सख्त शर्तों को पूरा करता है, तो आप तुरंत संगत अराजक रिंग बना सकते हैं। यह गणितज्ञों को गैर-क्रमविनमेय रिंगों के बारे में समस्याओं को हल करने के लिए अच्छी तरह से समझ में आने वाले क्रमविनमेय बीजगणित के उपकरणों का उपयोग करने की अनुमति देता है। वे यह भी दिखाते हैं कि इन रिंग्स के लिए, "सोक" (socle - संरचना की सबसे निचली परत) बहुत छोटी है, और संरचना में एक "कैंसिलेशन प्रॉपर्टी" (cancellation property) होती है जो इसे ढहने से बचाती है।

अनंत रहस्य

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

हालाँकि, लेखक सुझाव देते हैं कि यह अनंत डिवीजन अलजेब्रा एक "मॉन्स्टर" होगा जिसके गुण अत्यंत विचित्र होंगे:

• इसे अपने केंद्र (center - वह भाग जो सामान्य संख्याओं की तरह कार्य करता है) के ऊपर अनंत-आयामी (infinite-dimensional) होना होगा।
• इसमें केंद्र के अलावा कोई भी बीजगणितीय तत्व (algebraic elements) नहीं होंगे।
• प्रत्येक मैक्सिमल सबफील्ड (एक बड़ा व्यवस्थित हिस्सा) "स्व-अपरिवर्तनीय" (self-invariant) होगा, जिसका अर्थ है कि यह अविश्वसनीय रूप से कठोर और परिवर्तन के प्रति प्रतिरोधी है।

शोध पत्र इस निष्कर्ष पर पहुँचता है कि यद्यपि उन्होंने यह सिद्ध नहीं किया है कि ऐसा रिंग मौजूद नहीं है, लेकिन इसका अस्तित्व गणित के कई प्रसिद्ध, लंबे समय से चले आ रहे अनुमानों (जैसे कि मैकर-लिमानोव अनुमान/Makar-Limanov conjecture) का खंडन करेगा। यह इतना विकृत होगा कि यह डिवीजन रिंग थ्योरी की नींव को हिला देगा। इसलिए, लेखक इस बात पर जोर देते हैं कि ये अनंत विद्रोही संभवतः मौजूद नहीं हैं, लेकिन दरवाजा थोड़ा खुला है, जो किसी गणितज्ञ के इस मॉन्स्टर को खोजने या यह सिद्ध करने का इंतज़ार कर रहा है कि यह एक मिथक है।

संक्षेप में, शोध पत्र ने सफलतापूर्वक सभी परिमित विद्रोहियों को तीन व्यवस्थित श्रेणियों में वर्गीकृत किया है और उन्हें बनाने की विधि प्रदान की है। इसने यह भी दिखाया है कि यदि अनंत विद्रोही मौजूद है, तो वह इतनी अत्यधिक विचित्रता का प्राणी होगा कि उसका अस्तित्व गणितीय ब्रह्मांड के नियमों को फिर से लिख देगा।