Algebra I

Definición de Anillo de Polinomios en una indeterminada

Extraido del libro Algebra de Hungerford, capitulo III, paginas 149 a la

151.
En estas notas definimos y desarrollamos la notación de polinomios en
una indeterminada sobre un anillo K.
Sea K un anillo. K[X] denota el conjunto de todas las sucesiones de
elementos of K de la forma (a0 , a1 , . . . ) tal que ai = 0 para todos salvo una
cantidad finita de ı́ndices i. En K[X] definimos dos operaciones, la suma y
multiplicación dadas por:

(a0 , a1 , . . . ) + (b0 , b1 , . . . ) = (a0 + b0 , a1 + b1 , . . . )

y
(a0 , a1 , ...) · (b0 , b1 , ...) = (c0 , c1 , ...),
donde
∑
n
cn = an−i bi = an b0 + an−1 bl + · · · + a1 bn−1 + a0 bn.
i=0

Observación: (i) Si 1K es la identidad en K, entonces (1K , 0, 0, . . . ) es

la identidad en K[X].
(ii) la función
F :K → K[X]
r 7→ (r, 0, 0, . . . )
es un mapa inyectivo que preserva la suma y el producto, más precisamente,
cumple que para todo r, s ∈ K,

F (r + s) = (r + s, 0, . . . ) = (r, 0, . . . ) + (s, 0, . . . ) = F (r) + F (s),

y
F (r · s) = (r · s, 0, . . . ) = F (r) · F (s).
Esto nos permite pensar a K embebido en K[X], por lo que denotaremos a
(r, 0, . . . ) simplemente por r. Ası́

r(a0 , a1 , . . . ) = (ra0 , ra1 , . . . ).

1
 Teorema. K[X] es un anillo.
Demostración: Ejercicio.
El anillo K[X] del Teorema anterior se llama el anillo de polinomios
sobre K y sus elementos se llaman polinomios.
Ahora desarrollamos una notación familiar para polinomios. Denotemos
por X el elemento (0, 1K , 0, 0, . . . ) ∈ K[X].
Ejercicio: (a) Probar, usando inducción y la definición de multipli-
cación en K[X], que X n = (0, 0, ..., 0, 1K , 0, ...), donde 1K está en la (n + 1)-
coordenada.
(b) Mostrar que si r ∈ K, entonces para cada n ∈ N, rX n = X n r =
(0, ..., 0, r, 0, ...), donde r está en la (n + 1) - coordenada.
(c) Denotemos a X 0 = 1K = (1K , 0, . . . ). Para cada polinomio distinto
de cero f en K[X] existe n ∈ N ∪ 0 y elementos a0 , . . . , an ∈ K tal que

f = a0 X 0 + a1 X 1 + + an X n .

Además n y los elementos ai son únicos en el sentido de que si f = b0 X 0 +

b1 X1 + + bm X m (bi ∈ K) implica que m > n y que ai = bi para i = 1, 2, ..., n
y bi = 0 para n < i ≤ m. (Ayuda: Si f = (a0 , a1 , ...) ∈ K[X], debe haber un
ı́ndice n tal que an ̸= 0 y ak = 0 para todo k ≥ n. Entonces a0 , a1 , ..., an ∈ K
son los elementos deseados.)
Ası́, cada polinomio f = (a0 , a1 , . . . ) ∈ K[X] puede escribirse de manera
única como

f = ao + a1 X 1 1 + · · · + an X n ,
donde ai ∈ K. En lo sucesivo, un polinomio sobre un anillo K siempre será
escrito de esta forma. En esta notación, la suma y la multiplicación en K[X]
viene dada por las reglas familiares:

∑
n ∑
n ∑
n
i i
ai X + bi X = (ai + bi )X i ,
i=0 i=0 i=0
y
∑
n ∑
m ∑
n+m
ai X ·
i i
bi X = ci X i ,
i=0 i=0 i=0
∑i
donde cada ci = j=0 ai−j bj .
∑
Si f = ni=0 ai X n ∈ K[X], entonces los elementos ai ∈ K se llaman coe-
ficientes de f y el elemento a0 se llama término constante. Los elementos de

2
K en K[X], es decir r = (r, 0, 0, ...) = rX 0 se llaman polinomios constantes.
Si an es no nulo, se llama coeficiente director de f . Si el coeficiente director
es 1K , entonces se dice que f es un polinomio mónico.
Por razones históricas, el elemento X = (0, 1K , 0, ...) de K[X] se llama
indeterminada. Se habla de polinomios en el indeterminada X.