🔢 mathematics

Lattices and semilattices derived from commutative rings of characteristic 2 satisfying the identity $x^{2^n}\approx x$

यह शोध पत्र यह स्थापित करता है कि विशेषता 2 वाले क्रमविनिमेय वलय (commutative rings), जो $x^{2^n} \approx x$ की पहचान को संतुष्ट करते हैं, संबंध $xy=x^2$ के अंतर्गत स्वाभाविक रूप से मीट-सेमीलैटिस (meet-semilattices) बनाते हैं, और आगे उन वलयों के लिए बूलीयन बीजगणित (Boolean algebras) का गठन करते हैं जब वे एकियुक्त (unitary) होते हैं।

मूल लेखक: Ivan Chajda, Miroslav Kolařík, Helmut Länger

प्रकाशित 2026-07-09

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

CC BY 4.0

मूल लेखक: Ivan Chajda, Miroslav Kolařík, Helmut Länger

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

कल्पना कीजिए कि आपके पास एक बहुत ही विशेष प्रकार का कैलकुलेटर है। इस कागज की दुनिया में, यह कैलकुलेटर केवल सामान्य गणित नहीं करता है; यह एक ऐसे ब्रह्मांड में रहता है जहाँ किसी संख्या को खुद में जोड़ने पर हमेशा शून्य प्राप्त होता है। यदि आपके पास एक कप कॉफी है और आप उसमें एक और कप कॉफी जोड़ते हैं, तो आपको दो कप नहीं मिलते; आपको कुछ भी नहीं मिलता (क्योंकि इस गणितीय दुनिया में, $1 + 1 = 0$ )। इसे "कैरक्टेरिस्टिक 2 का रिंग" (ring of characteristic 2) कहा जाता है।

इसके अलावा, इस कैलकुलेटर के पास एक जादुई नियम है: यदि आप किसी संख्या को पर्याप्त बार (विशेष रूप से $2^n$ बार, जहाँ $n$ एक पूर्ण संख्या है) खुद से गुणा करते हैं, तो वह जादुई रूप से वापस मूल संख्या बन जाती है। यह एक घड़ी की तरह है जो 12 घंटे के बाद रीसेट होने के बजाय, एक विशिष्ट, बहुत बड़ी संख्या के घंटों के बाद रीसेट होती है, लेकिन नियम यह है कि इतने कई चक्करों के बाद वह संख्या अपने स्वयं के प्रतिबिंब के रूप में वापस आती है।

इस शोध पत्र के लेखकों, इवान चाजदा (Ivan Chajda), मिर्सोस्लाव कोलरिक (Miroslav Kolařík), और हेल्मुट लैंगर (Helmut Langer) ने एक बड़ा सवाल पूछा: क्या हम इस अजीब, अमूर्त कैलकुलेटर को एक तार्किक प्रणाली (logical system) में बदल सकते हैं जिसे हम समझ सकें, जैसे कि सत्य/असत्य (true/false) स्विच का एक सेट?

यहाँ उनकी खोज का विवरण, सरल उपमाओं का उपयोग करते हुए दिया गया है:

1. "मीट" (The Meet - साझा आधार)

सबसे पहले, लेखकों ने देखा कि ये संख्याएँ एक-दूसरे से कैसे संबंधित हैं। उन्होंने एक संबंध को परिभाषित किया जिसे "कम या बराबर है" ( $\le$ ) कहा जाता है। सामान्य जीवन में, हम कहते हैं कि 2, 4 से कम है। इस गणितीय दुनिया में, वे कहते हैं कि $A, B$ से "कम" है यदि उन्हें आपस में गुणा करने पर $A$ का वर्ग प्राप्त होता है।

उन्होंने पाया कि यदि आप इस कैलकुलेटर की सभी संख्याओं को इस नियम के आधार पर व्यवस्थित करते हैं, तो वे एक मीट-सेमीलैटिस (meet-semilattice) नामक संरचना बनाते हैं।

उपमा: एक वंशावली (family tree) की कल्पना करें जहाँ हर कोई अपने "साझा पूर्वज" को खोजने की कोशिश कर रहा है। यदि आप दो लोगों को लेते हैं, तो हमेशा एक विशिष्ट व्यक्ति होता है जो उन दोनों का "सबसे बड़ा साझा पूर्वज" होता है। इस गणितीय दुनिया में, "मीट" ऑपरेशन ( $\wedge$ ) वही साझा पूर्वज है। यह किन्हीं भी दो संख्याओं के बीच का "न्यूनतम साझा आधार" (lowest common denominator) खोजता है।
परिणाम: उन्होंने सिद्ध किया कि इस प्रणाली में किन्हीं भी दो संख्याओं को चुनने पर, आप हमेशा इस "साझा आधार" को पा सकते हैं, और एक "बॉटम" (bottom) संख्या (शून्य) है जो सभी की पूर्वज है।

2. "बुलियन" रूपांतरण (The Boolean Transformation - लाइट स्विच)

असली जादू तब होता है जब कैलकुलेटर के पास एक "1" (एक इकाई) होता है। लेखकों ने दिखाया कि यदि वे इस प्रणाली में कुछ अतिरिक्त उपकरण जोड़ देते हैं, तो वे इसे एक बुलियन अलजेब्रा (Boolean Algebra) में बदल सकते हैं।

बुलियन अलजेब्रा क्या है? एक लाइट स्विच के बारे में सोचें। यह चालू (1) या बन्द (0) हो सकता है। आप स्विचों को मिला सकते हैं: "AND" (दोनों चालू होने चाहिए), "OR" (कम से कम एक चालू होना चाहिए), और "NOT" (स्विच को पलट दें)। यह सभी कंप्यूटर लॉजिक का आधार है।
खोज: लेखकों ने पाया कि इस अजीब कैलकुलेटर के बुनियादी गणितीय ऑपरेशनों का उपयोग करके इन "AND" और "OR" स्विचों को बनाने का एक विशिष्ट नुस्खा (फॉर्मूला) मौजूद है।
- उन्होंने घातों के एक जटिल योग का उपयोग करके एक नया "AND" बटन ( $\wedge$ ) बनाया।
- उन्होंने दो संख्याओं और उनके "AND" परिणाम को जोड़कर एक "OR" बटन ( $\vee$ ) बनाया।
- उन्होंने एक "NOT" बटन ( $'$ ) बनाया जो केवल संख्या में 1 जोड़ने से बनता है (जिसे याद रखें, यह उसे उलट देता है क्योंकि $1+1=0$ )।

बड़ा दावा: यदि आपके पास एक ऐसा कैलकुलेटर है जो "खुद में जोड़ने पर शून्य" और "खुद को $2^n$ बार गुणा करने पर वापस मिलना" के नियम का पालन करता है, तो आप स्वचालित रूप से एक पूर्ण तर्क प्रणाली (Boolean Algebra) बना सकते हैं।

3. यह आश्चर्यजनक क्यों है?

इस शोध पत्र से पहले, गणितज्ञों को पता था कि यह सरल मामलों में काम करता है:

यदि नियम $x^2 = x$ था (खुद से एक बार गुणा करने पर वापस मिलना), तो यह एक ज्ञात बुलियन रिंग था।
यदि नियम $x^4 = x$ था, तो यह भी ज्ञात था कि यह काम करता है।

लेकिन क्या होगा यदि नियम $x^8 = x$ , या $x^{16} = x$ , या $x^{1024} = x$ हो?
लेखकों ने सिद्ध किया कि यह मायने नहीं रखता कि संख्या कितनी बड़ी है, जब तक कि वह 2 की घात ( $2^n$ ) है। आप हमेशा लॉजिक स्विच बना सकते हैं। उन्होंने एक ऐसे नियम का सामान्यीकरण किया जो पहले केवल छोटी संख्याओं के लिए ज्ञात था, इसे किसी भी $2^n$ की घात के लिए लागू कर दिया।

4. उन्होंने यह कैसे किया (द "ट्रेस" ट्रिक)

इन जटिल संख्याओं के लिए "AND" स्विच बनाने के लिए, उन्होंने परिमित क्षेत्रों (finite fields - जैसे कि संख्याओं का एक बहुत छोटा, बंद ब्रह्मांड) के अध्ययन की एक अवधारणा का उपयोग किया। उन्होंने "ट्रेस" (Trace) नामक एक अवधारणा का उपयोग किया, जो एक विशेष स्कैनर की तरह है जो किसी संख्या को देखता है और आपको बताता है कि उसमें कुछ गुण (0 या 1) हैं या नहीं।

उन्होंने इस स्कैनर का उपयोग करके संख्याओं को एक विशिष्ट तरीके से मिलाने के लिए किया ताकि "AND" ऑपरेशन बनाया जा सके। उन्होंने दिखाया कि यह ऑपरेशन:

क्रमविनिमेय (Commutative) है: क्रम मायने नहीं रखता ( $A$ AND $B$ वही है जो $B$ AND $A$ है)।
साहचर्य (Associative) है: समूह बनाना मायने नहीं रखता ( $(A$ AND $B)$ AND $C$ वही है जो $A$ AND $(B$ AND $C)$ है)।
वितरणात्मक (Distributive) है: यह जोड़ (addition) के साथ तालमेल बिठाकर चलता है।

5. "रेसिपी बुक" (उदाहरण)

शोध पत्र एक कुकबुक के साथ समाप्त होता है। वे दिखाते हैं कि इन विशिष्ट आकारों के कैलकुलेटर के लिए "AND" स्विच के फॉर्मूले को ठीक से कैसे लिखा जाए:

4-संख्या प्रणाली ( $n=2$ ) के लिए, फॉर्मूला एक चीज़ है।
8-संख्या प्रणाली ( $n=3$ ) के लिए, फॉर्मूला लंबा हो जाता है।
32-संख्या प्रणाली ( $n=5$ ) के लिए, फॉर्मूला काफी लंबा है, लेकिन उन्होंने इसे पूरी तरह से लिखा है।

सारांश

सरल शब्दों में, यह शोध पत्र कहता है: "यदि आपके पास एक ऐसी गणितीय प्रणाली है जहाँ संख्याएँ जुड़ने पर खुद को रद्द कर देती हैं और पर्याप्त बार गुणा करने पर खुद को दोहराती हैं, तो आप इसके भीतर एक पूर्ण कंप्यूटर लॉजिक सिस्टम गुप्त रूप से बना सकते हैं।"

उन्होंने केवल यह नहीं कहा कि यह संभव है; उन्होंने इस प्रणाली के किसी भी आकार के लिए लॉजिक गेट्स (AND, OR, NOT) बनाने के सटीक ब्लूप्रिंट (फॉर्मूले) भी दिए। यह बीजगणित (rings) की अमूर्त दुनिया को सीधे कंप्यूटर विज्ञान (Boolean algebras) की तार्किक दुनिया से इस तरह जोड़ता है जो संख्याओं के बहुत बड़े दायरे में काम करता है जैसा कि हम पहले जानते थे।

तकनीकी सारांश: विशेषता 2 वाले क्रमविनिमेय वलयों (Commutative Rings) से व्युत्पन्न लैटिस और सेमीलैटिस

समस्या विवरण
यह शोध पत्र विशेषता 2 वाले उन क्रमविनिमेय वलयों (commutative rings) के बीजगणितीय संबंध को संबोधित करता है जो बहुपद पहचान (polynomial identity) $x^{2^n} \approx x$ को संतुष्ट करते हैं। चूँकि यह एक शास्त्रीय परिणाम है (बूल, बिर्कहॉफ) कि यूनिटरी बूलियन वलय (जो $x^2 \approx x$ को संतुष्ट करते हैं) बूलियन बीजगणित के समतुल्य हैं, और वे वलय भी $x^4 \approx x$ को संतुष्ट करते हुए बूलियन बीजगणित प्रदान करते हैं, इसलिए किसी भी धनात्मक पूर्णांक $n$ के लिए $x^{2^n} \approx x$ को संतुष्ट करने वाले वलयों के लिए यह सामान्यीकरण एक खुला प्रश्न बना हुआ था। लेखक यह निर्धारित करने का लक्ष्य रखते हैं कि क्या ऐसे वलय विशिष्ट पद संक्रियाओं (term operations) के माध्यम से स्वाभाविक रूप से एक मीट-सेमीलैटिस (meet-semilattice) संरचना और, यदि यूनिटरी हों, तो एक पूर्ण बूलियन बीजगणित संरचना को प्रेरित करते हैं।

कार्यप्रणाली
लेखक एक रचनात्मक बीजगणितीय दृष्टिकोण अपनाते हैं, जिसमें वे इन वलयों पर नई बाइनरी टर्म ऑपरेशन्स (binary term operations) को परिभाषित करते हैं और सेमीलैटिस तथा बूलियन बीजगणित के अभिगृमों (axioms) के विरुद्ध उनके गुणों को सत्यापित करते हैं।

सेमीलैटिस निर्माण (गैर-यूनिटरी मामला):
एक विशेषता 2 वाले क्रमविनिमेय वलय $R$ के लिए जो $x^{2^n} \approx x$ (जहाँ $q = 2^n$ ) को संतुष्ट करता है, लेखक एक बाइनरी ऑपरेशन $\wedge$ को इस प्रकार परिभाषित करते हैं:
$x \wedge y := \sum_{i=1}^{q-1} x^i y^{q-i}$
वे इंडक्शन (induction) और विशेषता 2 के गुणों (विशेष रूप से $(x+y)^{2^k} = x^{2^k} + y^{2^k}$ ) का उपयोग करके यह सिद्ध करते हैं कि यह ऑपरेशन आइडम्पोटेंट (idempotent), कम्यूटेटिव (commutative) और एसोसिएटिव (associative) है। वे आगे यह स्थापित करते हैं कि प्रेरित क्रम (induced order) $x \leq y \iff xy = x^2$ के तहत $(R, \wedge)$ एक मीट-सेमीलैटिस है जिसका सबसे छोटा तत्व 0 है।
बूलियन बीजगणित निर्माण (यूनिटरी मामला):
बूलियन बीजगणित प्राप्त करने के लिए, ऊपर परिभाषित $\wedge$ ऑपरेशन अपर्याप्त है क्योंकि ऐसी वलयों की श्रेणी (variety) में यह सामान्यतः योग (addition) के संबंध में वितरणात्मक (distributive) नहीं होता है। लेखक पहले अपने विश्लेषण को परिमित क्षेत्र (finite field) $\mathbb{F}_q$ तक सीमित करते हैं।

वे नॉर्मल बेसिस थ्योरम (Normal Basis Theorem) और ट्रेस फंक्शन (trace function - $\text{Tr}$ ) की अवधारणा का उपयोग करके $\mathbb{F}_q$ पर एक नया, वितरणात्मक बाइनरी टर्म ऑपरेशन $\wedge$ निर्मित करते हैं। यह ऑपरेशन ड्युअल नॉर्मल बेसिस $\{\alpha_i\}$ और $\{\beta_i\}$ का उपयोग करके परिभाषित किया जाता है:
$x \wedge y := \sum_{i,j=0}^{n-1} \text{Tr}(\alpha \beta_i \beta_j) x^{2^i} y^{2^j}$
वे सिद्ध करते हैं कि $\mathbb{F}_q$ पर, यह ऑपरेशन आइडम्पोटेंट, कम्यूटेटिव, एसोसिएटिव और योग पर वितरणात्मक है, तथा $x \wedge 1 = x$ को संतुष्ट करता है।
प्रमेय 2.1 का उपयोग करते हुए, वे जॉइन (join) ऑपरेशन को $x \vee y := x + y + (x \wedge y)$ और कॉम्प्लीमेंट (complement) को $x' := x + 1$ के रूप में परिभाषित करते हैं।

स्वैच्छिक वलयों तक सामान्यीकरण:
लेखक इस परिणाम का आह्वान करते हैं कि $x^{2^n} \approx x$ को संतुष्ट करने वाले विशेषता 2 के यूनिटरी क्रमविनिमेय वलयों की श्रेणी (variety) $V_n$ को परिमित क्षेत्र $\mathbb{F}_{2^n}$ द्वारा जनरेट (generate) किया जाता है (विशेष रूप से, $V_n = SP(\{\mathbb{F}_{2^n}\})$ )। चूंकि क्षेत्र के लिए व्युत्पन्न टर्म ऑपरेशन्स सब-अल्जेब्रा और डायरेक्ट प्रोडक्ट के अंतर्गत संरक्षित रहते हैं, इसलिए बूलियन बीजगणित की संरचना $V_n$ के किसी भी वलय तक विस्तृत होती है।

मुख्य योगदान और परिणाम

सेमीलैटिस व्युत्पत्ति: यह शोध पत्र सिद्ध करता है कि विशेषता 2 वाला कोई भी क्रमविनिमेय वलय (यूनिटरी या नहीं) जो $x^{2^n} \approx x$ को संतुष्ट करता है, $x \wedge y = \sum_{i=1}^{2^n-1} x^i y^{2^n-i}$ ऑपरेशन के तहत एक मीट-सेमीलैटिस बनाता है। प्रेरित क्रम $x \leq y \iff xy = x^2$ है।
बूलियन बीजगणित व्युत्पत्ति: इस वर्ग के यूनिटरी वलयों के लिए, लेखक एक विशिष्ट टर्म ऑपरेशन $\wedge$ (ट्रेस और नॉर्मल बेसिस पर आधारित) का निर्माण करते हैं, जो $x \vee y = x + y + (x \wedge y)$ और $x' = x + 1$ के साथ मिलकर एक बूलियन बीजगणित बनाता है।
स्पष्ट सूत्र (Explicit Formulas): शोध पत्र छोटे मानों के लिए $n$ ( $n=1$ से $n=5$ ) के लिए $\wedge$ ऑपरेशन के स्पष्ट बहुपद सूत्र प्रदान करता है, जो $n$ बढ़ने के साथ पदों की जटिलता को प्रदर्शित करता है। उदाहरण के लिए, $n=2$ के लिए (वलय जो $x^4 \approx x$ को संतुष्ट करते हैं), ऑपरेशन $x \wedge y = xy^2 + x^2y + x^2y^2$ है।
वैरियटी जनरेशन: शोध पत्र यह स्थापित करता है कि श्रेणी $V_n$ को एकल परिमित क्षेत्र $\mathbb{F}_{2^n}$ द्वारा जनरेट किया जाता है, जो सामान्य वलयों तक क्षेत्र-आधारित निर्माण को विस्तारित करने के लिए महत्वपूर्ण है।

महत्व और दावे
यह शोध पत्र चाजडा और कोलरिक (जिन्होंने $n=3, 4$ के मामलों का उपचार किया) और बूल एवं बिर्कहॉफ (मामला $n=1$ ) और अन्य (मामला $n=2$ ) के पिछले कार्यों को किसी भी धनात्मक पूर्णांक $n$ के मामले में सामान्यीकृत करने का दावा करता है।

लेखक कहते हैं कि उनका प्राथमिक योगदान यह सिद्ध करना है कि यूनिटरी वलय जो $x^{2^n} \approx x$ को संतुष्ट करते हैं और बूलियन बीजगणित के बीच का पत्राचार सभी $n$ के लिए मान्य है, बशर्ते कि सही टर्म ऑपरेशन्स व्युत्पन्न किए जाएं। वे नोट करते हैं कि जहाँ सेमीलैटिस संरचना एक सरल योग सूत्र से व्युत्पन्न होती है, वहीं वितरणात्मक लैटिस (बूलियन) संरचना के लिए ट्रेस फंक्शन और नॉर्मल बेसिस को शामिल करने वाले अधिक परिष्कृत निर्माण की आवश्यकता होती है, जिसे वे स्पष्ट रूप से प्रदान करते हैं। शोध पत्र $n=5$ (वलय जो $x^{32} \approx x$ को संतुष्ट करते हैं) के लिए नए स्पष्ट टर्म ऑपरेशन्स प्रस्तुत करने के साथ समाप्त होता है, जिन्हें पहले साहित्य में विस्तृत रूप से नहीं बताया गया था।