Характеристическая подгруппа: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
→‎Связанные определения: Исправлена опечатка.
м Удаление принудительных пробелов в формулах по ВП:РДБ.
Строка 10:
 
== Свойства ==
* Всякая характеристическая подгруппа является [[Нормальная подгруппа|нормальной]] (так как сопряжение является автоморфизмом), обратное, вообще говоря, неверно. Если группа автоморфизмов группы <math>\operatorname{Aut}G ~</math> совпадает с группой внутренних автоморфизмов <math>\operatorname{Int}G, ~</math> то любая нормальная подгруппа группы является характеристической.
* Свойство «быть характеристической подгруппой» транзитивно, то есть если ''A'' характеристична (вполне характеристична) в ''B'', а ''B'' характеристична (вполне характеристична) в ''C'', то ''A'' характеристична (вполне характеристична) в ''C''.
* Пересечение характеристичных (вполне характеристичных) подгрупп является характеристичной (вполне характеристичной) подгруппой.