Связанные определения
- Если образ подгруппы при действии любого эндоморфизма лежит внутри подгруппы, то подгруппа называется вполне характеристической. Ясно, что любая вполне характеристическая группа является характеристической.
- Любая группа имеет 2 характеристических подгруппы, называемых тривиальными: саму группу и единичную подгруппу. Группа, не имеющая нетривиальных характеристических подгрупп называется элементарной.
Свойства
- Всякая характеристическая подгруппа является нормальной (так как сопряжение является автоморфизмом), обратное, вообще говоря, неверно. Если группа автоморфизмов группы
совпадает с группой внутренних автоморфизмов
то любая нормальная подгруппа группы является характеристической.
- Свойство «быть характеристической подгруппой» транзитивно, то есть если A характеристична (вполне характеристична) в B, а B характеристична (вполне характеристична) в C, то A характеристична (вполне характеристична) в C.
- Пересечение характеристичных (вполне характеристичных) подгрупп является характеристичной (вполне характеристичной) подгруппой.
- Подгруппа, порожденная множеством характеристичных (вполне характеристичных) подгрупп является характеристичной (вполне характеристичной) подгруппой.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .