Jump to content

Группа автоморфизмов

(Перенаправлено из групп трансформации )

В математике группа автоморфизмов объекта X это группа, из автоморфизмов X состоящая относительно композиции морфизмов . Например, если X конечномерное векторное пространство , то группа автоморфизмов X — это группа обратимых линейных преобразований из X в себя ( общая линейная группа X ) . Если вместо этого X является группой, то ее группа автоморфизмов — группа, состоящая из всех автоморфизмов X групповых .

Группа автоморфизмов, особенно в геометрическом контексте, также называется группой симметрии . Подгруппу группы автоморфизмов иногда называют группой преобразований .

Группы автоморфизмов в общем изучаются в области теории категорий .

Если X множество без дополнительной структуры, то любая биекция в себя является автоморфизмом, и, следовательно, группа автоморфизмов в этом случае является в точности симметрической группой X. X X Если множество X имеет дополнительную структуру, то может случиться так, что не все биекции на множестве сохраняют эту структуру, и в этом случае группа автоморфизмов будет подгруппой симметрической группы на X . Некоторые примеры этого включают следующее:

Если G — группа, действующая на множестве X , действие сводится к групповому гомоморфизму из G в группу автоморфизмов X и наоборот. Действительно, каждое левое G -действие на множестве X определяет и, наоборот, каждый гомоморфизм определяет действие по . Это распространяется на случай, когда набор X имеет больше структуры, чем просто набор. Например, если X — векторное пространство, то групповое действие G на X — это групповое представление группы G , представляющее G как группу линейных преобразований (автоморфизмов) X ; эти представления являются основным объектом изучения в области теории представлений .

Вот некоторые другие факты о группах автоморфизмов:

В теории категорий

[ редактировать ]

Группы автоморфизмов очень естественно появляются в теории категорий .

Если X объект в категории, то группа автоморфизмов это группа, состоящая из всех обратимых морфизмов X X в себя. Это группа эндоморфизмов моноида X . единичная (Некоторые примеры см. в PROP .)

Если являются объектами некоторой категории, то множество из всех это левый - торсор . На практике это говорит о том, что иной выбор базовой точки однозначно отличается элементом или что каждый выбор базовой точки есть в точности выбор тривиализации торсора.

Если и объекты в категориях и , и если является функтора отображением к , затем индуцирует групповой гомоморфизм , поскольку он отображает обратимые морфизмы в обратимые морфизмы.

В частности, если G — группа, рассматриваемая как категория с одним объектом * или, в более общем смысле, если G — группоид, то каждый функтор , C категория, называется действием или представлением G на объекте. , или объекты . Тогда эти объекты называются -объекты (так как на них воздействуют ); ср. -объект . Если является категорией модулей, подобной категории конечномерных векторных пространств, то -предметы еще называют -модули.

Функтор группы автоморфизмов

[ редактировать ]

Позволять — конечномерное векторное пространство над полем k , наделенное некоторой алгебраической структурой (т. е. M — конечномерная алгебра над k ). Это может быть, например, ассоциативная алгебра или алгебра Ли .

Теперь рассмотрим k - линейные отображения сохраняющие алгебраическую структуру: они образуют векторное подпространство из . Группа подразделений является группой автоморфизмов . базис на M , Когда выбран – пространство квадратных матриц и — нулевое множество некоторых полиномиальных уравнений , а обратимость снова описывается полиномами. Следовательно, линейная алгебраическая группа над k .

Теперь базовые расширения, примененные к приведенному выше обсуждению, определяют функтор: [6] а именно, для каждого коммутативного кольца R над k рассмотрим R -линейные отображения сохраняя алгебраическую структуру: обозначим ее через . Тогда единичная группа матричного кольца над R — группа автоморфизмов и групповой функтор : функтор из категории коммутативных колец над k в категорию групп . Еще лучше ее изображает схема (поскольку группы автоморфизмов определяются полиномами): эта схема называется схемой группы автоморфизмов и обозначается .

Однако в общем случае функтор группы автоморфизмов не может быть представлен схемой.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Во-первых, если G односвязна, группа автоморфизмов G — это группа . Во-вторых, каждая связная группа Ли имеет вид где — односвязная группа Ли, C — центральная подгруппа, а группа автоморфизмов группы G — группа автоморфизмов группы Ли. который сохраняет C . В-третьих, по соглашению группа Ли является второй счетной и имеет не более счетного числа связных компонент; таким образом, общий случай сводится к связному случаю.
  1. ^ Хартсхорн 1977 , гл. II, Пример 7.1.1.
  2. ^ Даммит и Фут 2004 , § 2.3. Упражнение 26.
  3. ^ Хохшильд, Г. (1952). «Группа автоморфизмов группы Ли». Труды Американского математического общества . 72 (2): 209–216. JSTOR   1990752 .
  4. ^ Фултон и Харрис 1991 , Упражнение 8.28.
  5. ^ Милнор 1971 , Лемма 3.2.
  6. ^ Уотерхаус 2012 , § 7.6.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6d9c41e7f23dc99d660f78b76290d070__1684144560
URL1:https://arc.ask3.ru/arc/aa/6d/70/6d9c41e7f23dc99d660f78b76290d070.html
Заголовок, (Title) документа по адресу, URL1:
Automorphism group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)