Jump to content

Внутренний автоморфизм

В абстрактной алгебре внутренний автоморфизм — это автоморфизм группы заданный , кольца или алгебры, действием сопряжения фиксированного элемента, называемого сопряженным элементом . Их можно реализовать с помощью простых операций внутри самой группы, отсюда и прилагательное «внутренний». Эти внутренние автоморфизмы образуют подгруппу группы автоморфизмов, а фактор группы автоморфизмов по этой подгруппе определяется как внешняя группа автоморфизмов .

Определение

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

Если G — группа, а g — элемент G (альтернативно, если G — кольцо, а g единица ), то функция

называется (правым) сопряжением по g (см. также класс сопряжения ). Эта функция является : для эндоморфизмом G всех

где второе равенство дается вставкой тождества между и Кроме того, он имеет левую и правую инверсию , а именно Таким образом, является биективным и, следовательно, является изоморфизмом G с самим собой, т. е. автоморфизмом. — Внутренний автоморфизм это любой автоморфизм, возникающий в результате сопряжения. [1]

При обсуждении правильного спряжения выражение часто обозначается экспоненциально Это обозначение используется потому, что состав спряжений удовлетворяет тождеству: для всех Это показывает, что правильное сопряжение дает правильное действие группы G на себя.

Группы внутренних и внешних автоморфизмов

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

Композиция G двух внутренних автоморфизмов снова является внутренним автоморфизмом, и с помощью этой операции совокупность всех внутренних автоморфизмов G представляет собой группу, группа внутренних автоморфизмов обозначается Inn ( G ) .

Inn( G ) нормальная подгруппа полной группы автоморфизмов ( G ) группы G. Aut Внешняя автоморфизмов группа Out( G ) является факторгруппой

Группа внешних автоморфизмов в некотором смысле измеряет, сколько автоморфизмов группы G не являются внутренними. Каждый невнутренний автоморфизм дает нетривиальный элемент Out( G ) , но разные невнутренние автоморфизмы могут давать один и тот же элемент Out( G ) .

Сказать, что сопряжение x с помощью a оставляет x неизмененным, эквивалентно утверждению, что a и x коммутируют:

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

Автоморфизм группы G является внутренним тогда и только тогда, когда он распространяется на любую группу, содержащую G . [2]

Сопоставляя элементу a G внутренний автоморфизм f ( x ) = x а в Inn( G ) как указано выше, получается изоморфизм между факторгруппой G / Z( G ) (где Z( G ) центр G , ) и внутренней группой автоморфизмов:

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

Невнутренние автоморфизмы конечных p -групп

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

Результат Вольфганга Гашютца гласит, что если G — конечная неабелева p -группа , то G имеет автоморфизм p -степенного порядка, который не является внутренним.

, остается открытым Вопрос о том, имеет ли каждая неабелева p -группа G автоморфизм порядка p . Последний вопрос имеет положительный ответ, если G имеет одно из следующих условий:

  1. G нильпотент класса 2
  2. G регулярная p -группа
  3. G /Z( G ) мощная p -группа
  4. Централизатор G в G , C G , центра Z Φ подгруппы Фраттини группы равен , Φ C G Z Φ( G ) , не ( G )

Типы групп

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

Группа внутренних автоморфизмов группы G Inn ( G ) тривиальна (т. е. состоит только из единичного элемента ) тогда и только тогда, G абелева когда .

Группа Inn( G ) циклична только тогда , когда она тривиальна.

На противоположном конце спектра внутренние автоморфизмы могут исчерпать всю группу автоморфизмов; Группа, все автоморфизмы которой внутренние и центр тривиален, называется полной . Это относится ко всем симметричным группам на n элементах, когда n не равно 2 или 6. Когда n = 6 , симметричная группа имеет уникальный нетривиальный класс невнутренних автоморфизмов, а когда n = 2 , симметричная группа группа, несмотря на отсутствие невнутренних автоморфизмов, является абелевой, что дает нетривиальный центр, что лишает ее полноты.

Если группа внутренних автоморфизмов совершенной группы G проста, то G называется квазипростой .

Случай алгебры Ли

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

Автоморфизм алгебры Ли 𝔊 называется внутренним автоморфизмом, если он имеет вид Ad g , где Ad присоединенное отображение , а g — элемент группы Ли , алгеброй Ли которой является 𝔊 . Понятие внутреннего автоморфизма алгебр Ли совместимо с понятием групп в том смысле, что внутренний автоморфизм группы Ли индуцирует единственный внутренний автоморфизм соответствующей алгебры Ли.

Расширение

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

Если G группа единиц кольца G A , то внутренний автоморфизм на A может быть расширен до отображения на над проективной прямой с помощью группы единиц кольца матриц M 2 ( A ) . внутренние автоморфизмы классических групп В частности, таким образом можно расширить .

  1. ^ Даммит, Дэвид С.; Фут, Ричард М. (2004). Абстрактная алгебра (3-е изд.). Хобокен, Нью-Джерси: Уайли. п. 45. ИСБН  978-0-4714-5234-8 . OCLC   248917264 .
  2. ^ Шупп, Пол Э. (1987), «Характеристика внутренних автоморфизмов» (PDF) , Proceedings of the American Mathematical Society , 101 (2), American Mathematical Society: 226–228, doi : 10.2307/2045986 , JSTOR   2045986 , MR   0902532

Дальнейшее чтение

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4f4b68ac865d1cee2f94b6dce8073642__1705044120
URL1:https://arc.ask3.ru/arc/aa/4f/42/4f4b68ac865d1cee2f94b6dce8073642.html
Заголовок, (Title) документа по адресу, URL1:
Inner automorphism - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)