Ordered semigroups and ideal categories of principal ideal rings

तकनीकी सारांश: क्रमबद्ध अर्धसमूह और मुख्य आदर्श वलयों के आदर्श श्रेणियाँ

समस्या विवरण
यह शोध पत्र एक क्रमवाचक इकाई वाले क्रमवाचक मुख्य आदर्श वलय (Principal Ideal Ring - PIR) के आदर्शों के संग्रह में निहित बीजगणितीय और श्रेणीगत संरचनाओं की जांच करता है। विशेष रूप से, लेखक इस संग्रह की दोहरी प्रकृति को संबोधित करते हैं: पहला, आदर्श गुणन और विभाज्यता-आधारित आंशिक क्रम के तहत एक क्रमबद्ध अर्धसमूह (Ordered Semigroup) $I(R)$ के रूप में, और दूसरा, एक श्रेणी $I_R$ के रूप में जहाँ वस्तुएँ (Objects) आदर्श हैं और मोर्फिज्म (Morphisms) $R$-रैखिक मानचित्र हैं। केंद्रीय समस्या $I(R)$ के गुणों को लक्षणित करना और $I_R$ की श्रेणीगत संरचना और इस अर्धसमूह संरचना के बीच एक कठोर पत्राचार स्थापित करना है।

कार्यप्रणाली
लेखक क्रमबद्ध अर्धसमूह सिद्धांत, वलय सिद्धांत (Ring Theory), और श्रेणी सिद्धांत (Category Theory) के संयोजन का उपयोग करते हैं।

1. क्रमबद्ध अर्धसमूह निर्माण: आदर्शों के सेट $I(R)$ को आदर्श गुणन के साथ एक अर्धसमूह संक्रिया (Operation) के रूप में सुसज्जित किया गया है। $I(R)$ पर एक आंशिक क्रम $\preccurlyeq$ को इस प्रकार परिभाषित किया गया है कि मुख्य आदर्श $A=\langle a \rangle$ और $B=\langle b \rangle$ के लिए, $A \preccurlyeq B$ यदि और केवल यदि $a$, $R$ में $b$ को विभाजित करता है। लेखक सत्यापित करते हैं कि यह क्रम गुणन के साथ संगत है और $I(R)$ में प्रत्येक तत्व "क्रमबद्ध नियमित" (Ordered Regular) है (अर्थात $A \preccurlyeq AXA$ के लिए कुछ $X$ विद्यमान है)।
2. श्रेणीगत सूत्रीकरण: श्रेणी $I_R$ को आदर्शों को वस्तुओं और $R$-रैखिक मानचित्रों को मोर्फिज्म के रूप में उपयोग करके परिभाषित किया गया है। लेखक एक उपश्रेणी $P$ की पहचान करते हैं जिसमें समावेशन मानचित्रों (Inclusion maps) का समावेश है, और प्रदर्शित करते हैं कि $(I_R, P)$ "उप-वस्तुओं वाली एक श्रेणी" (Category with subobjects) के अभिधारणाओं (Axioms) को संतुष्ट करता है।
3. संरचनात्मक पत्राचार: इन संरचनाओं को जोड़ने के लिए, लेखक एक सख्त पूर्ववर्ती श्रेणी (Strict Preorder Category) $C$ का निर्माण करते हैं जहाँ एक मोर्फिज्म $A$ से $B$ तक तब होता है जब और केवल जब $A \preccurlyeq B$ हो। इसके बाद वे एक प्रतिगामी फलन (Contravariant Functor) $F: C \to I_R$ को परिभाषित करते हैं जो अर्धसमूह में क्रम संबंध को श्रेणी में समावेशन मानचित्रों में मैप करता है।

प्रमुख परिणाम और योगदान
शोध पत्र क्रमवाचक PIRs में आदर्शों की संरचना के संबंध में कई विशिष्ट गुणों और प्रमेयों को स्थापित करता है:

• नियमित क्रमबद्ध अर्धसमूह संरचना: प्रमेय 2.1 सिद्ध करता है कि $(I(R), \cdot, \preccurlyeq)$ एक नियमित क्रमबद्ध अर्धसमूह है। शास्त्रीय नियमितता (जिसके लिए $a = axa$आवश्यक है) के विपरीत, यहाँ क्रमबद्ध नियमितता के लिए$a \preccurlyeq axa$आवश्यक है। लेखक दिखाते हैं कि किसी भी आदर्श$A=\langle a \rangle$के लिए, किसी भी$x \in R$हेतु$A \preccurlyeq A \langle x \rangle A$ सत्य है।
• सुदृढ़ नियमितता गुण: प्रमेय 2.10 प्रदर्शित करता है कि $I(R)$ नियमितता की एक मजबूत सेट को संतुष्ट करता है:
  • यह अंतः-नियमित (Intra-regular) है ($A \preccurlyeq XA^2Y$)।
  • यह एक व्युत्क्रम क्रमबद्ध अर्धसमूह (Inverse ordered semigroup) है (प्रत्येक तत्व का $\mathcal{H}$-संबंध तक एक अद्वितीय क्रमबद्ध व्युत्क्रम होता है)।
  • प्रत्येक तत्व एक क्रमबद्ध विरूपक (Ordered idempotent) है ($A \preccurlyeq A^2$)।
  • यह पूर्णतः नियमित (Completely regular), समूह-सदृश (Group-like), और एक क्लिफोर्ड्ड क्रमबद्ध अर्धसमूह (Clifford ordered semigroup) है।
• ग्रीन के संबंध (Green's Relations): प्रमेय 2.9 स्थापित करता है कि $I(R)$ पर सभी ग्रीन संबंध ($\mathcal{L}, \mathcal{R}, \mathcal{J}, \mathcal{H}, \mathcal{D}$) सार्वभौमिक संबंध हैं। यह शून्य आदर्श की उपस्थिति और $R$ की क्रमवात्मकता का परिणाम है, जो प्रत्येक आदर्श को इन संबंधों के तहत अन्य सभी आदर्शों से संबंधित होने के लिए बाध्य करता है।
• समरूपता और व्युत्क्रम ट्रांसवर्सल (Isomorphism and Inverse Transversals):
  • प्रमेय 2.5 दिखाता है कि यदि दो क्रमवाचक PIRs $R$ और $S$ समरूप (Isomorphic) हैं, तो उनके आदर्श अर्धसमूह भी समरूप होंगे। इसका विलोम सामान्यतः सत्य नहीं होता (उदाहरण के लिए, क्षेत्र $\mathbb{R}$ और $\mathbb{Q}$)।
  • प्रपत्ति (Proposition) 2.7 केवल इकाई आदर्श $\{\langle 1 \rangle\}$ वाले सेट को क्रमबद्ध आदर्श अर्धसमूह के एक व्युत्क्रम ट्रांसवर्सल के रूप में पहचानती है।
  • प्रपत्ति 2.8 $a \in R$ के वॉन न्यूमैन नियमितता को अर्धसमूह $I(R)$ में मुख्य आदर्श $\langle a \rangle$ की नियमितता से जोड़ती है।
• ठोस उदाहरण: शोध पत्र विशिष्ट वलयों के लिए स्पष्ट समरूपता प्रदान करता है:
  • $I(\mathbb{Z})$, गुणन और विभाज्यता के तहत गैर-ऋणात्मक पूर्णांकों के क्रमबद्ध अर्धसमूह के समरूप है।
  • $I(\mathbb{Z}_n)$, एक विशिष्ट gcd-आधारित संक्रिया के साथ $n$ के विभाजकों के सेट के समरूप है।
  • $I(F[x])$, अदिश गुणन (Scalar multiplication) के तहत बहुपदों के तुल्यता वर्गों के समरूप है, जो विभाज्यता द्वारा क्रमबद्ध हैं।
• श्रेणीगत पत्राचार: मुख्य सैद्धांतिक योगदान पूर्ववर्ती श्रेणी $C$ (जो $I(R)$ के विभाज्यता क्रम से व्युत्पन्न है) से श्रेणी $I_R$ (आदर्शों के साथ रैखिक मानचित्र) तक एक प्रतिगामी फलन $F$ का निर्माण है। यह फलन $A \preccurlyeq B$ के अस्तित्व को श्रेणी में समावेशन मोर्फिज्म $j(B, A): B \to A$ में मैप करता है।

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