-ring

Algebra of Laurent polynomials

Let be a field. The algebra of Laurent polynomials in indeterminate is a -graded commutative -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 form the Witt algebra.

#state/tidy | #lang/en | #SemBr