Lie algebra Complexification of a real Lie algebra Let be a Lie algebra over . The complexification of is the complexification of as a vector space with a natural bracket, lie namely and for and . Hence is the tensor product of a Lie algebra and a commutative algebra as well as an induced module. tidy | en | sembr