For V a vector space over the real numbers or some other ℝ-module, its complexification is the tensor product over ℝ with the complex numbers ℂ: the extension of scalars along the canonical inclusion ℝ↪ℂ.