🔢 mathematics

The arithmetic rank of the residual intersections of a complete intersection ideal

यह शोध पत्र पूर्णच्छेदन आइडियल्स (complete intersection ideals) के जेनेरिक $m$ -रेसिड्यूअल इंटरसेक्शन्स के लिए अंकगणितीय रैंक (arithmetic rank) निर्धारित करता है और स्पष्ट सेट-थ्योरेटिक जनरेटर प्रदान करता है, जिससे एक तीक्ष्ण ऊपरी सीमा स्थापित होती है जो यह सिद्ध करती है कि शून्य विशेषता (characteristic zero) में ऐसे इंटरसेक्शन्स सेट-थ्योरेटिक पूर्णच्छेदन होने में विफल रहते हैं।

मूल लेखक: Manav Batavia, Kesavan Mohana Sundaram, Vaibhav Pandey, Taylor Murray

प्रकाशित 2026-04-20

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

CC BY 4.0

मूल लेखक: Manav Batavia, Kesavan Mohana Sundaram, Vaibhav Pandey, Taylor Murray

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो मिट्टी से एक विशिष्ट आकार बनाने की कोशिश कर रहे हैं। गणित में, यह "आकार" एक ज्यामितीय वस्तु है जिसे वेरिएटी (variety) कहा जाता है, और "मिट्टी" समीकरणों द्वारा परिभाषित एक स्थान है।

आमतौर पर, एक आकार को परिभाषित करने के लिए, आपको नियमों की एक सूची की आवश्यकता होती है। उदाहरण के लिए, एक वृत्त बनाने के लिए, आपको एक समीकरण की आवश्यकता हो सकती है: $x^2 + y^2 = 1$ । लेकिन क्या होगा यदि आकार अविश्वसनीय रूप से जटिल है? आपको उस आकार को वर्णित करने के लिए वास्तव में कितने नियमों की आवश्यकता है?

यह शोध पत्र इस प्रश्न का उत्तर एक बहुत ही विशिष्ट, कठिन प्रकार के आकार के लिए देता है जिसे रेसिडुअल इंटरसेक्शन (Residual Intersection) कहा जाता है।

यहाँ इस शोध पत्र की कहानी है, जिसे सरल अवधारणाओं और उपमाओं में विभाजित किया गया है।

1. समस्या: "न्यूनतम नियम" की गणना

गणित में, एक अवधारणा है जिसे अरिथमेटिक रैंक (Arithmetic Rank) कहा जाता है। इसे "न्यूनतम नियम गणना" के रूप में सोचें।

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

2. सेटअप: एक "रेसिडुअल इंटरसेक्शन"

यह शोध पत्र एक विशिष्ट निर्माण पर केंद्रित है जिसे रेसिडुअल इंटरसेक्शन कहा जाता है।

उपमा: कल्पना कीजिए कि आपके पास पनीर (cheese) का एक बड़ा, ठोस ब्लॉक है ("कम्प्लीट इंटरसेक्शन")। आप उससे एक छोटा, सटीक घन (cube) काटते हैं ("आइडियल/Ideal")।
अब, कल्पना कीजिए कि आप चाकुओं का एक नया, यादृच्छिक सेट (random set of knives) लेते हैं (जिसे "मैट्रिक्स $X$ " कहा जाता है) और पनीर को एक विशिष्ट तरीके से काटते हैं।
रेसिडुअल इंटरसेक्शन वह अजीब, बचा हुआ पनीर का टुकड़ा है जो उस हिस्से को हटाने के बाद बचता है जिसे आपके मूल घन द्वारा "पकड़ा" गया था।
लेखक पूछते हैं: यदि हम यादृच्छिक कट (random cuts) के साथ यह काम करते हैं, तो हमें इस अजीब बचे हुए टुकड़े को वर्णित करने के लिए कितने समीकरणों की आवश्यकता होगी?

3. खोज: समरूपता (Symmetry) से एक गुप्त संबंध

लेखकों ने एक आश्चर्यजनक शॉर्टकट खोजा। उन्होंने महसूस किया कि यह "बचे हुए पनीर" की समस्या वास्तव में क्लासिकल इनवेरिएंट थ्योरी (Classical Invariant Theory) की एक समस्या है।

उपमा: एक घूमते हुए लट्टू (spinning top) की कल्पना करें। आप इसे चाहे कैसे भी घुमाएं, कुछ विशेषताएं वैसी ही रहती हैं (जैसे इसकी ऊंचाई)। गणित में, इन अपरिवर्तनीय विशेषताओं को इनवेरिएंट्स (Invariants) कहा जाता है।
लेखकों ने पाया कि उनके "बचे हुए पनीर" को परिभाषित करने वाले समीकरण वास्तव में एक विशिष्ट समरूपता समूह (Special Linear Group, या $SL_n$ ) की "अपरिवर्तनीय विशेषताओं" का वर्णन करने वाले समीकरणों के समान हैं।
यह क्यों मदद करता है: गणितज्ञों ने सदियों से इन समरूपता समूहों का अध्ययन किया है। यह महसूस करके कि उनकी समस्या वास्तव में एक छद्म रूप में समरूपता की समस्या है, वे एक नई समस्या को हल करने के लिए पुराने, शक्तिशाली उपकरणों का उपयोग कर सके।

4. समाधान: जादुई सूत्र

भारी-भरकम गणनाओं के बाद (जिसमें उन्नत बीजगणित और टोपोलॉजी शामिल है), उन्होंने एक सटीक सूत्र खोजा।

यदि आपके पास है:

$n$ : आपका मूल सटीक घन का आकार।
$m$ : आपके द्वारा उपयोग किए गए यादृच्छिक चाकू ( $m$ हमेशा $n$ से बड़ा या उसके बराबर होता है)।

आवश्यक समीकरणों की संख्या है:
$\text{Count} = n \times (m - n + 1) + 1$
(जब $n=1$ हो, तो यह केवल $m$ होता है।)

सरल अंग्रेजी में:
यदि आपके पास एक 2D घन ( $n=2$ ) है और आप 4 चाकू ( $m=4$ ) का उपयोग करते हैं, तो आपको बचे हुए आकार को वर्णित करने के लिए $2 \times (4-2+1) + 1 = 7$ समीकरणों की आवश्यकता होगी।
यह सूत्र पूरी तरह से काम करता है, चाहे आप वास्तविक संख्याओं, जटिल संख्याओं, या यहाँ तक कि "क्लॉक अरिथमेटिक" (घड़ी वाली अंकगणित) प्रणाली में संख्याओं के साथ काम कर रहे हों।

5. "गॉटचा" (Gotcha): यह एक "पूर्ण" आकार क्यों नहीं है?

सेट-थ्योरेटिक कम्प्लीट इंटरसेक्शन्स (Set-Theoretic Complete Intersections) के बारे में उनकी सबसे दिलचस्प खोजों में से एक है।

सपना: एक "कम्प्लीट इंटरसेक्शन" एक ऐसा आकार है जो अपने आयाम (dimension) के अनुसार ठीक उतने ही समीकरणों द्वारा परिभाषित होता है। यह एक "परफेक्ट" आकार है।
वास्तविकता: लेखकों ने सिद्ध किया कि इन रेसिडुअल इंटरसेक्शन के लिए (जब $n \ge 2$ ), यह आकार कभी भी एक "परफेक्ट" आकार नहीं होता है।
रूपक: यह एक जटिल मूर्ति बनाने के लिए न्यूनतम ईंटों का उपयोग करने की कोशिश करने जैसा है। आप चाहे कितनी भी कोशिश कर लें, संरचना को थामे रखने के लिए आपको हमेशा एक अतिरिक्त ईंट (या कुछ अधिक) की आवश्यकता होती है। आप इसे "सैद्धांतिक न्यूनतम" के साथ नहीं कर सकते।

6. उन्होंने इसे कैसे सिद्ध किया (दो-तरफा हमला)

अपने सूत्र को सही साबित करने के लिए, उन्हें दो चीजें दिखानी थीं:

ऊपरी सीमा (Upper Bound - हम इतने समीकरणों के साथ यह कर सकते हैं): उन्होंने ASL (Algebra with a Straightening Law) नामक एक संरचना का उपयोग किया।
- उपमा: एक अस्त-व्यस्त अलमारी की कल्पना करें। एक ASL कपड़ों को व्यवस्थित करने का एक विशिष्ट तरीका है ताकि आप हमेशा एक शर्ट और पैंट को करीने से जोड़ने के लिए एक "स्ट्रेटनिंग नियम" पा सकें। उन्होंने दिखाया कि उनके आकार के समीकरण इसी तरह व्यवस्थित किए जा सकते हैं, जिससे यह सिद्ध होता है कि आप उनके सूत्र के साथ आकार को परिभाषित कर सकते हैं।
निचली सीमा (Lower Bound - हम इससे कम नहीं कर सकते): उन्होंने टोपोलॉजी (आकारों और छिद्रों का अध्ययन) का उपयोग किया।
- उपमा: आकार के आस-पास के स्थान की कल्पना करें। यदि आकार बहुत "जटिल" है (इसमें बहुत अधिक छेद या घुमाव हैं), तो आप इसे बहुत कम समीकरणों के साथ वर्णित नहीं कर सकते। उन्होंने "कोहोमोलॉजी" (छिद्रों को गिनने का एक तरीका) का उपयोग यह सिद्ध करने के लिए किया कि यदि आप उनके सूत्र से कम समीकरणों का उपयोग करने का प्रयास करते हैं, तो आकार गणितीय रूप से बिखर जाएगा।

सारांश

यह शोध पत्र विभिन्न क्षेत्रों को जोड़ने की एक विजय है।

समस्या: एक विशिष्ट जटिल अवशेष (leftover) को कितने नियम परिभाषित करते हैं?
चाल: यह महसूस करना कि यह वास्तव में समरूपता और इनवेरिएंट्स की एक समस्या है।
परिणाम: आवश्यक नियमों की न्यूनतम संख्या के लिए एक सटीक सूत्र।
मुख्य बात: ये आकार स्वाभाविक रूप से "बिखरे हुए" होते हैं। इन्हें कभी भी समीकरणों की पूर्ण सैद्धांतिक न्यूनतम संख्या द्वारा परिभाषित नहीं किया जा सकता; इनके अस्तित्व के लिए हमेशा थोड़े अतिरिक्त जटिलता की आवश्यकता होती है।

लेखकों ने केवल एक संख्या नहीं खोजी; उन्होंने हमें दिखाया कि बीजगणितीय ज्यामिति (algebraic geometry) के "अवशेष" (leftover) हिस्सों में एक छिपा हुआ, सुंदर ढांचा है जो समरूपता, टोपोलॉजी और आकार को परिभाषित करने की प्रकृति को जोड़ता है।

यहाँ बटाविया, मोहन सनदारम, मरे और पांडे के शोध पत्र "The Arithmetic Rank of the Residual Intersections of a Complete Intersection Ideal" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र कम्यूटेटिव अल्जेब्रा में अरिथमेटिक रैंक ($ara(I) $) की गणना को संबोधित करता है। एक नोथेरियन रिंग$ R $में एक आइडियल$ I $की अरिथमेटिक रैंक को उन तत्वों की न्यूनतम संख्या के रूप में परिभाषित किया जाता है जो$ I$ को रेडिकल तक जनरेट (generate) करते हैं (अर्थात, $V(I)$ के वैलेशिंग लोकस (vanishing locus) को सेट-थ्योरेटिकली परिभाषित करने के लिए आवश्यक समीकरणों की न्यूनतम संख्या)।

विशिष्ट ध्यान कम्प्लीट इंटरसेक्शन आइडियल्स के रेसिडुअल इंटरसेक्शन्स पर है।

मान लीजिए कि $(R, \mathfrak{m})$ एक नोथेरियन लोकल रिंग में $I = (f_1, \dots, f_n)$ एक रेगुलर सीक्वेंस द्वारा जनरेट किया गया एक कंप्लीट इंटरसेक्शन आइडियल है।
मान लीजिए कि $\mathfrak{a} \subsetneq I$ एक $m$ तत्वों ( $m \geq n$ ) द्वारा जनरेट किया गया आइडियल है।
एक $m$ -रेसिडुअल इंटरसेक्शन को $J = \mathfrak{a} : I$ के रूप में परिभाषित किया जाता है।
लेखक जेनेरिक $m$ -रेसिdual intersection का अध्ययन करते हैं, जिसे $RI(m, \mathbf{y})$ द्वारा दर्शाया गया है, जहाँ $\mathbf{y}$ इंडिटरमिनेट्स (indeterminates) हैं और $\mathfrak{a}$ के जनरेटर $\mathbf{y}$ के जेनेरिक गुणांकों के साथ लीनियर कॉम्बिनेशन हैं।

केंद्रीय प्रश्न यह है: सभी $m \geq n$ के लिए और किसी भी विशेषता (characteristic) में $ara(RI(m, \mathbf{y}))$ का सटीक मान क्या है?

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

लेखक इनवेरिएंट थ्योरी (invariant theory), कॉम्बिनेटरियल कम्यूटेटिव अल्जेब्रा, और अल्जेब्रिक टोपोलॉजी को संयोजित करने वाला एक बहुआयामी दृष्टिकोण अपनाते हैं।

A. इनवेरिएंट थ्योरी से संबंध (विशेषता 0)

विशेषता शून्य (characteristic zero) में, लेखक जेनेरिक रेसिडुअल इंटरसेक्शन और एक ग्रुप एक्शन के नल्लकोन (nullcone) के बीच संबंध की पहचान करते हैं।

वे $X$ (जो $X$ एक $m \times n$ इंडिटरमिनेट्स का मैट्रिक्स है) के बहुपद रिंग $S = K[X, \mathbf{y}]$ पर स्पेशल लीनियर ग्रुप $SL_n(K)$ के एक्शन पर विचार करते हैं।
इनवेरिएंट रिंग $S^{SL_n}$ को $X\mathbf{y}$ के प्रविष्टियों (entries) और $X$ के $n \times n$ मिनर्स (minors) द्वारा जनरेट किया जाता है।
आइडियल $RI(m, \mathbf{y})$ को धनात्मक-डिग्री वाले इनवेरिएंट्स (नल्लकोन आइडियल) द्वारा जनरेट किए गए आइडियल के रूप में पहचाना जाता है।
इस तथ्य का उपयोग करते हुए कि विशेषता शून्य में $SL_n$ रैखिक रूप से रिडक्टिव (linearly reductive) है, वे लोकल कोहोमोलॉजी (local cohomology) बाधाओं का उपयोग करते हैं। विशेष रूप से, वे दिखाते हैं कि लोकल कोहोमोलॉजी मॉड्यूल $H^d_{RI(m, \mathbf{y})}(S)$ का गैर-शून्य होना (जहाँ $d$ इनवेरिएंट रिंग का आयाम है) अरिथमेटिक रैंक के लिए एक निचला स्तर (lower bound) प्रदान करता है।

B. सहायक रिंग की संरचना (किसी भी विशेषता में)

किसी भी विशेषता में एक ऊपरी सीमा (upper bound) और स्पष्ट जनरेटर्स स्थापित करने के लिए, लेखक "सहायक रिंग" $K[B]$ का विश्लेषण करते हैं, जहाँ $B$ इनवेरिएंट रिंग के जनरेटर्स ( $X\mathbf{y}$ की प्रविष्टियाँ और $X$ के मिनर्स) का सेट है।

ASL संरचना: वे सिद्ध करते हैं कि $K[B]$ एक विशिष्ट पोसेट (poset) पर एक एल्जेब्रा विद अ स्ट्रेटनिंग लॉ (ASL) है। यह उन्हें $K[B]$ के लिए एक स्पष्ट होमोजेनियस सिस्टम ऑफ पैरामीटर्स (homogeneous system of parameters) बनाने की अनुमति देता है।
आयाम गणना: इस ASL का आयाम $n(m - n + 1) + 1$ निकाला गया है। चूंकि एक सिस्टम ऑफ पैरामीटर्स रेडिकल तक मैक्सिमल आइडियल को जनरेट करता है, इसलिए यह आयाम अरिथमेटिक रैंक के लिए एक ऊपरी सीमा के रूप में कार्य करता है।
सिंगुलैरिटी गुण:
- वे सिद्ध करते हैं कि $K[B]$ एक गोरेनस्टीन फैक्टोरियल डोमेन (Gorenstein factorial domain/UFD) है।
- धनात्मक विशेषता में, वे सिद्ध करते हैं कि $K[B]$ $F$ -रेगुलर (और इस प्रकार $F$ -रेशनल) है। यह दिखाने के माध्यम से कि लेक्सिकोग्राफिक ऑर्डर के सापेक्ष प्रारंभिक उप-बीजगणित (initial subalgebra) एक नॉर्मल ASL है, और फिर सिंगुलैरिटी को मूल रिंग तक डीफॉर्म (deform) करके यह प्राप्त किया गया है।

C. टोपोलॉजिकल बाधाएं (धनात्मक विशेषता में)

धनात्मक विशेषता में, स्थानीय कोहोमोलॉजी बाधा जिसका उपयोग विशेषता शून्य में किया गया था, लुप्त हो जाती है। निचली सीमा को पुनः प्राप्त करने के लिए, लेखक टोपोलॉजिकल विधियों की ओर मुड़ते हैं।

वे ओपन कॉम्प्लीमेंट $U = \mathbb{A}^{mn+n} \setminus V(RI(m, \mathbf{y}))$ की टोपोलॉजी का अध्ययन करते हैं।
सिंगुलर कोहोमोलॉजी (विशेषता 0 में) और एटेले कोहोमोलॉजी (विशेषता $p$ में) के लिए मेयर-वियेटोरिस सीक्वेंस (Mayer-Vietoris sequence) का उपयोग करते हुए, वे $U$ के कोहोमोलॉजी समूहों का विश्लेषण करते हैं।
उच्चतम गैर-शून्य कोहोमोलॉजी समूह की गणना करने के लिए वे ग्रैसमैनियन्स (Grassmannians) के उत्पाद पर एक फाइब्रर बंडल संरचना का निर्माण करते हैं।
एक विशिष्ट गैर-शून्य कोहोमोलॉजी समूह $H^N(U)$ का अस्तित्व यह दर्शाता है कि $U$ को $N - d + 1$ से कम एफाइन ओपन सेट्स द्वारा कवर नहीं किया जा सकता है, जिससे अरिथमेटिक रैंक के लिए निचली सीमा स्थापित होती है।

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

मुख्य प्रमेय (Theorem 4.7)

लेखक बहुपद रिंग $K[X, \mathbf{y}]$ में जेनेरिक $m$ -रेसिडुअल इंटरसेक्शन $RI(m, \mathbf{y})$ की सटीक अरिथमेटिक रैंक निर्धारित करते हैं:
$ara(RI(m, \mathbf{y})) = \begin{cases} n(m - n + 1) + 1 & \text{यदि } n \geq 2, \\ m & \text{यदि } n = 1. \end{cases}$
यह परिणाम किसी भी क्षेत्र $K$ (या पूर्णांक $\mathbb{Z}$ ) के लिए मान्य है और यह विशेषता (characteristic) से स्वतंत्र है।

स्पष्ट जनरेटर्स (Explicit Generators)

शोध पत्र सेट-थ्योरेटिक जनरेटर्स का एक स्पष्ट विवरण प्रदान करता है। इन्हें पोसेट में उनके रैंक के आधार पर जनरेटर्स के योग के रूप में बनाया गया है (प्रपोजिशन 3.6 और थ्योरम 3.7)। विशेष रूप से, जनरेटर्स का रूप इस प्रकार है:
$\sum_{\text{rank}(\mu)=i} \mu$
जहाँ $\mu$ , जनरेटिंग सेट $B$ ( $X\mathbf{y}$ की प्रविष्टियाँ और $X$ के मिनर्स) के तत्वों पर चलता है।

सामान्य रेसिडुअल इंटरसेक्शन्स के लिए तीक्ष्ण ऊपरी सीमा (Theorem 4.9)

जेनेरिक मामले के लिए परिणाम तुरंत किसी भी नोथेरियन लोकल रिंग $R$ में कंप्लीट इंटरसेक्शन आइडियल के किसी भी रेसिडुअल इंटरसेक्शन $J$ के लिए एक तीक्ष्ण ऊपरी सीमा (sharp upper bound) प्रदान करता है:
$ara(J) \leq n(m - n + 1) + 1 \quad (\text{यदि } n \geq 2).$
यह सीमा तब प्राप्त होती है जब इंटरसेक्शन जेनेरिक हो, रिंग की विशेषता 0 हो, या विशिष्ट फ्लैटनेस स्थितियाँ (flatness conditions) मौजूद हों।

नॉन-सेट-थ्योरेटिक कंप्लीट इंटरसेक्शन

एक महत्वपूर्ण उपकार (corollary) यह है कि हाइट $\geq 2$ वाले किसी भी कंप्लीट इंटरसेक्शन आइडियल के लिए, उसके किसी भी जेनेरिक रेसिडुअल इंटरसेक्शन (जिसमें उसका जेनेरिक लिंक भी शामिल है) का विशेषता शून्य में सेट-थ्योरेटिक कंप्लीट इंटरसेक्शन होने में विफल (fails to be a set-theoretic complete intersection) रहता है। ऐसा इसलिए है क्योंकि अरिथमेटिक रैंक ( $n(m-n+1)+1$ ) आइडियल की हाइट ( $m$ ) से अधिक है जब $n \geq 2$ हो।

4. महत्व

एक लंबे समय से चले आ रहे समस्या का समाधान: यह शोध पत्र सभी विशेषताओं में जेनेरिक रेसिडुअल इंटरसेक्शन्स के अरिथमेटिक रैंक के लिए पहला सटीक सूत्र प्रदान करता है, जिससे साहित्य का वह अंतर भर जाता है जहाँ केवल सीमाएँ (bounds) ज्ञात थीं।
क्षेत्रों को जोड़ना: यह शुद्ध बीजगणितीय समस्या को हल करने के लिए इनवेरिएंट थ्योरी, कॉम्बिनेटरियल अल्जेब्रा (ASLs), और अल्जेब्रिक टोपोलॉजी (वेरिटीज की कोहोमोलॉजी) को सफलतापूर्वक जोड़ता है।
सीमाओं का परिशोधन: प्राप्त ऊपरी सीमा कोलन आइडियल्स (जैसे [Has25] में) की तुलना में काफी अधिक तीक्ष्ण है, जो को-डायमेंशन के अंतर ( $m-n$ ) द्वारा अनुमान में सुधार करती है।
विशेषता स्वतंत्रता: दोनों (लोकल कोहोमोलॉजी और एटेले कोहोमोलॉजी/टोपोलॉजी) का उपयोग करके, लेखक यह प्रदर्शित करते हैं कि इन विशिष्ट आइडियल्स का अरिथमेटिक रैंक एक मजबूत इनवेरिएंट है जो क्षेत्र की विशेषता से स्वतंत्र है।
संरचनात्मक अंतर्दृष्टि: सहायक रिंग का गोरेनस्टीन फैक्टोरियल डोमेन और धनात्मक विशेषता में $F$ -रेगुलर होना, कॉम्प्लेक्स की वेरिएटीज़ की सिंगुलैरिटी संरचना की समझ में योगदान देता है।

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