सुपर बीजगणित: Difference between revisions
(Created page with "{{Short description|Algebraic structure used in theoretical physics}} गणित और सैद्धांतिक भौतिकी में, एक सुपर...") |
No edit summary |
||
(9 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Algebraic structure used in theoretical physics}} | {{Short description|Algebraic structure used in theoretical physics}} | ||
गणित और [[सैद्धांतिक भौतिकी]] में, | गणित और [[सैद्धांतिक भौतिकी]] में, '''उपबीजगणित''' Z<sub>2</sub> है वर्गीकृत बीजगणित.<ref>{{harvnb|Kac|Martinez|Zelmanov|2001|p=3}}</ref> अर्थात्, यह [[क्रमविनिमेय वलय]] या क्षेत्र (गणित) पर [[बीजगणित (रिंग सिद्धांत)|बीजगणित (वलय सिद्धांत)]] है जिसमें सम और विषम भागो में अपघटन होता है और गुणन ऑपरेटर होता है जो की ग्रेडिंग का सम्मान करता है। | ||
उपसर्ग सुपर- सैद्धांतिक भौतिकी में [[अतिसममिति]] के सिद्धांत से आता है। सुपरएल्जेब्रा और उनके निरूपण, [[सुपरमॉड्यूल]], सुपरसिमेट्री तैयार करने के लिए | उपसर्ग सुपर- सैद्धांतिक भौतिकी में [[अतिसममिति]] के सिद्धांत से आता है। सुपरएल्जेब्रा और उनके निरूपण, [[सुपरमॉड्यूल]], सुपरसिमेट्री तैयार करने के लिए बीजगणितीय प्रारूप प्रदान करते हैं। ऐसी वस्तुओं के अध्ययन को कभी-कभी सुपर लीनियर बीजगणित कहा जाता है। सुपरएल्जेब्रा [[सुपरजियोमेट्री]] के संबंधित क्षेत्र में भी महत्वपूर्ण भूमिका निभाते हैं जहां वे [[ वर्गीकृत अनेक गुना |वर्गीकृत मैनिफोल्ड]], [[सुपरमैनिफोल्ड]] और [[सुपरस्कीम]] की परिभाषाओं में प्रवेश करते हैं। | ||
==औपचारिक परिभाषा== | ==औपचारिक परिभाषा == | ||
मान लीजिए K | मान लीजिए K क्रमविनिमेय वलय है। अधिकांश अनुप्रयोगों में, K [[विशेषता (बीजगणित)]] 0 का क्षेत्र (गणित) है, जैसे 'R' या 'C'। | ||
K के ऊपर | K के ऊपर 'सुपरलेजेब्रा' मॉड्यूल (गणित) है K-मॉड्यूल A, मॉड्यूल अपघटन के प्रत्यक्ष योग के साथ | ||
:<math>A = A_0\oplus A_1</math> | :<math>A = A_0\oplus A_1</math> | ||
साथ में | साथ में [[द्विरेखीय मानचित्र]] गुणन A × A → A इस प्रकार | ||
:<math>A_iA_j \sube A_{i+j}</math> | :<math>A_iA_j \sube A_{i+j}</math> | ||
जहां सबस्क्रिप्ट को [[मॉड्यूलर अंकगणित]] 2 पढ़ा जाता है, | जहां सबस्क्रिप्ट को [[मॉड्यूलर अंकगणित]] 2 पढ़ा जाता है, अर्थात उन्हें Z<sub>2</sub> के अवयवो के रूप में माना जाता है. | ||
एक सुपररिंग, या Z<sub>2</sub>-श्रेणीबद्ध वलय, [[पूर्णांक]] Z के वलय पर | एक सुपररिंग, या Z<sub>2</sub>-श्रेणीबद्ध वलय, [[पूर्णांक]] Z के वलय पर उपबीजगणित है। | ||
प्रत्येक '' | प्रत्येक ''a<sub>i</sub>'' के अवयव सजातीय कहा जाता है. सजातीय अवयव ''x'' की समता, {{abs|''x''}} द्वारा निरूपित , यह a में है या नहीं, इसके अनुसार 0 या 1<sub>0</sub> या ए<sub>1</sub> है समता 0 के अवयवो को सम और समता 1 के अवयवो को विषम कहा जाता है। यदि ''x'' और ''y'' दोनों सजातीय हैं तो गुणनफल ''xy'' भी वैसा ही है <math>|xy| = |x| + |y|</math>. | ||
एक साहचर्य | एक साहचर्य उपबीजगणित वह है जिसका गुणन साहचर्य है और इकाई उपबीजगणित वह है जिसमें गुणात्मक [[पहचान तत्व|पहचान अवयव]] होता है। इकाई उपबीजगणित में पहचान अवयव आवश्यक रूप से सम होता है। जब तक अन्यथा निर्दिष्ट न किया जाए, इस लेख में सभी उपबीजगणित को साहचर्य और एकात्मक माना जाता है। | ||
एक [[क्रमविनिमेय सुपरबीजगणित]] (या [[क्रमपरिवर्तनशीलता]] बीजगणित) वह है जो क्रमविनिमेयता के | एक [[क्रमविनिमेय सुपरबीजगणित|क्रमविनिमेय उपबीजगणित]] (या [[क्रमपरिवर्तनशीलता]] बीजगणित) वह है जो क्रमविनिमेयता के श्रेणीबद्ध संस्करण को संतुष्ट करता है। विशेष रूप से, a क्रमविनिमेय है यदि | ||
:<math>yx = (-1)^{|x||y|}xy\,</math> | :<math>yx = (-1)^{|x||y|}xy\,</math> | ||
a के सभी सजातीय अवयवो x और y के लिए। ऐसे उपबीजगणित हैं जो सामान्य अर्थ में क्रमविनिमेय हैं, किन्तु उपबीजगणित अर्थ में नहीं इस कारण से, भ्रम से बचने के लिए कम्यूटेटिव सुपरएल्जेब्रा को अधिकांशतः सुपरकम्यूटेटिव कहा जाता है।<ref>{{harvnb|Varadarajan|2004|p=87}}</ref> | |||
==उदाहरण== | ==उदाहरण== | ||
* क्रमविनिमेय वलय K के ऊपर किसी भी बीजगणित को K के ऊपर विशुद्ध रूप से सम | * क्रमविनिमेय वलय K के ऊपर किसी भी बीजगणित को K के ऊपर विशुद्ध रूप से सम उपबीजगणित माना जा सकता है; अर्थात् A<sub>1</sub> सामान्य होता है | ||
*ग्रेडिंग मोडुलो 2 को पढ़कर किसी भी Z- या N-ग्रेडेड बीजगणित को | *ग्रेडिंग मोडुलो 2 को पढ़कर किसी भी Z- या N-ग्रेडेड बीजगणित को उपबीजगणित माना जा सकता है। इसमें [[टेंसर बीजगणित]] और ''K'' के ऊपर [[बहुपद वलय]] जैसे उदाहरण सम्मिलित हैं। | ||
*विशेष रूप से, ''K'' के ऊपर कोई भी [[बाहरी बीजगणित]] | *विशेष रूप से, ''K'' के ऊपर कोई भी [[बाहरी बीजगणित]] उपबीजगणित है। इस प्रकार बाहरी बीजगणित [[सुपरकम्यूटेटिव बीजगणित]] का मानक उदाहरण है। | ||
*[[सममित बहुपद]] और एकांतर बहुपद मिलकर | *[[सममित बहुपद]] और एकांतर बहुपद मिलकर उपबीजगणित बनाते हैं, जो क्रमशः सम और विषम भाग होते हैं। ध्यान दें कि यह डिग्री के अनुसार ग्रेडिंग से भिन्न ग्रेडिंग है। | ||
*क्लिफ़ोर्ड बीजगणित | *क्लिफ़ोर्ड बीजगणित उपबीजगणित हैं। वे सामान्यतः गैर-अनुवांशिक होते हैं। | ||
*सभी [[एंडोमोर्फिज्म]] का | *सभी [[एंडोमोर्फिज्म]] का समुच्चय (निरूपित) <math>\mathbf{End} (V) \equiv \mathbf{Hom}(V,V)</math>, जहां बोल्डफेस <math>\mathrm {Hom}</math> आंतरिक कहा जाता है ,इस प्रकार <math>\mathrm {Hom}</math> [[सुपर वेक्टर स्पेस|सुपर सदिश समिष्ट]] के सभी रैखिक मानचित्रों से बना) रचना के अनुसार उपबीजगणित बनाता है। | ||
*K में प्रविष्टियों के साथ सभी वर्ग [[ सुपरमैट्रिसेस ]] का | *K में प्रविष्टियों के साथ सभी वर्ग [[ सुपरमैट्रिसेस |सुपरमैट्रिसेस]] का समुच्चय M<sub>''p''|''q''</sub>(k) द्वारा निरूपित उपबीजगणित बनाता है। इस बीजगणित को रैंक p|q के के ऊपर मुक्त सुपरमॉड्यूल के एंडोमोर्फिज्म के बीजगणित के साथ पहचाना जा सकता है और इस समिष्ट के लिए उपरोक्त का आंतरिक होम है। | ||
* | *लाई अलजेब्रा का श्रेणीबद्ध एनालॉग है। लाई उपबीजगणित नॉनइकाईल और असंबद्ध हैं; चूँकि, कोई उपबीजगणित के [[सार्वभौमिक आवरण बीजगणित]] के एनालॉग का निर्माण कर सकता है जो इकाईल, साहचर्य उपबीजगणित है। | ||
==आगे की परिभाषाएँ और निर्माण== | ==आगे की परिभाषाएँ और निर्माण== | ||
Line 40: | Line 38: | ||
===सम उपबीजगणित=== | ===सम उपबीजगणित=== | ||
मान लीजिए A | मान लीजिए A क्रमविनिमेय वलय K पर उपबीजगणित है। [[सबमॉड्यूल]] A<sub>0</sub>, जिसमें सभी सम अवयव सम्मिलित हैं, गुणन के अंतर्गत संवृत है और इसमें a की पहचान सम्मिलित है और इसलिए a का [[उपबीजगणित]] बनता है, जिसे स्वाभाविक रूप से 'सम उपबीजगणित' कहा जाता है। यह K के ऊपर साधारण बीजगणित (वलय सिद्धांत) बनाता है। | ||
सभी विषम | सभी विषम अवयवो का समुच्चय A<sub>1</sub> a<sub>0</sub> है बिमॉड्यूल जिसका अदिश गुणन सिर्फ a में गुणन है। इस प्रकार a में उत्पाद a<sub>1</sub> [[द्विरेखीय रूप]] के साथ लैस है | ||
:<math>\mu:A_1\otimes_{A_0}A_1 \to A_0</math> | :<math>\mu:A_1\otimes_{A_0}A_1 \to A_0</math> | ||
ऐसा है कि | ऐसा है कि | ||
:<math>\mu(x\otimes y)\cdot z = x\cdot\mu(y\otimes z)</math> | :<math>\mu(x\otimes y)\cdot z = x\cdot\mu(y\otimes z)</math> | ||
A में सभी x, y और z के लिए | A<sub>1</sub> में सभी x, y और z के लिए. यह a में उत्पाद की संबद्धता से अनुसरण करता है। | ||
===ग्रेड इन्वॉल्वमेंट=== | ===ग्रेड इन्वॉल्वमेंट=== | ||
किसी भी | किसी भी उपबीजगणित पर कैनोनिकल इनवोल्यूशन (गणित) [[ स्वचालितता |स्वचालितता]] होता है जिसे ग्रेड इनवोल्यूशन कहा जाता है। यह सजातीय अवयवो पर दिया जाता है | ||
:<math>\hat x = (-1)^{|x|}x</math> | :<math>\hat x = (-1)^{|x|}x</math> | ||
और | और इच्छानुसार अवयवो पर | ||
:<math>\hat x = x_0 - x_1</math> | :<math>\hat x = x_0 - x_1</math> | ||
जहाँ x<sub>''i''</sub> x के सजातीय भाग हैं। यदि A में कोई [[मरोड़ (बीजगणित)|टोशन (बीजगणित)]] या 2-टोशन नहीं है (विशेष रूप से, यदि 2 विपरीत है) तो ग्रेड इनवोल्यूशन का उपयोग A के सम और विषम भागों को अलग करने के लिए किया जा सकता है: | |||
:<math>A_i = \{x \in A : \hat x = (-1)^i x\}.</math> | :<math>A_i = \{x \in A : \hat x = (-1)^i x\}.</math> | ||
===सुपरकम्यूटेटिविटी=== | ===सुपरकम्यूटेटिविटी=== | ||
a पर [[सुपरकम्यूटेटर]] द्वारा दिया गया बाइनरी ऑपरेटर है | |||
:<math>[x,y] = xy - (-1)^{|x||y|}yx</math> | :<math>[x,y] = xy - (-1)^{|x||y|}yx</math> | ||
सजातीय | सजातीय अवयवो पर, रैखिकता द्वारा a के सभी तक विस्तारित। A के अवयव x और y को 'सुपरकम्यूट' कहा जाता है यदि {{nowrap|1=[''x'', ''y''] = 0}} है | ||
a का सुपरसेंटर a के सभी अवयवो का समूह है जो a के सभी अवयवो के साथ सुपरकम्यूट करता है: | |||
:<math>\mathrm{Z}(A) = \{a\in A : [a,x]=0 \text{ for all } x\in A\}.</math> | :<math>\mathrm{Z}(A) = \{a\in A : [a,x]=0 \text{ for all } x\in A\}.</math> | ||
a का सुपरसेंटर, सामान्यतः, अवर्गीकृत बीजगणित के रूप में a के बीजगणित के केंद्र से भिन्न होता है। क्रमविनिमेय उपबीजगणित वह है जिसका सुपरसेंटर पूरा A होता है। | |||
===सुपर टेंसर उत्पाद=== | ===सुपर टेंसर उत्पाद=== | ||
दो | दो उपबीजगणित a और b के बीजगणित के श्रेणीबद्ध टेंसर उत्पाद को गुणन नियम के साथ उपबीजगणित a ⊗ b के रूप में माना जा सकता है: | ||
:<math>(a_1\otimes b_1)(a_2\otimes b_2) = (-1)^{|b_1||a_2|}(a_1a_2\otimes b_1b_2).</math> | :<math>(a_1\otimes b_1)(a_2\otimes b_2) = (-1)^{|b_1||a_2|}(a_1a_2\otimes b_1b_2).</math> | ||
यदि | यदि a या b पूर्ण रूप से सम है, तो यह सामान्य अनग्रेडेड टेंसर उत्पाद के सामान्य है (अतिरिक्त इसके कि परिणाम ग्रेडेड है)। चूँकि, सामान्यतः, सुपर टेंसर उत्पाद a और b के टेंसर उत्पाद से अलग होता है जिसे सामान्य, अवर्गीकृत बीजगणित माना जाता है। | ||
==सामान्यीकरण और स्पष्ट परिभाषा== | ==सामान्यीकरण और स्पष्ट परिभाषा == | ||
एक क्रमविनिमेय सुपररिंग पर सुपरएल्जेब्रा को | एक क्रमविनिमेय सुपररिंग पर सुपरएल्जेब्रा को सम्मिलित करने के लिए सुपरएल्जेब्रा की परिभाषा को सरलता से सामान्यीकृत किया जा सकता है। ऊपर दी गई परिभाषा उस मामले की विशेषज्ञता है जहां आधारवलय पूर्ण रूप से सम है। | ||
मान लीजिए R | मान लीजिए R क्रमविनिमेय सुपररिंग है। R पर 'सुपरलेजेब्रा' सुपरमॉड्यूल है | इस प्रकार R -सुपरमॉड्यूल a जिसमें R -बिलिनियर गुणन a × a → a है जो ग्रेडिंग का सम्मान करता है। यहाँ द्विरेखीयता का अर्थ यह है | ||
:<math>r\cdot(xy) = (r\cdot x)y = (-1)^{|r||x|}x(r\cdot y)</math> | :<math>r\cdot(xy) = (r\cdot x)y = (-1)^{|r||x|}x(r\cdot y)</math> | ||
सभी सजातीय | सभी सजातीय अवयवो r ∈ R और x, y ∈ A के लिए। | ||
सामान्यतः, कोई व्यक्ति R पर उपबीजगणित को सुपररिंग A के साथ सुपररिंग होमोमोर्फिज्म R → A के रूप में परिभाषित कर सकता है, जिसकी छवि A के सुपरसेंटर में स्थित है। | |||
कोई सुपरएलजेब्रा [[श्रेणी सिद्धांत]] को भी परिभाषित कर सकता है। सभी | कोई सुपरएलजेब्रा [[श्रेणी सिद्धांत]] को भी परिभाषित कर सकता है। सभी R -सुपरमॉड्यूल की [[श्रेणी (गणित)]] सुपर टेंसर उत्पाद के अनुसार [[मोनोइडल श्रेणी]] बनाती है जिसमें R इकाई ऑब्जेक्ट के रूप में कार्य करता है। R पर साहचर्य, इकाईल उपबीजगणित को R -सुपरमॉड्यूल की श्रेणी में मोनॉइड (श्रेणी सिद्धांत) के रूप में परिभाषित किया जा सकता है। अर्थात्, उपबीजगणित R -सुपरमॉड्यूल a है जिसमें दो (सम) आकारिकी होती है | ||
:<math>\begin{align}\mu &: A\otimes A \to A\\ \eta &: R\to A\end{align}</math> | :<math>\begin{align}\mu &: A\otimes A \to A\\ \eta &: R\to A\end{align}</math> | ||
जिसके लिए सामान्य आरेख आवागमन करते हैं। | जिसके लिए सामान्य आरेख आवागमन करते हैं। | ||
Line 90: | Line 86: | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
<references/> | <references/> | ||
==संदर्भ == | |||
==संदर्भ== | |||
*{{cite conference | author-link = Pierre Deligne | first1 = P. | last1 = Deligne |first2=J. W.|last2 = Morgan | title = Notes on Supersymmetry (following Joseph Bernstein) | book-title = Quantum Fields and Strings: A Course for Mathematicians | volume = 1 | pages = 41–97 | publisher = American Mathematical Society | year = 1999 | isbn = 0-8218-2012-5}} | *{{cite conference | author-link = Pierre Deligne | first1 = P. | last1 = Deligne |first2=J. W.|last2 = Morgan | title = Notes on Supersymmetry (following Joseph Bernstein) | book-title = Quantum Fields and Strings: A Course for Mathematicians | volume = 1 | pages = 41–97 | publisher = American Mathematical Society | year = 1999 | isbn = 0-8218-2012-5}} | ||
Line 101: | Line 95: | ||
*{{cite book|last=Varadarajan|first=V. S.|author-link=V. S. Varadarajan|title=Supersymmetry for Mathematicians: An Introduction|year=2004|publisher=American Mathematical Society|isbn=978-0-8218-3574-6|url=https://books.google.com/books?id=sZ1-G4hQgIIC&q=supersymmetry+for+mathematicians&pg=PA1|series=Courant Lecture Notes in Mathematics|volume=11}} | *{{cite book|last=Varadarajan|first=V. S.|author-link=V. S. Varadarajan|title=Supersymmetry for Mathematicians: An Introduction|year=2004|publisher=American Mathematical Society|isbn=978-0-8218-3574-6|url=https://books.google.com/books?id=sZ1-G4hQgIIC&q=supersymmetry+for+mathematicians&pg=PA1|series=Courant Lecture Notes in Mathematics|volume=11}} | ||
[[Category:Created On 19/07/2023]] | [[Category:Created On 19/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:अल्जेब्रास]] | |||
[[Category:सुपर रैखिक बीजगणित]] |
Latest revision as of 19:19, 22 August 2023
गणित और सैद्धांतिक भौतिकी में, उपबीजगणित Z2 है वर्गीकृत बीजगणित.[1] अर्थात्, यह क्रमविनिमेय वलय या क्षेत्र (गणित) पर बीजगणित (वलय सिद्धांत) है जिसमें सम और विषम भागो में अपघटन होता है और गुणन ऑपरेटर होता है जो की ग्रेडिंग का सम्मान करता है।
उपसर्ग सुपर- सैद्धांतिक भौतिकी में अतिसममिति के सिद्धांत से आता है। सुपरएल्जेब्रा और उनके निरूपण, सुपरमॉड्यूल, सुपरसिमेट्री तैयार करने के लिए बीजगणितीय प्रारूप प्रदान करते हैं। ऐसी वस्तुओं के अध्ययन को कभी-कभी सुपर लीनियर बीजगणित कहा जाता है। सुपरएल्जेब्रा सुपरजियोमेट्री के संबंधित क्षेत्र में भी महत्वपूर्ण भूमिका निभाते हैं जहां वे वर्गीकृत मैनिफोल्ड, सुपरमैनिफोल्ड और सुपरस्कीम की परिभाषाओं में प्रवेश करते हैं।
औपचारिक परिभाषा
मान लीजिए K क्रमविनिमेय वलय है। अधिकांश अनुप्रयोगों में, K विशेषता (बीजगणित) 0 का क्षेत्र (गणित) है, जैसे 'R' या 'C'।
K के ऊपर 'सुपरलेजेब्रा' मॉड्यूल (गणित) है K-मॉड्यूल A, मॉड्यूल अपघटन के प्रत्यक्ष योग के साथ
साथ में द्विरेखीय मानचित्र गुणन A × A → A इस प्रकार
जहां सबस्क्रिप्ट को मॉड्यूलर अंकगणित 2 पढ़ा जाता है, अर्थात उन्हें Z2 के अवयवो के रूप में माना जाता है.
एक सुपररिंग, या Z2-श्रेणीबद्ध वलय, पूर्णांक Z के वलय पर उपबीजगणित है।
प्रत्येक ai के अवयव सजातीय कहा जाता है. सजातीय अवयव x की समता, |x| द्वारा निरूपित , यह a में है या नहीं, इसके अनुसार 0 या 10 या ए1 है समता 0 के अवयवो को सम और समता 1 के अवयवो को विषम कहा जाता है। यदि x और y दोनों सजातीय हैं तो गुणनफल xy भी वैसा ही है .
एक साहचर्य उपबीजगणित वह है जिसका गुणन साहचर्य है और इकाई उपबीजगणित वह है जिसमें गुणात्मक पहचान अवयव होता है। इकाई उपबीजगणित में पहचान अवयव आवश्यक रूप से सम होता है। जब तक अन्यथा निर्दिष्ट न किया जाए, इस लेख में सभी उपबीजगणित को साहचर्य और एकात्मक माना जाता है।
एक क्रमविनिमेय उपबीजगणित (या क्रमपरिवर्तनशीलता बीजगणित) वह है जो क्रमविनिमेयता के श्रेणीबद्ध संस्करण को संतुष्ट करता है। विशेष रूप से, a क्रमविनिमेय है यदि
a के सभी सजातीय अवयवो x और y के लिए। ऐसे उपबीजगणित हैं जो सामान्य अर्थ में क्रमविनिमेय हैं, किन्तु उपबीजगणित अर्थ में नहीं इस कारण से, भ्रम से बचने के लिए कम्यूटेटिव सुपरएल्जेब्रा को अधिकांशतः सुपरकम्यूटेटिव कहा जाता है।[2]
उदाहरण
- क्रमविनिमेय वलय K के ऊपर किसी भी बीजगणित को K के ऊपर विशुद्ध रूप से सम उपबीजगणित माना जा सकता है; अर्थात् A1 सामान्य होता है
- ग्रेडिंग मोडुलो 2 को पढ़कर किसी भी Z- या N-ग्रेडेड बीजगणित को उपबीजगणित माना जा सकता है। इसमें टेंसर बीजगणित और K के ऊपर बहुपद वलय जैसे उदाहरण सम्मिलित हैं।
- विशेष रूप से, K के ऊपर कोई भी बाहरी बीजगणित उपबीजगणित है। इस प्रकार बाहरी बीजगणित सुपरकम्यूटेटिव बीजगणित का मानक उदाहरण है।
- सममित बहुपद और एकांतर बहुपद मिलकर उपबीजगणित बनाते हैं, जो क्रमशः सम और विषम भाग होते हैं। ध्यान दें कि यह डिग्री के अनुसार ग्रेडिंग से भिन्न ग्रेडिंग है।
- क्लिफ़ोर्ड बीजगणित उपबीजगणित हैं। वे सामान्यतः गैर-अनुवांशिक होते हैं।
- सभी एंडोमोर्फिज्म का समुच्चय (निरूपित) , जहां बोल्डफेस आंतरिक कहा जाता है ,इस प्रकार सुपर सदिश समिष्ट के सभी रैखिक मानचित्रों से बना) रचना के अनुसार उपबीजगणित बनाता है।
- K में प्रविष्टियों के साथ सभी वर्ग सुपरमैट्रिसेस का समुच्चय Mp|q(k) द्वारा निरूपित उपबीजगणित बनाता है। इस बीजगणित को रैंक p|q के के ऊपर मुक्त सुपरमॉड्यूल के एंडोमोर्फिज्म के बीजगणित के साथ पहचाना जा सकता है और इस समिष्ट के लिए उपरोक्त का आंतरिक होम है।
- लाई अलजेब्रा का श्रेणीबद्ध एनालॉग है। लाई उपबीजगणित नॉनइकाईल और असंबद्ध हैं; चूँकि, कोई उपबीजगणित के सार्वभौमिक आवरण बीजगणित के एनालॉग का निर्माण कर सकता है जो इकाईल, साहचर्य उपबीजगणित है।
आगे की परिभाषाएँ और निर्माण
सम उपबीजगणित
मान लीजिए A क्रमविनिमेय वलय K पर उपबीजगणित है। सबमॉड्यूल A0, जिसमें सभी सम अवयव सम्मिलित हैं, गुणन के अंतर्गत संवृत है और इसमें a की पहचान सम्मिलित है और इसलिए a का उपबीजगणित बनता है, जिसे स्वाभाविक रूप से 'सम उपबीजगणित' कहा जाता है। यह K के ऊपर साधारण बीजगणित (वलय सिद्धांत) बनाता है।
सभी विषम अवयवो का समुच्चय A1 a0 है बिमॉड्यूल जिसका अदिश गुणन सिर्फ a में गुणन है। इस प्रकार a में उत्पाद a1 द्विरेखीय रूप के साथ लैस है
ऐसा है कि
A1 में सभी x, y और z के लिए. यह a में उत्पाद की संबद्धता से अनुसरण करता है।
ग्रेड इन्वॉल्वमेंट
किसी भी उपबीजगणित पर कैनोनिकल इनवोल्यूशन (गणित) स्वचालितता होता है जिसे ग्रेड इनवोल्यूशन कहा जाता है। यह सजातीय अवयवो पर दिया जाता है
और इच्छानुसार अवयवो पर
जहाँ xi x के सजातीय भाग हैं। यदि A में कोई टोशन (बीजगणित) या 2-टोशन नहीं है (विशेष रूप से, यदि 2 विपरीत है) तो ग्रेड इनवोल्यूशन का उपयोग A के सम और विषम भागों को अलग करने के लिए किया जा सकता है:
सुपरकम्यूटेटिविटी
a पर सुपरकम्यूटेटर द्वारा दिया गया बाइनरी ऑपरेटर है
सजातीय अवयवो पर, रैखिकता द्वारा a के सभी तक विस्तारित। A के अवयव x और y को 'सुपरकम्यूट' कहा जाता है यदि [x, y] = 0 है
a का सुपरसेंटर a के सभी अवयवो का समूह है जो a के सभी अवयवो के साथ सुपरकम्यूट करता है:
a का सुपरसेंटर, सामान्यतः, अवर्गीकृत बीजगणित के रूप में a के बीजगणित के केंद्र से भिन्न होता है। क्रमविनिमेय उपबीजगणित वह है जिसका सुपरसेंटर पूरा A होता है।
सुपर टेंसर उत्पाद
दो उपबीजगणित a और b के बीजगणित के श्रेणीबद्ध टेंसर उत्पाद को गुणन नियम के साथ उपबीजगणित a ⊗ b के रूप में माना जा सकता है:
यदि a या b पूर्ण रूप से सम है, तो यह सामान्य अनग्रेडेड टेंसर उत्पाद के सामान्य है (अतिरिक्त इसके कि परिणाम ग्रेडेड है)। चूँकि, सामान्यतः, सुपर टेंसर उत्पाद a और b के टेंसर उत्पाद से अलग होता है जिसे सामान्य, अवर्गीकृत बीजगणित माना जाता है।
सामान्यीकरण और स्पष्ट परिभाषा
एक क्रमविनिमेय सुपररिंग पर सुपरएल्जेब्रा को सम्मिलित करने के लिए सुपरएल्जेब्रा की परिभाषा को सरलता से सामान्यीकृत किया जा सकता है। ऊपर दी गई परिभाषा उस मामले की विशेषज्ञता है जहां आधारवलय पूर्ण रूप से सम है।
मान लीजिए R क्रमविनिमेय सुपररिंग है। R पर 'सुपरलेजेब्रा' सुपरमॉड्यूल है | इस प्रकार R -सुपरमॉड्यूल a जिसमें R -बिलिनियर गुणन a × a → a है जो ग्रेडिंग का सम्मान करता है। यहाँ द्विरेखीयता का अर्थ यह है
सभी सजातीय अवयवो r ∈ R और x, y ∈ A के लिए।
सामान्यतः, कोई व्यक्ति R पर उपबीजगणित को सुपररिंग A के साथ सुपररिंग होमोमोर्फिज्म R → A के रूप में परिभाषित कर सकता है, जिसकी छवि A के सुपरसेंटर में स्थित है।
कोई सुपरएलजेब्रा श्रेणी सिद्धांत को भी परिभाषित कर सकता है। सभी R -सुपरमॉड्यूल की श्रेणी (गणित) सुपर टेंसर उत्पाद के अनुसार मोनोइडल श्रेणी बनाती है जिसमें R इकाई ऑब्जेक्ट के रूप में कार्य करता है। R पर साहचर्य, इकाईल उपबीजगणित को R -सुपरमॉड्यूल की श्रेणी में मोनॉइड (श्रेणी सिद्धांत) के रूप में परिभाषित किया जा सकता है। अर्थात्, उपबीजगणित R -सुपरमॉड्यूल a है जिसमें दो (सम) आकारिकी होती है
जिसके लिए सामान्य आरेख आवागमन करते हैं।
टिप्पणियाँ
- ↑ Kac, Martinez & Zelmanov 2001, p. 3
- ↑ Varadarajan 2004, p. 87
संदर्भ
- Deligne, P.; Morgan, J. W. (1999). "Notes on Supersymmetry (following Joseph Bernstein)". Quantum Fields and Strings: A Course for Mathematicians. Vol. 1. American Mathematical Society. pp. 41–97. ISBN 0-8218-2012-5.
- Kac, V. G.; Martinez, C.; Zelmanov, E. (2001). Graded simple Jordan superalgebras of growth one. Memoirs of the AMS Series. Vol. 711. AMS Bookstore. ISBN 978-0-8218-2645-4.
- Manin, Y. I. (1997). Gauge Field Theory and Complex Geometry ((2nd ed.) ed.). Berlin: Springer. ISBN 3-540-61378-1.
- Varadarajan, V. S. (2004). Supersymmetry for Mathematicians: An Introduction. Courant Lecture Notes in Mathematics. Vol. 11. American Mathematical Society. ISBN 978-0-8218-3574-6.