🔢 mathematics

Maximal-Hull $z$ -Ideals, Congruence Closures, and Coherent Frames of Commutative Semirings

यह शोध पत्र यह सिद्ध करके क्रमविनिमेय अर्धवलयों (commutative semirings) के लिए एक स्पेक्ट्रल सिद्धांत स्थापित करता है कि $z$ -आइडियल्स और विशिष्ट संgruence-बंद (congruence-closed) आइडियल्स के लैट्टिस सुसंगत फ्रेम (coherent frames) हैं, जिससे उनके संबंधित प्राइम स्पेक्ट्रा स्पेक्ट्रल स्पेस बनते हैं और मेसन के वॉन न्यूमैन नियमितता मानदंड को इस व्यापक बीजगणितीय परिवेश में विस्तारित किया जाता है।

मूल लेखक: Pubali Sengupta, Amartya Goswami, Pronay Biswas, Sujit Kumar Sardar

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

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

CC BY 4.0

मूल लेखक: Pubali Sengupta, Amartya Goswami, Pronay Biswas, Sujit Kumar Sardar

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक शहर के "आकार" को समझने की कोशिश कर रहे हैं। पारंपरिक गणित (विशेष रूप से रिंग्स/rings) की दुनिया में, शहर बहुत विशिष्ट नियमों के साथ बनाया गया है: आप जोड़ सकते हैं, घटा सकते हैं, गुणा कर सकते हैं, और सब कुछ संतुलित रहता है। यदि आप जानते हैं कि "शून्य" बिंदु कहाँ हैं (वे स्थान जहाँ चीजें रद्द हो जाती हैं), तो आप पूरे शहर का मानचित्र बना सकते हैं।

लेकिन क्या होगा यदि आप एक ऐसा शहर बना रहे हैं जहाँ घटाव (subtraction) का अस्तित्व ही नहीं है? यहाँ आप चीजों को जोड़ सकते हैं और गुणा कर सकते हैं, लेकिन आप कभी भी किसी चीज़ को वापस नहीं ले सकते। यह सेमी-रिंग्स (semirings) की दुनिया है। यह दुनिया कंप्यूटर विज्ञान, अनुकूलन (optimization) समस्याओं और ट्रॉपिकल ज्योमेट्री (tropical geometry) में दिखाई देती है। इसके नियम समान हैं, लेकिन घटाव की कमी इसे अजीब और अप्रत्याशित तरीके से व्यवहार करने पर मजबूर करती है।

यह शोध पत्र उन वास्तुकारों के लिए एक मार्गदर्शिका है जो इन "घटाव-रहित शहरों" का मानचित्र बनाने की कोशिश कर रहे हैं। लेखक, सेनगुप्ता, गोस्वामी, बिस्वास और सरदार, z-आइडियल्स (z-ideals) नामक एक अवधारणा का उपयोग करके इन शहरों के "कंकाल" को देखने का एक नया तरीका विकसित कर रहे हैं।

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

1. शहर का मानचित्र बनाने के दो तरीके: "आइडियल मैप" बनाम "कॉन्ग्रुएंस मैप"

रिंग्स की पुरानी दुनिया में, शहर के "मैक्सिमल" बिंदुओं (सबसे महत्वपूर्ण स्थानों) का मानचित्र बनाने का केवल एक ही तरीका था। आप आइडियल्स (Ideals) (संख्याओं के समूह जो पड़ोसियों की तरह कार्य करते हैं) को देख सकते थे या कॉन्ग्रुएंस (Congruences) (नियम जो कहते हैं कि "ये दो चीजें प्रभावी रूप से एक ही हैं") को देख सकते थे। रिंग्स में, ये दोनों मानचित्र हमेशा पूरी तरह से मेल खाते थे।

बड़ी खोज: सेमी-रिंग्स में, ये दो मानचित्र अलग हो जाते हैं। वे विभाजित हो जाते हैं।

द आइडियल मैप (z-ideals): यह देखता है कि एक संख्या किस "मैक्सिमल पड़ोस" (maximal neighborhood) से संबंधित है।
द कॉन्ग्रुएंस मैप (g-closed ideals): यह देखता है कि एक संख्या "समानता के किन विशिष्ट नियमों" का पालन करती है।

लेखक दिखाते हैं कि एक सेमी-रिंग (जैसे प्राकृतिक संख्याएं, 1, 2, 3...) में, एक संख्या एक विशिष्ट पड़ोस का हिस्सा हो सकती है लेकिन समानता के विशिष्ट नियम का पालन नहीं करती है, या इसके विपरीत। यह एक अलग जीपीएस सिस्टम होने जैसा है जो अलग-अलग रास्ते दिखाता है क्योंकि शहर में वे "घटाव" वाली सड़कें नहीं हैं जो आमतौर पर उन्हें जोड़ती हैं।

2. तीन मुख्य परिणाम (प्रमेय/Theorems)

थ्योरम A: "परफेक्ट सिटी" टेस्ट

लेखक पूछते हैं: "एक सेमी-रिंग शहर 'परफेक्ट' (जिसे गणितज्ञ वॉन न्यूमैन रेगुलर कहते हैं) कब होता है?"
रिंग्स में, यह स्वतः होता है यदि शहर में कुछ निश्चित समरूपता हो। लेकिन सेमी-रिंग्स में, आपको एक अतिरिक्त शर्त की आवश्यकता होती है: प्रत्येक "स्व-दोहराने वाली" संख्या के पास एक "साथी" होना चाहिए जो उसे शून्य तक रद्द कर दे।

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

थ्योरम B: "यूनिवर्सल ब्लूप्रिंट" (z-ideals)

यह सबसे आश्चर्यजनक परिणाम है। लेखक सिद्ध करते हैं कि किसी भी सेमी-रिंग में सभी "z-पड़ोसों" का संग्रह एक कोहेरेंट फ्रेम (Coherent Frame) बनाता है।

उपमा: एक "कोहेरेंट फ्रेम" को एक पूर्णतः व्यवस्थित, तार्किक ब्लूप्रिंट के रूप में सोचें। भले ही शहर अजीब हो (घटाव नहीं है), इन विशिष्ट पड़ोसों के जुड़ने का तरीका हमेशा तार्किक, व्यवस्थित और अनुमानित होता है। आपको इस ब्लूप्रिंट को प्राप्त करने के लिए किसी विशेष स्थिति की आवश्यकता नहीं है; यह प्रत्येक सेमी-रिंग के लिए काम करता है, चाहे वह कितना भी अव्यवस्थित क्यों न हो।
परिणाम: इसका अर्थ है कि "स्पेक्ट्रम" (सभी प्राइम z-पड़ोसों का मानचित्र) हमेशा एक "स्पेक्ट्रल स्पेस" होता है—एक गणितीय रूप से सुंदर, सुव्यवस्थित आकार।

थ्योरम C: "कंडीशनल ब्लूप्रिंट" (g-closed ideals)

अब, वे "कॉन्ग्रुएंस मैप" (g-closed ideals) का उपयोग करके एक ही ब्लूपिंट बनाने की कोशिश करते हैं।

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

3. "प्राकृतिक संख्या" टेस्ट केस

यह सिद्ध करने के लिए कि ये मानचित्र वास्तव में अलग हैं, लेखक सबसे सरल संभव सेमी-रिंग का उपयोग करते हैं: प्राकृतिक संख्याएं (1, 2, 3...)।

इस शहर में, "आइडियल मैप" बहुत कम देखता है (यह ज्यादातर केवल 1 और बाकी सब के बीच के अंतर को देखता है)।
"कॉन्ग्रुएंस मैप" बहुत अधिक विवरण देखता है (यह 2, 3, 5 जैसे अभाज्य गुणनखंडों को देखता है)।
प्रमाण: वे दिखाते हैं कि संख्याओं का एक विशिष्ट समूह (जैसे 6 के गुणज) एक "परफेक्ट" कॉन्ग्रुएंस पड़ोस है लेकिन एक "परफेक्ट" आइडियल पड़ोस नहीं है। यह सिद्ध करता है कि आप केवल पुराने रिंग-थ्योरी के तरीकों का उपयोग नहीं कर सकते; आपको इन दोनों मानचित्रों को अलग-अलग मानना होगा।

4. "फंक्टर" कनेक्शन (यूनिवर्सल ट्रांसलेटर)

अंत में, वे एक "अनुवादक" प्रणाली स्थापित करते हैं।

वे एक प्रणाली (फंक्टर) बनाते हैं जो किसी भी सेमी-रिंग को लेता है और स्वचालित रूप से उसे उसके "z-आइडियल ब्लूप्रिंट" में बदल देता है।
वे एक अन्य प्रणाली बनाते हैं जो उसे "g-closed ब्लूप्रिंट" में बदल देती है (यदि शर्तें पूरी होती हैं)।
वे दिखाते हैं कि ये दोनों प्रणालियाँ एक-दूसरे से कैसे बात करती हैं। यह एक ही शहर का वर्णन करने के लिए दो अलग-अलग भाषाओं के बीच एक शब्दकोश बनाने जैसा है, बशर्ते कि शहर सही व्याकरण नियमों का पालन करता हो।

सारांश

यह शोध पत्र घटाव के बिना दुनिया के लिए ज्यामिति के आधार को फिर से बनाने के बारे में है।

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

लेखकों ने पुल बनाने या बीमारियों के इलाज के लिए कोई नया उपकरण नहीं बनाया; उन्होंने एक नया भाषा बनाया है जो उन गणितीय प्रणालियों की छिपी संरचना का वर्णन करता है जो हमारे द्वारा उपयोग की जाने वाली प्रणालियों से भिन्न व्यवहार करती हैं।

तकनीकी सारांश: क्रमविनिमेय अर्ध-वलयों (Commutative Semirings) के मैक्सिमल-हल $z$ -आइडियल, संग्रति समापन (Congruence Closures), और कोहेरेंट फ्रेम्स

समस्या विवरण
यह शोध पत्र क्रमविनिमेय वलयों (commutative rings) से क्रमविनिमेय अर्ध-वलयों (commutative semirings) तक $z$ -आइडियल्स के स्पेक्ट्रल सिद्धांत के विस्तार को संबोधित करता है। वलय सिद्धांत में, $z$ -आइडियल्स (मैक्सिमल-हल समानता के तहत बंद आइडियल्स) का सिद्धांत बीजगणित, टोपोलॉजी और क्रम सिद्धांत (order theory) का एक अभिसरण प्रदान करता है, जहाँ $z$ -आइडियल्स का लैटिस एक कोहेरेंट फ्रेम (coherent frame) बनाता है और प्राइम स्पेक्ट्रम एक स्पेक्ट्रल स्पेस होता है। हालाँकि, अर्ध-वलयों में संक्रमण योज्य प्रतिलोम (additive inverses) की अनुपस्थिति के कारण बाधित होता है। यह अनुपस्थिति एक मौलिक विचलन का कारण बनती है: वलयों में, आइडियल-सिद्धांतिक समापन (मैक्सिमल-आइडियल हल) और संग्रति-सिद्धांतिक समापन (मैक्सिमल-कंग्रुएंस हल) सह-अस्तित्व में होते हैं। अर्ध-वलयों में, ये दोनों प्रक्रियाएँ अलग हो जाती हैं। विशेष रूप से, एक मैक्सिमल संग्रति (maximal congruence) का शून्य-वर्ग (zero-class) एक मैक्सिमल आइडियल होने की आवश्यकता नहीं है, और न ही एक $z$ -आइडियल। यह शोध पत्र एक ऐसी स्पेक्ट्रल थ्योरी विकसित करने का प्रयास करता है जो इन दो अलग-अलग समापन तंत्रों के बीच स्पष्ट रूप से अंतर करती है और यह स्थापित करती है कि वे कब कोहेरेंट फ्रेम्स और स्पेक्ट्रल स्पेस प्रदान करते हैं।

कार्यप्रणाली
लेखक एक पॉइंटफ्री दृष्टिकोण (pointfree approach) का उपयोग करते हैं, जिसमें आइडियल्स और संग्रतियों (congruences) के लैटिस संरचनाओं का विश्लेषण करने के लिए कोहेरेंट फ्रेम्स और स्पेक्ट्रल स्पेस के सिद्धांत का उपयोग किया जाता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

मैक्सिमल-हल कैलकुलस (Maximal-Hull Calculus): शोध पत्र क्रमविनिमेय अर्ध-वलयों में मैक्सिमल आइडियल्स के लिए एक उत्पाद सूत्र ( $M(ab) = M(a) \cup M(b)$ ) स्थापित करता है, जो इस तथ्य पर आधारित है कि मैक्सिमल आइडियल्स प्राइम होते हैं (लेम्मा 2.1)। यह उत्पाद सूत्र $z$ -आइडियल लैटिस की कोहेरेंस को संचालित करने वाला बीजगणितीय इंजन है।
समापन का पृथक्करण (Separation of Closures): लेखक दो विशिष्ट समापन क्रियाओं को परिभाषित करते हैं:
- $z$ -समापन ( $cl_z$ ): जो मैक्सिमल-आइडियल हल ( $M(a)$ ) के माध्यम से परिभाषित है।
- $g$ -समापन: जो मैक्सिमल-कंग्रुएंस हल ($MC(I) $) के माध्यम से परिभाषित है, जहाँ$ I $को समाहित करने वाली मैक्सिमल संगतियों के प्रतिच्छेदन का शून्य-वर्ग समापन$ I^g$ को परिभाषित करता है।
संरचनात्मक परिकल्पनाएँ (Structural Hypotheses): $g$ -समापन के लिए, शोध पत्र यह सुनिश्चित करने के लिए कि परिणामी लैटिस एक कोहेरेंट फ्रेम के रूप में व्यवहार करे, स्पष्ट "फाइनाइट-टाइप" और "प्रोडक्ट-फॉर्मूला" परिकल्पनाएँ (परिकल्पना 8.7) पेश करता है। यह दिखाया गया है कि ये परिकल्पनाएँ वलयों में स्वतः होती हैं लेकिन अर्ध-वलयों में गैर-तुच्छ (non-trivial) हैं।
फंक्टरियल और टोपोलॉजिकल विश्लेषण: शोध पत्र कोटिएंट्स और लोकलाइजेशन के तहत इन संरचनाओं के व्यवहार का विश्लेषण करता है, जो स्पेक्ट्रल गुणों को बनाए रखने के लिए आवश्यक संतृप्ति (saturation) और विच्छेद (disjointness) की शर्तों की पहचान करता है (परिकल्पना 5.4 और 6.1)। अंत में, यह अर्ध-वलयों की श्रेणियों से कोहेरेंट फ्रेम्स की श्रेणी तक फंक्टर्स का निर्माण करता है।

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

प्रमेय A (नियमितता मानदंड): शोध पत्र क्रमविनिमेय अर्ध-वलयों के लिए वॉन न्यूमैन नियमितता (von Neumann regularity) का एक लक्षण वर्णन सिद्ध करता है। इस परिकल्पना के तहत कि प्रत्येक मल्टीप्लिकेटिव आइडम्पोटेंट पूरक (complemented) है, एक अर्ध-वलय वॉन न्यूमैन नियमित है यदि और केवल यदि प्रत्येक प्रिंसिपल आइडियल एक $z$ -आइडियल है। यह वलयों से अर्ध-वलयों तक मेसन (Mason) के शास्त्रीय प्रमेय का विस्तार करता है, जिसका महत्वपूर्ण निहितार्थ यह है कि प्रिंसिपल आइडियल्स का $z$ -आइडियल गुण नियमित तत्वों ( $a = a^2x$ ) के अस्तित्व को अनिवार्य बनाता है।
प्रमेय B ( $z$ -आइडियल्स की बिना शर्त कोहेरेंस): प्रत्येक क्रमविनिमेय अर्ध-वलय $S$ के लिए, $z$ -आइडियल्स ($ZId(S) $) का लैटिस एक कोहेरेंट फ्रेम है। फलस्वरूप, प्राइम$ z $-आइडियल्स ($ Spec_z(S) $) का स्थान एक स्पेक्ट्रल स्पेस है। यह परिणाम बिना शर्त है, इसके लिए किसी नोएथेरियन, सबट्रैक्टिव या कैंसिलटिव परिकल्पना की आवश्यकता नहीं है। प्रमाण मैक्सिमल आइडियल्स के उत्पाद सूत्र और परिणामस्वरूप प्रिंसिपल$ z $-समापन के मीट आइडेंटिटी ($ \langle a \rangle_z \cap \langle b \rangle_z = \langle ab \rangle_z$) पर निर्भर करता है।
प्रमेय C ( $g$ -क्लोज्ड आइडियल्स की सशर्त कोहेरेंस): $g$ -क्लोज्ड आइडियल्स ( $Id_g(S)$ ) का लैटिस एक कोहेरेंट फ्रेम है, और $Spec_g(S)$ एक स्पेक्ट्रल स्पेस है जो प्राइम $g$ -कंग्रुएंस के स्थान के होमियोमोर्फिक है, बशर्ते कि अर्ध-वलय स्पष्ट फाइनाइट-टाइप $g$ -समापन परिकल्पना (परिकल्पना 8.7) को संतुष्ट करता हो। यह परिकल्पना सुनिश्चित करती है कि कंग्रुएंस-जनित समापन परिमित मीट और जॉइन के संबंध में सुव्यवस्थित व्यवहार करता है।
समापन का अंतर: शोध पत्र प्राकृतिक संख्याओं के अर्ध-वलय $\mathbb{N}$ और पावर-सेट अर्ध-वलयों में स्पष्ट गणना प्रदान करता है ताकि यह प्रदर्शित किया जा सके कि साधारण $z$ -समापन, $z_k$ -समापन (मैक्सिमल $k$ -आइडियल्स पर आधारित), और $g$ -समापन अलग-अलग क्रियाएँ हैं। $\mathbb{N}$ में, एकमात्र उचित $z$ -आइडियल $\mathbb{N} \setminus \{1\}$ है, जबकि $g$ -क्लोज्ड आइडियल्स में $\mathbb{N}$ के स्क्वायर-फ्री मल्टीपल्स शामिल हैं, और मैक्सिमल संगतियों (जैसे रीस कंग्रुएंस) के शून्य-वर्ग मैक्सिमल आइडियल्स नहीं होते हैं।
फंक्टरियल सूत्रीकरण: शोध पत्र स्थापित करता है कि $ZId $और$ Id_g $, अर्ध-वलयों की उपयुक्त श्रेणियों से कोहेरेंट फ्रेम्स ($ CohFrm $) की श्रेणी तक फंक्टर्स को परिभाषित करते हैं। इसके अतिरिक्त, विशिष्ट जनरेटर-अनुकूलता स्थितियों के तहत, कैनोनिकल क्लोजर मैप$ \sigma: ZId \Rightarrow Id_g$ एक नेचुरल ट्रांसफॉर्मेशनमेंट (natural transformation) बनता है।

महत्व और दावे
शोध पत्र का दावा है कि यह बिना योज्य प्रतिलोम (additive inverses) को माने बिना क्रमविनिमेय अर्ध-वलयों के $z$ -आइडियल्स का पहला व्यापक स्पेक्ट्रल सिद्धांत प्रदान करता है। इसका प्राथमिक महत्व निम्नलिखित है:

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

लेखक अपने अनुप्रयोगों के संबंध में एक विनम्र रुख बनाए रखते हैं, यह नोट करते हुए कि परिणाम संरचनात्मक और आधारभूत हैं। वे उष्णकटिबंधीय ज्यामिति (tropical geometry) या अनुकूलन (optimization) में नए अनुप्रयोग प्रस्तावित नहीं करते हैं, बल्कि वे आवश्यक बीजगणितीय और टोपोलॉजिकल मशीनरी (स्पेक्ट्रल स्पेस, कोहेरेंट फ्रेम और फंक्टरियल सूत्रीकरण) प्रदान करते हैं जिसका उपयोग ऐसे क्षेत्र कर सकते हैं। यह कार्य वलय-सिद्धांतिक अंतर्ज्ञान को अर्ध-वलय सेटिंग में एक आवश्यक सुधार और विस्तार के रूप में प्रस्तुत किया गया है, जहाँ घटाव (subtraction) का अभाव आइडियल्स और संगतियों के व्यवहार को मौलिक रूप से बदल देता है।