Характеристична підгрупа

Характеристична підгрупа — підгрупа, інваріантна відносно всіх автоморфізмів групи. Тобто підгрупа $H⩽G$ є характеристичною, якщо для кожного автоморфізму $\phi :G\to G$ групи $G$ і для кожного елемента $h\in H$ виконується $\phi (h)\in H$.

Властивості

• Якщо підгрупа є характеристичною, вона є нормальною, зворотне твердження невірне.

Наприклад якщо група G є прямим добутком H × H, то підгрупи {1} × H і H × {1} є нормальними, але не є характеристичними (зокрема не є інваріантними щодо автоморфізму (x, y) → (y, x))

• Якщо N є нормальною підгрупою групи G, а A є характеристичною підгрупою групи N, то Aє нормальною підгрупою групи G.

Для деякого $g\in G$ визначимо внутрішній автоморфізм таким чином: ${\phi }_g(h)=g^{-1}hg.$ Оскільки група N нормальна то за означенням маємо, що $\phi (N)=N$ тобто ${\phi }_g$ є автоморфізмом групи N. Відповідно оскільки A є характеристичною підгрупою групи N то вона інваріантна щодо усіх таких ${\phi }_g$ тобто є нормальною.

• Якщо N є характеристичною підгрупою групи G, і A є характеристичною підгрупою групи N, то іAє характеристичною підгрупою групи G.

Доводиться ідентично до попереднього з заміною ${\phi }_g$ на довільний автоморфізм.

Приклади

• Будь-яка підгрупа циклічної групи характеристична.
• Центр групи є характеристичною підгрупою.

Дійсно нехай $\phi :G\to G$ деякий автоморфізм групи і $x\in Z(g)$ деякий елемент, що належить центру групи. Тоді $\phi (x)\phi (g)=\phi (xg)=\phi (gx)=\phi (g)\phi (x),\mathrm{\forall }g\in G$ і оскільки $G=\{\phi (g)|g\in G\}$ то маємо $\phi (g)\in Z(G)$.

• Підгрупа Фраттіні, що визначається як перетин всіх максимальних підгруп, є характеристичною підгрупою.
• Норма групи

Див. також

• Нормальна підгрупа

Джерела

• Шаблон:Курош.Теорія груп

Шаблон:Math-stub