🔢 mathematics

Categorical Algebra of Atomic Monoids: Presentability, Regularity, and Pretorsion Theories

यह शोध पत्र परमाणु मोनोइड्स ( $\mathsf{AtoMon}$ ) की श्रेणी की जांच करता है, इसकी स्थानीय परिमित प्रस्तुत्यता (local finite presentability) और विशिष्ट गुणनखंड गुणों को स्थापित करता है, साथ ही यह प्रदर्शित करता है कि यह एक नियमित श्रेणी नहीं है, और आगे प्रमुख एडजंक्शनों (adjunctions) का निर्माण करता है तथा समूहों से इस सेटिंग में टोरशन सिद्धांतों (torsion theories) को ऊपर उठाता है।

मूल लेखक: Federico Campanini, Laura Cossu

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

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

CC BY 4.0

मूल लेखक: Federico Campanini, Laura Cossu

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

कल्पना कीजिए कि एक ऐसी दुनिया है जहाँ सब कुछ नन्हे, अविभाज्य लेगो ब्रिक्स (Lego bricks) से बना है। गणित में, "कैटेगरी थ्योरी" (category theory) नामक एक पूरा क्षेत्र है जो यह अध्ययन करता है कि विभिन्न आकार और संरचनाएँ कैसे एक साथ फिट बैठती हैं, न कि केवल उनके आकार या रंग के आधार पर, बल्कि इस आधार पर कि वे एक-दूसरे से कैसे जुड़ती हैं और रूपांतरित होती हैं। इसे उन नियमों की एक परम नियमावली के रूप में सोचें कि चीजें आपस में कैसे संबंधित हैं। इस दुनिया में एक विशेष आकार "मोनॉइड" (monoid) है, जो बस जोड़ने योग्य चीजों का एक संग्रह है (जैसे संख्याओं को गुणा करना) जिसमें हमेशा एक "कुछ न करने वाला" हिस्सा होता है (जैसे संख्या 1)।

अब, इन मोनॉइड्स का एक विशेष क्लब कल्पना करें जिसे "एटॉमिक मोनॉइड्स" (atomic monoids) कहा जाता है, जो कि इन नन्हे, अविभाज्य लेगो ब्रिक्स (जिन्हें गणितज्ञ "एटम्स" कहते हैं) का एक समूह है। जैसे आप एक जटिल लेगो महल को उसके व्यक्तिगत ईंटों में तोड़ सकते हैं, गणितज्ञ इन एटॉमिक मोनॉइड्स के टूटने के तरीके का अध्ययन करते हैं। इस क्लब की एक प्रमुख विशेषता यह है कि ये विभाजन अक्सर अद्वितीय नहीं (not unique) होते हैं—एक ही टुकड़े को अलग-अलग तरीकों से ईंटों के विभिन्न संयोजनों से बनाया जा सकता है। मुख्य प्रश्न जिसका यह शोध पत्र समाधान करता है, वह है: "जब हम इन एटॉमिक मोनॉइड्स को आकारों के एक परिवार के रूप में देखते हैं जिन्हें खींचा, दबाया या जोड़ा जा सकता है, तो खेल के नियम क्या हैं?" यह पता चलता है कि हालांकि वे कुछ परिचित नियमों का पालन करते हैं, लेकिन उनमें कुछ बहुत ही आश्चर्यजनक विचित्रताएं भी हैं जो मानक नियम पुस्तिका को तोड़ देती हैं।

द एटॉमिक क्लब: एक नया प्रकार का गणितीय खेल का मैदान

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

शहर सुव्यवस्थित है (Locally Finitely Presentable)

सबसे पहले, लेखक सिद्ध करते हैं कि AtoMon एक बहुत ही व्यवस्थित शहर है। गणितीय भाषा में, वे दिखाते हैं कि यह "लोकलली फाइनलीली प्रेजेंटेबल" (locally finitely presentable) है। एक उपमा का उपयोग करने के लिए, कल्पना करें कि आप इस शहर में कोई भी इमारत बनाना चाहते हैं। लेखक सिद्ध करते हैं कि आपको हर बार शून्य से नई सामग्री आविष्कार करने की आवश्यकता नहीं है। इसके बजाय, आप एक विशिष्ट, परिमित "स्टार्टर किट" (जिन्हें कॉम्पैक्ट ऑब्जेक्ट्स कहा जाता है) को जोड़कर किसी भी जटिल संरचना का निर्माण कर सकते हैं।

ये स्टार्टर किट विशेष हैं क्योंकि ये नियमों (जनरेटर और संबंध) की एक सीमित सूची के साथ वर्णित होने जितने छोटे हैं, फिर भी ये किसी भी अन्य एटॉमिक मोनॉइड के निर्माण के लिए पर्याप्त शक्तिशाली हैं। यह कहने जैसा है कि आप चाहे कितना भी जटिल लेगो महल बनाना चाहें, आप हमेशा इसे बुनियादी लेगो सेटों के एक विशिष्ट, परिमित संग्रह को मिलाकर बना सकते हैं। लेखकों ने वास्तव में पाया कि वे सेट कौन से हैं: फ्री मोनॉइड्स, अनंत चक्रीय समूह (infinite cyclic groups), और कुछ विशिष्ट मोनॉइड्स जिन्हें दो लंबे शब्दों को समान बनाने के लिए बनाया गया है। इसका अर्थ है कि शहर अनुमानित और प्रबंधनीय है।

टूटा हुआ दर्पण: क्यों शहर "रेगुलर" नहीं है

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

लेखकों ने खोजा कि AtoMon इस नियम को तोड़ देता है। उन्होंने एक विशिष्ट उदाहरण का निर्माण किया जहाँ एक "आदर्श पथ" (एक रेगुलर एपिमॉर्फिज्म) को जब दर्पण (पुलबैक) के माध्यम से देखा जाता है, तो वह एक ऐसा पथ बन जाता है जो अभी भी एक वैध, सर्वव्यापी मानचित्र (surjective map) है, लेकिन वह अपनी "आदर्श" स्थिति खो देता है (यह अब रेगुलर एपिमॉर्फिज्म नहीं रह जाता)।

उपमा: कल्पना कीजिए कि आपके पास एक मशीन है जो लाल और नीले मार्बल्स को दो अलग-अलग डिब्बों में पूरी तरह से छाँटती है। यह मशीन मुख्य कमरे में पूरी तरह से काम करती है। लेकिन यदि आप इस मशीन को एक बगल के कमरे (पुलबैक) में ले जाते हैं, तो मशीन अभी भी मार्बल्स को छाँटती है और सभी को भेज देती है (यह अभी भी एक सर्वव्यापी मानचित्र है), लेकिन छँटाई तंत्र स्वयं दोषपूर्ण या "ऊबड़-खाबड़" हो जाता है जो मुख्य कमरे के विशिष्ट नियमों का उल्लंघन करता है। ऐसा नहीं है कि मशीन ने काम करना बंद कर दिया; बल्कि यह कि इसने उस प्रकार की मशीन के रूप में काम करना बंद कर दिया जिसकी आवश्यकता नियमों द्वारा होती है।
परिणाम: क्योंकि यह "दोषपूर्ण प्रतिबिंब" होता है, इसलिए AtoMon एक रेगुलर कैटेगरी नहीं है। यह एक बड़ी बात है क्योंकि इसका मतलब है कि Atoमन को "यूनिवर्सल अल्जेब्रा की एक किस्म" (universal algebras of a variety) के रूप में वर्णित नहीं किया जा सकता है (जो एक मानक, सुव्यवस्थित प्रकार की गणितीय संरचना है)। इसका अपना एक व्यक्तित्व है जो मानक पटकथा का पालन करने से इनकार करता है।

हालाँकि, लेखकों ने केवल यह नहीं कहा कि "यह टूट गया है।" उन्होंने दिखाया कि AtoMon में प्रत्येक मानचित्र को अभी भी एक "आदर्श पथ" वाले भाग और एक "एकतरफा सड़क" वाले भाग (एक (regular epi, mono)-factorization) में विभाजित किया जा सकता है। उन्होंने बस यह सिद्ध किया कि "आदर्श पथ" वाला भाग दर्पण परीक्षण में जीवित रहने के लिए पर्याप्त स्थिर नहीं है।

नए उपकरण: "एटमाइजेशन" मशीन

शोध पत्र कुछ नए दिलचस्प उपकरण (फंक्टर्स) भी पेश करता है जो एक प्रकार के ऑब्जेक्ट को दूसरे प्रकार में बदलने वाली मशीनों के रूप में कार्य करते हैं।

ग्रुप-ऑफ-यूनिट्स मशीन: प्रत्येक एटॉमिक मोनॉइड में "इन्वर्टिबल" (invertible) टुकड़ों का एक विशेष समूह (units) होता है। लेखक दिखाते हैं कि आप इस समूह को निकाल सकते हैं, और उन्होंने समूहों की दुनिया और एटॉमिक मोनॉइड्स की दुनिया के बीच आने-जाने के लिए दो मशीनें बनाई हैं। एक मशीन एक समूह में एक "ट्रिवियल" परत जोड़कर उसे एटॉमिक मोनॉइड बनाती है, और दूसरी गैर-समूह भागों को हटा देती है।
एटमाइजेशन मशीन: यह शायद सबसे रचनात्मक उपकरण है। लेखक एक ऐसी मशीन बनाते हैं जो किसी भी साधारण मोनॉइड (भले ही वह एटॉमिक न हो) को लेकर उसे जबरन एक एटॉमिक मोनॉइड में बदल देती है। यह परमाणुओं (atoms) का एक "कंकाल" और बाकी सब कुछ के लिए एक "कचरे का डिब्बा" जोड़कर ऐसा करती है। यह एक यादृच्छिक कचरे के ढेर को लेकर उसे एक ऐसी संरचना में व्यवस्थित करने जैसा है जहाँ हर टुकड़ा या तो एक मौलिक परमाणु है या एक यूनिट है, जिसमें बाकी चीजों के लिए एक विशेष "जीरो" बाल्टी है। यह मशीन एटॉमिक मोनॉइड्स के समावेश के लिए "राइट एडजॉइंट" (right adjoint) है, जिसका अर्थ है कि यह किसी भी अस्त-व्यस्त मोनॉइड को एक व्यवस्थित एटॉमिक मोनॉइड में बदलने का सबसे अच्छा तरीका है।

टॉर्शन थ्योरीज को उठाना: "अच्छा बनाम बुरा" फिल्टर

अंत में, लेखक "प्रेटॉर्शन थ्योरीज" (pretorsion theories) नामक एक अवधारणा को संबोधित करते हैं। सरल शब्दों में, यह एक श्रेणी को दो खेमों में विभाजित करने का एक तरीका है: "अच्छे" ऑब्जेक्ट्स और "बुरे" (या तुच्छ) ऑब्जेक्ट्स, जिसमें उनके बीच परस्पर क्रिया का एक नियम होता है।

उन्होंने समूहों (Groups) को "टॉर्शन" (बुरे) और "टॉर्शन-फ्री" (अच्छे) समूहों में विभाजित करने के एक ज्ञात तरीके को लिया।
फिर उन्होंने इस विभाजन को एटॉमिक मोनॉइड्स की दुनिया में ऊपर उठाने का तरीका निकाला।
परिणाम: उन्होंने AtoMon में एक नया विभाजन बनाया। एक तरफ यूनिट्स का समूह है (अच्छे समूह), और दूसरी तरफ "रिड्यूस्ड" (reduced) मोनॉइड्स हैं (वे जिनमें पहचान/identity के अलावा कोई यूनिट नहीं है)। उन्होंने सिद्ध किया कि प्रत्येक एटॉमिक मोनॉइड को एक बहुत ही विशिष्ट, संरचित तरीके से एक "समूह भाग" और एक "रिड्यूस्ड भाग" में तोड़ा जा सकता है। यह किसी भी संरचना में "समूह-जैसे" व्यवहार को "शुद्ध रूप से परमाणु" व्यवहार से अलग करने वाले एक सार्वभौमिक फिल्टर जैसा है।

निष्कर्ष

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

तकनीकी सारांश: परमाणु मोनोइड्स का श्रेणीबद्ध बीजगणित (Categorical Algebra of Atomic Monoids)

समस्या विवरण
यह शोध पत्र $\mathbf{AtoMon}$ श्रेणी के श्रेणीबद्ध गुणों की जांच करता है, जिसके ऑब्जेक्ट्स परमाणु मोनोइड्स (atomic monoids) हैं और इसके मॉर्फिज्म (morphisms) परमाणु-संरक्षण करने वाले मोनोइड होमोमोर्फिज्म (atom-preserving monoid homomorphisms) हैं। जबकि इस श्रेणी को पूर्व में गुणनखंड सिद्धांत (factorization theory) में सार्वभौमिक निर्माणों (universal constructions)—विशेष रूप से उत्पादों, सह-उत्पादों और उनसे जुड़े इनवेरियंट्स—के अंकगणितीय व्यवहार का अध्ययन करने के लिए पेश किया गया था, इसके श्रेणीबद्ध बीजगणक के भीतर इसके व्यापक संरचनात्मक गुणों को काफी हद तक अनछुआ छोड़ दिया गया था। लेखकों का लक्ष्य यह निर्धारित करना है कि क्या $\mathbf{AtoMon}$ मानक श्रेणीबद्ध गुणों जैसे कि स्थानीय परिमित प्रस्तुति (local finite presentability), नियमितता (regularity), और विशिष्ट एडजंक्शन (adjunctions) के अस्तित्व को संतुष्ट करता है, और टोरशन थ्योरीज़ (torsion theories) के साथ इसके संबंध की खोज करना है।

कार्यप्रणाली
लेखक स्पष्ट निर्माण और अमूर्त श्रेणीबद्ध तर्क के संयोजन का उपयोग करते हैं:

संरचनात्मक विश्लेषण: वे $\mathbf{AtoMon}$ में लिमिट्स (limits) और कोलिमिट्स (colimits) के व्यवहार का विश्लेषण करते हैं, यह देखते हुए कि जबकि कोलिमिट्स मोनोइड्स की श्रेणी ( $\mathbf{Mon}$ ) में समान होते हैं, लिमिट्स सामान्यतः समान नहीं होते हैं।
कॉम्पैक्ट ऑब्जेक्ट की पहचान: स्थानीय परिमित प्रस्तुति स्थापित करने के लिए, लेखक एक विशिष्ट सेट "कॉम्पैक्ट" ऑब्जेक्ट्स (परिमित प्रस्तुत परमाणु मोनोइड्स) का निर्माण करते हैं और यह प्रदर्शित करते हैं कि वे एक सुदृढ़ जनरेटर (strong generator) बनाते हैं।
प्रति-उदाहरण निर्माण: नियमितता का परीक्षण करने के लिए, वे स्पष्ट रूप से एक नियमित एपिमॉर्फिज्म (regular epimorphism) का निर्माण करते हैं और उसके पुलबैक (pullback) का विश्लेषण करते हैं। वे $\mathbf{AtoMon}$ के भीतर आंतरिक कर्नेल पेयर्स (kernel pairs) और कॉंग्रुएंस (congruences) (विशेष रूप से परमाणुओं और इकाइयों द्वारा उत्पन्न कॉंग्रुएंस $\theta_f$ ) का उपयोग करके नियमित और गैर-नियमित मॉर्फिज्म के बीच अंतर करते हैं।
एडजंक्शन निर्माण: लेखक विशिष्ट फंक्टर्स (ग्रुप ऑफ यूनिट्स, परमाणुकरण/atomization) को परिभाषित करते हैं और उनके एडजॉइंट्स को इकाइयों, परमाणुओं और गैर-इकाई गैर-परमाणुओं पर स्पष्ट मैपिंग को परिभाषित करके निर्मित करते हैं।
लिफ्टिंग प्रमेय: वे एक मोनोकोरिफ्लेक्शन (monocoreflection) के साथ प्रीटोरशन थ्योरीज़ (pretorsion theories) को लिफ्ट करने के लिए एक सामान्य मानदंड विकसित करते हैं, जिसे पहले $\mathbf{AtoMon}$ के विशिष्ट मामले में और फिर पॉइंटेड क्विवर्स (pointed quivers) के एक अलग उदाहरण में लागू किया जाता है।

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

स्थानीय परिमित प्रस्तुति (Local Finite Presentability): यह शोध पत्र सिद्ध करता है कि $\mathbf{AtoMon}$ स्थानीय रूप से परिमित रूप से प्रस्तुत योग्य (locally finitely presentable) है (प्रमेय 2.6)। यह एक सुदृढ़ जनरेटर $\mathcal{G}$ को प्रदर्शित करके प्राप्त किया गया है जो कॉम्पैक्ट ऑब्जेक्ट्स से बना है। सेट $\mathcal{G}$ में एक जनरेटर वाला फ्री मोनोइड, अनंत चक्रीय समूह (infinite cyclic group), और कम से कम दो की लंबाई वाले शब्दों के बीच संबंधों द्वारा परिभाषित विशिष्ट रिड्यूस्ड परमाणु मोनोइड्स शामिल हैं। इसके अलावा, लेखक $\mathbf{AtoMon}$ के कॉम्पैक्ट ऑब्जेक्ट्स को साधारण मोनोइड के रूप में परिमित रूप से प्रस्तुत परमाणु मोनोइड्स के रूप में सटीक रूप से वर्णित करते हैं (प्रमेय 2.7)।
नियमितता की विफलता (Failure of Regularity): लेखक प्रदर्शित करते हैं कि $\mathbf{AtoMon}$ एक नियमित श्रेणी नहीं है।
- वे स्थापित करते हैं कि $\mathbf{AtoMon}$ में प्रत्येक मॉर्फिज्म एक कैनोनिकल $(regular\ epi, mono)$ -फैक्टरइजेशन प्राप्त करता है (प्रपोजिशन 3.3)।
- हालांकि, वे एक विशिष्ट नियमित एपिमॉर्फिज्म $p: H \to Q$ का निर्माण करते जिसका एक मोनोमॉर्फिज्म $j: J \to Q$ के साथ पुलबैक करने पर एक मॉर्फिज्म $\rho: P \to J$ प्राप्त होता है जो अधिरोपित (surjective) तो है लेकिन नियमित एपिमॉर्फिज्म नहीं है (प्रपोजिशन 3.7)।
- फलस्वरूप, $\mathbf{AtoMon}$ सार्वभौमिक बीजगण (varieties of universal algebras) की श्रेणी के तुल्य नहीं है। लेख में उल्लेख है कि नियमित न होने के बावजूद, यह एक परिमित एसेन्शियली अल्जेब्रिक श्रेणी (finitary essentially algebraic category) है (एक परिमित सीमित-लिमिट थ्योरी के मॉडल्स के तुल्य)।
- लेखक कार्बन और विटाले के अर्थ में $\mathbf{AtoMon}$ की रेगुलर कम्पलीशन (regular completion) का भी वर्णन करते हैं, यह दिखाते हुए कि कम्पलीशन में कुछ ऑब्जेक्ट्स कैनोनिकल एम्बेडिंग के तहत परमाणु मोनोइड्स के इमेज के तुल्य नहीं हैं।
एडजंक्शन (Adjunctions):
- ग्रुप ऑफ यूनिट्स: $(\cdot)^\times: \mathbf{AtoMon} \to \mathbf{Grp}$ फंक्टर्स के पास दोनों तरफ का एडजॉइंट (बायां एडजॉइंट $\iota$ और दायां एडजॉइंट $I$ ) है (प्रपोजिशन 4.1)। दायां एडजॉइंट $I(G)$ एक शून्य और एक परमाणु जोड़कर एक समूह $G$ से एक परमाणु मोनोइड का निर्माण करता है।
- परमाणुकरण (Atomization): समावेशन फंक्टर $U: \mathbf{AtoMon} \to \mathbf{Mon}$ का एक दायां एडजॉइंट $A: \mathbf{Mon} \to \mathbf{AtoMon}$ है (प्रपोजिशन 4.2)। यह "परमाणुकरण" फंक्टर एक मोनोइड $M$ को एक टर्मिनल ऑब्जेक्ट घटक वाली संरचना में एम्बेड करके एक परमाणु मोनोइड $A(M)$ का निर्माण करता है।
प्रीटोरशन थ्योरीज़ (Pretorsion Theories): चूंकि $\mathbf{AtoMon}$ एक पॉइंटेड श्रेणी नहीं है, इसलिए यह सख्त टोरशन थ्योरीज़ को स्वीकार नहीं कर सकती। लेखक $\mathbf{Grp}$ से $\mathbf{AtoMon}$ में प्रीटोरशन थ्योरीज़ को लिफ्ट करते हैं।
- विशेष रूप से, वे दिखाते हैं कि यदि $(\mathcal{T}, \mathcal{F})$ $\mathbf{Grp}$ में एक टोरशन थ्योरी है, तो $(\tilde{\mathcal{T}}, \tilde{\mathcal{F}})$ $\mathbf{AtoMon}$ में एक प्रीटोरशन थ्योरी बनाता है, जहाँ $\tilde{\mathcal{T}} = \mathcal{T}$ है और $\tilde{\mathcal{F}}$ उन परमाणु मोनोइड्स का समूह है जिनकी यूनिट ग्रुप $\mathcal{F}$ में स्थित है।
- एक उल्लेखनीय उदाहरण $(\mathbf{Grp}, \mathbf{RedAtoMon})$ है, जहाँ $\mathbf{RedAtoMon}$ रिड्यूस्ड परमाणु मोनोइड्स (वे जिनका यूनिट ग्रुप ट्रिवियल है) की उप-श्रेणी है।
- यह परिणाम प्रमेय 5.6 में किसी भी मोनोकोरिफ्लेक्टिव उप-श्रेणी के लिए सामान्यीकृत किया गया है, जो प्रीटोरशन थ्योरीज़ को लिफ्ट करने के लिए एक मानदंड प्रदान करता है।

महत्व और दावे
लेख का दावा है कि यह $\mathbf{AtoMon}$ का एक व्यापक संरचनात्मक विश्लेषण प्रदान करता है, जो इसके अंकगणितीय अनुप्रयोगों से आगे बढ़कर इसे श्रेणीबद्ध बीजगणक के भीतर स्थापित करता है।

यह पुष्टि करता है कि $\mathbf{AtoMon}$ प्रस्तुति (presentability) के मामले में एक सुव्यवस्थित श्रेणी है, जिससे सामान्य श्रेणीबद्ध उपकरणों का अनुप्रयोग संभव होता है।
यह श्रेणी की सीमाओं को स्पष्ट करता है, यह सिद्ध करके कि यह नियमित नहीं है, जिससे यह सार्वभौमिक बीजगण की श्रेणियों से भिन्न हो जाती है और "परमाणु-संरक्षण" की स्थिति द्वारा लगाए गए विशिष्ट अंकगणितीय प्रतिबंधों को उजागर करती है।
यह स्पष्ट एडजंक्शनों के माध्यम से परमाणु मोनोइड्स के अंकगणित और समूहों तथा सामान्य मोनोइड्स के बीच एक सेतु स्थापित करता है।
यह गैर-पॉइंटेड श्रेणियों में प्रीटोरशन थ्योरीज़ उत्पन्न करने के लिए एक नवीन तरीका प्रदान करता है, जो पॉइंटेड उप-श्रेणियों से उन्हें लिफ्ट करने के माध्यम से स्पष्ट होता है, जैसा कि समूहों और रिड्यूस्ड परमाणु मोनोइड्स के बीच के संबंध से स्पष्ट है।

लेखक इन परिणामों को $\mathbf{AtoMon}$ को एक स्वतंत्र श्रेणी के रूप में समझने के लिए एक आवश्यक कदम के रूप में प्रस्तुत करते हैं, जो गुणनखंड सिद्धांत में यथार्थकरण समस्याओं (realization problems) के अध्ययन के लिए आवश्यक आधारभूत श्रेणीबद्ध ढांचे को प्रदान करता है।