リー群
パラメータ formula_1 で特徴付けられるリー群