Lie group
同様に， からリー群 へのすべての滑らかな写像の集合は無限次元リー群をなし（その上の汎関数微分を定義できるという意味でリー群である），と呼ばれる．ループ群のリー環は対応するループ代数である．