리 군
Complexification (Lie group)