Lie algebras MOC

Direct product of Lie algebras

The direct product is the categorical product in 𝖫𝗂𝖾𝕂. Given two Lie algebras 𝔤,𝔥, their product 𝔤 ×𝔥 consists of the direct product vector space¹ together with a bracket given by

Hence regarded as subspaces 𝔤 ≅(𝔤,0) and 𝔥 ≅(0,𝔥) commute and are ideals.

Internal direct product

Let 𝔞,𝔟 ≤𝔤 be subalgebras such that 𝔤 =𝔞 ⊕𝔟 and [𝔞,𝔟] =0. Then 𝔤 is the internal direct product 𝔞 ×𝔟. Equivalently, 𝔤 =𝔞 ⊕𝔟 with both 𝔞,𝔟 ⊴𝔤 ideals.

See also

• Semidirect product of Lie algebras, which generalizes the direct product

#state/tidy | #lang/en | #SemBr