Laurent polynomial

A Laurent polynomial with coefficients in a field ${\displaystyle \mathbb {F} }$  is an expression of the form

${\displaystyle p=\sum _{k}p_{k}X^{k},\quad p_{k}\in \mathbb {F} }$ 

where ${\displaystyle X}$  is a formal variable, the summation index ${\displaystyle k}$  is an integer (not necessarily positive) and only finitely many coefficients ${\displaystyle p_{k}}$  are non-zero. Two Laurent polynomials are equal if their coefficients are equal. Such expressions can be added, multiplied, and brought back to the same form by reducing similar terms. Formulas for addition and multiplication are exactly the same as for the ordinary polynomials, with the only difference that both positive and negative powers of ${\displaystyle X}$  can be present:

${\displaystyle {\bigg (}\sum _{i}a_{i}X^{i}{\bigg )}+{\bigg (}\sum _{i}b_{i}X^{i}{\bigg )}=\sum _{i}(a_{i}+b_{i})X^{i}}$ 

and

${\displaystyle {\bigg (}\sum _{i}a_{i}X^{i}{\bigg )}\cdot {\bigg (}\sum _{j}b_{j}X^{j}{\bigg )}=\sum _{k}{\Bigg (}\sum _{i,j \atop i+j=k}a_{i}b_{j}{\Bigg )}X^{k}.}$ 

Since only finitely many coefficients ${\displaystyle a_{i}}$  and ${\displaystyle b_{j}}$  are non-zero, all sums in effect have only finitely many terms, and hence represent Laurent polynomials.

• A Laurent polynomial over ${\displaystyle \mathbb {C} }$  may be viewed as a Laurent series in which only finitely many coefficients are non-zero.
• The ring of Laurent polynomials ${\displaystyle R\left[X,X^{-1}\right]}$  is an extension of the polynomial ring ${\displaystyle R[X]}$  obtained by "inverting ${\displaystyle X}$ ". More rigorously, it is the localization of the polynomial ring in the multiplicative set consisting of the non-negative powers of ${\displaystyle X}$ . Many properties of the Laurent polynomial ring follow from the general properties of localization.
• The ring of Laurent polynomials is a subring of the rational functions.
• The ring of Laurent polynomials over a field is Noetherian (but not Artinian).
• If ${\displaystyle R}$  is an integral domain, the units of the Laurent polynomial ring ${\displaystyle R\left[X,X^{-1}\right]}$  have the form ${\displaystyle uX^{k}}$ , where ${\displaystyle u}$  is a unit of ${\displaystyle R}$  and ${\displaystyle k}$  is an integer. In particular, if ${\displaystyle K}$  is a field then the units of ${\displaystyle K[X,X^{-1}]}$  have the form ${\displaystyle aX^{k}}$ , where ${\displaystyle a}$  is a non-zero element of ${\displaystyle K}$ .
• The Laurent polynomial ring ${\displaystyle R[X,X^{-1}]}$  is isomorphic to the group ring of the group ${\displaystyle \mathbb {Z} }$  of integers over ${\displaystyle R}$ . More generally, the Laurent polynomial ring in ${\displaystyle n}$  variables is isomorphic to the group ring of the free abelian group of rank ${\displaystyle n}$ . It follows that the Laurent polynomial ring can be endowed with a structure of a commutative, cocommutative Hopf algebra.

• Jones polynomial