Нильпотентная группа
Материал из Википедии — свободной энциклопедии
Нильпотентная группа — естественное обобщение понятия абелева группа.
Нильпотентные группы встречаются в теории Галуа, а также в работах по классификации групп. Они, кроме того, играют заметную роль в классификации групп Ли. Аналогичные понятия определяются для алгебр Ли.
Содержание |
Определение [править]
Нильпотентная группа ― группа
, обладающая центральным рядом от
до
конечной длины.
Связанные определения [править]
- Длина наиболее короткого центрального ряда нильпотентной группы называется её классом (или ступенью) нильпотентности.
- Все нильпотентные группы класса нильпотентности не больше
образуют многообразие, определяемое тождеством
- Свободные группы этого многообразия, то есть группы удовлетворяющие только таким соотношениям называются свободными нильпотентными группами.
- Все нильпотентные группы класса нильпотентности не больше
Свойства [править]
- В любой нильпотентной группе нижний (а также верхний) центральный ряд обрывается на единичной подгруппе и имеет длину, равную классу нильпотентности группы.
- Конечные нильпотентные группы исчерпываются прямыми произведениями
-групп. - В любой нильпотентной группе элементы конечных порядков образуют подгруппу, факторгруппа по которой не имеет кручения.
- Конечно порожденные нильпотентные группы без кручения исчерпываются группами целочисленных треугольных матриц с единицами на главной диагонали и их подгруппами.
- Конечно порожденные нильпотентные группы являются полициклическими группами, более того, они имеют центральный ряд с циклическими факторами.
- Любая конечно порождённая нильпотентная группа без кручения является решёткой в односвязной нильпотентной группе Ли.
См. также [править]
| В этой статье не хватает ссылок на источники информации.
Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 14 мая 2011. |
образуют ![[\ldots[[x_0,\;x_1],\;x_2],\;\ldots,\;x_n]=1.](http://upload.wikimedia.org/math/7/d/a/7dac67e0b6c3d046892c8e36f85b5197.png)
-групп