Ранг алгебраической группы · LibMeta · SciLib
Матэнциклопедия ПонятиеСтатья Матэнциклопедии

Ранг алгебраической группы

http://libmeta.ru/thesaurus/mathencyclopedia/Ранг_алгебраической_группы

Определение

G - размерность любой из ее Картана подгрупп (эта размерность не зависит от выбора подгруппы Картана). Наряду с Р. а. г. Gрассматриваются ее п о л у п р о с т о й р а н г и р е д у к т и в н ы й р а н г, к-рые, по определению, равны соответственно Р. а. г. [img: http://localhost:8080/file/041866-32.jpg] и Р. а. г. [img: http://localhost:8080/file/041866-33.jpg], где R - радикал алгебраич. группы G,a Ru - ее унипотентный радикал. Редуктивный Р. а. г. G равен размерности любого из ее максимальных торов. Редуктивным k-pа н г о м линейной алгебраич. группы G, определенной над полем k(а в случае, когда группа G редуктивна,- просто ее k-pа н г о м), наз. размерность любого ее максимального k-разложимого тора (эта размерность не зависит от выбора тора; см. Разложимая группа). Если k-ранг определенной над k редуктивной линейной алгебраич. группы G равен нулю (соответственно рангу G), то группа G наз. а н из о т р о п н о й (соответственно р а з л о ж и м о й) над k(см. также Анизотропная группа). П р и м е р ы. 1) Р. а. г. Т n всех невырожденных верхнетреугольных квадратных матриц порядка правен ее редуктивному рангу и равен п;полупростой ранг группы Т п равен нулю. 2) Р. а. г. Un всех верхнетреугольных квадратных матриц порядка n с единицами на главной диагонали равен ее размерности [img: http://localhost:8080/file/041866-34.jpg], а редуктивный и полупростой ранги группы Un равны нулю. 3) Р. а. г. On(k, f).всех автоморфизмов определенной над полем kквадратичной формы f в n-мерном векторном пространстве над kравен [img: http://localhost:8080/file/041866-35.jpg], а k-ранг группы О n(k, f).равен индексу Витта формы f. Если характеристика основного поля равна 0, то Р. а. г. G совпадает с рангом ее алгебры Ли L(см. Ранг алгебры Ли).и равен минимальной из кратностей собственного значения l= 1 всевозможных присоединенных операторов [img: http://localhost:8080/file/041866-36.jpg] (минимум берется по всем [img: http://localhost:8080/file/041866-37.jpg]. Элемент [img: http://localhost:8080/file/041866-38.jpg], для к-рого эта кратность равна Р. а. г. G, наз. р е г у л я р н ы м. Множество регулярных элементов группы G открыто в G в топологии Зариского.

автор

близко к