|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{Refimprove|date=July 2009}}
| | I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. Since I was eighteen I've been working as a bookkeeper but soon my spouse and I will begin our personal business. One of the very very best issues in the world for him is doing ballet and he'll be beginning some thing else along with it. Ohio is where my home is but my spouse wants us to transfer.<br><br>My website: accurate psychic readings - [http://dommedia.imingo.net/videoart/website/profile.php?u=MiBurgmann http://dommedia.imingo.net/videoart/website/profile.php?u=MiBurgmann], |
| | |
| In [[mathematics]], a '''Laurent polynomial''' (named
| |
| after [[Pierre Alphonse Laurent]]) in one variable over a [[Field (mathematics)|field]] <math>\mathbb{F}</math> is a [[linear combination]] of positive and negative powers of the variable with coefficients in <math>\mathbb{F}</math>. Laurent polynomials in ''X'' form a [[Ring (mathematics)|ring]] denoted <math>\mathbb{F}</math>[''X'', ''X''<sup>−1</sup>].<ref>{{MathWorld|urlname=LaurentPolynomial|title=Laurent Polynomial}}</ref> They differ from ordinary [[polynomial]]s in that they may have terms of negative degree. The construction of Laurent polynomials may be iterated, leading to the ring of Laurent polynomials in several variables.
| |
| | |
| == Definition ==
| |
| A '''Laurent polynomial''' with coefficients in a field <math>\mathbb{F}</math> is an expression of the form
| |
| | |
| : <math> p = \sum_k p_k X^k, \quad p_k\in \mathbb{F}</math>
| |
| | |
| where ''X'' is a formal variable, the summation index ''k'' is an [[integer]] (not necessarily positive) and only finitely many coefficients ''p''<sub>''k''</sub> 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 ''X'' can be present: | |
| | |
| :<math>\left(\sum_i a_iX^i\right) + \left(\sum_i b_iX^i\right) =
| |
| \sum_i (a_i+b_i)X^i</math>
| |
| | |
| and
| |
| | |
| :<math>\left(\sum_i a_iX^i\right) \cdot \left(\sum_j b_jX^j\right) = | |
| \sum_k \left(\sum_{i,j: i + j = k} a_i b_j\right)X^k.</math>
| |
| | |
| Since only finitely many coefficients ''a''<sub>''i''</sub> and ''b''<sub>''j''</sub> are non-zero, all sums in effect have only finitely many terms, and hence represent Laurent polynomials.
| |
| | |
| == Properties == | |
| | |
| * A Laurent polynomial over '''C''' may be viewed as a [[Laurent series]] in which only finitely many coefficients are non-zero.
| |
| | |
| * The ring of Laurent polynomials ''R''[''X'', ''X''<sup>−1</sup>] is an extension of the [[polynomial ring]] ''R''[''X''] obtained by "inverting ''X''". More rigorously, it is the [[localization of a ring|localization]] of the [[polynomial ring]] in the multiplicative set consisting of the non-negative powers of ''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 function]]s.
| |
| | |
| * The ring of Laurent polynomials over a field is [[Noetherian ring|Noetherian]] (but not [[Artinian ring|Artinian]]).
| |
| | |
| * If ''R'' is an integral domain, the units of the Laurent polynomial ring ''R''[''X'', ''X''<sup>−1</sup>] have the form ''uX''<sup>''k''</sup>, where ''u'' is a unit of ''R'' and ''k'' is an integer. In particular, if ''K'' is a [[field (mathematics)|field]] then the units of ''K''[''X'', ''X''<sup>−1</sup>] have the form ''aX''<sup>''k''</sup>, where ''a'' is a non-zero element of ''K''.
| |
| | |
| * The Laurent polynomial ring ''R''[''X'', ''X''<sup>−1</sup>] is isomorphic to the [[group ring]] of the group '''Z''' of [[integer]]s over ''R''. More generally, the Laurent polynomial ring in ''n'' variables is isomorphic to the group ring of the [[free abelian group]] of rank ''n''. It follows that the Laurent polynomial ring can be endowed with a structure of a commutative, [[cocommutative]] [[Hopf algebra]].
| |
| | |
| ==References==
| |
| <references/>
| |
| | |
| {{DEFAULTSORT:Laurent Polynomial}}
| |
| [[Category:Commutative algebra]]
| |
| [[Category:Polynomials]]
| |
| [[Category:Ring theory]]
| |
I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. Since I was eighteen I've been working as a bookkeeper but soon my spouse and I will begin our personal business. One of the very very best issues in the world for him is doing ballet and he'll be beginning some thing else along with it. Ohio is where my home is but my spouse wants us to transfer.
My website: accurate psychic readings - http://dommedia.imingo.net/videoart/website/profile.php?u=MiBurgmann,