Нильпотентный

Элемент в кольце, некоторая степень которого равна 0.

В математике элемент кольца называется нильпотентным , если существует некоторое натуральное число , называемое индексом (или иногда степенью ), такое, что . ${\displaystyle x}$ ${\displaystyle R}$ ${\displaystyle n}$ ${\displaystyle x^{n}=0}$

Этот термин вместе со своим сестринским идемпотентом был введен Бенджамином Пирсом в контексте его работы по классификации алгебр. ^[1]

Примеры

• Это определение может быть применено, в частности, к квадратным матрицам . Матрица

${\displaystyle A={\begin{pmatrix}0&1&0\\0&0&1\\0&0&0\end{pmatrix}}}$

нильпотентна, потому что . Подробнее см. нильпотентную матрицу . ${\displaystyle A^{3}=0}$

• В факторкольце класс эквивалентности 3 нильпотентен, поскольку 3 2 конгруэнтен ⁰ по модулю 9 . ${\displaystyle \mathbb {Z} /9\mathbb {Z} }$
• Предположим, что два элемента и в кольце удовлетворяют . Тогда элемент нильпотентен как ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle R}$ ${\displaystyle ab=0}$ ${\displaystyle c=ba}$
  $${\displaystyle {\begin{aligned}c^{2}&=(ba)^{2}\\&=b(ab)a\\&=0.\\\end{aligned}}}$$
  Пример с матрицами (для a ,  b ):
  $${\displaystyle A={\begin{pmatrix}0&1\\0&1\end{pmatrix}},\;\;B={\begin{pmatrix}0&1\\0&0\end{pmatrix}}.}$$
  Вот и . ${\displaystyle AB=0}$ ${\displaystyle BA=B}$

• По определению любой элемент нильполугруппы нильпотентен .

Характеристики

Ни один нильпотентный элемент не может быть единицей (за исключением тривиального кольца , которое имеет только один элемент 0 = 1 ). Все нильпотентные элементы являются делителями нуля .

Матрица с элементами из поля нильпотентна тогда и только тогда, когда ее характеристический полином равен . ${\displaystyle n\times n}$ ${\displaystyle A}$ ${\displaystyle t^{n}}$

Если нильпотентен, то является единицей , поскольку влечет за собой ${\displaystyle x}$ ${\displaystyle 1-x}$ ${\displaystyle x^{n}=0}$

$${\displaystyle (1-x)(1+x+x^{2}+\cdots +x^{n-1})=1-x^{n}=1.}$$

В более общем смысле, сумма единичного элемента и нильпотентного элемента является единицей, когда они коммутируют.

Коммутативные кольца

Нильпотентные элементы коммутативного кольца образуют идеал ; это следствие биномиальной теоремы . Этот идеал является нильрадикалом кольца. Каждый нильпотентный элемент коммутативного кольца содержится в каждом простом идеале этого кольца, поскольку . Так содержится в пересечении всех простых идеалов. ${\displaystyle R}$ ${\displaystyle {\mathfrak {N}}}$ ${\displaystyle x}$ ${\displaystyle {\mathfrak {p}}}$ ${\displaystyle x^{n}=0\in {\mathfrak {p}}}$ ${\displaystyle {\mathfrak {N}}}$

Если не нильпотентно, мы можем провести локализацию по степеням :, чтобы получить ненулевое кольцо . Простые идеалы локализованного кольца в точности соответствуют тем простым идеалам с . ^[2] Поскольку каждое ненулевое коммутативное кольцо имеет максимальный идеал, который является простым, каждое ненильпотентное кольцо не содержится в каком-либо простом идеале. Таким образом, это в точности пересечение всех простых идеалов. ^[3] ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle S=\{1,x,x^{2},...\}}$ ${\displaystyle S^{-1}R}$ ${\displaystyle {\mathfrak {p}}}$ ${\displaystyle R}$ ${\displaystyle {\mathfrak {p}}\cap S=\emptyset }$ ${\displaystyle x}$ ${\displaystyle {\mathfrak {N}}}$

Для нильрадикала доступна характеристика, аналогичная характеристике радикала Джекобсона и аннигиляции простых модулей: нильпотентные элементы кольца - это именно те, которые аннулируют все области целостности, внутренние по кольцу (то есть имеют форму для простых идеалов ). Это следует из того, что нильрадикал является пересечением всех простых идеалов. ${\displaystyle R}$ ${\displaystyle R}$ ${\displaystyle R/I}$ ${\displaystyle I}$

Нильпотентные элементы в алгебре Ли

Пусть – алгебра Ли . Тогда элемент называется нильпотентным, если он находится в и является нильпотентным преобразованием. См. также: Жорданово разложение в алгебре Ли . ${\displaystyle {\mathfrak {g}}}$ ${\displaystyle x\in {\mathfrak {g}}}$ ${\displaystyle [{\mathfrak {g}},{\mathfrak {g}}]}$ ${\displaystyle \operatorname {ad} x}$

Нильпотентность в физике

Любой лестничный оператор в конечномерном пространстве нильпотентен. Они представляют собой операторы создания и уничтожения , которые переходят из одного состояния в другое, например, повышающие и понижающие матрицы Паули . ${\displaystyle \sigma _{\pm }=(\sigma _{x}\pm i\sigma _{y})/2}$

Операнд , удовлетворяющий условиям, является нильпотентным. Числа Грассмана , которые позволяют представить фермионные поля в виде интегралов по траекториям, являются нильпотентными, поскольку их квадраты равны нулю. Заряд БРСТ является важным примером в физике . ${\displaystyle Q}$ ${\displaystyle Q^{2}=0}$

Поскольку линейные операторы образуют ассоциативную алгебру и, следовательно, кольцо, это частный случай исходного определения. ^{[4] [5]} В более общем смысле, ввиду приведенных выше определений, оператор нильпотентен, если существует такой, что ( нулевая функция ). Таким образом, линейное отображение нильпотентно тогда и только тогда, когда оно имеет нильпотентную матрицу в некотором базисе. Другим примером является внешняя производная (опять же с ). Оба связаны между собой, в том числе через суперсимметрию и теорию Морса ^[6] , как показано Эдвардом Виттеном в знаменитой статье. ^[7] ${\displaystyle Q}$ ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle Q^{n}=0}$ ${\displaystyle n=2}$

Электромагнитное поле плоской волны без источников нильпотентно, если его выразить в терминах алгебры физического пространства . ^[8] В более общем смысле, техника микроаддитивности (которая может использоваться для вывода теорем в физике) использует нильпотентные или нильквадратные бесконечно малые числа и является частично гладким анализом бесконечно малых величин .

Алгебраические нильпотенты

Двумерные двойственные числа содержат нильпотентное пространство. Другие алгебры и числа, содержащие нильпотентные пространства, включают расщепленные кватернионы (кокватернионы), разделенные октонионы , бикватернионы и комплексные октонионы . Если нильпотентная бесконечно малая представляет собой переменную, стремящуюся к нулю, можно показать, что любая сумма членов, для которых она является предметом, представляет собой неопределенно малую долю члена первого порядка. ${\displaystyle \mathbb {C} \otimes \mathbb {H} }$ ${\displaystyle \mathbb {C} \otimes \mathbb {O} }$

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

• Идемпотентный элемент (теория колец)
• Одномогущий
• Уменьшенное кольцо
• Нулевой идеал
• Нильпотентная матрица

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

1. Полчино Милиес и Сегал (2002), Введение в групповые кольца . п. 127.
2. Мацумура, Хидеюки (1970). «Глава 1: Элементарные результаты». Коммутативная алгебра . В. А. Бенджамин. п. 6. ISBN 978-0-805-37025-6.
3. Атья, МФ; Макдональд, И.Г. (21 февраля 1994 г.). «Глава 1: Кольца и идеалы». Введение в коммутативную алгебру . Вествью Пресс. п. 5. ISBN 978-0-201-40751-8.
4. Пирс, Б. Линейная ассоциативная алгебра . 1870.
5. Польчино Милиес, Сезар; Сегал, Сударшан К. Введение в групповые кольца . Алгебры и приложения, Том 1. Springer, 2002. ISBN 978-1-4020-0238-0 . 
6. А. Роджерс, Топологическая частица и теория Морса , Класс. Квантовая гравитация. 17:3703–3714, 2000 г .: 10.1088/0264-9381/17/18/309.
7. Э. Виттен, Суперсимметрия и теория Морса . J.Diff.Geom.17:661–692, 1982.
8. Роулендс, П. От нуля до бесконечности: основы физики , Лондон, World Scientific 2007, ISBN 978-981-270-914-1