Группа называется нильпотентной, если её нижний центральный ряд,
G_0=G и G_{n+1}=[G,G_n], обрывается на единичной подгруппе. Эквивалентное определение: группа может быть построена из абелевых «блоков» с помощью последовательности центральных расширений.Аналогия/метафора #наведениемостов
Представьте себе группу как «дом», состоящий из нескольких «этажей». Подгруппа
G_n — часть «дома», начиная с этажа n и выше (этаж на земле, ground floor, нулевой). Сам «этаж» — это фактор G_n/G_{n+1} (пространство между G_n и G_{n+1}). Эти факторы всегда абелевы, поэтому «этажи» — «абелевы квартиры».Класс/ступень нильпотентности группы — число непустых «этажей»: если
G_n={1}, то дом имеет высоту n и больше не растёт вверх. Одноэтажные дома (нильпотентные ступени 1) — абелевы группы. Простейшая неабелева нильпотентная группа — дискретная группа Гейзенберга — имеет два «этажа»: Z^2 на нижнем и Z наверху[ Z ] <— этаж 1 (G_1/G_2 = G_1 = коммутант = центр)---- [Z^2] <— этаж 0 (G_0/G_1 = G/G_1 = абелианизация)Каждый этаж дома устроен просто и понятно (абелев), но взаимодействие между этажами может создавать сложную архитектуру всего здания.
Границы применимости аналогии
В реальной жизни дом однозначно определяется своими этажами и способом их соединения. Однако в теории групп это предсказание ломается, ситуация принципиально иная: знание всех «этажей» (факторов нижнего центрального ряда) и даже способа их соединения не определяет группу однозначно — это фундаментальная проблема расширения в теории групп. Аналогия с домом не учитывает нетривиальные вторые когомологии, отвечающие центральным расширениям: одинаковые по этажам планировки могут быть скреплены по-разному — где поставить лестницу, какие несущие балки — и в результате «дома» окажутся неизоморфными.
Бонус. Чтобы увидеть, как в этой аналогии отражается ключевое свойство
[G_p,G_q] ⊆ G_{p+q}, представьте себе, что наш дом — это штаб-квартира крупной организации. Первый этаж — общедоступное лобби, второй — внутренние документы, третий — «секретный архив» и т.д. Чем выше номер этажа — тем ближе к «центру» организации.Взаимодействие двух работников организации (коммутатор двух элементов) с уровня
p и q порождает документ/эффект, который кладут «выше», на уровень p+q. Коммутатор повышает уровень секретности и перемещает на более высокий этаж.Это — мощный инструмент для развития интуиции нильпотентности. Как вы думаете, какие ещё «здания» в теории групп можно описать подобным образом?