Teoría de anillos
anillo de los números enteros se puede referir a
- el anillo de todos los enteros (positivos, negativos o cero), usualmente indicado como Z.
- dado un campo numérico algebraico K, los enteros algebraicos contenidos en K forman un anillo, el anillo de los enteros de K, comúnmente indicado como OK u
.
Usando esta notación, se puede escribir Z = OQ dado que Z es el anillo de enteros del campo Q de números racionales. Y en efecto por esta razón, en la teoría algebraica de números los elementos de Z son comúnmente llamados los "enteros racionales".
El anillo de los números enteros OK tiene una base integral; lo que significa que existe b1,...,bn ∈ OK (la base integral) tal que cada elemento x en OK puede ser unívocamente representado como
con ai ∈ Z.
Si ζ es la p-iésima raíz de la unidad y K=Q(ζ) es el campo ciclotómico correspondiente, entonces una base integral de OK está dada por (1,ζ,ζ2,...,ζp-2).
Si d es un entero cuadrático libre y K=Q(d1/2) es el campo cuadrático correspondiente, entonces una base integral de OK está dada por (1,(1+d1/2)/2) si d≡1 (mod 4) y por (1,d1/2) si d≡2 ó 3 (mod 4).
(1),
en donde
,
,
y cada
-tupla
de números naturales es diferente para diferente valor de
, se dice anillo de polinomios con indeterminadas en
sobre
.








Introducción
Los polinomios más conocidos son los que tienen coeficientes enteros.
Ejemplo:
El conjunto de indeterminadas
puede ser un conjunto infinito, pero cada polinomio contiene un número finito de términos.[cita requerida]

Si
, entonces se puede escribir
en lugar de
. Así,
es un anillo de polinomios en una sola indeterminada
.

![A[x_1,\ldots, x_n]](https://upload.wikimedia.org/math/e/9/0/e902c25d7b3432c37d030441511a5036.png)
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)

ya que
, por lo que
es un subanillo de
.


![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
Propiedades fundamentales
Hechos de interés sobre anillos de polinomios tienen que ver con las propiedades del mismo a partir del anillo en el que tienen sus coeficientes. Por ejemplo, cuando
es un dominio íntegro,
también lo es, y las unidades de
son las mismas que las de
. Por el contrario
nunca será un cuerpo, no importando que
lo sea o no, pues aunque las unidades de
sean las mismas que las de
,
es tan sólo un subanillo de
. Sin embargo, el anillo
es un dominio integro si
lo es, luego, dado el caso, se puede construir el cuerpo de cocientes de
(i.e. el cuerpo de fracciones de polinomios), que se denota comúnmente por
.

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)


![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

Los coeficientes de los polinomios de un anillo
pueden tomarse no solo como los elementos de
. En la practica podemos hacer agrupaciones del tipo
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

y éstas también deben hacerse en un anillo de polinomios
. Para ello se separan los elementos de
en dos conjuntos disjuntos, digamos
y
, luego el anillo de polinomios
tiene coeficientes en el anillo de polinomios
e indeterminadas en
. Si
es un anillo y
, claramente
es un subanillo de
.
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)



![A[R][T]](https://upload.wikimedia.org/math/d/b/2/db2ac3cb55fbfcb505eea599c818cb03.png)
![A[R]](https://upload.wikimedia.org/math/c/4/c/c4c493fe93ba89d783ec0b11ceef110d.png)



![A[R]](https://upload.wikimedia.org/math/c/4/c/c4c493fe93ba89d783ec0b11ceef110d.png)
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
Sea
un anillo unitario. Todo polinomio no nulo de
cuyo coeficiente director sea una unidad puede dividir euclídeamente a cualquier otro polinomio de
y el grado del resto es estrictamente menor que el grado de del divisor. Es decir, si
y
son polinomios de
no nulos, con el coeficiente director de
una unidad de
, entonces existen polinomios
y
de
tales que

![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)
![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)


![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)




![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)
![]() | con | ![]() |
Así, para que la división de polinomios sea siempre posible en un anillo de polinomios
,
debe de ser un cuerpo (i.e. todo elemento de A debe ser una unidad), y si así sucede
será un dominio euclídeo. Un hecho muy importante es que un anillo de polinomios
es un dominio de ideales principales (DIP) si y sólo si
es un cuerpo. Puesto que todos los dominios euclídeos son DIPs, tenemos que
no es un dominio euclídeo si
contiene más de un elemento, pues
, y
nunca es un cuerpo y por tanto tampoco un DIP.
![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)

![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)
![A[x]](https://upload.wikimedia.org/math/f/b/6/fb69d622f2a34064c64bd69b99c1c711.png)

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

![A[S]=A[S\setminus\{x\}][x]](https://upload.wikimedia.org/math/d/d/4/dd467f262e82de193713e7e451c1c0d2.png)
![A[S\setminus\{x\}]](https://upload.wikimedia.org/math/6/a/b/6ab3588926507b0a79f80965e721892d.png)
Definición formal
Los monomios puros
La definición formal de los anillos de polinomios parte de la definición de los monomios puros (sin coeficientes en un anillo; en muchos contextos, la palabra monomiocorresponde a este significado, utilizándose entonces la palabra término para designar el producto de un coeficiente del anillo y un monomio). Notar que si
es un conjunto y, por ejemplo,
, un monomio a partir de
puede ser



(3).
En el monomio anterior, cada uno de los elementos
tiene un exponente natural. Por tanto, podemos considerar a cada monomio con indeterminadas en
como una aplicación
(aquí y en el resto del artículo consideramos que
incluye al cero). El monomio ( ) sería entendido entonces como la aplicación
dada por
,
,
y donde
se anula para todos los demás elementos (si estos existen) de
. Observar que un monomio puro es elproducto de un número finito de indeterminadas. Aunque
sea infinito, podemos obtener un monomio
haciendo que
sea nulo para todas aquellas indeterminadas que no queremos que aparezcan en el monomio. Por ejemplo, si
, el monomio














(4),
En vista de las consideraciones anteriores, la definición de un conjunto de monomios ha de ser la siguiente:
|
Si




![]() | y | ![]() |
para todo
.

Estas aplicaciones están bien definidas, y claramente











Nótese que el monomio


![]() | y | ![]() |
para todo
. Así, este monomio se representa por el mismo símbolo 0.

Obsérvese que el elemento






(5),
donde
son los elementos de
para los cuales la aplicación
no se anula (por definición, estos elementos son siempre un número finito). Claramente, cada término



(6)
de (
en el monomio representado por
. Es decir, ( ) se entiende como el monomio
) representa el factor 

(7)
Polinomios con coeficientes en un anillo
Para dar paso a la definición de un anillo de polinomios, observemos que un polinomio, como (anillo (en el caso de ( ) los coeficientes son enteros). Así, por ejemplo, es suficiente asociar el polinomio ( ) con una aplicación
, donde
, tal que
toma el valor del coeficiente correspondiente cuando se evalúa en un monomio
. En vista de esto tenemos:
), es una suma finita de monomios multiplicados por coeficientes en un



|
Podemos considerar ahora los monomios con coeficientes en el anillo
como casos especiales de polinomios. Si
es unitario, entonces podemos considerar al polinomio
que vale 1 en
y 0 en cualquier otro caso como el monomio
mismo. Para ver que, en realidad, tanto
como
son, desde el punto de vista algebraico, un subconjunto de
y que efectivamente
es un anillo que contiene a
como un subanillo, es necesario definir las operaciones de anillo sobre
.







![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)

![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
Operaciones sobre ![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
Definiciones
La adición sobre
claramente ha de definirse así:
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
|
Esta definición se interpreta como la reducción de los términos semejantes (i.e. los coeficientes de un mismo monomio



Cuando multiplicamos polinomios, acostumbramos sumar los términos semejantes que surjan en el producto para obtener un polinomio lo más reducido posible. En vista de esto, tenemos la definición de la multiplicación en
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
|
Propiedades de anillo
Respecto de las operaciones de adición y multiplicación, según han sido definidas, el conjunto
cumple con que:
![A[S]](https://upload.wikimedia.org/math/1/6/3/163f50da6ac380b4221607faa48735f3.png)
ANILLOS DE POLINOMIOS .- .....................................................................:http://www.instituto127.com.ar/Academicos/Catedras/ProfMate_algebra/3_Anillos_de_polinomios.pdf Anillo de polinomios. Divisi´on y factorizaci´on. Lema de Gauss. - ......................................:http://euclides.us.es/da/apuntes/algebra/t6-2004-05.pdf ANILLOS DE POLINOMIOS .- ...................................................:http://www.ual.es/~btorreci/polinomi.pdf |
No hay comentarios:
Publicar un comentario