real formLet G be a complex Lie group. A real Lie group K called a real form of G if 𝔤≅ℂ⊗ℝ𝔨, where 𝔤 and 𝔨 are the Lie algebras of G and K, respectively.