Lie group
リー群の構造を持つ幾何学.