Алгебра Лі
У математиці алгебра Лі — це векторний простір разом із операцією, яку називають дужкою Лі — антисиметричне білінійне відображення[en] , , що задовольняє тотожність Якобі.[a] Векторний простір з цією операцією не обов'язково є асоціативною алгеброю, тобто, дужка Лі не є обов'язково асоціативною.
Алгебри Лі тісно пов'язані з групами Лі, тобто групами, що також є гладкими многовидами: будь-якій групі Лі відповідає алгебра Лі, яка є її дотичним простором в одиниці. І навпаки, для будь-якої скінченновимірної алгебри Лі над дійсним або комплексним полем існує відповідна зв'язна група Лі, єдина з точністю до скінченних накриттів (третя теорема Лі[en]). Ця відповідність[en] дозволяє звести дослідження структури та класифікацію груп Лі відповідно до дослідження структури та класифікації алгебр Лі.
У фізиці групи Лі виникають як групи симетрії фізичних систем, а їх алгебри Лі можна розглядати як інфінітезимальні перетворення[en] симетрії з околу одиничного перетворення. Загалом, алгебри Лі та їх представлення широко використовуються у фізиці, зокрема в квантовій механіці та фізиці елементарних частинок.
Елементарним прикладом є тривимірний векторний простір з дужкою, визначеною як векторний добуток . Вона є антисиметричною, оскільки , і задовольняє тотожність Якобі:
Це алгебра Лі групи Лі обертань простору і кожен вектор може бути зображений як інфінітезимальний поворот навколо осі співнапрямленої з зі швидкістю, що дорівнює довжині . Також будь-який поворот комутує сам із собою, тому справедлива властивість альтернативності: . Значення дужки Лі двох поворотів рівне нулю тоді й лише тоді, коли такі повороти комутують. Тому говорять, що дужка Лі є мірою некомутативності поворотів.
Історія
ред.Алгебри Лі були запропоновані при дослідженні концепції інфінітезимальних перетворень[en] Маріусом Софусом Лі в 70-х роках XIX століття[1] і незалежно перевідкриті Вільгельмом Кіллінгом[en][2] у 1880-х рр. Назва алгебра Лі була введена Германом Вейлем у 1930-х рр.; до цього використовувався термін інфінітезимальної групи.
Означення
ред.Означення алгебри Лі
ред.Алгебра Лі — це векторний простір над деяким полем разом із бінарною операцією , яка називається дужкою Лі, що задовольняє наступним аксіомам:[b]
- для всіх скалярів , з поля і всіх елементів , , з алгебри .
- для всіх з алгебри .
- для всіх , , з алгебри .
З використанням властивостей білінійності та альтернативності дужку Лі можна записати як для всіх елементів , з алгебри . Таким чином, з білінійності та альтернативності випливає
- для всіх елементів , з алгебри .
Якщо характеристика поля не дорівнює 2, то з антикомутативності випливає альтернативність, оскільки .[3]
Алгебру Лі, як правило, позначають малими готичними літерами (фрактурами), наприклад, , , , . Якщо алгебра Лі пов'язана з групою Лі, то алгебра Лі позначається малими готичними літерами, що відповідають позначенням групи Лі, наприклад алгебра Лі групи Лі позначається як .
Генератори та розмірність
ред.Кажуть, що елементи алгебри Лі породжують[en] її, якщо вони утворюють найменшу підалгебру, яка містить ці елементи і співпадає з самою алгеброю . Розмірність алгебри Лі — це її розмірність як векторного простору над полем . Кардинальне число мінімальної породжувальної множини алгебри Лі завжди менша або дорівнює її розмірності.
Дивись класифікацію низькорозмірних дійсних алгебр Лі[en] для інших прикладів низькорозмірних алгебр Лі.
Підалгебри, ідеали та гомоморфізми
ред.Дужка Лі не обов’язково має бути асоціативною, тобто може і не дорівнювати . Однак, дужка Лі гнучка[en]. Тим не менш, значна частина термінології асоціативних кілець і алгебр зазвичай використовується в алгебрах Лі. Підалгебра Лі — підпростір , замкнений відносно дужки Лі. Ідеал — підалгебра, що задовольняє сильнішу умову:[4]
Гомоморфізм алгебр Лі — це лінійне відображення базових векторних просторів, що узгоджене з відповідними дужками Лі:
для всіх . У випадку асоціативних кілець ядра гомоморфізмів є ідеалами. Також для заданої алгебри Лі та ідеалу в ній можна побудувати фактор-алгебру . Оскільки ядра гомоморфізмів є ідеалами, то для алгебр Лі має місце перша теорема про ізоморфізм.
Дужка Лі є різновидом інфінітезимального комутатора відповідної групи Лі, а тому два елементи називають комутуючими, якщо їх дужка Лі дорівнює 0: .
Централізатор підмножини — це множина комутуючих елементів з : тобто, . Централізатор є центром алгебри . Аналогічно, для підпростору нормалізатором множини є .[5] Еквівалентно, якщо є підалгеброю Лі, то — це найбільша підалгебра така, що є ідеалом нормалізатора .
Приклади
ред.Розглянемо векторний простір матриць розміру з елементами з поля , . Комутатором двох матриць будемо називати матрицю , де позначає звичайний добуток матриць. Простір разом із комутатором утворює алгебру Лі.
Нехай є підмножиною , яка складається з діагональних матриць. Ця множина сама по собі є векторним підпростором простору і вона замкнена відносно комутатора, а значить є підалгеброю Лі . Комутатор двох елементів і має вигляд:
Отже, — підалгебра, але не ідеал. По суті, кожний одновимірний лінійний підпростір алгебри Лі має індуковану структуру абелевої алгебри Лі, яка у загальному випадку не є ідеалом. Для будь-якої простої алгебри Лі, усі її абелеві підалгебри Лі ніколи не є ідеалами.
Пряма сума та напівпрямий добуток
ред.Для двох алгебр Лі і їх пряма сума — векторний простір , що складається з усіх пар , , , з операцією
такою, що копії , комутують одна з одною: . Нехай — алгебра Лі, а — ідеал алгебри Лі . Якщо канонічне відображення розщеплюється (тобто допускає переріз), то алгебра називається напівпрямим добутком ідеалу і його доповнення, яке ізоморфне фактор-алгебрі ; записується як , де Дивись також параграф "Напівпряма сума алгебр Лі" нижче.
Згідно теореми Леві[en], скінченновимірна алгебра Лі є напівпрямим добутком її радикала і доповняльної підалгебри (підлгебра Леві[en]).
Диференціювання
ред.Диференціюванням в алгебрі Лі (або в будь-якій неасоціативній алгебрі[en] називається лінійне відображення , що задовольняє правилу Лейбніца, тобто,
для всіх . Внутрішнім диференціюванням, що пов'язане з будь-яким , є приєднане відображення , яке визначається наступним чином: . (Це диференціювання — наслідок тотожності Якобі). Зовнішні диференціювання — це диференціювання, які не можна отримати з приєднаного представлення алгебри Лі. Якщо алгебра — напівпроста, то всі диференціювання є внутрішніми.
Диференціювання утворюють векторний простір , який є підалгеброю алгебри , де дужка Лі — комутатор. Внутрішні диференціювання утворюють підалгебру алгебри .
Приклади
ред.Наприклад, на заданому ідеалі алгебри Лі приєднане представлення алгебри , де , діє як зовнішні диференціювання на ідеалі , оскільки для будь-якого і Ідеалом алгебри Лі верхньотрикутних матриць в є алгебра строго верхньотрикутних матриць (де ненульові елементи знаходяться лише вище діагоналі матриці). Оскільки комутатор довільних елементів з і дає
то звідси випливає, що існують внутрішні диференціювання алгебри , які є зовнішніми диференціюваннями алгебри
Розщеплені алгебри Лі
ред.Нехай — скінченновимірний векторний простір над полем , — алгебра Лі лінійних перетворень, — підалгебра Лі. Тоді алгебра Лі називається розщепленою, якщо корені характеристичних поліномів усіх лінійних перетворень в алгебрі належать базовому полю .[6] У загальному випадку, скінченновимірна алгебра Лі називається розщепленою, якщо вона має підалгебру Картана, образ якої при приєднаному представленні є розщепленою алгеброю Лі. Розщеплена дійсна форма[en] комплексної напівпростої алгебри Лі (див. "Дійсна форма і комплексифікація" нижче) є прикладом розщепленої дійсної алгебри Лі. Дивись також статтю про розщеплені алгебри Лі[en] для додаткової інформації.
Базис векторного простору
ред.Для практичних обчислень пов'язаних із алгебрами Лі часто зручно вибирати явний базис векторного простору. Загальна конструкція для цього базису схематично описана в статті про структурні сталі[en].
Означення у рамках теоретико-категорного підходу
ред.Наведених вище означень достатньо для загальноприйнятого розуміння алгебр Лі. Але розгляд у формалізмі теорії категорій дозволяє детальніше дослідити властивості алгебр Лі. В рамках цього підходу алгебра Лі визначається в термінах лінійних відображень, тобто морфізмів категорії векторних просторів[en], без розгляду окремих елементів. (У цьому параграфі вважаємо, що поле, над яким визначається алгебра, має характеристику не рівну двом).
Для теоретико-категоріального означення алгебр Лі необхідні два завузлені ізоморфізми. Якщо — це векторний простір, то ізоморфізм перестановки визначається як
Циклічно-переставне завузлене відображення визначається як
де — тотожний морфізм. Еквівалентно, визначається як
За допомогою цього позначення алгебра Лі може бути визначена як об'єкт в категорії векторних просторів разом із морфізмом
що задовольняє два співвідношення для морфізму
- і
Приклади
ред.Векторні простори
ред.Будь-який векторний простір з нульовою дужкою Лі є алгеброю Лі. Такі алгебри Лі називаються абелевими, див. нижче. Будь-яка одновимірна алгебра Лі над полем є абелевою з огляду на антисиметричність дужки Лі.
Асоціативна алгебра з комутативною дужкою
ред.- На асоціативній алгебрі над полем з множенням , дужка Лі може бути визначена за допомогою комутатора .
З цією дужкою алгебра є алгеброю Лі.[7] Асоціативна алгебра називається обгортуючою алгеброю алгебри Лі . Будь-яку алгебру Лі можна вкласти в алгебру Лі, побудовану на асоціативній алгебрі (дивись про універсальну обгортуючу алгебру).
- Асоціативна алгебра ендоморфізмів[en] -векторного простору з наведеною вище дужкою Лі позначається як .
- Для скінченновимірного векторного простору , попередній приклад є саме алгеброю Лі матриць, яку позначають як або [8] з дужкою , де — добуток матриць та .
Це алгебра Лі загальної лінійної групи, що складається із невироджених матриць.
Спеціальні матриці
ред.Двома важливими підалгебрами алгебри є:
- Матриці з нульовим слідом, що утворюють спеціальну лінійну алгебру Лі[en] — алгебра спеціальної лінійної групи .[9]
- Косоермітові матриці утворюють унітарну алгебру Лі — алгебра Лі унітарної групи .
Матричні алгебри Лі
ред.Комплексна матрична група — група Лі, яка породжена матрицями , де множення в групі є множенням матриць. Відповідна алгебра Лі — це простір матриць, які є дотичними векторами до групи у лінійному просторі . Вона утворена похідними від гладких кривих в групі в одиничному елементі:
- гладка крива
Дужка Лі алгебри визначається як комутатор матриць, . Для заданої алгебри Лі можна відновити відповідну групу Лі як образ матричної експоненти , яка визначається як що збігається для кожної матриці , тобто .
Нижче наведено приклади алгебр Лі матричних груп Лі:[10]
- Спеціальна лінійна група , що складається з усіх матриць з визначником, який дорівнює 1.
Її алгебра Лі складається з усіх матриць з комплексними елементами і слідом, що рівний 0. Аналогічно можна визначити відповідну дійсну групу Лі і її алгебру Лі .
- Унітарна група складається з унітарних матриць, що задовольняє умову . Її алгебра Лі складається з косоермітових матриць, .
- Спеціальна ортогональна група утворена дійсними ортогональними матрицями з визначником, який дорівнює 1.
Її алгебра Лі складається з дійсних кососиметричних матриць, . Повна ортогональна група без умови рівності визначника 1 складається з групи і окремої зв'язної компоненти, тому вона має ту саму алгебру Лі як і група . Див. також інфінітезимальні обертання з кососиметричними матрицями. Аналогічно можна визначити версії цієї групи і алгебри над комплексним полем, дозволяючи матричним елементам бути комплексними числами.
Розмірність два
ред.- Над будь-яким полем існує, з точністю до ізоморфізму, єдина двовимірна неабелева алгебра Лі.
Для генераторів , їх дужка Лі визначається як . Вона породжує афінну групу розмірності один[en].
Цю групу можна реалізувати за допомогою матриць:
Оскільки
для будь-якого натурального числа і будь-якого числа , то отримані елементи групи Лі є верхньотрикутними матрицями з одиницею внизу діагоналі:
Розмірність три
ред.- Алгебра Гейзенберга[en] є тривимірною алгеброю Лі, породженою елементами , і з дужками Лі
Зазвичай, вона реалізується як простір строго верхньотрикутних матриць з базисом
Будь-який елемент групи Гейзенберга має представлення у вигляді добутку групи генераторів, тобто експонент матриць відповідних генераторів алгебри Лі,
- Алгебра Лі групи — лінійна оболонка, що породжена трьома матрицями
Комутаційні відношення для цих генераторів наступні:
Тривимірний евклідів простір з дужкою Лі визначається векторним добутком векторів, що має ті самі комутаційні відношення, що й вище. Таким чином, він ізоморфний алгебрі . Ця алгебра Лі унітарно еквівалентна звичайним операторам спінових компонентів кутового моменту для частинок зі спіном 1 у квантовій механіці.
Нескінченновимірні алгебри Лі
ред.- У диференціальній топології виникає важливий клас нескінченновимірних дійсних алгебр Лі.
Простір гладких векторних полів на диференційовному многовиді утворює алгебру Лі, де дужка Лі визначається як комутатор векторних полів. Один зі способів представлення дужки Лі є використання похідних Лі, який ототожнює векторне поле з диференціальним оператором першого порядку , що діє на гладкі функції, тобто — похідна від функції за напрямком . Дужка Лі двох векторних полів — це векторне поле, визначене через його дію на функції за формулою
- Алгебри Каца-Муді — це великий клас нескінченновимірних алгебр Лі, структура яких дуже схожа на наведені вище скінченновимірні випадки.
- Алгебра Мояля — це нескінченновимірна алгебра Лі, що включає усі класичні алгебри Лі[en] як підалгебри.
- Алгебра Вірасора[en] має першочергове значення в теорії струн.
Представлення
ред.Основна стаття: Представлення алгебри Лі.
Означення
ред.Для заданого векторного простору через позначимо алгебру Лі, що складається з усіх лінійних ендоморфізмів простору , з дужкою Лі, визначеною як . Представлення алгебри Лі на векторному просторі — це гомоморфізм алгебри Лі
Представлення називається точним, якщо його ядро є нульовим. Відповідно до теореми Адо[en][11] будь-яка скінченновимірна алгебра Лі має точне представлення на скінченновимірному векторному просторі.
Приєднане представлення
ред.Для будь-якої алгебри Лі можна визначити представлення
що визначається як . Це представлення на векторному просторі називається приєднаним представленням.
Завдання теорії представлень
ред.Одним із важливих аспектів дослідження алгебр Лі (особливо для напівпростих алгебр Лі) є вивчення їх представлень. (Дійсно, більшість книг, представлених у списку літератури нижче, присвячують значну частину своїх сторінок теорії представлень.) Хоча теорема Адо є важливим результатом, але основне завдання теорії представлень не полягає в тому, щоб отримати точне представлення заданої алгебри Лі . Дійсно, для напівпростої алгебри Лі приєднане представлення вже є точним. Тому скоріше завдання полягає в тому, щоб зрозуміти всі можливі представлення алгебри з точністю до природного поняття еквівалентності. Згідно теореми Вейля[en][12], будь-яке скінченновимірне представлення напівпростої алгебри над полем характеристики 0 є прямою сумою незвідних представлень (тобто представлень, які не мають нетривіальних інваріантних підпросторів). У свою чергу, незвідні представлення класифікуються за допомогою теореми про найвищу вагу.
Теорія представлень у фізиці
ред.Теорія представлень алгебр Лі відіграє важливу роль у різних галузях теоретичної фізики, де розглядаються оператори на просторі станів, які задовольняють певним природним комутаційним співвідношенням. Ці комутаційні співвідношення зазвичай визначаються симетрією задач, зокрема, вони є співвідношеннями алгебри Лі відповідної групи симетрії. Прикладом можуть бути оператори кутового моменту, комутаційні співвідношення яких відповідають алгебрі Лі групи обертань . Як правило, простір станів дуже далекий від того, щоб бути незвідним відносно відповідних операторів, але можна спробувати розкласти його на незвідні частини. Для цього необхідно знати незвідні представлення заданої алгебри Лі. При дослідженні квантового атома водню, наприклад, підручники квантової механіки дають (не називаючи це так) класифікацію незвідних представлень алгебри Лі .
Структурна теорія та класифікація
ред.Алгебри Лі можна певною мірою класифікувати. Зокрема, така класифікація використовується при класифікації груп Лі.
Абелеві, нільпотентні і розв'язні алгебри Лі
ред.Аналогічно абелевим, нільпотентним і розв'язним групам, визначеним у термінах похідних підгруп, можна визначити абелеві, нільпотентні та розв'язні алгебри Лі.
Алгебра Лі називається абелевою, якщо дужка Лі нульова, тобто , для всіх і з алгебри . Абелеві алгебри Лі відповідають комутативним (або абелевим) зв'язним групам Лі, таким як векторні простори або тори , і всі простори вигляду , тобто -вимірні векторні простори з тривіальною дужкою Лі.
Більш загальний клас алгебр Лі визначається зануленням усіх комутаторів заданої довжини. Алгебра Лі називається нільпотентною, якщо нижній центральний ряд[en]
зрештою стає нульовим. За теоремою Енгеля, алгебра Лі нільпотентна тоді й лише тоді, коли для кожного з алгебри приєднаний ендоморфізм
є нільпотентним.
У більш загальному вигляді, алгебра Лі називається розв'язною, якщо похідний ряд
зрештою стає нульовим.
Будь-яка скінченновимірна алгебра Лі має єдиний максимальний розв'язний ідеал, який називається її радикалом[en]. З огляду на відповідність між групами і алгебрами Лі, нільпотентні (відповідно розв'язні) зв'язні групи Лі відповідають нільпотентним (відповідно розв'язним) алгебрам Лі.
Прості і напівпрості алгебри Лі
ред.Основна стаття: Напівпроста алгебра Лі
Алгебра Лі називається "простою[en]", якщо вона не має нетривіальних ідеалів і не є абелевою. (З цього випливає, що одновимірна (обов'язково абелева) алгебра Лі за означенням не є простою, навіть якщо вона не має нетривіальних ідеалів.) Алгебра Лі називається напівпростою, якщо вона ізоморфна прямій сумі простих алгебр. Існує декілька еквівалентних характеристик напівпростих алгебр, такі як відсутність ненульових розв'язних ідеалів.
Поняття напівпростоти для алгебр Лі тісно пов'язане з повною зведеністю (напівпростотою) їх представлень. Якщо основне поле має нульову характеристику, то будь-яке скінченновимірне представлення напівпростої алгебри Лі є напівпростим[en] (тобто прямою сумою незведених представлень). У загальному випадку, алгебру Лі називають редуктивною, якщо приєднане представлення є напівпростим. Таким чином, будь-яка напівпроста алгебра Лі є редуктивною.
Критерій Картана
ред.Критерій Картана[en] надає умови для того, щоб алгебра Лі була нільпотентною, розв'язною або напівпростою. Він базується на понятті форми Кіллінга, тобто симетричній білінійній формі на алгебрі , яка визначається за формулою
де — слід лінійного оператора. Алгебра Лі є напівпростою тоді й лише тоді, коли її форма Кіллінга є невиродженою[en]. Алгебра Лі розв'язна тоді й лише тоді, коли .
Класифікація
ред.Відповідно до розкладу Леві[en] довільну алгебру Лі можна представити майже канонічним способом як напівпряму суму її розв'язного радикала та напівпростої алгебри Лі. (Такий розклад існує для скінченновимірної алгебри Лі над полем характеристики 0.[13]) Більш того, напівпрості алгебри Лі над алгебраїчно замкненим полем повністю прокласифіковано з використанням їх кореневих систем.
Зв'язок із групами Лі
ред.Основна стаття: Відповідність між групами Лі та алгебрами Лі[en]
Хоча алгебри Лі часто вивчаються самі по собі, історично вони виникли як інструмент дослідження груп Лі.
Нижче коротко розглянемо зв'язок між групами Лі та алгебрами Лі. Будь-яка група Лі породжує канонічно визначену алгебру Лі (точніше, дотичний простір в одиниці). І навпаки, для будь-якої скінченновимірної алгебри Лі існує відповідна зв'язна група Лі з алгеброю Лі . Цей зв'язок гарантує третя теорема Лі[en]; див. формулу Бейкера–Кемпбелла–Хаусдорфа[en]. Ця група Лі визначається неоднозначно; однак будь-які дві групи Лі з однаковою алгеброю Лі є локально ізоморфними і, зокрема, мають те ж саме універсальне накриття. Наприклад, спеціальна ортогональна група SO(3) і спеціальна унітарна група SU(2) породжують ту саму алгебру Лі, яка ізоморфна евклідовому простору з векторним добутком, але група є однозв'язним подвійним накриттям для .
Однак, якщо розглядати однозв'язні групи Лі, то отримаємо взаємно однозначну відповідність: для будь-якої (скінченновимірної дійсної) алгебри Лі існує єдина однозв'язна група Лі з алгеброю Лі .
Відповідність між алгебрами Лі та групами Лі використовується, зокрема, при класифікації груп Лі[en] та пов'язаними задачами теорії представлень груп Лі. За будь-яким представленням алгебри Лі однозначно будується відповідне представлення однозв'язної групи Лі, і навпаки, будь-яке представлення групи Лі індукує представлення алгебри Лі цієї групи; ця відповідність взаємно однозначна. Отже, знання представлень алгебри Лі розв'язує питання про представлення групи.
Щодо класифікації, можна показати, що будь-яка зв'язана група Лі із заданою алгеброю Лі ізоморфна універсальному накриттю за модулем дискретної центральної підгрупи. Таким чином, класифікація груп Лі стає просто питанням перебору дискретних підгруп центру, оскільки відома класифікація алгебр Лі (розв'язана Картаном та іншими у напівпростому випадку).
Якщо алгебра Лі є нескінченновимірною, то проблема є більш витонченою. У багатьох випадках експоненціальне відображення не є гомеоморфізмом навіть локально (наприклад, для можна знайти диффеоморфізми, як завгодно близькі до одиниці, які не належать образу відображення ). Більш того, деякі нескінченновимірні алгебри Лі не є алгебрами Лі жодної групи.
Дійсна форма і комплексифікація
ред.Нехай задано комплексну алгебру Лі[en] , дійсна алгебра Лі називається дійсною формою[en] , якщо комплексифікація є ізоморфною до~ .[14] Дійсна форма не обов'язково повинна бути єдиною; наприклад, має дві дійсні форми і .[14]
Нехай задано напівпросту скінченновимірну комплексну алгебру Лі , її розщеплена форма[en] — це дійсна форма, що розщеплюється; тобто має підалгебру Картана, яка діє через приєднане представлення з дійсними власними значеннями. Розщеплена форма існує і є єдиною (з точністю до ізоморфізмів).[14] Компактна форма[en] — це дійсна форма, яка є алгеброю Лі компактної групи Лі. Компактна форма існує і є також єдиною.[14]
Алгебра Лі з додатковими структурами
ред.Алгебру Лі можна оснастити деякими додатковими структурами, які, як передбачається, сумісні з дужкою Лі. Наприклад, градуйована алгебра Лі[en] — це алгебра Лі з градуйованою структурою векторного простору. Якщо додатково на алгебрі визначено диференціал (так, що базовим градуйованим векторним простором є ланцюговий комплекс), то її називають диференціальною градуйованою алгеброю Лі[en].
Симпліційна алгебра Лі[en] — це симпліційний об'єкт[en] у категорії алгебр Лі; іншими словами, вона отримана шляхом заміни базової множини симпліційною множиною (тому її краще розглядати як сім'ю алгебр Лі).
Кільце Лі
ред.Кільце Лі виникає як узагальнення алгебр Лі або при вивченні нижнього центрального ряду[en] груп. Кільце Лі визначається як неасоціативне кільце[en] з множенням, яке є антикомутативним і задовольняє тотожність Якобі. Точніше кільце Лі можна визначити як абелеву групу з операцією , що має наступні властивості:
- Білінійність:
- для всіх .
- Тотожність Якобі:
- для всіх .
- Для всіх :
Кільця Лі необов'язково є групами Лі відносно додавання. Будь-яка алгебра Лі є прикладом кільця Лі. Будь-яке асоціативне кільце можна перетворити на кільце Лі, визначивши дужку Лі як . І~навпаки, для будь-якої алгебри Лі існує відповідне кільце, яке називається універсальною обгортуючою алгеброю.
Кільця Лі використовуються при вивченні скінченних -груп за допомогою відповідності Лазарда. Нижчі центральні фактори -групи є скінченними абелевими -групами, а тому і модулями над . Пряма сума нижніх центральних факторів задається структурою кільця Лі, визначаючи дужку як комутатор двох представників класу. Структура кільця Лі збагачується іншим гомоморфізмом модуля, відображенням -го степеня, що робить відповідне кільце Лі так званим обмеженим кільцем Лі.
Кільця Лі також корисні для визначення {{нп|P-адичні аналітичні групи| -адичних аналітичних груп||Pro-p group} та їх ендоморфізмів шляхом дослідження алгебр Лі над кільцями цілих чисел, таких як -адичні цілі числа. Означення скінченних груп типу Лі за Шевалле включає обмеження від алгебри Лі над комплексними числами до алгебри Лі над цілими числами, а потім редукцію за модулем , щоб отримати алгебру Лі над скінченним полем.
Приклади
ред.Кільця Лі не є групами Лі відносно додавання, незважаючи на назву.
- Будь-яке асоціативне кільце можна перетворити на кільце Лі, визначивши дужку Лі як
- Розглянемо приклад кільця Лі, що виникає при вивченні груп.
Нехай — група з операцією і нехай
є центральним рядом[en] в групі — це підгрупа комутаторів , що міститься в для будь-яких , . Тоді
є кільцем Лі з додаванням з груповою операцією (яка є абелевою в кожній однорідній частині), і дужкою Лі, заданою як
яку продовжено лінійно. Центральність ряду гарантує, що комутатор надає дужці Лі відповідні теоретико-ліївські властивості.
Див. також
ред.- Приєднане представлення алгебри Лі
- Афінна алгебра Лі[en]
- Аніонна алгебра Лі[en]
- Автоморфізм алгебри Лі[en]
- Хіральна алгебра Лі[en]
- Вільна алгебра Лі
- Індекс алгебри Лі[en]
- Когомології алгебр Лі[en]
- Розширення алгебри Лі[en]
- Представлення алгебри Лі
- Біалгебра Лі[en]
- Коалгебра Лі[en]
- Операда Лі[en]
- Фізика елементарних частинок і теорія представлення[en]
- Супералгебра Лі[en]
- Алгебра Пуассона[en]
- Пре-алгебра Лі[en]
- Квантові групи[en]
- Алгебра Мояля
- Фробеніусова квазіалгебра Лі[en]
- Квазіалгебра Лі[en]
- Обмежена алгебра Лі[en]
- Співвідношення Серра[en]
- Симетрична алгебра Лі[en]
- Когомологія Гельфанда–Фукса[en]
Примітки
ред.- ↑ Дужки [,] представляють білінійну операцію " "; часто це комутатор: [x,y] = x y − y x, для асоціативного добутку на тому самому векторному просторі. Але не обов'язково!
- ↑ Bourbaki, (1989, розділ 2.) дозволяє загальніше для модуля над комутативним кільцем; у цій статті це називається кільцем Лі.
Література
ред.- ↑ O'Connor та Robertson, 2000
- ↑ O'Connor та Robertson, 2005
- ↑ Humphreys, 1978, с. 1.
- ↑ Внаслідок антикомутативності дужки Лі поняття лівого і правого ідеалу в алгебрі Лі збігаються.
- ↑ Jacobson, 1962, с. 28
- ↑ Jacobson, 1962, с. 42
- ↑ Bourbaki, 1989, §1.2. Example 1.
- ↑ Bourbaki, 1989, §1.2. Example 2.
- ↑ Humphreys, 1978, с. 2
- ↑ Hall, 2015, §3.4
- ↑ Jacobson, 1962, Ch. VI
- ↑ Hall, 2015, Теорема 10.9
- ↑ Jacobson, 1962, Ch. III, §~9.
- ↑ а б в г Fulton та Harris, 1991, §26.1.
Джерела
ред.- Бурбаки Н. Группы и алгебры Ли. Главы I—III. — М. : Мир, 1976. — С. 596. — (Елементи математики)(рос.)
- Голод П. І., Клімик А. У. Математичні основи теорії симетрії. — К. : Наукова думка, 1992. — 368 с. (укр.)
- Лагно В.І. Реалізації алгебр Лі груп локальних перетворень та груповий аналіз нелінійних диференціальних рівнянь. — К. : Інститут математики НАН України, 2003. — 347 с.
- Beltiţă, Daniel (2006). Smooth Homogeneous Structures in Operator Theory. CRC Monographs and Surveys in Pure and Applied Mathematics. Т. 137. CRC Press. ISBN 978-1-4200-3480-6. MR 2188389.
- Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (1 червня 2001). A new method for classifying complex filiform Lie algebras. Applied Mathematics and Computation. 121 (2–3): 169—175. doi:10.1016/s0096-3003(99)00270-2. ISSN 0096-3003.
- Bourbaki, Nicolas (1989). Lie Groups and Lie Algebras: Chapters 1-3. Springer. ISBN 978-3-540-64242-8.
- Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0
- Шаблон:Fulton-Harris
- Hall, Brian C. (2015). Lie groups, Lie algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics. Т. 222 (вид. 2nd). Springer. doi:10.1007/978-3-319-13467-3. ISBN 978-3319134666. ISSN 0072-5285.
- Hofmann, Karl H.; Morris, Sidney A (2007). The Lie Theory of Connected Pro-Lie Groups. European Mathematical Society. ISBN 978-3-03719-032-6.
- Humphreys, James E. (1978). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. Т. 9 (вид. 2nd). Springer-Verlag. ISBN 978-0-387-90053-7.
- Jacobson, Nathan (1979). Lie algebras. Dover. ISBN 978-0-486-63832-4.
- Kac, Victor G. та ін. Course notes for MIT 18.745: Introduction to Lie Algebras.
- Mubarakzyanov, G.M. (1963). On solvable Lie algebras. Izv. Vys. Ucheb. Zaved. Matematika (рос.). 1 (32): 114—123. MR 0153714. Zbl 0166.04104.
- O'Connor, J.J; Robertson, E.F. (2000). Biography of Sophus Lie. MacTutor History of Mathematics Archive.
- O'Connor, J.J; Robertson, E.F. (2005). Biography of Wilhelm Killing. MacTutor History of Mathematics Archive.
- Popovych, R.O.; Boyko, V.M.; Nesterenko, M.O.; Lutfullin, M.W. та ін. (2003). Realizations of real low-dimensional Lie algebras. 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). Lie Algebras and Lie Groups (вид. 2nd). Springer. ISBN 978-3-540-55008-2.
- Steeb, Willi-Hans (2007). Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra (вид. 2nd). World Scientific. doi:10.1142/6515. ISBN 978-981-270-809-0. MR 2382250.
- Varadarajan, Veeravalli S. (2004). Lie Groups, Lie Algebras, and Their Representations (вид. 1st). Springer. ISBN 978-0-387-90969-1.
Зовнішні посилання
ред.- Hazewinkel, Michiel, ред. (2001), algebra Lie algebra, Математична енциклопедія, Springer, ISBN 978-1-55608-010-4
- McKenzie, Douglas (2015). An Elementary Introduction to Lie Algebras for Physicists.