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

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{short description|"Smallest" commutative algebra that contains a vector space}}
{{short description|"Smallest" commutative algebra that contains a vector space}}
{{distinguish|सममित फ्रोबेनियस बीजगणित}}
{{distinguish|सममित फ्रोबेनियस बीजगणित}}
गणित में, सममित बीजगणित {{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 24: Line 24:
सममित बीजगणित {{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}}, {{mvar|L}} का [[submodule|सबमॉड्यूल]] है।
यदि {{mvar|V}} मॉड्यूल है जो मुक्त नहीं है, तो इसे <math>V=L/M,</math> लिखा जा सकता है जहाँ {{mvar|L}} मुक्त मॉड्यूल है, और {{mvar|M}}, {{mvar|L}} का [[submodule|सबमॉड्यूल]] है।
Line 37: Line 37:
यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से अनुसरण करता है: चूंकि टेंसर बीजगणित को वर्गीकृत किया गया है, और सममित बीजगणित [[सजातीय आदर्श]] द्वारा इसका भागफल है: सभी <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|M}} के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा {{mvar|L}} के सममित बीजगणित का भागफल है जो डिग्री एक के सजातीय हैं।
सदिश समष्टि या मुक्त मॉड्यूल की स्तिथि में, ग्रेडेशन [[कुल डिग्री|कुल घात]] द्वारा बहुपदों का ग्रेडेशन है। गैर-मुक्त मॉड्यूल को {{math|''L'' / ''M''}} के रूप में लिखा जा सकता है, जहाँ {{mvar|L}} आधार {{mvar|B}} का मुक्त मॉड्यूल है; इसका सममित बीजगणित {{mvar|M}} के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा {{mvar|L}} के सममित बीजगणित का भागफल है जो डिग्री '1' के सजातीय हैं।


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


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


Line 57: Line 57:
कम्यूटेटिव रिंग K पर मॉड्यूल V दिया गया है, सममित बीजगणित 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|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|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> तक विशिष्ट रूप से विस्तृत किया जा सकता है।
Line 71: Line 71:
उदाहरण के लिए, सदिश समष्टि पर रैखिक बहुपद दिया गया है, कोई 0 पर मूल्यांकन करके इसके निरंतर भाग को निर्धारित कर सकता है। कोई विशिष्ट बिंदु सजातीय समष्टि पर नहीं है, इसलिए कोई ऐसा नहीं कर सकता है (बिंदु का चयन, सजातीय समष्टि को सदिश समष्टि में परिवर्तित कर देता है)।
उदाहरण के लिए, सदिश समष्टि पर रैखिक बहुपद दिया गया है, कोई 0 पर मूल्यांकन करके इसके निरंतर भाग को निर्धारित कर सकता है। कोई विशिष्ट बिंदु सजातीय समष्टि पर नहीं है, इसलिए कोई ऐसा नहीं कर सकता है (बिंदु का चयन, सजातीय समष्टि को सदिश समष्टि में परिवर्तित कर देता है)।


== बाह्य बीजगणित के साथ सादृश्य ==
== बाह्य बीजगणित से सादृश्य ==
''S<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-चर मोनोमियल्स की संख्या है।

Revision as of 00:44, 3 May 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 द्वारा उत्पन्न आदर्श है (यहाँ, समान संकेतों का अर्थ विहित समरूपता तक समानता है)। अधिक विशेष रूप से, तथ्य यह है कि भागफल morphisms के लिए यूनिवर्सल प्रॉब्लम का समाधान है जो किसी दिए गए उपसमुच्चय को शून्य पर मैप करता है। (स्तिथि के आधार पर, कर्नेल (बीजगणित) सामान्य उपसमूह सबमॉड्यूल है, और भागफल की सामान्य परिभाषा को यूनिवर्सल प्रॉब्लम के समाधान के अस्तित्व के प्रमाण के रूप में देखा जा सकता है।)

ग्रेडिंग

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

जहाँ को 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

{{Navbox | name =बीजगणित | state =

| bodyclass = hlist

| title =बीजगणित | group1 =क्षेत्रों | list1 =

| group2 =बीजगणितीय संरचना | list2 =* समूह   ( सिद्धांत)

| group3 =लीनियर अलजेब्रा | list3 =* मैट्रिक्स और nbsp; (सिद्धांत)

| group4 =मल्टीलिनियर बीजगणित | list4 =* टेंसर बीजगणित

| group5 =विषय सूची | list5 =* सार बीजगणित

| group6 =शब्दावलियों | list6 =* रैखिक बीजगणित

| group7 =संबंधित | list7 =* अंक शास्त्र

| belowस्टाइल = फ़ॉन्ट-वेट: बोल्ड; | below =* श्रेणी

}}