Wiki. “环路 Lie 代数” [环路Lie代数]

$$ L\mathfrak g := \mathfrak g\otimes k[t,t^{-1}] $$ 另一种定义是 $$ L\mathfrak g := \mathfrak g\otimes_k k((t)) $$

环路群