Группа автоморфизмов
В математике объекта группа автоморфизмов X — группа , из автоморфизмов X состоящая относительно композиции морфизмов это . Например, если X — конечномерное векторное пространство , то группа автоморфизмов X — это группа обратимых линейных преобразований из X в себя ( общая линейная группа X ) . Если вместо этого X является группой, то ее группа автоморфизмов — группа, состоящая из всех автоморфизмов X групповых .
Группа автоморфизмов, особенно в геометрическом контексте, также называется группой симметрии . Подгруппу группы автоморфизмов иногда называют группой преобразований .
Группы автоморфизмов в общем изучаются в области теории категорий .
Примеры [ править ]
Если X — множество без дополнительной структуры, то любая биекция в себя является автоморфизмом, и, следовательно, группа автоморфизмов в этом случае является в точности симметрической группой X. X X Если множество X имеет дополнительную структуру, то может случиться так, что не все биекции на множестве сохраняют эту структуру, и в этом случае группа автоморфизмов будет подгруппой симметрической группы на X . Некоторые примеры этого включают следующее:
- Группа автоморфизмов расширения поля — группа, состоящая из полевых L фиксирующих , K. автоморфизмов Если расширение поля есть Галуа , группа автоморфизмов называется группой Галуа расширения поля.
- Группой автоморфизмов проективного n -пространства над полем k является проективная линейная группа [1]
- Группа автоморфизмов конечной группы порядка n изоморфна циклической , мультипликативная группа целых чисел по модулю n , с изоморфизмом, заданным формулой . [2] В частности, является абелевой группой .
- Группа автоморфизмов конечномерной вещественной алгебры Ли имеет структуру (вещественной) группы Ли (фактически это даже линейная алгебраическая группа : см. ниже ). Если G — группа Ли с алгеброй Ли , то группа автоморфизмов G имеет структуру группы Ли, индуцированную из нее на группе автоморфизмов группы G. . [3] [4] [а]
Если G — группа, действующая на множестве X , действие сводится к групповому гомоморфизму из G в группу автоморфизмов X и наоборот. Действительно, каждое левое G -действие на множестве X определяет и, наоборот, каждый гомоморфизм определяет действие по . Это распространяется на случай, когда набор X имеет больше структуры, чем просто набор. Например, если X — векторное пространство, то групповое действие G на X — это групповое представление группы G , представляющее G как группу линейных преобразований (автоморфизмов) X ; эти представления являются основным объектом изучения в области теории представлений .
Вот некоторые другие факты о группах автоморфизмов:
- Позволять — два конечных множества одинаковой мощности и множество всех биекций . Затем , являющаяся симметрической группой (см. выше), действует на слева свободно и транзитивно ; то есть, это торсор для (ср. #В теории категорий ).
- Пусть P — конечно порожденный проективный над кольцом R. модуль Затем происходит вложение , единственный с точностью до внутренних автоморфизмов . [5]
В теории категорий [ править ]
Группы автоморфизмов очень естественно появляются в теории категорий .
Если X — объект в категории, то группа автоморфизмов X — это группа, состоящая из всех обратимых морфизмов из X в себя. Это группа эндоморфизмов моноида X . единичная (Некоторые примеры см. в PROP .)
Если являются объектами некоторой категории, то множество из всех это левый - торсор . На практике это говорит о том, что иной выбор базовой точки однозначно отличается элементом или что каждый выбор базовой точки есть в точности выбор тривиализации торсора.
Если и объекты в категориях и , и если является функтора отображением к , затем индуцирует групповой гомоморфизм , поскольку он отображает обратимые морфизмы в обратимые морфизмы.
В частности, если G — группа, рассматриваемая как категория с одним объектом * или, в более общем смысле, если G — группоид, то каждый функтор , C категория, называется действием или представлением G на объекте. , или объекты . Тогда эти объекты называются -объекты (так как на них воздействуют ); ср. -объект . Если является категорией модулей, подобной категории конечномерных векторных пространств, то -предметы еще называют -модули.
группы автоморфизмов Функтор
Позволять — конечномерное векторное пространство над полем k , наделенное некоторой алгебраической структурой (т. е. M — конечномерная алгебра над k ). Это может быть, например, ассоциативная алгебра или алгебра Ли .
Теперь рассмотрим k - линейные отображения сохраняющие алгебраическую структуру: они образуют векторное подпространство из . Группа подразделений является группой автоморфизмов . базис на M , Когда выбран – пространство квадратных матриц и — нулевое множество некоторых полиномиальных уравнений , а обратимость снова описывается полиномами. Следовательно, — линейная алгебраическая группа над k .
Теперь базовые расширения, примененные к приведенному выше обсуждению, определяют функтор: [6] а именно, для каждого коммутативного кольца R над k рассмотрим R -линейные отображения сохраняя алгебраическую структуру: обозначим ее через . Тогда единичная группа матричного кольца над R — группа автоморфизмов и — групповой функтор : функтор из категории коммутативных колец над k в категорию групп . Еще лучше ее изображает схема (поскольку группы автоморфизмов определяются полиномами): эта схема называется схемой группы автоморфизмов и обозначается .
Однако в общем случае функтор группы автоморфизмов не может быть представлен схемой.
См. также [ править ]
- Группа внешних автоморфизмов
- Структура уровней , метод удаления группы автоморфизмов.
- Группа голономии
Примечания [ править ]
- ^ Во-первых, если G односвязен, группа автоморфизмов G — это группа . Во-вторых, каждая связная группа Ли имеет вид где — односвязная группа Ли, C — центральная подгруппа, а группа автоморфизмов группы G — группа автоморфизмов группы Ли. который сохраняет C . В-третьих, по соглашению группа Ли является второй счетной и имеет не более счетного числа связных компонент; таким образом, общий случай сводится к связному случаю.
Цитаты [ править ]
- ^ Хартсхорн 1977 , гл. II, Пример 7.1.1.
- ^ Даммит и Фут 2004 , § 2.3. Упражнение 26.
- ^ Хохшильд, Г. (1952). «Группа автоморфизмов группы Ли». Труды Американского математического общества . 72 (2): 209–216. JSTOR 1990752 .
- ^ Фултон и Харрис 1991 , Упражнение 8.28.
- ^ Милнор 1971 , Лемма 3.2.
- ^ Уотерхаус 2012 , § 7.6.
Ссылки [ править ]
- Даммит, Дэвид С.; Фут, Ричард М. (2004). Абстрактная алгебра (3-е изд.). Уайли . ISBN 978-0-471-43334-7 .
- Фултон, Уильям ; Харрис, Джо (1991). Теория представлений. Первый курс . Тексты для аспирантов по математике , Чтения по математике. Том. 129. Нью-Йорк: Springer-Verlag. дои : 10.1007/978-1-4612-0979-9 . ISBN 978-0-387-97495-8 . МР 1153249 . OCLC 246650103 .
- Хартсхорн, Робин (1977), Алгебраическая геометрия , Тексты для аспирантов по математике , том. 52, Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-90244-9 , МР 0463157
- Милнор, Джон Уиллард (1971). Введение в алгебраическую К-теорию . Анналы математических исследований. Том. 72. Принстон, Нью-Джерси: Издательство Принстонского университета . ISBN 9780691081014 . МР 0349811 . Збл 0237.18005 .
- Уотерхаус, Уильям К. (2012) [1979]. Введение в схемы аффинных групп . Тексты для аспирантов по математике. Том. 66. Шпрингер Верлаг. ISBN 9781461262176 .