लाई (lie) बीजगणित

"Lie bracket" redirects here. For the operation on vector fields, see Lie bracket of vector fields.

गणित में, एक झूठ बीजगणित (उच्चारण /liː/ LEE) एक सदिश स्थान है ${\mathfrak {g}}$ एक साथ एक बाइनरी ऑपरेशन के साथ जिसे लाई ब्रैकेट कहा जाता है, एक वैकल्पिक बहुरेखीय नक्शा ${\mathfrak {g}}\times {\mathfrak {g}}\rightarrow {\mathfrak {g}}$, जो जैकोबी पहचान को संतुष्ट करता है। दो सदिशों का झूठ कोष्ठक $x$ तथा $y$ निरूपित किया जाता है $[x,y]$. वेक्टर स्थान ${\mathfrak {g}}$ और यह ऑपरेशन एक गैर-सहयोगी बीजगणित है, जिसका अर्थ है कि लाइ ब्रैकेट आवश्यक रूप से साहचर्य संपत्ति नहीं है।

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

भौतिक विज्ञान में, झूठ समूह भौतिक प्रणालियों के समरूपता समूहों के रूप में प्रकट होते हैं, और उनके झूठ बीजगणित (पहचान के निकट स्पर्शरेखा सदिश) को अतिसूक्ष्म समरूपता गति के रूप में माना जा सकता है। इस प्रकार अलजेब्रा और उनके निरूपण भौतिकी में बड़े पैमाने पर उपयोग किए जाते हैं, विशेष रूप से क्वांटम यांत्रिकी और कण भौतिकी में।

एक प्राथमिक उदाहरण तीन आयामी वैक्टर का स्थान है ${\mathfrak {g}}=\mathbb {R} ^{3}$ क्रॉस उत्पाद द्वारा परिभाषित ब्रैकेट ऑपरेशन के साथ $[x,y]=x\times y.$ यह तिरछा-सममित है $x\times y=-y\times x$, और सहयोगीता के बजाय यह जैकोबी पहचान को संतुष्ट करता है:

$x\times (y\times z)\ =\ (x\times y)\times z\ +\ y\times (x\times z).$

यह 3डी रोटेशन समूह के लाई समूह और प्रत्येक सदिश का लाई बीजगणित है $v\in \mathbb {R} ^{3}$ अक्ष के चारों ओर एक अतिसूक्ष्म घुमाव के रूप में चित्रित किया जा सकता है $v$, के परिमाण के बराबर वेग के साथ $v$. लाइ ब्रैकेट दो घुमावों के बीच गैर-कम्यूटेटिविटी का एक उपाय है: चूंकि एक रोटेशन स्वयं के साथ आता है, हमारे पास वैकल्पिक संपत्ति है $[x,x]=x\times x=0$.

इतिहास

1870 के दशक में सोफस झूठ द्वारा अत्यल्प परिवर्तनों की अवधारणा का अध्ययन करने के लिए लाई बीजगणित की शुरुआत की गई थी, और स्वतंत्र रूप से विल्हेम हत्या द्वारा खोजा गया 1880 के दशक में। लाई बीजगणित नाम 1930 के दशक में हरमन वेइल द्वारा दिया गया था; पुराने ग्रंथों में, शब्द अत्यल्प समूह का प्रयोग किया जाता है।

परिभाषाएँ

एक झूठ बीजगणित की परिभाषा

झूठ बीजगणित एक सदिश समष्टि है $\,{\mathfrak {g}}$ किसी क्षेत्र में (गणित) $F$ एक साथ एक बाइनरी ऑपरेशन के साथ $[\,\cdot \,,\cdot \,]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}$ निम्नलिखित अभिगृहीतों को संतुष्ट करने वाला लाइ ब्रैकेट कहलाता है:

• बिलिनियर ऑपरेटर,

$[ax+by,z]=a[x,z]+b[y,z],$

$[z,ax+by]=a[z,x]+b[z,y]$

सभी स्केलर्स के लिए $a$, $b$ में $F$ और सभी तत्व $x$,$y$,$z$में ${\mathfrak {g}}$.

• वैकल्पिककरण,

$[x,x]=0\$

सभी के लिए $x$ में ${\mathfrak {g}}$.

• जैकोबी पहचान,

$[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0\$

सभी के लिए $x$,$y$,$z$में ${\mathfrak {g}}$.

लाई ब्रैकेट का विस्तार करने के लिए बिलिनियरिटी का उपयोग करना $[x+y,x+y]$ और वैकल्पिकता का उपयोग करने से पता चलता है $[x,y]+[y,x]=0\$ सभी तत्वों के लिए $x$,$y$में ${\mathfrak {g}}$, दिखा रहा है कि द्विरेखीयता और वैकल्पिकता एक साथ का अर्थ है

• एंटीकम्यूटेटिविटी,

$[x,y]=-[y,x],\$ : सभी तत्वों के लिए $x$,$y$में ${\mathfrak {g}}$. यदि क्षेत्र की विशेषता (बीजगणित) 2 नहीं है, तो एंटीकोम्यूटेटिविटी का अर्थ वैकल्पिकता है, क्योंकि इसका तात्पर्य है $[x,x]=-[x,x].$

लाई अलजेब्रा को लोवर-केस फ़्रेक्टुर लेटर जैसे कि निरूपित करने की प्रथा है ${\mathfrak {g,h,b,n}}$. यदि एक झूठ बीजगणित एक झूठ समूह से जुड़ा हुआ है, तो बीजगणित को समूह के फ़्रेक्टुर संस्करण द्वारा दर्शाया जाता है: उदाहरण के लिए विशेष एकात्मक समूह का झूठा बीजगणित | एसयू (एन) है ${\mathfrak {su}}(n)$.

जनरेटर और आयाम

झूठ बीजगणित के तत्व ${\mathfrak {g}}$ इसे जेनरेटर (गणित) कहा जाता है यदि इन तत्वों से युक्त सबसे छोटा सबलजेब्रा है ${\mathfrak {g}}$ अपने आप। लाई बीजगणित का आयाम सदिश स्थान के रूप में इसका आयाम है$F$. झूठ बीजगणित के न्यूनतम जनरेटिंग सेट की कार्डिनैलिटी हमेशा इसके आयाम से कम या उसके बराबर होती है।

अन्य छोटे उदाहरणों के लिए निम्न-आयामी वास्तविक झूठ बीजगणित का वर्गीकरण देखें।

Subalgebras, आदर्शों और समरूपता

लाइ ब्रैकेट को साहचर्य होने की आवश्यकता नहीं है, जिसका अर्थ है $[[x,y],z]$ बराबर नहीं चाहिए $[x,[y,z]]$. हालाँकि, यह लचीला बीजगणित है। बहरहाल, साहचर्य वलय (गणित) और साहचर्य बीजगणित की अधिकांश शब्दावली आमतौर पर झूठ बीजगणित पर लागू होती है। एक लेट सबलजेब्रा एक सबस्पेस है ${\mathfrak {h}}\subseteq {\mathfrak {g}}$ जो लाई ब्रैकेट के नीचे बंद है। एक आदर्श ${\mathfrak {i}}\subseteq {\mathfrak {g}}$ मजबूत स्थिति को संतुष्ट करने वाला एक सबलजेब्रा है:

$[{\mathfrak {g}},{\mathfrak {i}}]\subseteq {\mathfrak {i}}.$

एक लाई बीजगणित समरूपता एक रेखीय मानचित्र है जो संबंधित लाई ब्रैकेट के साथ संगत है:

$\phi :{\mathfrak {g}}\to {\mathfrak {g'}},\quad \phi ([x,y])=[\phi (x),\phi (y)]\ {\text{for all}}\ x,y\in {\mathfrak {g}}.$

साहचर्य छल्लों के लिए, आदर्श समरूपता के कर्नेल_ (बीजगणित) हैं; एक झूठ बीजगणित दिया ${\mathfrak {g}}$ और एक आदर्श ${\mathfrak {i}}$ इसमें, कारक बीजगणित या भागफल बीजगणित का निर्माण करता है ${\mathfrak {g}}/{\mathfrak {i}}$, और पहली तुल्याकारिता प्रमेय लाई बीजगणित के लिए मान्य है।

चूँकि लाई ब्रैकेट संबंधित लाई समूह का एक प्रकार का अतिसूक्ष्म कम्यूटेटर है, हम कहते हैं कि दो तत्व $x,y\in {\mathfrak {g}}$ अगर उनका ब्रैकेट गायब हो जाता है तो कम्यूट करें: $[x,y]=0$.

एक उपसमुच्चय का केंद्रक सबलजेब्रा $S\subset {\mathfrak {g}}$ के साथ आने वाले तत्वों का सेट है$S$: वह है, ${\mathfrak {z}}_{\mathfrak {g}}(S)=\{x\in {\mathfrak {g}}\ \mid \ [x,s]=0\ {\text{ for all }}s\in S\}$. का केंद्रक ${\mathfrak {g}}$ स्वयं केंद्र है ${\mathfrak {z}}({\mathfrak {g}})$. इसी तरह, एक उप-स्थान S के लिए, सामान्यक सबलजेब्रा का$S$है ${\mathfrak {n}}_{\mathfrak {g}}(S)=\{x\in {\mathfrak {g}}\ \mid \ [x,s]\in S\ {\text{ for all}}\ s\in S\}$. समान रूप से, अगर $S$ एक लेट सबलजेब्रा है, ${\mathfrak {n}}_{\mathfrak {g}}(S)$ सबसे बड़ा सबलजेब्रा ऐसा है $S$ का आदर्श है ${\mathfrak {n}}_{\mathfrak {g}}(S)$.

उदाहरण

के लिये ${\mathfrak {d}}(2)\subset {\mathfrak {gl}}(2)$, दो तत्वों का कम्यूटेटर $g\in {\mathfrak {gl}}(2)$ तथा $d\in {\mathfrak {d}}(2)$:<ब्लॉककोट>${\begin{aligned}\left[{\begin{bmatrix}a&b\\c&d\end{bmatrix}},{\begin{bmatrix}x&0\\0&y\end{bmatrix}}\right]&={\begin{bmatrix}ax&by\\cx&dy\\\end{bmatrix}}-{\begin{bmatrix}ax&bx\\cy&dy\\\end{bmatrix}}\\&={\begin{bmatrix}0&b(y-x)\\c(x-y)&0\end{bmatrix}}\end{aligned}}$दिखाता है ${\mathfrak {d}}(2)$ एक सबलजेब्रा है, लेकिन एक आदर्श नहीं है। वास्तव में, झूठ बीजगणित के प्रत्येक एक-आयामी रैखिक उप-स्थान में प्रेरित एबेलियन लाइ बीजगणित संरचना होती है, जो आम तौर पर आदर्श नहीं होती है। किसी साधारण लाई बीजगणित के लिए, सभी एबेलियन लाई बीजगणित कभी भी आदर्श नहीं हो सकते।

प्रत्यक्ष योग और अर्धप्रत्यक्ष उत्पाद

दो झूठ बीजगणित के लिए ${\mathfrak {g^{}}}$ तथा ${\mathfrak {g'}}$, मॉड्यूल का उनका सीधा योग बीजगणित सदिश स्थान है ${\mathfrak {g}}\oplus {\mathfrak {g'}}$सभी जोड़ों से मिलकर ${\mathfrak {}}(x,x'),\,x\in {\mathfrak {g}},\ x'\in {\mathfrak {g'}}$, ऑपरेशन के साथ

$[(x,x'),(y,y')]=([x,y],[x',y']),$

ताकि की प्रतियां ${\mathfrak {g}},{\mathfrak {g}}'$ एक दूसरे के साथ यात्रा करें: $[(x,0),(0,x')]=0.$ होने देना ${\mathfrak {g}}$ एक झूठ बीजगणित हो और ${\mathfrak {i}}$ का एक आदर्श ${\mathfrak {g}}$. यदि विहित नक्शा ${\mathfrak {g}}\to {\mathfrak {g}}/{\mathfrak {i}}$ विभाजित करता है (यानी, एक खंड को स्वीकार करता है), फिर ${\mathfrak {g}}$ का अर्धप्रत्यक्ष उत्पाद कहा जाता है ${\mathfrak {i}}$ तथा ${\mathfrak {g}}/{\mathfrak {i}}$, ${\mathfrak {g}}={\mathfrak {g}}/{\mathfrak {i}}\ltimes {\mathfrak {i}}$. लाई अलजेब्रा एक्सटेंशन#बाई सेमीडायरेक्ट योग भी देखें।

लेवी के प्रमेय का कहना है कि एक परिमित-आयामी लाई बीजगणित इसके मूल और पूरक सबलजेब्रा (लेफ्ट सबलजेब्रा) का एक अर्ध-प्रत्यक्ष उत्पाद है।

व्युत्पत्ति

झूठ बीजगणित पर एक व्युत्पत्ति (सार बीजगणित)। ${\mathfrak {g}}$ (या किसी गैर-सहयोगी बीजगणित पर) एक रेखीय नक्शा है $\delta \colon {\mathfrak {g}}\rightarrow {\mathfrak {g}}$ जो जनरल लीबनिज नियम का पालन करता है, अर्थात,

$\delta ([x,y])=[\delta (x),y]+[x,\delta (y)]$

सभी के लिए $x,y\in {\mathfrak {g}}$. किसी से जुड़ी आंतरिक व्युत्पत्ति $x\in {\mathfrak {g}}$ आसन्न मानचित्रण है $\mathrm {ad} _{x}$ द्वारा परिभाषित $\mathrm {ad} _{x}(y):=[x,y]$. (यह जैकोबी पहचान के परिणाम के रूप में एक व्युत्पत्ति है।) बाहरी व्युत्पत्ति वे व्युत्पत्ति हैं जो झूठ बीजगणित के आसन्न प्रतिनिधित्व से नहीं आती हैं। यदि ${\mathfrak {g}}$ अर्धसरल झूठ बीजगणित है, प्रत्येक व्युत्पत्ति आंतरिक है।

व्युत्पन्न एक सदिश स्थान बनाते हैं $\mathrm {Der} ({\mathfrak {g}})$, जो कि लाई सबलजेब्रा है ${\mathfrak {gl}}({\mathfrak {g}})$; ब्रैकेट कम्यूटेटर है। आंतरिक व्युत्पत्तियाँ एक ले सबलजेब्रा का निर्माण करती हैं $\mathrm {Der} ({\mathfrak {g}})$.

उदाहरण

उदाहरण के लिए, एक झूठ बीजगणित आदर्श दिया ${\mathfrak {i}}\subset {\mathfrak {g}}$ आसन्न प्रतिनिधित्व ${\mathfrak {ad}}_{\mathfrak {g}}$ का ${\mathfrak {g}}$ पर बाहरी व्युत्पत्तियों के रूप में कार्य करता है ${\mathfrak {i}}$ जबसे $[x,i]\subset {\mathfrak {i}}$ किसी के लिए $x\in {\mathfrak {g}}$ तथा $i\in {\mathfrak {i}}$. झूठ बीजगणित के लिए ${\mathfrak {b}}_{n}$ ऊपरी त्रिकोणीय मैट्रिसेस में ${\mathfrak {gl}}(n)$, इसका एक आदर्श है ${\mathfrak {n}}_{n}$ सख्ती से ऊपरी त्रिकोणीय मैट्रिक्स (जहां केवल गैर-शून्य तत्व मैट्रिक्स के विकर्ण से ऊपर हैं)। उदाहरण के लिए, तत्वों के कम्यूटेटर में ${\mathfrak {b}}_{3}$ तथा ${\mathfrak {n}}_{3}$ देता है${\begin{aligned}\left[{\begin{bmatrix}a&b&c\\0&d&e\\0&0&f\end{bmatrix}},{\begin{bmatrix}0&x&y\\0&0&z\\0&0&0\end{bmatrix}}\right]&={\begin{bmatrix}0&ax&ay+bz\\0&0&dz\\0&0&0\end{bmatrix}}-{\begin{bmatrix}0&dx&ex+yf\\0&0&fz\\0&0&0\end{bmatrix}}\\&={\begin{bmatrix}0&(a-d)x&(a-f)y-ex+bz\\0&0&(d-f)z\\0&0&0\end{bmatrix}}\end{aligned}}$दिखाता है कि वहाँ से बाहरी व्युत्पत्तियाँ मौजूद हैं ${\mathfrak {b}}_{3}$ में ${\text{Der}}({\mathfrak {n}}_{3})$.

भाजित लाई बीजगणित

मान लीजिए कि V क्षेत्र F पर परिमित-विम सदिश समष्टि है, ${\mathfrak {gl}}(V)$ लीनियर ट्रांसफॉर्मेशन का लाइ बीजगणित और ${\mathfrak {g}}\subseteq {\mathfrak {gl}}(V)$ एक लेट सबलजेब्रा। फिर ${\mathfrak {g}}$ कहा जाता है कि अगर सभी रैखिक परिवर्तनों की विशेषता बहुपद की जड़ें विभाजित हो जाती हैं ${\mathfrak {g}}$ आधार क्षेत्र F में हैं। अधिक आम तौर पर, एक परिमित-आयामी झूठ बीजगणित ${\mathfrak {g}}$ विभाजित होना कहा जाता है यदि इसमें एक कार्टन सबलजेब्रा है जिसकी छवि संलग्न प्रतिनिधित्व के नीचे है $\operatorname {ad} :{\mathfrak {g}}\to {\mathfrak {gl}}({\mathfrak {g}})$ एक विभाजित झूठ बीजगणित है। जटिल अर्धसरल झूठ बीजगणित का एक विभाजित वास्तविक रूप (cf. #Real रूप और जटिलता) विभाजित वास्तविक झूठ बीजगणित का एक उदाहरण है। अधिक जानकारी के लिए स्प्लिट लाई बीजगणित भी देखें।

वेक्टर अंतरिक्ष आधार

व्यावहारिक गणनाओं के लिए, बीजगणित के लिए एक स्पष्ट सदिश स्थान आधार चुनना अक्सर सुविधाजनक होता है। इस आधार के लिए एक सामान्य निर्माण लेख संरचना स्थिरांक में स्केच किया गया है।

=== श्रेणी-सैद्धांतिक संकेतन === का उपयोग करते हुए परिभाषा

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

झूठ बीजगणित की श्रेणी-सैद्धांतिक परिभाषा के लिए, दो टेन्सर उत्पाद # टेंसर शक्तियां और ब्रेडिंग की आवश्यकता होती है। यदि A एक सदिश स्थान है, इंटरचेंज आइसोमोर्फिज्म $\tau :A\otimes A\to A\otimes A$ द्वारा परिभाषित किया गया है

$\tau (x\otimes y)=y\otimes x.$

चक्रीय-क्रमपरिवर्तन ब्रेडिंग $\sigma :A\otimes A\otimes A\to A\otimes A\otimes A$ की तरह परिभाषित किया गया है

$\sigma =(\mathrm {id} \otimes \tau )\circ (\tau \otimes \mathrm {id} ),$

कहाँ पे $\mathrm {id}$ पहचान रूपवाद है। समान रूप से, $\sigma$ द्वारा परिभाषित किया गया है

$\sigma (x\otimes y\otimes z)=y\otimes z\otimes x.$

इस अंकन के साथ, एक झूठ बीजगणित को एक वस्तु (श्रेणी सिद्धांत) के रूप में परिभाषित किया जा सकता है $A$ आकृतिवाद के साथ वेक्टर रिक्त स्थान की श्रेणी में

$[\cdot ,\cdot ]:A\otimes A\rightarrow A$ जो दो रूपवाद समानता को संतुष्ट करता है

$[\cdot ,\cdot ]\circ (\mathrm {id} +\tau )=0,$

तथा

$[\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes \mathrm {id} )\circ (\mathrm {id} +\sigma +\sigma ^{2})=0.$

उदाहरण

वेक्टर रिक्त स्थान

कोई वेक्टर स्थान $V$ समान रूप से शून्य लाई ब्रैकेट के साथ संपन्न एक लाई बीजगणित बन जाता है। ऐसे झूठ बीजगणित को एबेलियन झूठ बीजगणित कहा जाता है, सीएफ। नीचे। किसी क्षेत्र पर कोई भी एक आयामी झूठ बीजगणित झूठ ब्रैकेट की वैकल्पिक संपत्ति द्वारा एबेलियन है।

कम्यूटेटर ब्रैकेट के साथ साहचर्य बीजगणित

• एक साहचर्य बीजगणित पर $A$ एक मैदान के ऊपर $F$ गुणन के साथ $(x,y)\mapsto xy$, एक लाइ ब्रैकेट को कम्यूटेटर # रिंग सिद्धांत द्वारा परिभाषित किया जा सकता है $[x,y]=xy-yx$. इस कोष्ठक के साथ, $A$ झूठ बीजगणित है। सहयोगी बीजगणित ए को लाई बीजगणित का एक लिफाफा बीजगणित कहा जाता है $(A,[\,\cdot \,,\cdot \,])$. हर झूठ बीजगणित को एक में एम्बेड किया जा सकता है जो इस तरह से एक साहचर्य बीजगणित से उत्पन्न होता है; सार्वभौमिक लिफाफा बीजगणित देखें।
• एफ-वेक्टर स्पेस का एंडोमोर्फिज्म रिंग $V$ उपरोक्त लेट ब्रैकेट के साथ निरूपित किया गया है ${\mathfrak {gl}}(V)$.
• परिमित आयामी सदिश स्थान के लिए $V=F^{n}$, पिछला उदाहरण बिल्कुल n × n आव्यूहों का लाई बीजगणित है, जिसे निरूपित किया गया है ${\mathfrak {gl}}(n,F)$ या ${\mathfrak {gl}}_{n}(F)$, और ब्रैकेट के साथ $[X,Y]=XY-YX$ जहां निकटता मैट्रिक्स गुणन को इंगित करती है। यह सामान्य रेखीय समूह का झूठा बीजगणित है, जिसमें व्युत्क्रमणीय आव्यूह शामिल हैं।

विशेष मैट्रिक्स

के दो महत्वपूर्ण सबलजेब्रस ${\mathfrak {gl}}_{n}(F)$ हैं:

• ट्रेस (रैखिक बीजगणित) शून्य के आव्यूह विशेष रैखिक लाई बीजगणित बनाते हैं ${\mathfrak {sl}}_{n}(F)$, विशेष रेखीय समूह का लाई बीजगणित $\mathrm {SL} _{n}(F)$.
• तिरछा-हर्मिटियन मैट्रिसेस एकात्मक लाई बीजगणित बनाते हैं ${\mathfrak {u}}(n)$, एकात्मक समूह U(n) का झूठा बीजगणित।

मैट्रिक्स झूठ बीजगणित

एक जटिल रेखीय समूह एक झूठ समूह है जिसमें मेट्रिसेस होते हैं, $G\subset M_{n}(\mathbb {C} )$, जहाँ G का गुणन आव्यूह गुणन है। इसी झूठ बीजगणित ${\mathfrak {g}}$ मैट्रिसेस का स्थान है जो रैखिक स्थान के अंदर G के स्पर्शरेखा वैक्टर हैं $M_{n}(\mathbb {C} )$: इसमें पहचान पर जी में चिकने वक्रों के डेरिवेटिव शामिल हैं: <ब्लॉककोट>${\mathfrak {g}}=\{X=c'(0)\in M_{n}(\mathbb {C} )\ \mid \ {\text{ smooth }}c:\mathbb {R} \to G,\ c(0)=I\}.$का झूठ कोष्ठक ${\mathfrak {g}}$ मैट्रिसेस के कम्यूटेटर द्वारा दिया जाता है, $[X,Y]=XY-YX$. लाई बीजगणित को देखते हुए, लाई समूह को मैट्रिक्स घातीय मैपिंग की छवि के रूप में पुनर्प्राप्त कर सकते हैं $\exp :M_{n}(\mathbb {C} )\to M_{n}(\mathbb {C} )$ द्वारा परिभाषित $\exp(X)=I+X+{\tfrac {1}{2!}}X^{2}+\cdots$, जो प्रत्येक मैट्रिक्स के लिए अभिसरण करता है $X$: वह है, $G=\exp({\mathfrak {g}})$.

निम्नलिखित मैट्रिक्स लाई समूहों के झूठ बीजगणित के उदाहरण हैं:

• विशेष रैखिक समूह ${\rm {SL}}_{n}(\mathbb {C} )$, सभी से मिलकर n × n निर्धारक 1 के साथ आव्यूह। यह बीजगणित है ${\mathfrak {sl}}_{n}(\mathbb {C} )$सभी के होते हैं n × n जटिल प्रविष्टियों के साथ मेट्रिसेस और ट्रेस 0. इसी तरह, कोई संबंधित वास्तविक झूठ समूह को परिभाषित कर सकता है ${\rm {SL}}_{n}(\mathbb {R} )$ और इसका झूठ बीजगणित ${\mathfrak {sl}}_{n}(\mathbb {R} )$.
• एकात्मक समूह $U(n)$ n × n एकात्मक मैट्रिसेस होते हैं (संतोषजनक $U^{*}=U^{-1}$). यह झूठ बीजगणित है ${\mathfrak {u}}(n)$ तिरछा-स्व-आसन्न मेट्रिसेस के होते हैं ($X^{*}=-X$).
• विशेष ऑर्थोगोनल समूह $\mathrm {SO} (n)$, वास्तविक निर्धारक-एक ऑर्थोगोनल मेट्रिसेस से मिलकर ($A^{\mathrm {T} }=A^{-1}$). यह झूठ बीजगणित है ${\mathfrak {so}}(n)$ वास्तविक तिरछा-सममित मैट्रिसेस होते हैं ($X^{\rm {T}}=-X$). पूर्ण ऑर्थोगोनल समूह $\mathrm {O} (n)$निर्धारक-एक शर्त के बिना, शामिल हैं $\mathrm {SO} (n)$ और एक अलग जुड़ा हुआ घटक है, इसलिए इसमें समान झूठ बीजगणित है $\mathrm {SO} (n)$. यह भी देखें तिरछा-सममित_मैट्रिक्स#Infinitesimal_rotations|तिरछा-सममित आव्यूहों के साथ अत्यल्प घुमाव। इसी तरह, जटिल मैट्रिक्स प्रविष्टियों की अनुमति देकर, इस समूह और बीजगणित के एक जटिल संस्करण को परिभाषित किया जा सकता है।

दो आयाम

• किसी भी क्षेत्र में $F$ समरूपता तक, एक एकल द्वि-आयामी गैर-अबेलियन झूठ बीजगणित है। जेनरेटर एक्स, वाई के साथ, इसके ब्रैकेट को परिभाषित किया गया है $\left[x,y\right]=y$. यह Affine group#Matrix प्रतिनिधित्व उत्पन्न करता है।

इसे मेट्रिसेस द्वारा महसूस किया जा सकता है:

$x=\left({\begin{array}{cc}1&0\\0&0\end{array}}\right),\qquad y=\left({\begin{array}{cc}0&1\\0&0\end{array}}\right).$

तब से

$\left({\begin{array}{cc}1&c\\0&0\end{array}}\right)^{n+1}=\left({\begin{array}{cc}1&c\\0&0\end{array}}\right)$

किसी भी प्राकृतिक संख्या के लिए $n$ और कोई भी $c$, कोई देखता है कि परिणामी लाई समूह तत्व ऊपरी त्रिकोणीय 2 × 2 मेट्रिसेस हैं जो इकाई निचले विकर्ण के साथ हैं:

$\exp(a\cdot {}x+b\cdot {}y)=\left({\begin{array}{cc}e^{a}&{\tfrac {b}{a}}(e^{a}-1)\\0&1\end{array}}\right)=1+{\tfrac {e^{a}-1}{a}}\left(a\cdot {}x+b\cdot {}y\right).$

तीन आयाम

• हाइजेनबर्ग बीजगणित ${\rm {H}}_{3}(\mathbb {R} )$ तत्वों द्वारा उत्पन्न एक त्रि-आयामी झूठ बीजगणित है x, y, तथा z झूठ कोष्ठक के साथ

$[x,y]=z,\quad [x,z]=0,\quad [y,z]=0$.

यह आमतौर पर कम्यूटेटर लाइ ब्रैकेट और आधार के साथ 3 × 3 कड़ाई से ऊपरी-त्रिकोणीय मैट्रिक्स के स्थान के रूप में महसूस किया जाता है

$x=\left({\begin{array}{ccc}0&1&0\\0&0&0\\0&0&0\end{array}}\right),\quad y=\left({\begin{array}{ccc}0&0&0\\0&0&1\\0&0&0\end{array}}\right),\quad z=\left({\begin{array}{ccc}0&0&1\\0&0&0\\0&0&0\end{array}}\right)~.\quad$

हाइजेनबर्ग समूह के किसी भी तत्व का प्रतिनिधित्व समूह जनरेटर के उत्पाद के रूप में होता है, यानी इन लाई बीजगणित जनरेटर के मैट्रिक्स घातांक,

$\left({\begin{array}{ccc}1&a&c\\0&1&b\\0&0&1\end{array}}\right)=e^{by}e^{cz}e^{ax}~.$

• झूठ बीजगणित ${\mathfrak {so}}(3)$ समूह का SO(3) तीन मैट्रिसेस द्वारा फैला हुआ है

$F_{1}=\left({\begin{array}{ccc}0&0&0\\0&0&-1\\0&1&0\end{array}}\right),\quad F_{2}=\left({\begin{array}{ccc}0&0&1\\0&0&0\\-1&0&0\end{array}}\right),\quad F_{3}=\left({\begin{array}{ccc}0&-1&0\\1&0&0\\0&0&0\end{array}}\right)~.\quad$

इन जनरेटर के बीच कम्यूटेशन संबंध हैं

$[F_{1},F_{2}]=F_{3},$

$[F_{2},F_{3}]=F_{1},$

$[F_{3},F_{1}]=F_{2}.$

त्रि-आयामी यूक्लिडियन अंतरिक्ष $\mathbb {R} ^{3}$ वेक्टर (ज्यामितीय) के क्रॉस उत्पाद द्वारा दिए गए लाई ब्रैकेट के साथ उपरोक्त के समान रूपांतर संबंध हैं: इस प्रकार, यह आइसोमोर्फिक है ${\mathfrak {so}}(3)$. यह झूठ बीजगणित क्वांटम यांत्रिकी में स्पिन -1 कणों के लिए सामान्य रूप से सामान्य स्पिन (भौतिकी) कोणीय-गति घटक ऑपरेटरों के बराबर है।

अनंत आयाम

• अंतर टोपोलॉजी में अनंत-आयामी वास्तविक झूठ बीजगणित का एक महत्वपूर्ण वर्ग उत्पन्न होता है। अलग-अलग मैनिफोल्ड एम पर चिकने सदिश क्षेत्रों का लेट ब्रैकेट लाई बीजगणित बनाता है, जहाँ लाई ब्रैकेट को वेक्टर क्षेत्र्स के लाई ब्रैकेट के रूप में परिभाषित किया जाता है। लाई ब्रैकेट को व्यक्त करने का एक तरीका झूठ व्युत्पन्न की औपचारिकता के माध्यम से है, जो पहले ऑर्डर आंशिक अंतर ऑपरेटर एल के साथ वेक्टर फ़ील्ड एक्स की पहचान करता है।_X एल को देकर सुचारू कार्यों पर कार्य करना_X(एफ) एक्स की दिशा में फ़ंक्शन एफ का दिशात्मक व्युत्पन्न हो। दो वेक्टर क्षेत्रों का झूठा ब्रैकेट [एक्स, वाई] सूत्र द्वारा कार्यों पर अपनी कार्रवाई के माध्यम से परिभाषित वेक्टर क्षेत्र है:

$L_{[X,Y]}f=L_{X}(L_{Y}f)-L_{Y}(L_{X}f).\,$

• केएसी-मूडी बीजगणित|केएसी-मूडी बीजगणित अनंत-आयामी लाई बीजगणित का एक बड़ा वर्ग है जिसकी संरचना उपरोक्त परिमित-आयामी मामलों के समान है।
• मोयल ब्रैकेट एक अनंत-आयामी झूठ बीजगणित है जिसमें सभी शास्त्रीय झूठ समूह शामिल हैं# सबलजेब्रस के रूप में द्विरेखीय रूपों के साथ संबंध।
• स्ट्रिंग सिद्धांत में विरासोरो बीजगणित का सर्वाधिक महत्व है।

प्रतिनिधित्व

Main article: Lie algebra representation

परिभाषाएं

सदिश समष्टि V दिया है, मान लीजिए ${\mathfrak {gl}}(V)$ द्वारा दिए गए ब्रैकेट के साथ, वी के सभी रैखिक एंडोमोर्फिज्म से युक्त लाई बीजगणित को निरूपित करें $[X,Y]=XY-YX$. झूठ बीजगणित का एक प्रतिनिधित्व ${\mathfrak {g}}$ V पर एक ले बीजगणित समाकारिता है

$\pi :{\mathfrak {g}}\to {\mathfrak {gl}}(V).$

यदि इसकी कर्नेल शून्य है तो एक प्रतिनिधित्व को वफादार कहा जाता है। एडो की प्रमेय बताता है कि प्रत्येक परिमित-आयामी झूठ बीजगणित में एक परिमित-आयामी वेक्टर अंतरिक्ष पर एक वफादार प्रतिनिधित्व होता है।

संलग्न प्रतिनिधित्व

किसी भी झूठ बीजगणित के लिए ${\mathfrak {g}}$, हम एक प्रतिनिधित्व को परिभाषित कर सकते हैं

$\operatorname {ad} \colon {\mathfrak {g}}\to {\mathfrak {gl}}({\mathfrak {g}})$

के द्वारा दिया गया $\operatorname {ad} (x)(y)=[x,y]$; यह वेक्टर अंतरिक्ष पर एक प्रतिनिधित्व है ${\mathfrak {g}}$ झूठ बीजगणित के आसन्न प्रतिनिधित्व कहा जाता है।

प्रतिनिधित्व सिद्धांत के लक्ष्य

लाई बीजगणित (विशेष रूप से अर्धसरल लाई बीजगणित) के अध्ययन का एक महत्वपूर्ण पहलू उनके अभ्यावेदन का अध्ययन है। (वास्तव में, संदर्भ अनुभाग में सूचीबद्ध अधिकांश पुस्तकें अपने पृष्ठों का एक बड़ा हिस्सा प्रतिनिधित्व सिद्धांत के लिए समर्पित करती हैं।) हालांकि एडो का प्रमेय एक महत्वपूर्ण परिणाम है, प्रतिनिधित्व सिद्धांत का प्राथमिक लक्ष्य किसी दिए गए झूठे बीजगणित का एक वफादार प्रतिनिधित्व नहीं खोजना है। ${\mathfrak {g}}$. वास्तव में, अर्ध-सरल मामले में, आसन्न प्रतिनिधित्व पहले से ही वफादार है। बल्कि लक्ष्य के सभी संभावित प्रतिनिधित्व को समझना है ${\mathfrak {g}}$, समानता की प्राकृतिक धारणा तक। विशेषता शून्य के एक क्षेत्र पर अर्ध-सरल मामले में, पूर्ण न्यूनीकरण पर वेइल का प्रमेय | वेइल का प्रमेय कहता है कि प्रत्येक परिमित-आयामी प्रतिनिधित्व अलघुकरणीय अभ्यावेदन का प्रत्यक्ष योग है (जिनमें कोई गैर-तुच्छ अपरिवर्तनीय उप-स्थान नहीं है)। इरेड्यूसिबल निरूपण, बदले में, एक लाई बीजगणित प्रतिनिधित्व द्वारा वर्गीकृत किया जाता है # झूठ बीजगणित के परिमित-आयामी प्रतिनिधित्व को वर्गीकृत करता है।

भौतिकी में प्रतिनिधित्व सिद्धांत

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

संरचना सिद्धांत और वर्गीकरण

झूठ बीजगणित को कुछ हद तक वर्गीकृत किया जा सकता है। विशेष रूप से, यह झूठ बोलने वाले समूहों के वर्गीकरण के लिए एक आवेदन है।

एबेलियन, निलपोटेंट, और सॉल्वेबल

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

एक झूठ बीजगणित ${\mathfrak {g}}$ एबेलियन हैयदि लाइ ब्रैकेट गायब हो जाता है, यानी [x,y] = 0, सभी x और y के लिए ${\mathfrak {g}}$. एबेलियन लाइ बीजगणित कम्यूटेटिव (या एबेलियन समूह) से जुड़े झूठ समूहों जैसे वेक्टर रिक्त स्थान के अनुरूप हैं $\mathbb {K} ^{n}$ या टोरस्र्स $\mathbb {T} ^{n}$, और सभी रूप हैं ${\mathfrak {k}}^{n},$ मतलब तुच्छ लाई ब्रैकेट के साथ एक एन-डायमेंशनल वेक्टर स्पेस।

झूठ बीजगणित का एक अधिक सामान्य वर्ग दी गई लंबाई के सभी कम्यूटेटरों के लुप्त होने से परिभाषित होता है। एक झूठ बीजगणित ${\mathfrak {g}}$ निलपोटेंट ले बीजगणित यदि निचली केंद्रीय श्रृंखला है

${\mathfrak {g}}>[{\mathfrak {g}},{\mathfrak {g}}]>[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}]>[[[{\mathfrak {g}},{\mathfrak {g}}],{\mathfrak {g}}],{\mathfrak {g}}]>\cdots$

अंततः शून्य हो जाता है। एंगेल के प्रमेय के अनुसार, झूठ बीजगणित शून्य है यदि और केवल यदि प्रत्येक यू के लिए ${\mathfrak {g}}$ आसन्न एंडोमोर्फिज्म

$\operatorname {ad} (u):{\mathfrak {g}}\to {\mathfrak {g}},\quad \operatorname {ad} (u)v=[u,v]$

शक्तिहीन है।

अधिक आम तौर पर अभी भी, एक झूठ बीजगणित ${\mathfrak {g}}$ हल करने योग्य बीजगणित कहा जाता है यदि व्युत्पन्न श्रृंखला:

${\mathfrak {g}}>[{\mathfrak {g}},{\mathfrak {g}}]>[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]>[[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]],[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]]>\cdots$

अंततः शून्य हो जाता है।

प्रत्येक परिमित-आयामी झूठ बीजगणित में एक अद्वितीय अधिकतम हल करने योग्य आदर्श होता है, जिसे झूठ बीजगणित का कट्टरपंथी कहा जाता है। लाई पत्राचार के तहत, नीलपोटेंट (क्रमशः, हल करने योग्य) जुड़े हुए समूह नीलपोटेंट (क्रमशः, हल करने योग्य) झूठ बीजगणित के अनुरूप होते हैं।

सरल और अर्धसरल

Main article: Semisimple Lie algebra

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

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

कार्टन की कसौटी

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

$K(u,v)=\operatorname {tr} (\operatorname {ad} (u)\operatorname {ad} (v)),$

जहाँ tr ट्रेस (रैखिक बीजगणित) को दर्शाता है। एक झूठ बीजगणित ${\mathfrak {g}}$ अर्धसरल है अगर और केवल अगर किलिंग फॉर्म नॉनडिजेनरेट फॉर्म है। एक झूठ बीजगणित ${\mathfrak {g}}$ हल करने योग्य है अगर और केवल अगर $K({\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}])=0.$

वर्गीकरण

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

झूठ बोलने वाले समूहों से संबंध

Main article: Lie group–Lie algebra correspondence

एक बिंदु पर एक गोले का स्पर्शरेखा स्थान $x$. यदि $x$ पहचान तत्व है, तो स्पर्शरेखा स्थान भी झूठा बीजगणित है।

हालांकि झूठ बीजगणित अक्सर अपने अधिकार में अध्ययन किया जाता है, ऐतिहासिक रूप से वे झूठ समूहों का अध्ययन करने के साधन के रूप में उभरे।

अब हम लाई समूहों और लाई बीजगणित के बीच के संबंध को संक्षेप में रेखांकित करते हैं। कोई भी झूठ समूह एक विहित रूप से निर्धारित झूठ बीजगणित (ठोस रूप से, पहचान पर स्पर्शरेखा स्थान) को जन्म देता है। इसके विपरीत, किसी परिमित-आयामी लाई बीजगणित के लिए ${\mathfrak {g}}$, एक संबंधित जुड़ा हुआ समूह मौजूद है $G$ झूठ बीजगणित के साथ ${\mathfrak {g}}$. यह लाई का तीसरा प्रमेय है; बेकर-कैंपबेल-हॉसडॉर्फ सूत्र देखें। यह झूठ समूह विशिष्ट रूप से निर्धारित नहीं है; हालाँकि, समान लाई बीजगणित वाले कोई भी दो लाई समूह स्थानीय रूप से आइसोमॉर्फिक हैं, और विशेष रूप से, एक ही सार्वभौमिक आवरण है। उदाहरण के लिए, विशेष ओर्थोगोनल समूह SO(3) और विशेष एकात्मक समूह SU(2) एक ही लाइ बीजगणित को जन्म देते हैं, जो आइसोमोर्फिक है $\mathbb {R} ^{3}$ क्रॉस-उत्पाद के साथ, लेकिन एसयू (2) एसओ (3) का एक सरल-जुड़ा हुआ दोहरा आवरण है।

अगर हम बस जुड़े हुए झूठ समूहों पर विचार करते हैं, हालांकि, हमारे पास एक-से-एक पत्राचार है: प्रत्येक (परिमित-आयामी वास्तविक) झूठ बीजगणित के लिए ${\mathfrak {g}}$, एक अद्वितीय बस जुड़ा हुआ झूठ ​​समूह है $G$ झूठ बीजगणित के साथ ${\mathfrak {g}}$.

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

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

यदि झूठ बीजगणित अनंत-आयामी है, तो समस्या अधिक सूक्ष्म है। कई उदाहरणों में, घातीय नक्शा स्थानीय रूप से होमियोमोर्फिज्म भी नहीं है (उदाहरण के लिए, डिफ (एस¹), किसी को मनमाने ढंग से उस पहचान के करीब भिन्नताएं मिल सकती हैं जो ऍक्स्प की छवि में नहीं हैं)। इसके अलावा, कुछ अनंत-आयामी झूठ बीजगणित किसी भी समूह के झूठे बीजगणित नहीं हैं।

वास्तविक रूप और जटिलता

एक जटिल झूठ बीजगणित दिया गया ${\mathfrak {g}}$, एक वास्तविक झूठ बीजगणित ${\mathfrak {g}}_{0}$ का साकार रूप कहा गया है ${\mathfrak {g}}$ यदि जटिलता ${\mathfrak {g}}_{0}\otimes _{\mathbb {R} }\mathbb {C} \simeq {\mathfrak {g}}$ के लिए आइसोमोर्फिक है ${\mathfrak {g}}$. एक वास्तविक रूप अद्वितीय होने की आवश्यकता नहीं है; उदाहरण के लिए, ${\mathfrak {sl}}_{2}\mathbb {C}$ के दो वास्तविक रूप हैं ${\mathfrak {sl}}_{2}\mathbb {R}$ तथा ${\mathfrak {su}}_{2}$.

एक अर्ध-सरल परिमित-आयामी जटिल लाई बीजगणित दिया गया है ${\mathfrak {g}}$, इसका एक विभाजित रूप एक वास्तविक रूप है जो विभाजित होता है; यानी, इसमें एक कार्टन सबलजेब्रा है जो वास्तविक eigenvalues ​​​​के साथ एक आसन्न प्रतिनिधित्व के माध्यम से कार्य करता है। एक विभाजित रूप मौजूद है और अद्वितीय है (समरूपता तक)।एक कॉम्पैक्ट रूप एक वास्तविक रूप है जो एक कॉम्पैक्ट लाइ समूह का लाइ बीजगणित है। एक कॉम्पैक्ट रूप मौजूद है और अद्वितीय भी है।

अतिरिक्त संरचनाओं के साथ झूठ बीजगणित

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

एक साधारण लाई बीजगणित लाई बीजगणित की श्रेणी में एक साधारण वस्तु है; दूसरे शब्दों में, यह अंतर्निहित सेट को एक साधारण सेट के साथ बदलकर प्राप्त किया जाता है (इसलिए इसे झूठ बीजगणित के परिवार के रूप में बेहतर माना जा सकता है)।

लेट रिंग

झूठ बीजगणित के सामान्यीकरण के रूप में, या समूह (गणित) की निचली केंद्रीय श्रृंखला के अध्ययन के माध्यम से एक झूठ की अंगूठी उत्पन्न होती है। एक लाइ रिंग को गुणन के साथ एक गैर-सहयोगी रिंग के रूप में परिभाषित किया गया है जो कि एंटीकोमुटिव है और जैकोबी पहचान को संतुष्ट करता है। अधिक विशेष रूप से हम एक झूठ की अंगूठी को परिभाषित कर सकते हैं $L$ ऑपरेशन के साथ एक एबेलियन समूह होना $[\cdot ,\cdot ]$ जिसके निम्नलिखित गुण हैं:

• द्विरेखीयता:

$[x+y,z]=[x,z]+[y,z],\quad [z,x+y]=[z,x]+[z,y]$

सभी x, y, z ∈ L के लिए।

• जैकोबी पहचान:

$[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0\quad$

L में सभी x, y, z के लिए।

• एल में सभी एक्स के लिए:

$[x,x]=0\quad$

लाई रिंग्स को इसके अलावा लाई ग्रुप्स नहीं होना चाहिए। कोई भी झूठ बीजगणित झूठ की अंगूठी का एक उदाहरण है। ब्रैकेट ऑपरेटर को परिभाषित करके किसी भी साहचर्य रिंग को लाइ रिंग में बनाया जा सकता है $[x,y]=xy-yx$. किसी भी लाई बीजगणित के विपरीत एक संगत वलय होता है, जिसे सार्वभौमिक आवरण बीजगणित कहा जाता है।

लैज़र्ड पत्राचार के माध्यम से परिमित पी-समूहों के अध्ययन में झूठ के छल्ले का उपयोग किया जाता है। एक पी-समूह के निचले केंद्रीय कारक परिमित एबेलियन पी-समूह हैं, इसलिए 'जेड'/पी'जेड' पर मॉड्यूल। निचले केंद्रीय कारकों के प्रत्यक्ष योग को दो कोसेट प्रतिनिधियों के कम्यूटेटर होने के लिए ब्रैकेट को परिभाषित करके एक लाइ रिंग की संरचना दी जाती है। लाइ रिंग संरचना एक अन्य मॉड्यूल होमोमोर्फिज्म, पीटीएच पावर मैप के साथ समृद्ध है, जो संबंधित लाइ रिंग को एक तथाकथित प्रतिबंधित लाइ रिंग बनाती है।

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

उदाहरण

• फील्ड (गणित) के बजाय एक सामान्य रिंग (गणित) पर कोई भी झूठ बीजगणित झूठ की अंगूठी का एक उदाहरण है। नाम के बावजूद लाई रिंग इसके अतिरिक्त लाई समूह नहीं हैं।
• ब्रैकेट ऑपरेटर को परिभाषित करके किसी भी सहयोगी अंगूठी को झूठ की अंगूठी में बनाया जा सकता है

$[x,y]=xy-yx.$

• समूह (गणित) के अध्ययन से उत्पन्न होने वाली झूठ की अंगूठी के उदाहरण के लिए, आइए $G$ के साथ एक समूह बनें $[x,y]=x^{-1}y^{-1}xy$ कम्यूटेटर ऑपरेशन, और चलो $G=G_{0}\supseteq G_{1}\supseteq G_{2}\supseteq \cdots \supseteq G_{n}\supseteq \cdots$ में एक केंद्रीय श्रृंखला हो $G$ - वह कम्यूटेटर उपसमूह है $[G_{i},G_{j}]$ में निहित है $G_{i+j}$ किसी के लिए $i,j$. फिर

$L=\bigoplus G_{i}/G_{i+1}$

ग्रुप ऑपरेशन (जो प्रत्येक सजातीय भाग में एबेलियन है) द्वारा आपूर्ति की गई जोड़ के साथ एक लाइ रिंग है, और ब्रैकेट ऑपरेशन द्वारा दिया गया है

$[xG_{i},yG_{j}]=[x,y]G_{i+j}\$

रैखिक रूप से विस्तारित। श्रृंखला की केंद्रीयता सुनिश्चित करती है कि कम्यूटेटर $[x,y]$ ब्रैकेट ऑपरेशन को उचित लाई सैद्धांतिक गुण देता है।

यह भी देखें

• झूठ बीजगणित का संलग्न प्रतिनिधित्व
• Affine झूठ बीजगणित
• एनीओनिक झूठ बीजगणित
• झूठ बीजगणित का ऑटोमोर्फिज्म
• चिराल ले बीजगणित
• मुक्त झूठ बीजगणित
• झूठ बीजगणित का सूचकांक
• झूठ बीजगणित कोहोलॉजी
• झूठ बीजगणित विस्तार
• झूठ बीजगणित प्रतिनिधित्व
• झूठ बोलजेब्रा
• कोलजेब्रा लेट जाओ
• झूठ बोलना
• कण भौतिकी और प्रतिनिधित्व सिद्धांत
• लव सुपरएलजेब्रा
• पोइसन बीजगणित
• पूर्व झूठ बीजगणित
• क्वांटम समूह
• मोयल कोष्ठक
• Quasi-Frobenius झूठ बीजगणित
• अर्ध-झूठ बीजगणित
• प्रतिबंधित झूठ बीजगणित
• सेरे रिश्ते
• सममित झूठ बीजगणित
• गेलफैंड-फक्स कोहोलॉजी

स्रोत

• Beltiţă, Daniel (2006). ऑपरेटर थ्योरी में चिकनी सजातीय संरचनाएं. CRC Monographs and Surveys in Pure and Applied Mathematics. Vol. 137. CRC Press. ISBN 978-1-4200-3480-6. MR 2188389.
• Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (2001-06-01). "जटिल तंतुरूप लाई बीजगणित को वर्गीकृत करने के लिए एक नई विधि". Applied Mathematics and Computation. 121 (2–3): 169–175. doi:10.1016/s0096-3003(99)00270-2. ISSN 0096-3003.
• Bourbaki, Nicolas (1989). झूठ समूह और झूठ बीजगणित: अध्याय 1-3. Springer. ISBN 978-3-540-64242-8.
• करिन एर्डमैन | एर्डमैन, कैरिन और वाइल्डन, मार्क। इंट्रोडक्शन टू लाई एल्जेब्रस, पहला संस्करण, स्प्रिंगर, 2006। ISBN 1-84628-040-0
• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
• Hall, Brian C. (2015). झूठ समूह, झूठ बीजगणित, और प्रतिनिधित्व: एक प्राथमिक परिचय. Graduate Texts in Mathematics. Vol. 222 (2nd ed.). Springer. doi:10.1007/978-3-319-13467-3. ISBN 978-3319134666. ISSN 0072-5285.
• Hofmann, Karl H.; Morris, Sidney A (2007). कनेक्टेड प्रो-लाई ग्रुप्स का लाई थ्योरी. European Mathematical Society. ISBN 978-3-03719-032-6.
• Humphreys, James E. (1978). झूठ बीजगणित और प्रतिनिधित्व सिद्धांत का परिचय. Graduate Texts in Mathematics. Vol. 9 (2nd ed.). Springer-Verlag. ISBN 978-0-387-90053-7.
• Jacobson, Nathan (1979) [1962]. बीजगणित झूठ बोलो. Dover. ISBN 978-0-486-63832-4.
• Kac, Victor G.; et al. MIT 18.745 के लिए कोर्स नोट्स: लाई एल्जेब्रा का परिचय. Archived from the original on 2010-04-20.{{cite book}}: CS1 maint: bot: original URL status unknown (link)
• Mubarakzyanov, G.M. (1963). "हल करने योग्य बीजगणित पर". Izv. Vys. Ucheb. Zaved. Matematika (in русский). 1 (32): 114–123. MR 0153714. Zbl 0166.04104.
• O'Connor, J.J; Robertson, E.F. (2000). "सोफस लाइ की जीवनी". MacTutor History of Mathematics Archive.
• O'Connor, J.J; Robertson, E.F. (2005). "विल्हेम किलिंग की जीवनी". MacTutor History of Mathematics Archive.
• Popovych, R.O.; Boyko, V.M.; Nesterenko, M.O.; Lutfullin, M.W.; et al. (2003). "वास्तविक निम्न-आयामी झूठ बीजगणित की प्राप्ति". J. Phys. A: Math. Gen. 36 (26): 7337–60. arXiv:math-ph/0301029. Bibcode:2003JPhA...36.7337P. doi:10.1088/0305-4470/36/26/309. S2CID 9800361.
• Serre, Jean-Pierre (2006). झूठ बीजगणित और झूठ समूह (2nd ed.). Springer. ISBN 978-3-540-55008-2.
• Steeb, Willi-Hans (2007). निरंतर समरूपता, झूठ बीजगणित, विभेदक समीकरण और कंप्यूटर बीजगणित (2nd ed.). World Scientific. doi:10.1142/6515. ISBN 978-981-270-809-0. MR 2382250.
• Varadarajan, Veeravalli S. (2004). झूठ समूह, झूठ बीजगणित और उनका प्रतिनिधित्व (1st ed.). Springer. ISBN 978-0-387-90969-1.

बाहरी संबंध

• "Lie algebra", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• McKenzie, Douglas (2015). "An Elementary Introduction to Lie Algebras for Physicists".