सार्वभौमिक आवरण बीजगणित

For C* बीजगणित का सार्वभौमिक आवरण W* बीजगणित, see शर्मन-ताकेदा प्रमेय.

गणित में, लाई बीजगणित का सार्वभौमिक आवरण बीजगणित इकाई बीजगणित साहचर्य बीजगणित बीजगणित है जिसका बीजगणित प्रतिनिधित्व उस लाई बीजगणित के प्रतिनिधित्व से त्रुटिहीन रूप से मेल खाता है।

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

एक विश्लेषणात्मक दृष्टिकोण से, लाई समूह के लाई बीजगणित के सार्वभौमिक आवरण बीजगणित को समूह पर बाएं-अपरिवर्तनीय अंतर संचालकों के बीजगणित के साथ पहचाना जा सकता है।

अनौपचारिक निर्माण

सार्वभौमिक आवरण बीजगणित का विचार लाई बीजगणित ${\mathfrak {g}}$ को एम्बेड करना है साहचर्य बीजगणित ${\mathcal {A}}$ में पहचान के साथ इस तरह से कि अमूर्त ब्रैकेट ऑपरेशन में ${\mathfrak {g}}$, ${\mathcal {A}}$ कम्यूटेटर $xy-yx$ से मेल खाता है और बीजगणित ${\mathcal {A}}$ ${\mathfrak {g}}$ के अवयवों द्वारा उत्पन्न होता है ऐसी एम्बेडिंग बनाने की अनेक विधिया हो सकती हैं, किन्तु अनोखा सबसे बड़ा ${\mathcal {A}}$ विधि है जिसे ${\mathfrak {g}}$ सार्वभौमिक आवरण बीजगणित कहा जाता है .

जनरेटर और संबंध

मान लीजिये कि ${\mathfrak {g}}$ लाई बीजगणित है , जिसे सरलता के लिए आधार के साथ परिमित-आयामी माना जाता है जिसका आधार $X_{1},\ldots X_{n}$है . मान लीजिए कि इस आधार के लिए $c_{ijk}$ संरचना स्थिरांक है

$[X_{i},X_{j}]=\sum _{k=1}^{n}c_{ijk}X_{k}.$

फिर सार्वभौमिक आवरण बीजगणित के संबंधों के अधीन अवयवों द्वारा उत्पन्न $x_{1},\ldots x_{n}$ साहचर्य बीजगणित (पहचान के साथ) है

$x_{i}x_{j}-x_{j}x_{i}=\sum _{k=1}^{n}c_{ijk}x_{k}$

और कोई अन्य संबंध नहीं. नीचे हम ${\mathfrak {g}}$ से अधिक टेंसर बीजगणित के भागफल के रूप में सार्वभौमिक आवरण बीजगणित का निर्माण करके इस जनरेटर और संबंध निर्माण को और अधिक त्रुटिहीन बनाएंगे। .

उदाहरण के लिए, आव्यूहों द्वारा फैलाए गए बीजगणित SL(2,C)/sl(2,C) पर विचार करें

$$X={\begin{pmatrix}0&1\\0&0\end{pmatrix}}\qquad Y={\begin{pmatrix}0&0\\1&0\end{pmatrix}}\qquad H={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}~,$$

जो कम्यूटेशन संबंधों $[H,X]=2X$, $[H,Y]=-2Y$ और $[X,Y]=H$ को संतुष्ट करता है sl(2,C) का सार्वभौमिक आवरण बीजगणित संबंधों के अधीन तीन अवयवों $x,y,h$ द्वारा उत्पन्न बीजगणित है

$hx-xh=2x,\quad hy-yh=-2y,\quad xy-yx=h,$

और कोई अन्य संबंध नहीं. हम इस बात पर जोर देते हैं कि सार्वभौमिक आवरण बीजगणित $2\times 2$ आव्यूह बीजगणित के समान (या उसमें $2\times 2$ निहित) नहीं है . उदाहरण के लिए, $2\times 2$ आव्यूह $X$ $X^{2}=0$, को संतुष्ट करता है जैसा कि आसानी से सत्यापित है। किन्तु सार्वभौमिक आवरण बीजगणित में, अवयव $x$, $x^{2}=0$ को संतुष्ट नहीं करता - क्योंकि हम इस संबंध को आवरण बीजगणित के निर्माण में प्रस्तुत नहीं करते हैं। वास्तव में, यह पोंकारे-बिरखॉफ-विट प्रमेय (नीचे चर्चा) से इस प्रकार है कि अवयव $1,x,x^{2},x^{3},\ldots$ सार्वभौमिक आवरण बीजगणित में सभी रैखिक रूप मुक्त हैं।

आधार ढूँढना

सामान्यतः, सार्वभौमिक आवरण बीजगणित के अवयव सभी संभावित क्रमों में जनरेटर के उत्पादों के रैखिक संयोजन होते हैं। सार्वभौमिक आवरण बीजगणित के परिभाषित संबंधों का उपयोग करके, हम सदैव उन उत्पादों को विशेष क्रम में फिर से व्यवस्थित कर सकते हैं, जैसे कि पहले $x_{1}$सभी कारकों के साथ। फिर $x_{2}$ के कारकों आदि के साथ। उदाहरण के लिए, जब भी हमारे पास कोई शब्द होता है जिसमे $x_{2}x_{1}$ (गलत क्रम में) सम्मिलित है हम इसे $x_{1}x_{2}$ के साथ साथ $x_{j}$'s के रैखिक संयोजन के रूप में फिर से लिखने के साथ ही इसके संबंधों का उपयोग कर सकते हैं । इस प्रकार का कार्य बार-बार करने से अंततः कोई भी अवयव आरोही क्रम में शब्दों के रैखिक संयोजन में परिवर्तित हो जाता है। इस प्रकार,के प्रपत्र के अवयव होते है |

$x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{n}^{k_{n}}$

साथ $k_{j}$गैर-ऋणात्मक पूर्णांक होने के कारण, घेरने वाले बीजगणित का विस्तार करें। (हम $k_{j}=0$ अनुमति देते है, जिसका अर्थ है कि हम ऐसे शब्दों की अनुमति देते हैं जिनमें $x_{j}$ कोई कारक घटित होता नहीं है नीचे चर्चा की गई की पोंकारे-बिरखॉफ-विट प्रमेय का प्रामाणित है तथा यहअवयव रैखिक रूप से मुक्त हैं और इस प्रकार सार्वभौमिक आवरण बीजगणित के लिए आधार बनाते हैं। विशेष रूप से, सार्वभौमिक आवरण बीजगणित सदैव अनंत आयामी होता है।

पोंकारे-बिरखॉफ-विट प्रमेय का तात्पर्य, विशेष रूप से, यह है कि अवयव $x_{1},\ldots ,x_{n}$ स्वयं रैखिक रूप से मुक्त हैं। इसलिए मूल लाई बीजगणित के जेनरेटर $X_{j}$ के साथ $x_{j}$ की पहचान करना सामान्य है - यदि संभावित रूप से स्पष्ट करने वाला हो जनरेटर के साथ है । कहने का तात्पर्य यह है कि, हम मूल लाई बीजगणित को जनरेटर द्वारा फैलाए गए इसके सार्वभौमिक आवरण बीजगणित के उप-स्थान के रूप में पहचानते हैं। यद्यपि ${\mathfrak {g}}$ $n\times n$ आव्युह का बीजगणित हो सकता है ${\mathfrak {g}}$ के सार्वभौमिक आवरण इसमें (परिमित-आयामी) आव्युह सम्मिलित नहीं है। विशेष रूप से, कोई परिमित-आयामी बीजगणित नहीं है जिसमें ${\mathfrak {g}}$ का सार्वभौमिक आवरण सम्मिलित हो; सार्वभौमिक आवरण बीजगणित सदैव अनंत आयामी होता है। इस प्रकार, sl(2,C) के स्तिथियां में, यदि हम अपने लाई बीजगणित को इसके सार्वभौमिक आवरण बीजगणित के उप-स्थान के रूप में पहचानते हैं,तो हमें $X$, $Y$ और $H$ जैसा $2\times 2$ आव्युह के रूप में व्याख्या नहीं करनी चाहिए, किंतु ऐसे प्रतीकों के रूप में जिनमें कोई और गुण नहीं हैं (कम्यूटेशन संबंधों के अतिरिक्त)।

औपचारिकताएं

सार्वभौमिक आवरण बीजगणित का औपचारिक निर्माण उपरोक्त विचारों को लेता है, और उन्हें नोटेशन और शब्दावली में लपेटता है जिससे इसके साथ काम करना अधिक सुविधाजनक हो जाता है। सबसे महत्वपूर्ण अंतर यह है कि उपरोक्त में प्रयुक्त मुक्त साहचर्य बीजगणित को टेंसर बीजगणित तक सीमित कर दिया गया है, जिससे कि प्रतीकों के उत्पाद को टेंसर उत्पाद समझा जा सके। कम्यूटेशन संबंध रूप $x_{i}x_{j}-x_{j}x_{i}-\Sigma c_{ijk}x_{k}$ के अवयवों वाले सबसे छोटे दो-तरफा आदर्श द्वारा उद्धृत टेन्सर बीजगणित के भागफल स्थान (रैखिक बीजगणित) का निर्माण करके लगाया जाते हैं। सार्वभौमिक आवरण बीजगणित मूल लाई बीजगणित के साथ संगत लाई ब्रैकेट के साथ ${\mathfrak {g}}$ के अवयवों द्वारा उत्पन्न सबसे बड़ा एकात्मक साहचर्य बीजगणित है।

औपचारिक परिभाषा

याद रखें कि हर लाई बीजगणित ${\mathfrak {g}}$ विशेष रूप से सदिश समष्टि है। इस प्रकार, कोई भी टेंसर बीजगणित $T({\mathfrak {g}})$ का निर्माण करने के लिए मुक्त है यंहा से टेंसर बीजगणित मुक्त बीजगणित है: इसमें सभी संभावित सदिशो के सभी संभावित टेंसर उत्पाद सम्मिलित हैं ${\mathfrak {g}}$, उन उत्पादों पर किसी भी तरह का कोई प्रतिबंध नहीं होता है।

अर्थात् कोई स्थान का निर्माण करता है

$T({\mathfrak {g}})=K\,\oplus \,{\mathfrak {g}}\,\oplus \,({\mathfrak {g}}\otimes {\mathfrak {g}})\,\oplus \,({\mathfrak {g}}\otimes {\mathfrak {g}}\otimes {\mathfrak {g}})\,\oplus \,\cdots$

जहाँ $\otimes$ टेंसर उत्पाद है, और $\oplus$ सदिश स्थानों का प्रत्यक्ष योग है। जहाँ K वह क्षेत्र है जिस पर लाई बीजगणित परिभाषित किया गया है। जहाँ से, इस लेख के शेष भाग तक, टेंसर उत्पाद सदैव स्पष्ट रूप से दिखाया जाता है। तथा अनेक लेखक इसे छोड़ देते हैं, क्योंकि अभ्यास के साथ, इसके स्थान का सामान्यतः संदर्भ से अनुमान लगाया जा सकता है। जहाँ, अभिव्यक्तियों के अर्थ के बारे में किसी भी संभावित भ्रम को कम करने के लिए, बहुत ही स्पष्ट दृष्टिकोण अपनाया जाता है।

निर्माण में पहला कदम लाई ब्रैकेट को लाई बीजगणित (जहां इसे परिभाषित किया गया है) से टेंसर बीजगणित (जहां यह नहीं है) तक उठाना है, जिससे कि कोई दो टेंसरों के लाई ब्रैकेट के साथ स्पष्ट रूप से काम कर सके। जिसकी उन्नति निम्नानुसार की जाती है। सबसे पहले, याद रखें कि लाई बीजगणित पर ब्रैकेट ऑपरेशन द्विरेखीय मानचित्र${\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}$ है वह द्विरेखीय रूप , तिरछा-सममित द्विरेखीय रूप है | तिरछा-सममित और जैकोबी पहचान को संतुष्ट करता है। हम लाई ब्रैकेट [-,-] को परिभाषित करना चाहते हैं जो मानचित्र $T({\mathfrak {g}})\otimes T({\mathfrak {g}})\to T({\mathfrak {g}})$ है वह भी द्विरेखीय, तिरछा सममित है और जैकोबी पहचान का पालन करता है।

ग्रेड दर ग्रेड लिफ्टिंग की जा सकती है। कोष्ठक को ${\mathfrak {g}}\otimes {\mathfrak {g}}\to {\mathfrak {g}}$ परिभाषित करके प्रारंभ करें जैसा कि

$a\otimes b-b\otimes a=[a,b]$

यह स्पष्ट परिभाषा है, क्योंकि दोनों पक्ष द्विरेखीय हैं, और दोनों पक्ष तिरछी सममित हैं (जेकोबी पहचान शीघ्र ही अनुसरण करेगी)। उपरोक्त ब्रैकेट को $T^{2}({\mathfrak {g}})={\mathfrak {g}}\otimes {\mathfrak {g}}$ पर परिभाषित करता है ; इसे अभी इच्छानुसार $n$ के लिए $T^{n}({\mathfrak {g}})$ उठाया जाना चाहिए यह परिभाषित करके, पुनरावर्ती रूप से किया जाता है

$[a\otimes b,c]=a\otimes [b,c]+[a,c]\otimes b$

और इसी तरह

$[a,b\otimes c]=[a,b]\otimes c+b\otimes [a,c]$

यह सत्यापित करना सीधा है कि उपरोक्त परिभाषा द्विरेखीय है, और तिरछी-सममित है; कोई यह भी दिखा सकता है कि यह जैकोबी पहचान का पालन करता है। अंतिम परिणाम यह होता है कि किसी के पास लाई ब्रैकेट होता है जो लगातार सभी $T({\mathfrak {g}})$ पर परिभाषित होता है तथा यह कहता है कि इसे आधार स्थान से लिफ्ट के पारंपरिक अर्थ में सभी $T({\mathfrak {g}})$ के लिए उठा लिया गया है (जहाँ ,लाई बीजगणित) से स्थान को कवर करना (जहाँ ,टेंसर बीजगणित)

इस उठाने का परिणाम स्पष्ट रूप से पॉइसन बीजगणित है। यह लाई ब्रैकेट के साथ यूनिटल एसोसिएटिव बीजगणित है जो लाई बीजगणित ब्रैकेट के साथ संगत है; यह निर्माण द्वारा संगत है. चूँकि, यह ऐसा सबसे छोटा बीजगणित नहीं है; इसमें आवश्यकता से कहीं अधिक अवयव सम्मिलित हैं। कोई पीछे की ओर प्रक्षेपित करके कुछ छोटा प्राप्त कर सकता है। सार्वभौमिक आवरण बीजगणित $U({\mathfrak {g}})$ का ${\mathfrak {g}}$ भागफल स्थान (रैखिक बीजगणित) के रूप में परिभाषित किया गया है

$U({\mathfrak {g}})=T({\mathfrak {g}})/\sim$

जहां तुल्यता संबंध $\sim$ द्वारा दिया गया है

$a\otimes b-b\otimes a=[a,b]$

अर्थात्, लाई ब्रैकेट भागफलन करने के लिए उपयोग किए जाने वाले तुल्यता संबंध को परिभाषित करता है। परिणाम अभी भी इकाई सहयोगी बीजगणित है, और कोई अभी भी किन्हीं दो सदस्यों का लाई ब्रैकेट ले सकता है। परिणाम की गणना करना सीधा-सीधा है, यदि कोई यह ध्यान में रखता है कि प्रत्येक अवयव $U({\mathfrak {g}})$ सह समुच्चय के रूप में समझा जा सकता है: कोई सदैव की तरह ब्रैकेट लेता है, और उस कोसेट की खोज करता है जिसमें परिणाम होता है। यह इस प्रकार का सबसे छोटा बीजगणित है; कोई भी इससे छोटी कोई चीज़ नहीं खोज सकता जो अभी भी साहचर्य बीजगणित के सिद्धांतबं का पालन करती हो।

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

निर्माण थोड़ा भिन्न (किन्तु अंततः समतुल्य) विधिया से किया जा सकता है। पल के लिए उपरोक्त उठान को भूल जाइए, और इसके अतिरिक्त दो-तरफा आदर्श I पर विचार करें प्रपत्र के अवयवों द्वारा उत्पन्न

$a\otimes b-b\otimes a-[a,b]$

यह जनरेटर का अवयव है

${\mathfrak {g}}\oplus ({\mathfrak {g}}\otimes {\mathfrak {g}})\subset T({\mathfrak {g}})$

आदर्श का सामान्य सदस्य I रूप होगा

$c\otimes d\otimes \cdots \otimes (a\otimes b-b\otimes a-[a,b])\otimes f\otimes g\cdots$

कुछ के लिए $a,b,c,d,f,g\in {\mathfrak {g}}.$ के सभी अवयव I इस रूप के अवयवों के रैखिक संयोजन के रूप में प्राप्त किए जाते हैं। स्पष्ट रूप से, $I\subset T({\mathfrak {g}})$ उपस्थान है. यह आदर्श है, यदि $j\in I$ और $x\in T({\mathfrak {g}}),$ तब $j\otimes x\in I$ और $x\otimes j\in I.$ यह स्थापित करना कि यह आदर्श है,तथा महत्वपूर्ण है, क्योंकि आदर्श वह चीजें हैं जिनके साथ कोई भी भाग ले सकता है; आदर्श भागफल मानचित्र के कर्नेल (रैखिक बीजगणित) में निहित हैं। अर्थात्, किसी के पास संक्षिप्त त्रुटिहीन अनुक्रम होता है

$0\to I\to T({\mathfrak {g}})\to T({\mathfrak {g}})/I\to 0$

जहां प्रत्येक तीर रेखीय मानचित्र है, और उस मानचित्र का कर्नेल पिछले मानचित्र की छवि द्वारा दिया गया है। सार्वभौमिक आवरण बीजगणित को तब परिभाषित किया जा सकता है

$U({\mathfrak {g}})=T({\mathfrak {g}})/I$

सुपरलेजब्रा और अन्य सामान्यीकरण

उपरोक्त निर्माण लाई बीजगणित और लाई ब्रैकेट, और इसकी तिरछापन और एंटीसिममेट्री पर केंद्रित है। कुछ सीमा तक, यह संपत्तियाँ निर्माण के लिए प्रासंगिक हैं। इसके अतिरिक्त सदिश समष्टि पर कुछ (इच्छानुसार) बीजगणित (लाई बीजगणित नहीं) पर विचार करें, अर्थात सदिश समष्टि $V$ गुणन $m:V\times V\to V$ से संपन्न अवयव लेता है यदि $a\times b\mapsto m(a,b)$ गुणन द्विरेखीय है, तब वही निर्माण और परिभाषाएँ चल सकती हैं। उठाने से प्रारंभ होता है जिससे कि $m$ को $T(V)$ तक उठा लिया जाए जिससे कि $m$ आधार के समान सभी गुणों का पालन करता है जो आधार $m$ करता है - समरूपता या प्रतिसममिति या कुछ भी उठान बिल्कुल पहले की तरह ही प्रारंभ करके किया जाता है

${\begin{aligned}m:V\otimes V&\to V\\a\otimes b&\mapsto m(a,b)\end{aligned}}$

यह त्रुटिहीन रूप से स्पष्ट है क्योंकि टेंसर उत्पाद द्विरेखीय है, और गुणन द्विरेखीय है। शेष लिफ्ट को समरूपता के रूप में गुणन को संरक्षित करने के लिए किया जाता है। परिभाषा के अनुसार, कोई लिखता है

$m(a\otimes b,c)=a\otimes m(b,c)+m(a,c)\otimes b$

और वह भी

$m(a,b\otimes c)=m(a,b)\otimes c+b\otimes m(a,c)$

यह विस्तार मुक्त वस्तुओं पर लेम्मा की अपील के अनुरूप है: चूंकि टेंसर बीजगणित मुक्त बीजगणित है, इसके जेनरेटिंग समुच्चय पर किसी भी समरूपता को पूरे बीजगणित तक बढ़ाया जा सकता है। शेष सब कुछ ऊपर वर्णित अनुसार आगे बढ़ता है और पूरा होने पर, किसी के पास इकाई सहयोगी बीजगणित होता है जो किऊपर वर्णित दो विधियों में से किसी में भागफल ले सकता है।

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

एक अन्य संभावना कववलय बीजगणित के रूप में टेंसर बीजगणित के अतिरिक्त किसी अन्य चीज़ का उपयोग करना है। ऐसी ही संभावना बाहरी बीजगणित का उपयोग करना है; अर्थात्, टेंसर उत्पाद की प्रत्येक घटना को बाहरी उत्पाद से प्रतिस्थापित करना। यदि आधार बीजगणित लाई बीजगणित है, तब परिणाम गेरस्टेनहाबर बीजगणित है; यह संबंधित लाई समूह का बाहरी बीजगणित है। पहले की तरह, इसमें बाहरी बीजगणित पर ग्रेडिंग से आने वाला ग्रेडिंग प्राकृतिक परिवर्तन है। (गेरस्टेनहाबर बीजगणित को पोइसन सुपरबीजगणित के साथ स्पष्ट नहीं किया जाना चाहिए; दोनों एंटीकोम्यूटेशन का आह्वान करते हैं, किन्तु भिन्न-भिन्न विधियों से।)

निर्माण को मालसेव बीजगणित, बोल बीजगणित और बाएं वैकल्पिक बीजगणित के लिए भी सामान्यीकृत किया गया है।

सार्वभौमिक संपत्ति

सार्वभौमिक आवरण बीजगणित, या यूँ कहें कि आवरण बीजगणित विहित मानचित्र $h:{\mathfrak {g}}\to U({\mathfrak {g}})$ के साथ सार्वभौमिक सार्वभौमिक गुण रखता है। मान लीजिए हमारे पास कोई लाई बीजगणित मानचित्र है

$\varphi :{\mathfrak {g}}\to A$

एक इकाई साहचर्य बीजगणित के लिए A (लेट ब्रैकेट के साथ A कम्यूटेटर द्वारा दिया गया)। अधिक स्पष्ट रूप से, इसका अर्थ यह है कि हम मान लेते हैं

$\varphi ([X,Y])=\varphi (X)\varphi (Y)-\varphi (Y)\varphi (X)$

सभी के लिए $X,Y\in {\mathfrak {g}}$. फिर अद्वितीय इकाई बीजगणित समरूपता उपस्तिथ है

${\widehat {\varphi }}:U({\mathfrak {g}})\to A$

ऐसा है कि

$\varphi ={\widehat {\varphi }}\circ h$

जहाँ $h:{\mathfrak {g}}\to U({\mathfrak {g}})$ विहित मानचित्र है. (वो मानचित्र $h$ एम्बेडिंग द्वारा प्राप्त किया जाता है ${\mathfrak {g}}$ इसके टेंसर बीजगणित में और फिर भागफल स्थान (रैखिक बीजगणित) के साथ सार्वभौमिक आवरण बीजगणित की रचना करना है। यह मानचित्र पोंकारे-बिरखॉफ़-विट प्रमेय द्वारा एम्बेडिंग है।)

इसे भिन्न रूप से कहें तब, यदि $\varphi :{\mathfrak {g}}\rightarrow A$ इकाई बीजगणित में रेखीय मानचित्र है $A$ संतुष्टि देने वाला $\varphi ([X,Y])=\varphi (X)\varphi (Y)-\varphi (Y)\varphi (X)$, तब $\varphi$ की बीजगणित समरूपता ${\widehat {\varphi }}:U({\mathfrak {g}})\to A$ तक विस्तारित है तब से $U({\mathfrak {g}})$ के अवयवों ${\mathfrak {g}}$ द्वारा उत्पन्न होता है , वो मानचित्र ${\widehat {\varphi }}$ उस आवश्यकता द्वारा विशिष्ट रूप से निर्धारित किया जाना चाहिए

${\widehat {\varphi }}(X_{i_{1}}\cdots X_{i_{N}})=\varphi (X_{i_{1}})\cdots \varphi (X_{i_{N}}),\quad X_{i_{j}}\in {\mathfrak {g}}$.

उद्देश्य यह है कि क्योंकि सार्वभौमिक आवरण बीजगणित में रूपान्तरण संबंधों से आने वाले संबंधों के अतिरिक्त कोई अन्य संबंध नहीं हैं ${\mathfrak {g}}$, वो मानचित्र ${\widehat {\varphi }}$ अच्छी तरह से परिभाषित है, यह इस बात से मुक्त है कि कोई किसी दिए गए अवयव को कैसे लिखता है $x\in U({\mathfrak {g}})$ लाई बीजगणित अवयवों के उत्पादों के रैखिक संयोजन के रूप में।

घेरने वाले बीजगणित की सार्वभौमिक गुण का तात्पर्य तुरंत यह है कि प्रत्येक प्रतिनिधित्व ${\mathfrak {g}}$ सदिश समष्टि पर कार्य करना $V$ के प्रतिनिधित्व तक विशिष्ट रूप से विस्तारित है $U({\mathfrak {g}})$. (लेना $A=\mathrm {End} (V)$.) यह अवलोकन महत्वपूर्ण है क्योंकि यह कासिमिर अवयवों पर कार्रवाई करने की अनुमति देता है (जैसा कि नीचे चर्चा की गई है)। $V$. यह ऑपरेटर (के केंद्र से) $U({\mathfrak {g}})$) अदिश के रूप में कार्य करते हैं और अभ्यावेदन के बारे में महत्वपूर्ण जानकारी प्रदान करते हैं। इस संबंध में कासिमिर अवयव का विशेष महत्व है।

अन्य बीजगणित

यद्यपि ऊपर दिए गए विहित निर्माण को अन्य बीजगणित पर प्रयुक्त किया जा सकता है, परिणाम में, सामान्यतः, सार्वभौमिक गुण नहीं होती है। इस प्रकार, उदाहरण के लिए, जब निर्माण को जॉर्डन बीजगणित पर प्रयुक्त किया जाता है, तब परिणामी आवरण बीजगणित में विशेष जॉर्डन बीजगणित होते हैं, किन्तु असाधारण नहीं: अर्थात, यह अल्बर्ट बीजगणित को कवर नहीं करता है। इसी तरह, नीचे पोंकारे-बिरखॉफ-विट प्रमेय, आवरण बीजगणित के लिए आधार का निर्माण करता है; यह सार्वभौमिक नहीं होगा. इसी तरह की टिप्पणियाँ लाई सुपरएलजेब्रा के लिए भी प्रयुक्त होती हैं।

पोंकारे-बिरखॉफ़-विट प्रमेय

Main article: पोंकारे-बिरखॉफ़-विट प्रमेय

पोंकारे-बिरखॉफ़-विट $U({\mathfrak {g}})$ प्रमेय इसका त्रुटिहीन विवरण देता है. यह दो भिन्न-भिन्न विधियों में से किसी में किया जा सकता है: या तब लाई बीजगणित पर स्पष्ट सदिश आधार के संदर्भ में, या समन्वय-मुक्त फैशन में है ।

आधार अवयवों का उपयोग करना

एक विधि यह मान लेना है कि लाई बीजगणित को पूरी तरह से व्यवस्थित आधार दिया जा सकता है, अर्थात, यह पूरी तरह से व्यवस्थित समुच्चय का मुक्त सदिश स्थान है। याद रखें कि मुक्त सदिश स्थान को समुच्चय X क्षेत्र में K से सभी परिमित समर्थित कार्यों के स्थान के रूप में परिभाषित किया गया है (अंततः समर्थित का अर्थ है कि केवल सीमित रूप से अनेक मान गैर-शून्य हैं) इसे आधार $e_{a}:X\to K$ द्वारा दिया जा सकता है जैसे कि $e_{a}(b)=\delta _{ab}$ के लिए सूचक कार्य है . मान लीजिये $a,b\in X$ से $h:{\mathfrak {g}}\to T({\mathfrak {g}})$ टेंसर बीजगणित में इंजेक्शन बनें होते है इसका उपयोग टेंसर बीजगणित को आधार देने के लिए भी किया जाता है। यह उठाने के द्वारा किया जाता है: $e_{a}$ कुछ इच्छानुसार अनुक्रम दिया गया , $h$ के विस्तार को परिभाषित करता है

$h(e_{a}\otimes e_{b}\otimes \cdots \otimes e_{c})=h(e_{a})\otimes h(e_{b})\otimes \cdots \otimes h(e_{c})$

पोंकारे-बिरखॉफ़-विट प्रमेय में कहा गया है कि कोई व्यक्ति बीजगणित पर X के कुल क्रम को प्रस्तुत करके, उपरोक्त से $U({\mathfrak {g}})$) के लिए आधार प्राप्त कर सकता है। अर्थात्, $U({\mathfrak {g}})$ का एक आधार है

$e_{a}\otimes e_{b}\otimes \cdots \otimes e_{c}$

जहाँ $a\leq b\leq \cdots \leq c$, ऑर्डर समुच्चय X पर कुल ऑर्डर का होता है. प्रमेय के प्रमाण में यह ध्यान देना सम्मिलित है कि, यदि कोई आउट-ऑफ़-ऑर्डर आधार अवयवों से प्रारंभ होता है, तब इन्हें सदैव कम्यूटेटर (संरचना स्थिरांक के साथ) का उपयोग करके स्वैप किया जा सकता है। प्रमाण का कठिन भाग यह स्थापित करना है कि अंतिम परिणाम अद्वितीय है और उस क्रम से मुक्त है जिसमें स्वैप किए गए थे।

इस आधार को सममित बीजगणित के आधार के रूप में आसानी से पहचाना जाना चाहिए। अर्थात्, के अंतर्निहित सदिश स्थान $U({\mathfrak {g}})$ और सममित बीजगणित समरूपी है, और यह पीबीडब्ल्यू प्रमेय है जो दर्शाता है कि ऐसा है। चूँकि, समरूपता की प्रकृति के अधिक त्रुटिहीन विवरण के लिए, नीचे प्रतीकों के बीजगणित पर अनुभाग देखें।

संभवतः, प्रक्रिया को दो चरणों में विभाजित करना उपयोगी है। पहले चरण में, व्यक्ति मुक्त लाई बीजगणित का निर्माण करता है: यदि कोई सभी कम्यूटेटरों को मॉडिफाई करता है, तब उसे यही मिलता है, बिना यह निर्दिष्ट किये गये कम्यूटेटर के मान क्या हैं। दूसरा चरण ${\mathfrak {g}}$ विशिष्ट रूपान्तरण संबंधों को प्रयुक्त करना है पहला कदम सार्वभौमिक है, और विशिष्ट ${\mathfrak {g}}$ पर निर्भर नहीं करता है इसे त्रुटिहीन रूप से परिभाषित भी किया जा सकता है: आधार अवयव हॉल शब्द द्वारा दिए गए हैं, जिनमें से विशेष स्तिथि लिंडन शब्द हैं; इन्हें स्पष्ट रूप से कम्यूटेटर के रूप में उचित व्यवहार करने के लिए बनाया गया है।

समन्वय-मुक्त

कुल आदेशों और आधार अवयवों के उपयोग से बचते हुए, कोई भी प्रमेय को समन्वय-मुक्त विधिया से बता सकता है। यह तब सुविधाजनक होता है जब आधार सदिश को परिभाषित करने में कठिनाइयां होती हैं, जैसा कि अनंत-आयामी लाई बीजगणित के लिए हो सकता है। यह अधिक प्राकृतिक रूप भी देता है जिसे अन्य प्रकार के बीजगणित तक अधिक आसानी से बढ़ाया जा सकता है। यह निस्पंदन (गणित) $U_{m}{\mathfrak {g}}$ का निर्माण करके पूरा किया जाता है जिसकी सीमा सार्वभौमिक आवरण बीजगणित $U({\mathfrak {g}}).$ है

सबसे पहले, टेंसर बीजगणित के उप-स्थानों के आरोही क्रम के लिए अंकन की आवश्यकता होती है। मान लीजिये

$T_{m}{\mathfrak {g}}=K\oplus {\mathfrak {g}}\oplus T^{2}{\mathfrak {g}}\oplus \cdots \oplus T^{m}{\mathfrak {g}}$

जहाँ

$T^{m}{\mathfrak {g}}=T^{\otimes m}{\mathfrak {g}}={\mathfrak {g}}\otimes \cdots \otimes {\mathfrak {g}}$

${\mathfrak {g}}.$ यह है -m टाइम्स टेंसर उत्पाद का $T_{m}{\mathfrak {g}}$ h> (गणित) निस्पंदन बनाते है

$K\subset {\mathfrak {g}}\subset T_{2}{\mathfrak {g}}\subset \cdots \subset T_{m}{\mathfrak {g}}\subset \cdots$

अधिक त्रुटिहीन रूप से, यह फ़िल्टर्ड बीजगणित है, क्योंकि निस्पंदन उप-स्थानों के बीजगणितीय गुणों को संरक्षित करता है। ध्यान दें कि इस निस्पंदन की सीमा (श्रेणी सिद्धांत) टेंसर बीजगणित $T({\mathfrak {g}}).$ है

ऊपर, यह पहले से ही स्थापित किया गया था कि आदर्श द्वारा उद्धरण देना प्राकृतिक परिवर्तन है जो व्यक्ति को $T({\mathfrak {g}})$ को $U({\mathfrak {g}})$आगे ले जाता है यह स्वाभाविक रूप से उप-स्थानों पर भी काम करता है, और इस प्रकार व्यक्ति को निस्पंदन $U_{m}{\mathfrak {g}}$ प्राप्त होता है जिसकी सीमा सार्वभौमिक आवरण बीजगणित $U({\mathfrak {g}})$ है

इसके पश्चात्, स्थान को परिभाषित करते है

$G_{m}{\mathfrak {g}}=U_{m}{\mathfrak {g}}/U_{m-1}{\mathfrak {g}}$

यह सख्ती से छोटे निस्पंदन डिग्री के सभी उप-स्थानों $U_{n}{\mathfrak {g}}$ का स्थान $U_{m}{\mathfrak {g}}$ मॉड्यूलो है। ध्यान दें कि $G_{m}{\mathfrak {g}}$ निस्पंदन के प्रमुख शब्द $U^{m}{\mathfrak {g}}$ के बिल्कुल समान नहीं है, जैसा कि कोई भी सरलता से अनुमान लगा सकता है। इसका निर्माण निस्पंदन से जुड़े एक सेट घटाव तंत्र के माध्यम से नहीं किया गया है।

$U_{m}{\mathfrak {g}}$ को $U_{m-1}{\mathfrak {g}}$ से उद्धृत करने पर $U_{m}{\mathfrak {g}}$ में परिभाषित सभी लाई कम्यूटेटर को शून्य पर समुच्चय करने का प्रभाव पड़ता है। शून्य करने के लिए. इसे कोई यह देख कर देख सकता है कि अवयवों की जोड़ी का कम्यूटेटर जिनके उत्पादों $U_{m}{\mathfrak {g}}$ में निहित है वास्तव में $U_{m-1}{\mathfrak {g}}$ अवयव देता है . यह संभवतः तुरंत स्पष्ट नहीं है: इस परिणाम को प्राप्त करने के लिए, व्यक्ति को बार-बार कम्यूटेशन संबंधों को प्रयुक्त करना होगा, और क्रैंक को घुमाना होगा। पोंकारे-बिरखॉफ़-विट प्रमेय का सार यह है कि ऐसा करना सदैव संभव है, और परिणाम अद्वितीय है।

चूंकि अवयवों के कम्यूटेटर जिनके उत्पादों $U_{m}{\mathfrak {g}}$ को परिभाषित किया गया है $U_{m-1}{\mathfrak {g}}$ में स्थित हैं ,इसीलिए $G_{m}{\mathfrak {g}}$ वह उद्धरण है जो परिभाषित करता है कि सभी कम्यूटेटरों को शून्य पर समुच्चय करने का प्रभाव है। पीबीडब्ल्यू का कहना है कि $G_{m}{\mathfrak {g}}$ अवयवों का कम्यूटेटर अनिवार्य रूप से शून्य है. जो बचे हैं वह ऐसे अवयव हैं जिन्हें कम्यूटेटर के रूप में व्यक्त नहीं किया जा सकता है।

इस तरह, व्यक्ति को तुरंत सममित बीजगणित की ओर ले जाया जाता है। यह बीजगणित है जहां सभी कम्यूटेटर गायब हो जाते हैं। इसे सममित टेंसर उत्पादों का $\operatorname {Sym} ^{m}{\mathfrak {g}}$ के निस्पंदन $S_{m}{\mathfrak {g}}$ के रूप में परिभाषित किया जा सकता है. इसकी सीमा सममित बीजगणित $S({\mathfrak {g}})$ है इसका निर्माण पहले की तरह प्राकृतिकता की उसी धारणा की अपील द्वारा किया गया है। कोई ही टेंसर बीजगणित से प्रारंभ करता है, और बस भिन्न आदर्श का उपयोग करता है, वह आदर्श जो सभी अवयवों को परिवर्तित करता है:

$S({\mathfrak {g}})=T({\mathfrak {g}})/(a\otimes b-b\otimes a)$

इस प्रकार, कोई पोंकारे-बिरखॉफ़-विट प्रमेय को यह बताते हुए देख सकता है कि $G({\mathfrak {g}})$ सममित बीजगणित $S({\mathfrak {g}})$ के लिए समरूपी है, दोनों सदिश समष्टि और क्रमविनिमेय बीजगणित दोनों के रूप में।

$G_{m}{\mathfrak {g}}$ h> फ़िल्टर्ड बीजगणित भी बनाते हैं; इसकी सीमा $G({\mathfrak {g}})$ है यह निस्पंदन का संबद्ध श्रेणीबद्ध बीजगणित है।

उपरोक्त निर्माण, भागफल के उपयोग के कारण, यह दर्शाता है कि $G({\mathfrak {g}})$ की सीमा $U({\mathfrak {g}})$ के लिए समरूपी है और अधिक सामान्य सेटिंग्स में, शितिल नियम के साथ, कोई ऐसा पाता है जो कि $S({\mathfrak {g}})\to G({\mathfrak {g}})$ प्रक्षेपण है, और फिर फ़िल्टर किए गए बीजगणित के संबंधित श्रेणीबद्ध बीजगणित के लिए पीबीडब्ल्यू-प्रकार के प्रमेय प्राप्त होते हैं। इस पर जोर देने के लिए, संकेतन $\operatorname {gr} U({\mathfrak {g}})$ का उपयोग कभी-कभी $G({\mathfrak {g}}),$ के लिए प्रयोग किया जाता है यह याद दिलाने के लिए कि यह फ़िल्टर किया हुआ बीजगणित है।

`अन्य बीजगणित

जॉर्डन बीजगणित पर प्रयुक्त प्रमेय, सममित बीजगणित के अतिरिक्त बाहरी बीजगणित उत्पन्न करता है। संक्षेप में, निर्माण विरोधी कम्यूटेटर को शून्य कर देता है। परिणामी बीजगणित आवरण बीजगणित है, किन्तु सार्वभौमिक नहीं है। जैसा कि ऊपर उल्लेख किया गया है, यह असाधारण जॉर्डन बीजगणित को कवर करने में विफल रहता है।

वाम-अपरिवर्तनीय अंतर ऑपरेटर

मान लीजिए $G$ लाई बीजगणित के साथ वास्तविक लाई समूह ${\mathfrak {g}}$ है आधुनिक दृष्टिकोण अपनाकर हम पहचान सकते हैं कि ${\mathfrak {g}}$ बाएं-अपरिवर्तनीय सदिश क्षेत्र के स्थान के साथ (अर्थात, प्रथम-क्रम बाएं-अपरिवर्तनीय अंतर ऑपरेटर)। विशेष रूप से, यदि हम प्रारंभ में पहचान पर ${\mathfrak {g}}$ को $G$ स्पर्शरेखा स्थान के रूप में सोचते हैं, फिर ${\mathfrak {g}}$ प्रत्येक सदिश में अद्वितीय वाम-अपरिवर्तनीय विस्तार है। फिर हम संबंधित बाएं-अपरिवर्तनीय सदिश क्षेत्र के साथ स्पर्शरेखा स्थान में सदिश की पहचान करते हैं। अभी, दो बाएं-अपरिवर्तनीय सदिश क्षेत्र का कम्यूटेटर (अंतर ऑपरेटर के रूप में) फिर से सदिश क्षेत्र है और फिर से बाएं-अपरिवर्तनीय है। फिर हम ${\mathfrak {g}}$ ब्रैकेट ऑपरेशन को परिभाषित कर सकते हैं संबंधित वाम-अपरिवर्तनीय सदिश क्षेत्र पर कम्यूटेटर के रूप में यह परिभाषा लाई समूह के लाई बीजगणित पर ब्रैकेट संरचना की किसी भी अन्य मानक परिभाषा से सहमत है।

फिर हम इच्छानुसार क्रम के वाम-अपरिवर्तनीय अंतर संचालकों पर विचार कर सकते हैं। ऐसे हर ऑपरेटर $A$ को बाएं-अपरिवर्तनीय सदिश क्षेत्र के उत्पादों के रैखिक संयोजन के रूप में (गैर-विशिष्ट रूप से) व्यक्त किया जा सकता है। $G$ पर सभी वाम-अपरिवर्तनीय अंतर संचालकों का संग्रह बीजगणित बनाता है, जिसे $D(G)$ दर्शाया गया है। ऐसा दिखाया जा सकता है $D(G)$ सार्वभौमिक आवरण बीजगणित $U({\mathfrak {g}})$ के समरूपी है .

उस स्तिथियां में वास्तविक लाई समूह के लाई बीजगणित के रूप में ${\mathfrak {g}}$ उत्पन्न होता है, कोई पोंकारे-बिरखॉफ-विट प्रमेय का विश्लेषणात्मक प्रमाण देने के लिए बाएं-अपरिवर्तनीय अंतर संचालकों का उपयोग कर सकता है। विशेष रूप से, बाएं-अपरिवर्तनीय अंतर संचालकों का बीजगणित $D(G)$ निर्माण उन अवयवों (बाएं-अपरिवर्तनीय सदिश क्षेत्र) द्वारा उत्पन्न किया जाता है जो ${\mathfrak {g}}$ कम्यूटेशन संबंधों को संतुष्ट करते हैं . इस प्रकार, आवरण बीजगणित की सार्वभौमिक गुण के अनुसार $D(G)$ $U({\mathfrak {g}})$ का भागफल होता है . इस प्रकार, यदि पीबीडब्लू आधार अवयव $D(G)$में रैखिक रूप से मुक्त हैं -जिसे कोई विश्लेषणात्मक रूप से स्थापित कर सकता है - उन्हें निश्चित रूप से रैखिक रूप से $U({\mathfrak {g}})$ मुक्त होना चाहिए . (और, इस बिंदु पर, की समरूपता $D(G)$ साथ $U({\mathfrak {g}})$ स्पष्ट है।)

प्रतीकों का बीजगणित

$S({\mathfrak {g}})$ का अंतर्निहित सदिश स्थान नई बीजगणित संरचना दी जा सकती है जिससे कि $U({\mathfrak {g}})$ और $S({\mathfrak {g}})$ साहचर्य बीजगणित के रूप में समरूपी हैं। इससे 'प्रतीकों के बीजगणित' की अवधारणा सामने आती है $\star ({\mathfrak {g}})$ सममित बहुपदो का स्थान, गुणनफल $\star$ से संपन्न, जो लाई बीजगणित की बीजगणितीय संरचना को अन्यथा मानक साहचर्य बीजगणित पर रखता है। अर्थात्, जिसे पीबीडब्ल्यू प्रमेय अस्पष्ट करता है (कम्यूटेशन संबंध), प्रतीकों का बीजगणित उसे सुर्खियों में पुनर्स्थापित करता है।

बीजगणित $S({\mathfrak {g}})$ के अवयवों को लेकर प्राप्त किया जाता है और प्रत्येक जनरेटर $e_{i}$ को बदलना अनिश्चित,आवागमनशील वेरिएबल $t_{i}$ को बदलकर क्षेत्र $K$ पर सममित बहुपद $K[t_{i}]$ का स्थान प्राप्त करने के द्वारा प्राप्त किया जाता है। वास्तव में, पत्राचार तुच्छ है: कोई केवल $e_{i}$ के लिए प्रतीक $t_{i}$ को प्रतिस्थापित करता है परिणामी बहुपद को $S({\mathfrak {g}})$ इसके संगत अवयव का प्रतीक कहा जाता है जो कि उलटा मानचित्र है

$w:\star ({\mathfrak {g}})\to U({\mathfrak {g}})$

जो प्रत्येक प्रतीक $t_{i}$ द्वारा $e_{i}$को प्रतिस्थापित करता है . बीजगणितीय संरचना उस उत्पाद की आवश्यकता के द्वारा प्राप्त की जाती है $\star$ समरूपता के रूप में कार्य करें, अर्थात, जिससे कि

$w(p\star q)=w(p)\otimes w(q)$

बहुपदों के लिए $p,q\in \star ({\mathfrak {g}}).$

इस निर्माण के साथ प्राथमिक उद्देश्य यही है जैसा कि लिखा गया है $w(p)\otimes w(q)$ तुच्छ रूप से तथा स्वाभाविक रूप से $U({\mathfrak {g}})$ इसका सदस्य नहीं है, , , और उचित रूप से क्रमबद्ध आधार में $U({\mathfrak {g}})$ का अवयव प्राप्त करने के लिए सबसे पहले आधार अवयवों (आवश्यकतानुसार संरचना स्थिरांक को प्रयुक्त करना) का कठिन परिवर्तन करना होगा । इस उत्पाद के लिए स्पष्ट अभिव्यक्ति दी जा सकती है: यह बेरेज़िन सूत्र है। यह अनिवार्य रूप से लाई समूह के दो अवयवों के उत्पाद के लिए बेकर-कैंपबेल-हॉसडॉर्फ सूत्र का अनुसरण करता है।

एक संवर्त रूप अभिव्यक्ति द्वारा दिया गया है

$p(t)\star q(t)=\left.\exp \left(t_{i}m^{i}\left({\frac {\partial }{\partial u}},{\frac {\partial }{\partial v}}\right)\right)p(u)q(v)\right\vert _{u=v=t}$

जहाँ

$m(A,B)=\log \left(e^{A}e^{B}\right)-A-B$

और $m^{i}$ बस है $m$ चुने हुए आधार पर.

हाइजेनबर्ग बीजगणित का सार्वभौमिक आवरण बीजगणित वेइल बीजगणित है (संबंधित मापांक कि केंद्र इकाई है); जहाँ ही $\star$ उत्पाद को मोयल उत्पाद कहा जाता है।

प्रतिनिधित्व सिद्धांत

सार्वभौमिक आवरण बीजगणित प्रतिनिधित्व सिद्धांत को संरक्षित करता है: लाई बीजगणित का प्रतिनिधित्व ${\mathfrak {g}}$ मॉड्यूल (गणित) के ऊपर एक-से-एक विधिया $U({\mathfrak {g}})$ से मेल करें. अधिक अमूर्त शब्दों में, लाई बीजगणित के सभी प्रतिनिधित्व की एबेलियन श्रेणी ${\mathfrak {g}}$ सभी बाएँ मॉड्यूल की एबेलियन श्रेणी के लिए श्रेणियों की समरूपता $U({\mathfrak {g}})$ है .

अर्धसरल लाई बीजगणित का प्रतिनिधित्व सिद्धांत इस अवलोकन पर आधारित है कि समरूपता है, जिसे क्रोनकर गुणांक के रूप में जाना जाता है:

$U({\mathfrak {g}}_{1}\oplus {\mathfrak {g}}_{2})\cong U({\mathfrak {g}}_{1})\otimes U({\mathfrak {g}}_{2})$

लाई बीजगणित के लिए ${\mathfrak {g}}_{1},{\mathfrak {g}}_{2}$. एम्बेडिंग को उठाने से समरूपता उत्पन्न होती है

$i({\mathfrak {g}}_{1}\oplus {\mathfrak {g}}_{2})=i_{1}({\mathfrak {g}}_{1})\otimes 1\oplus 1\otimes i_{2}({\mathfrak {g}}_{2})$

जहाँ

$i:{\mathfrak {g}}\to U({\mathfrak {g}})$

केवल विहित एम्बेडिंग है (क्रमशः बीजगणित और दो के लिए सबस्क्रिप्ट के साथ)। ऊपर दिए गए नुस्खे के अनुसार, यह सत्यापित करना सीधा है कि यह एम्बेडिंग ऊपर उठती है। चूँकि, ऐसा करने के कुछ उत्तम बिंदुओं की समीक्षा के लिए टेंसर बीजगणित पर लेख में बायलजेब्रा संरचना की चर्चा देखें: विशेष रूप से, वहां नियोजित शफ़ल उत्पाद विग्नर-राका गुणांक, अर्थात 6j-प्रतीक और 9j-प्रतीक आदि से मेल खाता है। ,।

यह भी महत्वपूर्ण है कि मुक्त लाई बीजगणित का सार्वभौमिक आवरण बीजगणित मुक्त साहचर्य बीजगणित के लिए समरूपी है।

अभ्यावेदन का निर्माण सामान्यतः उच्चतम वजन के वर्मा मॉड्यूल के निर्माण से होता है।

एक विशिष्ट संदर्भ में जहां ${\mathfrak {g}}$ के अवयव $U({\mathfrak {g}})$ अनंत सूक्ष्म परिवर्तनों द्वारा कार्य कर रहा है, सभी आदेशों के विभेदक संचालकों की तरह कार्य करें। (उदाहरण के लिए, संबंधित समूह पर बाएं-अपरिवर्तनीय अंतर संचालकों के रूप में सार्वभौमिक आवरण बीजगणित की प्राप्ति देखें, जैसा कि ऊपर चर्चा की गई है।)

कैसिमिर ऑपरेटर्स

See also: हरीश-चंद्र समरूपता

$U({\mathfrak {g}})$ बीजगणित का केंद्र $Z(U({\mathfrak {g}}))$ है और ${\mathfrak {g}}$ के केंद्रीकरणकर्ता ${\mathfrak {g}}$ में से पहचाना जा सकता है $U({\mathfrak {g}})$ $Z(U({\mathfrak {g}}))$ का कोई भी अवयव सभी $U({\mathfrak {g}}),$के साथ आना-जाना चाहिए और विशेष रूप से विहित एम्बेडिंग के साथ ${\mathfrak {g}}$ में $U({\mathfrak {g}}).$ इस वजह से, केंद्र सीधे तौर पर अभ्यावेदन को वर्गीकृत करने के लिए उपयोगी है ${\mathfrak {g}}$. परिमित-आयामी अर्धसरल लाई बीजगणित के लिए, कासिमिर ऑपरेटर केंद्र $Z(U({\mathfrak {g}}))$ से विशिष्ट आधार बनाते हैं . इनका निर्माण निम्नानुसार किया जा सकता है।

मध्य में $Z(U({\mathfrak {g}}))$ सभी अवयवों $z=v\otimes w\otimes \cdots \otimes u\in U({\mathfrak {g}})$ के रैखिक संयोजन से मेल खाता है जो सभी अवयवों $x\in {\mathfrak {g}};$ के साथ आवागमन करता है अर्थात, जिसके लिए $[z,x]={\mbox{ad}}_{x}(z)=0.$ अर्थात् वह ${\mbox{ad}}_{\mathfrak {g}}.$के मूल में हैं इस प्रकार, उस कर्नेल की गणना के लिए विधि की आवश्यकता है। हमारे पास ${\mathfrak {g}};$ जो कुछ है वह आसन्न प्रतिनिधित्व की कार्रवाई है हमें इसकी आवश्यकता $U({\mathfrak {g}}).$होती है जो की सबसे आसान मार्ग यह नोट करना है ${\mbox{ad}}_{\mathfrak {g}}$ व्युत्पत्ति (अमूर्त बीजगणित) है, और व्युत्पत्ति के स्थान को $T({\mathfrak {g}})$ ऊपर उठाया जा सकता है और इस प्रकार $U({\mathfrak {g}}).$ इसका तात्पर्य यह है कि यहदोनों विभेदक बीजगणित हैं।

परिभाषा से, $\delta :{\mathfrak {g}}\to {\mathfrak {g}}$ पर व्युत्पत्ति ${\mathfrak {g}}$ है यदि यह उत्पाद नियम का पालन करता है| लीबनिज़ का नियम:

$\delta ([v,w])=[\delta (v),w]+[v,\delta (w)]$

(तब ${\mathfrak {g}}$ समूह पर बाएँ अपरिवर्तनीय सदिश क्षेत्र $G$ का स्थान है लाई ब्रैकेट सदिश क्षेत्र का है।) लिफ्टिंग को परिभाषित करके किया जाता है

${\begin{aligned}\delta (v\otimes w\otimes \cdots \otimes u)=&\,\delta (v)\otimes w\otimes \cdots \otimes u\\&+v\otimes \delta (w)\otimes \cdots \otimes u\\&+\cdots +v\otimes w\otimes \cdots \otimes \delta (u).\end{aligned}}$

तब से ${\mbox{ad}}_{x}$ किसी के लिए व्युत्पत्ति है $x\in {\mathfrak {g}},$ उपरोक्त परिभाषित करता है ${\mbox{ad}}_{x}$ अभिनय कर रहे $T({\mathfrak {g}})$ और $U({\mathfrak {g}}).$ पीबीडब्ल्यू प्रमेय से, यह स्पष्ट है कि सभी केंद्रीय अवयव आधार अवयवों में सममित समरूप बहुपदों के रैखिक संयोजन हैं $e_{a}$ लाई बीजगणित का. कासिमिर अपरिवर्तनीय दी गई, निश्चित डिग्री के अपरिवर्तनीय समरूप बहुपद हैं। अर्थात आधार दिया गया है $e_{a}$, ऑर्डर का कासिमिर ऑपरेटर $m$ रूप है

$C_{(m)}=\kappa ^{ab\cdots c}e_{a}\otimes e_{b}\otimes \cdots \otimes e_{c}$

वहां हैं जहां $m$ टेंसर उत्पाद में शर्तें, और $\kappa ^{ab\cdots c}$ क्रम का पूर्णतः सममित टेंसर $m$ है आसन्न प्रतिनिधित्व से संबंधित। वह है, $\kappa ^{ab\cdots c}$ के अवयव के रूप में सोचा जा सकता है (होना चाहिए)। $\left(\operatorname {ad} _{\mathfrak {g}}\right)^{\otimes m}.$ याद रखें कि आसन्न प्रतिनिधित्व सीधे संरचना स्थिरांक द्वारा दिया जाता है, और इसलिए उपरोक्त समीकरणों का स्पष्ट अनुक्रमित रूप,लाई बीजगणित आधार के संदर्भ में दिया जा सकता है; यह मूल रूप से इज़राइल गेलफैंड का प्रमेय है। अर्थात्, से $[x,C_{(m)}]=0$, यह इस प्रकार है कि

$f_{ij}^{\;\;k}\kappa ^{jl\cdots m}+f_{ij}^{\;\;l}\kappa ^{kj\cdots m}+\cdots +f_{ij}^{\;\;m}\kappa ^{kl\cdots j}=0$

जहां संरचना स्थिरांक हैं

$[e_{i},e_{j}]=f_{ij}^{\;\;k}e_{k}$

उदाहरण के रूप में , द्विघात कासिमिर ऑपरेटर है

$C_{(2)}=\kappa ^{ij}e_{i}\otimes e_{j}$

जहाँ $\kappa ^{ij}$ संहार रूप का व्युत्क्रम आव्युह है $\kappa _{ij}.$ वह कासिमिर ऑपरेटर $C_{(2)}$ केंद्र का है $Z(U({\mathfrak {g}}))$ इस तथ्य से पता चलता है कि संयुक्त कार्रवाई के अनुसार हत्या का रूप अपरिवर्तनीय है।

एक सरल बीजगणित के सार्वभौमिक आवरण बीजगणित का केंद्र हरीश-चंद्र समरूपता द्वारा विस्तार से दिया गया है।

रैंक

एक परिमित-आयामी अर्धसरल लाई बीजगणित के बीजगणितीय रूप से मुक्त कासिमिर संचालकों की संख्या उस बीजगणित की रैंक के सामान्तर है, अर्थात शेवेल्ली आधार | कार्टन-वेइल आधार की रैंक के सामान्तर है। इसे इस प्रकार देखा जा सकता है। के लिए d-आयामी सदिश समष्टि V, याद रखें कि निर्धारक पूरी तरह से एंटीसिमेट्रिक टेंसर है $V^{\otimes d}$. आव्युह दिया गया M, कोई इसका लक्षण बहुपद लिख सकता है M जैसा

$\det(tI-M)=\sum _{n=0}^{d}p_{n}t^{n}$

एक के लिए d-आयामी लाई बीजगणित, अर्थात, बीजगणित जिसका लाई बीजगणित का सहायक प्रतिनिधित्व है d-आयामी, रैखिक ऑपरेटर

$\operatorname {ad} :{\mathfrak {g}}\to \operatorname {End} ({\mathfrak {g}})$

इसका आशय है $\operatorname {ad} _{x}$ है d-आयामी एंडोमोर्फिज्म, और इसलिए विशेषता समीकरण है

$\det(tI-\operatorname {ad} _{x})=\sum _{n=0}^{d}p_{n}(x)t^{n}$

अवयवों के लिए $x\in {\mathfrak {g}}.$ इस विशेषता बहुपद की गैर-शून्य जड़ें (जो सभी के लिए जड़ें हैं x) बीजगणित की मूल प्रणाली बनाते हैं। सामान्यतः, वहाँ ही हैं r ऐसी जड़ें;है यह बीजगणित की श्रेणी है. इसका तात्पर्य यह है कि का उच्चतम मूल्य n जिसके लिए $p_{n}(x)$ न मिटने वाला है r. $p_{n}(x)$ h> डिग्री के सजातीय बहुपद हैं d − n. इसे अनेक विधियों से देखा जा सकता है: स्थिरांक दिया गया $k\in K$, विज्ञापन रैखिक है, इसलिए $\operatorname {ad} _{kx}=k\,\operatorname {ad} _{x}.$ उपरोक्त में प्लग और चुग करने से व्यक्ति उसे प्राप्त कर लेता है

$p_{n}(kx)=k^{d-n}p_{n}(x).$

रैखिकता से, यदि कोई आधार में विस्तार करता है,

$x=\sum _{i=1}^{d}x_{i}e_{i}$

तब बहुपद का रूप होता है

$p_{n}(x)=x_{a}x_{b}\cdots x_{c}\kappa ^{ab\cdots c}$

वह $\kappa$ रैंक का टेंसर है $m=d-n$. रैखिकता और जोड़ की क्रमपरिवर्तनशीलता द्वारा, अर्थात $\operatorname {ad} _{x+y}=\operatorname {ad} _{y+x},$, कोई यह निष्कर्ष निकालता है कि यह टेंसर पूरी तरह से सममित होना चाहिए। यह टेंसर वास्तव में क्रम m.का कासिमिर अपरिवर्तनीय है।

मध्य में $Z({\mathfrak {g}})$ उन अवयवों के अनुरूप $z\in Z({\mathfrak {g}})$ जिसके लिए सभी x; के लिए $\operatorname {ad} _{x}(z)=0$ उपरोक्त के अनुसार, यहस्पष्ट रूप से विशेषता समीकरण की जड़ों से मेल खाते हैं। कोई यह निष्कर्ष निकालता है कि जड़ें रैंक का स्थान बनाती हैं r और यह कि कासिमिर अपरिवर्तनीय इस स्थान तक फैले हुए हैं। अर्थात्, कासिमिर अपरिवर्तनीय केंद्र $Z(U({\mathfrak {g}}))$ उत्पन्न करते हैं

उदाहरण: घूर्णन समूह SO(3)

रोटेशन समूह SO(3) रैंक का है, और इस प्रकार इसमें कासिमिर ऑपरेटर है। यह त्रि-आयामी है, और इस प्रकार कासिमिर ऑपरेटर का क्रम (3 − 1) = 2 होना चाहिए अर्थात द्विघात होना चाहिए। निः संदेह , $A_{1}$यह लाई बीजगणित है प्राथमिक अभ्यास के रूप में, कोई इसकी सीधे गणना कर सकता है। आसन्न प्रतिनिधि से संबंधित $L_{i}$ के साथ अंकन को $e_{i}=L_{i},$ में बदलने पर, एक सामान्य बीजगणित अवयव $xL_{1}+yL_{2}+zL_{3}$ होता है और प्रत्यक्ष गणना देता है

$\det \left(xL_{1}+yL_{2}+zL_{3}-tI\right)=-t^{3}-(x^{2}+y^{2}+z^{2})t$

द्विघात पद को $\kappa ^{ij}=\delta ^{ij}$ के रूप में पढ़ा जा सकता है , और इसलिए रोटेशन समूह के लिए वर्ग कोणीय गति ऑपरेटर वह कासिमिर ऑपरेटर है। वह है,

$C_{(2)}=L^{2}=e_{1}\otimes e_{1}+e_{2}\otimes e_{2}+e_{3}\otimes e_{3}$

और स्पष्ट गणना यह दर्शाती है

$[L^{2},e_{k}]=0$

संरचना स्थिरांक का उपयोग करने के पश्चात्

$[e_{i},e_{j}]=\varepsilon _{ij}^{\;\;k}e_{k}$

उदाहरण: छद्म-अंतर ऑपरेटर

$U({\mathfrak {g}})$ के निर्माण के समय प्रमुख अवलोकन ऊपर यह था कि यह विभेदक बीजगणित था, इस तथ्य के आधार पर कि लाई बीजगणित पर किसी भी व्युत्पत्ति को $U({\mathfrak {g}})$ उठाया जा सकता है . इस प्रकार, किसी को छद्म-विभेदक संचालकों की अंगूठी की ओर ले जाया जाता है, जहां से कोई कासिमिर इनवेरिएंट का निर्माण कर सकता है।

यदि लाई बीजगणित ${\mathfrak {g}}$ रैखिक संचालकों के स्थान पर कार्य करता है, जैसे कि फ्रेडहोम सिद्धांत में, फिर कोई संचालकों के संबंधित स्थान पर कासिमिर इनवेरिएंट का निर्माण कर सकता है। द्विघात कासिमिर ऑपरेटर अण्डाकार ऑपरेटर से मेल खाता है।

यदि लाई बीजगणित विभेदक मैनिफोल्ड पर कार्य करता है, तब प्रत्येक कासिमिर ऑपरेटर कोटैंजेंट मैनिफोल्ड पर उच्च-क्रम अंतर से मेल खाता है, दूसरे क्रम का अंतर सबसे सामान्य और सबसे महत्वपूर्ण है।

यदि बीजगणित की क्रिया आइसोमेट्री समूह है, जैसा कि मीट्रिक और समरूपता समूह एसओ(एन) और अनिश्चित ऑर्थोगोनल समूह| एसओ (पी, क्यू) से संपन्न छद्म-रीमैनियन मैनिफोल्ड या छद्म-रिमैनियन मैनिफोल्ड के स्तिथियां में होगा, क्रमशः, फिर अधिक रोचक संरचनाएं प्राप्त करने के लिए ऊपरी और निचले सूचकांकों (मीट्रिक टेंसर के साथ) को अनुबंधित कर सकते हैं। द्विघात कासिमिर अपरिवर्तनीय के लिए, यह लाप्लासियन है। क्वार्टिक कासिमिर संचालक यांग-मिल्स कार्रवाई को जन्म देते हुए, तनाव-ऊर्जा टेंसर को वर्गाकार करने की अनुमति देते हैं। कोलमैन-मंडुला प्रमेय उस रूप को प्रतिबंधित करता है जो यहले सकते हैं, जब कोई सामान्य लाई बीजगणित पर विचार करता है। चूँकि,लाई सुपरएलजेब्रा कोलमैन-मंडुला प्रमेय के परिसर से बचने में सक्षम हैं, और इसका उपयोग अंतरिक्ष और आंतरिक समरूपता को साथ मिलाने के लिए किया जा सकता है।

विशेष स्तिथियों में उदाहरण

यदि ${\mathfrak {g}}={\mathfrak {sl}}_{2}$, तब इसका आधार आव्यूह

है$h={\begin{pmatrix}-1&0\\0&1\end{pmatrix}},{\text{ }}g={\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\text{ }}f={\begin{pmatrix}0&0\\1&0\end{pmatrix}}$

जो मानक ब्रैकेट के अंतर्गत निम्नलिखित पहचान को संतुष्ट करता है:

$[h,g]=-2g$, $[h,f]=2f$, और $[g,f]=-h$

यह हमें दिखाता है कि सार्वभौमिक आवरण बीजगणित की प्रस्तुति

है$U({\mathfrak {sl}}_{2})={\frac {\mathbb {C} \langle x,y,z\rangle }{(xy-yx+2y,xz-zx-2z,yz-zy+x)}}$ एक गैर-कम्यूटेटिव वलय के रूप में।

यदि ${\mathfrak {g}}$ एबेलियन है (अर्थात, ब्रैकेट सदैव है 0), तब $U({\mathfrak {g}})$ क्रमविनिमेय है; और यदि सदिश समष्टि का आधार (रैखिक बीजगणित) है। ${\mathfrak {g}}$ तब फिर चुना गया है तब $U({\mathfrak {g}})$ को K बहुपद बीजगणित से पहचाना जा सकता है , प्रति आधार अवयव वेरिएबल के साथ दर्शाया गया ।

यदि ${\mathfrak {g}}$ लाई समूह G के अनुरूप लाई बीजगणित है , तब $U({\mathfrak {g}})$ G बाएं-अपरिवर्तनीय अंतर संचालकों (सभी आदेशों के) के बीजगणित से पहचाना जा सकता है प्रथम-क्रम विभेदक संचालकों के रूप में बाएं-अपरिवर्तनीय सदिश क्षेत्र के रूप में इसके अंदर झूठ बोलने वाले ${\mathfrak {g}}$ के साथ।

उपरोक्त दो स्तिथियों को जोड़ने के लिए: यदि ${\mathfrak {g}}$ एबेलियन ले बीजगणित के रूप में सदिश स्थान V है, बाएं-अपरिवर्तनीय अंतर ऑपरेटर स्थिर गुणांक ऑपरेटर हैं, जो वास्तव में पहले क्रम के आंशिक व्युत्पन्न में बहुपद बीजगणित हैं।

मध्य में $Z({\mathfrak {g}})$ इसमें बाएँ और दाएँ-अपरिवर्तनीय अंतर ऑपरेटर सम्मिलित हैं; इस, G के स्तिथियां में क्रमविनिमेय नहीं है, अधिकांशतः प्रथम-क्रम संचालकों द्वारा उत्पन्न नहीं होता है (उदाहरण के लिए अर्ध-सरल लाई बीजगणित का कासिमिर ऑपरेटर देखें)।

लाई समूह सिद्धांत में और लक्षण वर्णन $U({\mathfrak {g}})$ है जो कि वितरण (गणित) के दृढ़ बीजगणित के रूप में समर्थन (गणित) या वितरण का समर्थन केवल G. पहचान अवयव e पर वितरित किया जाता है

विभेदक संचालकों का बीजगणित n बहुपद गुणांक वाले वेरिएबल हाइजेनबर्ग समूह के लाई बीजगणित से प्रारंभ करके प्राप्त किए जा सकते हैं। इसके लिए वेइल बीजगणित देखें; किसी को भागफल अवश्य लेना चाहिए, जिससे कि लाई बीजगणित के केंद्रीय अवयव निर्धारित अदिश के रूप में कार्य करें।

एक परिमित-आयामी लाई बीजगणित का सार्वभौमिक आवरण बीजगणित फ़िल्टर्ड द्विघात बीजगणित है।

हॉपफ बीजगणित और क्वांटम समूह

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

एक लाई समूह G दिया गया , कोई व्यक्ति G पर निरंतर समष्टि-मूल्यवान कार्यों पर सदिश समष्टि C(G) का निर्माण कर सकता है, और इसे C*-बीजगणित में बदल दें। इस बीजगणित में प्राकृतिक हॉपफ बीजगणित संरचना है: इसमें दो कार्य $\varphi ,\psi \in C(G)$ दिए गए है कोई गुणन को इस प्रकार परिभाषित करता है

$(\nabla (\varphi ,\psi ))(x)=\varphi (x)\psi (x)$

और सहगुणन के रूप में

$(\Delta (\varphi ))(x\otimes y)=\varphi (xy),$

इकाई के रूप में

$\varepsilon (\varphi )=\varphi (e)$

और एंटीपोड के रूप में

$(S(\varphi ))(x)=\varphi (x^{-1}).$

अभी, गेलफैंड-नैमार्क प्रमेय अनिवार्य रूप से बताता है कि प्रत्येक क्रमविनिमेय हॉपफ बीजगणित कुछ कॉम्पैक्ट टोपोलॉजिकल समूह G पर निरंतर कार्यों के हॉपफ बीजगणित के लिए आइसोमोर्फिक है। —कॉम्पैक्ट टोपोलॉजिकल समूहों का सिद्धांत और क्रमविनिमेय हॉपफ बीजगणित का सिद्धांत समान हैं। लाई समूहों के लिए, इसका तात्पर्य यह है C(G) समरूपी रूप से दोहरा है $U({\mathfrak {g}})$; अधिक त्रुटिहीन रूप से, यह दोहरे स्थान के उप-स्थान $U^{*}({\mathfrak {g}}).$ के लिए समरूपी है

फिर इन विचारों को गैर-अनुक्रमणीय स्तिथियां तक बढ़ाया जा सकता है। अर्ध-त्रिकोणीय हॉपफ बीजगणित को परिभाषित करने से प्रारंभ होता है, और फिर संक्षेप में क्वांटम सार्वभौमिक आवरण बीजगणित, या क्वांटम समूह प्राप्त करने के लिए क्वांटम विरूपण कहा जाता है।

यह भी देखें

• मिल्नोर-मूर प्रमेय
• हरीश-चंद्र समरूपता

संदर्भ

• Dixmier, Jacques (1996) [1974], Enveloping algebras, Graduate Studies in Mathematics, vol. 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2, MR 0498740
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
• Helgason, Sigurdur (2001), Differential geometry, Lie groups, and symmetric spaces, Graduate Studies in Mathematics, vol. 34, Providence, R.I.: American Mathematical Society, doi:10.1090/gsm/034, ISBN 978-0-8218-2848-9, MR 1834454
• Musson, Ian M. (2012), Lie Superalgebras and Enveloping Algebras, Graduate Studies in Mathematics, vol. 131, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-6867-6, Zbl 1255.17001
• Shlomo Sternberg (2004), Lie algebras, Harvard University.
• Universal enveloping algebra at the nLab