सममित बीजगणित

Not to be confused with Symmetric Frobenius algebra.

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

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

सममित बीजगणित S(V) को टेंसर बीजगणित के भागफल वलय के रूप में बनाया जा सकता है T(V) फॉर्म के तत्वों द्वारा उत्पन्न दो तरफा आदर्श द्वारा x ⊗ y − y ⊗ x.

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

निर्माण

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

टेंसर बीजगणित का उपयोग करना संभव है T(V) सममित बीजगणित का वर्णन करने के लिए S(V). वास्तव में, S(V) के भागफल साहचर्य बीजगणित के रूप में परिभाषित किया जा सकता है T(V) कम्यूटेटर द्वारा उत्पन्न दो तरफा आदर्श द्वारा $v\otimes w-w\otimes v.$ यह सत्यापित करना सीधा है कि परिणामी बीजगणित परिचय में बताई गई सार्वभौमिक संपत्ति को संतुष्ट करता है। टेंसर बीजगणित की सार्वभौमिक संपत्ति के कारण, एक रेखीय मानचित्र f से V क्रमविनिमेय बीजगणित के लिए A एक बीजगणित समरूपता तक फैली हुई है $T(V)\rightarrow A$, जिसके माध्यम से कारक S(V) क्योंकि A क्रमविनिमेय है। का विस्तार f एक बीजगणित समरूपता के लिए $S(V)\rightarrow A$ अद्वितीय है क्योंकि 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ⁿ(V) जो सममित समूह की समूह क्रिया (गणित) के अंतर्गत अपरिवर्तनीय है ${\mathcal {S}}_{n}.$ अधिक सटीक, दिया गया $\sigma \in {\mathcal {S}}_{n},$ रूपान्तरण $v_{1}\otimes \cdots \otimes v_{n}\mapsto v_{\sigma (1)}\otimes \cdots \otimes v_{\sigma (n)}$ के एक रेखीय एंडोमोर्फिज्म को परिभाषित करता है Tⁿ(V). एक सममित टेन्सर एक टेन्सर है जो इन सभी एंडोमोर्फिज्म के तहत अपरिवर्तनीय है। डिग्री के सममित टेंसर n सदिश उप-स्थान (या मॉड्यूल) बनाते हैं Symⁿ(V) ⊂ Tⁿ(V). सममित टेंसर प्रत्यक्ष योग के तत्व हैं $\textstyle \bigoplus _{n=0}^{\infty }\operatorname {Sym} ^{n}(V),$ जो एक ग्रेडेड वेक्टर स्पेस (या वर्गीकृत मॉड्यूल ) है। यह एक बीजगणित नहीं है, क्योंकि दो सममित टेंसरों का टेंसर उत्पाद सामान्य रूप से सममित नहीं है।

होने देना $\pi _{n}$ पर प्रतिबंध हो Symⁿ(V) विहित अनुमान के $T^{n}(V)\to S^{n}(V).$ अगर n! ग्राउंड फील्ड (या रिंग) में उलटा है, फिर $\pi _{n}$ एक समरूपता है। यह हमेशा विशेषता (बीजगणित) शून्य के जमीनी क्षेत्र के मामले में होता है। प्रतिलोम फलन समाकृतिकता रैखिक मानचित्र परिभाषित है (के उत्पादों पर n वैक्टर) समरूपता द्वारा

$v_1\cdots <!--\; \cdots \; -->v_n\mapsto <!--\; \mapsto \; -->\frac{1}{n!}\underset{\mathrm{\sigma <!--\; \sigma \; -->}\in <!--\; \in \; -->S_n}{\sum <!--\; \sum \; -->}{v}_{\mathrm{\sigma <!--\; \sigma \; -->}}$