Высота группы в математике¶
Высота группы — числовая характеристика группы, определяющая длину самой длинной цепочки вложенных подгрупп. В общей алгебре и теории групп это понятие служит мерой «сложности» строения группы и тесно связано с понятиями длины ряда подгрупп, разрешимости и нильпотентности. Для конечных групп высота обычно конечна, тогда как для бесконечных групп она может быть бесконечной.
¶Определение
Пусть задана группа \(G\). Цепочкой подгрупп называется последовательность
\[ G = G_0 \supset G_1 \supset G_2 \supset \dots \supset G_n = \{e\}, \]
где каждая следующая подгруппа строго содержится в предыдущей, а \(\{e\}\) — единичная подгруппа. Число \(n\) называется длиной этой цепочки. Высотой группы \(G\) называют точную верхнюю грань длин всех таких цепочек подгрупп. Если множество длин неограничено, высота считается бесконечной.
В некоторых источниках термин «высота» применяют к отдельным элементам или подгруппам, а не ко всей группе. В этом случае высота подгруппы \(H\) в \(G\) — это длина самого длинного нормального ряда, соединяющего \(H\) с \(G\). Такое употребление встречается в теории разрешимых и нильпотентных групп.
¶Связь с рядами подгрупп
Ключевую роль играют специальные виды цепочек:
- Нормальный ряд — цепочка, в которой каждая подгруппа нормальна в предыдущей.
- Композиционный ряд — нормальный ряд без уплотнений, то есть между соседними членами нельзя вставить ещё одну нормальную подгруппу.
- Ряд с абелевыми факторами — цепочка, где все факторгруппы \(G_{i}/G_{i+1}\) абелевы.
Для конечной группы длина любого композиционного ряда одинакова — это следствие теоремы Жордана — Гёльдера. Поэтому высота конечной группы совпадает с длиной её композиционного ряда и является инвариантом, не зависящим от выбора конкретной цепочки.
¶Высота и разрешимость
Группа называется разрешимой, если она обладает нормальным рядом с абелевыми факторами. Длина такого ряда называется производной длиной или ступенью разрешимости. Производная длина всегда не превосходит высоты группы, поскольку не всякая цепочка подгрупп обязана быть нормальной.
Для разрешимых групп высота конечна и связана с числом шагов коммутантного ряда:
\[ G \supset G' \supset G'' \supset \dots \supset G^{(n)} = \{e\}, \]
где \(G'\) — коммутант группы. Наименьшее \(n\), при котором ряд обрывается единичной подгруппой, называют ступенью разрешимости. Это число служит верхней оценкой для высоты в классе разрешимых групп.
¶Нильпотентные группы
Нильпотентные группы образуют более узкий класс. Для них строится нижний центральный ряд:
\[ G = \gamma_1 \supset \gamma_2 \supset \dots \supset \gamma_{c+1} = \{e\}, \]
где \(\gamma_{i+1} = [\gamma_i, G]\). Число \(c\) называется классом нильпотентности. Класс нильпотентности всегда не больше высоты группы, а для многих конкретных семейств (например, для групп Гейзенберга) эти величины совпадают или различаются на единицу.
¶Примеры
| Группа | Высота | Пояснение |
|---|---|---|
| Тривиальная группа \(\{e\}\) | 0 | Цепочка состоит из одной подгруппы |
| Циклическая группа \(\mathbb{Z}_p\) простого порядка | 1 | Единственная нетривиальная подгруппа — вся группа |
| Симметрическая группа \(S_3\) | 2 | Ряд \(\{e\} \subset A_3 \subset S_3\) |
| Симметрическая группа \(S_4\) | 4 | Длина композиционного ряда равна 4 |
| Группа \(\mathbb{Z}\) | бесконечна | Цепочка \(p\mathbb{Z} \supset p^2\mathbb{Z} \supset \dots\) неограничена |
Для абелевых групп высота совпадает с длиной композиционного ряда и потому конечна тогда и только тогда, когда группа конечна. Бесконечные абелевы группы, например аддитивная группа целых чисел, имеют бесконечную высоту.
¶Вычислительные аспекты
Определение высоты конечной группы сводится к построению композиционного ряда. Алгоритмически это можно сделать перебором нормальных подгрупп, однако сложность такой процедуры растёт экспоненциально с порядком группы. На практике используют теорему Жордана — Гёльдера и таблицы простых групп: высота выражается через число множителей в разложении порядка группы на простые числа с учётом строения подгрупп.
Для групп небольших порядков высоту удобно находить через решётку подгрупп — диаграмму, отражающую все вложенные подгруппы. Длина самого длинного пути от вершины, соответствующей всей группе, до единичной подгруппы и есть высота.
¶Значение в теории групп
Высота служит одним из базовых инвариантов при классификации групп. Она позволяет:
- оценивать сложность строения группы без полного описания её элементов;
- различать группы одинакового порядка с разной структурой подгрупп;
- формулировать критерии разрешимости и нильпотентности;
- строить индуктивные доказательства, где переход от группы к её подгруппам уменьшает высоту.
В теории конечных групп высота тесно связана с понятием длины композиционного ряда и используется при доказательстве теорем о строении разрешимых групп, в частности в теоремах Фейта — Томпсона и их обобщениях.
¶Родственные понятия
Помимо высоты группы, в алгебре рассматривают:
- длину группы — синоним высоты в узком смысле, иногда уточняемый как длина нормального ряда;
- ранг группы — минимальное число порождающих элементов;
- экспоненту группы — наименьшее общее кратное порядков элементов;
- ступень разрешимости — длина коммутантного ряда.
Эти характеристики дополняют друг друга: ранг описывает «ширину» группы, а высота — её «глубину» по вложенным подгруппам.
¶Источники
- Курош А. Г. Теория групп.
- Каргаполов М. И., Мерзляков Ю. И. Основы теории групп.
- Ван дер Варден Б. Л. Алгебра.
- Холл М. Теория групп.
- Dummit D., Foote R. Abstract Algebra.