Real form (Lie theory)
In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra g0 is called a real form of a complex Lie algebra g if g is the complexification of g0: g ≃ g 0 ⊗ R C .