Алгебраическая группа
Алгебраическая группа — это группа, являющаяся одновременно алгебраическим многообразием, причём групповая операция и операция взятия обратного элемента являются регулярными отображениями многообразий.
В терминах теории категорий, алгебраическая группа — это групповой объект в категории алгебраических многообразий.
Свойства
Несколько важных классов групп можно наделить структурой алгебраической группы:
- Конечные группы
- GL(n, C) — общие линейные группы над полем комплексных чисел
Обратно, эллиптические кривые — пример алгебраических многообразий, которые можно наделить структурой алгебраической группы.
Существуют два класса алгебраических групп, свойства которых настолько хорошо изучены, что их обычно рассматривают отдельно: абелевы многообразия и линейные алгебраические группы. Существуют также алгебраические группы, не принадлежащие ни одному из этих классов — например, такие группы естественным образом возникают в теории обобщённых якобианов. Однако, согласно структурной теореме Шевалле, любая связная алгебраическая группа над совершенным полем содержит нормальную линейную алгебраическую подгруппу, фактор по которой — абелево многообразие.
Согласно другой базовой теореме, любая группа, являющаяся аффинным алгебраическим многообразием, допускает точное конечномерное представление, то есть является группой матриц с элементами в поле k, заданной полиномиальными уравнениями с коэффициентами в k. Это значит, что определение аффинной алгебраической группы является излишним: всегда можно использовать более конкретное её определение как группы матриц.
Данное выше определение подходит только для групп над алгебраически замкнутым полем. Существуют также «алгебраические группы над кольцом», определяемые при помощи языка схем: групповая схема над коммутативным кольцом R — это групповой объект в категории схем над R.
Алгебраическая подгруппа алгебраической группы — это подгруппа, замкнутая в топологии Зарисского. Гомоморфизм алгебраических групп — это регулярное отображение соответствующих многообразий, являющееся одновременно гомоморфизмом групп; алгебраическую подгруппу можно эквивалентным образом определить как образ инъективного гомоморфизма.
Примечания
- Хамфри Дж. Линейные алгебраические группы. — М.: Наука, 1980.
- Мамфорд Д. Абелевы многообразия. — М.: Мир, 1969.
- Chevalley, Claude. Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques (фр.). 2 vols, Paris: Secrétariat Mathématique. Дата обращения: 9 августа 2013. Архивировано 30 августа 2013 года.
- Milne, J. S. Affine Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups (англ.). Дата обращения: 9 августа 2013. Архивировано 30 августа 2013 года.
- Waterhouse, William C. (1979), Introduction to affine group schemes — Graduate Texts in Mathematics 66, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90421-4.