Invariant bilinear form on a Lie algebra

A bilinear form $⟨ \cdot, \cdot ⟩ : 𝔤 \times 𝔤 \to 𝕂$ on a Lie algebra $𝔤$ is said to be invariant iff the following equivalent conditions hold for any $𝑥, 𝑦, 𝑧 \in 𝔤$ ¹

$⟨ [𝑥, 𝑦], 𝑧 ⟩ = ⟨ 𝑥, [𝑦, 𝑧] ⟩$
$⟨ a d 𝑥 𝑦, 𝑧 ⟩ + ⟨ 𝑦, a d 𝑥 𝑧 ⟩ = 0$
$⟨ [𝑥, 𝑦], 𝑧 ⟩ + ⟨ 𝑦, [𝑥, 𝑧] ⟩ = 0$

todo

This generalizes to forms on a $𝔤$ -module. #to/generalize See also $H$ -invariant bilinear form.

Invariant bilinear form on a Lie algebra

See also

Footnotes