Capı́tulo 13

Estructuras Algebraicas

13.1. Introducción
En este capı́tulo final 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 fluida y natural, al menos para los lectores
que tengan unos conocimientos de álgebra suficientes. Si este no es el caso,
el lector puede encontrar la ayuda necesaria en este capı́tulo.

13.2. Grupos

Definición 13.2.1. Un grupo es un conjunto G dotado de una operación

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 simétrico: Para cada x ∈ G, existe un elemento

215
216 CAPÍTULO 13. ESTRUCTURAS ALGEBRAICAS

x0 ∈ G, tal que x ◦ x0 = x0 ◦ x = e (diremos que x0 es el elemento simétrico

de x).

El grupo se llama commutativo si, además de las anteriores propiedades,

la operación ◦ 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úmeros natu-

rales con la operación suma no es un grupo. Basta observar que el elemento
neutro es 0 pero ningún natural no nulo posee simétrico.
b) El conjunto Z de los números enteros con la operación suma es un
grupo commutativo. También tiene estructura de grupo (con la suma) el
conjunto de los enteros múltiplos de m, siendo m cualquier número natural
distinto de 1.

Un subconjunto C no vacı́o de G se dirá que es un subgrupo de G si la

operación ◦ 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 simétrico
x0 debe pertenecer a C.

Ejemplos 13.2.3. a) C = {−1, 1} es un subgrupo del grupo multiplicativo

que forman los números racionales no nulos.
b) C = {ex : x ∈ R} es un subgrupo multiplicativo del grupo formado
por todos los números reales no nulos. De la igualdad ex · e−x = e0 = 1, se
sigue que C contiene el elemento neutro, e0 = 1, y que el simétrico de ex es
e−x .
c) A lo largo del libro encontraremos a menudo la siguiente situación.
Supongamos que (A, ◦) es un grupo y definimos en el conjunto An la operación

(a1 , a2 , ..., an ) ◦ (b1 , b2 , ..., bn ) = (a1 ◦ b1 , a2 ◦ b2 , ..., an ◦ bn ).

Es inmediato comprobar que con esta operación dotamos al conjunto An de

la estructura de grupo. Nótese que, si e denota el elemento neutro de A,
13.2. GRUPOS 217

entonces (e, e, .., e) es el elemento neutro de An . Asimismo, (a01 , a02 , ..., a0n ) es
el elemento simétrico de (a1 , a2 , ..., an ). Supongamos que A = Z2 = {0, 1}
(con la operación 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 A4 .

Para facilitar la comprensión, en el resto de la sección vamos a usar no-

tación aditiva. Por tanto, consideramos un grupo (G, +) y denotamos el ele-
mento neutro por 0 y el simétrico 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 módulo el subgrupo

C. En el capı́tulo primero hemos visto la importancia de considerar las clases
adjuntas para decodificar con un código de grupo. Vamos a probar que las
clases adjuntas determinan una partición 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 intersección no vacı́a si y
sólo si x − y ∈ C.
En efecto, supongamos que x − y = c ∈ C, entonces x = y + c ∈ y + C.
Como x pertenece también a x + C, se sigue que x ∈ (x + C) ∩ (y + C).
Recı́procamente, supongamos que (x + C) ∩ (y + C) 6= ∅. Entonces existen
c, c0 ∈ C, tales que x + c = y + c0 , lo que implica que x − y = c0 − 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ÍTULO 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 definiendo la suma de dos clases
adjuntas de la forma siguiente:

(x + C) + (y + C) = (x + y) + C.

La definición es consistente si probamos que es independiente de los repre-

sentantes escogidos en cada clase. En efecto, si x − x0 ∈ C e y − y 0 ∈ C,
entonces la igualdad

x0 + y 0 − (x + y) = (x0 − x) + (y 0 − y) ∈ C

muestra que la suma en G/C está bien definida. Es fácil probar que con esta
operación G/C es un grupo commutativo que recibe el nombre de grupo
cociente.
En la teorı́a de la codificación interesa el caso en que el grupo G es finito.
Supongamos, pues, que este es el caso y denotemos por n el número de
elementos de G y por m el de su subgrupo C. Acabamos de probar que G es
la unión de las clases adjuntas distintas y todas ellas tienen el mismo número
de elementos (el mismo número que C), por tanto, se verifica n = m·p, donde
p es el número de clases adjuntas diferentes. Es decir, hemos probado que m
es divisor de n. Este es el Teorema de Lagrange sobre grupos finitos, que nos
será muy útil en la teorı́a de códigos correctores.
Si denotamos por mZ el conjunto de los enteros que son múltiplos 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 Zm
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 está formada
por todos los enteros que son la suma de r más un múltiplo de m. Esta es
la razón de que reciban el nombre de clases de resto módulo m. Los enteros
0, 1, 2, .., m − 1 son los representantes más simples de cada una de las clases
de que consta el grupo cociente Zm .
13.3. ANILLOS 219

Ejemplo 13.2.4. El conjunto Z2 = {0, 1} (clases de resto módulo 2) es un

grupo commutativo para la suma. En la figura 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 tı́tulo
de ejemplo, recordamos la tabla de la suma en Z3 :

+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1

13.3. Anillos

Definición 13.3.1. Un conjunto A dotado de dos operaciones internas, suma

y producto, recibe el nombre de anillo si verifica las siguientes propiedades:
1) A con la operación 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ÍTULO 13. ESTRUCTURAS ALGEBRAICAS

Para simplificar, sólo consideraremos anillos commutativos. Si el anillo posee

elemento neutro para el producto (elemento unidad), éste se denotará por 1.
Un anillo con elemento unidad se llama unitario. Si este es el caso, el elemento
simétrico 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á 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ás, el producto
es commutativo, se dirá que el cuerpo es commutativo.

Ejemplos 13.3.2. a) El conjunto Z es un anillo con las operaciones suma y

producto usuales. También 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 coeficientes en K, es decir, el conjunto de todas las expresiones
de la forma a0 + a1 + · · · + an xn , donde ai ∈ 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 6= 0 y se define 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 tı́tulo
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

coeficientes en un cuerpo commutativo K es un anillo principal.

DEMOSTRACIÓN: 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ónico ( sólo puede haber uno mónico). Lo denotamos por g(x) y probamos
que I está 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
definición de g(x), se sigue que p(x) tiene grado mayor o igual que g(x). Por
tanto, puede hacerse la división entera de p(x) por g(x):

p(x) = g(x) · c(x) + r(x),

donde el resto r(x) es idénticamente 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-

ción, salvo que r(x) sea idénticamente 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 define por
222 CAPÍTULO 13. ESTRUCTURAS ALGEBRAICAS

a + I = {a + y : y ∈ I}.
Puede definirse en A/I una multiplicación de la forma siguiente:

(a + I) · (b + I) = a · b + I.

Si a0 − a ∈ I y b0 − b ∈ I, se sigue de la igualdad

a · b − a0 · b0 = a · b − a · b0 + a · b0 − a0 · b0 = a · (b − b0 ) + (a − a0 ) · b0

que a · b − a0 · b0 pertenece al ideal, lo que muestra que la definición de

la multiplicación es independiente de los representantes escogidos en cada
clase. Finalmente, es fácil probar que se verifican 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últiplos de m, forman un ideal del anillo Z. Precisamente
se trata del ideal generado por m. Por ello, no debe extrañarnos que el grupo
cociente Zm sea realmente un anillo, si definimos el producto como se ha
indicado en el párrafo 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 difı́cil probar que Zm es un cuerpo si y sólo si m es
un número primo. Por tanto, si m es un número natural primo, Zm es un
cuerpo finito que consta de m elementos, por ello juegan un papel de gran
importancia en la Teorı́a de códigos.
b) Finalmente, consideramos el anillo de los polinomios K[x] y el ideal
de éste generado por un polinomio g(x). El correspondiente anillo cociente,
K[x]/g(x), está 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 está 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ódulo g(x) (nótese la semejanza formal
que guardan con las clases de resto módulo m).