Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
§ 7. НИЛЬПОТЕНТНЫЕ АЛГЕБРЫБудем называть элемент а алгебры А нильпотентным, если для него существует такой показатель а, при котором
Если все элементы алгебры А нильпотентны, то самую алгебру мы будем называть слабо нильпотентной. Если же для самой алгебры А существует такой показатель а, при котором
то мы будем называть алгебру А нильпотентной, В нильпотентной алгебре произведение её любых а элементов равно нулю, каковое свойство может служить определением нильпотентной алгебры. Докажем, что в случае алгебры А конечного порядка понятия нильпотентности и слабой нильпотентности совпадают. Теорема 2., Всякая слабо нилъпотентная алгебра конечного порядка нильпотентна. Доказательство. Допустим противное. Тогда алгебры
не могут быть все время уменьшающихся порядков, так как порядок каждой конечен. Следовательнр, найдётся такое
Вводя обозначение
Пусть
Это равенство означает, что всякий элемент алгебры Вможно представить в виде суммы элементов идеалов Докажем, что хотя
и разлагая выражёние
мы получим в каждом члене по крайней мере
этот член обратится в нуль. Отсюда
что противоречит равенству (7.1). Пусть
Вводя обозначения
Внутри алгебры
и т. д. Порядки получаемых таким образом алгебр
не могут всё время убывать. Пусть для какой-нибудь из этих алгебр, например,
Это равенство показывает, что уравнение
имеет решение
Тогда для любого а мы будем иметь
a это показывает, что в связи с этой теоремой легко доказать следующую важную для дальнейшего теорему. Назовём идемпотентом элемент
Тогда имеет место Теорема 3. Если алгебра А не нильпотентна, то она содержит идемпотент. Доказательство. Пусть А — не нильпотентная алгебра. При доказательстве теоремы 2 мы видёли, Что она содержит подалгебру
Из эгого, во-первых, следует, что
так как тогда, беря его в качестве первого элемента базиса
мы бы имели
и порядок алгебры Во-вторых, из (7.3) следует, что
откуда
Но, в силу только что доказанного, элемент Найдём аналитические условия нильпотейтности элемента, а также нильпотентности алгебры. Для этого мы воспользуемся изоморфным представлением алгебры матрицами. Теорема 4. Для того чтобы элемент а был нильпотентным, необходимо и достаточно, чтобы в матрице, соответствующей ему в изоморфном представлении, все характеристические корни были равны нулю. Доказательство. Условие достаточно, так как в этом случае характеристическое уравнение матрицы А имеет вид
Но, как известно, матрица есть символический корень своего характеристического уравнения, откуда
Но так как представление изоморфно, то должно иметь место равенство
что и нужно. Условие необходимо. В самом деле, пусть
тогда полином
должен быть делителем полинома и потому имеет форму
откуда следует, что все его корни — нули. Следствие. В алгебре порядка Это следует из того, что алгебра порядка Для вывода аналитических условий нильпотентности алгебры введём понятие следа элемента в каком-нибудь изоморфном представлении. Следом элетта а называется сумма диагональных элементов соответствующей ему матрицы. Иначе — это коэффициент при
В силу линейности его выражения через элементы матрицы имеет место формула
тобы получить выражение для следа элемента а базибй вспомним формулы (3.2):
из которых получаем выражение для матрицы, соответствующей элементу, а
откуда
В силу (7.4) для элемента
имеет место
Сформулируем условие нильпотентности алгебры: Теорема 5. Для того чтобы алгебра А была нильпотентна, необходимо и достаточно, чтобы для элементов её базиса
Доказательство. Условие необходимо, так как из нильпотентности алгебры следует нильпотентность элементов её базиса, для которых, таким образом, характеристические полиномы имеют вид и потому, в частности, имеет место Условие достаточно. Чтобы убедиться в этом, выразим через базис степени произвольного элемента а алгебры, для которой имеет место (7.7). Тогда в силу (7.4) получим
Но из теории матриц известно, что характеристический полином матрицы А имеет корнями Следует, что равны нулю и коэффициенты её характеристического полинома, так как они выражаются через суммы степеней корней при помощи формул Ньютона. Отсюда в силу теоремы 4 следует, что элемент а нильпотентен, т. е. алгебра А слабо нильпотентна. Из теоремы же 2 вытекает нильпотентность алгебры Примечание. Мы доказали теорему 2, предполагая алгебру А конечной. Для случая, когда алгебра бесконечна, можно привести пример слабо нильпотентной, но не нильпо тентной алгебры. Пусть алгебра имеет бесконечный базис
Тогда всякий её элемент, выражаемый через конечное число элементов базиса:
нильпотентен:
|
1 |
Оглавление
|