Loop group
In mathematics, a loop group is, in the most common Lie-theoretic sense, the group LG = C∞(S1, G) of smooth maps from the circle S1 to a Lie group G, with multiplication defined pointwise. When G is a compact Lie group, LG is a basic example of an infinite-dimensional Lie group, with Lie algebra L𝔤 = C∞(S1, 𝔤).