Lie group
リー群におけるベーテ格子.