Captulo 13

Estructuras Algebraicas
13.1. Introduccion
En este captulo nal desarrollamos brevemente los conceptos algebraicos
que se necesitan a lo largo de toda la obra. Hemos preferido hacerlo as para
que la lectura del libro pueda ser uida y natural, al menos para los lectores
que tengan unos conocimientos de algebra sucientes. Si este no es el caso,
el lector puede encontrar la ayuda necesaria en este captulo.
13.2. Grupos
Denicion 13.2.1. Un grupo es un conjunto G dotado de una operacion
interna con las propiedades:
1. Asociativa: x (y z) = (x y) z, cualesquiera que sean x, y, z G.
2. Existencia de elemento neutro: G contiene un elemento, que denotamos
por e, con la propiedad x e = e x = x, cualquiera que sea x G (e
recibe el nombre de elemento neutro).
3. Existencia de elemento simetrico: Para cada x G, existe un elemento
215
216 CAP

ITULO 13. ESTRUCTURAS ALGEBRAICAS

x

G, tal que xx

= x

x = e (diremos que x

es el elemento simetrico
de x).
El grupo se llama commutativo si, ademas de las anteriores propiedades,
la operacion posee la propiedad commutativa: x y = y x, cualesquiera
que sean x, y G.
Ejemplos 13.2.2. a) El conjunto N = {0, 1, 2, 3, ...} de los n umeros natu-
rales con la operacion suma no es un grupo. Basta observar que el elemento
neutro es 0 pero ning un natural no nulo posee simetrico.
b) El conjunto Z de los n umeros enteros con la operaci on suma es un
grupo commutativo. Tambien tiene estructura de grupo (con la suma) el
conjunto de los enteros m ultiplos de m, siendo m cualquier n umero natural
distinto de 1.
Un subconjunto C no vaco de G se dira que es un subgrupo de G si la
operacion es interna sobre C y (C, ) es un grupo. Por tanto, un sugrupo
debe contener al elemento neutro e y, para cada x C, el elemento simetrico
x

debe pertenecer a C.
Ejemplos 13.2.3. a) C = {1, 1} es un subgrupo del grupo multiplicativo
que forman los n umeros racionales no nulos.
b) C = {e
x
: x R} es un subgrupo multiplicativo del grupo formado
por todos los n umeros reales no nulos. De la igualdad e
x
e
x
= e
0
= 1, se
sigue que C contiene el elemento neutro, e
0
= 1, y que el simetrico de e
x
es
e
x
.
c) A lo largo del libro encontraremos a menudo la siguiente situaci on.
Supongamos que (A, ) es un grupo y denimos en el conjunto A
n
la operaci on
(a
1
, a
2
, ..., a
n
) (b
1
, b
2
, ..., b
n
) = (a
1
b
1
, a
2
b
2
, ..., a
n
b
n
).
Es inmediato comprobar que con esta operacion dotamos al conjunto A
n
de
la estructura de grupo. Notese que, si e denota el elemento neutro de A,
13.2. GRUPOS 217
entonces (e, e, .., e) es el elemento neutro de A
n
. Asimismo, (a

1
, a

2
, ..., a

n
) es
el elemento simetrico de (a
1
, a
2
, ..., a
n
). Supongamos que A = Z
2
= {0, 1}
(con la operacion suma) y n = 4. El conjunto
C = {(0, 0, 0, 0), (1, 1, 1, 1), (1, 0, 1, 0), (0, 1, 0, 1)}
es un subgrupo de A
4
.
Para facilitar la comprensi on, en el resto de la secci on vamos a usar no-
tacion aditiva. Por tanto, consideramos un grupo (G, +) y denotamos el ele-
mento neutro por 0 y el simetrico de x G por x.
Supongamos que G es un grupo aditivo y commutativo y C un subgrupo.
Dado x G, denotamos por x + C el conjunto formado por todos los ele-
mentos de la forma x+c, siendo c cualquier elemento del subgrupo, es decir,
x + C = {x + c : c C}.
Diremos que x+C es la clase lateral adjunta de x modulo el subgrupo
C. En el captulo primero hemos visto la importancia de considerar las clases
adjuntas para decodicar con un codigo de grupo. Vamos a probar que las
clases adjuntas determinan una partici on del grupo G.
1. Como x x + C, para cualquier x G, se sigue que los conjuntos
x + C recubren G.
2. Dos clases adjuntas, x + C e y + C, tienen interseccion no vaca si y
solo si x y C.
En efecto, supongamos que x y = c C, entonces x = y + c y + C.
Como x pertenece tambien a x + C, se sigue que x (x + C) (y + C).
Recprocamente, supongamos que (x + C) (y + C) = . Entonces existen
c, c

C, tales que x + c = y + c

, lo que implica que x y = c

c C.
3. Dos clases adjuntas son disjuntas o exactamente iguales. Si x+C e y+C
no son disjuntas, la propiedad anterior nos permite concluir que x y C.
Veamos que x + C y + C. En efecto, dado cualquier elemento c C,
tenemos: x + c = y + c + (x y). Como C es un subgrupo, sabemos que
218 CAP

ITULO 13. ESTRUCTURAS ALGEBRAICAS

c + (x y) C, luego x + c y + C. De la misma forma se prueba que
y + C x + C.
El conjunto formado por todas las clases adjuntas se denota por G/C
y puede dotarse de la estructura de grupo deniendo la suma de dos clases
adjuntas de la forma siguiente:
(x + C) + (y + C) = (x + y) + C.
La denici on es consistente si probamos que es independiente de los repre-
sentantes escogidos en cada clase. En efecto, si x x

C e y y

C,
entonces la igualdad
x

+ y

(x + y) = (x

x) + (y

y) C
muestra que la suma en G/C esta bien denida. Es facil probar que con esta
operacion G/C es un grupo commutativo que recibe el nombre de grupo
cociente.
En la teora de la codicaci on interesa el caso en que el grupo G es nito.
Supongamos, pues, que este es el caso y denotemos por n el n umero de
elementos de G y por m el de su subgrupo C. Acabamos de probar que G es
la uni on de las clases adjuntas distintas y todas ellas tienen el mismo n umero
de elementos (el mismo n umero que C), por tanto, se verica n = mp, donde
p es el n umero de clases adjuntas diferentes. Es decir, hemos probado que m
es divisor de n. Este es el Teorema de Lagrange sobre grupos nitos, que nos
sera muy util en la teora de codigos correctores.
Si denotamos por mZ el conjunto de los enteros que son m ultiplos de
m, ya hemos dicho que mZ es un grupo para la suma. Por tanto, se trata
de un subgrupo de Z. El correspondiente grupo cociente se denota por Z
m
y consta de m elementos que denotamos por 0, 1, ..., m 1, donde r es la
clase adjunta del entero r (r = 0, 1, 2, .., m 1). Es decir, r esta formada
por todos los enteros que son la suma de r mas un m ultiplo de m. Esta es
la raz on de que reciban el nombre de clases de resto m odulo m. Los enteros
0, 1, 2, .., m 1 son los representantes m as simples de cada una de las clases
de que consta el grupo cociente Z
m
.
13.3. ANILLOS 219
Ejemplo 13.2.4. El conjunto Z
2
= {0, 1} (clases de resto m odulo 2) es un
grupo commutativo para la suma. En la gura se recoge la tabla de la suma
en este grupo.
+ 0 1
0 0 1
1 1 0
Este ejemplo es de la mayor importancia en la materia que nos ocupa, pues
no es otra cosa que lo que hemos venido llamando alfabeto binario. A ttulo
de ejemplo, recordamos la tabla de la suma en Z
3
:
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
13.3. Anillos
Denicion 13.3.1. Un conjunto A dotado de dos operaciones internas, suma
y producto, recibe el nombre de anillo si verica las siguientes propiedades:
1) A con la operacion suma es un grupo commutativo.
2) El producto es asociativo.
3) El producto es distributivo respecto de la suma a la izquierda y a la
derecha, es decir, se cumplen las relaciones siguientes
a (b + c) = a b + a c; (b + c) a = b a + c a,
cualesquiera que sean a, b, c A.
Un anillo A se llama commutativo si el producto es commutativo. Z es
un anillo commutativo, pero el anillo de las matrices cuadradas no lo es.
220 CAP

ITULO 13. ESTRUCTURAS ALGEBRAICAS

Para simplicar, solo consideraremos anillos commutativos. Si el anillo posee
elemento neutro para el producto (elemento unidad), este se denotar a por 1.
Un anillo con elemento unidad se llama unitario. Si este es el caso, el elemento
simetrico de x A para el producto se denota por x
1
(elemento inverso de
x).
Un tipo especialmente importante de anillos es el formado por los cuer-
pos. Un conjunto K dotado con dos operaciones internas, suma y producto,
se dir a que es un cuerpo si es un anillo unitario con la propiedad de que todo
elemento no nulo posee inverso. Por tanto, el conjunto de los elementos no
nulos de K con el producto tiene estructura de grupo. Si, adem as, el producto
es commutativo, se dir a que el cuerpo es commutativo.
Ejemplos 13.3.2. a) El conjunto Z es un anillo con las operaciones suma y
producto usuales. Tambien es un anillo el conjunto formado por los enteros
pares.
b) Un ejemplo especialmente importante lo constituye el anillo de los
polinomios. Si K es un cuerpo, denotamos por K[x] el conjunto de todos los
polinomios con coecientes en K, es decir, el conjunto de todas las expresiones
de la forma a
0
+ a
1
+ + a
n
x
n
, donde a
i
K. Si consideramos en K[x] la
suma y el producto de polinomios, resulta un anillo, el anillo de los polinomios
en la indeterminada x.
Subconjuntos especialmente importantes de un anillo A son los ideales.
Un subconjunto I de A se llama ideal si es un subgrupo de A para la suma
y es estable para el producto, es decir, a b I, cualesquiera que sean a I
y b A.
Una forma simple de determinar un ideal en cualquier anillo es la si-
guiente: se escoge b A, b = 0 y se dene I = {a b : a A}. Es inmediato
comprobar que I es un ideal, que recibe el nombre de ideal generado por b. En
general, no es cierto que todo ideal de un anillo cualquiera se pueda obtener
de este modo. Precisamente, cuando un anillo tiene la propiedad de que todos
13.4. ANILLO COCIENTE 221
sus ideales son de esta forma, el anillo se denomina anillo principal. A ttulo
de ejemplo, vamos a probar que el anillo de los polinomios es principal.
Teorema 13.3.3. El anillo de los polinomios en la indeterminada x y con
coecientes en un cuerpo commutativo K es un anillo principal.
DEMOSTRACI

ON: Sea I un ideal no trivial de K[x]. Entre los polinomios

no nulos de menor grado que podemos encontrar en I escogemos uno que sea
m onico ( solo puede haber uno m onico). Lo denotamos por g(x) y probamos
que I esta generado por g(x). Para ello, debemos probar que I = {c(x)
g(x) : c(x) K[x]}. Sea, pues, p(x) cualquier polinomio no nulo de I; por la
denicion de g(x), se sigue que p(x) tiene grado mayor o igual que g(x). Por
tanto, puede hacerse la divisi on entera de p(x) por g(x):
p(x) = g(x) c(x) + r(x),
donde el resto r(x) es identicamente nulo o tiene grado menor que g(x).
Despejando r(x), resulta
r(x) = p(x) g(x) c(x).
Como I es un ideal, p(x) g(x) c(x) pertenece a I, lo que es una contradic-
cion, salvo que r(x) sea identicamente nulo. Entonces hemos probado que
p(x) = c(x) g(x).
13.4. Anillo cociente
Sean A un anillo commutativo e I un ideal de A. Considerados A e I
como grupos aditivos, podemos formar el grupo cociente A/I. Recordemos
que cada elemento a A determina una clase o elemento de A/I que se
denota por a +I y se dene por
222 CAP

ITULO 13. ESTRUCTURAS ALGEBRAICAS

a +I = {a + y : y I}.
Puede denirse en A/I una multiplicacion de la forma siguiente:
(a +I) (b +I) = a b +I.
Si a

a I y b

b I, se sigue de la igualdad
a b a

= a b a b

+ a b

= a (b b

) + (a a

) b

que a b a

pertenece al ideal, lo que muestra que la denici on de

la multiplicacion es independiente de los representantes escogidos en cada
clase. Finalmente, es facil probar que se verican todas las propiedades que
se exigen para ser A/I un anillo, que recibe el nombre de anillo cociente.
Ejemplos especialmente importantes para nosotros son los siguientes.
a) El anillo de las clases de resto modulo m. El conjunto mZ, formado
por los enteros m ultiplos de m, forman un ideal del anillo Z. Precisamente
se trata del ideal generado por m. Por ello, no debe extra narnos que el grupo
cociente Z
m
sea realmente un anillo, si denimos el producto como se ha
indicado en el parrafo anterior. Es decir, el producto de dos clases de resto es
la clase formada por el producto de dos representantes cualesquiera de cada
una de las clases. No es difcil probar que Z
m
es un cuerpo si y solo si m es
un n umero primo. Por tanto, si m es un n umero natural primo, Z
m
es un
cuerpo nito que consta de m elementos, por ello juegan un papel de gran
importancia en la Teora de codigos.
b) Finalmente, consideramos el anillo de los polinomios K[x] y el ideal
de este generado por un polinomio g(x). El correspondiente anillo cociente,
K[x]/g(x), est a formado por las clases adjuntas de cada uno de los polinomios
cuyo grado es menor que el de g(x). Si p(x) es uno de estos polinomios,
entonces la clase que determina esta formada por todos los polinomios de la
forma p(x) +c(x) g(x). Por ello, los elementos del anillo cociente K[x]/g(x)
reciben el nombre de clases de resto m odulo g(x) (n otese la semejanza formal
que guardan con las clases de resto m odulo m).