Lie group
Complexification (Lie group)