lieRingSelfModule

Mathlib.Algebra.Lie.Basic

URI: https://scilib.ai/kg/mathlib#lieRingSelfModule

English

The Lie bracket is antisymmetric: -⁅y, x⁆ = ⁅x, y⁆.

Русский

Антисимметрия скобки: -⁅y, x⁆ = ⁅x, y⁆.

LaTeX

$$$ -[y, x] = [x, y] $$$

Lean4

instance lieRingSelfModule : LieRingModule L L :=
  { (inferInstance : LieRing L) with }

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru