Equation Icon  ℝ ℝ ℂ × 𝔤 → 𝔤 : (a + ib,X0 + iY0) ↦→ (aX0 − bY0) + i(aY0 + bX0 ),, (6.3 )