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

Revision as of 00:58, 1 May 2023

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

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

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

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

निर्माण

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

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

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

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

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

बहुपद वलय से

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

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

अगर $V$ एक मॉड्यूल है जो मुफ़्त नहीं है, इसे लिखा जा सकता है $V=L/M,$ कहाँ $L$ एक मुफ्त मॉड्यूल है, और $M$ का submodule है $L$ . इस मामले में, एक है

S(V)=S(L/M)=S(L)/\langle M\rangle ,

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

ग्रेडिंग

सममित बीजगणित एक वर्गीकृत बीजगणित है। यानी यह एक सीधा योग है

S(V)=\bigoplus _{n=0}^{\infty }S^{n}(V),

कहाँ $S^{n}(V),$ इसको कॉल किया गया {{mvar|n}की सममित शक्ति $V$ , वेक्टर सबस्पेस या सबमॉड्यूल है जो उत्पादों द्वारा उत्पन्न होता है $n$ घटक $V$ . (दूसरी सममित शक्ति $S^{2}(V)$ को कभी-कभी का सममित वर्ग कहा जाता है $V$ ).

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

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

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

सममित टेंसरों के साथ संबंध

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

डिग्री का एक सममित टेंसर $n$ का एक तत्व है $T n (V)$ जो सममित समूह की समूह क्रिया (गणित) के अंतर्गत अपरिवर्तनीय है

@@ Line 2: / Line 2: @@
 {{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}} पर समन्वय मुक्त बहुपद वलय के रूप में देखा जा सकता है।
-सममित बीजगणित {{math|''S''(''V'')}} को [[टेंसर बीजगणित]] {{math|''T''(''V'')}} के भागफल के रूप में {{math|''x'' ⊗ ''y'' − ''y'' ⊗ ''x''}} रूप के तत्वों द्वारा उत्पन्न [[दो तरफा आदर्श]] द्वारा बनाया जा सकता है।
+सममित बीजगणित {{math|''S''(''V'')}} को [[टेंसर बीजगणित]] {{math|''T''(''V'')}} के भागफल के रूप में {{math|''x'' ⊗ ''y'' − ''y'' ⊗ ''x''}} रूप के तत्वों द्वारा उत्पन्न [[दो तरफा आदर्श|टू-साइडेड आइडियल]] द्वारा बनाया जा सकता है।
-ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस मामले में विस्तारित होते हैं जहाँ {{mvar|V}} क्रमविनिमेय वलय के ऊपर एक [[मॉड्यूल (गणित)]] (जरूरी नहीं कि मुक्त हो) है।
+ये सभी परिभाषाएँ और गुण स्वाभाविक रूप से उस स्तिथि में विस्तारित होते हैं जहाँ {{mvar|V}} क्रमविनिमेय वलय पर [[मॉड्यूल (गणित)]] है।
 == निर्माण ==
 === टेंसर बीजगणित से ===
-टेंसर बीजगणित का उपयोग करना संभव है {{math|''T''(''V'')}} सममित बीजगणित का वर्णन करने के लिए {{math|''S''(''V'')}}. वास्तव में, {{math|''S''(''V'')}} के [[भागफल साहचर्य बीजगणित]] के रूप में परिभाषित किया जा सकता है {{math|''T''(''V'')}} [[कम्यूटेटर]] द्वारा उत्पन्न दो तरफा आदर्श द्वारा <math>v\otimes w - w\otimes v.</math>
+सममित बीजगणित {{math|''S''(''V'')}} का वर्णन करने के लिए टेंसर बीजगणित {{math|''T''(''V'')}} का उपयोग करना संभव है। वास्तव में, {{math|''S''(''V'')}} को [[कम्यूटेटर|क्रमविनिमेय]] <math>v\otimes w - w\otimes v.</math> द्वारा उत्पन्न टू-साइडेड आइडियल द्वारा {{math|''T''(''V'')}} के [[भागफल साहचर्य बीजगणित|भागफल बीजगणित]] के रूप में परिभाषित किया जा सकता है।
-यह सत्यापित करना सीधा है कि परिणामी बीजगणित परिचय में बताई गई सार्वभौमिक संपत्ति को संतुष्ट करता है। टेंसर बीजगणित की सार्वभौमिक संपत्ति के कारण, एक रेखीय मानचित्र {{mvar|f}} से {{mvar|V}} क्रमविनिमेय बीजगणित के लिए {{mvar|A}} एक बीजगणित समरूपता तक फैली हुई है <math>T(V)\rightarrow A</math>, जिसके माध्यम से कारक {{mvar|S(V)}} क्योंकि {{mvar|A}} क्रमविनिमेय है। का विस्तार {{mvar|f}}
-एक बीजगणित समरूपता के लिए <math>S(V)\rightarrow A</math> अद्वितीय है क्योंकि {{mvar|V}} उत्पन्न करता है {{mvar|A}} के तौर पर {{mvar|K}}-बीजगणित।
+यह सत्यापित करना सरल है कि परिणाम बीजगणित परिचय में अंकित यूनिवर्सल प्रॉपर्टी को संतुष्ट करता है। टेंसर बीजगणित की यूनिवर्सल प्रॉपर्टी के कारण {{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}}-बीजगणित के रूप में उत्पन्न करता है।
 यह परिणाम सीधे [[श्रेणी सिद्धांत]] के एक सामान्य परिणाम से भी होता है, जो इस बात पर जोर देता है कि दो बाएं आसन्न फ़ैक्टरों की संरचना भी एक बाएं आसन्न फ़ैक्टर है। यहाँ, क्रमविनिमेय बीजगणित से वेक्टर रिक्त स्थान या मॉड्यूल (गुणन को भूल जाना) से भुलक्कड़ फ़ंक्टर क्रमविनिमेय बीजगणित से साहचर्य बीजगणित (कम्यूटेटिविटी को भूलना), और साहचर्य बीजगणित से वैक्टर या मॉड्यूल (गुणन को भूल जाना) से भुलक्कड़ फ़ंक्टर की संरचना है। जैसा कि टेन्सर बीजगणित और कम्यूटेटर द्वारा भागफल इन भुलक्कड़ फ़ैक्टरों के आस-पास छोड़ दिया जाता है, उनकी रचना कम्यूटेटिव बीजगणित से वैक्टर या मॉड्यूल तक भूलने वाले फ़ंक्टर के आस-पास छोड़ दी जाती है, और यह वांछित सार्वभौमिक संपत्ति को साबित करता है।
@@ Line 37: / Line 39: @@
 एक सदिश स्थान या एक मुक्त मॉड्यूल के मामले में, ग्रेडेशन [[कुल डिग्री]] द्वारा बहुपदों का ग्रेडेशन है। एक गैर-मुक्त मॉड्यूल के रूप में लिखा जा सकता है {{math|''L'' / ''M''}}, कहाँ {{mvar|L}} आधार का एक निःशुल्क मॉड्यूल है {{mvar|B}}; इसका सममित बीजगणित (वर्गीकृत) सममित बीजगणित का भागफल है {{mvar|L}} (एक बहुपद वलय) के तत्वों द्वारा उत्पन्न सजातीय आदर्श द्वारा {{mvar|M}}, जो एक डिग्री के सजातीय हैं।
-कोई परिभाषित भी कर सकता है <math>S^n(V)</math> बहुरेखीय फलन के लिए सार्वभौम समस्या के समाधान के रूप में |{{mvar|n}}-रैखिक सममित कार्य {{mvar|V}} एक सदिश स्थान या एक मॉड्यूल में, और फिर सत्यापित करें कि सभी का प्रत्यक्ष योग <math>S^n(V)</math> सममित बीजगणित के लिए सार्वभौमिक समस्या को संतुष्ट करता है।
+कोई परिभाषित भी कर सकता है <math>S^n(V)</math> बहुरैखिक फलन के लिए सार्वभौम समस्या के समाधान के रूप में |{{mvar|n}}-रैखिक सममित कार्य {{mvar|V}} एक सदिश स्थान या एक मॉड्यूल में, और फिर सत्यापित करें कि सभी का प्रत्यक्ष योग <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}} वैक्टर) समरूपता द्वारा

Anonymous

Search

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

Namespaces

More

Page actions