Имеется некоторая нильпотентная конечномерная алгебра Ли, а точнее некоторый её базис и структурные коэффициенты(не знаю так ли в русской литературе, написал дословный перевод с английского). Требуется найти размерность её алгебры дифференцирований. Каким способом это можно сделать?
Я развивал такую мысль:
пусть
алгебра Ли,
,
,
.
Расписываем действие дифференцирования на каждый из элементов
,
Затем, зная структурные коэффициенты, нужно рассмотреть действие дифференцирования на элементы из
для всех
- так как алгебра нильпотентная, то центральный ряд конечный. Таким способом будут наложены некоторый перечень условий на элементы матрицы данного дифференцирования. Затем берем два дифференцирования, записанных так, чтобы учесть все полученные условия и находим их коммутатор. Этим мы проверяем достаточны ли данные условия, чтобы сказать, что каждый элемент, удовлетворяющий им - дифференцирование. Далее появляются новые условия, и цель - найти такие условия, которые бы 1) давали алгебру наибольшей размерности, 2) были в соответствии с
, которая является идеалом в алгебре дифференцирований.
Естественно, это все как алгоритм для программы.