श्रेणीबद्ध वलय

गणित में, विशेष रूप से अमूर्त बीजगणित में, श्रेणीबद्ध वलय एक ऐसा वलय होता है जिसमें अंतर्निहित योगात्मक समूह एबेलियन समूहों $R_{i}$ का प्रत्यक्ष योग ,जो कि $R_{i}R_{j}\subseteq R_{i+j}$ होता है। सूचकांक समूह सामान्यतः अतिरिक्त-नकारात्मक पूर्णांकों का समूह या पूर्णांकों का समूह होता है, लेकिन कोई भी मोनोइड हो सकता है। प्रत्यक्ष योग अपघटन को सामान्यतः श्रेणीकरण या श्रेणीबद्ध के रूप में जाना जाता है।

श्रेणीबद्ध मापांक को इसी तरह परिभाषित किया गया है (सटीक परिभाषा के लिए नीचे देखें)। यह श्रेणीबद्ध दिष्‍ट रिक्त स्थान का सामान्यीकरण करता है। श्रेणीबद्ध मापांक जो एक श्रेणीबद्ध वलय भी है, श्रेणीबद्ध बीजगणित कहलाता है। श्रेणीबद्ध वलय को $\mathbb {Z}$-बीजगणित श्रेणीबद्ध के रूप में भी देखा जा सकता है।

श्रेणीबद्ध वलय की परिभाषा में साहचर्यता महत्वपूर्ण नहीं है (वास्तव में इसका उपयोग बिल्कुल नहीं किया गया है); इसलिए, यह धारणा अतिरिक्त-सहयोगी बीजगणित पर भी लागू होती है; उदाहरण के लिए, कोई श्रेणीबद्ध अवस्थित बीजगणित पर विचार कर सकता है।

प्रथम गुण

सामान्यतः, श्रेणीबद्ध वलय के सूचकांक समूह को अतिरिक्त-नकारात्मक पूर्णांकों का समूह माना जाता है, जब तक कि स्पष्ट रूप से निर्दिष्ट न किया गया हो। इस लेख में यही स्थिति है।

श्रेणीबद्ध वलय एक ऐसा वलय है जो प्रत्यक्ष योग में विघटित होता है

$R=\bigoplus _{n=0}^{\infty }R_{n}=R_{0}\oplus R_{1}\oplus R_{2}\oplus \cdots$ का

योगात्मक समूह, जैसे कि

$R_{m}R_{n}\subseteq R_{m+n}$

सभी अतिरिक्त-ऋणात्मक पूर्णांकों के लिए $m$ और $n$.

का एक अशून्य तत्व $R_{n}$ को घात $n$ का सजातीय कहा जाता है। प्रत्यक्ष योग की परिभाषा के अनुसार, प्रत्येक अतिरिक्त-शून्य तत्व $a$ का $R$ को विशिष्ट रूप से $a=a_{0}+a_{1}+\cdots +a_{n}$ योग के रूप में लिखा जा सकता है। जहां प्रत्येक $a_{i}$ या तो 0 है या घात $i$ का सजातीय है, शून्येतर $a_{i}$ के सजातीय घटक $a$ हैं।

कुछ आधार भूत गुण हैं जैसे की

• $R_{0}$ का एक $R$ उपवलय है, विशेष रूप से, गुणात्मक पहचान $1$ घात शून्य का सजातीय तत्व है।
• किसी के लिए $n$, $R_{n}$ दोतरफा $R_{0}$-मापांक है, और प्रत्यक्ष योग अपघटन का प्रत्यक्ष योग $R_{0}$-मापांक है।
• $R$ एक $R_{0}$-बीजगणित सहयोगी है।

आदर्श (वलय सिद्धांत) $I\subseteq R$ सजातीय है, यदि प्रत्येक के लिए $a\in I$, के सजातीय घटक $a$ का भी संबंध $I$ है। (समकक्ष रूप से, यदि $R$ एक श्रेणीबद्ध उप मापांक है देखें § श्रेणीबद्ध मापांक।) एक सजातीय आदर्श का प्रतिच्छेदन $I$ साथ में $R_{n}$ एक $R_{0}$-उप मापांक का $R_{n}$ घात का $n$ का $I$ सजातीय भाग कहलाता है . एक सजातीय आदर्श उसके सजातीय भागों का प्रत्यक्ष योग है।

अगर $I$ में दोतरफा सजातीय आदर्श $R$ है , तब $R/I$ एक श्रेणीबद्ध वलय भी है, जो विघटित होता है

$R/I=\bigoplus _{n=0}^{\infty }R_{n}/I_{n},$

जहाँ घात $n$ का $I$ सजातीय भाग का $I_{n}$ है।

आधार भूत उदाहरण

• किसी भी (अतिरिक्त-वर्गीकृत) वलय R को i ≠ 0 के लिए $R_{0}=R$, और $R_{i}=0$ का श्रेणीकरण दिया जा सकता है। इसे R पर क्षुद्र श्रेणीकरण' कहा जाता है।
• बहुपद वलय $R=k[t_{1},\ldots ,t_{n}]$ एक बहुपद की घात द्वारा वर्गीकृत किया गया है,इसका प्रत्यक्ष योग $R_{i}$ है यह घात I के सजातीय बहुपद से मिलकर बना है।
• मान लीजिए कि S श्रेणीबद्ध अभिन्न डोमेन R में सभी अतिरिक्त-शून्य सजातीय तत्वों का समूह है। फिर S के संबंध में R की वलय का स्थानीयकरण $\mathbb {Z}$-श्रेणीबद्ध वलय है।
• यदि I क्रमविनिमेय वलय R में एक आदर्श है, तो $\bigoplus _{i=0}^{\infty }H^{i}(X;R)$एक श्रेणीबद्ध वलय है जिसे I के साथ R की संबद्ध श्रेणीबद्ध वलय कहा जाता है; ज्यामितीय रूप से, यह I द्वारा परिभाषित उपविविधता के साथ सामान्य शंकु की समन्वय वलय है
• मान लीजिए कि X एक संस्थानिक स्थान है, H i(X; R) एक वलय R में गुणांक के साथ ith सह-समरूपता समूह है। फिर H *(X; R), R में गुणांक के साथ X की सह-समरूपता वलय, एक श्रेणीबद्ध वलय है जिसका अंतर्निहित समूह $\bigoplus _{i=0}^{\infty }H^{i}(X;R)$ पारितोषिक उत्पाद द्वारा दी गई गुणात्मक संरचना के साथ है।

श्रेणीबद्ध मापांक

मापांक सिद्धांत में संबंधित विचार श्रेणीबद्ध मापांक है, अर्थात् बायां मापांक M एक श्रेणीबद्ध वलय R के ऊपर भी है

$M=\bigoplus _{i\in \mathbb {N} }M_{i},$

और

$R_{i}M_{j}\subseteq M_{i+j}.$

उदाहरण के लिए श्रेणीबद्ध दिष्‍ट स्थान एक क्षेत्र (गणित) पर श्रेणीबद्ध मापांक का उदाहरण है (क्षेत्र में क्षुद्र श्रेणीबद्ध होती है)।

उदाहरण के लिए श्रेणीबद्ध वलय अपने आप में एक श्रेणीबद्ध मापांक है। श्रेणीबद्ध वलय में आदर्श सजातीय होता है यदि और केवल तभी जब यह श्रेणीबद्ध उप मापांक हो। श्रेणीबद्ध मापांक का संहारक एक सजातीय आदर्श है।

उदाहरण के लिए क्रमविनिमेय वलय R और R-मापांक M में एक आदर्श I दिया गया है, प्रत्यक्ष योग $\bigoplus _{n=0}^{\infty }I^{n}M/I^{n+1}M$ संबंधित श्रेणीबद्ध वलय के ऊपर श्रेणीबद्ध मापांक $\bigoplus _{0}^{\infty }I^{n}/I^{n+1}$ है।

रूपवाद $f:N\to M$ श्रेणीबद्ध मापांक के बीच, जिसे श्रेणीबद्ध आकारिता कहा जाता है, अंतर्निहित मापांक का एक आकारिता है जो श्रेणीबद्ध का सम्मान करता है। अर्थात, $f(N_{i})\subseteq M_{i}$ श्रेणीबद्ध उपमापांक एक उपमापांक है जो अपने आप में एक श्रेणीबद्ध मापांकहै और ऐसा है कि समूह-सैद्धांतिक समावेशन मानचित्र श्रेणीबद्ध मापांक का एक रूप है। स्पष्ट रूप से, श्रेणीबद्ध मापांक N M का श्रेणीबद्ध उपमापांक है यदि और केवल यदि यह M का एक उपमापांक है और $N_{i}=N\cap M_{i}$ को संतुष्ट करता है श्रेणीबद्ध मापांक के रूपवाद के मूल (बीजगणित) और छवि (गणित) श्रेणीबद्ध उपमापांक हैं।

टिप्पणी: एक श्रेणीबद्ध वलय से दूसरी श्रेणीबद्ध वलय को केंद्र में पड़ी छवि के साथ एक श्रेणीबद्ध रूप देना बाद वाली वलय को एक श्रेणीबद्ध बीजगणित की संरचना देने के समान है।

एक श्रेणीबद्ध मापांक $M$ दिया गया , $\ell$-का मोड़ $M$ द्वारा परिभाषित श्रेणीबद्ध मापांक $M(\ell )_{n}=M_{n+\ell }$ है। (सीएफ. बीजगणितीय ज्यामिति में सेरे का घुमाव वाला पुलिंदा।)

मान लीजिए कि M और N श्रेणीबद्ध मापांक हैं। अगर $f\colon M\to N$ मापांक का एक रूपवाद है, यदि $f(M_{n})\subseteq N_{n+d}$ तो f को घात d कहा जाता है।. विभेदक ज्यामिति में विभेदक रूप का एक बाह्य व्युत्पन्न घात 1 वाले ऐसे रूपवाद का एक उदाहरण है।

श्रेणीबद्ध मापांक के अपरिवर्तनीय

क्रमविनिमेय श्रेणीबद्ध वलय R पर श्रेणीबद्ध मापांक M को देखते हुए, कोई औपचारिक शक्ति श्रृंखला $P(M,t)\in \mathbb {Z} [\![t]\!]$को जोड़ सकता है

$P(M,t)=\sum \ell (M_{n})t^{n}$

(मानते हुए $\ell (M_{n})$ परिमित हैं।) इसे M की हिल्बर्ट-पोंकारे श्रृंखला कहा जाता है।

श्रेणीबद्ध मापांक को परिमित रूप से उत्पन्न कहा जाता है यदि अंतर्निहित मापांक परिमित रूप से उत्पन्न मापांक है। जनित्र को सजातीय माना जा सकता है (जनित्र को उनके सजातीय भागों से प्रतिस्थापित करके।)

मान लीजिए R एक बहुपद वलय $k[x_{0},\dots ,x_{n}]$ है , k एक क्षेत्र, और M इसके ऊपर एक अंतिम रूप से उत्पन्न श्रेणीबद्ध मापांक है। फिर फलन $n\mapsto \dim _{k}M_{n}$ को M का हिल्बर्ट फलन कहा जाता है। यह फलन बड़े n के लिए पूर्णांक-मान वाले बहुपद से मेल खाता है जिसे M का हिल्बर्ट बहुपद कहा जाता है।

श्रेणीबद्ध बीजगणित

See also: Graded Lie algebra

वलय R के ऊपर बीजगणित A एक श्रेणीबद्ध बीजगणित है यदि इसे एक वलय के रूप में वर्गीकृत किया गया है।

सामान्य स्थिति में जहां वलय R को वर्गीकृत नहीं किया जाता है (विशेष रूप से यदि R एक क्षेत्र है), तो इसे क्षुद्र श्रेणीबद्ध दी जाती है (R का प्रत्येक तत्व 0 घात का है)। इस प्रकार, $R\subseteq A_{0}$ और वर्गीकृत टुकड़े $A_{i}$ R-मापांक हैं.

ऐसे स्थिति में जहां वलय R भी एक वर्गीकृत वलय है, तो किसी को इसकी आवश्यकता होती है

$R_{i}A_{j}\subseteq A_{i+j}$

दूसरे शब्दों में, हमें आवश्यकता है कि A, R के ऊपर एक श्रेणीबद्ध बायां मापांक हो।

गणित में श्रेणीबद्ध बीजगणित के उदाहरण सामान्य हैं:

• बहुपद वलय. घात n के सजातीय तत्व बिल्कुल घात n के सजातीय बहुपद हैं।
• टेंसर बीजगणित $T^{\bullet }V$ एक सदिश समष्टि V के घात n के सजातीय तत्व क्रम n के टेन्सर $T^{n}V$ हैं।
• बाह्य बीजगणित $\textstyle \bigwedge \nolimits ^{\bullet }V$ और सममित बीजगणित $S^{\bullet }V$ श्रेणीबद्ध बीजगणित भी हैं।
• सह-समरूपता वलय $H^{\bullet }$ किसी भी सह-समरूपता सिद्धांत को भी वर्गीकृत किया जाता है, जो कि सह-समरूपता समूहों का प्रत्यक्ष योग $H^{n}$ है।

श्रेणीबद्ध बीजगणित का उपयोग क्रमविनिमेय बीजगणित और बीजगणितीय ज्यामिति, समजात बीजगणित और बीजगणितीय सांस्थिति में बहुत अधिक किया जाता है। एक उदाहरण सजातीय बहुपदों और प्रक्षेप्य प्रकार (cf. सजातीय समन्वय वलय) के बीच घनिष्ठ संबंध है।

जी-श्रेणीबद्ध वलय और बीजगणित

उपरोक्त परिभाषाओं को अनुक्रमणिका समूह के रूप में किसी भी मोनॉइड G का उपयोग करके वर्गीकृत वलयों के लिए सामान्यीकृत किया गया है। 'G-श्रेणीबद्ध वलय' R एक सीधा योग अपघटन वाला वलय है

$R=\bigoplus _{i\in G}R_{i}$

ऐसा है कि

$R_{i}R_{j}\subseteq R_{i\cdot j}.$

R के तत्व जो $R_{i}$ के अंदर स्थित हैं, कुछ के लिए $i\in G$ को श्रेणी I का सजातीय कहा जाता है।

श्रेणीबद्ध वलय की पहले से परिभाषित धारणा अब एक जैसी हो गई है $\mathbb {N}$-श्रेणीबद्ध वलय, जहाँ $\mathbb {N}$ जोड़ के अंतर्गत प्राकृतिक संख्याओं का मोनोइड है। अनुक्रमणिका समूह को प्रतिस्थापित करके श्रेणीबद्ध मापांक और बीजगणित की परिभाषाओं को $\mathbb {N}$ किसी भी मोनोइड G के साथ इस तरह बढ़ाया जा सकता है ।

टिप्पणियां:

• यदि हमें यह आवश्यक नहीं है कि वलय में एक पहचान तत्व हो, तो अर्धसमूह मोनोइड्स का स्थान ले सकते हैं।

उदाहरण:

• समूह स्वाभाविक रूप से संबंधित समूह वलय को श्रेणी करता है इसी तरह, मोनोइड वलय को संबंधित मोनॉइड द्वारा वर्गीकृत किया जाता है।
• (साहचर्य) उत्तम बीजगणित के लिए एक और शब्द $\mathbb {Z} _{2}$-वर्गीकृत बीजगणित है। उदाहरणों में क्लिफ़ोर्ड बीजगणित सम्मिलत हैं। यहां सजातीय तत्व या तो घात 0 (सम) या 1 (विषम) के हैं।

प्रतिविनिमेय

कुछ श्रेणीबद्ध वलय (या बीजगणित) प्रतिविनिमेय संरचना से संपन्न होते हैं। इस धारणा के लिए श्रेणी के मोनॉइड के योगशील मोनॉइड $\mathbb {Z} /2\mathbb {Z}$ में एक समरूपता दो तत्वों वाला क्षेत्र की आवश्यकता होती है।विशेष रूप से, एक हस्ताक्षरित मोनॉइड में $(\Gamma ,\varepsilon )$ जोड़ी होती है जहाँ $\Gamma$ एक मोनोइड है और $\varepsilon \colon \Gamma \to \mathbb {Z} /2\mathbb {Z}$ योगात्मक मोनोइड्स का एक समरूपता है। एक प्रतिविनिमेय $\Gamma$-श्रेणीबद्ध वलय एक वलय A है जिसे Γ के संबंध में इस प्रकार वर्गीकृत किया गया है:

$xy=(-1)^{\varepsilon (\deg x)\varepsilon (\deg y)}yx,$

सभी सजातीय तत्वों x और y के लिए है।

उदाहरण

• एक बाह्य बीजगणित एक प्रतिविनिमेय बीजगणित का एक उदाहरण है, जिसे संरचना के संबंध में वर्गीकृत किया गया $(\mathbb {Z} ,\varepsilon )$ है जहाँ $\varepsilon \colon \mathbb {Z} \to \mathbb {Z} /2\mathbb {Z}$ भागफल मानचित्र है।
• एक उत्तम विनिमेय बीजगणित (जिसे कभी-कभी तिरछा-विनिमेय संबद्ध वलय भी कहा जाता है) एक प्रतिविनिमेय के समान ही है $(\mathbb {Z} ,\varepsilon )$-श्रेणीबद्ध बीजगणित, जहाँ $\varepsilon$ की योगात्मक संरचना का पहचान $\mathbb {Z} /2\mathbb {Z}$ मानचित्र है।

श्रेणीबद्ध मोनॉइड

स्वाभाविक रूप से, $R_{n}$ द्वारा उत्पन्न, योज्य भाग का उपयोग किए बिना श्रेणीबद्ध मोनॉइड श्रेणीबद्ध वलय $\bigoplus _{n\in \mathbb {N} _{0}}R_{n}$ का उपसमूह है। अर्थात् श्रेणीबद्ध मोनॉइड $\bigcup _{n\in \mathbb {N} _{0}}R_{n}$ के तत्वों का समुच्चय है .

औपचारिक रूप से, श्रेणीबद्ध मोनॉइड $(M,\cdot )$ मोनोइड एक श्रेणीकरण फलन के साथ $\phi :M\to \mathbb {N} _{0}$ है.जो कि $\phi (m\cdot m')=\phi (m)+\phi (m')$है। ध्यान दें कि $1_{M}$ का श्रेणीकरण आवश्यक रूप से 0 है। कुछ लेखक इसके अलावा यह भी अनुरोध करते हैं कि $\phi (m)\neq 0$ जब m पहचान नहीं है।

यह मानते हुए कि अतिरिक्त-पहचान तत्वों के श्रेणीकरण अतिरिक्त-शून्य हैं, श्रेणीकरण n के तत्वों की संख्या अधिकतम $g^{n}$ है, जहां G मोनॉयड के उत्पादक समूह की प्रमुखता है। इसलिए श्रेणीकरण n या उससे कम के तत्वों की संख्या अधिकतम $n+1$ (के लिए $g=1$) या ${\frac {g^{n+1}-1}{g-1}}$ है। अन्यथा वास्तव में, ऐसा प्रत्येक तत्व G के अधिकतम n तत्वों का गुणनफल ${\frac {g^{n+1}-1}{g-1}}$ ऐसे उत्पाद उपस्थित हैं. इसी प्रकार, पहचान तत्व को दो अतिरिक्त-पहचान तत्वों के उत्पाद के रूप में नहीं लिखा जा सकता है। अर्थात्, ऐसे श्रेणीबद्ध मोनॉइड में कोई इकाई विभाजक नहीं होता है।

श्रेणीबद्ध मोनॉइड द्वारा अनुक्रमित पावर श्रृंखला

See also: Novikov ring

यह धारणा शक्ति श्रृंखला वलय की धारणा को विस्तारित करने की अनुमति देती है। अनुक्रमणिका परिवार होने के बजाय $\mathbb {N}$, अनुक्रमण परिवार कोई भी श्रेणीबद्ध मोनॉइड हो सकता है, यह मानते हुए कि प्रत्येक पूर्णांक n के लिए घात n के तत्वों की संख्या सीमित है।

अधिक औपचारिक रूप से, आइए $(K,+_{K},\times _{K})$ एक मनमाना अर्ध वलय हो और $(R,\cdot ,\phi )$ एक श्रेणीबद्ध मोनॉइड है। तब $K\langle \langle R\rangle \rangle$ R द्वारा अनुक्रमित K में गुणांकों के साथ शक्ति श्रृंखला के अर्धवलय को दर्शाता है। इसके तत्व R से K तक कार्य हैं। दो तत्वों का योग $s,s'\in K\langle \langle R\rangle \rangle$ बिंदुवार परिभाषित किया गया है, यह फलन भेज रहा है $m\in R$ को $s(m)+_{K}s'(m)$, और उत्पाद भेजने वाला फलन है $m\in R$ अनंत राशि तक $\sum _{p,q\in R \atop p\cdot q=m}s(p)\times _{K}s'(q)$. इस योग को सही ढंग से परिभाषित किया गया है (अर्थात, परिमित) क्योंकि, प्रत्येक m के लिए, जोड़े की केवल एक सीमित संख्या होती है (p, q) ऐसा है कि pq = m.

उदाहरण

औपचारिक भाषा सिद्धांत में, वर्णमाला A दिए जाने पर, A के ऊपर शब्दों के मुक्त मोनोइड को एक श्रेणीबद्ध मोनोइड के रूप में माना जा सकता है, जहां किसी शब्द का श्रेणीकरण उसकी लंबाई है।

यह भी देखें

• संबंधित श्रेणीबद्ध वलय
• विभेदक श्रेणीबद्ध बीजगणित
• साफ़ बीजगणित, एक सामान्यीकरण
• श्रेणीबद्ध (गणित)
• श्रेणीबद्ध श्रेणी
• श्रेणीबद्ध दिष्‍ट स्थान
• टेंसर बीजगणित
• विभेदक श्रेणीबद्ध मापांक

संदर्भ

• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556.
• Bourbaki, N. (1974). "Ch. 1–3, 3 §3". Algebra I. ISBN 978-3-540-64243-5.
• Steenbrink, J. (1977). "Intersection form for quasi-homogeneous singularities" (PDF). Compositio Mathematica. 34 (2): 211–223 See p. 211. ISSN 0010-437X.

Matsumura, H. (1989). "5 Dimension theory §S3 Graded rings, the Hilbert function and the Samuel function". Commutative Ring Theory. Cambridge Studies in Advanced Mathematics. Vol. 8. Translated by Reid, M. (2nd ed.). Cambridge University Press. ISBN 978-1-107-71712-1.