Problems and results on intersections of product sets and sumsets in semigroups

तकनीकी सारांश: अर्धसमूहों (Semigroups) में उत्पाद समुच्चयों और योग-समुच्चयों के प्रतिच्छेदन पर समस्याएँ और परिणाम

लेखक: मेलविन बी. नाथनसन (Melvyn B. Nathanson)
दिनांक: अप्रैल 7, 2026 (प्रीप्रिंट)
क्षेत्र: योगात्मक और संयोजन संख्या सिद्धांत (Additive and Combinatorial Number Theory), अर्धसमूह सिद्धांत (Semigroup Theory)

1. समस्या विवरण और प्रेरणा

यह शोध पत्र प्रतिच्छेदन ऑपरेशनों के तहत उत्पाद समुच्चयों (गुणात्मक अर्धसमूहों में) और योग-समुच्चयों (योगात्मक अर्धसमूहों में) के व्यवहार की जांच करता है। विशेष रूप से, एक अर्धसमूह $S$ के उपसमुच्चयों $(A_q)_{q \in Q}$ के परिवार के लिए, यदि $A = \bigcap_{q \in Q} A_q$ है, तो मूल प्रश्न यह है: किन धनात्मक पूर्णांकों $h$ के लिए समानता $A^h = \bigcap_{q \in Q} A_q^h$ सत्य होती है?

• परिभाषाएँ:

  • $A^h$ (या योगात्मक संकेतन में $hA$)$A$के$h$ तत्वों के सभी उत्पादों (या योगों) का समुच्चय है।
  • उत्पाद प्रतिच्छेदन समुच्चय (या योग प्रतिच्छेदन समुच्चय) को इस प्रकार परिभाषित किया गया है:
    $$H(A_q) = \{ h \in \mathbb{N} : A^h = \bigcap_{q \in Q} A_q^h \}$$
  • यह सदैव सत्य है कि $A^h \subseteq \bigcap_{q \in Q} A_q^h$। यह शोध पत्र उन $H(A_q)$ के समुच्चयों के लक्षण वर्णन की खोज करता है जहाँ समानता बनी रहती है।

• मुख्य समस्याएँ:

  1. विशिष्ट परिवारों के लिए $H(A_q)$ की गणना करना।
  2. किसी दिए गए अर्धसमूह $S$ के लिए सभी संभावित प्रतिच्छेदन समुच्चयों $H_Q(S)$ का निर्धारण करना।
  3. सभी अर्धसमूहों में प्रतिच्छेदन गुणों के "मास्टर सेट्स" (Master sets) की पहचान करना।
  4. यह जांचना कि क्या पूर्णांकों के ऐसे सेट $X$ (जिसमें 1 शामिल हो) मौजूद हैं जिन्हें किसी भी अर्धसमूह के लिए प्रतिच्छेदन सेट के रूप में प्राप्त नहीं किया जा सकता है।

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

यह शोध पत्र संयोजन समुच्चय सिद्धांत (Combinatorial set theory), प्रतिनिधित्व फलनों (Representation functions), और बीजगणितीय संरचनाओं (समूह, मॉड्यूल, अर्धसमूह) के संयोजन का उपयोग करता है।

• प्रतिनिधित्व फलन: लेखक $h$-गुना प्रतिनिधित्व फलन $r_{A,h}(x)$ का उपयोग करता है, जो $x$ को $A$ के $h$ तत्वों के उत्पाद/योग के रूप में लिखने के तरीकों की संख्या गिनता है। एक मुख्य लेम्मा स्थापित करता है कि यदि सभी $x$ के लिए $r_{A_1, h}(x)$ परिमित है, तो प्रतिच्छेदन समानता उस $h$ के लिए सत्य होती है।
• प्रति-उदाहरणों (Counterexamples) का निर्माण: यह शोध पत्र उपसमुच्चयों के स्पष्ट अनुक्रमों (अक्सर पूर्णांकों के "पूंछ" (tails), लैटिस, या कोसेट्स का उपयोग करके) का निर्माण करता है ताकि उन मामलों को प्रदर्शित किया जा सके जहाँ प्रतिच्छेदन समानता विफल हो जाती है ($H(A_q) = \{1\}$) या $\mathbb{N}$ के विशिष्ट उपसमुच्चयों के लिए सत्य होती है।
• होमोमोर्फिज्म और मॉड्यूल: अध्ययन विभिन्न समूहों के प्रतिच्छेदन सेट्स को जोड़ने के लिए अधिसमत (Surjective) समूह होमोमोर्फिज्म का उपयोग करता है, और स्केलिंग एवं अनुवाद (Translation) के तहत प्रतिच्छेदन सेट्स की अपरिवर्तनीयता दिखाने के लिए $R$-मॉड्यूल रूपांतरणों (Affine transformations) का उपयोग करता है।
• उत्पाद अर्धसमूह (Product Semigroups): यह शोध पत्र यह सिद्ध करता है कि प्रतिच्छेदन सेट्स का वर्ग उत्पाद अर्धसमूहों $S_1 \times S_2$ के निर्माण द्वारा प्रतिच्छेदन के अंतर्गत बंद (Closed) है।

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

A. सामान्य सैद्धांतिक परिणाम

• प्रमेय 2 (परिमितता की स्थिति): यदि सभी $x \in A_1$ के लिए प्रतिनिधित्व फलन $r_{A_1, h}(x)$ परिमित है, तो $h \in H(A_q)$। यदि यह सभी $h$ के लिए सत्य है, तो $H(A_q) = \mathbb{N}$।
• प्रमेय 3: उन अर्धसमूहों के लिए जहाँ प्रतिनिधित्व फलन सदैव परिमित होते हैं (जैसे, गुणात्मक $\mathbb{Z}^*$, योगात्मक $\mathbb{N}_0^d$), प्रतिच्छेदन सेट सदैव $\mathbb{N}$ होता है।
• प्रमेय 14 (प्रतिच्छेदन के अंतर्गत समाकलितता): सभी अर्धसमूहों में संभावित प्रतिच्छेदन सेट्स का संग्रह सेट प्रतिच्छेदन के अंतर्गत बंद है। यदि $X_1$ और $X_2$ वैध प्रतिच्छेदन सेट हैं, तो $X_1 \cap X_2$ भी एक वैध प्रतिच्छेदन सेट है।

B. $\mathbb{Z}$ और $\mathbb{Q}$ में विशिष्ट निर्माण

• प्रमेय 4 ("गैप" घटना): योगात्मक समूह $\mathbb{Z}$ में, ऐसे अनुक्रम मौजूद हैं जहाँ $H(A_q) = \{1\}$ होता है। विशेष रूप से, यदि $A_q = A \cup \{r : |r| \ge q\}$ है, तो $hA \neq \bigcap hA_q$ होगा जब तक कि $A$, क्रम $h$ का एक आधार (Basis) न हो।
  • यदि $A$, सटीक क्रम $h_0$ का एक आधार है, तो $H(A_q) = \{1\} \cup \{h \ge h_0\}$।
  • यदि $A$ एक गैर-आधार (Non-basis) है, तो $H(A_q) = \{1\}$।
• प्रमेय 5 और 6 (परिमेय और वास्तविक संख्याएँ): यह शोध पत्र धनात्मक परिमेय संख्याओं और वास्तविक संख्याओं (खुले अंतराल का उपयोग करके) के अनुक्रमों का निर्माण करता है जहाँ $H(A_q) = \{1\}$ होता है, यह प्रदर्शित करते हुए कि "गैप" घटना केवल पूर्णांकों तक सीमित नहीं है।
• प्रमेय 11 और 12 (परिमित सेट): पूर्णांकों या लैटिस बिंदुओं के किसी भी परिमित सेट $A$ के लिए, एक अनुक्रम $(A_q)$ मौजूद है जहाँ $H(A_q) = \mathbb{N}$ है। यह अनंत सेट निर्माणों के विपरीत है जहाँ $H(A_q) = \{1\}$ होता है।

C. समूह सिद्धांत के परिणाम

• प्रमेय 7: किसी भी अनंत समूह में, जिसमें एक अनंत उचित उपसमूह (Infinite proper subgroup) होता है, एक ऐसा अनुक्रम मौजूद है जहाँ $H(A_q) = \{1\}$।
• प्रमेय 8 (होमोमोर्फिज्म अपरिवर्तनीयता): यदि एक अधिसमत होमोमोर्फिज्म $f: G \to G'$ है, तो $H_Q(G') \subseteq H_Q(G)$। यह सरल समूहों से अधिक जटिल समूहों में परिणामों को स्थानांतरित करने की अनुमति देता है।
• प्रमेय 9 और 10: अनंत समूहों के लिए, यदि $A_q$ को-फाइनाइट (Co-finite) सेट हैं, तो $H(A_q) = \{1\} \cup \{h : A^h = G\}$।
• प्रमेय 13: किसी गणनीय अनंत समूह के किसी भी परिमित उपसमुच्चय $A$ के लिए, एक अनुक्रम मौजूद है जहाँ $H(A_q) = \{1\}$।

D. संरचनात्मक गुण

• एफाइन रूपांतरणों के तहत समतुल्यता (प्रमेय 15): यदि दो समुच्चयों के परिवार एक $R$-मॉड्यूल में एफाइन रूपांतरण ($A'_q = \epsilon A_q + t$) द्वारा संबंधित हैं, तो वे समान प्रतिच्छेदन सेट $H(A_q) = H(A'_q)$ साझा करते हैं।

4. महत्व

यह शोध पत्र एक ढांचा प्रदान करता है कि कैसे बीजगणितीय संक्रियाएं (योग/गुणन) और समुच्चय-सैद्धांतिक सीमाएं (प्रतिच्छेदन) आपस में क्रिया करती हैं।

1. क्षेत्रों को जोड़ना: यह योगात्मक संख्या सिद्धांत (योग-समुच्चय) को अर्धसमूह सिद्धांत और संयोजन विज्ञान से जोड़ता है, जिससे योग-समुच्चयों की प्रतिच्छेदन के तहत "स्थिरता" का विश्लेषण करने के उपकरण मिलते हैं।
2. "बुरे" सेट्स का लक्षण वर्णन: यह उन विशिष्ट स्थितियों (जैसे अनंत टोरशन समूह या $\mathbb{Z}$ में विशिष्ट निर्माण) की पहचान करता है जहाँ स्वाभाविक समावेशन $A^h \subseteq \bigcap A_q^h$ सभी $h \ge 2$ के लिए एक सख्त असमानता बन जाता है।
3. खुले प्रश्न: यह महत्वपूर्ण खुले प्रश्नों को रेखांकित करता है, जैसे:
   • क्या कोई सेट $X$ मौजूद है जिसमें 1 शामिल है और जो किसी भी अर्धसमूह के लिए प्रतिच्छेदन सेट के रूप में कभी नहीं पाया जा सकता?
   • क्या प्रतिच्छेदन सेट्स का वर्ग संघ (Union) के अंतर्गत बंद है?
   • अनंत टोरशन समूहों (जैसे टार्स्की मॉन्स्टर्स) में प्रतिच्छेदन सेट्स की संरचना क्या है?

5. निष्कर्ष

नाथनसन का कार्य यह प्रदर्शित करता है कि समानता $A^h = \bigcap A_q^h$ अंतर्निहित अर्धसमूह की अंकगणितीय संरचना और $A_q$ के विशिष्ट स्वरूप के प्रति अत्यधिक संवेदनशील है। जबकि "अच्छे" ढांचे (जैसे परिमित सेट या गैर-ऋणात्मक लैटिस) समानता को बनाए रखते हैं ($H=\mathbb{N}$), "अराजक" ढांचे (विशिष्ट उपसमूह गुणों वाले अनंत समूह या अनियंत्रित अंतराल वाले सेट) प्रतिच्छेदन सेट को तुच्छ ($H=\{1\}$) बना सकते हैं या जटिल अंकगणितीय पैटर्न प्रदर्शित कर सकते हैं। यह शोध पत्र इन प्रतिच्छेदन सेट्स का पहला व्यवस्थित वर्गीकरण स्थापित करता है और संयोजन संख्या सिद्धांत में अनुसंधान के नए मार्ग खोलता है।