リー群
Complexification (Lie group)