The ν-Prime Ideal Sum Graph of a Nearring

तकनीकी सारांश: एक नियररिंग का $\nu$-प्राइम आइडियल सम ग्राफ

समस्या विवरण
यह शोध पत्र नियररिंग्स के बीजगणितीय और संयोजन संबंधी गुणों के बीच अंतःक्रिया का अध्ययन करने की आवश्यकता को संबोधित करता है। जबकि रिंग थ्योरी में जीरो-डिवाइज़र ग्राफ और आइडियल-आधारित ग्राफ का व्यापक रूप से अध्ययन किया गया है, नियररिंग्स में आइडियल संरचना अधिक सूक्ष्म है, जिसमें प्राइमनैस (0-प्राइम, 3-प्राइम, c-प्राइम, और इक्विप्राइम) की विशिष्ट अवधारणाएं मौजूद हैं। मौजूदा साहित्य ने जीरो-डिवाइज़र ग्राफ और विशिष्ट प्राइम आइडियल्स पर आधारित ग्राफों का अन्वेषण किया है, लेकिन प्राइमनैस की विभिन्न स्थितियों के सापेक्ष आइडियल्स के योग का विश्लेषण करने के लिए एक एकीकृत ढांचे का अभाव था। लेखक एक नियररिंग $N$ के लिए $\nu$-प्राइम आइडियल सम ग्राफ ($\nu$-PSG($N$)) को परिभाषित और अभिलक्षणित करने का लक्ष्य रखते हैं, जहाँ $\nu \in \{0, 3, c, e\}$ है।

कार्यप्रणाली
लेखक $\nu$-PSG($N$) को एक ग्राफ के रूप में परिभाषित करते हैं जहाँ:

• शीर्ष (Vertices): नियररिंग $N$ के सभी उचित, गैर-तुच्छ (proper, non-trivial) आइडियल्स का सेट।
• निकटता (Adjacency): दो भिन्न शीर्ष (आइडियल्स) $I$ और $J$ तब तक आसन्न (adjacent) होते हैं जब तक कि उनका योग $I + J$ $N$ का एक उचित $\nu$-प्राइम आइडियल हो।

कार्यप्रणाली इन ग्राफों के मूलभूत संरचनात्मक गुणों को स्थापित करने में शामिल है। लेखक कनेक्टिविटी के लिए आवश्यक और पर्याप्त शर्तें व्युत्पन्न करते हैं और मानक ग्राफ इनवेरिएंट्स, जिनमें क्लिक संख्या ($\omega$), व्यास (diameter), घेरा (girth), और डोमिनेशन संख्या ($\gamma$) शामिल हैं, की गणना या सीमा निर्धारित करते हैं। विश्लेषण नियररिंग्स के बीजगणितीय गुणों पर निर्भर करता है, जैसे कि मैक्सिमल आइडियल्स का अस्तित्व, होमॉर्मोर्फिज्म के तहत आइडियल्स का व्यवहार, और विशिष्ट नियररिंग गुण जैसे कि 'आइडेंटिटी फॉर प्रोडक्ट्स' (IFP) और राइट परम्यूटेबिलिटी (right permutability)। सैद्धांतिक परिणामों को समझाने के लिए $\mathbb{Z}_2^3$ और डायहेड्रल ग्रुप $D_8$ जैसे सेट्स पर परिभाषित नियररिंग्स का उपयोग करके विशिष्ट उदाहरणों का अध्ययन किया गया है।

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

1. परिभाषा और बुनियादी गुण:
   लेखक $\nu \in \{0, 3, c, e\}$ के लिए $\nu$-PSG($N$) को औपचारिक रूप से प्रस्तुत करते हैं। यह स्थापित करता है कि यदि एक नियररिंग सरल (simple) है, तो ग्राफ अपरिभाषित है। यदि एक नियररिंग में कोई गैर-तुच्छ $\nu$-प्राइम आइडियल नहीं है, तो ग्राफ पूर्णतः असंबद्ध (totally disconnected) है।

2. कनेक्टिविटी और व्यास (Diameter):

   • कनेक्टिविटी: यूनिटल नियररिंग्स के लिए, लेख सिद्ध करता है कि $0$-PSG($N$) असंबद्ध है यदि और केवल यदि$N$ दो सरल नियररिंग्स का सीधा योग (direct sum) है।
   • व्यास: एक यूनिटल नियररिंग में जुड़े हुए $0$-PSG($N$) के लिए, व्यास 4 द्वारा सीमित है।
   • स्टार ग्राफ: लेखक उन नियररिंग्स का अभिलक्षण करते हैं जहाँ ग्राफ एक स्टार ग्राफ है: यह तभी होता है जब $N$ में एक अद्वितीय न्यूनतम (minimal) आइडियल हो और प्रत्येक अन्य उचित, गैर-तुच्छ, गैर-न्यूनतम आइडियल, मैक्सिमल और $\nu$-प्राइम हो।

3. पूर्ण ग्राफ और डोमिनेशन:

   • पूर्णता (Completeness): $\nu$-PSG($N$) के पूर्ण ग्राफ होने के लिए शर्तें प्रदान की गई हैं, विशेष रूप से एक अद्वितीय मैक्सिमल $\nu$-प्राइम आइडियल $M$ की आवश्यकता होती है ताकि अन्य सभी उचित आइडियल्स युग्मवार तुच्छ रूप से प्रतिच्छेद (pairwise trivially intersecting) करें।
   • डोमिनेशन: यूनिटल नियररिंग्स के लिए, सभी मैक्सिमल आइडियल्स का सेट $0$-PSG($N$) के लिए एक मिनिमल डोमिनेटिंग सेट बनाता है, जो यह दर्शाता है कि डोमिनेशन संख्या$\gamma(0\text{-PSG}(N)) \le |M|$ है।

4. ग्राफ इनवेरिएंट्स:

   • घेरा (Girth): यदि $N$ में दो तुलनाहीन (incomparable) आइडियल्स हैं जो आसन्न हैं, तो ग्राफ का घेरा 3 है।
   • क्लिक संख्या: लेख स्थापित करता है कि $\nu$-प्राइम आइडियल्स की एक श्रृंखला (chain) द्वारा प्रेरित सबग्राफ एक क्लिक बनाता है। इसके अलावा, एक अधिरोपित (surjective) नियररिंग होमॉर्मोर्फिज्म $\phi: N \to N'$ के लिए, क्लिक संख्या इस प्रकार संतुष्ट होती है: $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$।

5. वेरिएंट्स के बीच संबंध:
   लेख प्राइम आइडियल्स के पदानुक्रम के आधार पर विभिन्न वेरिएंट्स के बीच संबंधों को स्पष्ट करता है। उदाहरण के लिए, चूंकि प्रत्येक c-प्राइम आइडियल एक 3-प्राइम आइडियल है, इसलिए c-PSG($N$), 3-PSG($N$) का एक सबग्राफ है। विशिष्ट स्थितियों (जैसे कि राइट परम्यूटेबिलिटी या IFP) के तहत, इन ग्राफों को समान दिखाया जा सकता है।

6. होमॉर्मोर्फिज्म और आइसोमॉर्फिज्म:
   लेखक प्रदर्शित करते हैं कि एक अधिरोपित नियररिंग होमॉर्मोर्फिज्म संगत $\nu$-प्राइम आइडियल सम ग्राफों के बीच एक ग्राफ होमॉर्मोर्फिज्म प्रेरित करता है। वे गैर-आइसोमॉर्फिक नियररिंग्स का भी एक उदाहरण प्रदान करते हैं जो आइसोमॉर्फिक $\nu$-प्राइम आइडियल सम ग्राफ उत्पन्न करते हैं, जो यह दर्शाता है कि ग्राफ की संरचना अनन्य रूप से नियररिंग को निर्धारित नहीं करती है।

महत्व
लेख का दावा है कि $\nu$-प्राइम आइडियल सम ग्राफ नियरिंग्स में प्राइमनैस की कई अवधारणाओं के अनुरूप आइडियल-सम अंतःक्रियाओं के अध्ययन के लिए एक एकीकृत ढांचा प्रदान करता है। बीजगणितीय गुणों (जैसे कि अद्वितीय मैक्सिमल आइडियल्स का अस्तित्व या सीधा योग अपघटन) को ग्राफ-सैद्धांतिक गुणों (कनेक्टिविटी, व्यास और डोमिनेशन) में अनुवादित करके, यह कार्य अंतर्निहित नियररिंग की संरचनात्मक विशेषताओं के प्रतिबिंब और विभेदन की अनुमति देता है। परिणाम इन संरचनाओं के अतिरिक्त ग्राफ इनवेरिएंट्स की जांच के लिए एक आधारभूत आधार प्रदान करते हैं, जो रिंग थ्योरी से अधिक जटिल नियररिंग्स के क्षेत्र में जांच के विस्तार को सक्षम करते हैं।