Repblica Bolivariana De Venezuela Universidad Pedaggica Experimental Libertador Instituto Pedaggico Luis Beltrn Prieto Figueroa Barquisimeto Edo_Lara

Realizado por: Dianner Mujica 13486273 Seccin: 5MA01N Profesor: Juan Carlos Snchez

Barquisimeto, 20 de junio del 2011

Introduccin

Muchas de las propiedades bsicas de los polinomios como lo son las operaciones de suma, producto y divisin, el clculo de races y la factorizacin, ya las hemos estudiado en la escuela secundaria, de un modo operacional.

En este trabajo, los polinomios sern estudiados desde el punto de vista de su estructura de anillo. Este nuevo enfoque aclarara muchos de los conceptos ya estudiados en cursos anteriores al, considerarlos dentro de propiedades mas generales de anillos, y al mismo tiempo abrir nuevos caminos que nos conducirn a resultados bastante vigorosos.

Realmente los polinomios es uno de los ejemplos de anillos, mas estudiados desde la antigedad por estar estrechamente relacionado con la solucin de ecuaciones en una o varias incgnitas.

DEFINICIONES.

Dado un cuerpo K, se llama polinomio a la indeterminada X con coeficiente en el cuerpo K a P(x) = siendo a K, para i=0, 1,2m y m N {0}.

Sea A un anillo. Un polinomio en la indeterminada x es una suma formal

P(x) = A, para todo i 0 y

Donde

0 para toda i, excepto para un nmero finito de ellos.

Observacin: Podemos dar otra denticin de lo que es un polinomio, sin hacer referencia a la variable x. Sea A un anillo. Un polinomio sobre A es una sucesin infinita ( = 0, para casi todos los i. donde ; para todo i y

La definicin es ms formal que la definicin anterior pues no hace uso de la variable x. Sin embargo el smbolo x se ha utilizado para expresar los polinomios desde hace mucho tiempo y aun se usa en la actualidad. Si hacemos x = (0, 1, 0, 0,), y entonces la variable x es un polinomio en si misma, y deja de ser un objeto misterioso.

Por convenio, P(x) = =

=1 y si ++

=0, entonces por P(x) =

=0. Esto nos permite denotar al polinomio , entendiendo que =0 si i m.

Definicin 1.1: si P(x) = 0, esto es:

0, un polinomio en X con coeficiente en el cuerpo K, se llama

grado del polinomio P(x) y se denota drg(p), al mayor exponente m al que aparece elevado la variable X, siendo deg(p)= max{i N {0}/ 0}

Si P(x)=0, entonces el grado de P es -. Obviamente si P(x) = polinomio de grado m, entonces =0, si j

0, es un

Observacin: El grado del polinomio 0 lo definimos mediante el smbolo especial - de acuerdo a las siguientes reglas: , para todo n Z

- + (-) = - - + n = -, para todo n Z

Sea A un Dominio de Integridad. Sean f(x) y h(x) dos polinomios no nulos en A[x], de grados n y m respectivamente. Entonces: i) g(f(x) + h(x)) max {n,m} ii) g(f(x)h(x)) = n + m

Demostracin: El conjunto de todos los polinomios en X con coeficiente en K se denota por K[x], esto es: K[x] = { / K, i=0, 1, 2m; m N {0} }

Definicin1.2: En particular los elementos de K

K [X] se llaman constantes. Entonces los se llama coeficiente principal.

se

llaman los coeficientes del polinomio. Si gP=n entonces

Definicin1.3: El polinomio que tiene todos sus coeficientes polinomio constante. ++

iguales a cero, para i 1 se llama

Definicin1.4: dado dos polinomios P(x) = i0

x+

y g(x) =

++ x+

diremos que son iguales y lo denotamos P(x) = g(x,) si y solo si. =

En K[x] se definen las operaciones de adicin y multiplicacin de polinomios, tales que:

P(x)+Q(x)= P(x).Q(x)= ; donde = ; para todo i

Ejemplo: sea P(x) = 2

+ 3x 1 y g(x) =

+ 1, dos polinomios en Z[x], entonces para poder

sumar P y G es necesario introducir coeficientes nulos en ambos polinomios de la siguiente manear. + 3x 1 0x + 1 + (2+0) + 3x + (3+0)x + (1-1)

P(x) = 0 g(x) =

+2 +0

luego: P(x) + g(x)= (0+1) = +2

Para multiplicar los polinomios construimos los elementos

de la siguiente manera:

= = = = = = =

= (-1).(1) = -1 + + + + + = (-1)(0) + (3)(1) = 3 + + + = (-1)(0) + (3)(0) + (2)(1) = 2 + = (-1)(0) + (3)(0) + (2)(0) + (0)(1) = -1

= (3)(1) + (2)(0) + (0)(0) = 3

= (2)(1) + (0)(0) = 2

= (0)(1) = 0

Luego el resultado de multiplicacin viene dado por: P(x).g(x) = 2 +3 1 +2 + 3x + 1

Definicin 1.5: Un polinomio con el coeficiente principal igual a 1 se dice que es Mnico. Si f(x) es un polinomio constante no nulo, entonces g(f(x)) = 0.

Sea (K[x],+, .) que tiene estructura de anillo conmutativo con elemento identidad, que recibe el nombre de anillo de los polinomios con coeficiente en K en la indeterminada X.

Ahora bien, sea (A,+, .) un anillo con identidad para lo cual podemos definir un polinomio formal del anillo A, es toda funcin P: elementos . = {0,1,2}, y la imagen de todo i A que verifica P(n) = 0, salvo para un numero finito de

El dominio de la funcin es

se escribe P(i) =

La definicin dada caracteriza a todo polinomio formal con una sucesin de elementos de A cuyos trminos son nulos a partir de cierto ndice. Es usual identificar a un polinomio formal en trminos del conjunto ordenado por las imgenes, lo que conduce a la siguiente notacin. , , , 0,0}

P={

El hecho de que P(n) = de cero para i < n.

.sea distinto de cero no significa que deba ser P(i) =

distinto

En particular la funcin nula definida por P(i) = 0, cualquiera que sea i polinomio nulo.

se llama

I.- P + Q:

A es tal que (P + Q)(n) = P(n) + Q(n)

II.- P.Q:

A es tal que (P.Q)(n) = (i) Q(n-i)

Se define la funcin F: A P mediante f(a) = (a, 0 , 0 , )

Esta definicin caracteriza un morfismo inyectivo de A en P, es decir, un monomorfismo. En consecuencia f es un isomorfismo de A en f(A) P, lo cual permite identificar cualquier

elemento de a A con su imagen P(a) P. desde este punto de vista podemos decir que A es un subanillo de P. = (1, 0 , 0 , ),

Definimos

.X

Resulta

= X.X = ( 0, 0, 1, 0, 0, )

Eso significa que m

se tiene:

: A P tal que

(n) =

Entonces teniendo en cuenta las definiciones de adicin y multiplicacin las sucesivas potencias de la indeterminada X y el isomorfismo indicado, todo polinomio P P=( , , ,0,0,) ,0,0, )++(0, ,0,0,) ,0,0,)(0,0,1,0,0,) ,0,0, )(0,1,0,0,)+( = ( ,0,0, )+(a, ++( = P puede expresarse:

= ( ,0,0, )(1,0,0,)+( ,0,0,)(0,0,1,0,0,) + + ++

En lo sucesivo, en logar de tipo y1 y ser sustituido por

= ( 1,0,0,)=1 escribiremos 1, omitiremos los trminos de , se tiene ++

X+

Siendo

el coeficiente principal y

el trmino independiente.

De acuerdo con las definiciones de las operaciones en K[X], se verifican las siguientes operaciones: El grado de todo polinomio no nulo es igual al grado de su opuesto. g(.P)=gP

 El grado de la suma de dos polinomios P(x) y Q(x) con grados n y m respectivamente, no nulos se cumple que: g(P+Q) g(PQ) max{n, m} n+m

Ahora bien, si K es un dominio de integridad, entonces K[x] tambin lo es, y se verifica que el grado del producto de dos polinomios no nulos es igual a la suma de los grados esto es:

g(PQ) gP+gQ

Demostracin: Supongamos que n > m, entonces el coeficiente principal de P(x)+Q(x) es igual al coeficiente de P(x) y por lo tanto g(P(x)+Q(x))=g(P(x))= n = max{n,m}

i) Si suponemos que n = m entonces pueden ocurrir dos casos I.- la suma de los coeficientes principales de P y Q es cero, luego: g(P(x)+Q(x)) < n II.- la suma de los coeficientes principales de P y q es distinta de cero, en este caso g(P(x)+Q(x)) = n Luego en cualquiera de los casos obtenemos la desigualdad deseada ii) para calcular el grado del producto, sean P(x) = Y Q(x) = = + ...+ x+ + ...+ x+

Entonces hacemos la multiplicacin P(x).Q(x) = Afirmamos que + ...+ x+ = 0, pues tanto como son

0. En efecto se tiene que

no nulos. Por otra parte que si S > n+m se tiene que:

Luego cada trmino j > m, lo cual implica que

en dicha suma es igual a cero, pues se debe tener i > n o bien = 0 o bien = 0. Por lo tanto =0, para s > n + m, y as hemos

probado que el grado de P(x).Q(x) es n+m

Teorema 1.6: El conjunto A[x] de polinomios sobre un anillo A, es un anillo con las operaciones de suma y producto de polinomios. Si A es un anillo conmutativo con unidad, entonces A[x] es un anillo conmutativo con unidad.

Definicin 1.7: todo anillo conmutativo, con unidad y sin divisores de cero se llama dominio de integridad.

Las ternas (Z, + , . ), (R, + , . ) y (

, + , . ) son dominios de integridad. Si P denota el

conjunto de los enteros pares, entonces (P, +, . ) es anillo conmutativo, sin divisores de cero y sin elemento unidad: en consecuencia no es dominio de integridad.

Proposicin: Si el anillo A es un Dominio de Integridad, entonces el anillo A[x] es un Dominio de Integridad.

Observacin: Sabemos que todo Dominio de Integridad posee un cuerpo de cocientes. Por lo tanto A[x] tiene su cuerpo de cocientes, el cual se llama cuerpo de funciones racionales en x y sus elementos son cocientes de polinomios en A[x].

El Algoritmo de Divisin
En esta seccin consideramos el anillo de polinomios sobre un cuerpo K, el cual ser denotado por K[x]. Probaremos que este anillo tiene la propiedad de ser euclideano y por lo tanto valen todas las propiedades de los Dominios Euclideanos.

Proposicin: Sean f(x) y h(x) polinomios no nulos en K[x]. Entonces g(f(x)) g(f(x)h(x)).

Teorema 2.8: (Algoritmo de Divisin) Sean f(x) y h(x) dos polinomios en K[x], con h(x) 6= 0. Luego existen polinomios q(x) y r(x) en K[x], tales que: f(x) = h(x)q(x) + r(x) con r(x) = 0 o g(r(x) < g(h(x))

Observacin: Los polinomios q(x) y r(x) se llaman respectivamente cociente y resto de la divisin de f(x) entre h(x). Si definimos la funcin d: K[x]

por d(f(x)) = g(f(x)), entonces se tiene

Corolario: El anillo de polinomios K[x] es un Dominio de Euclideano.

Definicin 2.9: Sea K un cuerpo y f(x), h(x) en K[x]. Diremos que el polinomio f(x) es divisible entre h(x), si existe otro polinomio c(x) en K[x], tal que: f(x) = h(x)c(x)

Definicin 2.10: Sea f(x) un polinomio en K[x]. Diremos que f(x) es un polinomio irreducible en K[x], o irreducible sobre K, si cada vez que f(x) = h(x)q(x); entonces h(x) o q(x) es una constante.

Teorema 2.11: Sea f(x) un polinomio en K[x]. Entonces existen polinomios irreducibles , ( (x), los cuales son nicos salvo asociados, tales que f(x) = (x), . . . , (x)

(x), . . .

Teorema 2.12: Si f(x) y h(x) son polinomios en K[x], entonces el Mximo Comn Divisor entre f(x) y h(x), el cual denotamos por d(x), siempre existe. Adems se tiene d(x) = p(x)f(x) + q(x)h(x); para algunos polinomios p(x) y q(x) en K[x].

A fin de tener una mejor informacin sobre el anillo de polinomios K[x], el paso siguiente ser determinar todas las unidades en K[x] y los elementos irreducibles. Para hallar las unidades usaremos un resultado que hemos probado sobre los Dominios Euclideanos, el cual establece: El polinomio u(x) es una unidad, si y solo si el grado de u(x) es igual al grado del polinomio 1". Luego las unidades de K[x] son precisamente los polinomios constantes (distintos de cero), pues grado (1)=0.

El problema de determinar cuando un polinomio es irreducible, es uno de los mas difciles en Algebra y ha sido estudiado desde hace varios siglos. No se tiene un criterio general para decidir la condicin de irreducibilidad. Solo existen criterios que se pueden aplicar en situaciones especiales.

Veamos mediante un ejemplo como se puede determinar si un polinomio es irreducible, usando las tcnicas de la teora de Anillos.

Ejemplo: probar que f(x) = Sea I = (

+1 es irreducible en Q[x].

+1) el ideal principal generado por el elemento f(x) en Q[x]. Consideremos el

anillo cociente Q[x] / I. Sea f(x) un polinomio en Q[x], entonces por el algoritmo de divisin, existen polinomios q(x) y r(x) tales que: f(x) = q(x)( con r(x) = 0 o g(r(x)) < g( + 1). + 1) + r(x)

Luego el polinomio f(x) se puede reducir modulo I a un polinomio r(x) de grado 1. Por lo tanto los elementos de Q[x]=I son polinomios lineales ax + b, con a y b en Q. Adems de la relacin = 0, se sigue = -1. +1

Armamos que Q[x]=I es un cuerpo, para lo cual sea t = ax + b Q[x]=I y probaremos que si t es distinto de cero, entonces es invertible.

En efecto, t

0 implica que

+ + +

0. Adems

(ax + b)(-ax + b) = = Luego hacemos S = x + r con = r=

Es claro que S Q[x] / I, y adems ts = 1. Luego t es invertible. Una vez demostrado que Q[x] / I es un cuerpo, se deduce que el ideal I es maximal y por lo tanto ideal primo. Luego el elemento + 1 es irreducible en Q[x].

Factorizacin de un anillo
Sean A y B dos polinomios no simultneamente nulos de dominio de integridad principal en K[x]

Mximo comn divisor

El polinomio D en un m.c.d. de A y B si y silo si es divisor de ambos, y adems, mltiplo de todo divisor comn. DA DB

D en u m.c.d. de A y B

DA

DB

DD

Teorema 3.13: todo m.c.d. de los polinomios de A y B s una combinacin lineal de los mismos con coeficiente en K[X]. Propiedad: Si D y D son m.c.d. de A y B, entonces existe a K tal que D = aD

Ejemplo: determinemos el m.c.d. de A y B en los siguientes casos.

a) A = 3

y B= 4

en Z[X]

Luego el m.c.d. de A y B es b) A = - 2 + 2x y B = xe R[X]

Luego el m.c.d. de A y B es x-1

Polinomios Coprimos

Sean A y B dos polinomios no simultneamente nulos de K[X]

Definicin 3.14: los polinomios A y B de K[X] son Coprimos si y solo si todo m.c.d. de a y B es invertible.

Ejemplo: en R[X] se consideran los polinomios A= y B=x-1 - 2x 2 y R=2 tales que: + 2x + 2)(x 1) + 2 + x) ( + 2x + 2)(x 1) = 2 x 1)(x 1) = 1

Por el algoritmo de divisin existe Q = +x=( =(

Luego 1/2 ( S=1/2 y T=

+ x) + (

As hemos expresado al polinomio como combinacin lineal de A y B con coeficientes x 1, de lo que se deduce que A y B son coprimos.

Polinomios Primos o Irreducibles

Definicin 3.15: el polinomio no invertible de A[X] es primo o irreducible si y solo si toda descomposicin A = PQ es tal que algunos de los factores es invertible o bien A = PQ con gP>0 y gQ>0

Ejemplo: todos los polinomios de grado 1 son irreducibles en K[X], pues ningn polinomio de tipo A= que cero. con puede descomponerse en el producto de dos polinomios de grado mayor

Propiedades: En el dominio principal de K[X] se verifican:

a) Si un polinomio primo es divisor de un producto, entonces es divisor de alguno de los factores. P es primo y m.c.d. PAB PA PB

b) si un polinomio es divisor de un producto y es coprimo con uno de los factores, entonces es divisor del otro. PAB m.c.d. (P y A) = 1 PB

Teorema 3.16: (teorema fundamental de la descomposicin factorial)

Todo polinomio no nulo en K[X] puede expresarse como el producto de una constante por polinomios mnicos irreducibles. Tal descomposicin es nica, excepto el orden de los factores.

Ejemplo: sea P = = = = [ ( (x-1)+(x-1)] +1)(x-1)

Esta es la descomposicin de P en cinco factores mnicos irreducibles en R[X]. al exponente 3 del factor irreducible X es el mayor entero que satisface irreducible en C[X], la descomposicin factorial es: P. adems es

P=

+i)(x - i)(x+1)

Ejemplo: sea Q = = = =

Que son irreducibles en R[X] pero no en C[X] pues = = = Anlogamente =

Races de Polinomios
A lo largo de esta seccin veremos la relacin existente entre un polinomio f(x) y la resolucin de la ecuacin. f(x) = 0

Definicin 4.17. Sea K un cuerpo. Una extensin F de K es un cuerpo que contiene a K como subcuerpo. Es decir K es un cuerpo con las mismas operaciones definidas en F.

Ejemplo: Los nmeros complejos

son una extensin del cuerpo de los nmeros reales .

Definicin 4.18. Una raz o un cero de un polinomio f(x) K[x] es un elemento en una extensin F de K, tal que f() = 0.

Ejemplo: Los valores 1 y -1 anulan al polinomio f(x) = = - 1 = 0.

- 1 en Q[x], pues f(1) =

- 1 = 0 y f(-1)

Ejemplo: Sea f(x) =

+ 1 en Q[x].

Entonces i =

es una raz de f(x), pues f(i) =

+1 = 0.

Ntese que i esta en

pero no en

Teorema 4.19: Sea f(x) un polinomio en K[x], F una extensin de K y F una raz de f(x). Entonces f(x) se factoriza en F[x]. f(x) = (x - )q(x)

Donde q(x) es un polinomio de grado igual al grado de f(x) menos uno.

Demostracin: Haciendo la divisin de f(x) entre el polinomio x- se generan polinomios q(x) y r(x) tales que: f(x) = (x - )q (x) + r(x) con r(x) = 0 o g(r(x)) < g(x - ) = 1 K.

Luego el grado de r(x) debe ser cero y por lo tanto es un polinomio constante r(x) = ; con

Haciendo la evaluacin de los polinomios en el valor , tenemos 0 = f() = (- )q() + = de donde = 0 y por lo tanto se tiene f(x) = (x - )q(x)

Definicin 4.20: sea f(x) un polinomio en K[X], diremos que f(x) se factoriza completamente en una extensin F de K si existe races, en F tal que.

F(x) = Donde K

Observacin: Una de las metas ms importantes en la teora de los polinomios es poder factorizar cualquier polinomio como un producto de factores lineales. Lamentablemente esto no es posible en cualquier cuerpo K, pues, por ejemplo f(x) = x2 + 1 no se puede factorizar en Q[x] como producto de factores lineales.

Sin embargo siempre se puede hallar una extensin del cuerpo K en donde este problema se resuelve.

Un polinomio del tipo ax + b se llama polinomio lineal. Es claro que todo polinomio lineal es irreducible, pues si ax + b = p(x)q(x), entonces la suma de los grados de ellos debe ser 1. Por lo tanto p(x) o q(x) es de grado cero y por ende constante.

Teorema 4.21: Sea f(x) un polinomio en K[x] de grado n. Entonces f(x) tiene a lo sumo n races en cualquier extensin F de K

Demostracin: La demostracin ser por induccin sobre el grado de f(x).

Si el grado de f(x) es 0, entonces f(x) es constante y no tiene races. Por lo tanto no hay nada que probar en este caso.

Si el grado de f(x) es 1, entonces f(x) es un polinomio lineal, digamos, f(x) = ax + b, para algunos a y b en K. Si es una raz de f(x), entonces f(x) = a + b = 0 y por lo tanto = - b/a. Luego existe una nica raz.

Supongamos el teorema cierto para todo polinomio de grado menor que n. Sea f(x) de grado n. Sea F una extensin de K. Si f(x) no tiene ninguna raz en F, entonces estar listo. Si f(x) tiene una raz en F de multiplicidad m, entonces f(x) = polinomio de grado n - m que no tiene a como raz. q(x), donde q(x) es un

Podemos entonces aplicar la hiptesis de induccin a q(x) para concluir que no tiene mas de n - m races en F. Como toda raz de q(x) es una raz de f(x), se deduce entonces que f(x) tiene a lo sumo m + (n - m) = n races en F. Con esto queda probada la proposicin para n.

Teorema 4.22: (Teorema Fundamental del Algebra) Todo polinomio f(x) 2 [x] de grado n, posee exactamente n races en . Demostracin: Si f(x) [x], ser suficiente probar que f(x) tiene una raz en . Si suponemos f(z) 0 para todo z en , entonces la funcin completa. Adems si hacemos z = r, se puede probar que g es acotado en todo el plano complejo, pues se tiene = =0 g(z) 0 es una funcin

Podemos ahora invocar el teorema de Liouville de las funciones analticas, el cual establece: Toda funcin entera acotada en

, es constante" Entonces se concluye que g es una .

funcin constante, lo cual es una contradiccin. Por lo tanto f( ) = 0 para algn

Polinomios sobre Q
En esta seccin nos dedicaremos a estudiar la factorizacin de polinomios con coeficientes en el cuerpo de los nmeros racionales Q.

Sabemos que Q[x] es un Dominio de Factorizacin nica y por lo tanto todo polinomio f(x) en Q[x] se factoriza de manera nica.

f(x) =

(x) (x), . . . , ps(x)

Donde los pi(x) son irreducibles en Q[x].

Estudiaremos como determinar los pi(x) en la descomposicin de arriba, usando el algoritmo de divisin. Tambin daremos un criterio prctico para decidir si un polinomio es irreducible sobre Q[x]. Proposicin: Sea f(x) un polinomio de grado 3 en Q[x]. Entonces si f(x) es reducible en Q[x], existe r Q tal que f(r) = 0.

Definicin 5.23: Sea f(x) =

+. . .+

x+

un polinomio en [x]. Se define el contenido de .

f(x) como el Mximo Comn Divisor de los coeficientes

Usaremos la notacin C(f) para el contenido de f(x).

Ejemplo: Si f(x) = 12

-6

+18x entonces, C(f) = (12, 6, 18) = 6.

Definicin 5.24: Sea f(x) un polinomio con coeficientes enteros. Entonces se dice que f(x) es primitivo, si C(f) = 1.

Ejemplo: Sea f(x) = 8

13x + 4. Luego f(x) es primitivo.

Lema de Gauss: Sea f(x) un polinomio primitivo en Z[x]. Si f(x) = p(x)q(x) con p(x); q(x) en Q[x], entonces f(x) = (x) (x), donde (x); (x) son polinomios con coeficientes enteros. Adems.

(x)= p(x) y

(x)= q(x)

Con

nmeros racionales

Observacin: Si en la proposicin anterior el polinomio f(x) es Mnico, entonces tanto (x) resultan ser mnicos con coeficientes enteros.

(x) como

Teorema 5.25: Sea f(x) = es raz de f(x) se debe tener s y t

Z[x]. y r= s/t un numero racional. Entonces si r

Demostracin: Supongamos que (s; t) = 1. Luego f(x)= con q(x) Q[x]

Usando el Lema de Gauss se obtiene

f(x) = (tx - s) (x)

donde

(x) tiene coeficientes enteros.

Comparando el coeficiente de grado n en ambos lados se tiene que t el trmino constante en ambos lados se sigue que s .

. Igualmente, comparando

Ejemplo: Hallar las races racionales de

f(x) = 27

Tenemos que las posibles races son de la forma s/t, donde s/8 y t/27. Luego los posibles valores de s son 1; 2; 4; 8; y los posibles valores de t son 1; 3; 9; 27. Despus de probar todas las combinaciones posibles de s y t, el valor s = 2, t = 3 nos da una raz.

Luego dividimos el polinomio f(x) entre

para obtener

f(x) = 27

= =3

Las races de 9

+ 6x + 4 son complejas y por lo tanto f(x) tiene una sola raz racional.

Teorema 5.26: Sea f(x) un polinomio en Z[x]. Si para algn entero m, se tiene que f(x) es irreducible en [x], entonces f(x) es irreducible en Z[x].

Polinomios en Varias Variables

En el estudio de las curvas y superficies en el plano y el espacio, nos encontramos frecuentemente con ecuaciones con ms de una variable.

Por ejemplo la circunferencia de radio 1 con centro en el origen se expresa analticamente mediante la ecuacin:

Es posible entonces, usar ms de una variable para los polinomios y definir el polinomio en dos variables:

f(x,y)=

En esta seccin se dar una definicin formal del anillo de polinomios en varias variables, as como alguna de sus propiedades ms importantes.

Si A es un anillo, entonces A[x], es otro anillo y tiene significado la siguiente definicin.

Definicin 6.27: sea A un anillo y , denotado por A[

indeterminadas, entonces el anillo de polinomios en

es igual al anillo (A[

Entonces el polinomio f(

) en A[ ++

es una expresin de la forma

f(

)=

donde

A[

Luego f(

) se expresa como una combinacin de las incgnitas

de la forma

f(

)=

donde

para casi todos los i,j

Ejemplo: sea A=Z y f(

el polinomio Z[

definido por

)=

Entonces

para los restantes subndices

Podemos definir el anillo de polinomios de n variables recursiva haciendo

sobre A, en forma

A[

]= A[

][

Entonces A[

] satisface todas las propiedades de anillo.

Definicin 6.28: sea A un anillo, un polinomio f en monomios. f(x)=

] es una combinacin lineal de

ejemplo: un polinomio en Z[

] dado por

f(

)= 2

Entonces f(

) se expresa tomando la funcin

de la forma siguiente

Para

diferente de (3,0,0), (1,2,0), (1,1,0), y (1,1,1)

Teorema 6.29: si A es un dominio de integridad, entonces el anillo de polinomios en n variables A[ es un dominio de integridad.

Definicin 6.30: sea A un dominio de integridad, entonces el cuerpo de fracciones de A[ se llama cuerpo de fracciones racionales en .

Los elementos en este cuerpo son fracciones en la n variable

del tipo

f(

donde p y q son polinomios en A[