real form

Let $G$ be a complex Lie group. A real Lie group $K$ called a real form of $G$ if $𝔤\cong ℂ{\otimes }_{ℝ}𝔨$, where $𝔤$ and $𝔨$ are the Lie algebras of $G$ and $K$, respectively.