WikiDer > Подгруппа Фраттини

Диаграмма Хассе из решетка подгрупп из группа диэдра Dih₄. В трехэлементном слое - максимальные подгруппы; их пересечение ( Подгруппа Фраттини) является центральным элементом в 5-элементном слое. Так Ди₄ имеет только один не генерирующий элемент за пределами е.

В математика, особенно в теория групп, то Подгруппа Фраттини ${ Displaystyle Phi (G)}$ из группа грамм это пересечение из всех максимальные подгруппы из грамм. В случае, если грамм не имеет максимальных подгрупп, например тривиальная группа {е} или Prüfer group, он определяется ${ Displaystyle Phi (G) = G}$. Это аналог Радикал Якобсона в теории кольца, и интуитивно может рассматриваться как подгруппа «малых элементов» (см. характеристику «не-генератор» ниже). Он назван в честь Джованни Фраттини, который определил эту концепцию в статье, опубликованной в 1885 году.^[1]

Некоторые факты

• ${ Displaystyle Phi (G)}$ равно множеству всех негенераторы или же непроизводящие элементы из грамм. Непроизводящий элемент грамм это элемент, который всегда можно удалить из генераторная установка; то есть элемент а из грамм так что всякий раз, когда Икс является порождающим набором грамм содержащий а, ${ Displaystyle Х setminus {а }}$ также является порождающим набором грамм.
• ${ Displaystyle Phi (G)}$ всегда характеристическая подгруппа из грамм; в частности, это всегда нормальная подгруппа из грамм.
• Если грамм конечно, то ${ Displaystyle Phi (G)}$ является нильпотентный.
• Если грамм конечный п-группа, тогда ${ Displaystyle Phi (G) = G ^ {p} [G, G]}$. Таким образом, подгруппа Фраттини наименьшая (по включению) нормальная подгруппа N так что факторгруппа ${ Displaystyle G / N}$ является элементарная абелева группа, т.е. изоморфный к прямая сумма из циклические группы из порядок п. Более того, если фактор-группа ${ Displaystyle G / Phi (G)}$ (также называемый Коэффициент Фраттини из грамм) имеет порядок ${ displaystyle p ^ {k}}$, тогда k - наименьшее количество генераторов для грамм (то есть наименьшая мощность порождающего набора для грамм). В частности, конечный п-группа циклическая если и только если его фактор Фраттини циклический (порядка п). Конечная п-группа является элементарной абелевой тогда и только тогда, когда ее подгруппа Фраттини является тривиальная группа, ${ Displaystyle Phi (G) = {е }}$.
• Если ЧАС и K конечны, то ${ Displaystyle Фи (ЧАС раз К) = Фи (Н) раз Фи (К)}$.

Примером группы с нетривиальной подгруппой Фраттини является группа циклическая группа грамм порядка ${ displaystyle p ^ {2}}$, куда п простое, порожденное а, сказать; здесь, ${ Displaystyle Phi (G) = влево langle a ^ {p} вправо rangle}$.

Смотрите также

• Подгруппа фитингов
• Аргумент Фраттини
• Цоколь

Рекомендации

• Холл, Маршалл (1959). Теория групп. Нью-Йорк: Макмиллан. (См. Главу 10, особенно раздел 10.4.)