लाई समूह

Not to be confused with लाई प्रकार का समूह.

गणित में, लाई समूह (उच्चारण /liː/ LEE) एक समूह (गणित) है जो अवलकनीय बहुविध भी है। बहुविध समष्टि है जो स्थानीय रूप से यूक्लिडियन समष्टि जैसा दिखता है, जबकि समूह द्विआधारी संक्रिया की अमूर्त अवधारणा को अतिरिक्त गुणों के साथ परिभाषित करते हैं, इसे अमूर्त अर्थ में "परिवर्तन" के रूप में माना जाना चाहिए, उदाहरण के लिए गुणन और लेना व्युत्क्रम (विभाजन), या समकक्ष, जोड़ की अवधारणा और व्युत्क्रम (घटाव) लेना। इन दो विचारों के संयोजन से, निरंतर समूह प्राप्त होता है जहां गुणन बिंदु और उनके व्युत्क्रम निरंतर होते हैं। यदि व्युत्क्रमों का गुणन और लेना सुचारू (विभेदक) भी है, तो लाई समूह प्राप्त होता है।

लाई समूह निरंतर समरूपता की अवधारणा के लिए प्राकृतिक प्रतिरूप प्रदान करते हैं, जिसका प्रसिद्ध उदाहरण तीन आयामों में घूर्णी समरूपता है (विशेष आयतीय समूह द्वारा दिया गया) ${\text{SO}}(3)$) आधुनिक गणित और भौतिकी के कई हिस्सों में लाई समूहों का व्यापक रूप से उपयोग किया जाता है।

लाई समूह सबसे पहले आव्यूह (गणित) उपसमूहों $G$, ${\text{GL}}_{n}(\mathbb {R} )$ या ${\text{GL}}_{n}(\mathbb {C} )$ में निहित है।का अध्ययन करके पाए गए थे, $n\times n$ व्युत्क्रमणीय आव्यूह के समूह $\mathbb {R}$ या $\mathbb {C}$. इन्हें अब चिरसम्मत समूह कहा जाता है, अवधारणा को इन मूल से बहुत आगे बढ़ाया गया है। लाई समूहों का नाम नार्वेजियन गणितज्ञ सोफस लाई 1842-1899) के नाम पर रखा गया है, जिन्होंने निरंतर परिवर्तन समूहों के सिद्धांत की नींव रखी। लाई समूहों को प्रारंभ करने के लिए लाई की मूल प्रेरणा अंतर समीकरणों की निरंतर समरूपता को प्रतिरूप करना था, ठीक उसी तरह जिस तरह से परिमित समूहों का उपयोग बीजगणितीय समीकरण के असतत समरूपता को प्रतिरूप करने के लिए गाल्वा सिद्धांत में उपयोग किया जाता है।

इतिहास

लाई समूहों के प्रारंभिक इतिहास (हॉकिन्स, पृष्ठ 1) पर सबसे आधिकारिक स्रोत के अनुसार, सोफस लाई ने स्वयं 1873-1874 की सर्दियों को निरंतर समूहों के अपने सिद्धांत की जन्म तिथि माना। हॉकिन्स, हालांकि, सुझाव देते हैं कि यह "1869 के पतन से 1873 के पतन तक चार साल की अवधि के दौरान लाई की विलक्षण शोध गतिविधि थी" जिसने सिद्धांत के निर्माण का नेतृत्व किया (वही)। लाई के प्रारंभिक विचारों में से कुछ फेलिक्स क्लेन के निकट सहयोग से विकसित किए गए थे। अक्टूबर 1869 से 1872 तक हर दिन लाई क्लेन से मिले: बर्लिन में अक्टूबर 1869 के अंत से फरवरी 1870 के अंत तक, और बाद के दो वर्षों में पेरिस, गौटिंगेन और एर्लांगेन में (वही, पृष्ठ 2)। लाई ने कहा कि सभी प्रमुख परिणाम 1884 तक प्राप्त किए गए थे। लेकिन 1870 के दशक के दौरान उनके सभी पत्र (पहले नोट को छोड़कर) नॉर्वेजियन पत्रिकाओं में प्रकाशित हुए थे, जिसने पूरे यूरोप में काम की मान्यता को बाधित किया था (वही, पृष्ठ 76) )। 1884 में युवा जर्मन गणितज्ञ, फ्रेडरिक एंगेल (गणितज्ञ), लाई के साथ निरंतर समूहों के अपने सिद्धांत को उजागर करने के लिए व्यवस्थित ग्रंथ पर काम करने आए। इस प्रयास से 1888, 1890 और 1893 में प्रकाशित तीन-खंड थ्योरी डेर परिवर्तनसमूह का परिणाम निकला। शब्द समूह डी लाइ पहली बार फ्रेंच में 1893 में लाई के छात्र आर्थर ट्रेस की अभिधारणा में दिखाई दिया।

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

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

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

1900 में डेविड हिल्बर्ट ने पेरिस में गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस में पेश अपनी हिल्बर्ट की पांचवीं समस्या के साथ लाई सिद्धांतकारों को चुनौती दी।

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

सिंहावलोकन

File:Circle as Lie group.svg

पूर्ण मान 1 के साथ सभी जटिल संख्याओं का समुच्चय (जटिल विमान में केंद्र 0 और त्रिज्या 1 के चक्र पर बिंदुओं के अनुरूप) जटिल गुणन के तहत एक लाई समूह है: घेरा समूह।

लाई समूहमू सहजता विभेदीय बहुविध हैं और जैसे कि अधिक सामान्य सांस्थितिक समूह के मामले के विपरीत अंतर कलन का उपयोग करके अध्ययन किया जा सकता है। लाई समूहों के सिद्धांत में प्रमुख विचारों में से वैश्विक वस्तु, समूह को अपने स्थानीय या रेखीयकृत संस्करण के साथ बदलना है, जिसे लाई ने खुद को "अति सूक्ष्म समूह" कहा था और जो तब से इसके लाई बीजगणित के रूप में जाना जाता है।

कई अलग-अलग स्तरों पर लाई समूह आधुनिक ज्यामिति में बड़ी भूमिका निभाते हैं। फेलिक्स क्लेन ने अपने एर्लांगेन कार्यक्रम में तर्क दिया कि उपयुक्त रूपांतरण समूह निर्दिष्ट करके विभिन्न "ज्यामितीय" पर विचार किया जा सकता है जो कुछ ज्यामितीय गुणों को अपरिवर्तित (गणित) छोड़ देता है। इस प्रकार यूक्लिडियन ज्यामिति यूक्लिडियनसमष्टि 'आर'3 के दूरी-संरक्षण परिवर्तनों के समूह ई (3) की पसंद से मेल खाती है, अनुरूप ज्यामिति समूह को अनुरूप समूह में विस्तारित करने से मेल खाती है, जबकि प्रक्षेपी ज्यामिति में किसी के तहत अपरिवर्तनीय गुणों में रुचि होती है। । इस विचार ने बाद में G-संरचना की धारणा को जन्म दिया, जहां G कई गुना "स्थानीय" समरूपता का लाई समूह है।

लाई समूह (और उनके संबद्ध लाई बीजगणित) आधुनिक भौतिकी में प्रमुख भूमिका निभाते हैं, लाई समूह सामान्यतः भौतिक प्रणाली की समरूपता की भूमिका निभाते हैं। यहाँ, लाई समूह (या इसके लाई बीजगणित के निरूपण विशेष रूप से महत्वपूर्ण हैं। कण भौतिकी में प्रतिनिधित्व सिद्धांत का व्यापक रूप से उपयोग किया जाता है। जिन समूहों का प्रतिनिधित्व विशेष महत्व का है उनमें घूर्णन समूह SO(3) (या इसका डबल कवर SU(2)), विशेष एकात्मक समूह SU(3) और पॉइनकेयर समूह सम्मिलित हैं।

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

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

परिभाषाएं और उदाहरण

वास्तविक लाई समूह एक समूह (गणित) है जो परिमित-आयामी वास्तविक विभेदक कई गुना परिभाषा भी है, जिसमें गुणन और व्युत्क्रम के समूह संचालन सुचारू मानचित्र हैं। समूह गुणन की सहजता

$\mu :G\times G\to G\quad \mu (x,y)=xy$

इसका मतलब है कि μ उत्पाद के कई गुना G × G में G की सहजता प्रतिचित्रण है। दो आवश्यकताओं को एकल आवश्यकता के साथ जोड़ा जा सकता है जो प्रतिचित्रण

$(x,y)\mapsto x^{-1}y$

G में कई गुना उत्पाद की सहजता प्रतिचित्रण हो।

पहला उदाहरण

• 2×2 वास्तविक संख्या व्युत्क्रमणीय आव्यूह गुणन के तहत समूह बनाता है, जिसे इसके द्वारा निरूपित किया जाता है GL(2, R) या द्वारा GL₂(R):

$\operatorname {GL} (2,\mathbf {R} )=\left\{A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}:\,\det A=ad-bc\neq 0\right\}.$

यह चार आयामी संक्षिप्त जगह पूर्णतः लाई समूह है, यह का खुला उपसमुच्चय $\mathbb {R} ^{4}$ है। यह समूह जुड़ा हुआ समष्टि है, इसमें निर्धारक के सकारात्मक और नकारात्मक मूल्यों के अनुरूप दो जुड़े हुए घटक होते हैं।

• घूर्णन (गणित) आव्यूह एक उपसमूह बनाते हैं GL(2, R), द्वारा चिह्नित SO(2, R). यह अपने आप मे लाई समूह है: विशेष रूप से, आयामी संक्षिप्त जुड़ा हुआ लाई ​​समूह जो चक्र के लिए अलग-अलग है। घूर्णन कोण का उपयोग करना $\varphi$ मापदण्ड के रूप में, यह समूह निम्नानुसार पैरामीट्रिक समीकरण हो सकता है:

$\operatorname {SO} (2,\mathbf {R} )=\left\{{\begin{pmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{pmatrix}}:\,\varphi \in \mathbf {R} /2\pi \mathbf {Z} \right\}.$

कोणों का जोड़ के तत्वों के गुणा के अनुरूप है SO(2, R), और विपरीत कोण लेना व्युत्क्रम से मेल खाता है। इस प्रकार गुणन और व्युत्क्रम दोनों ही अवकलनीय मानचित्र हैं।

• आयाम का एफ़िन समूह प्रतिनिधित्व द्वि-आयामी आव्यूह लाई समूह है, जिसमें सम्मिलित हैं $2\times 2$ वास्तविक, ऊपरी-त्रिकोणीय आव्यूह, पहली विकर्ण प्रविष्टि सकारात्मक होने के साथ और दूसरी विकर्ण प्रविष्टि 1, इस प्रकार, समूह में फॉर्म के आव्यूह होते हैं

$A=\left({\begin{array}{cc}a&b\\0&1\end{array}}\right),\quad a>0,\,b\in \mathbb {R} .$

गैर उदाहरण

अब हम समूह का उदाहरण प्रस्तुत करते हैं जिसमें तत्वों की अनगिनत संख्या होती है जो एक निश्चित सांस्थिति के तहत लाई समूह नहीं है। समूह द्वारा दिया गया

$H=\left\{\left({\begin{matrix}e^{2\pi i\theta }&0\\0&e^{2\pi ia\theta }\end{matrix}}\right):\,\theta \in \mathbb {R} \right\}\subset \mathbb {T} ^{2}=\left\{\left({\begin{matrix}e^{2\pi i\theta }&0\\0&e^{2\pi i\phi }\end{matrix}}\right):\,\theta ,\phi \in \mathbb {R} \right\},$

साथ $a\in \mathbb {R} \setminus \mathbb {Q}$ निश्चित अपरिमेय संख्या, टोरस्र्स $\mathbb {T} ^{2}$ का उपसमूह है उप-समष्टि सांस्थिति दिए जाने पर वह लाई समूह नहीं है। यदि हम कोई छोटा प्रतिवेश लेते हैं (गणित) $U$ एक बिंदु का $h$ में $H$, उदाहरण के लिए, का हिस्सा $H$ में $U$ वियोजित किया गया है। समूह $H$ सर्पिल के पिछले बिंदु तक पहुंचने के बिना बार-बार टोरस के चारों ओर हवाएं चलती हैं और इस प्रकार घने समुच्चय उपसमूह $\mathbb {T} ^{2}$ बनाती हैं .

File:Irrational line on a torus.png

समूह का एक भाग $H$ अंदर $\mathbb {T} ^{2}$. तत्व के छोटे प्रतिवेश $h\in H$ सबसेट सांस्थिति ऑन में वियोजित हो गए हैं $H$

समूह $H$ हालाँकि, अलग सांस्थिति दी जा सकती है, जिसमें दो बिंदुओं के बीच की दूरी $h_{1},h_{2}\in H$ समूह में सबसे छोटे पथ की लंबाई के रूप में परिभाषित किया गया है $H$ में सम्मिलित होने $h_{1}$ प्रति $h_{2}$। इस सांस्थिति में, $H$ संख्या के साथ प्रत्येक तत्व की पहचान करके होमोमोर्फिक रूप से वास्तविक रेखा के साथ पहचाना जाता है $\theta$ की परिभाषा में $H$। इस सांस्थिति के साथ, $H$ योग के अंतर्गत केवल वास्तविक संख्याओं का समूह है और इसलिए यह एक लाई समूह है।

समूह $H$ लाई समूह का उदाहरण है लाई समूह का लाई उपसमूह जो बंद नहीं है। बुनियादी अवधारणाओं पर अनुभाग में लाई उपसमूहों की नीचे चर्चा देखें।

आव्यूह लाई समूह

$\operatorname {GL} (n,\mathbb {C} )$ के समूह को निरूपित करें $n\times n$ में प्रविष्टियों के साथ व्युत्क्रमणीय आव्यूह $\mathbb {C}$। कोई बंद उपसमूह प्रमेय $\operatorname {GL} (n,\mathbb {C} )$ लाई समूह है, इस तरह के लाई समूहों को आव्यूह लाई समूह कहा जाता है। चूंकि लाई समूहों के अधिकांश दिलचस्प उदाहरणों को आव्यूह लाई समूहों के रूप में महसूस किया जा सकता है, इसलिए कुछ पाठ्यपुस्तकें इस वर्ग पर ध्यान केंद्रित करती हैं, जिनमें हॉल, रॉसमैन, और स्टिलवेल हैं। आव्यूह लाई समूहों पर ध्यान केंद्रित करने से लाई बीजगणित और घातीय मानचित्र की परिभाषा सरल हो जाती है। निम्नलिखित आव्यूह लाई समूहों के मानक उदाहरण हैं।

• विशेष रेखीय समूह पर $\mathbb {R}$ तथा $\mathbb {C}$, $\operatorname {SL} (n,\mathbb {R} )$ तथा $\operatorname {SL} (n,\mathbb {C} )$, को मिलाकर $n\times n$ निर्धारक एक और प्रविष्टियों के साथ आव्यूह $\mathbb {R}$ या $\mathbb {C}$
• एकात्मक समूह और विशेष एकात्मक समूह, ${\text{U}}(n)$ तथा ${\text{SU}}(n)$, को मिलाकर $n\times n$ जटिल आव्यूह संतोषजनक $U^{*}=U^{-1}$ (और भी $\det(U)=1$ के मामले में ${\text{SU}}(n)$)
• आयतीय समूह और विशेष आयतीय समूह, ${\text{O}}(n)$ तथा ${\text{SO}}(n)$, को मिलाकर $n\times n$ वास्तविक आव्यूह संतोषजनक $R^{\mathrm {T} }=R^{-1}$ (और भी $\det(R)=1$ के मामले में ${\text{SO}}(n)$)

पूर्ववर्ती सभी उदाहरण चिरसम्मत समूहों के शीर्षक के अंतर्गत आते हैं।

संबंधित अवधारणाएं

जटिल लाई समूह को उसी तरह से परिभाषित किया जाता है जैसे वास्तविक लोगों के बजाय जटिल कई गुना (उदाहरण: $\operatorname {SL} (2,\mathbb {C} )$), और पूर्णसममितिक मानचित्र। इसी प्रकार, एक वैकल्पिक पूर्ण मीट्रिक समष्टि का उपयोग करना पूरा करना $\mathbb {Q}$, कोई पी-एडिक लाइ समूह कोपी-एडिक नंबर|पी-एडिक नंबरों पर परिभाषित कर सकता है, सांस्थितिक समूह जो एक विश्लेषणात्मक पी-एडिक बहुविध भी है, जैसे कि समूह संचालन विश्लेषणात्मक हैं। विशेष रूप से, प्रत्येक बिंदु का पी-एडिक प्रतिवेश होता है।

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

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

सामयिक परिभाषा

लाइ समूह को (हॉसडॉर्फ समष्टि) सांस्थितिक समूह के रूप में परिभाषित किया जा सकता है, जो पहचान तत्व के पास, परिवर्तन समूह की तरह दिखता है, जिसमें अलग-अलग बहुविध का कोई संदर्भ नहीं है। सबसे पहले, हम सामान्य रेखीय समूह के उपसमूह G के रूप में अत्यधिक रैखिक लाई समूह $\operatorname {GL} (n,\mathbb {C} )$ को परिभाषित करते हैं ऐसा है कि

1. G में पहचान तत्व e के कुछ प्रतिवेश V के लिए, V पर सांस्थिति का उप-समष्टि सांस्थिति $\operatorname {GL} (n,\mathbb {C} )$ है और V बंद है $\operatorname {GL} (n,\mathbb {C} )$.
2. G में अधिक से अधिक गणनीय समुच्चय जुड़े घटक हैं।

(उदाहरण के लिए, का बंद उपसमूह $\operatorname {GL} (n,\mathbb {C} )$, अर्थात्, आव्यूह लाई समूह उपरोक्त शर्तों को पूरा करता है।)

फिर लाई समूह को सांस्थितिक समूह के रूप में परिभाषित किया जाता है जो (1) स्थानीय रूप से समरूपी पहचान के पास अत्यधिक रैखिक लाई समूह के पास होता है और (2) में सबसे अधिक संख्या में कई जुड़े हुए घटक होते हैं। सांस्थितिक परिभाषा दिखाना सामान्य के बराबर तकनीकी है (और प्रारंभिक पाठकों को निम्नलिखित को छोड़ देना चाहिए) लेकिन मोटे तौर पर निम्नानुसार किया जाता है:

1. सामान्य कई गुना अर्थों में लाई समूह G को देखते हुए, लाई समूह-लाई बीजगणित पत्राचार (या लाई के तीसरे प्रमेय का संस्करण) निमज्जित लाई उपसमूह बनाता है $G'\subset \operatorname {GL} (n,\mathbb {C} )$ ऐसा है कि $G,G'$ समान लाई बीजगणित साझा करें, इस प्रकार, वे स्थानीय रूप से समरूपी हैं। इसलिए, G उपरोक्त सांस्थितिक परिभाषा को संतुष्ट करता है।
2. इसके विपरीत, G को सांस्थितिक समूह होने दें, जो उपरोक्त सांस्थितिक अर्थों में एक लाई समूह है और बेहद रैखिक लाई समूह का चयन करें $G'$ वह G के लिए स्थानीय रूप से समरूपी है। फिर, बंद उपसमूह प्रमेय के एक संस्करण द्वारा, $G'$ एक वास्तविक-विश्लेषणात्मक कई गुना है और फिर, स्थानीय समरूपता के माध्यम से, G पहचान तत्व के पास कई गुना संरचना प्राप्त करता है। एक तो दिखाता है कि G पर समूह विधि औपचारिक शक्ति श्रृंखला द्वारा दिया जा सकता है, इसलिए समूह संचालन वास्तविक-विश्लेषणात्मक हैं और G स्वयं एक वास्तविक-विश्लेषणात्मक कई गुना है।

सांस्थितिक परिभाषा का अर्थ यह कथन है कि यदि दो लाइ समूह सांस्थितिक समूहों के रूप में समरूपी हैं, तो वे लाइ समूह के रूप में समरूपी हैं। वास्तव में, यह सामान्य सिद्धांत बताता है कि, काफी हद तक, समूह विधि के साथ एक लाई समूह की सांस्थिति समूह की ज्यामिति निर्धारित करती है।

लाई समूहों के अधिक उदाहरण

See also: लाई समूहों की तालिका and सरल लाई समूहों की सूची

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

आयाम एक और दो

आयाम एक के साथ केवल जुड़े हुए समूह ही वास्तविक रेखा हैं $\mathbb {R}$ (समूह संचालन के अतिरिक्त होने के साथ) और पूर्ण के साथ सम्मिश्र संख्याओं का वृत्त समूह $S^{1}$(समूह संचालन गुणन के साथ)। $S^{1}$समूह को प्रायः के $U(1)$ रूप में निरूपित किया जाता है , का समूह $1\times 1$ एकात्मक आव्यूह।

दो आयामों में, यदि हम केवल जुड़े हुए समूहों पर ध्यान केंद्रित करते हैं, तो उन्हें उनके लाई बीजगणित द्वारा वर्गीकृत किया जाता है। (समरूपता तक) आयाम दो के केवल दो लाई बीजगणित हैं। जुड़े बस जुड़े हुए लाई समूह हैं $\mathbb {R} ^{2}$ (समूह संचालन के साथ सदिश जोड़ रहा है) और एफ़िन समूह पहले आयाम में, पहले उदाहरणों के तहत पिछले उपखंड में वर्णित है।

अतिरिक्त उदाहरण

• समूह SU(2) निर्धारक $1$ के साथ $2\times 2$ एकात्मक मैट्रिक्स का समूह है। स्थैतिक रूप,${\text{SU}}(2)$ है $3$-वृत्त $S^{3}$, एक समूह के रूप में, इसे इकाई चतुष्कोणों के समूह के साथ पहचाना जा सकता है।
• हाइजेनबर्ग समूह $3$ का जुड़ा हुआ नीलपोटेंट समूह लाइ समूह का आयाम है , क्वांटम यांत्रिकी में एक महत्वपूर्ण भूमिका निभा रहा है।
• लोरेंत्ज़ समूह मिन्कोव्स्की समष्टि के रैखिक समरूपता का 6-आयामी लाई समूह है।
• पॉइंकेयर समूह मिन्कोवस्कीसमष्टि के एफ़िन परिवर्तन आइसोमेट्रीज़ का 10-आयामी लाई समूह है।
• G₂, F₄, E₆, E₇, E₈ प्रकार के असाधारण लाई समूह के आयाम 14, 52, 78, 133 और 248 हैं। सरल लाई समूह की A-B-C-D श्रृंखला के साथ, असाधारण समूह सरल लाई समूहों की सूची को पूरा करते हैं।
• संसुघटित समूह ${\text{Sp}}(2n,\mathbb {R} )$ सभी के होते हैं $2n\times 2n$ आव्यूह पर संसुघटित रूप का संरक्षण $\mathbb {R} ^{2n}$, यह आयाम का जुड़ा हुआ समूह है $2n^{2}+n$

निर्माण

पुराने से नए लाई समूह बनाने के कई मानक तरीके हैं:

• दो लाई समूहों का उत्पाद लाई समूह है।
• लाई समूह का कोई भी बंद समुच्चय उपसमूह लाई समूह है। इसे बंद उपसमूह प्रमेय या कार्टन प्रमेय के रूप में जाना जाता है।
• बंद सामान्य उपसमूह द्वारा लाई समूह का भागफल लाई समूह है।
• जुड़े हुए लाई समूह का सार्वभौमिक आवरण लाई समूह है। उदाहरण के लिए, समूह $\mathbb {R}$ वृत्त समूह $S^{1}$ का सार्वभौम आवरण है, वास्तव में अलग-अलग कई गुना का कोई भी आवरण भी अलग-अलग कई गुना है, लेकिन सार्वभौमिक कवर को निर्दिष्ट करके, समूह संरचना (इसकी अन्य संरचनाओं के साथ संगत) की गारंटी देता है।

संबंधित धारणाएं

समूहों के कुछ उदाहरण जो लाई समूह नहीं हैं (तुच्छ अर्थों को छोड़कर किसी भी समूह में सबसे अधिक संख्या में कई तत्व होते हैं) असतत सांस्थिति के साथ 0-आयामी लाई समूह के रूप में देखा जा सकता है), हैं:

• अनंत-आयामी समूह, जैसे कि अनंत-आयामी वास्तविक सदिश समष्टि का योगात्मक समूह, या कई गुना से सुचारू कार्यों का समष्टि $X$ लाई समूह के लिए $G$, $C^{\infty }(X,G)$। ये लाई समूह नहीं हैं क्योंकि वे परिमित-आयामी कई गुना नहीं हैं।
• कुछ पूरी तरह से अलग किए गए समूह, जैसे क्षेत्रों के अनंत विस्तार का गैलोज़ समूह, या पी-एडिक संख्याओं का योगात्मक समूह हैं। ये लाई समूह नहीं हैं क्योंकि उनके अंतर्निहित समष्टि वास्तविक कई गुना नहीं हैं। (इनमें से कुछ समूहपी-एडिक लाई समूह हैं।) सामान्य तौर पर, केवल समान स्थानीय संपत्ति वाले 'Rⁿ' के समान सामयिक समूह कुछ सकारात्मक पूर्णांक n के लिए लाई समूह हो सकते हैं (निश्चित रूप से उनके पास एक भिन्न संरचना भी होनी चाहिए)।

बुनियादी अवधारणाएँ

लाई समूह के साथ जुड़े लाई बीजगणित

Main article: लाई समूह-लाई बीजगणित पत्राचार

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

• सदिश समष्टि Rⁿ का लाई बीजगणित केवल Rⁿ है जिसके द्वारा लाई कोष्ठक दिया गया है
      [A, B] = 0.
  (सामान्य रूप से जुड़े हुए लाई समूह का लाई कोष्ठक हमेशा 0 होता है और केवल अगर लाई समूह आबेलियन होता है।)
• व्युत्क्रमणीय आव्यूह के सामान्य रैखिक समूह GL(n, C) का लाई बीजगणित वर्ग आव्यूह का सदिश समष्टि M(n, C) है, जिसका लाई कोष्ठक द्वारा दिया गया है।
      [A, B] = AB − BA
• यदि G, GL(n, C) का बंद उपसमूह है, तो G के लाई बीजगणित को अनौपचारिक रूप से M(n, C) के आव्यूह m के रूप में माना जा सकता है, जैसे कि 1 + εm, G में है, जहां ε, ε² = 0 के साथ अपरिमेय धनात्मक संख्या है ( ऐसी कोई वास्तविक संख्या ε उपस्थित नहीं है)। उदाहरण के लिए, लंबकोणीय समूह O(n, R) में AA^T = 1 के साथ आव्यूह A होते हैं, इसलिए लाई बीजगणित में (1 + εm)(1 + εm)^T = 1 वाले आव्यूह m होते हैं, जो m + m^T = 0 के बराबर है क्योंकि ε² = 0 है।
• पिछले विवरण को निम्नानुसार अधिक कठोर बनाया जा सकता है। GL(n, C) के बंद उपसमूह G के लाई बीजगणित की गणना की जा सकती है

$\operatorname {Lie} (G)=\{X\in M(n;\mathbb {C} )|\operatorname {exp} (tX)\in G{\text{ for all }}t{\text{ in }}\mathbb {\mathbb {R} } \},$जहां exp(tX) को आव्यूह घातीय का उपयोग करके परिभाषित किया गया है। तब यह दिखाया जा सकता है कि G का लाई बीजगणित वास्तविक सदिश समष्टि है जो कोष्ठक संक्रिया के तहत बंद है, $[X,Y]=XY-YX$.

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

1. किसी भी सहजता बहुविध M पर सदिश क्षेत्र को व्युत्पत्ति (अमूर्त बीजगणित) X के रूप में माना जा सकता है, जो कि कई गुना सुचारू कार्यों की वलय है, और इसलिए लाइ कोष्ठक [X, Y] = XY − YX के तहत एक लाई बीजगणित बनाते हैं, क्योंकि किन्हीं दो व्युत्पत्तियों के सदिश क्षेत्रों का लाई कोष्ठक व्युत्पत्ति है।
2. यदि G कई गुना M पर सुचारू रूप से कार्य करने वाला कोई समूह है, तो यह सदिश क्षेत्रों पर कार्य करता है, और समूह द्वारा तय किए गए सदिश क्षेत्रों का सदिश समष्टि लाई कोष्ठक के नीचे बंद होता है और इसलिए एक लाई बीजगणित भी बनाता है।
3. हम इस निर्माण को उस मामले में लागू करते हैं जब कई गुना M एक लाई समूह G का अंतर्निहित समष्टि होता है, G के साथ G = M पर बाएं अनुवाद L_g(h) = gh द्वारा कार्य करता है। इससे पता चलता है कि बाएं अपरिवर्तनीय सदिश क्षेत्र का समष्टि (सदिश क्षेत्र एल को संतुष्ट करता हैL_g*X_h = X_gh, G में प्रत्येक h के लिए, जहाँ L_g*, L_gके अंतर को दर्शाता है)का समूह सदिश क्षेत्रों के लाई कोष्ठक के अंतर्गत लाई बीजगणित है।
4. लाई समूह की पहचान पर किसी भी स्पर्शरेखा सदिश को कई गुना के अन्य बिंदुओं पर स्थानांतरित करके बाएं अपरिवर्तनीय सदिश क्षेत्र में बढ़ाया जा सकता है। विशेष रूप से, पहचान पर स्पर्शरेखा समष्टि के तत्व v का बायाँ अपरिवर्तनीय विस्तार v^_g = L_g*v द्वारा परिभाषित सदिश क्षेत्र है। यह स्पर्शरेखा समष्टि T_eG की पहचान करता है बाएं अपरिवर्तनीय सदिश क्षेत्रों के समष्टि के साथ पहचान पर, और इसलिए पहचान पर स्पर्शरेखा समष्टि को लाइ बीजगणित में बनाता है, जिसे G का लाई बीजगणित कहा जाता है, जिसे सामान्यतः फ्रैक्टुर ${\mathfrak {g}}.$ (टाइपफेस उप-वर्गीकरण) द्वारा निरूपित किया जाता है। इस प्रकार ${\mathfrak {g}}$ लाई कोष्ठक [v, w] = [v^, w^] द्वारा स्पष्ट रूप से दिया गया है।

यह लाई बीजगणित ${\mathfrak {g}}$ परिमित-आयामी है और इसका कई गुना G के समान आयाम है। G का लाई बीजगणित G को स्थानीय समरूपता तक निर्धारित करता है, जहां दो लाई समूहों को 'स्थानीय रूप से समरूप' कहा जाता है यदि वे पहचान तत्व के पास समान दिखते हैं। लाई समूहों के बारे में समस्याएं प्रायः लाई बीजगणित के लिए संबंधित समस्या को हल करके हल की जाती हैं, और समूहों के परिणाम सामान्यतः आसानी से अनुसरण करते हैं। उदाहरण के लिए, साधारण लाई समूहों को सामान्यतः संबंधित लाई बीजगणित को पहले वर्गीकृत करके वर्गीकृत किया जाता है।

हम T_e पर लाई बीजगणित संरचना को भी परिभाषित कर सकते हैं बाएं अपरिवर्तनीय सदिश क्षेत्र के बजाय सही अपरिवर्तनीय सदिश क्षेत्र का उपयोग करना। यह समान लाई बीजगणित की ओर जाता है, क्योंकि G पर व्युत्क्रम मानचित्र का उपयोग दाएं अपरिवर्तनीय सदिश क्षेत्रों के साथ बाएं अपरिवर्तनीय सदिश क्षेत्रों की पहचान करने के लिए किया जा सकता है, और स्पर्शरेखा स्थानT_e पर -1 के रूप में कार्य करता है।

T_e पर लाई बीजगणित संरचना इस प्रकार भी वर्णित किया जा सकता है: दिक्परिवर्तक संक्रिया

(x, y) → xyx⁻¹y⁻¹

G × G पर e को (e, e) भेजता है, इसलिए इसका व्युत्पन्न T_eG पर द्विरैखिक संक्रिया उत्पन्न करता है। यह द्विरैखिक संक्रिया वास्तव में शून्य मानचित्र है, लेकिन दूसरा व्युत्पन्न, स्पर्शरेखा रिक्त समष्टि की उचित पहचान के तहत, संक्रिया उत्पन्न करता है जो लाई बीजगणित परिभाषा और पहले गुणों के स्वयंसिद्धों को संतुष्ट करता है, और यह दो बार परिभाषित एक के बराबर है बाएं-अपरिवर्तनीय सदिश क्षेत्र के माध्यम से।

समरूपता और समरूपता

यदि G और H लाई समूह हैं, तो लाई समूह समरूपता f : G → H सहज समूह समाकारिता है। जटिल लाई समूहों के मामले में, इस तरह के समरूपता को समरूप मानचित्र होना आवश्यक है। हालाँकि, ये आवश्यकताएँ थोड़ी कठोर हैं, वास्तविक लाई समूहों के बीच हर निरंतर समरूपता (वास्तविक) विश्लेषणात्मक मानचित्र बन जाती है।

दो लाइ समरूपता की संरचना फिर से समरूपता है, और सभी लाइ समूहों का वर्ग, इन रूपों के साथ मिलकर एक श्रेणी सिद्धांत बनाता है। इसके अलावा, प्रत्येक लाई समूह समरूपता इसी लाई बीजगणित के बीच समरूपता को प्रेरित करता है। चलो $\phi \colon G\to H$ लाई समूह समरूपता हो और $\phi _{*}$ पहचान पर इसका व्युत्पन्न हो। अगर हम पहचान तत्वों पर उनके स्पर्शरेखा रिक्त समष्टि के साथ G और H के लाई बीजगणित की पहचान करते हैं, तो $\phi _{*}$ इसी लाई बीजगणित के बीच एक मानचित्र है:

$\phi _{*}\colon {\mathfrak {g}}\to {\mathfrak {h}},$

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

दो लाई समूहों को समरूपी कहा जाता है यदि उनके बीच अनुमान समरूपता उपस्थितहै जिसका व्युत्क्रम भी लाई समूह समरूपता है। समतुल्य रूप से, यह भिन्नता है जो एक समूह समरूपता भी है। ध्यान दें कि, ऊपर से, लाई समूह से एक निरंतर समरूपता $G$ लाई समूह के लिए $H$ लाई समूहों का एक समरूपता है यदि और केवल यदि यह अनुमान है।

लाई समूह बनाम लाई बीजगणित समरूपता

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

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

दूसरी ओर, समरूपी लाई बीजगणित वाले लाई समूहों को समरूपी होने की आवश्यकता नहीं है। इसके अलावा, यह परिणाम तब भी सही रहता है जब हम मानते हैं कि समूह जुड़े हुए हैं। इसे अलग तरीके से रखने के लिए, लाई समूह की वैश्विक संरचना उसके लाई बीजगणित द्वारा निर्धारित नहीं होती है, उदाहरण के लिए, यदि Z, G के केंद्र का कोई असतत उपसमूह है तो G और G/Z का एक ही लाई बीजगणित है (उदाहरण के लिए लाई समूहों की तालिका देखें)। भौतिकी में महत्व का एक उदाहरण समूह SU(2) और SO(3) हैं। इन दो समूहों में समरूपी लाई बीजगणित है, लेकिन समूह स्वयं समरूपी नहीं हैं, क्योंकि SU(2) केवल जुड़ा हुआ है लेकिन SO(3) नहीं है।

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

बस जुड़े लाई समूह

See also: लाई समूह-लाई बीजगणित पत्राचार and मौलिक समूह §  लाई समूह

यदि $G$ में प्रत्येक लूप को $G$ में एक बिंदु तक लगातार सिकोड़ा जा सकता है, तो लाई समूह $G$ को सरलता से जुड़ा हुआ कहा जाता है। यह धारणा निम्नलिखित परिणाम के कारण महत्वपूर्ण है जिसमें एक परिकल्पना के रूप में सरल जुड़ाव है:

प्रमेय: मान लीजिए $G$ तथा $H$ लाई बीजगणित वाले लाई समूह हैं ${\mathfrak {g}}$ तथा ${\mathfrak {h}}$ और कि $f:{\mathfrak {g}}\rightarrow {\mathfrak {h}}$ लाई बीजगणित समरूपता है। यदि $G$ बस जुड़ा हुआ है, तो एक अद्वितीय लाई समूह समरूपता है $\phi :G\rightarrow H$ ऐसा है कि $\phi _{*}=f$, कहाँ पे $\phi _{*}$ का अंतर है $\phi$ पहचान पर।

लाई का तीसरा प्रमेय कहता है कि प्रत्येक परिमित-आयामी वास्तविक लाई बीजगणित लाई समूह का लाई बीजगणित है। यह लाइ के तीसरे प्रमेय और पूर्ववर्ती परिणाम से अनुसरण करता है कि प्रत्येक परिमित-आयामी वास्तविक लाइ बीजगणित अद्वितीय सरलता से जुड़े लाइ समूह का लाई बीजगणित है।

सरलता से जुड़े समूह का एक उदाहरण विशेष एकात्मक समूह SU(2) है, जो कई गुना 3-गोला है। दूसरी ओर, घूर्णन समूह SO(3), केवल जुड़ा हुआ नहीं है। SO(3) की सांस्थिति देखें।) एसओ (3) के आसानी से जुड़े होने की विफलता क्वांटम यांत्रिकी में पूर्णांक प्रचक्रण और अर्ध-पूर्णांक प्रचक्रण के बीच के अंतर से घनिष्ठ रूप से जुड़ी हुई है। आसानी से जुड़े हुए लाई समूहों के अन्य उदाहरणों में विशेष एकात्मक समूह SU(n), प्रचक्रण समूह (घूर्णन समूह का दोहरा आवरण) $n\geq 3$ प्रचक्रण (n), और समूह संसुघटित समूह सम्मिलित हैं।

यह निर्धारित करने के तरीके कि लाई समूह बस जुड़ा हुआ है या नहीं, लाई समूहों के मौलिक समूहों पर आलेख में चर्चा की गई है।

चरघातांकी मानचित्र

Main article: चरघातांकी मानचित्र (लाई सिद्धांत)

See also: घातीय मानचित्र का व्युत्पन्न and सामान्य निर्देशांक

लाई बीजगणित से घातीय मानचित्र (लाई सिद्धांत) $\mathrm {M} (n;\mathbb {C} )$ सामान्य रैखिक समूह का $\mathrm {GL} (n;\mathbb {C} )$ प्रति $\mathrm {GL} (n;\mathbb {C} )$ सामान्य शक्ति श्रृंखला द्वारा दिए गए आव्यूह घातांक द्वारा परिभाषित किया गया है:

$\exp(X)=1+X+{\frac {X^{2}}{2!}}+{\frac {X^{3}}{3!}}+\cdots$

आव्यूह $X$ के लिए। यदि $G$ एक बंद उपसमूह है $\mathrm {GL} (n;\mathbb {C} )$, तब घातीय मानचित्र का लाई बीजगणित $G$ में $G$ लेता है, इस प्रकार, हमारे पास सभी आव्यूह समूहों के लिए घातीय मानचित्र है। हर तत्व $G$ जो पर्याप्त रूप से पहचान के करीब है, लाई बीजगणित में एक आव्यूह का घातीय है।

उपरोक्त परिभाषा का उपयोग करना आसान है, लेकिन यह लाई समूहों के लिए परिभाषित नहीं है जो आव्यूह समूह नहीं हैं, और यह स्पष्ट नहीं है कि लाई समूह का घातीय मानचित्र आव्यूह समूह के रूप में इसके प्रतिनिधित्व पर निर्भर नहीं करता है। हम घातीय मानचित्र की अधिक सार परिभाषा का उपयोग करके दोनों समस्याओं को हल कर सकते हैं जो सभी लाई समूहों के लिए काम करता है, निम्नानुसार है।

प्रत्येक सदिश $X$ के लिए लाई बीजगणित में ${\mathfrak {g}}$ का $G$ (यानी, स्पर्शरेखा समष्टि को $G$ पहचान पर), यह प्रमाणित करता है कि अद्वितीय एक-प्राचल उपसमूह है $c:\mathbb {R} \rightarrow G$ ऐसा कि $c'(0)=X$. कहते हुए की $c$ एक-प्राचल उपसमूह है जिसका अर्थ बस यही है $c$ में एक सहज मानचित्र है $G$ और

$c(s+t)=c(s)c(t)\$

सभी $s$ तथा $t$ के लिए। $G$ में दाहिनी ओर की संक्रिया समूह गुणन है। घातीय फलन के लिए मान्य सूत्र के साथ इस सूत्र की औपचारिक समानता परिभाषा को सही ठहराती है।

$\exp(X)=c(1).\$

इसे चरघातांकी मानचित्र कहा जाता है, और यह लाई बीजगणित ${\mathfrak {g}}$ को लाई समूह $G$ में मानचित्र करता है। यह ${\mathfrak {g}}$ में 0 के प्रतिवेश (सांस्थिति) और का प्रतिवेश $e$ में $G$ के बीच भिन्नता प्रदान करता है, यह घातीय मानचित्र वास्तविक संख्याओं के लिए घातीय फलन का सामान्यीकरण है (क्योंकि $\mathbb {R}$ गुणन के साथ धनात्मक वास्तविक संख्याओं के लाई समूह का लाई बीजगणित है), जटिल संख्याओं के लिए (क्योंकि $\mathbb {C}$ गुणा के साथ गैर-शून्य जटिल संख्याओं के लाई समूह का लाई बीजगणित है) और आव्यूह (गणित) के लिए (क्योंकि $M(n,\mathbb {R} )$ नियमित दिक्परिवर्तक के साथ लाइ समूह $\mathrm {GL} (n,\mathbb {R} )$ का लाई बीजगणित है सभी उलटा आव्यूह)।

क्योंकि घातीय मानचित्र कुछ प्रतिवेश $N$ का $e$ पर अनुमान है, इसलिए समूह $G$ के लाई बीजगणित अनंत जनरेटर के तत्वों को कॉल करना आम बात है। $N$ द्वारा उत्पन्न $G$ का उपसमूह $G$ का पहचान घटक है .

चरघातांकी मानचित्र और लाई बीजगणित, बेकर-कैंपबेल-हॉसडॉर्फ फॉर्मूले के कारण, हर जुड़े हुए लाई समूह की स्थानीय समूह संरचना का निर्धारण करते हैं: प्रतिवेश $U$ के शून्य तत्व का ${\mathfrak {g}}$ उपस्थित है, ऐसे के लिए $X,Y\in U$ अपने पास

$\exp(X)\,\exp(Y)=\exp \left(X+Y+{\tfrac {1}{2}}[X,Y]+{\tfrac {1}{12}}[\,[X,Y],Y]-{\tfrac {1}{12}}[\,[X,Y],X]-\cdots \right),$

जहां छोड़े गए शब्द ज्ञात हैं और इसमें चार या अधिक तत्वों के लाई कोष्ठक सम्मिलित हैं। यदि $X$ तथा $Y$ दिक्परिवर्तितकरते हैं, तो यह सूत्र परिचित घातीय नियम को कम करता है $\exp(X)\exp(Y)=\exp(X+Y)$

चरघातांकी मानचित्र लाइ समूह समरूपता से संबंधित है। यानी अगर $\phi :G\to H$ लाई समूह समरूपता है और $\phi _{*}:{\mathfrak {g}}\to {\mathfrak {h}}$ संबंधित लाई बीजगणित पर प्रेरित मानचित्र, फिर सभी के लिए $x\in {\mathfrak {g}}$ अपने पास

$\phi (\exp(x))=\exp(\phi _{*}(x)).\,$

दूसरे शब्दों में, निम्न क्रमविनिमेय आरेख,

File:ExponentialMap-01.png

(संक्षेप में, ऍक्स्प लाई समूहों की श्रेणी पर प्रकार्यक लाइ से सर्वसमता प्रकार्यक के लिए एक प्राकृतिक परिवर्तन है।)

लाई बीजगणित से लाई समूह तक घातीय मानचित्र हमेशा चालू नहीं होता है, भले ही समूह जुड़ा हुआ हो (हालांकि यह जुड़े हुए समूहों के लिए लाई समूह पर मानचित्र करता है जो या तो संक्षिप्त या निलपोटेंट हैं)। उदाहरण के लिए, SL(2, R) का घातीय मानचित्र अनुमान नहीं है। साथ ही, घातीय मानचित्र अनंत-आयामी (नीचे देखें) के लिए न तो अनुमान है और न ही अंतःक्षेपक है (नीचे देखें) लाई समूह C^∞ फ्रेचेट समष्टि पर प्रतिरूपण करते हैं, यहां तक कि 0 के मनमाने छोटे प्रतिवेश से 1 के संबंधित प्रतिवेश तक भी।

लाई उपसमूह

लाई उपसमूह $H$ लाई समूह $G$ का लाई समूह है जो $G$ का उपसमुच्चय है और ऐसा है कि समावेशन मानचित्र से $H$ प्रति $G$ अंतःक्षेपक अंतर्वेशन (गणित) और समूह समरूपता है। बंद उपसमूह प्रमेय के अनुसार कार्टन की प्रमेय, का बंद उपसमूह $G$ एक अद्वितीय सहजता संरचना को स्वीकार करता है जो इसे अंत: स्थापन लाई उपसमूह $G$ बनाता है -अर्थात लाई उपसमूह ऐसा है कि समावेशन मानचित्र सहजता अंत: स्थापन है।

गैर-बंद उपसमूहों के उदाहरण बहुतायत से हैं, उदाहरण के लिए $G$ को आयाम 2 या उससे अधिक का टोरस लें, और $H$ को अपरिमेय ढलान का एक-प्राचल उपसमूह होने दें, यानी वह जो G में चारों ओर घूमता है। फिर लाई समूह समरूपता होता है $\varphi :\mathbb {R} \to G$ साथ $\mathrm {im} (\varphi )=H$. $H$ का क्लोजर (सांस्थिति) $G$ में उप-टॉरस होगा।

चरघातांकी मानचित्र (लाई सिद्धांत) लाई समूह $G$ के जुड़े हुए लाइ उपसमूहों और $G$ के लाइ बीजगणित के सबलजेब्रस के बीच एक-से-एक पत्राचार देता है। सामान्यतः, सबलजेब्रा से संबंधित उपसमूह एक बंद उपसमूह नहीं होता है। केवल संरचना के आधार पर कोई मानदंड नहीं है $G$ जो यह निर्धारित करता है कि कौन से सबलजेब्रस बंद उपसमूहों के अनुरूप हैं।

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

Main article: लाई समूह का प्रतिनिधित्व

See also: कॉम्पैक्ट समूह §  जुड़े हुए कॉम्पैक्ट लाई समूह का प्रतिनिधित्व सिद्धांत, and लाई बीजगणित प्रतिनिधित्व

लाई समूहों के अध्ययन का महत्वपूर्ण पहलू उनका निरूपण है, अर्थात जिस तरह से वे सदिश समष्टि पर (रैखिक रूप से) कार्य कर सकते हैं। भौतिकी में, लाई समूह प्रायः भौतिक प्रणाली की समरूपता को कूटबद्ध करते हैं। प्रणाली का विश्लेषण करने में मदद करने के लिए जिस तरह से कोई इस समरूपता का उपयोग करता है वह प्रायः प्रतिनिधित्व सिद्धांत के माध्यम से होता है। उदाहरण के लिए, क्वांटम यांत्रिकी में समय-स्वतंत्र श्रोडिंगर समीकरण पर विचार करें, ${\hat {H}}\psi =E\psi$, मान लें कि प्रणाली में समरूपता के रूप में घूर्णन समूह SO(3) है, जिसका अर्थ हैमिल्टनियन संक्रिया है ${\hat {H}}$ तरंग फलन $\psi$ पर SO(3) की क्रिया के साथ संचार करता है। (इस तरह की प्रणाली का महत्वपूर्ण उदाहरण हाइड्रोजन परमाणु है, जिसमें एक एकल गोलाकार कक्षीय है।) इस धारणा का जरूरी अर्थ यह नहीं है कि समाधान $\psi$ घूर्णी रूप से अपरिवर्तनीय कार्य हैं। बल्कि, इसका अर्थ है कि समाधानों का समष्टि ${\hat {H}}\psi =E\psi$ घूर्णन के तहत अपरिवर्तनीय है (प्रत्येक निश्चित मान के लिए $E$)। इसलिए, यह समष्टि SO(3) का प्रतिनिधित्व करता है। ये अभ्यावेदन को वर्गीकृत किया गया है और वर्गीकरण समस्या के पर्याप्त सरलीकरण की ओर ले जाता है, अनिवार्य रूप से एक त्रि-आयामी आंशिक अंतर समीकरण को एक-आयामी साधारण अंतर समीकरण में परिवर्तित करता है।

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

कोई भी मनमाने ढंग से लाई समूह (जरूरी नहीं कि संक्षिप्त) के एकात्मक प्रतिनिधित्व (सामान्य अनंत-आयामी में) का अध्ययन कर सकता है। उदाहरण के लिए, समूह SL(2,R) के प्रतिनिधित्व पोंकारे समूह के प्रतिनिधित्व के प्रतिनिधित्व सिद्धांत का अपेक्षाकृत सरल स्पष्ट विवरण देना संभव है।

वर्गीकरण

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

किसी भी संक्षिप्त लाइ समूह का लाई बीजगणित (बहुत मोटे तौर पर: एक जिसके लिए समरूपता बंधे हुए समुच्चय का निर्माण करती है) को एबेलियन लाई बीजगणित और कुछ सरल लोगों के प्रत्यक्ष योग के रूप में विघटित किया जा सकता है। एबेलियन लाइ बीजगणित की संरचना गणितीय रूप से निर्बाध है (चूंकि लाइ कोष्ठक समान रूप से शून्य है), ब्याज साधारण पद में है। इसलिए सवाल उठता है: संक्षिप्त समूहों के साधारण लाई समूह क्या हैं? यह पता चला है कि वे ज्यादातर चार अनंत श्रेणी में आते हैं, चिरसम्मत लाई बीजगणितA_n, B_n, C_n और D_n, जिनका यूक्लिडियन समष्टि की समरूपता के संदर्भ में सरल विवरण है। लेकिन केवल पांच असाधारण लाई बीजगणित भी हैं जो इनमें से किसी भी श्रेणी में नहीं आते हैं। E₈ इनमें से सबसे बड़ा है।

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

पहला मुख्य परिणाम लेवी अपघटन है, जो कहता है कि प्रत्येक सरलता से जुड़ा हुआ लाइ समूह साधनीय सामान्य उपसमूह और अर्धसरल उपसमूह का अर्ध-प्रत्यक्ष उत्पाद है।

• संयुक्तता संक्षिप्त लाई समूह सभी ज्ञात हैं: वे वृत्त समूह S¹ और सरल संक्षिप्त लाई समूह (जो जुड़े डायनकिन आरेखों के अनुरूप हैं) की प्रतियों के उत्पाद के परिमित केंद्रीय उद्धरण हैं।
• कोई भी आसानी से जुड़ा हुआ साधनीय लाइ समूह कुछ श्रेणी के उलटे ऊपरी त्रिकोणीय आव्यूह के समूह के बंद उपसमूह के लिए समरूपी है, और ऐसे समूह का कोई भी परिमित-आयामी अलघुकरणीय प्रतिनिधित्व 1-आयामी है। साधनीय समूह कुछ छोटे आयामों को छोड़कर वर्गीकृत करने के लिए बहुत अव्यव्स्थित हैं।
• कोई भी सरल रूप से जुड़ा हुआ निलपोटेंट लाइ समूह, किसी श्रेणी के विकर्ण पर 1 के साथ उल्टे ऊपरी त्रिकोणीय आव्यूह के समूह के एक बंद उपसमूह के लिए समरूपी है, और ऐसे समूह का कोई भी परिमित-आयामी अलघुकरणीय प्रतिनिधित्व 1-आयामी है। साधनीय समूहों की तरह, निलपोटेंट समूह कुछ छोटे आयामों को छोड़कर वर्गीकृत करने के लिए बहुत अव्यव्स्थित हैं।
• सरल लाई समूहों को कभी-कभी उन लोगों के रूप में परिभाषित किया जाता है जो अमूर्त समूहों के रूप में सरल होते हैं, और कभी-कभी साधारण लाई बीजगणित के साथ जुड़े लाई समूहों के रूप में परिभाषित होते हैं। उदाहरण के लिए, SL(2, R) दूसरी परिभाषा के अनुसार सरल है लेकिन पहली परिभाषा के अनुसार नहीं। उन सभी को वर्गीकृत किया गया है (या तो परिभाषा के लिए)।
• अर्धसरल लाई समूह होते हैं जिनका लाई बीजगणित सरल लाई बीजगणित का एक उत्पाद है। वे साधारण लाई समूहों के उत्पादों के केंद्रीय विस्तार हैं।

किसी भी लाई समूह का पहचान घटक खुला सामान्य उपसमूह है, और भागफल समूह असतत समूह है। किसी भी जुड़े लाई समूह का सार्वभौमिक आवरण सरल रूप से जुड़ा हुआ समूह है, और इसके विपरीत कोई भी जुड़ा हुआ समूह केंद्र के असतत सामान्य उपसमूह द्वारा बस जुड़े हुए समूह काअंश है। किसी भी लाई समूह G को विहित तरीके से असतत, सरल और एबेलियन समूहों में निम्नानुसार विघटित किया जा सकता है। लिखना

G_con पहचान के जुड़े घटक के लिए

G_sol सबसे बड़े जुड़े सामान्य साधनीय उपसमूह के लिए

G_nil सबसे बड़े जुड़े हुए सामान्य निलपोटेंट उपसमूह के लिए

ताकि हमारे पास सामान्य उपसमूहों का क्रम हो

1 ⊆ G_nil ⊆ G_sol ⊆ G_con ⊆ G.

फिर

G / G_con असतत है

G_con/G_sol सरल लाई समूहों की सूची के उत्पाद का समूह विस्तार है।

G_sol/G_nil एबेलियन है। जुड़ा एबेलियन लाइ समूह आर और वृत्त समूह S¹ की प्रतियों के उत्पाद के लिए समरूपी है^।

G_nil/1 शून्य है, और इसलिए इसकी आरोही केंद्रीय श्रृंखला में सभी भागफल एबेलियन हैं।

इसका उपयोग लाई समूहों के बारे में कुछ समस्याओं को कम करने के लिए किया जा सकता है (जैसे कि उनके एकात्मक प्रतिनिधित्व को खोजना) जुड़े हुए सरल समूहों और छोटे आयामों के शून्य और साधनीय उपसमूहों के लिए समान समस्याओं के लिए किया जा सकता है।

• लाई समूह का डिफियोमोर्फिज्म, लाई समूह पर सकर्मक रूप से कार्य करता है
• प्रत्येक लाई समूह समांतर है, और इसलिए ओरिएंटेबल मैनिफोल्ड (इसकी स्पर्शरेखा बंडल और पहचान पर स्पर्शरेखा समष्टि के साथ स्वयं के उत्पाद के बीच बंडल समरूपता है)

अनंत-आयामी लाई समूह

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

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

अध्ययन किए गए कुछ उदाहरणों में सम्मिलित हैं:

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

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

यह भी देखें

• लाई समूह का संयुक्त प्रतिनिधित्व
• हार उपाय
• सजातीय स्थान
• [लाई समूह विषयों की सूची]]
• लाई समूहों का प्रतिनिधित्व
• क्वांटम यांत्रिकी में समरूपता
• लाई बिंदु समरूपता, अंतर समीकरणों के अध्ययन के लिए लाई समूहों के आवेदन के बारे में।

संदर्भ

• Adams, John Frank (1969), Lectures on Lie Groups, Chicago Lectures in Mathematics, Chicago: Univ. of Chicago Press, ISBN 978-0-226-00527-0, MR 0252560.
• Bäuerle, G.G.A; de Kerf, E.A.; ten Kroode, A. P. E. (1997). A. van Groesen; E.M. de Jager (eds.). Finite and infinite dimensional Lie algebras and their application in physics. Studies in mathematical physics. Vol. 7. North-Holland. ISBN 978-0-444-82836-1 – via ScienceDirect.
• Borel, Armand (2001), Essays in the history of Lie groups and algebraic groups, History of Mathematics, vol. 21, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0288-5, MR 1847105
• Bourbaki, Nicolas, Elements of mathematics: Lie groups and Lie algebras. Chapters 1–3 ISBN 3-540-64242-0, Chapters 4–6 ISBN 3-540-42650-7, Chapters 7–9 ISBN 3-540-43405-4
• Chevalley, Claude (1946), Theory of Lie groups, Princeton: Princeton University Press, ISBN 978-0-691-04990-8.
• P. M. Cohn (1957) Lie Groups, Cambridge Tracts in Mathematical Physics.
• J. L. Coolidge (1940) A History of Geometrical Methods, pp 304–17, Oxford University Press (Dover Publications 2003).
• 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.
• Robert Gilmore (2008) Lie groups, physics, and geometry: an introduction for physicists, engineers and chemists, Cambridge University Press ISBN 9780521884006 doi:10.1017/CBO9780511791390.
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, doi:10.1007/978-3-319-13467-3, ISBN 978-3319134666.
• F. Reese Harvey (1990) Spinors and calibrations, Academic Press, ISBN 0-12-329650-1.
• Hawkins, Thomas (2000), Emergence of the theory of Lie groups, Sources and Studies in the History of Mathematics and Physical Sciences, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-1202-7, ISBN 978-0-387-98963-1, MR 1771134 Borel's review
• 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
• Knapp, Anthony W. (2002), Lie Groups Beyond an Introduction, Progress in Mathematics, vol. 140 (2nd ed.), Boston: Birkhäuser, ISBN 978-0-8176-4259-4.
• Kobayashi, Toshiyuki; Oshima, Toshio. (2005), Lie Groups and Representation Theory (in Japanese), Iwanami, ISBN 4-00-006142-9{{citation}}: CS1 maint: unrecognized language (link).
• Sophus Lie (1876), "Theorie der Transformations-Gruppen (I, II)", Archiv for Mathematik og Naturvidenskab, 1: 19–57, 152–193
• Nijenhuis, Albert (1959). "Review: Lie groups, by P. M. Cohn". Bulletin of the American Mathematical Society. 65 (6): 338–341. doi:10.1090/s0002-9904-1959-10358-x.
• Rossmann, Wulf (2001), Lie Groups: An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford University Press, ISBN 978-0-19-859683-7. The 2003 reprint corrects several typographical mistakes.
• Sattinger, David H.; Weaver, O. L. (1986). Lie groups and algebras with applications to physics, geometry, and mechanics. Springer-Verlag. doi:10.1007/978-1-4757-1910-9. ISBN 978-3-540-96240-3. MR 0835009.
• Serre, Jean-Pierre (1965), Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University, Lecture notes in mathematics, vol. 1500, Springer, ISBN 978-3-540-55008-2.
• Stillwell, John (2008). Naive Lie Theory. Undergraduate Texts in Mathematics. Springer. doi:10.1007/978-0-387-78214-0. ISBN 978-0387782140.
• Heldermann Verlag Journal of Lie Theory
• Warner, Frank W. (1983), Foundations of differentiable manifolds and Lie groups, Graduate Texts in Mathematics, vol. 94, New York Berlin Heidelberg: Springer-Verlag, doi:10.1007/978-1-4757-1799-0, ISBN 978-0-387-90894-6, MR 0722297
• Steeb, Willi-Hans (2007), Continuous Symmetries, Lie algebras, Differential Equations and Computer Algebra: second edition, World Scientific Publishing, doi:10.1142/6515, ISBN 978-981-270-809-0, MR 2382250.
• Lie Groups. Representation Theory and Symmetric Spaces Wolfgang Ziller, Vorlesung 2010

बाहरी संबंध

• File:Commons-logo.svg Media related to Lie groups at Wikimedia Commons