सममित बीजगणित: Difference between revisions
No edit summary |
No edit summary |
||
(14 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, '''सममित बीजगणित''' {{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'')}} ( | |||
यदि {{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}} पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है। | ||
सममित बीजगणित {{math|''S''(''V'')}} को [[टेंसर बीजगणित]] {{math|''T''(''V'')}} के भागफल के रूप में {{math|''x'' ⊗ ''y'' − ''y'' ⊗ ''x''}} रूप के तत्वों द्वारा उत्पन्न [[दो तरफा आदर्श]] द्वारा बनाया जा सकता है। | सममित बीजगणित {{math|''S''(''V'')}} को [[टेंसर बीजगणित]] {{math|''T''(''V'')}} के भागफल के रूप में {{math|''x'' ⊗ ''y'' − ''y'' ⊗ ''x''}} रूप के तत्वों द्वारा उत्पन्न [[दो तरफा आदर्श|टू-साइडेड आइडियल]] द्वारा बनाया जा सकता है। | ||
ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस | ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस स्तिथि में विस्तारित होते हैं जहाँ {{mvar|V}} क्रमविनिमेय वलय पर [[मॉड्यूल (गणित)]] है। | ||
== निर्माण == | == निर्माण == | ||
=== टेंसर बीजगणित से === | === टेंसर बीजगणित से === | ||
सममित बीजगणित {{math|''S''(''V'')}} का वर्णन करने के लिए टेंसर बीजगणित {{math|''T''(''V'')}} का उपयोग करना संभव है। वास्तव में, {{math|''S''(''V'')}} को [[कम्यूटेटर|क्रमविनिमेय]] <math>v\otimes w - w\otimes v.</math> द्वारा उत्पन्न टू-साइडेड आइडियल द्वारा {{math|''T''(''V'')}} के [[भागफल साहचर्य बीजगणित|भागफल बीजगणित]] के रूप में परिभाषित किया जा सकता है। | |||
यह सत्यापित करना | |||
यह सत्यापित करना सरल है कि परिणाम बीजगणित परिचय में अंकित यूनिवर्सल प्रॉपर्टी को संतुष्ट करता है। टेंसर बीजगणित की यूनिवर्सल प्रॉपर्टी के कारण {{mvar|V}} से रैखिक मानचित्र {{mvar|f}} क्रमविनिमेय बीजगणित {{mvar|A}}, बीजगणित समरूपता <math>T(V)\rightarrow A</math> तक विस्तृत है, जो {{mvar|S(V)}} के माध्यम से कारक है क्योंकि {{mvar|A}} क्रमविनिमेय है। | |||
यह परिणाम | बीजगणित समरूपता <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}} के तत्व अनिश्चित हैं। घात-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|सबमॉड्यूल]] है। | |||
:<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}} द्वारा उत्पन्न आदर्श है (यहाँ, समान संकेतों का अर्थ विहित समरूपता [[तक]] समानता है)। अधिक विशेष रूप से, तथ्य यह है कि भागफल मोर्फिसंस के लिए यूनिवर्सल प्रॉब्लम का समाधान है जो उपसमुच्चय को शून्य पर मैप करता है। (स्तिथि के आधार पर, कर्नेल (बीजगणित) [[सामान्य उपसमूह]] सबमॉड्यूल है, और भागफल की सामान्य परिभाषा को यूनिवर्सल प्रॉब्लम के समाधान के अस्तित्व के प्रमाण के रूप में देखा जा सकता है।) | |||
== ग्रेडिंग == | == ग्रेडिंग == | ||
सममित बीजगणित | सममित बीजगणित [[वर्गीकृत बीजगणित]] है। अर्थात यह अनुलोम योगफल है | ||
:<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|V}} की nth [[सममित शक्ति|सिमेट्रिक पावर]] कहा जाता है, {{mvar|V}} के {{mvar|n}} तत्वों के गुणनफल द्वारा उत्पन्न सदिश उपसमष्टि है। | |||
यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से | यह विभिन्न माध्यमों से सिद्ध किया जा सकता है। टेंसर-बीजगणित निर्माण से अनुसरण करता है: चूंकि टेंसर बीजगणित को वर्गीकृत किया गया है, और सममित बीजगणित [[सजातीय आदर्श]] द्वारा इसका भागफल है: सभी <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}} के सममित बीजगणित का भागफल है जो डिग्री '1' के सजातीय हैं। | |||
कोई | कोई भी <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> के तत्व हैं, जो [[ग्रेडेड वेक्टर स्पेस]] (या [[ वर्गीकृत मॉड्यूल ]]) है। यह बीजगणित नहीं है, क्योंकि दो सममित टेंसरों का टेंसर गुणनफल सामान्य रूप से सममित नहीं है। | ||
मान लें कि <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> | ||
यदि विशेषता {{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> | |||
कैरेक्टरिस्टिक शून्य के क्षेत्र के सारांश में, सममित टेन्सर और सममित बीजगणित दो आइसोमोर्फिक ग्रेडेड सदिश समष्टि बनाते हैं। इस प्रकार जब सदिश समष्टि संरचना का संबंध हो, तो उन्हें पहचाना जा सकता है किन्तु गुणनफल के सम्मिलित होते ही उनकी पहचान नहीं की जा सकती है। | |||
== श्रेणीबद्ध गुण == | == श्रेणीबद्ध गुण == | ||
कम्यूटेटिव रिंग 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|K}}-कम्यूटेटिव बीजगणित की श्रेणी का फ़ंक्टर है, क्योंकि यूनिवर्सल प्रॉपर्टी का तात्पर्य है कि प्रत्येक [[मॉड्यूल समरूपता]] <math>f:V\to W</math> को बीजगणित समरूपता <math>S(f):S(V)\to S(W).</math> तक विशिष्ट रूप से विस्तृत किया जा सकता है। | |||
सममित बीजगणित फॉर्गेटफुल फ़ंक्टर के लिए लेफ्ट एडजॉइन्ट है। | |||
'''सजातीय समष्टि का सममित बीजगणित''' | |||
सजातीय समष्टि पर सममित बीजगणित का निर्माण कर सकते हैं। मुख्य अंतर यह है कि सजातीय समष्टि का सममित बीजगणित, ग्रेडेड बीजगणित नहीं है, किंतु फ़िल्टर्ड बीजगणित है: सजातीय समष्टि पर बहुपद की घात निर्धारित कर सकते है। | |||
उदाहरण के लिए, | उदाहरण के लिए, सदिश समष्टि पर रैखिक बहुपद दिया गया है, कोई 0 पर मूल्यांकन करके इसके निरंतर भाग को निर्धारित कर सकता है। कोई विशिष्ट बिंदु सजातीय समष्टि पर नहीं है, इसलिए कोई ऐसा नहीं कर सकता है (बिंदु का चयन, सजातीय समष्टि को सदिश समष्टि में परिवर्तित कर देता है)। | ||
== | == बाह्य बीजगणित से सादृश्य == | ||
''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}} | |||
'''[[हॉफ बीजगणित]] के रूप में''' | |||
सममित बीजगणित को हॉफ बीजगणित की संरचना दी जा सकती है। विवरण के लिए टेन्सर बीजगणित देखें। | सममित बीजगणित को हॉफ बीजगणित की संरचना दी जा सकती है। विवरण के लिए टेन्सर बीजगणित देखें। | ||
'''[[सार्वभौमिक लिफाफा बीजगणित|यूनिवर्सल एनवलपिंग बीजगणित]] के रूप में''' | |||
सममित बीजगणित | |||
सममित बीजगणित ''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}} | ||
[[Category:All Wikipedia articles written in American English]] | |||
[[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: | |||
[[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 = g ∘ i, जहाँ i, S(V) में V का समावेशन मानचित्र है।
यदि V का आधार B है, तो सममित बीजगणित S(V) को विहित समरूपता के माध्यम से, बहुपद वलय K[B] में प्रमाणित किया जा सकता है , जहाँ B के तत्वों को अनिश्चित माना जाता है। इसलिए, सममित बीजगणित को V पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है।
सममित बीजगणित S(V) को टेंसर बीजगणित T(V) के भागफल के रूप में x ⊗ y − y ⊗ x रूप के तत्वों द्वारा उत्पन्न टू-साइडेड आइडियल द्वारा बनाया जा सकता है।
ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस स्तिथि में विस्तारित होते हैं जहाँ 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