[[K-monoid|𝕂-ring]]

Algebra of Laurent polynomials

Let 𝕂 be a field. The algebra 𝕂[𝑑,π‘‘βˆ’1] of Laurent polynomials in indeterminate 𝑑 is a β„€-graded commutative [[K-monoid|𝕂-ring]], with elements of the form

𝑓=βˆ‘π‘›βˆˆβ„€π‘“π‘›π‘‘π‘›

such that 𝑓𝑛 has finite support, with multiplication given by 𝑑𝑛 β‹…π‘‘π‘š =𝑑𝑛+π‘š. It is isomorphic to the group algebra 𝕂[β„€].

Properties

  1. The degree derivation is given formally by 𝑑 =𝑑𝑑𝑑𝑑
  2. The derivations of 𝕂[𝑑,π‘‘βˆ’1] form the Witt algebra.


tidy | en | SemBr