Алгебраическая группа: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Danneks (обсуждение | вклад) Нет описания правки |
м Удаление шаблонов: {{нп5}}×1 |
||
(не показано 5 промежуточных версий 4 участников) | |||
Строка 10: | Строка 10: | ||
Обратно, [[эллиптическая кривая|эллиптические кривые]] — пример алгебраических многообразий, которые можно наделить структурой алгебраической группы. |
Обратно, [[эллиптическая кривая|эллиптические кривые]] — пример алгебраических многообразий, которые можно наделить структурой алгебраической группы. |
||
Существуют два класса алгебраических групп, свойства которых настолько хорошо изучены, что их обычно рассматривают отдельно: [[абелево многообразие|абелевы многообразия]] и |
Существуют два класса алгебраических групп, свойства которых настолько хорошо изучены, что их обычно рассматривают отдельно: [[абелево многообразие|абелевы многообразия]] и [[Линейная алгебраическая группа|линейные алгебраические группы]]. Существуют также алгебраические группы, не принадлежащие ни одному из этих классов — например, такие группы естественным образом возникают в теории {{не переведено 5|Обобщённый якобиан|обобщённых якобианов||Generalized Jacobian}}. Однако, согласно ''структурной теореме Шевалле'', любая связная алгебраическая группа над [[совершенное поле|совершенным полем]] содержит [[нормальная подгруппа|нормальную]] линейную алгебраическую [[подгруппа|подгруппу]], [[факторгруппа|фактор]] по которой — абелево многообразие. |
||
Согласно другой базовой теореме, любая группа, являющаяся [[алгебраическое многообразие#аффинные алгебраические многообразия|аффинным алгебраическим многообразием]], |
Согласно другой базовой теореме, любая группа, являющаяся [[алгебраическое многообразие#аффинные алгебраические многообразия|аффинным алгебраическим многообразием]], допускает точное конечномерное [[представление группы|представление]], то есть является группой [[матрица (математика)|матриц]] с элементами в [[поле (алгебра)|поле]] ''k'', заданной полиномиальными уравнениями с коэффициентами в ''k''. Это значит, что определение аффинной алгебраической группы является излишним: всегда можно использовать более конкретное её определение как группы матриц. |
||
Данное выше определение подходит только для групп над [[алгебраически замкнутое поле|алгебраически замкнутым]] полем. Существуют также «алгебраические группы над кольцом», определяемые при помощи языка [[схема (математика)|схем]]: групповая схема над [[коммутативное кольцо|коммутативным кольцом]] ''R'' — это [[групповой объект]] в категории схем над ''R''. |
Данное выше определение подходит только для групп над [[алгебраически замкнутое поле|алгебраически замкнутым]] полем. Существуют также «алгебраические группы над кольцом», определяемые при помощи языка [[схема (математика)|схем]]: групповая схема над [[коммутативное кольцо|коммутативным кольцом]] ''R'' — это [[групповой объект]] в категории схем над ''R''. |
||
'''Алгебраическая подгруппа''' алгебраической группы — это подгруппа, [[замкнутое множество|замкнутая]] в [[топология Зарисского|топологии Зарисского]]. Гомоморфизм алгебраических групп |
'''Алгебраическая подгруппа''' алгебраической группы — это подгруппа, [[замкнутое множество|замкнутая]] в [[топология Зарисского|топологии Зарисского]]. Гомоморфизм алгебраических групп — это регулярное отображение соответствующих многообразий, являющееся одновременно [[гомоморфизм групп|гомоморфизмом групп]]; алгебраическую подгруппу можно эквивалентным образом определить как образ [[инъективность|инъективного]] гомоморфизма. |
||
== Примечания == |
== Примечания == |
||
* ''Хамфри Дж.'' Линейные алгебраические группы. — М.: Наука, 1980. |
* ''Хамфри Дж.'' Линейные алгебраические группы. — М.: Наука, 1980. |
||
* ''Мамфорд Д.'' Абелевы многообразия. — М.: Мир, 1969. |
* ''Мамфорд Д.'' Абелевы многообразия. — М.: Мир, 1969. |
||
* {{cite web|url=http://www.numdam.org/numdam-bin/browse?id=SCC_1956-1958__1_|title=Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques|author=Chevalley, Claude|date=|work=|publisher=2 vols, Paris: Secrétariat Mathématique|accessdate=2013-08-09|lang=fr}} |
* {{cite web|url=http://www.numdam.org/numdam-bin/browse?id=SCC_1956-1958__1_|title=Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques|author=Chevalley, Claude|date=|work=|publisher=2 vols, Paris: Secrétariat Mathématique|accessdate=2013-08-09|lang=fr|archiveurl=https://www.webcitation.org/6JFNfpMBV?url=http://www.numdam.org/numdam-bin/browse?id=SCC_1956-1958__1_|archivedate=2013-08-30}} |
||
* {{cite web|url=http://www.jmilne.org/math/CourseNotes/ala.html|title=Affine Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups|author=Milne, J. S.|date=|work=|publisher=|accessdate=2013-08-09|lang=en}} |
* {{cite web|url=http://www.jmilne.org/math/CourseNotes/ala.html|title=Affine Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups|author=Milne, J. S.|date=|work=|publisher=|accessdate=2013-08-09|lang=en|archiveurl=https://www.webcitation.org/6JFNgZlnw?url=http://www.jmilne.org/math/CourseNotes/ala.html|archivedate=2013-08-30}} |
||
* ''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. |
* ''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. |
||
Текущая версия от 13:27, 7 июля 2020
Алгебраическая группа — это группа, являющаяся одновременно алгебраическим многообразием, причём групповая операция и операция взятия обратного элемента являются регулярными отображениями многообразий.
В терминах теории категорий, алгебраическая группа — это групповой объект в категории алгебраических многообразий.
Свойства
[править | править код]Несколько важных классов групп можно наделить структурой алгебраической группы:
- Конечные группы
- 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.