В математиці, алгебра Лі називається редуктивною, якщо її приєднане представлення є цілком звідним. Еквівалентною умовою є те, що алгебра Лі є прямою сумою напівпростої і абелевої алгебри Лі: інші еквівалентні умови подані нижче.
Означення
Алгебра Лі над полем характеристики 0 називається редуктивною, якщо виконуються еквівалентні умови:
- Приєднане представлення алгебри є прямою сумою незвідних представлень.
- допускає точне, цілком звідне, скінченновимірне лінійне представлення.
- Радикал алгебри Лі рівний її центру:
- Для загальної алгебри Лі її радикал містить центр, але може не бути рівним йому.
- є прямою сумою напівпростого ідеалу і її центру
- є прямою сумою напівпростої алгебри Лі і абелевої алгебри Лі :
- є прямою сумою простих ідеалів:
Приклади
- Одним із найпростіших і найважливіших прикладів є алгебра Лі матриць розмірності зі звичайним комутатором матриць. Вона є редуктивною, оскільки є сумою скалярних матриць і матриць, слід яких рівний нулю.
- За означенням будь-яка напівпроста алгебра Лі і є редуктивними.
- Над полем дійсних чисел, компактні алгебри Лі є редуктивними.
Властивості
- Властивість редуктивності зберігається як при розширенні, так і при звуженні поля, над яким визначена алгебра Лі.
- Для алгебрично замкнутого поля редуктивна алгебра Лі є ізоморфною алгебрі Лі деякої редуктивної алгебричної групи.
- Перетином редуктивних алгебр Лі і розв'язних алгебр Лі є абелеві алгебри Лі.
Див. також
Посилання
- Lie algebra, reductive, A.L. Onishchik, in Encyclopaedia of Mathematics, , SpringerLink
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
V matematici algebra Li nazivayetsya reduktivnoyu yaksho yiyi priyednane predstavlennya ye cilkom zvidnim Ekvivalentnoyu umovoyu ye te sho algebra Li ye pryamoyu sumoyu napivprostoyi i abelevoyi algebri Li g s a displaystyle mathfrak g mathfrak s oplus mathfrak a inshi ekvivalentni umovi podani nizhche OznachennyaAlgebra Li g displaystyle mathfrak g nad polem harakteristiki 0 nazivayetsya reduktivnoyu yaksho vikonuyutsya ekvivalentni umovi Priyednane predstavlennya algebri g displaystyle mathfrak g ye pryamoyu sumoyu nezvidnih predstavlen g displaystyle mathfrak g dopuskaye tochne cilkom zvidne skinchennovimirne linijne predstavlennya Radikal algebri Li g displaystyle mathfrak g rivnij yiyi centru r g z g displaystyle mathfrak r mathfrak g mathfrak z mathfrak g Dlya zagalnoyi algebri Li yiyi radikal mistit centr ale mozhe ne buti rivnim jomu g displaystyle mathfrak g ye pryamoyu sumoyu napivprostogo idealu s 0 displaystyle mathfrak s 0 i yiyi centru z g displaystyle mathfrak z mathfrak g g s 0 z g displaystyle mathfrak g mathfrak s 0 oplus mathfrak z mathfrak g g displaystyle mathfrak g ye pryamoyu sumoyu napivprostoyi algebri Li s displaystyle mathfrak s i abelevoyi algebri Li a displaystyle mathfrak a g s a displaystyle mathfrak g mathfrak s oplus mathfrak a g displaystyle mathfrak g ye pryamoyu sumoyu prostih idealiv g g i displaystyle mathfrak g textstyle sum mathfrak g i PrikladiOdnim iz najprostishih i najvazhlivishih prikladiv ye algebra Li g l n displaystyle mathfrak gl n matric rozmirnosti n n displaystyle n times n zi zvichajnim komutatorom matric Vona ye reduktivnoyu oskilki ye sumoyu skalyarnih matric i matric slid yakih rivnij nulyu Za oznachennyam bud yaka napivprosta algebra Li i ye reduktivnimi Nad polem dijsnih chisel kompaktni algebri Li ye reduktivnimi VlastivostiVlastivist reduktivnosti zberigayetsya yak pri rozshirenni tak i pri zvuzhenni polya nad yakim viznachena algebra Li Dlya algebrichno zamknutogo polya reduktivna algebra Li ye izomorfnoyu algebri Li deyakoyi reduktivnoyi algebrichnoyi grupi Peretinom reduktivnih algebr Li i rozv yaznih algebr Li ye abelevi algebri Li Div takozhRozv yazna algebra LiPosilannyaLie algebra reductive A L Onishchik in Encyclopaedia of Mathematics ISBN 1 4020 0609 8 SpringerLink