Нильпотент

Нильпотент — это элемент кольца или алгебры, некоторая степень которого равна нулю. В более общем смысле, нильпотентный элемент — это такой элемент a, для которого существует натуральное число n, такое что aⁿ = 0. Наименьшее такое n называется индексом (или степенью) нильпотентности элемента. Понятие нильпотентности играет фундаментальную роль в теории колец, алгебр Ли и теории групп, где существуют аналогичные определения для подгрупп и элементов групп.

Определение и основные свойства

Формально, пусть R — кольцо. Элемент a ∈ R называется нильпотентным, если существует положительное целое число n, такое что aⁿ = 0. Если n = 1, то a = 0, поэтому нулевой элемент всегда нильпотентен. Все остальные нильпотентные элементы являются делителями нуля (но не наоборот). Например, в кольце матриц 2×2 над полем матрица [[0,1],[0,0]] является нильпотентной, так как её квадрат равен нулю.

Свойства нильпотентных элементов:

• Сумма двух нильпотентных элементов не обязательно нильпотентна, но если они коммутируют, то их сумма также нильпотентна.
• Произведение нильпотентного элемента на любой элемент кольца (слева или справа) является нильпотентным, если кольцо коммутативно.
• В коммутативном кольце множество всех нильпотентных элементов образует идеал, называемый нильрадикалом кольца.
• Элемент, обратимый относительно умножения, не может быть нильпотентным (кроме тривиального случая кольца из одного элемента).

Нильпотентные кольца и алгебры

Кольцо называется нильпотентным, если существует такое целое n, что произведение любых n элементов кольца равно нулю. Это условие сильнее, чем просто наличие нильпотентных элементов. Например, кольцо верхних треугольных матриц с нулями на главной диагонали (строго верхнетреугольных) является нильпотентным. Индекс нильпотентности такого кольца равен размеру матриц.

В теории алгебр Ли особое значение имеют нильпотентные алгебры Ли. Алгебра Ли L называется нильпотентной, если её нижний центральный ряд обрывается на нуле. Нижний центральный ряд определяется рекуррентно: C₀(L) = L, C₁(L) = [L, L], C₂(L) = [L, C₁(L)], и так далее. Алгебра Ли нильпотентна, если Cₖ(L) = 0 для некоторого k. Классическим примером является алгебра Ли строго верхнетреугольных матриц (алгебра Ли всех нильпотентных матриц). Теорема Энгеля утверждает, что конечномерная алгебра Ли нильпотентна тогда и только тогда, когда каждый её элемент ad-нильпотентен (то есть линейное отображение ad(x): y → [x,y] является нильпотентным для всех x).

Нильпотентные группы

В теории групп понятие нильпотентности обобщает понятие абелевости. Группа G называется нильпотентной, если её нижний центральный ряд (определяемый как γ₁(G) = G, γ₂(G) = [G,G], γ₃(G) = [G,γ₂(G)], …) достигает тривиальной подгруппы за конечное число шагов. Класс нильпотентности — это наименьшее n, такое что γₙ₊₁(G) = {e}.

Свойства нильпотентных групп:

• Все абелевы группы являются нильпотентными (класса 1).
• Конечные p-группы (группы, порядок которых является степенью простого числа p) всегда нильпотентны.
• Класс нильпотентных групп замкнут относительно взятия подгрупп, факторгрупп и прямых произведений.
• Нильпотентные группы являются разрешимыми, но обратное неверно (например, симметрическая группа S₃ разрешима, но не нильпотентна).

Примеры нильпотентных групп:

• Группа верхних унитреугольных матриц над кольцом (матрицы с единицами на главной диагонали и нулями ниже) является нильпотентной.
• Группа кватернионов Q₈ (порядка 8) нильпотентна класса 2.
• Группа диэдра D₄ (порядка 8) нильпотентна класса 2.

Нильпотентные матрицы

Квадратная матрица A называется нильпотентной, если Aᵏ = 0 для некоторого натурального k. Наименьшее такое k называется индексом нильпотентности матрицы. Нильпотентные матрицы имеют важное значение в линейной алгебре и её приложениях.

Характеристики нильпотентных матриц:

• Все собственные значения нильпотентной матрицы равны нулю (в алгебраически замкнутом поле).
• Характеристический многочлен нильпотентной матрицы равен λⁿ, где n — размер матрицы.
• Минимальный многочлен равен λᵏ, где k — индекс нильпотентности.
• След, определитель и все коэффициенты характеристического многочлена (кроме старшего) равны нулю.
• Любая нильпотентная матрица подобна жордановой форме, состоящей из жордановых клеток с нулевым собственным значением.

Каноническая форма нильпотентной матрицы (жорданова форма) состоит из блоков вида Jₖ(0) — жордановых клеток размера k с нулями на диагонали. Размеры этих клеток определяют структуру нильпотентной матрицы с точностью до подобия.

Нильрадикал

В коммутативном кольце R множество всех нильпотентных элементов образует идеал, называемый нильрадикалом (или радикалом Джекобсона для коммутативных колец). Обозначается Nil(R) или √0. Факторкольцо R/Nil(R) не содержит ненулевых нильпотентных элементов, то есть является редуцированным кольцом.

В некоммутативных кольцах нильрадикал определяется как наибольший ниль-идеал (идеал, состоящий из нильпотентных элементов). Понятие нильрадикала тесно связано с радикалом Джекобсона, который для артиновых колец совпадает с нильрадикалом. Теорема Гопкинса-Левицкого утверждает, что в левоартиновом кольце радикал Джекобсона нильпотентен.

Применения

Нильпотентные структуры находят применение в различных областях математики и физики:

• Теория представлений: Нильпотентные алгебры Ли используются при изучении представлений полупростых алгебр Ли. Теорема о нильпотентном конусе связывает нильпотентные элементы с орбитами коприсоединённого действия.
• Алгебраическая геометрия: Нильпотентные элементы в кольцах соответствуют точным нильпотентам в схемной теории, что позволяет описывать бесконечно малые деформации.
• Теория групп: Нильпотентные группы играют ключевую роль в теории конечных групп (теорема Силова, классификация p-групп) и в геометрической теории групп (группы полициклические, почти нильпотентные).
• Квантовая механика: Операторы рождения и уничтожения в квантовой механике (для гармонического осциллятора) обладают свойствами, аналогичными нильпотентным элементам в алгебре Гейзенберга.
• Численные методы: Нильпотентные матрицы возникают при изучении жордановых форм и методах решения дифференциальных уравнений (например, матричная экспонента от нильпотентной матрицы является полиномом).

Интересные факты

• В кольце вычетов Zₙ элемент является нильпотентным тогда и только тогда, когда он делится на каждый простой делитель n. Например, в Z₁₂ элемент 6 нильпотентен (6² = 36 ≡ 0 mod 12), а 4 — нет (4² = 16 ≡ 4 mod 12).
• Понятие нильпотентности обобщается на категории: объект называется нильпотентным, если его эндоморфизм некоторой степени равен нулю.
• В теории колец существует понятие ниль-кольца, в котором каждый элемент нильпотентен. Знаменитая проблема Куроша о том, является ли ниль-кольцо обязательно локально нильпотентным, была решена отрицательно Е.С. Голодом и И.Р. Шафаревичем в 1964 году.
• Теорема Энгеля, характеризующая нильпотентные алгебры Ли, является одним из фундаментальных результатов теории алгебр Ли. Её доказательство использует понятие ad-нильпотентности и индукцию по размерности.
• В теории групп существует понятие нильпотентной группы конечного класса, которое является естественным обобщением абелевых групп. Все конечные p-группы нильпотентны, что делает их важным объектом изучения в теории конечных групп.