Anillo de polinomios

Anillo de polinomios: Anillo de polinomios

Saltar a navegación, búsqueda

Sea $A$ un anillo y $S$ cualquier conjunto. El conjunto $A [S]$ de todos los objetos

(1) $\sum_{i=1}^{m}a_ix_1^{k_{i1}}\cdots x_n^{k_{in}}$ ,

en donde $a_1,\ldots, a_m\in A$ , $x_1,\ldots, x_n\in S$ y cada $n$ -tupla $(k_{i1},\ldots, k_{in})$ de números naturales es diferente para diferente valor de $i$ , se dice anillo de polinomios con indeterminadas en $S$ sobre $A$ .

Contenido

1 Introducción

2 Propiedades fundamentales

3 Definición formal

3.1 Los monomios puros

3.2 Polinomios con coeficientes en un anillo

3.3 Operaciones sobre A[S]

3.3.1 Definiciones

3.3.2 Propiedades de anillo

Introducción

Los polinomios más conocidos son los que tienen coeficientes enteros. Por ejemplo, tomando $A$ como el anillo $\mathbb{Z}$ y $~S=\{x,y\}$ , un elemento de $\mathbb{Z}[S]$ es un polinomio en dos variables. Como por ejemplo:

(2) $~4x^3y-5xy^2+3y^3$ .

Notar que, si bien el conjunto de indeterminadas $S$ puede ser un conjunto infinito, cada polinomio contiene un número finito de términos.

Si $S=\{x_1,\ldots, x_n\}$ , entonces se puede escribir $A[x_1,\ldots, x_n]$ en lugar de $A [S]$ . Así, $A [x]$ es un anillo de polinomios en una sola indeterminada $x$ .

Puede notarse fácilmente que a cada elemento de $a\in A$ le corresponde un polinomio (monomio, de hecho) en $A [S]$ expresado como:

$ax_1^0x_2^0x_3^0\cdots$ ,

donde $x_1,x_2,x_3,\cdots\in S$ , es decir, desde el punto de vista algebraico, $a=ax_1^0x_2^0x_3^0\cdots$ , por lo que $A$ es un subanillo de $A [S]$ .

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 $A$ es un dominio íntegro, $A [S]$ también lo es, y las unidades de $A [S]$ son las mismas que las de $A$ . Por el contrario $A [S]$ nunca será un cuerpo, no importando que $A$ lo sea o no, pues aunque las unidades de $A [S]$ sean las mismas que las de $A$ , $A$ es tan sólo un subanillo de $A [S]$ . Sin embargo, el anillo $A [S]$ es un dominio integro si $A$ lo es, luego, dado el caso, se puede construir el cuerpo de cocientes de $A [S]$ (i.e. el cuerpo de fracciones de polinomios), que se denota comúnmente por $A (S)$ .

Los coeficientes de los polinomios de un anillo $A [S]$ pueden tomarse no solo como los elementos de $A$ . En la practica podemos hacer agrupaciones del tipo

$~4x^2y^3-5xy^2+2zy=(4x^2)y^3-(5x)y^2+2zy$

y éstas también deben hacerse en un anillo de polinomios $A [S]$ . Para ello se separan los elementos de $S$ en dos conjuntos disjuntos, digamos $R$ y $T$ , luego el anillo de polinomios $A [R][T]$ tiene coeficientes en el anillo de polinomios $A [R]$ e indeterminadas en $T\subset S$ .

Si $A$ es un anillo y $R\subseteq S$ , claramente $A [R]$ es un subanillo de $A [S]$ .

Sea $A$ un anillo unitario. Todo polinomio no nulo de $A [x]$ cuyo coeficiente director sea una unidad puede dividir euclídeamente a cualquier otro polinomio de $A [x]$ y el grado del resto es estrictamente menor que el grado de del divisor. Es decir, si $D$ y $d$ son polinomios de $A [x]$ no nulos, con el coeficiente director de $d$ una unidad de $A$ , entonces existen polinomios $c$ y $r$ de $A [x]$ tales que

$~D=dc+r$ con $\mathrm{grad}\, r<\mathrm{grad}\, d$

Así, para que la división de polinomios sea siempre posible en un anillo de polinomios $A [x]$ , $A$ debe de ser un cuerpo (i.e. todo elemento de A debe ser una unidad), y si así sucede $A [x]$ será un dominio euclídeo. Un hecho muy importante es que un anillo de polinomios $A [x]$ es un dominio de ideales principales (DIP) si y sólo si $A$ es un cuerpo. Puesto que todos los dominios euclídeos son DIPs, tenemos que $A [S]$ no es un dominio euclídeo si $S$ contiene más de un elemento, pues $A[S]=A[S\setminus\{x\}][x]$ , y $A[S\setminus\{x\}]$ nunca es un cuerpo y por tanto tampoco un DIP.

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 monomio corresponde 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 $S$ es un conjunto y, por ejemplo, $x,y,z\in S$ , un monomio a partir de $S$ puede ser

(3) $~x^2yz^3$ .

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

(4) $~x^4y^2$ ,

se corresponde con la aplicación $u$ dada por $u (x) = 4$ , $u (y) = 2$ y $u (z) = 0$ .

En vista de las consideraciones anteriores, la definición de un conjunto de monomios ha de ser la siguiente:

Sea $S$ un conjunto. El conjunto de los monomios con indeterminadas en $S$ , representado por $M$ , es el conjunto de todas las aplicaciones $u:S\longrightarrow\mathbb{N}$ tales que el conjunto $\{s\in S\mid u(s)\neq 0\}$ es finito.

Si $u,v\in M$ , se definen las aplicaciones $~u+v$ y $~ku$ , donde $k\in\mathbb{N}$ , mediante

$~(u+v)(s)=u(s)+v(s)$ y $ku(s)=k\left(u(s)\right)$

para todo $s\in S$ .

Estas aplicaciones están bien definidas, y claramente $u+v\in M$ y y $ku\in M$ . Vemos pues que si $u, v$ son aplicaciones de $M$ , $u + v$ se interpreta como el producto de los monomios representados por $u$ y $v$ , y si $k$ es un número natural, $k u$ se interpreta como la potencia $m$ -sima del monomio representado por $u$ .

Nótese que el monomio $e$ de $M$ que toma constantemente el valor 0 es tal que

$u + e = e + u = u$ y $k e = e k = e$

para todo $u\in M$ . Así, este monomio se representa por el mismo símbolo 0.

Obsérvese que el elemento $x\in S$ se interpreta en $M$ , claramente, como la aplicación $~ \epsilon_x$ que vale 1 en $x$ y 0 en cualquier otro caso. En estos términos cualquier monomio $u$ de $M$ puede escribirse como

(5) $u=u(x_1)\epsilon_{x_1}+\cdots+u(x_n)\epsilon_{x_n}$ ,

donde $x_1,\ldots, x_n\in S$ son los elementos de $S$ para los cuales la aplicación $u$ no se anula (por definición, estos elementos son siempre un número finito). Claramente, cada término

(6) $u(x_i)\epsilon_{x_i}$

de (5) representa el factor $x_{i}^{u(x_i)}$ en el monomio representado por $u$ . Es decir, (5) se entiende como el monomio

(7) $x_{1}^{u(x_1)}\cdots x_{n}^{u(x_n)}$

Polinomios con coeficientes en un anillo

Para dar paso a la definición de un anillo de polinomios, observemos que un polinomio, como (2), es una suma finita de monomios multiplicados por coeficientes en un anillo (en el caso de (2) los coeficientes son enteros). Así, por ejemplo, es suficiente asociar el polinomio (2) con una aplicación $p:M\longrightarrow\mathbb{Z}$ , donde $S = {x, y}$ , tal que $p$ toma el valor del coeficiente correspondiente cuando se evalúa en un monomio $u\in M$ . En vista de esto tenemos:

Sean $S$ un conjunto, $A$ un anillo y $M$ el conjunto de monomios de la definición 1. El anillo de polinomios con indeterminadas en $S$ sobre $A$ es el conjunto $A [S]$ de todas las aplicaciones $p:M\longrightarrow A$ tales que el conjunto $\{u\in M\mid p(u)\neq 0\}$ es finito.

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

Operaciones sobre $A [S]$

Definiciones

La adición sobre $A [S]$ claramente ha de definirse así:

Sean $p, q$ polinomios de $A [S]$ . Se define $p + q$ como la aplicación dada por

(8) $~(p+q)(u)=p(u)+q(u)$

para todo monomio $u\in M$ . Es claro que $p+q\in A[S]$ .

Esta definición se interpreta como la reducción de los términos semejantes (i.e. los coeficientes de un mismo monomio $u$ ) de $p$ y $q$ .

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]$ :

Sean $p, q$ polinomios de $A [S]$ . Se define $p q$ como la aplicación dada por

(9) $~pq(u)=\sum_{s+t=u}p(s)q(t)$

para todo monomio $u\in M$ . El miembro derecho de (9) es la suma de todos los productos $p (s) q (t)$ tales que $s + t = u$ . La aplicación $p q$ es claramente un polinomio de $A [S]$ .

Propiedades de anillo

Respecto de las operaciones de adición y multiplicación, según han sido definidas, el conjunto $A [S]$ cumple con que:

$A [S]$ es un anillo Si $A$ es un anillo y $S$ es un conjunto entonces $A [S]$ es un anillo.

Obtenido de "Anillo de polinomios"

Categorías: Teoría de anillos | Geometría algebraica

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

Polinomios simétricos — Saltar a navegación, búsqueda En matemáticas, un polinomio simétrico es un anillo de polinomios en n variables P(X1,X2,...,Xn), tal que si intercambiamos alguna de las variables el polinomio sigue siendo el mismo. Ejemplos Estos polinomios:… … Wikipedia Español
Anillo local — Saltar a navegación, búsqueda En Álgebra abstracta, los anillos locales son ciertos anillos comparativamente simples y que sirven para describir el comportamiento local de las funciones definidas sobre variedades algebraicas o variedades… … Wikipedia Español
Anillo noetheriano — Saltar a navegación, búsqueda En álgebra, un anillo R es noetheriano por la izquierda si sus ideales por la izquierda satisfacen la condición de cadena ascendente. Diremos que un anillo es noetheriano si es noetheriano por la izquierda y por la… … Wikipedia Español
Anillo conmutativo — Saltar a navegación, búsqueda En teoría de anillos (una rama del álgebra abstracta), un anillo conmutativo es un anillo (R, +, ·) en el que la operación de multiplicación · es conmutativa; es decir, si para cualesquiera a, b ∈ R, a·b = b·a. Si… … Wikipedia Español
Polinomios de Chebyshov — En matemática, los polinomios de Chebyshov, nombrados en honor a Pafnuti Chebyshov, son una familia de polinomios ortogonales que están relacionados con la fórmula de De Moivre y son definidos de forma recursiva con facilidad, tal como ocurre con … Wikipedia Español
Operaciones con polinomios — Dados los polinomios , de la forma general: o de forma compacta mediante el Sumatorio de los términos del polinomio … Wikipedia Español
Geometría algebraica — La geometría algebraica es una rama de la matemática que, como sugiere su nombre, combina el álgebra abstracta, especialmente el álgebra conmutativa, con la geometría. Se puede comprender como el estudio de los conjuntos de soluciones de los… … Wikipedia Español
Algoritmo de la división — Se ha sugerido que Algoritmo de la división sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. En matemáticas, y más precisamente en la aritmética, la… … Wikipedia Español
Cuerpo (matemática) — Saltar a navegación, búsqueda Para otros usos de este término, véase Cuerpo. Un cuerpo o campo es un anillo de división conmutativo, es decir, un anillo conmutativo en el que todo elemento distinto de cero (todo elemento no nulo) es invertible… … Wikipedia Español
Transformación de Tschirnhaus — En matemáticas , una transformación de Tschirnhaus, desarrollado por Ehrenfried Walther von Tschirnhaus en 1683, es un tipo de asignación de polinomios . Puede definirse convenientemente por medio de la teoría del campo , como la transformación… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Anillo de polinomios

Anillo de polinomios

Contenido

Introducción

Propiedades fundamentales

Definición formal

Los monomios puros

Polinomios con coeficientes en un anillo

Operaciones sobre $A [S]$

Definiciones

Propiedades de anillo

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Anillo de polinomios

Anillo de polinomios

Contenido

Introducción

Propiedades fundamentales

Definición formal

Los monomios puros

Polinomios con coeficientes en un anillo

Operaciones sobre A[S]

Definiciones

Propiedades de anillo

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo

Operaciones sobre $A [S]$