ग्रोथेंडिक समूह

गणित में, ग्रोथेंडिक समूह, या भिन्नताओं का समूह, एक क्रमविनिमेय मोनोइड का $M$ एक निश्चित एबेलियन समूह है। इस एबेलियन समूह का निर्माण किया गया है $M$ सबसे सार्वभौमिक तरीके से, इस अर्थ में कि कोई एबेलियन समूह जिसमें एक समूह समरूपता छवि (गणित) है $M$ के ग्रोथेंडिक समूह की एक होमोमोर्फिक छवि भी शामिल होगी $M$. ग्रोथेंडिक समूह निर्माण श्रेणी सिद्धांत में एक विशिष्ट मामले से अपना नाम लेता है, जिसे अलेक्जेंडर ग्रोथेंडिक ने ग्रोथेंडिक-रीमैन-रोच प्रमेय के अपने गणितीय प्रमाण में पेश किया, जिसके परिणामस्वरूप के-सिद्धांत का विकास हुआ। यह विशिष्ट मामला एक एबेलियन श्रेणी के ऑब्जेक्ट (श्रेणी सिद्धांत) के समरूपता वर्गों का मोनोइड है, इसके संचालन के प्रत्यक्ष योग के साथ।

कम्यूटेटिव मोनॉइड
का ग्रोथेंडिक समूह

प्रेरणा
क्रमविनिमेय मोनॉइड दिया है $M$, सबसे सामान्य एबेलियन समूह $K$ से उत्पन्न होता है $M$ के सभी तत्वों के व्युत्क्रम तत्वों को शुरू करके बनाया जाना है $M$. ऐसा एबेलियन समूह $K$ हमेशा मौजूद है; इसे ग्रोथेंडिक समूह कहा जाता है $M$. यह एक निश्चित सार्वभौमिक संपत्ति की विशेषता है और इसे ठोस रूप से भी बनाया जा सकता है $M$.

यदि $M$ रद्द करने की संपत्ति नहीं है (अर्थात, मौजूद है $a, b$ तथा $c$ में $M$ ऐसा है कि $$a\ne b$$ तथा $$ac=bc$$), फिर ग्रोथेंडिक समूह $K$ समाहित नहीं कर सकता $M$. विशेष रूप से, एक मोनोइड ऑपरेशन के मामले में गुणक रूप से निरूपित होता है जिसमें एक अवशोषित तत्व संतोषजनक होता है $$0.x=0$$ हरएक के लिए $$x\in M,$$ ग्रोथेंडिक समूह केवल एक तत्व के साथ तुच्छ समूह (समूह (गणित)) होना चाहिए, क्योंकि किसी के पास होना चाहिए
 * $$x=1.x=(0^{-1}.0).x = 0^{-1}.(0.x)=0^{-1}.(0.0)=(0^{-1}.0).0=1.0=0$$

हरएक के लिए $x$.

सार्वभौमिक संपत्ति
मान लीजिए कि M एक क्रमविनिमेय मोनॉइड है। इसका ग्रोथेंडिक समूह एक एबेलियन समूह K है जिसमें एक मोनोइड समरूपता है $$i \colon M \to K$$ निम्नलिखित सार्वभौमिक संपत्ति को संतुष्ट करना: किसी भी मोनोइड होमोमोर्फिज्म के लिए $$f \colon M \to A$$ एम से एबेलियन समूह ए तक, एक अद्वितीय समूह समरूपता है $$g \colon K \to A$$ ऐसा है कि $$f = g \circ i.$$ यह इस तथ्य को व्यक्त करता है कि कोई भी एबेलियन समूह ए जिसमें एम की एक होमोमोर्फिक छवि होती है, उसमें के की एक होमोमोर्फिक छवि भी शामिल होगी, के सबसे सामान्य एबेलियन समूह है जिसमें एम की एक होमोमोर्फिक छवि होती है।

स्पष्ट निर्माण
कम्यूटेटिव मोनॉइड एम के ग्रोथेंडिक ग्रुप के के निर्माण के लिए, एक कार्टेशियन उत्पाद बनाता है $$M \times M$$. दो निर्देशांक सकारात्मक भाग और नकारात्मक भाग का प्रतिनिधित्व करने के लिए हैं, इसलिए $$(m_1, m_2)$$ से मेल खाती है $$m_1- m_2$$ के. में

जोड़ चालू $$M\times M$$ समन्वय के अनुसार परिभाषित किया गया है:


 * $$(m_1, m_2) + (n_1,n_2) = (m_1+n_1, m_2+n_2)$$.

अगला एक तुल्यता संबंध को परिभाषित करता है $$M \times M$$, ऐसा है कि $$(m_1, m_2)$$ के बराबर है $$(n_1, n_2)$$ अगर, एम के कुछ तत्व के लिए, एम1 + एन2 + क = म2 + एन1 + k (तत्व k आवश्यक है क्योंकि रद्दीकरण कानून सभी मोनोइड्स में नहीं होता है)। तत्व का समतुल्य वर्ग (एम1, एम2) द्वारा दर्शाया गया है [(एम1, एम2)]। एक K को तुल्यता वर्गों के समुच्चय के रूप में परिभाषित करता है। चूँकि M × M पर जोड़ संक्रिया हमारे तुल्यता संबंध के अनुकूल है, इसलिए K पर योग प्राप्त होता है, और K एक एबेलियन समूह बन जाता है। के की पहचान तत्व [(0, 0)] है, और [(एम1, एम2)] है [(एम2, एम1)]। समरूपता $$i:M\to K$$ तत्व m को [(m, 0)] भेजता है।

वैकल्पिक रूप से, M के ग्रोथेंडिक समूह K का निर्माण समूह की प्रस्तुति का उपयोग करके भी किया जा सकता है: द्वारा इंगित करना $$(Z(M), +')$$ समुच्चय M द्वारा उत्पन्न मुक्त एबेलियन समूह, ग्रोथेंडिक समूह K का भागफल समूह है $$Z(M)$$ द्वारा एक समूह के उपसमूह जनरेटिंग सेट द्वारा $$\{(x+'y)-'(x+y)\mid x,y\in M\}$$. (यहाँ +' और -' मुक्त एबेलियन समूह में जोड़ और घटाव को दर्शाता है $$Z(M)$$ जबकि + मोनॉइड एम में जोड़ को दर्शाता है।) इस निर्माण का लाभ यह है कि यह किसी भी semigroup एम के लिए किया जा सकता है और एक समूह पैदा करता है जो सेमीग्रुप्स के लिए संबंधित सार्वभौमिक गुणों को संतुष्ट करता है, यानी सबसे सामान्य और सबसे छोटा समूह जिसमें होमोमोर्फिक छवि होती है एम एंड हेयरस्प;. इसे सेमीग्रुप के समूह समापन या सेमीग्रुप के अंशों के समूह के रूप में जाना जाता है।

गुण
श्रेणी सिद्धांत की भाषा में, कोई भी सार्वभौमिक संपत्ति निर्माण एक फ़ैक्टर को जन्म देता है; one इस प्रकार एबेलियन समूहों की श्रेणी के लिए कम्यूटेटिव मोनोइड्स की श्रेणी (गणित) से एक फ़ैक्टर प्राप्त करता है जो कम्यूटेटिव मोनोइड एम को अपने ग्रोथेंडिक समूह के को भेजता है। यह ऑपरेटर एबेलियन समूहों की श्रेणी से भुलक्कड़ फ़ंक्टर के लिए आसन्न फ़ैक्टर है। क्रमविनिमेय मोनोइड्स की।

क्रमविनिमेय मोनॉइड M के लिए, मानचित्र i : M → K अंतःक्षेपी है यदि और केवल यदि M में रद्दीकरण गुण है, और यह विशेषण है यदि और केवल यदि M पहले से ही एक समूह है।

उदाहरण: पूर्णांक
ग्रोथेंडिक समूह का सबसे आसान उदाहरण पूर्णांकों का निर्माण है $$\Z$$ (योगात्मक) प्राकृतिक संख्या से $$\N$$. पहला यह देखता है कि प्राकृतिक संख्याएं (0 सहित) सामान्य जोड़ के साथ वास्तव में एक कम्यूटेटिव मोनॉयड बनाती हैं $$(\N, +).$$ अब जब कोई ग्रोथेंडिक समूह निर्माण का उपयोग करता है तो वह प्राकृतिक संख्याओं के बीच औपचारिक अंतर प्राप्त करता है जैसे तत्व n - m और एक के पास समानता संबंध होता है


 * $$n - m \sim n' - m' \iff n + m' + k = n'+ m + k$$ कुछ के लिए $$k \iff n + m' = n' + m$$.

अब परिभाषित करें


 * $$\forall n \in \N: \qquad \begin{cases} n := [n - 0] \\ -n := [0 - n] \end{cases}$$

यह पूर्णांकों को परिभाषित करता है $$\Z$$. दरअसल, प्राकृतिक संख्याओं से पूर्णांक प्राप्त करने के लिए यह सामान्य निर्माण है। पूर्णांक देखें#निर्माण| अधिक विस्तृत विवरण के लिए पूर्णांक के तहत निर्माण।

उदाहरण: धनात्मक परिमेय संख्या
इसी तरह, गुणक कम्यूटेटिव मोनोइड का ग्रोथेंडिक समूह $$(\N^*, \times)$$ (1 से शुरू) में औपचारिक अंश होते हैं $$p/q$$ समानता के साथ
 * $$p/q \sim p'/q' \iff pq'r = p'qr $$ कुछ के लिए $$r \iff pq' = p'q$$

जो निश्चित रूप से धनात्मक परिमेय संख्याओं से पहचाना जा सकता है।

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

उदाहरण: रिंग का ग्रोथेंडिक समूह
शून्यवाँ बीजगणितीय K समूह $$K_0(R)$$ एक (जरूरी नहीं कि क्रमविनिमेय अंगूठी) रिंग (गणित) R मोनोइड का ग्रोथेंडिक समूह है जिसमें मॉड्यूल के प्रत्यक्ष योग द्वारा दिए गए मोनोइड ऑपरेशन के साथ R के ऊपर सूक्ष्मता से उत्पन्न मॉड्यूल प्रक्षेपी मॉड्यूल मॉड्यूल (गणित) के आइसोमोर्फिज्म वर्ग शामिल हैं। फिर $$K_0$$ अंगूठियों की श्रेणी से लेकर एबेलियन समूहों तक एक सहसंयोजक फ़ंक्टर है।

पिछले दो उदाहरण संबंधित हैं: मामले पर विचार करें जहां $$R = C^\infty(M)$$ एक कॉम्पैक्ट मैनिफोल्ड एम पर जटिल संख्या-मूल्यवान सुचारू कार्यों की अंगूठी है। इस मामले में प्रक्षेपी आर-मॉड्यूल एम (सेरे-स्वान प्रमेय द्वारा) वेक्टर बंडलों के लिए दोहरी (श्रेणी सिद्धांत) हैं। इस प्रकार $$K_0(R)$$ तथा $$K_0(M)$$ एक ही समूह हैं।

परिभाषा
ग्रोथेंडिक समूह नाम का एक अन्य निर्माण निम्न है: मान लें कि आर किसी क्षेत्र (गणित) के या अधिक आम तौर पर एक मतलब अंगूठी पर एक परिमित-आयामी बीजगणित है। फिर ग्रोथेंडिक समूह को परिभाषित करें $$G_0(R)$$ सेट द्वारा उत्पन्न एबेलियन समूह के रूप में $$\{[X] \mid X \in R\text{-mod}\}$$ अंतिम रूप से उत्पन्न आर-मॉड्यूल के आइसोमोर्फिज्म वर्ग और निम्नलिखित संबंध: हर छोटे सटीक अनुक्रम के लिए


 * $$0 \to A \to B \to C \to 0$$

आर-मॉड्यूल का, संबंध जोड़ें


 * $$[A] - [B] + [C] = 0.$$

इस परिभाषा का तात्पर्य है कि किसी भी दो सूक्ष्म रूप से उत्पन्न आर-मॉड्यूल एम और एन के लिए, $$[M \oplus N] = [M] + [N]$$, विभाजित सटीक अनुक्रम लघु सटीक अनुक्रम के कारण


 * $$ 0 \to M \to M \oplus N \to N \to 0. $$

उदाहरण
K को एक क्षेत्र होने दें। फिर ग्रोथेंडिक समूह $$G_0(K)$$ प्रतीकों द्वारा उत्पन्न एक एबेलियन समूह है $$[V]$$ किसी परिमित-विम K-वेक्टर समष्टि V के लिए। वास्तव में, $$G_0(K)$$ के लिए समरूप है $$\Z$$ जिसका जनक तत्व है $$[K]$$. यहाँ, प्रतीक $$[V]$$ एक परिमित-आयामी के-वेक्टर अंतरिक्ष वी के रूप में परिभाषित किया गया है $$[V] = \dim_K V$$, सदिश समष्टि V का आयाम। मान लीजिए कि किसी के पास K-सदिश समष्टियों का निम्नलिखित संक्षिप्त सटीक क्रम है।


 * $$0 \to V \to T \to W \to 0$$

चूंकि वेक्टर रिक्त स्थान का कोई भी छोटा सटीक अनुक्रम विभाजित होता है, इसलिए यह धारण करता है $$T \cong V \oplus W $$. वास्तव में, किन्हीं दो परिमित-विम सदिश समष्टियों V और W के लिए निम्नलिखित मान्य है:


 * $$\dim_K(V \oplus W) = \dim_K(V) + \dim_K(W)$$

उपरोक्त समानता इसलिए प्रतीक की स्थिति को संतुष्ट करती है $$[V]$$ ग्रोथेंडिक समूह में।


 * $$[T] = [V \oplus W] = [V] + [W]$$

ध्यान दें कि किन्हीं भी दो तुल्याकारी परिमित-विमीय K-वेक्टर समष्टियों का आयाम समान होता है। इसके अलावा, कोई भी दो परिमित-आयामी K-वेक्टर रिक्त स्थान V और W एक ही आयाम के एक दूसरे के लिए आइसोमोर्फिक हैं। वास्तव में, प्रत्येक परिमित n-विमीय K-वेक्टर समष्टि V के लिए तुल्याकारी है $$K^{\oplus n}$$. पिछले पैराग्राफ से अवलोकन इसलिए निम्नलिखित समीकरण को सिद्ध करता है:


 * $$[V] = \left[ K^{\oplus n} \right] = n[K]$$

इसलिए, हर प्रतीक $$[V]$$ तत्व से उत्पन्न होता है $$[K]$$ पूर्णांक गुणांक के साथ, जिसका अर्थ है कि $$G_0(K)$$ के लिए आइसोमॉर्फिक है $$\Z$$ जनरेटर के साथ $$[K]$$.

अधिक आम तौर पर, चलो $$\Z$$ पूर्णांकों का समुच्चय हो। ग्रोथेंडिक समूह $$G_0(\Z)$$ प्रतीकों द्वारा उत्पन्न एक एबेलियन समूह है $$[A]$$ किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह ए के लिए। सबसे पहले यह नोट किया जाता है कि कोई भी परिमित एबेलियन समूह जी संतुष्ट करता है $$[G] = 0$$. निम्नलिखित संक्षिप्त सटीक अनुक्रम धारण करता है, जहां मानचित्र $$\Z \to \Z$$ n से गुणा है।


 * $$0 \to \Z \to \Z \to \Z /n\Z \to 0$$

सटीक क्रम का तात्पर्य है $$[\Z /n\Z] = [\Z] - [\Z] = 0$$, इसलिए प्रत्येक चक्रीय समूह का प्रतीक 0 के बराबर होता है। इसका अर्थ यह है कि प्रत्येक परिमित आबेली समूह G संतुष्ट करता है $$[G] = 0$$ परिमित एबेलियन समूहों के मौलिक प्रमेय द्वारा।

निरीक्षण करें कि परिमित रूप से उत्पन्न एबेलियन समूह#वर्गीकरण द्वारा, प्रत्येक एबेलियन समूह ए एक मरोड़ उपसमूह के प्रत्यक्ष योग के लिए आइसोमोर्फिक है और एक मरोड़ मुक्त एबेलियन समूह आइसोमोर्फिक है $$\Z^r$$ कुछ गैर-ऋणात्मक पूर्णांक r के लिए, A के एबेलियन समूह की कोटि कहलाती है और इसे द्वारा निरूपित किया जाता है $$r = \mbox{rank}(A)$$. प्रतीक को परिभाषित कीजिए $$[A]$$ जैसा $$[A] = \mbox{rank}(A)$$. फिर ग्रोथेंडिक समूह $$G_0(\Z)$$ के लिए आइसोमॉर्फिक है $$\Z$$ जनरेटर के साथ $$[\Z].$$ दरअसल, पिछले पैराग्राफ से किए गए अवलोकन से पता चलता है कि प्रत्येक एबेलियन ग्रुप ए का अपना प्रतीक है $$[A]$$ प्रतीक के समान $$[\Z^r] = r[\Z]$$ कहाँ पे $$r = \mbox{rank}(A)$$. इसके अलावा, एबेलियन समूह का रैंक प्रतीक की शर्तों को पूरा करता है $$[A]$$ ग्रोथेंडिक समूह के। मान लीजिए कि एबेलियन समूहों का निम्न संक्षिप्त सटीक अनुक्रम है:


 * $$0 \to A \to B \to C \to 0$$

फिर परिमेय संख्याओं के साथ एबेलियन समूहों का टेंसर उत्पाद $$\Q$$ निम्नलिखित समीकरण का तात्पर्य है।


 * $$0 \to A \otimes_\Z \Q \to B \otimes_\Z \Q \to C \otimes_\Z \Q \to 0$$

चूंकि ऊपर का एक छोटा सटीक क्रम है $$\Q$$-वेक्टर रिक्त स्थान, अनुक्रम विभाजित होता है। इसलिए, निम्नलिखित समीकरण है।


 * $$\dim_\Q (B \otimes_\Z \Q ) = \dim_\Q (A \otimes_\Z \Q) + \dim_\Q (C \otimes_\Z \Q )$$

दूसरी ओर, एक का निम्नलिखित संबंध भी है; अधिक जानकारी के लिए, एबेलियन समूह का रैंक देखें।


 * $$\operatorname{rank}(A) = \dim_\Q (A \otimes_\Z \Q )$$

इसलिए, निम्नलिखित समीकरण धारण करता है:


 * $$[B] = \operatorname{rank}(B) = \operatorname{rank}(A) + \operatorname{rank}(C) = [A] + [C]$$

इसलिए एक ने दिखाया है $$G_0(\Z)$$ के लिए आइसोमोर्फिक है $$\Z$$ जनरेटर के साथ $$[\Z].$$

सार्वभौम संपत्ति
ग्रोथेंडिक समूह एक सार्वभौमिक संपत्ति को संतुष्ट करता है। एक प्रारंभिक परिभाषा बनाता है: एक कार्य $$\chi$$ समरूपता वर्गों के समुच्चय से एबेलियन समूह तक $$X$$ योगात्मक कहा जाता है अगर, प्रत्येक सटीक अनुक्रम के लिए $$0 \to A \to B \to C \to 0$$, किसी के पास $$\chi(A)-\chi(B)+\chi(C)= 0.$$ फिर, किसी भी योगात्मक कार्य के लिए $$\chi: R\text{-mod} \to X$$, एक अद्वितीय समूह समरूपता है $$f:G_0(R) \to X$$ ऐसा है कि $$\chi$$ के माध्यम से कारक$$f$$और वह नक्शा जो प्रत्येक वस्तु को लेता है $$\mathcal A$$ में अपने समरूपता वर्ग का प्रतिनिधित्व करने वाले तत्व के लिए $$G_0(R).$$ इसका सीधा मतलब है $$f$$ समीकरण को संतुष्ट करता है $$f([V])=\chi(V)$$ प्रत्येक निश्चित रूप से उत्पन्न के लिए $$R$$-मापांक $$V$$ तथा $$f$$ ऐसा करने वाला एकमात्र समूह समरूपता है।

योगात्मक कार्यों के उदाहरण प्रतिनिधित्व सिद्धांत से चरित्र सिद्धांत हैं: यदि $$R$$ परिमित आयामी है $$k$$-बीजगणित, तब कोई चरित्र को जोड़ सकता है $$\chi_V: R \to k$$ प्रत्येक परिमित-आयामी के लिए $$R$$-मापांक $$V: \chi_V(x)$$ के ट्रेस (रैखिक बीजगणित) के रूप में परिभाषित किया गया है $$k$$-रैखिक नक्शा जो तत्व के साथ गुणन द्वारा दिया जाता है $$x \in R$$ पर $$V$$.

एक उपयुक्त आधार (रैखिक बीजगणित) का चयन करके और संबंधित मैट्रिक्स (गणित) को ब्लॉक त्रिकोणीय रूप में लिखकर आसानी से देखा जा सकता है कि वर्ण कार्य उपरोक्त अर्थों में योगात्मक हैं। सार्वभौमिक संपत्ति के द्वारा यह हमें एक सार्वभौमिक चरित्र देता है $$\chi: G_0(R)\to \mathrm{Hom}_K(R,K)$$ ऐसा है कि $$\chi([V]) = \chi_V$$.

यदि $$k=\Complex$$ तथा $$R$$ समूह की अंगूठी है $$\Complex[G]$$ एक परिमित समूह का $$G$$ तब यह वर्ण मानचित्र एक प्राकृतिक समरूपता भी देता है $$G_0(\Complex[G])$$ और चरित्र की अंगूठी $$Ch(G)$$. परिमित समूहों के मॉड्यूलर प्रतिनिधित्व सिद्धांत में, $$k$$ एक क्षेत्र हो सकता है $$\overline{\mathbb{F}_p},$$ पी तत्वों के साथ परिमित क्षेत्र का बीजगणितीय समापन। इस मामले में समान रूप से परिभाषित मानचित्र जो प्रत्येक से जुड़ता है $$k[G]$$-मॉड्यूल इसका ब्राउर चरित्र भी एक प्राकृतिक समरूपता है $$G_0(\overline{\mathbb{F}_p}[G])\to \mathrm{BCh}(G)$$ Brauer पात्रों की अंगूठी पर। इस तरह ग्रोथेंडिक समूह प्रतिनिधित्व सिद्धांत में दिखाई देते हैं।

यह सार्वभौम गुण भी बनाता है $$G_0(R)$$ सामान्यीकृत यूलर विशेषताओं का 'सार्वभौमिक रिसीवर'। विशेष रूप से, वस्तुओं के प्रत्येक बंधे हुए परिसर के लिए $$R\text{-mod}$$
 * $$\cdots \to 0 \to 0 \to A^n \to A^{n+1} \to \cdots \to A^{m-1} \to A^m \to 0 \to 0 \to \cdots$$

एक में एक विहित तत्व है


 * $$[A^*] = \sum_i (-1)^i [A^i] = \sum_i (-1)^i [H^i (A^*)] \in G_0(R).$$

वास्तव में ग्रोथेंडिक समूह को मूल रूप से यूलर विशेषताओं के अध्ययन के लिए पेश किया गया था।

सटीक श्रेणियों के ग्रोथेंडिक समूह
इन दो अवधारणाओं का एक सामान्य सामान्यीकरण एक सटीक श्रेणी के ग्रोथेंडिक समूह द्वारा दिया गया है $$\mathcal{A}$$. सीधे शब्दों में कहें, एक सटीक श्रेणी एक योगात्मक श्रेणी है जिसमें विशिष्ट लघु अनुक्रम A → B → C का एक वर्ग होता है। विशिष्ट अनुक्रमों को सटीक अनुक्रम कहा जाता है, इसलिए यह नाम है। इस प्रतिष्ठित वर्ग के लिए सटीक सिद्धांत ग्रोथेंडिक समूह के निर्माण के लिए मायने नहीं रखते।

ग्रोथेंडिक समूह को उसी तरह से परिभाषित किया गया है जैसे पहले एबेलियन समूह को श्रेणी के प्रत्येक (समरूपता वर्ग) वस्तु (ओं) के लिए एक जनरेटर [M&hairsp;] के साथ परिभाषित किया गया था। $$\mathcal{A}$$ और एक रिश्ता


 * $$[A]-[B]+[C] = 0$$

प्रत्येक सटीक क्रम के लिए


 * $$A\hookrightarrow B\twoheadrightarrow C$$.

वैकल्पिक रूप से और समतुल्य रूप से, एक सार्वभौमिक संपत्ति का उपयोग करके ग्रोथेंडिक समूह को परिभाषित किया जा सकता है: एक नक्शा $$\chi: \mathrm{Ob}(\mathcal{A})\to X$$ से $$\mathcal{A}$$ एबेलियन समूह में एक्स को प्रत्येक सटीक अनुक्रम के लिए योगात्मक कहा जाता है $$A\hookrightarrow B\twoheadrightarrow C$$ किसी के पास $$\chi(A)-\chi(B)+\chi(C)=0$$; एक एबेलियन समूह G एक साथ एक योगात्मक मानचित्रण के साथ $$\phi: \mathrm{Ob}(\mathcal{A})\to G$$ का ग्रोथेंडिक समूह कहा जाता है $$\mathcal{A}$$ iff हर योगात्मक मानचित्र $$\chi: \mathrm{Ob}(\mathcal{A})\to X$$ विशिष्ट रूप से कारक $$\phi$$.

प्रत्येक एबेलियन श्रेणी एक सटीक श्रेणी है यदि कोई सटीक की मानक व्याख्या का उपयोग करता है। यदि कोई चुनता है तो यह पिछले खंड में ग्रोथेंडिक समूह की धारणा देता है $$\mathcal{A} := R\text{-mod}$$ सूक्ष्म रूप से उत्पन्न आर-मॉड्यूल की श्रेणी के रूप में $$\mathcal{A}$$. यह वास्तव में एबेलियन है क्योंकि आर को पिछले खंड में आर्टिनियन (और इसलिए नोथेरियन रिंग) माना गया था।

दूसरी ओर, प्रत्येक योजक श्रेणी भी सटीक होती है यदि कोई उन्हें और केवल उन अनुक्रमों को सटीक घोषित करता है जिनके रूप हैं $$A\hookrightarrow A\oplus B\twoheadrightarrow B$$ विहित समावेशन और प्रक्षेपण morphisms के साथ। यह प्रक्रिया क्रमविनिमेय मोनोइड के ग्रोथेंडिक समूह का उत्पादन करती है $$(\mathrm{Iso}(\mathcal{A}),\oplus)$$ पहले अर्थ में (यहाँ $$\mathrm{Iso}(\mathcal{A})$$ का अर्थ है समरूपता वर्गों के सेट [सभी आधारभूत मुद्दों को अनदेखा करना] $$\mathcal{A}$$.)

त्रिकोणीय श्रेणियों के ग्रोथेंडिक समूह
आगे भी सामान्यीकरण करते हुए त्रिकोणीय श्रेणी के लिए ग्रोथेंडिक समूह को परिभाषित करना भी संभव है। निर्माण अनिवार्य रूप से समान है लेकिन संबंधों का उपयोग करता है [एक्स] - [वाई] + [जेड] = 0 जब भी एक विशिष्ट त्रिभुज एक्स → वाई → जेड → एक्स [1] होता है।

अन्य उदाहरण

 * एक क्षेत्र (गणित) k पर परिमित-आयामी वेक्टर रिक्त स्थान की एबेलियन श्रेणी में, दो वेक्टर रिक्त स्थान आइसोमॉर्फिक हैं यदि और केवल यदि उनके समान आयाम हैं। इस प्रकार, सदिश समष्टि के लिए V


 * $$[V] = \big[ k^{\dim(V)} \big] \in K_0 (\mathrm{Vect}_{\mathrm{fin}}).$$ : इसके अलावा, एक सटीक अनुक्रम के लिए


 * $$0 \to k^l \to k^m \to k^n \to 0$$
 * एम = एल + एन, इसलिए


 * $$\left[ k^{l+n} \right] = \left[ k^l \right] + \left[ k^n \right] = (l+n)[k].$$
 * इस प्रकार


 * $$[V] = \dim(V)[k],$$
 * तथा $$K_0(\mathrm{Vect}_{\mathrm{fin}})$$ के लिए आइसोमोर्फिक है $$\Z$$ और द्वारा उत्पन्न होता है $$[k].$$ अंत में परिमित-आयामी वेक्टर रिक्त स्थान V&hairsp;* के परिबद्ध परिसर के लिए,


 * $$[V^*] = \chi(V^*)[k]$$
 * कहाँ पे $$\chi$$ द्वारा परिभाषित मानक यूलर विशेषता है


 * $$\chi(V^*)= \sum_i (-1)^i \dim V = \sum_i (-1)^i \dim H^i(V^*).$$


 * चक्राकार स्थान के लिए $$(X,\mathcal{O}_X)$$, कोई श्रेणी पर विचार कर सकता है $$\mathcal{A}$$ X के ऊपर सभी स्थानीय रूप से मुक्त शीफ का। $$K_0(X)$$ फिर इस सटीक श्रेणी के ग्रोथेंडिक समूह के रूप में परिभाषित किया जाता है और फिर से यह एक फ़ैक्टर देता है।


 * रिंग्ड स्पेस के लिए $$(X,\mathcal{O}_X)$$, कोई श्रेणी भी परिभाषित कर सकता है $$\mathcal A$$ एक्स पर सभी सुसंगत शीफ की श्रेणी होना। इसमें विशेष मामला शामिल है (यदि रिंग्ड स्पेस एक एफ़िन योजना है) $$\mathcal{A}$$ एक नोथेरियन रिंग आर पर अंतिम रूप से उत्पन्न मॉड्यूल की श्रेणी होने के नाते। दोनों ही मामलों में $$\mathcal{A}$$ एक एबेलियन श्रेणी है और एक फोर्टियोरी एक सटीक श्रेणी है इसलिए उपरोक्त निर्माण लागू होता है।


 * ऐसे मामले में जहां R किसी क्षेत्र पर परिमित-आयामी बीजगणित है, ग्रोथेंडिक समूह $$G_0(R)$$ (अंततः उत्पन्न मॉड्यूल के छोटे सटीक अनुक्रमों के माध्यम से परिभाषित) और $$K_0(R)$$ (परिमित रूप से उत्पन्न प्रोजेक्टिव मॉड्यूल के प्रत्यक्ष योग के माध्यम से परिभाषित) मेल खाता है। वास्तव में, दोनों समूह सरल मॉड्यूल आर-मॉड्यूल के आइसोमोर्फिज्म वर्गों द्वारा उत्पन्न मुक्त एबेलियन समूह के लिए आइसोमोर्फिक हैं।


 * एक और ग्रोथेंडिक समूह है $$G_0$$ एक अंगूठी या एक चक्राकार स्थान जो कभी-कभी उपयोगी होता है। मामले में श्रेणी को रिंग वाली जगह पर सभी सुसंगत शीफ | अर्ध-सुसंगत शीवों की श्रेणी के रूप में चुना जाता है, जो एफाइन योजनाओं के मामले में कुछ रिंग आर पर सभी मॉड्यूल की श्रेणी को कम कर देता है। $$G_0$$ एक कारक नहीं है, लेकिन फिर भी इसमें महत्वपूर्ण जानकारी है।


 * चूँकि (परिबद्ध) व्युत्पन्न श्रेणी त्रिकोणीय है, इसलिए व्युत्पन्न श्रेणियों के लिए ग्रोथेंडिक समूह भी है। इसमें उदाहरण के लिए प्रतिनिधित्व सिद्धांत में अनुप्रयोग हैं। असीमित श्रेणी के लिए ग्रोथेंडिक समूह हालांकि गायब हो जाता है। कुछ जटिल परिमित-आयामी सकारात्मक रूप से वर्गीकृत बीजगणित की एक व्युत्पन्न श्रेणी के लिए असीमित व्युत्पन्न श्रेणी में एक उपश्रेणी होती है जिसमें परिमित-आयामी श्रेणीबद्ध मॉड्यूल की एबेलियन श्रेणी ए होती है जिसका ग्रोथेंडिक समूह ए के ग्रोथेंडिक समूह का क्यू-एडिक पूर्णता है।

यह भी देखें

 * अंशों का क्षेत्र
 * स्थानीयकरण (कम्यूटेटिव बीजगणित)
 * टोपोलॉजिकल के-थ्योरी
 * टोपोलॉजिकल के-थ्योरी की गणना के लिए अतियाह-हिर्जेब्रूच स्पेक्ट्रल सीक्वेंस

संदर्भ

 * Michael F. Atiyah, K-Theory, (Notes taken by D.W.Anderson, Fall 1964), published in 1967, W.A. Benjamin Inc., New York.
 * The Grothendieck Group of Algebraic Vector Bundles; Calculations of Affine and Projective Space
 * Grothendieck Group of a Smooth Projective Complex Curve
 * The Grothendieck Group of Algebraic Vector Bundles; Calculations of Affine and Projective Space
 * Grothendieck Group of a Smooth Projective Complex Curve
 * Grothendieck Group of a Smooth Projective Complex Curve