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
Номер скриншота №: e6ebcdb98028de3f557a09f8e915cd10__1684144560
URL1:https://arc.ask3.ru/arc/aa/e6/10/e6ebcdb98028de3f557a09f8e915cd10.html
Заголовок, (Title) документа по адресу, URL1:
Automorphism group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)