सममित बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Use American English|date = February 2019}}
 
{{short description|"Smallest" commutative algebra that contains a vector space}}
 
{{distinguish|Symmetric Frobenius algebra}}
गणित में, '''सममित बीजगणित''' {{math|''S''(''V'')}} (Sym(''V'') को भी निरूपित करता है) सदिश समष्टि {{math|''V''}} पर क्षेत्र {{math|''K''}} पर (गणित) [[क्रमविनिमेय बीजगणित (संरचना)]] {{mvar|K}} है जिसमें {{mvar|V}} सम्मिलित है, और इस गुण के लिए कुछ अर्थों में न्यूनतम होता है। यहाँ, न्यूनतम का अर्थ है कि {{math|''S''(''V'')}} निम्नलिखित [[सार्वभौमिक संपत्ति|यूनिवर्सल प्रॉपर्टी]] को संतुष्ट करता है: {{mvar|V}} से क्रमविनिमेय बीजगणित {{mvar|A}} तक प्रत्येक रैखिक मानचित्र {{mvar|f}} के लिए अद्वितीय [[बीजगणित समरूपता]] {{math|''g'' : ''S''(''V'') → ''A''}} है, उदाहरण के लिए, {{math|1=''f'' = ''g'' ∘ ''i''}}, जहाँ {{mvar|i}}, {{math|''S''(''V'')}} में {{mvar|V}} का समावेशन मानचित्र है।  
गणित में, सममित बीजगणित {{math|''S''(''V'')}} (जिसे Sym(''V'') से भी निरूपित किया जाता है) सदिश स्थान {{math|''V''}} पर क्षेत्र {{math|''K''}} पर (गणित) [[क्रमविनिमेय बीजगणित (संरचना)]] {{mvar|K}} है जिसमें {{mvar|V}} सम्मिलित है, और इस गुण के लिए कुछ अर्थों में न्यूनतम होता है। यहाँ, न्यूनतम का अर्थ है कि {{math|''S''(''V'')}} निम्नलिखित [[सार्वभौमिक संपत्ति|यूनिवर्सल प्रॉपर्टी]] को संतुष्ट करता है: {{mvar|V}} से क्रमविनिमेय बीजगणित {{mvar|A}} तक प्रत्येक रैखिक मानचित्र {{mvar|f}} के लिए अद्वितीय [[बीजगणित समरूपता]] {{math|''g'' : ''S''(''V'') → ''A''}} है जैसे कि {{math|1=''f'' = ''g'' ∘ ''i''}}, जहाँ {{mvar|i}}, {{math|''S''(''V'')}} में {{mvar|V}} का समावेशन मानचित्र है।  


यदि {{mvar|V}} का आधार {{mvar|B}} है, तो सममित बीजगणित {{math|''S''(''V'')}} को [[विहित समरूपता]] के माध्यम से, बहुपद वलय {{math|''K''[''B'']}} में प्रमाणित किया जा सकता है , जहाँ {{mvar|B}} के तत्वों को अनिश्चित माना जाता है। इसलिए, सममित बीजगणित को {{mvar|V}} पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है।
यदि {{mvar|V}} का आधार {{mvar|B}} है, तो सममित बीजगणित {{math|''S''(''V'')}} को [[विहित समरूपता]] के माध्यम से, बहुपद वलय {{math|''K''[''B'']}} में प्रमाणित किया जा सकता है , जहाँ {{mvar|B}} के तत्वों को अनिश्चित माना जाता है। इसलिए, सममित बीजगणित को {{mvar|V}} पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है।
Line 19: Line 18:
बीजगणित समरूपता <math>S(V)\rightarrow A</math> के लिए {{mvar|f}} का विस्तार अद्वितीय है, क्योंकि {{mvar|V}}, {{mvar|A}} को {{mvar|K}}-बीजगणित के रूप में उत्पन्न करता है।
बीजगणित समरूपता <math>S(V)\rightarrow A</math> के लिए {{mvar|f}} का विस्तार अद्वितीय है, क्योंकि {{mvar|V}}, {{mvar|A}} को {{mvar|K}}-बीजगणित के रूप में उत्पन्न करता है।


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


===बहुपद वलय से===
===बहुपद वलय से===
सममित बीजगणित {{math|''S''(''V'')}} को बहुपद के छल्ले से भी बनाया जा सकता है।
सममित बीजगणित {{math|''S''(''V'')}} को बहुपद वलय से भी बनाया जा सकता है।


अगर {{mvar|V}} एक है {{mvar|K}}-वेक्टर स्पेस या फ्री मॉड्यूल | फ्री {{mvar|K}}-मॉड्यूल, एक आधार के साथ {{mvar|B}}, होने देना {{math|''K''[''B'']}} वह बहुपद वलय हो जिसमें के अवयव हों {{mvar|B}} अनिश्चित के रूप में। डिग्री एक के [[सजातीय बहुपद]] एक सदिश स्थान या एक मुक्त मॉड्यूल बनाते हैं जिसकी पहचान की जा सकती है {{mvar|V}}. यह सत्यापित करना आसान है कि यह बनाता है {{math|''K''[''B'']}} परिचय में बताई गई सार्वभौमिक समस्या का समाधान। इसका अर्थ यह है कि {{math|''K''[''B'']}} और {{math|''S''(''V'')}} कैनोनिक रूप से आइसोमोर्फिक हैं, और इसलिए इन्हें पहचाना जा सकता है। यह श्रेणी सिद्धांत के सामान्य विचारों से भी तुरंत परिणाम देता है, क्योंकि मुक्त मॉड्यूल और बहुपद के छल्ले उनकी संबंधित श्रेणियों की [[मुक्त वस्तु]]एं हैं।
यदि {{mvar|V}}, {{mvar|K}}-सदिश समष्टि या मुक्त {{mvar|K}}-मॉड्यूल है, जिसका आधार {{mvar|B}} है, तो मान लें, {{math|''K''[''B'']}} बहुपद वलय है जिसमें {{mvar|B}} के तत्व अनिश्चित हैं। घात-1 के [[सजातीय बहुपद|समघात बहुपद]] सदिश समष्टि या मुक्त मॉड्यूल बनाते हैं जिसे {{mvar|V}} के द्वारा प्रमाणित किया जा सकता है। यह सत्यापित करना सरल है कि यह {{math|''K''[''B'']}} को प्रस्तावना में अंकित यूनिवर्सल प्रॉब्लम का समाधान बनाता है। इसका तात्पर्य है कि {{math|''K''[''B'']}} और {{math|''S''(''V'')}} कैनोनिक रूप से आइसोमोर्फिक हैं, और इसलिए इन्हें प्रमाणित किया जा सकता है। यह श्रेणी सिद्धांत के सामान्य विचारों से भी शीघ्र परिणाम देता है, क्योंकि मुक्त मॉड्यूल और बहुपद वलय उनकी संबंधित श्रेणियों की [[मुक्त वस्तु|मुक्त वस्तुएं]] हैं।


अगर {{mvar|V}} एक मॉड्यूल है जो मुफ़्त नहीं है, इसे लिखा जा सकता है <math>V=L/M,</math> कहाँ {{mvar|L}} एक मुफ्त मॉड्यूल है, और {{mvar|M}} का [[submodule]] है {{mvar|L}}. इस मामले में, एक है
यदि {{mvar|V}} मॉड्यूल है जो मुक्त नहीं है, तो इसे <math>V=L/M,</math> लिखा जा सकता है जहाँ {{mvar|L}} मुक्त मॉड्यूल है, और {{mvar|M}}, {{mvar|L}} का [[submodule|सबमॉड्यूल]] है।
:<math>S(V)=S(L/M)=S(L)/\langle M\rangle,</math>
:<math>S(V)=S(L/M)=S(L)/\langle M\rangle,</math>
कहाँ <math>\langle M\rangle</math> द्वारा उत्पन्न आदर्श है {{mvar|M}}. (यहाँ, समान संकेतों का अर्थ एक विहित समरूपता [[तक]] समानता है।) फिर से यह दिखा कर साबित किया जा सकता है कि किसी के पास सार्वभौमिक संपत्ति का समाधान है, और यह या तो एक सीधी लेकिन उबाऊ संगणना द्वारा किया जा सकता है, या श्रेणी सिद्धांत का उपयोग करके, और अधिक विशेष रूप से, तथ्य यह है कि भागफल morphisms के लिए सार्वभौमिक समस्या का समाधान है जो किसी दिए गए सबसेट को शून्य पर मैप करता है। (मामले के आधार पर, कर्नेल (बीजगणित) एक [[सामान्य उपसमूह]], एक सबमॉड्यूल या एक आदर्श है, और भागफल की सामान्य परिभाषा को सार्वभौमिक समस्या के समाधान के अस्तित्व के प्रमाण के रूप में देखा जा सकता है।)
जहाँ <math>\langle M\rangle</math>, {{mvar|M}} द्वारा उत्पन्न आदर्श है (यहाँ, समान संकेतों का अर्थ विहित समरूपता [[तक]] समानता है)अधिक विशेष रूप से, तथ्य यह है कि भागफल मोर्फिसंस के लिए यूनिवर्सल प्रॉब्लम का समाधान है जो उपसमुच्चय को शून्य पर मैप करता है। (स्तिथि के आधार पर, कर्नेल (बीजगणित) [[सामान्य उपसमूह]] सबमॉड्यूल है, और भागफल की सामान्य परिभाषा को यूनिवर्सल प्रॉब्लम के समाधान के अस्तित्व के प्रमाण के रूप में देखा जा सकता है।)


== ग्रेडिंग ==
== ग्रेडिंग ==
सममित बीजगणित एक [[वर्गीकृत बीजगणित]] है। यानी यह एक सीधा योग है
सममित बीजगणित [[वर्गीकृत बीजगणित]] है। अर्थात यह अनुलोम योगफल है
:<math>S(V)=\bigoplus_{n=0}^\infty S^n(V),</math>
:<math>S(V)=\bigoplus_{n=0}^\infty S^n(V),</math>
कहाँ <math>S^n(V),</math> इसको कॉल किया गया {{mvar|n}की [[सममित शक्ति]] {{mvar|V}}, वेक्टर सबस्पेस या सबमॉड्यूल है जो उत्पादों द्वारा उत्पन्न होता है {{mvar|n}} घटक {{mvar|V}}. (दूसरी सममित शक्ति <math>S^2(V)</math> को कभी-कभी का सममित वर्ग कहा जाता है {{mvar|V}}).
जहाँ <math>S^n(V),</math> को {{mvar|V}} की nth [[सममित शक्ति|सिमेट्रिक पावर]] कहा जाता है, {{mvar|V}} के {{mvar|n}} तत्वों के गुणनफल द्वारा उत्पन्न सदिश उपसमष्टि है।


यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से एक अनुसरण करता है: चूंकि टेंसर बीजगणित को वर्गीकृत किया गया है, और सममित बीजगणित एक [[सजातीय आदर्श]] द्वारा इसका भागफल है: सभी द्वारा उत्पन्न आदर्श <math>x \otimes y - y \otimes x,</math> कहाँ {{mvar|x}} और {{mvar|y}} में हैं {{mvar|V}}, यानी एक डिग्री का सजातीय।
यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से अनुसरण करता है: चूंकि टेंसर बीजगणित को वर्गीकृत किया गया है, और सममित बीजगणित [[सजातीय आदर्श]] द्वारा इसका भागफल है: सभी <math>x \otimes y - y \otimes x,</math> द्वारा उत्पन्न आदर्श है, जहाँ {{mvar|x}} और {{mvar|y}}, {{mvar|V}} में हैं।


एक सदिश स्थान या एक मुक्त मॉड्यूल के मामले में, ग्रेडेशन [[कुल डिग्री]] द्वारा बहुपदों का ग्रेडेशन है। एक गैर-मुक्त मॉड्यूल के रूप में लिखा जा सकता है {{math|''L'' / ''M''}}, कहाँ {{mvar|L}} आधार का एक निःशुल्क मॉड्यूल है {{mvar|B}}; इसका सममित बीजगणित (वर्गीकृत) सममित बीजगणित का भागफल है {{mvar|L}} (एक बहुपद वलय) के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा {{mvar|M}}, जो एक डिग्री के सजातीय हैं।
सदिश समष्टि या मुक्त मॉड्यूल की स्तिथि में, ग्रेडेशन [[कुल डिग्री|कुल घात]] द्वारा बहुपदों का ग्रेडेशन है। गैर-मुक्त मॉड्यूल को {{math|''L'' / ''M''}} के रूप में लिखा जा सकता है, जहाँ {{mvar|L}} आधार {{mvar|B}} का मुक्त मॉड्यूल है; इसका सममित बीजगणित {{mvar|M}} के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा {{mvar|L}} के सममित बीजगणित का भागफल है जो डिग्री '1' के सजातीय हैं।


कोई परिभाषित भी कर सकता है <math>S^n(V)</math> बहुरैखिक फलन के लिए सार्वभौम समस्या के समाधान के रूप में |{{mvar|n}}-रैखिक सममित कार्य {{mvar|V}} एक सदिश स्थान या एक मॉड्यूल में, और फिर सत्यापित करें कि सभी का प्रत्यक्ष योग <math>S^n(V)</math> सममित बीजगणित के लिए सार्वभौमिक समस्या को संतुष्ट करता है।
कोई भी <math>S^n(V)</math> को {{mvar|V}} से सदिश समष्टि या मॉड्यूल में {{mvar|n}}-रैखिक सममित कार्यों के लिए यूनिवर्सल प्रॉब्लम के समाधान के रूप में परिभाषित कर सकता है, और तत्पश्चात सत्यापित कर सकता है कि सभी <math>S^n(V)</math> का प्रत्यक्ष योग सममित बीजगणित के लिए यूनिवर्सल प्रॉब्लम को संतुष्ट करता है।


== [[सममित टेंसर]]ों के साथ संबंध ==
== [[सममित टेंसर|सममित टेंसरों]] से संबंध ==
चूंकि सदिश स्थान का सममित बीजगणित टेंसर बीजगणित का भागफल है, सममित बीजगणित का एक तत्व टेंसर नहीं है, और विशेष रूप से, सममित टेंसर नहीं है। हालाँकि, सममित टेन्सर दृढ़ता से सममित बीजगणित से संबंधित हैं।
चूंकि सदिश समष्टि का सममित बीजगणित टेंसर बीजगणित का भागफल है, सममित बीजगणित का तत्व टेंसर नहीं है। चूँकि, सममित टेन्सर दृढ़ता से सममित बीजगणित से संबंधित हैं।


डिग्री का एक सममित टेंसर {{mvar|n}} का एक तत्व है {{math|''T''{{sup|''n''}}(''V'')}} जो [[सममित समूह]] की [[समूह क्रिया (गणित)]] के अंतर्गत अपरिवर्तनीय है <math>\mathcal S_n.</math> अधिक सटीक, दिया गया <math>\sigma\in \mathcal S_n,</math> रूपान्तरण <math>v_1\otimes \cdots \otimes v_n \mapsto v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(n)}</math> के एक रैखिक [[एंडोमोर्फिज्म]] को परिभाषित करता है {{math|''T''{{sup|''n''}}(''V'')}}. एक सममित टेन्सर एक टेन्सर है जो इन सभी एंडोमोर्फिज्म के तहत अपरिवर्तनीय है। डिग्री के सममित टेंसर {{mvar|n}} सदिश उप-स्थान (या मॉड्यूल) बनाते हैं {{math|Sym{{sup|''n''}}(''V'') ⊂ ''T''{{sup|''n''}}(''V'')}}. सममित टेंसर प्रत्यक्ष योग के तत्व हैं <math>\textstyle \bigoplus_{n=0}^\infty \operatorname{Sym}^n(V),</math> जो एक [[ग्रेडेड वेक्टर स्पेस]] (या [[ वर्गीकृत मॉड्यूल ]]) है। यह एक बीजगणित नहीं है, क्योंकि दो सममित टेंसरों का टेंसर उत्पाद सामान्य रूप से सममित नहीं है।
डिग्री {{mvar|n}} का सममित टेंसर {{math|''T''{{sup|''n''}}(''V'')}} का तत्व है जो [[सममित समूह]] <math>\mathcal S_n.</math> की [[समूह क्रिया (गणित)]] के अंतर्गत अपरिवर्तनीय है। अधिक त्रुटिहीन रूप से दिया गया <math>\sigma\in \mathcal S_n,</math> रूपान्तरण <math>v_1\otimes \cdots \otimes v_n \mapsto v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(n)}</math>, {{math|''T''{{sup|''n''}}(''V'')}} के रैखिक [[एंडोमोर्फिज्म]] को परिभाषित करता है। इन सभी एंडोमोर्फिज्म के अंतर्गत सममित टेन्सर अपरिवर्तनीय है। डिग्री {{mvar|n}} के सममित टेंसर सदिश उपसमष्टि (या मॉड्यूल) {{math|Sym{{sup|''n''}}(''V'') ⊂ ''T''{{sup|''n''}}(''V'')}} बनाते हैं। सममित टेंसर अनुलोम योगफल <math>\textstyle \bigoplus_{n=0}^\infty \operatorname{Sym}^n(V),</math> के तत्व हैं, जो [[ग्रेडेड वेक्टर स्पेस]] (या [[ वर्गीकृत मॉड्यूल ]]) है। यह बीजगणित नहीं है, क्योंकि दो सममित टेंसरों का टेंसर गुणनफल सामान्य रूप से सममित नहीं है।


होने देना <math>\pi_n</math> पर प्रतिबंध हो {{math|Sym{{sup|''n''}}(''V'')}} विहित अनुमान के <math>T^n(V)\to S^n(V).</math> अगर {{math|''n''!}} ग्राउंड फील्ड (या रिंग) में उलटा है, फिर <math>\pi_n</math> एक समरूपता है। यह हमेशा [[विशेषता (बीजगणित)]] शून्य के जमीनी क्षेत्र के मामले में होता है। प्रतिलोम फलन [[समाकृतिकता]] रैखिक मानचित्र परिभाषित है (के उत्पादों पर {{mvar|n}} वैक्टर) समरूपता द्वारा
मान लें कि <math>\pi_n</math> कैनोनिकल विशेषण <math>T^n(V)\to S^n(V).</math> के {{math|Sym{{sup|''n''}}(''V'')}} के लिए प्रतिबंध है। यदि {{math|''n''!}} ग्राउंड फील्ड में उलटा है, तो <math>\pi_n</math> समरूपता है। यह सदैव [[विशेषता (बीजगणित)|कैरेक्टरिस्टिक (बीजगणित)]] शून्य के ग्राउंड फील्ड की स्तिथि में होता है। व्युत्क्रम समरूपता [[समाकृतिकता]] द्वारा परिभाषित ({{mvar|n}} वैक्टर के गुणनफल पर) रैखिक मानचित्र है-
:<math>v_1\cdots v_n \mapsto \frac 1{n!} \sum_{\sigma \in S_n} v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(n)}.</math>
:<math>v_1\cdots v_n \mapsto \frac 1{n!} \sum_{\sigma \in S_n} v_{\sigma(1)}\otimes \cdots \otimes v_{\sigma(n)}.</math>
वो नक्शा <math>\pi_n</math> यदि विशेषता से कम है तो इंजेक्शन नहीं है {{mvar|n}}+1; उदाहरण के लिए <math>\pi_n(x\otimes y+y\otimes x) = 2xy</math> विशेषता दो में शून्य है। विशेषता शून्य की एक अंगूठी पर, <math>\pi_n</math> गैर विशेषण हो सकता है; उदाहरण के लिए, पूर्णांकों पर, यदि {{mvar|x}} और {{mvar|y}} के दो रैखिक रूप से स्वतंत्र तत्व हैं {{math|1=''V'' = ''S''{{sup|1}}(''V'')}} जो अंदर नहीं हैं {{math|2''V''}}, तब <math>xy\not\in \pi_n(\operatorname{Sym}^2(V)),</math> तब से <math>\frac 12 (x\otimes y +y\otimes x) \not\in \operatorname{Sym}^2(V).</math>
यदि विशेषता {{mvar|n}}+1 से कम है तो मानचित्र <math>\pi_n</math> अंतःक्षेपी नहीं है। उदाहरण के लिए <math>\pi_n(x\otimes y+y\otimes x) = 2xy</math> कैरेक्टरिस्टिक दो में शून्य है।
संक्षेप में, विशेषता शून्य के क्षेत्र में, सममित टेन्सर और सममित बीजगणित दो आइसोमोर्फिक ग्रेडेड वेक्टर रिक्त स्थान बनाते हैं। इस प्रकार जहाँ तक ​​केवल सदिश स्थान संरचना का संबंध है, उनकी पहचान की जा सकती है, लेकिन उत्पादों के शामिल होते ही उनकी पहचान नहीं की जा सकती। इसके अलावा, यह आइसोमोर्फिज्म सकारात्मक विशेषता वाले क्षेत्रों और उन रिंगों के मामलों तक नहीं फैलता है जिनमें परिमेय संख्याएं नहीं होती हैं।
 
कैरेक्टरिस्टिक शून्य <math>\pi_n</math> के वलय पर नॉन सरजेक्टिव हो सकता है; उदाहरण के लिए, पूर्णांकों पर, यदि {{mvar|x}} और {{mvar|y}}, {{math|1=''V'' = ''S''{{sup|1}}(''V'')}} के दो रैखिक रूप से स्वतंत्र तत्व हैं जो {{math|2''V''}} में नहीं हैं, तो, <math>xy\not\in \pi_n(\operatorname{Sym}^2(V)),</math> तब से <math>\frac 12 (x\otimes y +y\otimes x) \not\in \operatorname{Sym}^2(V).</math>
 
कैरेक्टरिस्टिक शून्य के क्षेत्र के सारांश में, सममित टेन्सर और सममित बीजगणित दो आइसोमोर्फिक ग्रेडेड सदिश समष्टि बनाते हैं। इस प्रकार जब सदिश समष्टि संरचना का संबंध हो, तो उन्हें पहचाना जा सकता है किन्तु गुणनफल के सम्मिलित होते ही उनकी पहचान नहीं की जा सकती है।


== श्रेणीबद्ध गुण ==
== श्रेणीबद्ध गुण ==
एक मॉड्यूल (गणित) दिया गया {{mvar|V}} एक क्रमविनिमेय अंगूठी पर {{mvar|K}}, सममित बीजगणित {{math|''S''(''V'')}} को निम्नलिखित सार्वभौमिक संपत्ति द्वारा परिभाषित किया जा सकता है:
कम्यूटेटिव रिंग K पर मॉड्यूल V दिया गया है, सममित बीजगणित S(V) को निम्नलिखित यूनिवर्सल प्रॉपर्टी द्वारा परिभाषित किया जा सकता है:
 
::{{mvar|V}} से क्रमविनिमेय {{mvar|K}}-बीजगणित {{mvar|A}} के प्रत्येक {{mvar|K}}-रैखिक मानचित्र {{mvar|f}} के लिए, अद्वितीय {{mvar|K}}-बीजगणित समाकारिता <math>g:S(V)\to A</math> है। उदाहरण के लिए, <math>f=g\circ i,</math> जहाँ {{mvar|i}} {{math|''S''(''V'')}} में {{mvar|V}} का समावेश है।
 
प्रत्येक यूनिवर्सल प्रॉपर्टी के लिए यह विशिष्ट रूप से सममित बीजगणित को कैनोनिकल समरूपता तक परिभाषित करता है। यह इस प्रकार है कि सममित बीजगणित के सभी गुणों को यूनिवर्सल प्रॉपर्टी से घटाया जा सकता है। यह खंड मुख्य गुणों के लिए समर्पित है जो श्रेणी सिद्धांत से संबंधित हैं।


::हरएक के लिए {{mvar|K}}-रैखिक मानचित्र {{mvar|f}} से {{mvar|V}} क्रमविनिमेय के लिए {{mvar|K}}-बीजगणित {{mvar|A}}, एक अनूठा है {{mvar|K}}-बीजगणित समरूपता <math>g:S(V)\to A</math> ऐसा है कि <math>f=g\circ i,</math> कहाँ {{mvar|i}} का समावेश है {{mvar|V}} में {{math|''S''(''V'')}}.
सममित बीजगणित {{mvar|K}}-मॉड्यूल की [[श्रेणी (गणित)]] से {{mvar|K}}-कम्यूटेटिव बीजगणित की श्रेणी का फ़ंक्टर है, क्योंकि यूनिवर्सल प्रॉपर्टी का तात्पर्य है कि प्रत्येक [[मॉड्यूल समरूपता]] <math>f:V\to W</math> को बीजगणित समरूपता <math>S(f):S(V)\to S(W).</math> तक विशिष्ट रूप से विस्तृत किया जा सकता है।


प्रत्येक सार्वभौमिक संपत्ति के लिए, जैसे ही एक समाधान मौजूद होता है, यह विशिष्ट रूप से सममित बीजगणित को परिभाषित करता है, एक विहित समरूपता तक। यह इस प्रकार है कि सममित बीजगणित के सभी गुणों को सार्वभौमिक संपत्ति से घटाया जा सकता है। यह खंड मुख्य गुणों के लिए समर्पित है जो श्रेणी सिद्धांत से संबंधित हैं।
सममित बीजगणित फॉर्गेटफुल फ़ंक्टर के लिए लेफ्ट एडजॉइन्ट है।


सममित बीजगणित की [[श्रेणी (गणित)]] से एक मज़ेदार है {{mvar|K}}-मॉड्यूल की श्रेणी के लिए {{mvar|K}}-कम्यूटेटिव बीजगणित, चूंकि सार्वभौमिक संपत्ति का अर्थ है कि प्रत्येक [[मॉड्यूल समरूपता]] <math>f:V\to W</math> एक बीजगणित समरूपता के लिए विशिष्ट रूप से बढ़ाया जा सकता है <math>S(f):S(V)\to S(W).</math>
'''सजातीय समष्टि का सममित बीजगणित'''
सार्वभौमिक संपत्ति को यह कहकर सुधारा जा सकता है कि सममित बीजगणित भुलक्कड़ फ़नकार के लिए एक बायाँ जोड़ है जो अपने अंतर्निहित मॉड्यूल के लिए एक कम्यूटेटिव बीजगणित भेजता है।


== एक affine स्थान == का सममित बीजगणित
सजातीय समष्टि पर सममित बीजगणित का निर्माण कर सकते हैं। मुख्य अंतर यह है कि सजातीय समष्टि का सममित बीजगणित, ग्रेडेड बीजगणित नहीं है, किंतु फ़िल्टर्ड बीजगणित है: सजातीय समष्टि पर बहुपद की घात निर्धारित कर सकते है।
एक समान स्थान पर सममित बीजगणित का निर्माण कर सकते हैं। मुख्य अंतर यह है कि एक संबधित स्थान का सममित बीजगणित एक श्रेणीबद्ध बीजगणित नहीं है, बल्कि एक फ़िल्टर किया हुआ बीजगणित है: कोई एक सजातीय स्थान पर एक बहुपद की डिग्री निर्धारित कर सकता है, लेकिन इसके सजातीय भागों को नहीं।


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


== बाहरी बीजगणित के साथ सादृश्य ==
== बाह्य बीजगणित से सादृश्य ==
एस<sup>k</sup> [[बाहरी शक्ति]]यों की तुलना में कार्य करने वाले हैं; यहाँ, हालाँकि, [[आयाम (वेक्टर स्थान)]] k के साथ बढ़ता है; द्वारा दिया गया है
''S<sup>k</sup>'' यहाँ [[बाहरी शक्ति|एक्सटीरियर पावर्स]] की तुलना में फ़ंक्टर हैं, चूँकि, [[आयाम (वेक्टर स्थान)|आयाम (सदिश समष्टि)]] k की संगति में बढ़ता है-
:<math>\operatorname{dim}(S^k(V)) = \binom{n+k-1}{k}</math>
:<math>\operatorname{dim}(S^k(V)) = \binom{n+k-1}{k}</math>
जहाँ n V का आयाम है। यह [[द्विपद गुणांक]] डिग्री k के n-चर मोनोमियल्स की संख्या है।
जहाँ n, V का आयाम है। यह [[द्विपद गुणांक]] डिग्री k के n-चर मोनोमियल्स की संख्या है।
वास्तव में, सममित बीजगणित और बाहरी बीजगणित की कार्रवाई के तुच्छ और सांकेतिक प्रतिनिधित्व के समस्थानिक घटकों के रूप में दिखाई देते हैं। <math>S_n</math> टेंसर उत्पाद पर अभिनय <math>V^{\otimes n}</math> (उदाहरण के लिए जटिल क्षेत्र में) {{fact|date=December 2019}}
 
वास्तव में, सममित बीजगणित और बाह्य बीजगणित की क्रिया के नगण्य और सांकेतिक प्रतिनिधित्व के समस्थानिक घटकों के रूप में दिखाई देते हैं। <math>S_n</math> टेंसर गुणनफल <math>V^{\otimes n}</math> पर कार्य करता है। {{fact|date=December 2019}}
 
'''[[हॉफ बीजगणित]] के रूप में'''


== एक [[हॉफ बीजगणित]] == के रूप में
सममित बीजगणित को हॉफ बीजगणित की संरचना दी जा सकती है। विवरण के लिए टेन्सर बीजगणित देखें।
सममित बीजगणित को हॉफ बीजगणित की संरचना दी जा सकती है। विवरण के लिए टेन्सर बीजगणित देखें।


== एक [[सार्वभौमिक लिफाफा बीजगणित]] == के रूप में
'''[[सार्वभौमिक लिफाफा बीजगणित|यूनिवर्सल एनवलपिंग बीजगणित]] के रूप में'''
सममित बीजगणित एस (वी) एक एबेलियन लाइ बीजगणित का सार्वभौमिक लिफाफा बीजगणित है, यानी एक जिसमें लाइ ब्रैकेट समान रूप से 0 है।
 
सममित बीजगणित ''S''(''V'') एबेलियन लाइ बीजगणित का यूनिवर्सल एनवलपिंग बीजगणित है, अर्थात जिसमें लाइ ब्रैकेट समान रूप से 0 है।


== यह भी देखें ==
== यह भी देखें ==
* [[बाहरी बीजगणित]], [[वैकल्पिक बीजगणित]] एनालॉग
* [[बाहरी बीजगणित]], [[वैकल्पिक बीजगणित]] एनालॉग
* [[वर्गीकृत-सममित बीजगणित]], एक सममित बीजगणित का एक सामान्य सामान्यीकरण और एक बाहरी बीजगणित
* [[वर्गीकृत-सममित बीजगणित]], सममित बीजगणित का सामान्य सामान्यीकरण और एक्सटीरियर बीजगणित
* [[वेइल बीजगणित]], सममित बीजगणित का एक [[क्वांटम समूह]] एक [[सहानुभूतिपूर्ण रूप]] से
* [[वेइल बीजगणित]], सममित बीजगणित का [[क्वांटम समूह]] [[सहानुभूतिपूर्ण रूप|सिम्प्लेटिक रूप]] से
* [[क्लिफर्ड बीजगणित]], [[द्विघात रूप]] से बाहरी बीजगणित का एक क्वांटम समूह
* [[क्लिफर्ड बीजगणित]], [[द्विघात रूप]] से [[बाहरी शक्ति|एक्सटीरियर]] बीजगणित का क्वांटम समूह


==संदर्भ==
==संदर्भ==
* {{citation|first = Nicolas|last=Bourbaki|authorlink=Nicolas Bourbaki | title = Elements of mathematics, Algebra I| publisher = Springer-Verlag | year = 1989|isbn=3-540-64243-9|url=https://books.google.com/books?id=STS9aZ6F204C&q=%22Symmetric+algebra%22}}
* {{citation|first = Nicolas|last=Bourbaki|authorlink=Nicolas Bourbaki | title = Elements of mathematics, Algebra I| publisher = Springer-Verlag | year = 1989|isbn=3-540-64243-9|url=https://books.google.com/books?id=STS9aZ6F204C&q=%22Symmetric+algebra%22}}


{{Algebra}}
[[Category:All Wikipedia articles written in American English]]
[[Category: अल्जेब्रास]] [[Category: बहुरेखीय बीजगणित]] [[Category: बहुपदों]] [[Category: रिंग थ्योरी]]  
[[Category:All articles with unsourced statements]]
 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:Articles with unsourced statements from December 2019]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 25/04/2023]]
[[Category:Created On 25/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Use American English from February 2019]]
[[Category:अल्जेब्रास]]
[[Category:बहुपदों]]
[[Category:बहुरेखीय बीजगणित]]
[[Category:रिंग थ्योरी]]

Latest revision as of 15:20, 30 October 2023


गणित में, सममित बीजगणित S(V) (Sym(V) को भी निरूपित करता है) सदिश समष्टि V पर क्षेत्र K पर (गणित) क्रमविनिमेय बीजगणित (संरचना) K है जिसमें V सम्मिलित है, और इस गुण के लिए कुछ अर्थों में न्यूनतम होता है। यहाँ, न्यूनतम का अर्थ है कि S(V) निम्नलिखित यूनिवर्सल प्रॉपर्टी को संतुष्ट करता है: V से क्रमविनिमेय बीजगणित A तक प्रत्येक रैखिक मानचित्र f के लिए अद्वितीय बीजगणित समरूपता g : S(V) → A है, उदाहरण के लिए, f = gi, जहाँ i, S(V) में V का समावेशन मानचित्र है।

यदि V का आधार B है, तो सममित बीजगणित S(V) को विहित समरूपता के माध्यम से, बहुपद वलय K[B] में प्रमाणित किया जा सकता है , जहाँ B के तत्वों को अनिश्चित माना जाता है। इसलिए, सममित बीजगणित को V पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है।

सममित बीजगणित S(V) को टेंसर बीजगणित T(V) के भागफल के रूप में xyyx रूप के तत्वों द्वारा उत्पन्न टू-साइडेड आइडियल द्वारा बनाया जा सकता है।

ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस स्तिथि में विस्तारित होते हैं जहाँ V क्रमविनिमेय वलय पर मॉड्यूल (गणित) है।

निर्माण

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

सममित बीजगणित S(V) का वर्णन करने के लिए टेंसर बीजगणित T(V) का उपयोग करना संभव है। वास्तव में, S(V) को क्रमविनिमेय द्वारा उत्पन्न टू-साइडेड आइडियल द्वारा T(V) के भागफल बीजगणित के रूप में परिभाषित किया जा सकता है।

यह सत्यापित करना सरल है कि परिणाम बीजगणित परिचय में अंकित यूनिवर्सल प्रॉपर्टी को संतुष्ट करता है। टेंसर बीजगणित की यूनिवर्सल प्रॉपर्टी के कारण V से रैखिक मानचित्र f क्रमविनिमेय बीजगणित A, बीजगणित समरूपता तक विस्तृत है, जो S(V) के माध्यम से कारक है क्योंकि A क्रमविनिमेय है।

बीजगणित समरूपता के लिए f का विस्तार अद्वितीय है, क्योंकि V, A को K-बीजगणित के रूप में उत्पन्न करता है।

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

बहुपद वलय से

सममित बीजगणित S(V) को बहुपद वलय से भी बनाया जा सकता है।

यदि V, K-सदिश समष्टि या मुक्त K-मॉड्यूल है, जिसका आधार B है, तो मान लें, K[B] बहुपद वलय है जिसमें B के तत्व अनिश्चित हैं। घात-1 के समघात बहुपद सदिश समष्टि या मुक्त मॉड्यूल बनाते हैं जिसे V के द्वारा प्रमाणित किया जा सकता है। यह सत्यापित करना सरल है कि यह K[B] को प्रस्तावना में अंकित यूनिवर्सल प्रॉब्लम का समाधान बनाता है। इसका तात्पर्य है कि K[B] और S(V) कैनोनिक रूप से आइसोमोर्फिक हैं, और इसलिए इन्हें प्रमाणित किया जा सकता है। यह श्रेणी सिद्धांत के सामान्य विचारों से भी शीघ्र परिणाम देता है, क्योंकि मुक्त मॉड्यूल और बहुपद वलय उनकी संबंधित श्रेणियों की मुक्त वस्तुएं हैं।

यदि V मॉड्यूल है जो मुक्त नहीं है, तो इसे लिखा जा सकता है जहाँ L मुक्त मॉड्यूल है, और M, L का सबमॉड्यूल है।

जहाँ , M द्वारा उत्पन्न आदर्श है (यहाँ, समान संकेतों का अर्थ विहित समरूपता तक समानता है)। अधिक विशेष रूप से, तथ्य यह है कि भागफल मोर्फिसंस के लिए यूनिवर्सल प्रॉब्लम का समाधान है जो उपसमुच्चय को शून्य पर मैप करता है। (स्तिथि के आधार पर, कर्नेल (बीजगणित) सामान्य उपसमूह सबमॉड्यूल है, और भागफल की सामान्य परिभाषा को यूनिवर्सल प्रॉब्लम के समाधान के अस्तित्व के प्रमाण के रूप में देखा जा सकता है।)

ग्रेडिंग

सममित बीजगणित वर्गीकृत बीजगणित है। अर्थात यह अनुलोम योगफल है

जहाँ को V की nth सिमेट्रिक पावर कहा जाता है, V के n तत्वों के गुणनफल द्वारा उत्पन्न सदिश उपसमष्टि है।

यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से अनुसरण करता है: चूंकि टेंसर बीजगणित को वर्गीकृत किया गया है, और सममित बीजगणित सजातीय आदर्श द्वारा इसका भागफल है: सभी द्वारा उत्पन्न आदर्श है, जहाँ x और y, V में हैं।

सदिश समष्टि या मुक्त मॉड्यूल की स्तिथि में, ग्रेडेशन कुल घात द्वारा बहुपदों का ग्रेडेशन है। गैर-मुक्त मॉड्यूल को L / M के रूप में लिखा जा सकता है, जहाँ L आधार B का मुक्त मॉड्यूल है; इसका सममित बीजगणित M के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा L के सममित बीजगणित का भागफल है जो डिग्री '1' के सजातीय हैं।

कोई भी को V से सदिश समष्टि या मॉड्यूल में n-रैखिक सममित कार्यों के लिए यूनिवर्सल प्रॉब्लम के समाधान के रूप में परिभाषित कर सकता है, और तत्पश्चात सत्यापित कर सकता है कि सभी का प्रत्यक्ष योग सममित बीजगणित के लिए यूनिवर्सल प्रॉब्लम को संतुष्ट करता है।

सममित टेंसरों से संबंध

चूंकि सदिश समष्टि का सममित बीजगणित टेंसर बीजगणित का भागफल है, सममित बीजगणित का तत्व टेंसर नहीं है। चूँकि, सममित टेन्सर दृढ़ता से सममित बीजगणित से संबंधित हैं।

डिग्री n का सममित टेंसर Tn(V) का तत्व है जो सममित समूह की समूह क्रिया (गणित) के अंतर्गत अपरिवर्तनीय है। अधिक त्रुटिहीन रूप से दिया गया रूपान्तरण , Tn(V) के रैखिक एंडोमोर्फिज्म को परिभाषित करता है। इन सभी एंडोमोर्फिज्म के अंतर्गत सममित टेन्सर अपरिवर्तनीय है। डिग्री n के सममित टेंसर सदिश उपसमष्टि (या मॉड्यूल) Symn(V) ⊂ Tn(V) बनाते हैं। सममित टेंसर अनुलोम योगफल के तत्व हैं, जो ग्रेडेड वेक्टर स्पेस (या वर्गीकृत मॉड्यूल ) है। यह बीजगणित नहीं है, क्योंकि दो सममित टेंसरों का टेंसर गुणनफल सामान्य रूप से सममित नहीं है।

मान लें कि कैनोनिकल विशेषण के Symn(V) के लिए प्रतिबंध है। यदि n! ग्राउंड फील्ड में उलटा है, तो समरूपता है। यह सदैव कैरेक्टरिस्टिक (बीजगणित) शून्य के ग्राउंड फील्ड की स्तिथि में होता है। व्युत्क्रम समरूपता समाकृतिकता द्वारा परिभाषित (n वैक्टर के गुणनफल पर) रैखिक मानचित्र है-

यदि विशेषता n+1 से कम है तो मानचित्र अंतःक्षेपी नहीं है। उदाहरण के लिए कैरेक्टरिस्टिक दो में शून्य है।

कैरेक्टरिस्टिक शून्य के वलय पर नॉन सरजेक्टिव हो सकता है; उदाहरण के लिए, पूर्णांकों पर, यदि x और y, V = S1(V) के दो रैखिक रूप से स्वतंत्र तत्व हैं जो 2V में नहीं हैं, तो, तब से

कैरेक्टरिस्टिक शून्य के क्षेत्र के सारांश में, सममित टेन्सर और सममित बीजगणित दो आइसोमोर्फिक ग्रेडेड सदिश समष्टि बनाते हैं। इस प्रकार जब सदिश समष्टि संरचना का संबंध हो, तो उन्हें पहचाना जा सकता है किन्तु गुणनफल के सम्मिलित होते ही उनकी पहचान नहीं की जा सकती है।

श्रेणीबद्ध गुण

कम्यूटेटिव रिंग K पर मॉड्यूल V दिया गया है, सममित बीजगणित S(V) को निम्नलिखित यूनिवर्सल प्रॉपर्टी द्वारा परिभाषित किया जा सकता है:

V से क्रमविनिमेय K-बीजगणित A के प्रत्येक K-रैखिक मानचित्र f के लिए, अद्वितीय K-बीजगणित समाकारिता है। उदाहरण के लिए, जहाँ i S(V) में V का समावेश है।

प्रत्येक यूनिवर्सल प्रॉपर्टी के लिए यह विशिष्ट रूप से सममित बीजगणित को कैनोनिकल समरूपता तक परिभाषित करता है। यह इस प्रकार है कि सममित बीजगणित के सभी गुणों को यूनिवर्सल प्रॉपर्टी से घटाया जा सकता है। यह खंड मुख्य गुणों के लिए समर्पित है जो श्रेणी सिद्धांत से संबंधित हैं।

सममित बीजगणित K-मॉड्यूल की श्रेणी (गणित) से K-कम्यूटेटिव बीजगणित की श्रेणी का फ़ंक्टर है, क्योंकि यूनिवर्सल प्रॉपर्टी का तात्पर्य है कि प्रत्येक मॉड्यूल समरूपता को बीजगणित समरूपता तक विशिष्ट रूप से विस्तृत किया जा सकता है।

सममित बीजगणित फॉर्गेटफुल फ़ंक्टर के लिए लेफ्ट एडजॉइन्ट है।

सजातीय समष्टि का सममित बीजगणित

सजातीय समष्टि पर सममित बीजगणित का निर्माण कर सकते हैं। मुख्य अंतर यह है कि सजातीय समष्टि का सममित बीजगणित, ग्रेडेड बीजगणित नहीं है, किंतु फ़िल्टर्ड बीजगणित है: सजातीय समष्टि पर बहुपद की घात निर्धारित कर सकते है।

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

बाह्य बीजगणित से सादृश्य

Sk यहाँ एक्सटीरियर पावर्स की तुलना में फ़ंक्टर हैं, चूँकि, आयाम (सदिश समष्टि) k की संगति में बढ़ता है-

जहाँ n, V का आयाम है। यह द्विपद गुणांक डिग्री k के n-चर मोनोमियल्स की संख्या है।

वास्तव में, सममित बीजगणित और बाह्य बीजगणित की क्रिया के नगण्य और सांकेतिक प्रतिनिधित्व के समस्थानिक घटकों के रूप में दिखाई देते हैं। टेंसर गुणनफल पर कार्य करता है।[citation needed]

हॉफ बीजगणित के रूप में

सममित बीजगणित को हॉफ बीजगणित की संरचना दी जा सकती है। विवरण के लिए टेन्सर बीजगणित देखें।

यूनिवर्सल एनवलपिंग बीजगणित के रूप में

सममित बीजगणित S(V) एबेलियन लाइ बीजगणित का यूनिवर्सल एनवलपिंग बीजगणित है, अर्थात जिसमें लाइ ब्रैकेट समान रूप से 0 है।

यह भी देखें

संदर्भ

  • Bourbaki, Nicolas (1989), Elements of mathematics, Algebra I, Springer-Verlag, ISBN 3-540-64243-9