リー群
有限次元リー群と特殊函数.