Polynomial with finitely many terms of the form axⁿ where n ∈ Z
En matemáticas , un polinomio de Laurent (llamado así por Pierre Alphonse Laurent ) en una variable sobre un campo es una combinación lineal de potencias positivas y negativas de la variable con coeficientes en . Los polinomios de Laurent en forma de anillo se denotan . [1] Se diferencian de los polinomios ordinarios en que pueden tener términos de grado negativo. La construcción de los polinomios de Laurent se puede iterar, lo que lleva al anillo de polinomios de Laurent en varias variables. Los polinomios de Laurent son de particular importancia en el estudio de variables complejas .
Definición
Un polinomio de Laurent con coeficientes en un campo es una expresión de la forma
donde es una variable formal, el índice de suma es un número entero (no necesariamente positivo) y solo un número finito de coeficientes son distintos de cero. Dos polinomios de Laurent son iguales si sus coeficientes son iguales. Estas expresiones se pueden sumar, multiplicar y devolver a la misma forma reduciendo términos similares. Las fórmulas para la suma y la multiplicación son exactamente las mismas que para los polinomios ordinarios, con la única diferencia de que pueden estar presentes potencias positivas y negativas de :
y
Dado que solo un número finito de coeficientes son distintos de cero, todas las sumas en efecto tienen solo un número finito de términos y, por lo tanto, representan polinomios de Laurent.
Propiedades
- Un polinomio de Laurent puede verse como una serie de Laurent en la que sólo un número finito de coeficientes son distintos de cero.
- El anillo de polinomios de Laurent es una extensión del anillo de polinomios obtenido "invirtiendo ". Más rigurosamente, es la localización del anillo polinómico en el conjunto multiplicativo formado por las potencias no negativas de . Muchas propiedades del anillo polinómico de Laurent se derivan de las propiedades generales de localización.
- El anillo de polinomios de Laurent es un subanillo de las funciones racionales .
- El anillo de polinomios de Laurent sobre un campo es noetheriano (pero no artiniano ).
- Si es un dominio integral , las unidades del anillo polinómico de Laurent tienen la forma , donde es una unidad de y es un número entero. En particular, si es un campo, entonces las unidades de tienen la forma , donde es un elemento distinto de cero de .
- El anillo polinómico de Laurent es isomorfo al anillo de grupo del grupo de números enteros sobre . De manera más general, el anillo polinómico de Laurent en variables es isomorfo al anillo de grupo del grupo abeliano libre de rango . De ello se deduce que al anillo polinomial de Laurent se le puede dotar de una estructura de álgebra de Hopf conmutativa y cocommutativa .
Ver también
Referencias
- Lang, Serge (2002), Álgebra, Textos de posgrado en matemáticas, 211 (tercera edición revisada), Nueva York: Springer-Verlag, ISBN 978-0-387-95385-4 , MR 1878556