Русская Википедия:Автоморфизм группы

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Автоморфизм группы — биективный гомоморфизм группы на себя.

Автоморфизм <math>f</math> группы <math>G</math> называется внутренним, если существует такой элемент <math>a\in G</math>, что <math>f(x)=axa^{-1}</math> (в этом случае <math>f</math> иногда обозначают как <math>\alpha_a</math>); в противном случае автоморфизм называется внешним.

Группа автоморфизмов группы <math>G</math> обозначается <math>\operatorname{Aut}G,</math> множество внутренних автоморфизмов обозначается <math>\operatorname{Int}G.</math> Поскольку <math>\alpha_g\alpha_h=\alpha_{hg}, \; \operatorname{Int}G</math> — подгруппа в <math>\operatorname{Aut}G,</math> можно также доказать, что она является нормальной подгруппой. Факторгруппа <math>\operatorname{Out}G=\operatorname{Aut}G/\operatorname{Int}G</math> называется группой внешних автоморфизмов группы. Отображение <math>g\to\alpha_g</math> определяет гомоморфизм <math>G\to\operatorname{Int}G</math>, ядро которого есть центр группы <math>Z(G)</math>, так что <math>\operatorname{Int}G\cong G/Z(G)</math>. Все нормальные подгруппы инвариантны под действием внутренних автоморфизмов. Подгруппы, инвариантные под действием всех автоморфизмов группы, называются характеристическими.

Всякая группа, совпадающая со своей группой автоморфизмов, называется совершенной. Совершенными являются все симметрические группы <math>S_n</math> при <math>n\neq 2;6</math>. Расширение группы с помощью группы автоморфизмов называется голоморфом.

Примеры

• <math>\operatorname{Aut}\mathbb{Z}^+ = \mathbb{Z}_2</math>
• <math>\operatorname{Aut}\mathbb{Q}^+ = \mathbb{Q}^{\times}</math>
• <math>\operatorname{Aut}(\mathbb{Z}_n^+) = \mathbb{Z}_n^{\times}</math> (группа <math>\operatorname{Aut}(\mathbb{Z}_n)</math> изоморфна мультипликативной группе кольца вычетов <math>\mathbb{Z}_n</math>)
  • В частности, если p простое, <math>\operatorname{Aut}\mathbb{Z}_p^+ = \mathbb{Z}_p^{\times} = \mathbb{Z}^+_{p-1}</math> (группа автоморфизмов группы <math>\mathbb{Z}_p</math> является циклической из p − 1 элемента)
• <math>\operatorname{Aut}S_n = \operatorname{Int}S_n = S_n, n\neq 2, 6; \; \operatorname{Out}S_6 = \mathbb{Z}_2, \; \operatorname{Aut}S_6 = S_6 \rtimes \mathbb{Z}_2</math>
• Если <math>K</math> — поле, характеристика которого больше двух, то <math>\operatorname{Aut}\operatorname{GL}_n(K) = \operatorname{SL}_n(K).</math>
• Группа автоморфизмов множества всех комплексных корней степеней <math>p^n</math> из единицы есть группа p-адических чисел по сложению.
• Группа внешних автоморфизмов свободной группы конечного ранга порождается преобразованиями Нильсена элементов базиса
• Множество автоморфизмов группы Ли также образует группу Ли.