An extension theory and semidirect sums for nearrings

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

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

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

शोध पत्र दिखाता है कि इस सुपर-नियररिंग को बनाने के लिए, आपको एक "फैक्टर सिस्टम" (factor system) की आवश्यकता होती है। इसे गुप्त निर्देशों या एक "गोंद रेसिपी" के रूप में कल्पना करें जो आपको यह बताती है कि A और B के तत्वों को मिलाते समय जोड़ और गुणा को कैसे संभालना है। लेखक एक नया निर्माण परिभाषित करते हैं जिसे "E-सम" (E-sum) कहा जाता है। यह यह कहने का एक फैंसी तरीका है कि "एक विशिष्ट सेट के नियमों के साथ बनाया गया योग।" शोध पत्र दो विशाल बातें सिद्ध करता है:

1. यदि आप इस E-सम रेसिपी के नियमों का पालन करते हैं (जिसमें छह विशिष्ट शर्तें शामिल हैं, जिन्हें G1, G2, A1, A2, D1 और D2 लेबल किया गया है), तो आप हमेशा एक वैध नियररिंग प्राप्त करेंगे।
2. इसके विपरीत, यदि आपके पास कोई भी नियररिंग है जो A को B के साथ विस्तारित करके बनाई गई है, तो यह गारंटी है कि वह इन E-sums में से एक के समकक्ष है। दूसरे शब्दों में, इन संरचनाओं को बनाने का कोई भी छिपा हुआ, गुप्त तरीका नहीं है जिसे यह रेसिपी कवर नहीं करती है।

शोध पत्र फिर एक विशेष, सरल मामले पर ध्यान केंद्रित करता है जिसे "सेमीडायरेक्ट सम" (semidirect sum) कहा जाता है। यह एक विशेष प्रकार के शहर जैसा है जहाँ एक पड़ोस (B) एक "स्प्लिट एपिमॉर्फिज्म" (split epimorphism) के रूप में कार्य करता है—यह कहने का एक फैंसी तरीका कि B को सुपर-नियररिंग से साफ़ तौर पर निकाला जा सकता है, जैसे कैबिनेट से बाहर निकलता हुआ एक दराज, जिससे बाकी का शहर (A) सुरक्षित रहता है। शोध पत्र यह प्रदर्शित करता है कि नियररिंग्स के क्षेत्र में मौजूद कई मौजूदा, जटिल निर्माण (जैसे कि अन्य गणितज्ञों द्वारा उपयोग किया जाने वाला "रीथ प्रोडक्ट") वास्तव में इस सेमीडायरेक्ट सम के विशेष संस्करण हैं। यह एक ही लेगो सेट के अलग-अलग रंगीन संस्करणों के रूप में अलग-अलग दिखने वाले खिलौनों को खोजने जैसा है।

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

महत्वपूर्ण रूप से, यह पत्र बहुत सटीक है कि यह क्या नहीं करता है। यह यह दावा नहीं करता है कि यह बीजगणित की हर समस्या को हल करता है, न ही यह सुझाव देता है कि ये नई संरचनाएं पुल बनाने या सॉफ्टवेयर कोडिंग के लिए उपयोगी हैं (कम से कम, इस शोध पत्र में नहीं)। यह एक शुद्ध गणितीय प्रमाण है। यह स्थापित करता है कि "E-sum" इन नियररिंग्स को संयोजित करने का सही और पूर्ण तरीका है। यह स्पष्ट रूप से इस विचार को खारिज करता है कि इन नियररिंग्स को मिलाने के कोई "ढीले अंत" या अपरिभाषित तरीके हो सकते हैं; यदि कोई संरचना मौजूद है, तो वह E-sum सांचे में फिट बैठती है। यह शोध पत्र अपने निष्कर्षों के प्रति आश्वस्त है, और इन्हें अनुमान या सिमुलेशन के बजाय सिद्ध प्रमेयों के रूप में प्रस्तुत करता है। यह एक ठोस, तार्किक आधार है जो कहता है, "यहाँ नक्शा है और यहाँ क्षेत्र है; वे पूरी तरह से मेल खाते हैं।"

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