टेंसर बीजगणित

गणित में, सदिश समष्टि  v  के टेंसर बीजगणित, जिसे T(V) या 'T•(V) ' के रूप में निरूपित किया, V (किसी भी  श्रेणी के) पर  टेन्सर  के  एक क्षेत्र पर बीजगणित  है, जिसमें गुणन  टेंसर गुणनफल होता है। यह V पर  मुक्त बीजगणित  है, बीजगणित से सदिश रिक्त स्थान के लिए  विस्मरण  प्रकार्यक के समीप  छोड़ने के अर्थ में: यह संबंधित  सार्वभौमिक गुण (नीचे देखें) के अर्थ में "सबसे सामान्य" बीजगणित है जिसमें V सम्मिलित है।

टेंसर बीजगणित महत्वपूर्ण है क्योंकि कई अन्य बीजगणित T(V) के भागफल साहचर्य बीजगणित के रूप में उत्पन्न होते हैं। इनमें बाह्य बीजगणित, सममित बीजगणित,  क्लिफोर्ड बीजगणित , वेइल बीजगणित और सार्वभौमिक  घेर बीजगणित सम्मिलित हैं।

टेंसर बीजगणित में भी दो  सहबीजगणित संरचनाएं होती हैं; एक साधारण एक, जो इसे एक द्विबीजगणित  नहीं बनाता है, परन्तु एक कोफ़्री सहबीजगणित की अवधारणा की ओर ले जाता है, और एक अधिक जटिल, जो एक द्विबीजगणित  की उपज देता है, और एक हॉफ बीजगणित संरचना  बनाने के लिए एक प्रतिध्रुव देकर इसे बढ़ाया जा सकता है।

नोट: इस लेख में, सभी बीजगणितों को इकाई बीजगणित और साहचर्य बीजगणित माना जाता है। इकाई को स्पष्ट रूप से सहउत्पाद को परिभाषित करने के लिए आवश्यक है।

संरचना
मान लीजिए V क्षेत्र (गणित)  K पर एक सदिश समष्टि है। किसी भी गैर-नकारात्मक पूर्णांक k के लिए, हम V की k-वीं टेंसर शक्ति को V के टेंसर उत्पाद के रूप में परिभाषित करते हैं, जो स्वयं k बार होता है:
 * $$T^kV = V^{\otimes k} = V\otimes V \otimes \cdots \otimes V.$$

अर्थात, TkV में टेंसर क्रम k के V पर सभी टेन्सर होते हैं। परम्परागत के अनुसार T0V  मूल(क्षेत्र) K  (स्वयं के ऊपर एक आयामी सदिश स्थान के रूप में) है।

फिर हम k = 0,1,2,… के लिए TkV के प्रत्यक्ष योग के रूप में T(V) का संरचना करते हैं।
 * $$T(V)= \bigoplus_{k=0}^\infty T^kV = K\oplus V \oplus (V\otimes V) \oplus (V\otimes V\otimes V) \oplus \cdots.$$

T(V) में गुणन टेंसर उत्पाद द्वारा दिए गए विहित समरूपता
 * $$T^kV \otimes T^\ell V \to T^{k + \ell}V$$

द्वारा निर्धारित किया जाता है, जिसे बाद में सभी T(V) तक रैखिकता द्वारा विस्तारित किया जाता है। इस गुणन नियम का अर्थ है कि टेंसर बीजगणित T(V) स्वाभाविक रूप से  एक क्रमिक बीजगणित है जिसमें TkV  क्रम-k-उपस्थान के रूप में कार्य करता है। उपस्थान जोड़कर  इस श्रेणीकरण को 'z' श्रेणीकरण तक बढ़ाया जा सकता है  $$T^{k}V=\{0\}$$ नकारात्मक पूर्णांक  k के लिए ।

संरचना क्रम विनिमेय  वलय पर किसी भी  मॉड्यूल (गणित) M के टेंसर बीजगणित के लिए एक सरल विधि से सामान्यीकरण करता है। यदि R एक गैर-क्रम विनिमेय  वलय है, तो कोई भी किसी भी R-R  द्विप्रतिरूपक  M के लिए संरचना  कर सकता है। (यह सामान्य R-मॉड्यूल के लिए काम नहीं करता है क्योंकि पुनरावृत्त टेंसर उत्पादों का गठन नहीं किया जा सकता है।)

सहायक और सार्वभौमिक गुण
टेंसर बीजगणित $T(V)$ को सदिश समष्टि $V$ पर मुक्त बीजगणित भी कहा जाता है, और क्रियात्मक है; इसका मतलब है कि प्रतिचित्र  $$V\mapsto T(V)$$  $K$ -सदिश स्थान की  श्रेणी (गणित)  से साहचर्य बीजगणित की  श्रेणी के लिए एक प्रकार्यक बनाने के लिए रैखिक प्रतिचित्रों तक फैली हुई है। इसी प्रकार अन्य  मुक्त संरचनाओं  के साथ,  प्रकार्यक $T$ को  विस्मरण प्रकार्यक  के समीप  छोड़ दिया जाता है जो प्रत्येक सहयोगी $K$- बीजगणित को अपने अंतर्निहित सदिश स्थान में भेजता है।

स्पष्ट रूप से, टेंसर बीजगणित निम्नलिखित सार्वभौमिक गुण को संतुष्ट करता है, जो औपचारिक रूप से इस कथन को व्यक्त करता है कि यह V युक्त सबसे सामान्य बीजगणित है:
 * कोई रैखिक प्रतिचित्र $V$ से एक साहचर्य बीजगणित  $A$ पर $K$ पर  $$f:V \to A$$  विशिष्ट रूप से $T(V)$ से $A$ तक बीजगणित समरूपता के लिए विस्तारित किया जा सकता है जैसा कि निम्नलिखित  क्रम विनिमेय आरेख द्वारा इंगित किया गया है:

यहां $i$ $V$ का $T(V)$ में विहित समावेशन है। अन्य सार्वभौमिक गुणों के लिए, टेंसर बीजगणित $T(V)$ इस गुण को संतुष्ट करने वाले अद्वितीय बीजगणित के रूप में परिभाषित किया जा सकता है (विशेष रूप से, यह एक अद्वितीय समरूपता के लिए अद्वितीय है), परन्तु इस परिभाषा को यह  सिद्ध करने की आवश्यकता है कि इस गुण को संतुष्ट करने वाली वस्तु स्थित है।

उपरोक्त सार्वभौमिक गुण का अर्थ है कि $T$, $K$-बीजगणित  की श्रेणी के लिए, $K$-पर सदिश रिक्त स्थान की श्रेणी से एक प्रकार्यक है। इसका अर्थ है कि $K$-सदिश रिक्त स्थान $U$ और $W$  के बीच किसी भी रैखिक प्रतिचित्र विशिष्ट रूप से T(U) से T(W) तक K-बीजगणित समाकारिता तक विस्तारित होता है।

गैर- क्रम विनिमेय बहुपद
यदि v में परिमित आयाम n है, तो टेंसर बीजगणित को देखने की एक और विधि "n गैर- संगणना चर में k पर बहुपदों के बीजगणित" के रूप में है। यदि हम V के लिए आधार सदिश लेते हैं, तो वे T(V) में गैर- आगंतुक चर (या अनिश्चित (चर)) बन जाते हैं ,जो   संबद्धता,  वितरण विधि और K-रैखिकता  के अतिरिक्त कोई बाधा नहीं है।

ध्यान दें कि V पर बहुपदों का बीजगणित नहीं है $$T(V)$$, यद्यपि $$T(V^*)$$: V पर एक (सजातीय) रैखिक कार्य एक तत्व है $$V^*,$$ उदाहरण के लिए सदिश स्थान पर $$x^1,\dots,x^n$$ निर्देशांक  सहसंयोजक सदिश होते हैं, क्योंकि वे एक सदिश लेते हैं और एक स्केलर (सदिश के दिए गए  समन्वय) देते हैं।

उद्धरण
टेंसर बीजगणित की व्यापकता के कारण, ब्याज के कई अन्य बीजगणितों का संरचना टेंसर बीजगणित के साथ प्रारम्भ करके और फिर उत्पादक पर कुछ संबंधों को लागू करके किया जा सकता है, अर्थात् T(V) के कुछ भागफल सहयोगी बीजगणित का संरचना  करके। इसके उदाहरण बाह्य बीजगणित, सममित बीजगणित, क्लिफोर्ड बीजगणित, वेइल बीजगणित और सार्वभौमिक  घेर बीजगणित हैं।

सहबीजगणित
टेंसर बीजगणित में दो अलग -अलग सहबीजगणित संरचनाएं हैं। एक टेंसर उत्पाद के साथ संगत है, और इस प्रकार इसे एक द्विबीजगणित तक बढ़ाया जा सकता है, और इसे आगे एक प्रतिध्रुव के साथ एक हॉफ बीजगणित संरचना के लिए बढ़ाया जा सकता है। अन्य संरचना, यद्यपि है, इसे एक द्विबीजगणित तक नहीं बढ़ाया जा सकता है। पहले संरचना  को तुरंत नीचे विकसित किया गया है; दूसरे संरचना  कोफ्री सहबीजगणित पर अनुभाग में और नीचे दी गई है।

नीचे दिए गए विकास को वेज प्रतीक का उपयोग करके बाह्य बीजगणित पर समान रूप से अच्छी प्रकार से लागू किया जा सकता है $$\wedge$$ टेंसर प्रतीक के स्थान पर $$\otimes$$; बाह्य बीजगणित के तत्वों को अनुमति देते समय एक संकेत को भी पता  लगाना  चाहिए। यह पत्राचार भी द्विबीजगणित  की परिभाषा के माध्यम से, और एक हॉफ बीजगणित की परिभाषा पर भी रहता है। अर्थात्, बाह्य बीजगणित को भी हॉफ बीजगणित संरचना  दी जा सकती है।

इसी प्रकार, सममित बीजगणित को एक हॉफ बीजगणित की संरचना भी दी जा सकती है, ठीक उसी प्रकार, हर जगह टेंसर उत्पाद को बदलकर $$\otimes$$ सममित टेंसर उत्पाद द्वारा $$\otimes_\mathrm{Sym}$$, अर्थात वह उत्पाद जहां $$v\otimes_\mathrm{Sym} w = w\otimes_\mathrm{Sym} v.$$

प्रत्येक विषय में, यह संभव है क्योंकि वैकल्पिक उत्पाद $$\wedge$$ और सममित उत्पाद $$\otimes_\mathrm{Sym}$$ एक द्विबीजगणित और हॉफ बीजगणित की परिभाषा के लिए आवश्यक स्थिरता स्थितियों का पालन करें; इसे स्पष्ट रूप से नीचे दिए गए विधि से जांचा जा सकता है। जब भी किसी के समीप  इन स्थिरता स्थितियों का पालन करने वाला उत्पाद होता है, तो संरचना से गुजरता है; जहां तक ​​इस प्रकार के उत्पाद ने एक भागफल स्थान को जन्म दिया है, भागफल स्थान हॉफ बीजगणित संरचना को प्राप्त करता है।

श्रेणी सिद्धांत की भाषा में, कोई कहता है कि $K$-सदिश रिक्त स्थान की श्रेणी से $K$-सहयोगी बीजगणित की श्रेणी में एक प्रकार्यक $T$ है। परन्तु सदिश रिक्त स्थान  बाह्य बीजगणित की श्रेणी में ले जाने वाला एक प्रकार्यक  $Λ$ भी है, और सममित बीजगणित के लिए सदिश रिक्त स्थान ले जाने वाला एक प्रकार्यक $Sym$ है। इनमें से प्रत्येक के लिए $T$   प्राकृतिक परिवर्तन है । यह सत्यापित करना कि भागफल हॉफ बीजगणित संरचना को संरक्षित करता है, यह सत्यापित करने के समान है कि प्रतिचित्र निश्चित ही प्राकृतिक हैं।

सहउत्पाद
सहबीजगणित एक सह-उत्पाद या विकर्ण ऑपरेटर को परिभाषित करके प्राप्त किया जाता है


 * $$\Delta: TV\to TV\boxtimes TV$$

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

ऑपरेटर की परिभाषा $$\Delta$$ सबसे आसानी से चरणों में बनाया गया है, पहले तत्वों के लिए इसे परिभाषित करके $$v\in V\subset TV$$ और फिर होमोमोर्फिक रूप से इसे पूरे बीजगणित तक बढ़ाकर।तब कॉप्रोडक्ट के लिए एक उपयुक्त विकल्प है


 * $$\Delta: v \mapsto v\boxtimes 1 + 1\boxtimes v$$

और
 * $$\Delta: 1 \mapsto 1 \boxtimes 1$$

कहां $$1\in K=T^0V\subset TV$$ क्षेत्र की इकाई है $$K$$।रैखिकता से, एक स्पष्ट रूप से है
 * $$\Delta(k)=k(1\boxtimes 1)=k\boxtimes 1=1\boxtimes k$$

सबके लिए $$k\in K.$$ यह सत्यापित करना सीधा है कि यह परिभाषा एक सहबीजगणित के स्वयंसिद्धों को संतुष्ट करती है: अर्थात्, वह है
 * $$(\mathrm{id}_{TV} \boxtimes \Delta) \circ \Delta = (\Delta \boxtimes \mathrm{id}_{TV}) \circ \Delta$$

कहां $$\mathrm{id}_{TV}: x\mapsto x$$ पहचान प्रतिचित्र पर है $$TV$$।निश्चित ही, एक हो जाता है
 * $$((\mathrm{id}_{TV} \boxtimes \Delta) \circ \Delta)(v) =

v\boxtimes 1 \boxtimes 1 + 1\boxtimes v \boxtimes 1 + 1 \boxtimes 1 \boxtimes v$$ और इसी प्रकार दूसरी तरफ।इस बिंदु पर, कोई एक लेम्मा को आमंत्रित कर सकता है, और कह सकता है कि $$\Delta$$ तुच्छता से, रैखिकता द्वारा, सभी के लिए $$TV$$, चूंकि $$TV$$ एक स्वतंत्र वस्तु है और $$V$$ मुक्त बीजगणित का एक उत्पादक (गणित) है, और $$\Delta$$ एक समरूपता है।यद्यपि, स्पष्ट अभिव्यक्तियाँ प्रदान करना व्यावहारिक है।अभीतक के लिए तो $$v\otimes w \in T^2V$$, एक (परिभाषा के अनुसार) समरूपता है


 * $$\Delta: v\otimes w \mapsto \Delta(v)\otimes \Delta(w)$$

विस्तार, एक है
 * $$\begin{align} \Delta (v\otimes w) &= (v\boxtimes 1 + 1\boxtimes v) \otimes (w\boxtimes 1 + 1\boxtimes w) \\

&= (v\otimes w) \boxtimes 1 + v\boxtimes w + w\boxtimes v + 1 \boxtimes (v\otimes w) \end{align}$$ उपरोक्त विस्तार में, कभी भी लिखने की कोई आवश्यकता नहीं है $$1\otimes v$$ जैसा कि बीजगणित में सिर्फ सादा-पुराना स्केलर गुणन है;अर्थात, एक तुच्छ रूप से अर्थात $$1\otimes v = 1\cdot v = v.$$ ऊपर का विस्तार बीजगणित श्रेणीकरण को संरक्षित करता है।अर्थात,
 * $$\Delta: T^2V \to \bigoplus_{k=0}^2 T^kV \boxtimes T^{2-k}V$$

इस फैशन में जारी रखते हुए, कोई भी ऑर्डर एम के समरूप तत्व पर अभिनय करने वाले कॉप्रोडक्ट के लिए एक स्पष्ट अभिव्यक्ति प्राप्त कर सकता है:
 * $$\begin{align}

\Delta(v_1\otimes\cdots\otimes v_m) &= \Delta(v_1)\otimes\cdots\otimes\Delta(v_m) \\ &= \sum_{p=0}^m \left(v_1\otimes \cdots \otimes v_p\right) \;\omega \; \left(v_{p+1}\otimes \cdots \otimes v_m\right) \\ &= \sum_{p=0}^m \; \sum_{\sigma\in\mathrm{Sh}(p,m-p)} \; \left(v_{\sigma(1)}\otimes\dots\otimes v_{\sigma(p)}\right) \boxtimes \left(v_{\sigma(p+1)}\otimes\dots\otimes v_{\sigma(m)}\right) \end{align}$$ जहां $$\omega$$ प्रतीक, जिसे ш के रूप में प्रकट होना चाहिए, SHA, फेरबदल उत्पाद  को दर्शाता है।यह दूसरे योग में व्यक्त किया गया है, जिसे सभी (p, q) शफल | (p, m-p) -shuffles पर ले लिया गया है।फेरबदल है


 * $$\begin{aligned}

\operatorname{Sh}(p,q) = \{\sigma:\{1,\dots,p+q\}\to\{1,\dots,p+q\}\;\mid \;&\sigma \text{ is bijective},\;\sigma(1)<\sigma(2)< \cdots < \sigma(p),\\ &\text{and }\;\sigma(p+1) <\sigma(p+2)<\cdots < \sigma(m)\}. \end{aligned}$$ परम्परागत द्वारा, कोई उस श (एम, 0) और श (0, एम) को लेता है {आईडी: {1, ..., एम} → → {1, ..., एम <नोबी>}}।शुद्ध टेंसर उत्पादों को लेना भी सुविधाजनक है &lt;/nowiki&gt; $$v_{\sigma(1)}\otimes\dots\otimes v_{\sigma(p)}$$ और $$v_{\sigma(p+1)}\otimes\dots\otimes v_{\sigma(m)}$$ क्रमशः पी = 0 और पी = एम के लिए 1 के बराबर $$TV$$)।फेरबदल एक सह-वृद्धि के पहले स्वयंसिद्ध से सीधे अनुसरण करता है: तत्वों का सापेक्ष क्रम $$v_k$$ राइफल फेरबदल में संरक्षित है: राइफल फेरबदल केवल आदेशित अनुक्रम को दो क्रमबद्ध अनुक्रमों में विभाजित करता है, एक बाईं ओर, और एक दाईं ओर।

समान रूप से,


 * $$\Delta(v_1\otimes\cdots\otimes v_n)

= \sum_{S\subseteq \{1,\dots,n\}} \left(\prod_{k=1 \atop k \in S}^n v_k\right) \boxtimes \left(\prod_{k=1 \atop k \notin S}^n v_k\right)\!,$$ जहां उत्पाद हैं $$TV$$, और जहां राशि के सभी सबसेट से अधिक है $$\{1,\dots,n\}$$।

पहले की प्रकार, बीजगणित श्रेणीकरण संरक्षित है:
 * $$\Delta: T^mV \to \bigoplus_{k=0}^m T^kV \boxtimes T^{(m-k)}V$$

counit
कंसिट $$\epsilon : TV \to K$$ बीजगणित से बाहर क्षेत्र घटक के प्रक्षेपण द्वारा दिया जाता है।यह के रूप में लिखा जा सकता है $$\epsilon: v\mapsto 0 $$ के लिए $$v\in V$$ और $$\epsilon: k\mapsto k $$ के लिए $$k\in K=T^0V$$।टेंसर उत्पाद के तहत समरूपता द्वारा $$\otimes$$, यह तक फैली हुई है
 * $$\epsilon: x\mapsto 0 $$

सबके लिए $$x\in T^1V \oplus T^2V\oplus \cdots$$ यह सत्यापित करने के लिए एक सीधा मामला है कि यह परामर्श सहबीजगणितजबरा के लिए आवश्यक स्वयंसिद्ध को संतुष्ट करता है:
 * $$(\mathrm{id} \boxtimes \epsilon) \circ \Delta = \mathrm{id} = (\epsilon \boxtimes \mathrm{id}) \circ \Delta.$$

यह स्पष्ट रूप से काम करते हुए, एक है
 * $$\begin{align}

((\mathrm{id} \boxtimes \epsilon) \circ \Delta)(x) &=(\mathrm{id} \boxtimes \epsilon)(1\boxtimes x + x \boxtimes 1) \\ &=1\boxtimes \epsilon(x) + x \boxtimes  \epsilon(1) \\ &=0 + x \boxtimes 1 \\ &\cong x \end{align}$$ जहां, अंतिम चरण के लिए, एक ने समरूपता का उपयोग किया है $$TV\boxtimes K \cong TV$$, जैसा कि काउंसिट के परिभाषित स्वयंसिद्ध के लिए उपयुक्त है।

द्विबीजगणित
एक द्विबीजगणित गुणन, और comultiplication दोनों को परिभाषित करता है, और उन्हें संगत होने की आवश्यकता होती है।

गुणन
गुणन एक ऑपरेटर द्वारा दिया जाता है
 * $$\nabla: TV\boxtimes TV\to TV$$

जो, इस विषय में, पहले से ही आंतरिक टेंसर उत्पाद के रूप में दिया गया था।अर्थात,
 * $$\nabla: x\boxtimes y\mapsto x \otimes y$$

अर्थात, $$\nabla(x\boxtimes y) = x \otimes y.$$ उपरोक्त को यह स्पष्ट करना चाहिए कि क्यों $$\boxtimes$$ प्रतीक का उपयोग करने की आवश्यकता है: $$\otimes$$ निश्चित ही एक और एक ही चीज थी $$\nabla$$;और यहाँ उल्लेखनीय ढलान से अराजकता होगी।इसे मजबूत करने के लिए: टेंसर उत्पाद $$\otimes$$ टेंसर बीजगणित गुणन से मेल खाता है $$\nabla$$ एक बीजगणित की परिभाषा में उपयोग किया जाता है, जबकि टेंसर उत्पाद $$\boxtimes$$ एक सहबीजगणित में comultiplication की परिभाषा में आवश्यक है।ये दो टेंसर उत्पाद एक ही बात नहीं हैं!

इकाई
बीजगणित के लिए इकाई
 * $$\eta: K\to TV$$

सिर्फ एम्बेडिंग है, ताकि
 * $$\eta: k\mapsto k$$

यह इकाई टेंसर उत्पाद के साथ संगत है $$\otimes$$ तुच्छ है: यह सदिश रिक्त स्थान के टेंसर उत्पाद की मानक परिभाषा का हिस्सा है।अर्थात, $$k\otimes x = kx$$ फील्ड तत्व k और किसी भी के लिए $$x\in TV.$$ अधिक मौखिक रूप से, एक साहचर्य बीजगणित के लिए स्वयंसिद्धों को दो होमोमोर्फिज्म की आवश्यकता होती है (या आरेखों को कम करने):
 * $$\nabla\circ(\eta \boxtimes\mathrm{id}_{TV}) = \eta\otimes \mathrm{id}_{TV} = \eta\cdot \mathrm{id}_{TV}$$

पर $$K\boxtimes TV$$, और उस सममित रूप से, पर $$TV\boxtimes K$$, वह
 * $$\nabla\circ(\mathrm{id}_{TV}\boxtimes\eta) = \mathrm{id}_{TV}\otimes\eta = \mathrm{id}_{TV}\cdot\eta$$

जहां इन समीकरणों के दाहिने हाथ को स्केलर उत्पाद के रूप में समझा जाना चाहिए।

संगतता
इकाई और काउंसिट, और गुणन और comultiplication, सभी को संगतता स्थितियों को संतुष्ट करना होगा।यह देखना सीधा है
 * $$\epsilon \circ \eta = \mathrm{id}_K.$$

इसी प्रकार, इकाई comultiplication के साथ संगत है:
 * $$\Delta \circ \eta = \eta \boxtimes \eta \cong \eta$$

उपरोक्त को समरूपता के उपयोग की आवश्यकता है $$K\boxtimes K \cong K$$ काम करने के क्रम में;इसके बिना, एक रैखिकता खो देता है।घटक-वार,
 * $$(\Delta \circ \eta)(k) = \Delta(k) = k(1 \boxtimes 1) \cong k $$

दाहिने हाथ की ओर समरूपता का उपयोग करने के साथ।

गुणन और counit संगत हैं:
 * $$(\epsilon \circ \nabla)(x\boxtimes y) = \epsilon(x\otimes y) = 0$$

जब भी x या y के तत्व नहीं होते हैं $$K$$, और अन्यथा, एक क्षेत्र पर स्केलर गुणन है: $$k_1\otimes k_2=k_1 k_2.$$ सत्यापित करने के लिए सबसे मुश्किल गुणन और comultiplication की संगतता है:
 * $$\Delta \circ\nabla = (\nabla \boxtimes \nabla)

\circ (\mathrm{id} \boxtimes \tau \boxtimes \mathrm{id}) \circ (\Delta \boxtimes \Delta)$$ कहां $$\tau(x\boxtimes y)= y \boxtimes x$$ तत्वों का आदान -प्रदान।संगतता की स्थिति को केवल सत्यापित करने की आवश्यकता है $$V\subset TV$$;पूर्ण संगतता सभी के लिए एक होमोमोर्फिक विस्तार के रूप में अनुसरण करती है $$TV.$$ सत्यापन क्रिया है परन्तु सीधा है;यह यहां नहीं दिया गया है, अंतिम परिणाम को छोड़कर:
 * $$(\Delta \circ\nabla)(v\boxtimes w) = \Delta(v\otimes w)$$

के लिए $$v,w\in V,$$ इसके लिए एक स्पष्ट अभिव्यक्ति सहबीजगणितजबरा अनुभाग में ऊपर दी गई थी।

हॉपफ बीजगणित
हॉफ बीजगणित द्विबीजगणित Axioms में एक प्रतिध्रुव जोड़ता है।प्रतिध्रुव $$S$$ पर $$k\in K=T^0V$$ द्वारा दिया गया है
 * $$S(k)=k$$

इसे कभी-कभी एंटी-आइडेंटिटी कहा जाता है।पर प्रतिध्रुव $$v\in V=T^1V$$ द्वारा दिया गया है
 * $$S(v)=-v$$

और इसपर $$v \otimes w\in T^2V$$ द्वारा
 * $$S(v \otimes w) = S(w) \otimes S(v) = w\otimes v$$

यह होमोमोर्फिक रूप से फैली हुई है

\begin{align} S(v_1 \otimes \cdots \otimes v_m) &= S(v_m) \otimes\cdots\otimes S(v_1) \\ &= (-1)^m v_m \otimes\cdots\otimes v_1 \end{align}$$

संगतता
गुणन और comultiplication के साथ प्रतिध्रुव की संगतता के लिए आवश्यक है
 * $$\nabla \circ (S \boxtimes \mathrm{id}) \circ \Delta

= \eta \circ \epsilon = \nabla \circ (\mathrm{id} \boxtimes S) \circ \Delta$$ यह घटक पर सत्यापित करने के लिए सीधा है $$k\in K$$:

\begin{align} (\nabla \circ (S \boxtimes \mathrm{id}) \circ \Delta)(k) &= (\nabla \circ (S \boxtimes \mathrm{id})) (1\boxtimes k) \\ &= \nabla(1 \boxtimes k) \\ &= 1 \otimes k \\ &= k \end{align}$$ इसी प्रकार, पर $$v\in V$$:

\begin{align} (\nabla \circ (S \boxtimes \mathrm{id}) \circ \Delta)(v) &= (\nabla \circ (S \boxtimes \mathrm{id})) (v\boxtimes 1 + 1 \boxtimes v) \\ &= \nabla(-v \boxtimes 1 + 1 \boxtimes v) \\ &= -v \otimes 1 + 1 \otimes v \\ &= -v + v\\ &= 0 \end{align}$$ याद करें कि
 * $$(\eta \circ \epsilon)(k)=\eta(k)=k$$

और कि
 * $$(\eta \circ \epsilon)(x)=\eta(0)=0$$

किसी के लिए $$x\in TV$$ वह नहीं है $$K.$$ एक समान विधि से आगे बढ़ सकता है, होमोमोर्फिज्म द्वारा, यह सत्यापित करते हुए कि प्रतिध्रुव फेरबदल में उचित रद्द करने वाले संकेतों को सम्मिलित करता है, संगतता स्थिति के साथ प्रारम्भहोता है $$T^2V$$ और प्रेरण द्वारा आगे बढ़ना।

कोफ़्री cocomplete Coalgebra
एक टेंसर बीजगणित पर एक अलग सहउत्पाद को परिभाषित कर सकता है, जो ऊपर दिए गए की तुलना में सरल है।यह द्वारा दिया गया है
 * $$\Delta(v_1 \otimes \dots \otimes v_k) := \sum_{j=0}^{k} (v_0 \otimes \dots \otimes v_j) \boxtimes (v_{j+1} \otimes \dots \otimes v_{k+1})$$

यहाँ, पहले की प्रकार, कोई उल्लेखनीय चाल का उपयोग करता है $$v_0=v_{k+1}=1\in K$$ (याद करते हुए $$v\otimes 1=v$$ तुच्छ रूप से)।

यह कॉप्रोडक्ट एक सहबीजगणित को जन्म देता है।यह एक सहबीजगणित का वर्णन करता है जो T पर बीजगणित संरचना के लिए  द्वंद्व (रैखिक बीजगणित)  है& lowast;), जहाँ v& Lowast; रैखिक प्रतिचित्र v → 'f' के दोहरे सदिश स्थान को दर्शाता है।उसी प्रकार से कि टेंसर बीजगणित एक मुक्त बीजगणित है, इसी सहबीजगणित को कोक-फ्री कहा जाता है।सामान्य उत्पाद के साथ यह एक द्विबीजगणित  नहीं है।इसे उत्पाद के साथ एक द्विबीजगणित  में बदल दिया जा सकता है $$v_i\cdot v_j=(i,j)v_{i+j}$$ जहां (मैं, जे) के लिए द्विपद गुणनंक को दर्शाता है $$\tbinom{i+j}{i}$$।इस द्विबीजगणित  को  विभाजित शक्ति संरचना  के रूप में जाना जाता है।

इसके बीच का अंतर, और अन्य कोबीजगणित सबसे आसानी से देखा जाता है $$T^2V$$ अवधि।यहाँ, एक के समीप है
 * $$\Delta(v\otimes w) = 1\boxtimes (v\otimes w) + v \boxtimes w + (v\otimes w) \boxtimes 1$$

के लिए $$v,w\in V$$, जो पहले की तुलना में स्पष्ट रूप से एक फेरबदल शब्द को याद कर रहा है।

यह भी देखें

 * लट लट सदिश स्थान
 * ब्रेडेड हॉपफ बीजगणित
 * मोनोइडल श्रेणी
 * बहुस्तरीय बीजगणित
 * क्यू: स्टैनिसलाव लेम#लव एंड टेंसर बीजगणित | स्टैनिसलाव लेम का प्यार और टेंसर बीजगण
 * फॉक स्पेस



संदर्भ

 * (See Chapter 3 §5)