Автоморфізм

Автоморфізм моделі — ізоморфізм, який відображає модель на саму себе.

Всі автоморфізми даної моделі відносно операції композиції із тотожним відображенням як нейтральним елементом утворює групу.

Група автоморфізмів моделі $K$ позначається $\operatorname {Aut} K$.

• Автоморфізм множини — перестановка елементів цієї множини (симетрична група).
• Автоморфізм групи — ізоморфізм групи на себе.

Автоморфізм називається внутрішнім, якщо існує такий елемент $a$, що $Auth(G)_{a}(x)=axa^{-1}$, а в іншому випадку він називається зовнішнім.

Множина всіх внутрішніх автоморфізмів групи G є підгрупою групи автоморфізмів, причому $Auth(G)_{a}*Auth(G)_{b}=Auth(G)_{ab}$.

Множина автоморфізмів групи Лі також утворює групу Лі.

Визначення

Алгебраїчні структури

$(A,(f_{i}))$ є алгебраїчною структурою $A$ разом з кінцевим числом потоків $(f_{i})$. Можуть бути алгебраїчні структури, такі як векторний простір $(A,(+,\cdot ))$, група $(A,*)$ або кільце $(A,(+,*))$. Тоді під алгеброю розуміється автоморфізм $\phi \colon A\to A$ взаємно однозначне відображення множини $A$ на себе, яка є лінійною, це означає що: $\phi \left(f_{i}(a_{1},\ldots ,a_{\sigma _{i}})\right)=f_{i}(\phi (a_{1}),\ldots ,\phi (a_{\sigma _{i}}))$ для всіх $a_{1},\ldots ,a_{\sigma _{i}}\in A$. Зворотна функція $\phi ^{-1}:A\to A$ в цих умовах є автоматично лінійною.

Теорія категорій

Нехай $X$ об'єкт. Морфізм $f\colon X\to X$ є автоморфізмом, якщо він є двосторонньо оберненим $g\colon X\to X$. Тобто, відповідне відображення $g\colon X\to X$ існує, так що виконуються: $f\circ g=\operatorname {id} _{X}$ і $g\circ f=\operatorname {id} _{X}$.

Автоморфізм груп

• Група автоморфізмів групи $G$ позначається $\operatorname {Aut} G$.
• Відображення $\alpha _{g}(x)=gxg^{-1}$ — автоморфізм групи, такі автоморфізми групи називаються внутрішніми.

Множина внутрішніх автоморфізмів позначається $\operatorname {Int} G$. Оскільки $\alpha _{g}\alpha _{h}=\alpha _{hg}$ та $\alpha _{g}\alpha _{h}\alpha _{g}^{-1}=\alpha _{g^{-1}hg}\in \operatorname {Int} G$, то $\operatorname {Int} G$ - нормальна підгрупа в $\operatorname {Aut} G$.

• Фактор-група $\operatorname {Out} G=\operatorname {Aut} G/\operatorname {Int} G$ називається групою зовнішніх автоморфізмів групи, а її елементи - зовнішніми автоморфізмами. Відображення $g\to \alpha _{h}$ визначає гомоморфізм $G\to \operatorname {Int} G$, ядро якого є центр групи $Z(G)$, так що $\operatorname {Int} G\cong G/Z(G)$. *
• Всі нормальні підгрупи інваріантні під дією внутрішніх автоморфізмів. Підгрупи, інваріантні під дією всіх автоморфізмів групи, називаються характеристичними.
• Всяка група, що збігається зі своєю групою автоморфізмів, називається досконалою. Досконалими є всі симетричні групи $S_{n}$ при $n\neq 2;6$.
• Розширення групи, за допомогою групи автоморфізмів, називається голоморфом.

Приклади

• $\operatorname {Aut} \mathbb {Z} ^{+}=\mathbb {Z} _{2}$
• $\operatorname {Aut} \mathbb {Q} ^{+}=\mathbb {Q} ^{\times }$
• $\operatorname {Aut} \mathbb {Z} _{n}^{+}=\mathbb {Z} _{\varphi (n)}$
• $\operatorname {Aut} \mathbb {Z} _{p}^{\times }=\mathbb {Z} _{\varphi (p-1)}^{+}$
• $\operatorname {Aut} S_{n}=S_{n},n\neq 2;6$, * $\operatorname {Out} S_{6}=\mathbb {Z} _{2}$
• $\operatorname {char} K>2\Rightarrow \operatorname {Aut} \operatorname {GL} _{n}(K)=\operatorname {SL} _{n}(K),K$ - поле характеристики більшої за 2.

Автоморфізми графів

Найменше асиметричне дерево

Найменший асиметричний граф

Автоморфізм графу є відображення безлічі вершин графу на себе, що зберігає суміжність. Множина таких автоморфізмів утворює вершинну групу графу або просто групу графу. Група підстановок на множині ребер називається реберною групою графу, яка тісно пов'язана з вершинною:

Реберна і вершинна групи графу ізоморфні тоді і тільки тоді, коли є не більше однієїізольованої вершини і немає компонент зв'язності, які складаються з єдиного ребра.

Граф, для якого єдиний можливий автоморфізм це тотожне відображення, називається асиметричним. Найменше асиметричне дерево має сім вершин, а найменший асиметричний граф шість вершин і стільки ж ребер.

Для будь-якої кінцевої групи знайдеться такий кінцевий неорієнтований граф, що його група автоморфізмів ізоморфна даній. Результат отриманий Р. Фрухтом, в основі докази - перетворення кольорового графу групи, узагальнення графу Келі.

Див. також

• Ізоморфізм груп
• Ізоморфізм
• Гомоморфізм груп
• Теореми про ізоморфізми

Література

• Курош А. Г. Теория групп. — 3-е изд. — Москва : Наука, 1967. — 648 с. — ISBN 5-8114-0616-9.(рос.)
• Кон П. Универсальная алгебра. — Москва : Мир, 1968. — 351 с.(рос.)

Посилання

• Автоморфізм [Архівовано 20 вересня 2020 у Wayback Machine.] // ВУЕ