Lie algebras MOC
Quadratic Lie algebra
A quadratic Lie algebra over 𝕂 consists of a Lie algebra 𝔤 over 𝕂 with a 𝔤-invariant symmetric bilinear form ⟨ ⋅, ⋅⟩ :𝔤 ×𝔤 →𝕂,1 #m/def/lie
i.e. it is both a Lie algebra and a Quadratic space in a compatible way, namely
⟨[𝑥,𝑦],𝑧⟩=⟨𝑥,[𝑦,𝑧]⟩
See also
#state/tidy | #lang/en | #SemBr