Lie cebiri

Matematikte, Lie cebiri (/ li ː /, değil / laɪ /) içinde sonsuzküçük dönüşümler kavramını incelemek için tanıtılan cebirsel yapılardır. 1930'larda Hermann Weyl'in önsözünde Lie cebiri terimi kullanildi(Sophus Lie anisina). Eski metinlerde "sonsuzküçük grubu" adı ile geçiyordu

Lie Cebri, matematikte ve fizikte geniş bir kullanım alanı bulur. Bir cismin üzerine bu dönüşüm ile tanımlanan yöney (vektör) uzayı Lie cebri olarak adlandırılır.Ve yine aslında Lie cebri doğrusal cebir(yani lineer cebir)dir İlgili matematiksel kavramlar Lie grupları ve türevlenebilir manifoldlar içerir.

Tanımlar

Bir Lie cebri ikili islemle birlikte bazı F alanlari üzerinde bir ${\displaystyle \,{\mathfrak {g}}}$ vektör uzayıdır ve ${\displaystyle [\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}}$ Lie braketi olarak adlandırılır ve F içindeki bütün a, b ve bütün skalerler ve ${\displaystyle {\mathfrak {g}}}$ içindeki x, y, z elemanları için aşağıdaki aksiyomları sağlar:

• çifte doğrusal (bilineer),

${\displaystyle [ax+by,z]=a[x,z]+b[y,z],\quad [z,ax+by]=a[z,x]+b[z,y]}$

• dalgalı ${\displaystyle \,{\mathfrak {g}}}$ üstünde ${\displaystyle {\mathfrak {g}}}$ içindeki bütün x lar için:

${\displaystyle [x,x]=0\ }$

• Jacobi özdeşliği:

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

olarak verilir.

çiftdoğrusallık ve alternatif özelliklerinin karşıt değişmelilik özelliğini işaret ettiği unutulmamalıdır. ${\displaystyle {\mathfrak {g}}}$'nin bütün x, y elemanları için ${\displaystyle [x,y]=-[y,x]\,}$ ve karakteristik 2 değilse karşıtdeğişmelilik alanı alternatifligi isaret eder.^[1]

Bu ${\displaystyle {\mathfrak {g}}}$ gibi bir küçük harf fraktürü ile Lie cebirini ifade etmek gelenektir. Bir Lie cebri ile iliskili Lie grubu yazımı aynıdır. örneğin,Lie cebiri SU(''n'')

${\displaystyle {\mathfrak {su}}(n)}$ olarak yazılabilir.

Üreteçler ve boyut

Eğerki ${\displaystyle {\mathfrak {g}}}$ dahilindeki en küçük alt cebiri Lie cebirinin kendisi ise,Lie cebrinin üreteçlerinin bir ${\displaystyle {\mathfrak {g}}}$ Lie cebrinin ögelerinin koleksiyonu olduğu söylenir,bir Lie cebrinin boyutu ise basitçe F üzerinde bir vektör uzayıdır . En az bir üretecin boyutunun her zaman daha az ya da eşit bir boyut olduğuna dikkat edin.

Homomorfizmalar, alt cebirler ve idealler

Lie braketi genel olarak birleşimli islem değil, yani bunun ${\displaystyle [[x,y],z]}$ nin ${\displaystyle [x,[y,z]]}$'e eşit olması gerekmez.Bununla birlikte,terminolojide birçok çok birleşme teorisi geliştirilmiştir ki halkalar veya birleşimli cebirlerde yaygın olarak Lie cebri uygulanır. Bir alt uzayı ${\displaystyle {\mathfrak {h}}\subseteq {\mathfrak {g}}}$ bir Lie alt cebiri Lie braketi altında kapalıdır denir. Eğer bir alt uzay ${\displaystyle I\subseteq {\mathfrak {g}}}$ daha güçlü bir koşula uygun ise

${\displaystyle [{\mathfrak {g}},I]\subseteq I,}$

I Lie cebri ${\displaystyle {\mathfrak {g}}}$^[2]'nde ideal olarak adlandırılır.Degismelisi aynı şekilde sıfır olmayan bir Lie cebiri ve hiçbir idealleri yoksa yalın denir.Aralarında bir homomorfizma olan iki Lie cebiri için (aynı alan tabanı üzerinden) degismelisi ile uyumlu bir doğrusal gönderim:

${\displaystyle f:{\mathfrak {g}}\to {\mathfrak {g'}},\quad f([x,y])=[f(x),f(y)],}$

${\displaystyle {\mathfrak {g}}}$ bütün x ve y elementleri içindir ve birleşimli halkaların,ideallerin teorisi içinde homomorfizmaların(eşyapıların) tam da özüdür, verilen bir ${\displaystyle {\mathfrak {g}}}$ Lie cebri ve içindeki I ideali üzerinde bir yapı ${\displaystyle {\mathfrak {g}}/I}$ faktör cebridir ve Lie cebri için ilk izomorfizm teoremidir.

Diyelimki S ,${\displaystyle {\mathfrak {g}}}$ nin alt kümesi olsun. x elemanlarının kümesi böylece S formlarınin biralt cebri içindeki tüm s ler için ${\displaystyle [x,s]=0}$ S in merkezleyici dir. ${\displaystyle {\mathfrak {g}}}$ nin merkezleyeni ${\displaystyle {\mathfrak {g}}}$'in kendi merkezidir. Merkezleyenlere benzer sekilde, eğer S bir alt uzay ise,^[3] o zaman x kümesi ${\displaystyle [x,s]}$ gibi S formunun bir alt cebri ise tüm s ler S in normalizeri olarak adlandırılır.

Direk toplam ve indirek çarpım

iki Lie cebri ${\displaystyle {\mathfrak {g}}}$ ve ${\displaystyle {\mathfrak {g'}}}$ verilsin burada direk toplam I :${\displaystyle {\mathfrak {g}}\oplus {\mathfrak {g'}}}$ Lie vektör uzayı bir Lie cebri oluşturur. ${\displaystyle {\mathfrak {}}(x,x'),\,x\in {\mathfrak {g}},x'\in {\mathfrak {g'}}}$ çifti ile birlikte operasyon;

${\displaystyle [(x,x'),(y,y')]=([x,y],[x',y']),\quad x,y\in {\mathfrak {g}},\,x',y'\in {\mathfrak {g'}}.}$

Diyelimki ${\displaystyle {\mathfrak {g}}}$ bir Lie cebri olsun ve ${\displaystyle {\mathfrak {i}}}$ idealdir. Eger kurallı gönderim ${\displaystyle {\mathfrak {g}}\to {\mathfrak {g}}/{\mathfrak {i}}}$ bölümü (i.e., admits a section), ise ${\displaystyle {\mathfrak {g}}}$ ${\displaystyle {\mathfrak {i}}}$ ìn bir yarıdirek çarpımi ve ${\displaystyle {\mathfrak {g}}/{\mathfrak {i}}}$, ${\displaystyle {\mathfrak {g}}={\mathfrak {g}}/{\mathfrak {i}}\ltimes {\mathfrak {i}}}$ oldugu söylenir.

Levi teoremi sonlu-boyutlu bir Lie cebri kökünün bir yarı dogrusal çarpımıdır ve tamamlayici alt cebridir der. (Levi altcebri).

Örnekler

Vektör uzayları

• Herhangi bir V vektör uzayı sıfır Lie braket'ine özdeş olan bir Lie cebri ile donatilir.Bunun gibi Lie cebri abeliyen dir.Lie braket'inin antisimetrisi ile bir alan üzerindeki herhangi tek-boyutlu Lie cebri abeliyendir.
• Bütün gerçel vektör uzayların n × n çarpık-hermisyen matrisleri bir gerçel Lie cebri ${\displaystyle {\mathfrak {u}}(n)}$ ile ifade edilen formlar ve komutatörler altinda kapalıdır Bu  U(n) üniter grup'un Lie cebridir

Altuzaylar

• sıfırın iz matrislerinin olusturdugu ${\displaystyle {\mathfrak {gl}}_{n}(F)}$ Genel doğrusal Lie cebirinin altuzayı,^[4]${\displaystyle {\mathfrak {sl}}_{n}(F)}$ Özel doğrusal Lie cebiri olarak ifade edilen bir alt cebirdir.

Gerçel matris grubu

• Herhangi Lie grubu G gerçel Lie cebri ${\displaystyle {\mathfrak {g}}={\mbox{Lie}}(G)}$ ile bir ilişki tanımlar.Genel olarak tanımı biraz tekniktir,ama bu gerçel matris grup'larının durumu içinde,üstel gönderim yoluyla formüle edilebilir, veya bu üstel matristir. Lie cebri ${\displaystyle {\mathfrak {g}}}$ bu matrislerden oluşmaktadır,∀ t gerçel sayıları ${\displaystyle \exp(tX)\in G\,}$ için böyle X matrislerinin oluşturduğu Lie cebridir

${\displaystyle {\mathfrak {g}}}$'nin Lie braketi matrislerin degismelisi tarafından verilir. Somut bir örnek olarak,özel Lie grupları SL(n,R)oluşturmaktadır, bütün n × n matrislerin oluşumu ile gerçel girişler ve determinant 1. Bu bir Lie grubu matristir, ve bu bütün n × n matrislerinin Lie cebridir ve gerçek giriş ile iz 0'dır.

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

Bu Lie cebri M 'in difeomorfizm'inin yalancı grubu ile ilişkilidir.

üç boyutlu

• Bir üç-boyutlu Lie cebri vektörlerin çapraz çarpımı tarafından verilen Lie braketi ile elde edilen üç-boyutlu Öklid uzayı R³tür
• Heisenberg cebri H₃(R) bir üç-boyutlu Lie cebri x, y ve z elemanları tarafından Lie braketleri ile üretilir

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

Bu açıkça sergilemektedir ki 3×3 kesinlikle üst üçgen matrislerin uzayı olarak,degismeli matris tarafından verilen Lie braketi ile:

${\displaystyle 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 }$

• kuantum mekaniğinin açısal momentum operator bileşenleri x, y, ve z arasındaki komutasyon ilişkisi bir kompleks üç-boyutlu Lie cebri formunun bir gösterimidir, Bu üç-boyutlu dönüş grubu bu yüzden(3)Lie cebrinin kompleksifikasyon'udur:

${\displaystyle [L_{x},L_{y}]=i\hbar L_{z}}$

${\displaystyle [L_{y},L_{z}]=i\hbar L_{x}}$

${\displaystyle [L_{z},L_{x}]=i\hbar L_{y}}$

Sonsuz boyutlar

Sonsuz boyutlu gerçek bir Lie cebirlerinin önemli bir sınıfı diferansiyel topolojisinde ortaya çıkar. Bir diferansiyellenebilir manifold M ile İlgili düzgün vektör alanının uzayı, bir Lie cebri oluşturur Lie braketi vektör alanının degismelisi olarak tanımlanır burada Lie braketi ifade etmenin bir yolu Lie türevleri'nin formalizmi yoluyladırki L_X inX yönünde fonksiyonu f yönlü türevi sağlayarak düzgün fonksiyonları üzerinde etkili bir birinci dereceden kısmi diferansiyel operatör L_X(f) ile bir vektör alanı X tanımlar;Lie braketi [X,Y] iki vektör alanı aşağıdaki formül ile fonksiyonlar üzerindeki etkisi aracılığıyla tanımlanan vektör alanıdır:

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

• Bir Kac-Moody cebiri sonsuz boyutlu Lie cebri bir örnektir.
• Moyal cebri tüm klasik Lie cebri içeren sonsuz boyutlu Lie cebirleri olarak alt cebirleridir.

Yapı teorisi ve sınıflandırma

Lie cebiri bir ölçüde sınıflandırılabilir. Özellikle, bu Lie gruplarının sınıflandırılması için bir uygulama vardır..

Değişmeli,nilpotent ve çözülebilirlik

Benzer şekilde değişmeli, nilpotent elde edilen alt grupları açısından tanımlanan çözülebilir gruplar, için, bir, değişmeli sıfırın-gücü ve çözülebilir Lie cebiri tanımlayabilirsiniz Bir Lie cebiri ${\displaystyle {\mathfrak {g}}}$ abeliandir. Lie braketi yok olur ise,tüm x ve y için ${\displaystyle {\mathfrak {g}}}$ içindeki yani [x,y] = 0,Değişmeli Lie cebiri değişmeli karşılık gelir (veya değişmeli) Bu vektör uzayları gibi bağlı Lie grupları ${\displaystyle K^{n}}$ veya tori ${\displaystyle T^{n},}$ ve formun tümü vardır ${\displaystyle {\mathfrak {k}}^{n},}$ bir anlamı n-önemsiz bir Lie braketi boyutlu vektör uzayıdır Lie Cebirlerin daha genel bir sınıfı verilen tüm verilen uzunluğun degismelilerin kaybolması ile tanımlanır. Bir Lie cebiri.${\displaystyle {\mathfrak {g}}}$ nilpotent Lie cebiridir,eğer Düşük Merkez serisi ise

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

eninde sonunda sıfır olur. Engel teoremi tarafından,Bir Lie cebri ancak ve ancak tüm u için ise üstel-sıfırdır. ${\displaystyle {\mathfrak {g}}}$ içinde eşlenik endomorfizmadır.

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

nilpotenttir.

Daha genel olarak hala,bir Lie cebrinin ${\displaystyle {\mathfrak {g}}}$ olduğu söylenir çözülebilir elde serisi: eğer

${\displaystyle {\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 }$

ise eninde sonunda sıfır olur.

Her sonlu boyutlu Lie cebri benzersiz bir maksimal çözülebilir idealdir,kök olarak adlandırılır. Lie yazışmaları altında,sıfırın-gücüne (sırasıyla çözülebilir) bağlı Lie grupları için(sırasıyla,çözülebilir) sıfırın-gücüne karşılık Lie cebiri gelmektedir

Basit ve yarıbasit

Kendisinin önemsiz olmayan idealleri var ve değişmeli değilse bir Lie cebiri "basit"tir bir Lie cebiri ${\displaystyle {\mathfrak {g}}}$ radikali sıfır ise yarıyalın denir.Herhangi sıfır olmayan değişmeli idealler içermiyorsa eşdeğeri ${\displaystyle {\mathfrak {g}}}$ yarıyalın olur. Özellikle, basit bir Lie cebiri yarıyalındır.Tersine, herhangi yarıyalın Lie cebirinin kuralli basit Lie cebirlerinin minimal ideallerin direkt toplamı olduğu ispat edilebilir.Lie cebiri için yarıyalınlık kavramı temsillerinin tam indirgenemezliği ile yakından ilgilidir.F alanında taban karakteristik sıfır olduğunda,herhangi bir yarıyalın Lie cebirinin sonlu-boyutlu gösterimleri (indirgenemez temsilleri, yani doğrudan toplam.) yarıyalın olur.Ek temsili yari basit ise genel olarak, bir Lie cebiri indirgeyici denir.Böylece,yarıyalın Lie cebiri indirgeyicidir.

Cartan ölçütü

Bir Lie cebiri Cartan's ölçütü koşullarını vermesi için nilpotent, çözünebilir, ve yarı basit olmalıdır. Killing formu, nun gösterim tabanı simetrik çiftdoğrusal form olarak ${\displaystyle {\mathfrak {g}}}$ şu formulle tanımlanır

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

burada tr bir doğrusal operatörün izi ifadesidir. Bir Lie cebri ${\displaystyle {\mathfrak {g}}}$ ancak va ancak Killing formu dejenere olmayan ise yarı basittir. Bir Lie cebri ${\displaystyle {\mathfrak {g}}}$ ancak ve ancak ${\displaystyle K({\mathfrak {g}},[{\mathfrak {g}},{\mathfrak {g}}])=0.}$ ise çözünebilirdir

Sınıflandırma

Levi bozunumu keyfi bir Lie cebri olarak çözünebilir kök ve bir yarıyalın Lie cebirinde yarıdoğrusal toplamı anlatırken kullanılır, Neredeyse kurallı bir şekilde. Ayrıca, bir cebirsel kapalı bir alan üzerinde yarıbasit Lie cebiri tamamen kendi kök sistemi ile sınıflandırılmıştır. Ancak, çözülebilir Lie cebiri sınıflandırma 'vahşi' bir sorundur, ve genel olarak başarılı olmaz.

Lie gruplarıyla ilişkisi

Lie cebri sıklıkla kendi başına bir çalışma olsa da tarihsel olarak Lie gruplarını incelemek için bir araç olarak ortaya çıkmıştır a Lie'nin temel teoremleri Lie grupları ve Lie cebri arasında bir ilişki tanımlar. özel olarak, herhangi bir Lie grubu bir kurallı belirlenen Lie cebrine yol açar (somut olarak, tanjant uzayına eş olarak); ve, tersine, herhangi Lie cebri için burada Lie grup (Lie'nin üçüncü teoremi bağlantısına karşılık gelir; bakınız Baker–Campbell–Hausdorff formülü). Bu Lie grubu belirlenemeyen eşitsizliktir; bununla beraber, herhangi iki Lie grubu bağlantısı ile aynı Lie cebri yerel izomorfiktir, ve özel olarak, aynı evrensel örtü var. örneğin, özel ortogonal grup SO(3) ve özel birimsel grup SU(2) aynı Lie cebrine yol açar, bu R³ ye çapraz-çarpım ile izomorfiktir , oysaki SU(2) SO(3)ün bir sade-bağlanmış ikikat örtüktür. Bir Lie grubu göz önüne alındığında, bir Lie cebiri eş haritasının diferansiyeli ile kimliğe tanjant uzay donatarak, ya da örneklerde belirtildiği gibi sol-değişmeyen vektör alanları dikkate alınarak,bunlar ilişkilendirilebilir. Gerçek matris grupları durumunda, Lie cebiri ${\displaystyle {\mathfrak {g}}.}$ bu matrisler oluşur exp Üstel tüm reel sayılar t için "X ki exp (tX) ∈ G için". Lie gruplarına tekabül eden Lie cebirinin bazı örnekler şunlardır:

• Lie cebiri ${\displaystyle {\mathfrak {gl}}_{n}(\mathbb {C} )}$ grubu için ${\displaystyle \mathrm {GL} _{n}(\mathbb {C} )}$ karmaşık n×n matris cebir
• Lie cebiri ${\displaystyle {\mathfrak {sl}}_{n}(\mathbb {C} )}$ grubu için ${\displaystyle \mathrm {SL} _{n}(\mathbb {C} )}$ karmaşık cebir n×n izi 0 olan matrisler olduğunu
• Lie cebiri ${\displaystyle {\mathfrak {o}}(n)}$ grubu için ${\displaystyle \mathrm {O} (n)}$ ve ${\displaystyle {\mathfrak {so}}(n)}$ için ${\displaystyle \mathrm {SO} (n)}$ hem de gerçek bir anti-simetrik n×n matris cebir (bkz Antisimetrik matrisi:Sonsuz dönmeler
• Lie cebiri ${\displaystyle {\mathfrak {u}}(n)}$ grubu için ${\displaystyle \mathrm {U} (n)}$ çarpık-Hermityen kompleksi n×n matrislerinin çarpık—Hermitianın cebridir

Lie cebiri "${\displaystyle {\mathfrak {su}}(n)}$ için ${\displaystyle \mathrm {SU} (n)}$" çarpık-Hermitsel, iz bırakmadan karmaşık n×n cebir" için ". Yukarıdaki örneklerde, Lie [X, Y] (${\displaystyle X}$ ve Lie cebir ${\displaystyle Y}$ matrisler için),${\displaystyle [X,Y]=XY-YX}$. olarak tanımlanır. verilen bir T^a üreteçlerin kümesi,yani, [T^a, T^b] = f ^abc T^c kümeden üreteçlerin doğrusal bileşimleri olarak üreteçlerin çiftinin Lie braketleri yapı sabitleri f ^abc ifadesidir.Lie cebrinin ögelerinin Lie braketleri yapı sabitlerini belirler, ve sonuç olarak neredeyse tamamen Lie grubun grup yapısı belirlenir. Lie grup yapısının yakın özdeş öge Baker–Campbell–Hausdorff formülü ile açıkça gösterilir,Lie cebri ögeleri içinde bir açılım X, Y ve burada Lie braketleri, tek bir üs içinde bir arada iç içe, exp(tX) exp(tY) = exp(tX+tY+½ t²[X,Y] + O(t³) )dir.

Lie cebirine Lie gruplarından gönderme funktöriyeldir, bu Lie cebirlerinin homomorfizmine yükseltilen Lie gruplarının homomorfizmini ima eder , ve çeşitli özellikleri bu yükseltme ile uygundur: bunun bileşim ile sırabağımszlığı, bunun Lie altgrupları göndermeleri, çekirdekleri,Lie alt gruplarına Lie gruplarının bölümleri ve eşçekirdekleri , çekirdekleri,Lie cebirlerinin bölümleri ve eşçekirdekleri, sıralanır.

funktor L bu alınan bu Lie cebrine her Lie grupları ve bu diferansiyele her homomorfizm bağlı ve tamdır. Bu is bununla birlikte bir kategorilerin eşdeğeri değildir: different Lie grupları izomorfik Lie cebirleri olabilir (örneğin SO(3)ve SU(2) ), ve burada (sonsuz boyutlu) bu Lie cebirleri herhangi Lie grupları ile ilişkili değildir.^[5]

Bununla birlikte, eğer Lie cebri ${\displaystyle {\mathfrak {g}}}$ sonlu-boyutlu ve bu bir basit bağlantılı Lie grubuna bağlantılanabilir Lie cebiri olarak ${\displaystyle {\mathfrak {g}}}$ var. Daha kesin bir ifadeyle,Lie cebiri funktor L has bir sol eşlenik funktor Γ Lie gruplarına sonlu-boyutlu (gerçek) Lie cebirinden,Lie grupları basit bağlantılarının tam altkategorileri aracılığı ile bölümleme var.^[6] In other words, there is a natural isomorphism of bifunctors

${\displaystyle \mathrm {Hom} (\Gamma ({\mathfrak {g}}),H)\cong \mathrm {Hom} ({\mathfrak {g}},\mathrm {L} (H)).}$

Eklenti ${\displaystyle {\mathfrak {g}}\rightarrow \mathrm {L} (\Gamma ({\mathfrak {g}}))}$ ( ${\displaystyle \Gamma ({\mathfrak {g}})}$ üzerinde özdeşine karşılık) bir isomorfizmdir ve diğer eklenti ${\displaystyle \Gamma (\mathrm {L} (H))\rightarrow H}$ H 'ya H 'nın özdeş bileşenlerinin evrensel örtük gruplarından izdüşüm homomorfizmidir. Bu hemen aşağıda bu eğer G , ise Lie cebri funktorü bir örten Lie group homomorfizmleri G→H ve Lie cebiri homomorfizmleri L(G)→L(H) ne karşılık basit bağlantı kurar.

Evrensel örtük grup yukarıda üstel gönderme altında Lie cebirinin görüntüsü olarak inşa edilebilir. daha genel ,elimizde bu Lie cebirine özdeşin bir yakın komşuluğuna homomorfik vardır. fakat küresel olarak şu durumlarda, eğer Lie grubu sıkı ve üstel birebir olamayacak,ve eğer Lie grubu bağlantılı değil, basit bağlantılı veya sıkı, üstel gönderme örten olması gerekmez.

Eğer Lie cebiri sonsuz-boyutlu,ise sorun daha hassastır. Birçok durumda, üstel gönderme hatta yerel bir homoorfizm değildir (örneğin Diff(S¹ içinde),bu özdeşe keyfi yakınlıkta bulunabilen tek difeomorfizm üstelin görüntüsü içinde değildir). Ayrıca, bazı sonsuz-boyutlu Lie cebirleri herhangi grupun Lie cebiri değildir.

Lie cebiri ve Lie grupları arasında iletişim birkaç yol içinde kullanılıyor,Lie gruplarının sınıflandırılması içinde yer alır ve Lie gruplarının gösterim teorisinin maddesiyle ilişkilidir.Bağlantı karşılığının bir gösterimine eşsiz yükseltilen bir Lie cebirinin her gösterimi, basit bağlantılı Lie grupları, ve Lie cebiri gruplarının herhangi bir Lie grubunun tersine her gösterimini uyarır ; gösterim birebir karşılığı içindedir.Bunun için, Lie grupların gösteriminin sorgusu çerçevesinde bir Lie cebirinin gösterimi biliniyor .

sınıflandırmak için,verilen bir Lie cebiri ile herhangi bağlantılı Lie grupları gösterilebilen evrensel örtük mod bir ayrık merkez altgruba izomorfiktir.merkezin ayrık altgrubu sayımının basit bir maddesi alınarak Lie grupları böylece sınıflandırılıyor, Lie cebirinin ilk kez sınıflandırması biliniyor(Cartan ve diğerleri tarafından yarıbasit durumu içinde çözüldü).

Kategori-teoretik tanım

Bir Lie cebri kategori teori dili kullanılarak Vec_k içinde bir A nesnesi olarak,karakteristigi 2 olmayan,bir k alan üzerinde vektör uzaylarinin kategorisi bir morfizm [.,.]: A ⊗ A → A ile birlikte tanimlanabilir, burada ⊗ isareti Vec_k nin monoidal çarpimidir. böylece;

• ${\displaystyle [\cdot ,\cdot ]\circ (\mathrm {id} +\tau _{A,A})=0}$
• ${\displaystyle [\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes \mathrm {id} )\circ (\mathrm {id} +\sigma +\sigma ^{2})=0}$

burada τ (a ⊗ b) := b ⊗ a ve σ (id ⊗ τ_A,A) ° (τ_A,A ⊗ id) örgüsü dönel permütasyondur ve diyagram formu:

Ayrıca bakınız

• Bir Lie cebrinin ek temsili
• Anyonik Lie cebiri
• Diferansiyel dereceli Lie cebri
• Bir Lie cebrinin indisi
• Killing formu
• Lie cebri kohomolojisi
• Lie cebri gösterimi
• Lie bicebri
• Lie eşcebri
• Parçacık fiziği ve temsil teorisi
• Grup teorisinin Sözlüğü
• Lie süpercebri
• Matris (matematik)
• Poisson cebri
• Kuantum grupları
• Moyal cebri
• Kuazi-Frobenius Lie cebiri
• Kuazi-Lie cebiri
• Kısıtlanmış Lie cebiri
• Simetrik Lie cebiri

Notlar

1. Humpfreys p. 1
2. Due to the anticommutativity of the commutator, the notions of a left and right ideal in a Lie algebra coincide.
3. Jacobson 1962, pg. 28
4. Humphreys p.2
5. Beltita 2005, pg. 75
6. Adjoint property is discussed in more general context in Hofman & Morris (2007) (e.g., page 130) but is a straightforward consequence of, e.g., Bourbaki (1989) Theorem 1 of page 305 and Theorem 3 of page 310.

Kaynakça

• Boza, Luis; Fedriani, Eugenio M. & Núñez, Juan. A new method for classifying complex filiform Lie algebras, Applied Mathematics and Computation, 121 (2-3): 169–175, 2001
• Bourbaki, Nicolas. "Lie Groups and Lie Algebras - Chapters 1-3", Springer, 1989, ISBN 3-540-64242-0
• Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0
• Hall, Brian C. Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer, 2003. ISBN 0-387-40122-9
• Hofman, Karl & Morris, Sidney. "The Lie Theory of Connected Pro-Lie Groups", European Mathematical Society, 2007, ISBN 978-3-03719-032-6
• Humphreys, James E. Introduction to Lie Algebras and Representation Theory, Second printing, revised. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1978. ISBN 0-387-90053-5
• Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4
• Kac, Victor G. et al. Course notes for MIT 18.745: Introduction to Lie Algebras, math.mit.edu
• O'Connor, J.J. & Robertson, E.F. Biography of Sophus Lie, MacTutor History of Mathematics Archive, www-history.mcs.st-andrews.ac.uk
• O'Connor, J.J. & Robertson, E.F. Biography of Wilhelm Killing, MacTutor History of Mathematics Archive, www-history.mcs.st-andrews.ac.uk
• Serre, Jean-Pierre. "Lie Algebras and Lie Groups", 2nd edition, Springer, 2006. ISBN 3-540-55008-9
• Steeb, W.-H. Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra, second edition, World Scientific, 2007, ISBN 978-981-270-809-0
• Varadarajan, V.S. Lie Groups, Lie Algebras, and Their Representations, 1st edition, Springer, 2004. ISBN 0-387-90969-9