Алгебра Лейбница - Leibniz algebra

В математика, а (справа) алгебра Лейбница, названный в честь Готфрид Вильгельм Лейбниц, иногда называемый Лодей алгебра, после Жан-Луи Лоде, это модуль L над коммутативным кольцом р с билинейным произведением [_, _], удовлетворяющим Лейбниц идентичность

${displaystyle [[a, b], c] = [a, [b, c]] + [[a, c], b].,}$

Другими словами, правое умножение на любой элемент c это происхождение. Если дополнительно скобка чередуется ([а, а] = 0), то алгебра Лейбница является Алгебра Ли. Действительно, в этом случае [а, б] = −[б, а] и тождество Лейбница эквивалентно тождеству Якоби ([а, [б, c]] + [c, [а, б]] + [б, [c, а]] = 0). Наоборот, любая алгебра Ли, очевидно, является алгеброй Лейбница.

В этом смысле алгебры Лейбница можно рассматривать как некоммутативное обобщение алгебр Ли. Исследование того, какие теоремы и свойства алгебр Ли до сих пор справедливы для алгебр Лейбница, является постоянной темой в литературе.^[1] Например, было показано, что Теорема Энгеля все еще верно для алгебр Лейбница^[2][3] и что также имеет место более слабая версия теоремы Леви-Мальцева.^[4]

Тензорный модуль, Т(V) любого векторного пространства V можно превратить в алгебру Лоде такую, что

${displaystyle [a_ {1} otimes cdots otimes a_ {n}, x] = a_ {1} otimes cdots a_ {n} otimes xquad {ext {for}} a_ {1}, ldots, a_ {n}, xin V .}$

Это свободная алгебра Лоде над V.

Алгебры Лейбница были открыты в 1965 г. А. Бло, который назвал их D-алгебрами. Они привлекли интерес после того, как Жан-Луи Лоде заметил, что классическая Граничное отображение Шевалле – Эйленберга во внешнем модуле алгебры Ли можно поднять до тензорного модуля, что дает новый цепной комплекс. Фактически этот комплекс определен для любой алгебры Лейбница. Гомология HL(L) этого цепного комплекса известен как Гомологии Лейбница. Если L является алгеброй Ли (бесконечных) матриц над ассоциативной р-алгебры A, то гомологии Лейбница L тензорная алгебра над Гомологии Хохшильда из А.

А Алгебра Зинбиеля это Кошул двойной понятие в алгебру Лейбница. Он имеет определяющую идентичность:

${displaystyle (acirc b) circ c = acirc (bcirc c) + acirc (ccirc b).}$

Примечания

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