Русская Википедия:Совершенная группа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Эта статья

Другое значение этого термина: группа, совпадающая со своим коммутантом

Совершенная группа[1]группа <math>G</math>, такая что отображение <math>G \to Aut(G)</math> является изоморфизмом. Это отображение посылает элемент <math>g \in G</math> в автоморфизм сопряжения <math>s_g: h \to ghg^{-1}</math>. Инъективность этого отображения равносильна тривиальности центра, а сюръективность — тому, что каждый автоморфизм является внутренним.

Примерами являются симметрические группы <math>S_n</math> при <math>n \neq 2, 6</math> (теорема Гёльдера); при этом группа <math>S_2=\mathbb Z_2</math> имеет нетривиальный центр, а у группы <math>S_6</math> существует Шаблон:Нп5.

Автоморфизмы простой группы образуют почти простую группу, а автоморфизмы неабелевой простой группы — совершенную группу.

Не любая группа, изоморфная своей группе автоморфизмов, является совершенной — необходимо, чтобы изоморфизм осуществлялся отображением сопряжения. Примером группы, для которой <math>G = Aut(G)</math>, но которая не является совершенной, является группа диэдра <math>D_4</math>[2].

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Перевести

  1. Шаблон:Книга
  2. Robinson, section 13.5