The loop algebra
of a Lie algebra
is the Lie algebra of the corresponding
loop group. Its elements are smooth
maps from the unit circle to
, and its Lie bracket is defined
pointwise by
As for loop groups, other regularity classes and complex-analytic extensions are used in applications.