Modulo 3

Unidad 7 :
La teora de Grupos
Semana 11
Aplicar el concepto de grupo en la resolucin de problemas, en el modelado
matemtico y en la demostracin de nuevos resultados.
Temas a tratar: Ley de composicin interna. El concepto de grupo. Ejemplos:
grupo de permutaciones. Rotaciones y Simetras. Orden de un grupo.
10.1. Introduccin
Como muchas ideas de la matemtica moderna, el concepto de ley de composicin
interna surge del trabajo de Leonard Euler. Por supuesto que los matemticos
conocan leyes de composicin interna sobre distintos conjuntos antes del trabajo de
Euler pero este la utiliza en conjuntos bastantes arbitrarios, como los residuos de las
potencias de un nmero mdulo p. Es un primer movimiento hacia un mayor grado
de abstraccin. Posteriormente, Gauss escribe su tratado fundamental Disquisiciones
Aritmticas donde claramente se expone el concepto de ley de composicin interna.
10.2. El concepto de ley de composicin interna

En muchos casos dos objetos x,y de un conjunto dado A se combinan mediante una
operacin para formar un nuevo objeto que pertenece a A. Por ejemplo, si
tomamos dos matrices M,N cuadradas 2x2 las podemos sumar de manera natural ,
entrada por entrada y obtenemos una nueva matriz.
Definicin. Una ley de composicin interna en un conjunto A es una funcin
f : A A A
( x, y ) f ( x, y )
que a cada par (x,y) A A le asocia el elemento f(x,y) A .
Notacin: Es costumbre en matemtica usar, para indicar una ley de composicin
interna, un smbolo como entre los elementos x e y, as escribimos x y en lugar de
f(x,y). Tambin son muy comunes los smbolos +, , , para indicar leyes de
composicin interna.
Cuando tenemos una ley de composicin interna en A es costumbre decir que
A es cerrado respecto a . El estudiante debe saber que usaremos muchas veces esta
expresin para indicar que es una ley de composicin interna.
1. Consideremos el conjunto de todos los enteros Z , en ellos se puede definir la ley

de composicin interna del producto (definido en la Unidad 4 ) que asocia a cada par
(x,y) el elemento de Z dado por x y.
2.
Consideremos el conjunto de todos los enteros Z y definamos la ley de composicin
interna
g : ZZ Z
g ( x, y ) = x y = x + y xy
Observe que g ( x, 0) = x 0 = x + 0 x0 = x y que 0 x = x . Por qu?. Ms adelante
veremos que 0 es un elemento neutro para esta ley.
3.
En el conjunto M de todas las matrices 2x2 con coeficientes reales se pueden definir
distintas operaciones. Pero, primero entendamos bien que es M
a11 a12
, aij para i, j {1, 2}

a21 a22
La suma + de matrices en M se define mediante la asignacin:
a11 a12 b11 b12 a11 + b11 a12 + b12
+
=
a21 a22 b21 b22 a21 + b21 a22 + b22

Es claro que el conjunto M es cerrado respecto a la suma antes definida. La suma
que hacemos en las entradas es la suma usual de nmeros reales. Desde un punto de
vista formal debiramos usar un smbolo para la suma de matrices y otro para la suma
de reales pero esto slo hara la notacin ms engorrosa. Una pregunta al estudiante
UNA, de acuerdo con la definicin de suma de matrices dada arriba, qu pasa si le

0 0
sumamos a una matriz cualquiera la matriz
? Reflexione su respuesta.
0 0
4.
El estudiante aprendi en bachillerato ( segundo ao) que si tenemos dos polinomios
p(x) y q(x) con coeficientes reales estos se pueden sumar para obtener un nuevo
polinomio. Es decir, si denotamos por [ x ] al conjunto de todos los polinomios con
coeficientes reales, entonces la adicin de polinomios es una ley de composicin
interna en [ x ] . Puede el estudiante UNA decir qu ocurre con el producto de
polinomios en [ x ] ?
5. Consideremos el conjunto + de los nmeros racionales positivos. Definimos una

operacin en + de la manera siguiente: si x,y estn en +
entonces
x y = x + y + x + y . El estudiante UNA debe decir si + es cerrado respecto a

esta operacin.
Definicin.
Sea un conjunto A dotado de una ley de composicin interna , un elemento e
perteneciente a A se denomina elemento neutro para s y slo
xe = e x = x,
para cualquier elemento x de A.
Es decir, al operar x con el elemento e no se produce cambio alguno y se obtiene x.
1.
Consideremos el conjunto de todos los enteros Z respecto a la suma usual. Entonces
0 es un elemento neutro como ya vimos en la unidad correspondiente a los nmeros
enteros. Si tomamos ahora la multiplicacin en Z vemos que el 1 es el elemento
neutro.
2.
Tomemos K el conjunto de todas las matrices 2x2 con entradas reales. Es decir,
a b
K =
, donde a, b, c, d son nmeros reales
c d
Definimos
en K una ley de composicin interna por medio de
a b e f ae + bg af + bh
=
, el estudiante debe verificar que la matriz
c d g h ce + dg cf + dh
1 0
dada por
es un elemento neutro para .
0 1
Hemos hablado de un elemento neutro e para una ley de composicin interna, una
pregunta natural es pueden haber varios elementos neutros para una ley de
composicin interna definida en un conjunto A dado? La respuesta es no como lo
demuestra la siguiente proposicin.
Proposicin 1.
Si la ley de composicin interna admite un elemento neutro e, este elemento es
nico.
Demostracin.
Supongamos que exista otro elemento neutro e y que e sea distinto de e. Es decir,
razonamos por reduccin al absurdo. Entonces e e=e por ser e un elemento
neutro. Por otro lado, e e=e ya que e es un elemento tambin, pero combinando
ambas igualdades obtenemos e =e, de donde obtenemos una contradiccin y esto
implica la unicidad del elemento neutro.
1. Es tpico usar reduccin al absurdo para demostrar la unicidad de objetos
matemticos. Por ejemplo, en Clculo I el estudiante demostr la unicidad del
lmite de manera similar.
2. Observe la importancia de la proposicin anterior, cada vez que tenemos una
ley de composicin interna con un elemento neutro no debemos preocuparnos
por la unicidad del mismo. Esto demuestra la potencia de usar un enfoque
abstracto.
1. Considere el conjunto M de todas las matrices 2x2 (2 filas y dos columnas)

con entradas pertenecientes los nmeros reales.
Definimos en M la ley de
composicin interna siguiente
a b e
c d g
f ae bf
=
h cg dh
Estudie si esta ley de composicin tiene un elemento neutro.

2. Considere los nmeros naturales y la operacin definida entre nmeros naturales
por medio de a b = a + b + ab . Diga si esta operacin corresponde a una ley de
composicin interna y determine su elemento neutro en caso de que este exista.
1 1
1. La matriz
es el elemento neutro de la ley de composicin interna
1 1
considerada, el estudiante UNA debe verificar esta afirmacin.
2. Para que exista un elemento neutro e debe ocurrir que
a e = a + e + ae = a e ( a + 1) = 0 , pero a+1 es un natural no nulo, luego se debe
tener que e=0. Es claro que 0 a = 0 de donde 0 es el elemento neutro buscado.
Cuando existe un elemento neutro e respecto a una ley de composicin interna es muy
importante estudiar la existencia del inverso de un elemento dado. Veamos este
concepto en detalle. Sea A un conjunto con una ley de composicin interna y
elemento neutro e, decimos que el elemento x admite un inverso o es invertible, y
denotamos su inverso por x 1 , si x x 1 = x 1 x = e para x 1 en A. 1
En muchos textos se habla de inverso por la derecha y por la izquierda y de inverso cuando estos dos
coinciden, nosotros no estudiaremos esas posibilidades.
1. En los nmeros naturales sabemos que el 0 es el elemento neutro respecto de la

ley de composicin de suma o adicin. Sin embargo, ningn elemento en tiene un
inverso respecto a la adicin ya que si n est en no podemos encontrar otro natural
k tal que n+k=k+n=0.
2. En los nmeros enteros , la adicin tiene un elemento neutro que es el 0 y todo
elemento x tiene un inverso que llamamos x. Vea la unidad de los nmeros enteros
para tan importante propiedad.
3. Consideremos M todas las matrices cuadradas 2x2 con coeficientes reales. Es
a b
decir, M =
con a, b, c, d . En el ejemplo 2 arriba, definimos en M una
c d
1 0
multiplicacin que tiene la matriz I como elemento neutro, donde I =
. No
0 1
toda matriz en M tiene un inverso respecto a la multiplicacin. Por ejemplo, la matriz
1 0
1 0 a b a b 1 0
A=
no puede tener inverso ya que
. La
0 0
0 0 c d 0 0 0 1
a b
condicin para que una matriz
pueda tener inverso es ad-bc 0 . En efecto,
c d
a b x y 1 0
si planteamos la ecuacin
=
, ella genera dos sistemas de
c d z w 0 1
ecuaciones independientes, precisamente
ax + bz = 1
cx + dz = 0
ay + bw = 0
cy + dw = 1
El estudiante UNA debe recordar de su estudios de bachillerato ( ver Matemtica y el
buen vivir, Quinto ao, Coleccin Bicentenario), que estos sistemas tienen solucin
a b
nica si el determinante
= ad bc 0 . De hecho, aplicando la regla de Cramer
c d
obtenemos
1 b
a 1
0 b
a 0
0 d
c 0
1 d
c 1
x=
,z =
,y=
,z =
a b
a b
a b
a b
c d
c d
c d
c d
x y a b 1 0
El estudiante UNA debe verificar que
z w c d 0 1
Definicin. Una ley de composicin definida en un conjunto A se denomina
asociativa
s y slo s
( a b ) c = a (b * c) cualesquiera que sean a,b,c
pertenecientes a A.
1. Consideremos A el conjunto de las funciones exponenciales, es decir

A = { f : R R tales que f ( x) = Ce x con ,C reales arbitrarios}
Vamos a definir una ley de composicin interna en A de la forma siguiente, para f,g
pertenecientes a A definimos
f g = h , donde h( x) = f ( x) g ( x)
Como h( x) = f ( x) g ( x) = Ce x De x = CDe( + ) x entonces h est en A. Veamos que
es asociativa. En efecto, supongamos que f ( x ) = Ce x , g ( x) = De x , h( x) = Ee x . Si
llamamos
(( f g ) h) = r y f g = m
entonces
( f g ) ( x) = m( x) = CDe( + ) x
( m h ) ( x) = CDe( + ) x Ee x = CDEe( + + ) x . Invitamos al estudiante
calcular paso a paso ( f ( g h) ) y verificar que es igual a ( ( f g ) h ) .
Luego,
UNA a
Este ejemplo es muy importante en la teora de ecuaciones diferenciales.

2. La adicin en los nmeros naturales es una operacin asociativa como ya vimos en
la Unidad correspondiente.
3. La multiplicacin de matrices definida en el ejemplo 2 arriba constituye una ley de
composicin interna asociativa.
Sea A un conjunto cualquiera con una ley de composicin interna i definida entre sus
elementos. Asuma que en A existe un elemento neutro e para la ley de composicin
interna antes definida y que i es asociativa. Demuestre que si a en A es invertible
entonces su inverso a-1 es nico.
Supongamos que b y c son inversos de a respecto a la operacin i , luego
( bia )ic = eic = c . Pero, por otro lado ( bia )ic = bi( aic ) = bie = b , de donde b=c.
Definicin.
Una ley de composicin interna en un conjunto A se denomina conmutativa s y
slo s a b = b a para cualesquiera elementos a,b pertenecientes a A.
En matemtica es obligatorio despus de una definicin indicar algn ejemplo.
Consideremos
el
espacio
de
vectores
R3 ,
donde
R3 =
{( x, y, z ) donde x, y, z son nmeros reales} . Definimos una ley de composicin
1.
interna + en R 3 , llamada suma de vectores, y dada por

( x, y, z ) + ( x ', y ', z ') = ( x + x ', y + y ', z + z ')
Como la suma de nmeros reales es conmutativa tambin lo es la suma de vectores.
Es decir, la ley de composicin interna en R 3 hereda la propiedad de conmutatividad
de lo que ocurre en R .
2.
Como ya el lector conoce para dar una funcin tenemos que dar el conjunto de
partida, el de llegada y la regla de transformacin. Consideremos el espacio de
vectores R 3 y definamos una ley de composicin en los vectores de R 3 por medio de

k

i

j
u2
v1
v2 v3

i,j yk

u v = u1

u3 , u = (u1 , u2 , u3 ) y v = (v1 , v2 , v3 ) .
Aqu
los
smbolos
representan
los

i = (1, 0, 0), j = (0,1, 0) y k = (0, 0,1) sobre los ejes x,y y z.
vectores
unitarios
Una propiedad bsica de los determinantes es que al intercambiar dos filas cambia el
signo del resultado, es decir,

u v = v u
y concluimos que la ley definida no es conmutativa. Estamos acostumbrados a que las
operaciones en matemticas sean conmutativas pero muchas no lo son.
3. En el conjunto de los enteros la suma y la multiplicacin usuales son leyes de
composicin conmutativas. Vea la semana correspondiente para verificar los detalles.
Sir Rowan Hamilton y las operaciones matemticas

Hamilton realiz muchos aportes importantes en matemtica. Uno de ellos fue
descubrir una nueva clase de nmeros llamados cuaternios o cuaterniones. Por
supuesto es importante en cualquier clase de nmeros definir operaciones o leyes de
composicin interna. Hamilton tard bastante en encontrar cmo multiplicar los
cuaternios. Se cuenta que todas las maanas al levantarse sus hijos pequeos le
preguntaban: ya puedes multiplicar los cuaternios? Hamilton invariablemente
contestaba: solo s como sumarlos y restarlos. Un da estando de paseo en el bosque
de su querida Irlanda encontr la solucin. La multiplicacin de cuaternios no poda
ser conmutativa. Hamilton tard tanto en encontrar la solucin porque buscaba una
operacin que fuese conmutativa. La solucin le caus tal impresin que tall en la
base de un puente la forma de multiplicar los cuaternios. Actualmente hay una placa
conmemorativa en el mismo puente ya que la talla original de Hamilton se perdi,
Placa conmemorativa del descubrimiento de Hamilton

Tomada de : http://es.wikipedia.org/wiki/Cuaterni%C3%B3n
1. Si definimos en los reales la ley de composicin interna por medio

x y = x2 y2
Es esta ley conmutativa?. Razone su respuesta.
2. Consideremos el conjunto M22 las matrices cuadradas 2x2 con entradas reales, esto
es
a12
a
M 22 = 11
, aij con i, j {1, 2}
a21 a22
Las operaciones de suma y multiplicacin fueron definidas anteriormente. Examine si

son conmutativas.
3. Consideremos en el conjunto de funciones reales de variable real la ley de
composicin interna dada por la composicin usual de funciones. Es esta ley de
composicin interna conmutativa?
1. Veamos que la ley de composicin interna dada no es conmutativa, en efecto

1 0 = 12 02 = 1 pero 0 1 = 02 12 = 1 .
2. Al sumarse las matrices entrada por entrada se tiene que la suma de matrices es
conmutativa por ser conmutativa la suma usual de nmeros reales. La multiplicacin
1 2 0 1
de matrices es ms interesante. Tomemos un par de matrices
,
y
3 4 1 0
efectuemos su multiplicacin en los dos rdenes posibles
1 2 0 1 2 1
3 4 1 0 = 4 3
0
1
1
2
3
4
1 0 3 4 = 1 2
Lo que indica que la operacin de multiplicacin de matrices no es conmutativa, al ser

las dos matrices distintas.
3. Tomemos dos funciones reales definidas en todos los reales muy conocidas por el
estudiante UNA, f ( x) = x 2 , g ( x) = cos x . Invitamos al estudiante UNA a calcular
f ( g ( x)) y g ( f ( x)) para que verifique que la operacin de composicin es no

conmutativa.
10.3. El concepto de grupo

En el trabajo de Cauchy y Galois aparece la idea de introducir operaciones o leyes de
composicin en conjuntos no numricos. Ellos trabajaron con el conjunto de las
permutaciones de n elementos.
Seguiremos el camino histrico para motivar el
concepto de grupo.
En primer lugar, una permutacin de n elementos es una funcin biyectiva
: {1, 2, , n} {1, 2, , n} . Ud. puede pensar que se toman inicialmente los
nmeros 1, 2, , n y se cambian de lugar o se permutan los mismos, manteniendo a
todos los nmeros presentes. La forma como se cambian o permutan los nmeros est
determinada por una funcin que llamaremos permutacin. Para describir una
permutacin usaremos una notacin matricial que describimos a continuacin.
Colocamos en una matriz de dos filas los nmeros de 1 hasta n de forma que en la fila
superior aparecen en el orden natural 1, 2, 3, , n-1, n . En la fila de abajo a parecen
las imgenes de 1, 2, 3, , n-1,n determinadas por la permutacin .
(1)
2 n
( 2 ) ( n )
Aclaremos esto con un ejemplo.

Fijamos el conjunto A= {1, 2,3, 4} . Consideremos la permutacin definida en
este conjunto y dada por (1) = 2 , ( 2 ) = 3, ( 3) = 1, ( 4 ) = 4 . Es claro que es
biyectiva. El estudiante UNA debe decir por qu. Usando la notacin matricial
1 2 3 4
podemos escribir =
. Observe que en la fila de arriba aparecen los
2 3 1 4
nmeros 1,2,3 y 4 en su orden natural, mientras que en la fila de abajo aparecen los
mismos nmeros permutados. Note que si apareciera, en la fila de abajo, algn
nmero repetido no tendramos que fuera una permutacin ya que no sera
inyectiva.
1.Cuntas permutaciones tenemos si n=1, n=2, n=3? Puede Ud. generalizar el

resultado para un n natural cualquiera?.
1 2 3
2. Dada la permutacin de tres elementos =
. Determine:
2 3 1
a) (1), (2) y (3) .
b) = (2) donde representa la composicin usual de funciones.
1 2 3
c) Demuestra que = (3) =
.
1 2 3
Nota: La notacin ( n ) indica que componemos la funcin n veces consigo misma.
1. El estudiante debe recordar de sus estudios de bachillerato que el nmero de

permutaciones de n elementos es n!.
2. a) Por inspeccin vemos que (1) = 2, (2) = 3 y (3) = 1
1 2 3
b) Si volvemos a aplicar la permutacin 2 =
obtenemos
3 1 2
1 2 3
= (2) =
3 1 2
c) Queda para el estudiante UNA.
Para n=3 tenemos, como ya el estudiante UNA verific, 6 permutaciones, estas

son
1 2 3
1 2 3
1 2 3
e=
, =
, =
1 2 3
1 3 2
2 1 3
1 2 3
1 2 3
1 2 3
=
, =
, =
3 2 1
2 3 1
3 1 2
Observe que si tomo las permutaciones , las podemos componer de dos maneras,
es una de las formas y la otra es . Al no ser conmutativa la composicin de
funciones el orden de composicin es muy importante.
1.Considere las permutaciones del ejemplo anterior, determine:

a) y , son iguales?
b) Calcule e
c) Qu ocurre cuando componemos cualquier permutacin con e?
2. Cuntos elementos tiene Sn?
1 2 3
1 2 3
1. a) =
y =
que son distintas, recuerde que el
3 2 1
2 1 3
orden es importante en la composicin de funciones.
b) Es igual a .
c) La permutacin queda invariante, es decir, e es el elemento neutro para la
operacin de composicin de permutaciones.
2. Como ya hemos visto hay n! permutaciones en Sn .
Definicin. Consideremos el conjunto {1, 2, , n 1, n} de n elementos. El conjunto de
todas las permutaciones actuando sobre el conjunto {1, 2, , n 1, n} se denomina Sn.
Como sealamos en la introduccin, es importante dotar a los conjuntos relevantes en
la matemtica de leyes de composicin. El estudiante UNA , que haya estado atento a
los ejemplos anteriores, puede prever que la ley de composicin natural para el
conjunto de permutaciones Sn es la composicin de funciones. El resultado
fundamental que debe recordar el estudiante de la unidad de Funciones que la
composicin de dos biyecciones es una biyeccin. Luego si f y g pertenecen a Sn
entonces f g est en Sn Qu propiedades tiene el conjunto Sn dotado de la ley de
composicin interna definida por la composicin de funciones?. Vamos a analizar

con detalle este caso que es muy importante en toda nuestra discusin del concepto de
grupo. En realidad, el concepto de grupo es una generalizacin de este ejemplo2.
En primer lugar enunciemos explcitamente un resultado que comentamos
anteriormente.
Teorema 2. La composicin de funciones es una ley de composicin interna en el
conjunto Sn.
Demostracin.
En la Unidad de Funciones, el estudiante UNA estudi que la composicin de la
permutacin
: {1, 2,3, , n} {1, 2,3, , n} ,
con
la
permutacin
: {1, 2,3, , n} {1, 2, 3, , n} ,
, est bien definida. El siguiente diagrama
explica por qu.
{1, 2,, n 1, n} {1, 2,, n 1, n} {1, 2,, n 1, n}

Por otro lado, es un resultado de esa Unidad, que al componer dos biyecciones
obtenemos una biyeccin. Luego est en Sn . Esto concluye la demostracin.
Luego el conjunto, Sn tiene una ley de composicin interna . Como ya sealamos
esto lo escribimos (Sn , ). Estudiemos qu propiedades tiene (Sn , ).
Teorema 3. En (Sn , ) existe un elemento neutro dado por la permutacin
1 2 n
e=
.
1 2 n
Es decir, e es la permutacin que fija todos los elementos, e(i)=i para todo i en
{1, 2,3,, n} .
Demostracin.
Recordamos que e es un elemento neutro para la ley de composicin interna s y
slo s e = y e= . Pero, e (j) =e( (j))= (j) para cualquier j entre 1 y
n. Luego, e = . Similarmente, e(j)= ( e(j))= (j) para cualquier j entre 1
y n. Esto implica, e= , lo que concluye la demostracin.
Recordamos al estudiante UNA (ver Unidad de Funciones) que en la composicin de
funciones el orden de composicin es muy importante. De hecho, es sencillo dar
ejemplos de composicin de dos funciones que es solo posible en un orden
determinado. An ms, aunque la composicin sea posible, en general el orden
importa. Luego, en (Sn , ) la ley de composicin no es conmutativa.
Teorema 4. En (Sn , ) la ley de composicin es asociativa.

Demostracin.
La composicin de funciones, sean o no permutaciones, siempre es asociativa. Esto
concluye la demostracin.
Vamos a examinar la existencia de un inverso para cada permutacin que
consideremos en Sn. Esto es muy sencillo si el estudiante UNA recuerda el concepto
de funcin inversa.
Teorema 5. En (Sn , ) cada permutacin tiene un inverso denotado por 1 que
verifica 1 = 1 = e .
Demostracin.
2
Uno puede pensar que los grupos son casos particulares de ciertos grupos de permutaciones.
Como cada en Sn es una biyeccin tiene una funcin inversa (Ver Unidad 3).
Denotamos a la misma 1 que esta caracterizada por la relacin
(i ) = j 1 ( j ) = i
Luego,
( 1 ( j )) = (i) = j
1 ( (i)) = 1 ( j ) = i
para i,j arbitrarios. Luego 1 = 1 = e , como se quera demostrar.
1 2 3
Consideremos S3 y la permutacin =
. Cul es la permutacin
2 1 3
inversa de ? La funcin inversa 1 de debe mandar al 1 en 2, al 2 en 1 y fijar el
3. Observe que desde un punto de vista prctico la propia matriz de nos da la
inversa.
1 2 3

2 1 3
Las flechas indican los valores de 1

Resumamos lo que hemos encontrado:
Propiedades de (Sn , ).
1 2 n
1. Existe un elemento neutro dado por la permutacin e =
1 2 n
2. La ley de composicin interna definida por la composicin de permutaciones
es asociativa
3. Toda permutacin tiene una permutacin inversa 1 que verifica
1 = 1 = e
El genio de Galois caracteriz con el nombre de grupo a todo conjunto A con una ley
de composicin interna * donde se verifiquen las tres propiedades siguientes:
existencia de un elemento neutro, que la ley de composicin sea asociativa y que todo
elemento tenga un inverso para la ley de composicin interna.
Debido a la importancia del concepto, escribiremos esto en detalle en nuestra
siguiente definicin.
Definicin. Sea A un conjunto cualquiera que posee una ley de composicin interna
*. Supongamos que:
1. Existe un elemento neutro e en A tal que e*a=a*e=a para cualquier elemento
a en A.
2. Todo elemento a en A tiene un inverso perteneciente a A y denotado por a-1 tal
que a* a-1= a-1*a=e.
3. La ley de composicin interna * es asociativa.
Evariste Galois : El creador del lgebra moderna
Matemtico francs (25 de octubre de 1811

, 31 de mayo de 1832) que muere a los veinte aos de edad dejando un legado muy
importante. Los matemticos italianos Cardano, Tartaglia y Del Ferro haban
encontrado frmulas que permitan resolver las ecuaciones de tercero y cuarto grado.
Esas frmulas involucraban extracciones de races cbicas de cantidades complejas.
Una pregunta natural es: existe una frmula para la ecuacin de quinto grado?.
Evariste Galois resolvi este problema y caracteriz las ecuaciones que podan ser
resueltas por radicales. Debemos sealar el trabajo pionero de Ruffini y Abel en
relacin a la ecuacin de quinto grado pero fue Galois quien sistematiz todas estas
ideas, introduciendo los conceptos de grupo, cuerpo y extensin de cuerpo, as como
de homomorfismo, lo que da inicio al lgebra moderna. Su muerte ocurri al recibir
un balazo en el estomago en un duelo y fallecer a los dos das en el hospital. La
noche antes de morir redact su memoria sobre la solucin de las ecuaciones
polinmicas, trabajo que permaneci por mucho tiempo sin ser conocido por la
comunidad matemtica.
Dentro de los grupos distinguiremos los grupos en los cuales la ley de composicin es
conmutativa, un grupo G se dice abeliano o conmutativo si la ley de composicin en
G es conmutativa.
Vamos a dar varios ejemplos de este concepto fundamental, por supuesto empezamos
con el ejemplo que inici nuestra discusin. En cada ejemplo discutiremos si el grupo
dado es abeliano o no.
1. El conjunto de permutaciones de n elementos Sn con la ley de composicin

dada por la composicin de funciones es un grupo, se denomina el grupo simtrico y
tiene n! elementos. Es un grupo muy importante en matemticas. Solo es abeliano en
el caso de tener n=1 o 2, el estudiante UNA debe indicar por qu.
2. El conjunto es un grupo respecto a la adicin. Vaya a la unidad de los nmeros
enteros para los detalles. Es un grupo abeliano con infinitos elementos.
3. El conjunto n de clases de equivalencia mdulo n es un grupo respecto a la
adicin. Es un grupo abeliano que cuenta con n elementos (las n clases de
congruencia mdulo n) como ya el estudiante UNA estudi.
4. Consideremos el conjunto de todos los racionales excepto el 0. Tomemos como
ley de composicin interna en la multiplicacin usual de racionales. Vemos que
p
es el racional
es un grupo cuyo elemento neutro es el 1. El inverso del racional
q
q
. es un grupo abeliano con infinitos elementos.
p
5. Consideremos el conjunto de todos los nmeros reales positivos
+ = { x , x > 0} con la ley de composicin dada por el producto usual de nmeros
reales. El estudiante UNA debe verificar que + es un grupo.
1. Verificar que + es un grupo respecto al producto usual de nmeros reales.

Sugerencia: Trate de responder estas preguntas, es el producto de reales positivos un
real positivo?, cul es el elemento neutro?, cul es el inverso de un elemento x en
+ ?
2. Definimos en los enteros definimos una ley de composicin interna * por medio
de m n = m + n + 1 . Estudie si ( ,*) es un grupo.
Sugerencia: Trate de responder estas preguntas, cul es el elemento neutro?, cul es
el inverso de un elemento x en ? Es la operacin asociativa?
3. Consideremos el conjunto de todos los nmeros reales con la ley de
composicin interna dada por x y = xy + x + y . Estudie si ( ,*) es un grupo.
1. El producto de reales positivos es un real positivo, luego la operacin definida
es, de hecho, una ley de composicin interna. Al ser el producto usual de nmeros
reales asociativo entonces + hereda esta propiedad. Es claro que 1 es el elemento
neutro para el producto y como hemos excluido al 0, todo elemento x de + tiene
1
inverso, en este caso . Luego, + es un grupo respecto al producto de nmeros
x
reales.
2. La operacin definida es una ley de composicin interna ya que m n = m + n + 1 es

un entero siempre que m,n sean enteros. Estudiemos la existencia de un elemento
neutro e. Como m e = m + e + 1 = m e = 1 entonces -1 es el elemento neutro
buscado. Como la ecuacin en n, m n = m + n + 1 = 1 tiene solucin en entonces
todo elemento es inversible o invertible. Dejamos al estudiante UNA la verificacin
de que la propiedad asociativa si se cumple, luego es un grupo respecto a la
operacin indicada.
3. En este caso falla la existencia del inverso para la operacin dada, el estudiante
UNA debe suplementar los detalles. Luego, no es un grupo.
Grupo de rotaciones de un cuadrado. Tomemos un cuadrado de vrtices

A,B,C,D. Sea 0 el centro del cuadrado. Consideremos las rotaciones de centro 0 que
llevan el cuadrado en s mismo. Por ejemplo, una rotacin de 90 grados
centrada en 0 y con sentido antihorario (rotacin positiva) lleva al cuadrado en el

mismo, moviendo el vrtice A a B, el vrtice B a D el vrtice D a C y C va a A. Hay
precisamente cuatro rotaciones centradas en 0 que dejan el cuadrado invariante. Estas
son:
La rotacin R1 de 0 grados
Cada uno de estas rotaciones queda caracterizada por su efecto sobre los vrtices del
cuadrado, note que un vrtice debe ir necesariamente en un vrtice si la rotacin deja
al cuadrado en el mismo.
Hagamos una tabla con el efecto sobre los vrtices de cada una de las rotaciones R1,
R2, R3 y R4 listadas arriba.
Vrtice(posicin original)
Rotacin
Vrtice(posicin al rotar)
R1
A
A
B
B
C
C
D
D
Observe que esta rotacin deja fijo a cada vrtice. Arriba ya estudiamos la rotacin R2
pero resumamos lo que conocemos en una tabla.
Rotacin
A
R2
B
B
D
C
A
D
C
Es el turno de estudiar la accin de R3.

Rotacin
A
R3
B
C
D
D
C
B
A
Slo falta describir la accin de R4 para completar el anlisis de cada rotacin.

A
B
C
D
Rotacin
R4
C
A
D
B
Observe que cada rotacin puede ser vista como una permutacin en el conjunto de
cuatro elementos dados por los vrtices del cuadrado. Denotemos por A al conjunto
formado por las cuatro rotaciones estudiadas arriba, esto es A= { R1, R2, R3 y R4}.
Dotemos a A de una ley de composicin interna bastante natural. Observe que si
realizamos en el plano una rotacin positiva de ngulo r respecto al origen de
coordenadas y despus realizamos una rotacin positiva de ngulo r respecto al
origen de coordenadas, estas se pueden combinar en una sola rotacin de ngulo r+r,
donde la suma la realizamos mdulo 360. Por ejemplo, si combinamos una rotacin
antihoraria de ngulo 270 grados centrada en 0 con una de 180 grados igualmente
antihoraria y centrada en 0, obtenemos una rotacin de 450 grados, que mdulo 360,
equivale a una rotacin de 90 grados. Note tambin que una rotacin de 360 grados en
el sentido antihorario y respecto al origen de coordenadas equivale a la rotacin de
ngulo 0 respecto al mismo origen de coordenadas 0. Luego, es natural dotar al
conjunto A= { R1, R2, R3 y R4} de una ley de composicin interna dada por la suma de
los ngulos involucrada en cada rotacin. Como el efecto de rotar primero un ngulo r
y despus rotar un ngulo r es equivalente a primero rotar un ngulo r y luego rotar
un ngulo un ngulo r, esta operacin va a ser conmutativa. El estudiante que prefiere
un argumento algebraico ante uno geomtrico puede pensar que la suma mdulo 360
es conmutativa (vaya a la unidad donde estudiamos n para los detalles). La siguiente

tabla nos indica como opera la ley de composicin interna definida en el conjunto A=
{ R1, R2, R3 y R4}.
Suma
rotaciones
R1
R2
R3
R4
de
R1
R2
R3
R4
R1
R2
R3
R4
R2
R3
R4
R1
R3
R4
R1
R2
R4
R1
R2
R3
Observe que al sumarle R1 a cualquier rotacin Ri, i=1,2,3,4, obtenemos la misma

rotacin Ri. En otras palabras, R1 es el elemento neutro para la ley de composicin
interna dada por la suma de rotaciones. Por otro lado, al fijarnos en la tabla vemos que
cada elemento tiene un inverso respecto a la ley de composicin interna definida. En
efecto, la siguiente tabla muestra claramente la situacin:
Rotacin(ngulo)
R1(0 grados)
R2(90 grados)
R3(180 grados)
R4(270 grados)
Inverso(Angulo)
R1(0 grados)
R4(270 grados)
R3(180 grados)
R1(90 grados)
Suma (mdulo 360)

0+0=0
90+270=0
180+180=0
270+90=0
Como la suma mdulo 360 es asociativa entonces el conjunto A= { R1, R2, R3 y R4}
con la operacin suma de rotaciones es un grupo. Ya vimos que el grupo es
conmutativo o abeliano. Tiene 4 elementos.
1. Tomemos un tringulo equiltero cualquiera.
Sea 0 su centro. Le preguntamos

a) Determine las rotaciones centradas en 0 en sentido antihorario que llevan el
tringulo en s mismo. Sugerencia: Estas rotaciones deben llevar los vrtices
en los vrtices.
b) Sean R1, R2 y R3 las rotaciones halladas en a) Cul ley de composicin
interna le asociara Ud. a las mismas?
c) Estudie si ha obtenido un grupo en la parte b) determinando el elemento
neutro y la existencia de inverso.
d) Es un grupo abeliano?
2. Complete la siguiente tabla del siguiente grupo conmutativo.
1. a) Como el triangulo es equiltero las rotaciones de 120 grados y de 240

grados, llevan al triangulo en s mismo.
En el dibujo se muestra cmo el vrtice B se lleva al vrtice B mediante una

rotacin de 120 grados.
Es claro que la rotacin de 0 grados lleva al tringulo en el miso ya que no
modifica absolutamente nada.
b) La ley de composicin entre las rotaciones de 0, 120 y 240 grados halladas en
la parte a) es la suma de rotaciones. Invitamos al estudiante UNA a hacer la tabla
de la ley considerada.
c) La rotacin de 0 grados juega el papel del elemento neutro para la ley
considerada. Es claro que la ley es asociativa y que el inverso de la rotacin de
120 grados es la rotacin de 240 grados, luego tenemos una estructura de grupo en
este caso.
d) El grupo es abeliano como se puede ver en la tabla que invitamos al estudiante
UNA realizar.
2. Este problema es interesante de realizar. Al tener que SS=S y al ser la tabla
considerada la de un grupo, se deduce, por medio de la ley de cancelacin, que S
es elemento neutro del grupo. Esto permite completar sin dificultad la primera fila
y la primera columna de la tabla dada. Observe ahora con detenimiento la segunda
fila de la tabla, en ella no puede haber ningn elemento repetido, luego BO=A. El
mismo argumento nos lleva a garantizar, usando la tercera columna que OO=S.
Como A debe tener un inverso para la operacin indicada y este inverso no es ni S,
B u O entonces el inverso de A es el mismo A, AA=S. El resto de la tabla se
completa sin dificultad usando el mismo tipo de argumento. El estudiante UNA
debe obtener
B O
S
B
S
B
B O A
S A O
O O
A
A O
Es muy importante que en un grupo G, con ley de composicin interna *, siempre

podemos resolver de manera nica la ecuacin
ax = b ,
donde x es la incgnita y a,b son elementos dados de G. Para ver esto,
procedemos como en bachillerato despejando la x. Multiplicamos a ambos lados
y a la izquierda por el inverso de a, ( x) = ( y ) x = y . De donde, x = a 1 b
ya que a 1 a = e .
Definicin. El orden de un grupo G es el nmero de elementos o cardinal del
conjunto G.
Si G tiene infinitos elementos diremos que el orden de G es infinito.
1. El grupo n tiene orden n.

2. El grupo R3 de rotaciones que dejan invariante un tringulo equilatero tiene
orden 3.
3. con respecto a la adicin usual de enteros es un grupo de orden infinito.
10.4. Subgrupos
Muchas veces encontramos dentro de un grupo G un subconjunto H que es con
derecho propio un grupo al restringir la ley de composicin de G a H. Vamos a
aclarar esto con un ejemplo muy sencillo.
Consideremos el grupo de todos los enteros respecto a la adicin usual.
Los nmeros pares 0, 2, -2,4,-4, son un subconjunto de . Los nmeros pares
estn caracterizados por ser de la forma 2k con k entero arbitrario. Si sumamos
dos nmeros pares cualesquiera 2j y 2r, j y r enteros, obtenemos un nmero par ya
que
2j +2r=2(j+r)
y 2(j+r) es un nmero par. Es decir, si llamamos 2 al conjunto de todos los
nmeros pares, podemos dotar a 2 de una ley de composicin interna por medio
de restringir la suma usual de enteros a 2 . Note que 0 est en 2 ya que 0 es un
nmero par. Por otro lado, si tomo un nmero par cualquiera 2j, j entero,
entonces -2j=2(-j) es el inverso de 2j. Por ltimo, la adicin es asociativa ya que
es asociativa en Z y debe ser asociativa en cualquier subconjunto de este conjunto.
Luego 2 es un grupo. Diremos que 2 es un subgrupo del grupo .
Definicin. Sea G un grupo cualquiera y H un subconjunto de G tal que al

restringir la ley de composicin interna de G a H obtenemos que H es un grupo.
Diremos entonces que H es un subgrupo de G.
Observe que para que un conjunto H sea un subgrupo del grupo G el
elemento neutro debe estar en H.
1. Si G es un grupo cualquiera, entonces los conjuntos {e} y el propio G son

subgrupos de G. Son llamados los subgrupos triviales. Esto demuestra que el
concepto de subgrupo es no vacuo, siempre existen subgrupos en un grupo dado.
2. Tomemos el conjunto de permurtaciones de tres elementos, es decir S3. Este
conjunto est formado por 6 permutaciones que son:
1 2 3
1 2 3
1 2 3
e=
=
=
1 2 3
1 3 2
3 2 1
1 2 3
1 2 3
1 2 3
=
=
=
2 1 3
2 3 1
3 1 2
Tomemos el conjunto H formado por la permutacin que fija el 1 y por la
permutacin e. Como = e entonces la composicin de funciones define una
ley de composicin interna en H ={e, }. Por otro lado, e pertenece a H por
definicin de este conjunto y como = e , cada elemento de H tiene un
inverso. Por ltimo, la operacin de composicin restringida a H es asociativa.
Luego, H es un subgrupo de S3. Esto lo denotaremos por H G . Observe que el
orden de H es 2 y que el orden de S3 es 6 y que 2 divide a 6, esto no es un
fenmeno aislado sino una propiedad bsica del orden de un subgrupo de un
grupo finito.
3.
Consideremos el grupo 6 con respecto a la adicin. Sea H el conjunto formado
por las clases de 0, 2 y 4. Como 2+2=4(mod 6), 4+4=2(mod 6) y 2+4=0 mod 6
entonces la ley de composicin interna de 6 se puede restringir a H definiendo
un grupo. Veamos su tabla:
Vemos por inspeccin de la tabla que el 0 funciona como elemento neutro para la
adicin definida en H. Por otro lado el inverso de 2 es la clase 4 , ya que 2 + 4
= 0 . Recprocamente, la misma igualdad anterior implica que el inverso de la clase
4 es la clase del 2 . Esto demuestra que H es un subgrupo de 6 .
El siguiente resultado es bsico en la teora de grupos.
Teorema 6. Si G es un grupo cualquiera y H, K subgrupos de G entonces K H
es un subgrupo de G.
Demostracin.
Al ser H,K subgrupos de G tenemos que e H , e K y por consiguiente
e H K . Por otro lado, si x H K x H y x G . Al ser H y K subgrupos
se debe tener que x 1 H y x 1 K y por ende, x 1 H K . Al ser la ley de
composicin interna en el grupo asociativa, debe serlo en cualquier subconjunto
de G. Por ello, K H es un subgrupo de G.
La relacin de inclusin entre subconjuntos es una relacin de orden en el
conjunto de todos los subgrupos de G. Dejamos al estudiante verificar esto
(Ejercicio). Luego, tiene sentido decir que un subgrupo es ms pequeo que otro.
Listemos todos los subgrupos de 6 .
{0}
{0, 2, 4}
{0, 3}
{0, 1, 2, 3, 4, 5}
Como puede ver el estudiante, si ordenamos estos subgrupos se obtiene una

estructura reticular cuando tomamos los subgrupos de un grupo dado. El orden
viene dado por la relacin de inclusin. Esto implica que no necesariamente un
subgrupo puede ser comparado con otro en el orden definido.
Teorema 7. (Condicin necesaria y suficiente para ser un subgrupo)
Sea G un grupo y H un subconjunto no vaci de G. Entonces H es un subgrupo s
y slo s para cualquier x,y en H entonces xy 1 H .
Demostracin Ejercicio.
a)
b)
c)
d)
Demuestre el teorema anterior siguiendo los pasos que siguen:

Demuestre que e est en H.
Demuestre que x-1 est en H si x est en H.
Demuestre que si x,y estn en H entonces xy est en H.
Explique por qu la ley de composicin al restringirse a H necesariamente
es asociativa.
Para la parte a) tome cualquier x que est en H, al tener que

xx H e H . Luego, b) sigue de manera similar tomando ahora
ex 1 H x 1 H . Dejamos al estudiante UNA completar c) y d) que son muy
similares a las anteriores.
1
Teorema 8. (Subgrupo generado por T)

Si G es un grupo cualquiera y T un subconjunto cualquiera de G. Entonces existe
un subgrupo H de G que contiene a T y es el ms pequeo subgrupo de G con
esta propiedad.
Demostracin.
Tomemos el conjunto de todos los subgrupos de G que contienen a T. Observe
que es no vaco ya que G . El estudiante UNA debe decir por qu. Sea
ahora
H = H
H
Es decir, intersecamos todos los subgrupos que estn en . Por el teorema

anterior H es un subgrupo. Como T est incluido en cada H perteneciente a ,
entonces T est incluido en H. Por ltimo, H H para cualquier
perteneciente a , y debe ser entonces el subgrupo ms pequeo con la propiedad

deseada.
La existencia del subgrupo generado por T

La demostracin del teorema anterior es tpica e importante en matemticas. El
estudiante debe repasarla con cuidado. La misma se repite de manera
completamente anloga en estructuras como anillos, cuerpos, espacios vectoriales
y espacios topolgicos entre otras estructuras.
1.Consideremos el grupo n respecto a la adicin. Cul es el subgrupo
generado por el conjunto T = {1} ? Al contener a la clase del 1 y ser cerrado

respecto a la adicin, debe contener a la clase del 2, a la del 3, y as
sucesivamente. Luego H coincide en este caso con G.
2. (Subgrupo cclico)
Este ejemplo es muy importante. Sea G un grupo finito y x un elemento
cualquiera. Denotaremos la ley de composicin interna del grupo
multiplicativamente, esto es, si x,y estn en G entonces xy denota el elemento que
se obtiene al aplicar al par (x,y) la ley de composicin interna. Para simplificar la
notacin, escribiremos xx=x2, xxx=x3, y as sucesivamente.
Cul es el subgrupo H que genera el conjunto {x}?. Si x es el elemento neutro e
entonces el subgrupo generado por x es precisamente el subgrupo trivial {e}. As,
podemos suponer sin prdida de generalidad que x e . Con seguridad todas las
potencias xn , con n natural, estn en H. Al ser G finito, el conjunto
{ y = xn con n natural} G es tambin finito. An ms, la ley de composicin
{ y = x con n natural} G . Esto se

con n natural} G . Luego, las potencias de x, no
interna de G se puede restringir al conjunto

debe a que xt x s = xt + s { y = x n
pueden ser todas distintas, algunas de ellas deben coincidir por ser G finito. Esto
implica, que existen naturales j y r, j<r, y
x j = xr
Pero,
x j = xr = x j xr j
Luego, x r j = x k = e, k > 0 . De donde, e { y = x n con n natural} G . Por el
principio de induccin, debe haber un natural k mnimo donde por primera vez
ocurre que x k = e . Esto implica, como veremos abajo, que
H = { y = x n con n = 1, 2, , k }
Observemos que:
1. La ley de composicin interna se puede restringir a H.
2. e H .
3. La ley de composicin interna es asociativa en H ya que es asociativa en
G.
4. Todo elemento de H tiene un inverso.
Solo nos falta verificar la afirmacin 4. Esto es muy sencillo ya que

x k = e x j x k j = e para cualquier j natural entre 1 y k-1. Esto implica que todo
elemento de H tiene un inverso y que H es un subgrupo. Como cualquier subgrupo
que contenga a x debe contener a H entonces H es el subgrupo generado por x. Este
subgrupo se denomina grupo cclico generado por x.
Definicin
Un grupo G se denomina cclico si existe un x G tal que G = { y = x n con n } .
En el caso que el grupo cclico sea finito, por el ejemplo anterior, sabemos que slo
necesitamos una cantidad finita de potencias positivas. Esto es, G = {e, x, x 2 , , x k 1} .
1. El conjunto de rotaciones que dejan invariante un tringulo equiltero forman un

grupo cclico de orden 3 ( rotaciones de 0, 120, 240). Est generado, en este caso, por
la rotacin de 120 grados.
2. El grupo n es cclico y tiene como generador a la clase 1 . Observe que el
generador de un grupo no es nico, si k es un nmero natural coprimo con n entonces
k genera n . Veamos esto en detalle. Recordamos que al sumar k sucesivamente k ,
k + k , en algn momento llegamos a la clase del 0. Afirmamos que la primera vez
que ocurre es precisamente al sumar n veces k . De lo contrario, existira un j<n tal
que jk = 0 , pero esto implica que n divide a jk. A su vez, de aqu se sigue que n
divide a j ya que n y k son primos entre si. Luego, la clase k tambin genera al grupo
aditivo n . Para ilustrar esto, tomemos . Vemos que 5 y 6 son primos entre s.
Entonces
5+5 =4
4+5 = 3
3+5 = 2
2+5 =1
1+5 =0
3.
El conjunto con la adicin usual es un grupo cclico infinito, est generado por
el 1.
El siguiente teorema es muy importante, es debido al genio de Lagrange.
Teorema 9. (Lagrange) Sea G un grupo finito de orden n. El orden de cualquier
subgrupo H de G debe dividir a n.
Demostracin.
Sea H un subgrupo de G y consideremos la relacin de equivalencia en G definida
por medio de xRy x = yz donde z H . Verifiquemos que esto es, de hecho,
una relacin de equivalencia. Como sabemos por el estudio de la Unidad 2,
debemos verificar que R es reflexiva, simtrica y transitiva. En primer lugar,
vemos que R es reflexiva ya que x = xe, e H . As, xRx y R es reflexiva.
Supongamos ahora xRy esto significa que x = yz para algn z H . Luego,
x = yz xz 1 = yzz 1 xz 1 = ye = y
Como z 1 H entonces yRx. Slo resta demostrar que R es transitiva.

Supongamos que xRy y que yRz. Luego, x = yz, z H y y = wz ' y z ' H . De
donde x = yz = wz ' z, z ' z H xRz y la relacin R es transitiva. Luego, R es una
relacin de equivalencia. Una corta reflexin demuestra que las clases de
equivalencia son conjuntos de la forma xH = { y tales que y = xz , z H } y que
todos estos conjuntos tienen el mismo cardinal que H. Sean Ci, con i desde 1 hasta
r, todas las clases de equivalencia. Como ellos forman una particin de G (ver la
Unidad 2), entonces
r
G = Ci = r H
i =1
De donde el orden de H debe dividir al de G.

Este ejemplo es una bonita aplicacin del teorema anterior. Demostraremos que
cualquier grupo finito M de orden primo p es cclico. En efecto, tomemos un x
distinto del elemento neutro e. Este elemento genera un subgrupo cclico H de orden
k>1. Por el teorema de Lagrange, k debe dividir a p. Pero p es primo, luego p=k. De
donde H=M y M es cclico.
1. Demuestre que un grupo G que verifica la condicin x 2 = e para cualquier x
en G es conmutativo. Aqu como es usual e es el elemento neutro de G.
2. Demuestra que todo grupo de orden 4 es conmutativo.
3. Demuestre que si G es un grupo conmutativo entonces ( ab ) = a n b n para
cualesquiera elementos a, b y n natural. Sugerencia: Use induccin
matemtica.
4. Sea G un grupo no necesariamente conmutativo. Definimos el centro de G
como Z(G) = { x G tales que xy = yx para todo y G} . Demuestre en detalle
que Z(G) es un subgrupo de G.
5. Sea G un grupo cclico finito, es cierto que cualquier subgrupo de G es
cclico?
6. Encuentre una permutacin en S4 el conjunto de todas las permutaciones de
4 elementos que genere un subgrupo de orden 2.
7. Demuestre que todos los grupos de orden menor o igual que 5 son
conmutativos. Liste los mismos.
8. Estudie si es cierto el siguiente enunciado: Si en un grupo W se tiene que
n
( ab )
= a 2b 2 , para elementos cualesquiera a, b en W, entonces W es abeliano.
1. Supongamos que x 2 = e para cualquier x en G, entonces si x,y

elementos arbitrarios de G tenemos
son
( xy ) = e
( xy )( xy ) = e
x ( yx ) y = e
xx ( yx ) y = xe
( yx ) yy = xy
2
yx = xy
2. Si el grupo es de orden 4 y cclico no hay nada que demostrar ya que
cualquier grupo cclico es conmutativo. Luego podemos suponer, sin
prdida de generalidad, que G es de orden 4 y no cclico. Sean e,x,y,z los
elementos de G. Sabemos que x no genera el grupo G, luego se debe tener
que x 2 = e . De igual forma tenemos que y 2 = e . Luego, xy no puede ser e
porque aplicando la ley de cancelacin llegamos a x=y. Luego, xy=z pero
de manera similar vemos que yx=z. Con esta informacin el estudiante
UNA puede completar la tabla del grupo y verificar que es conmutativo, de
hecho se trata del grupo 2 2 .
3. Use induccin matemtica como fue indicado. Observe que
( ab )
= ( ab ) ( ab ) y aplique la hiptesis inductiva a esta igualdad,

usando posteriormente que el grupo es conmutativo. Complete los detalles
que lo van a llevar a la solucin del problema.
4. Es claro que Z(G) contiene el elemento neutro e de G ya que ex=xe para
cualquier x de G. Supongamos ahora que x G como
n +1
x 1 y = x 1 ( y 1 )
1
x 1 y = ( y 1 x ) = ( xy 1 ) = yx 1
1
Concluimos que x 1 G . De manera similar verificamos que si x,y G

entonces xy G. Luego el centro es siempre un subgrupo.
5. Sea G un grupo cclico finito de orden n y x un generador de G. Sea H un
subgrupo de G que claramente debe ser finito y que podemos suponer no
trivial, esto es, H es distinto de {e} y de G. Sea xj la menor potencia de x
en H, 0<j<n. Queremos ver que H est compuesto por e,xj,x2j, x jk , .
Es decir, xj genera a H. Sea y cualquier elemento de H entonces y=xm para
algn m natural. Luego, por el algoritmo de Euclides, m=cj+r donde r<j.
Luego, x m = x jc x r pero esto implica que xr pertenece a H y como xj era la
menor potencia no nula de x en H entonces r=0 y esto implica que y es una
potencia de xj y luego H es cclico.
6. Se deja al estudiante UNA.
7. Los grupos cclicos son siempre conmutativos, luego los grupos de orden
primo son siempre conmutativos ya que un grupo de orden primo debe ser
cclico (ver ejemplo en el texto). Luego, los grupos de orden 2,3 y 5 son
conmutativos. Los grupos de orden 4 ya han sido estudiados en un
problema anterior y por ltimo el grupo trivial de 1 elemento es claramente
conmutativo.
8. Como ( ab ) = a 2b 2 (ab)(ab) = a 2b 2 . Ahora, la propiedad asociativa
sirve para agrupar los elementos de distintas maneras cuando entran en un
2
producto.
Luego,
aplicando
la
propiedad
asociativa
2 2
(ab)(ab) = a b a (ba )b = aabb y solamente resta multiplicar a la
izquierda de la igualdad por a-1 y a la derecha por b-1 para obtener la
igualdad ba = ab que indica que el grupo es conmutativo.
Unidad 7
(Continuacin), La teora de Grupos
Semana 12
Aplicar el concepto de grupo en la resolucin de problemas, en el modelado
Temas a tratar: Homomorfismos. Isomorfismos. El teorema fundamental de

isomorfismo. Uso de software matemtico FGB. Modelando con Grupos
11.1 Cmo aparecen los subgrupos?: El concepto de homomorfismo

En muchas situaciones nos encontramos con grupos que tienen un comportamiento
similar pero difieren en la naturaleza de sus elementos. Por ejemplo, el grupo de 4
elementos formado por las rotaciones que dejan invariante un cuadrado es muy
similar al grupo 4 . Es importante desarrollar un concepto matemtico que capture
esta semejanza. Las nociones de homomorfismo e isomorfismo son las adecuadas
para lograr este objetivo.
Supongamos que G y K son grupos cualesquiera con leyes de composicin ,
respectivamente.
Definicin. Una funcin : G K con dominio igual a G se denomina
homomorfismos de grupo s y slo s ( x y ) = ( x) ( y ) para cualquier par de
elementos x,y de G.
Muchas veces decimos que : G K respeta las leyes de composicin de las
estructuras G y K
1.
Consideremos los grupos y n con la adicin como ley de composicin interna en
cada uno. Sea
: n
(a) = a
Como (a + b) = a + b = a + b = (a ) + (b) entonces es un homomorfismo. Es

llamado el homomorfismo cannico o la proyeccin cannica.
2.
Consideremos el grupo de todos los enteros y el conjunto 2 de todos los
nmeros pares. Sabemos que 2 es un grupo respecto a la adicin. Tomemos la
funcin
: 2
( n) = 2 n
Vemos que ( x + y ) = 2( x + y ) = 2 x + 2 y = ( x) + ( y ) , luego
es un
homomorfismo.
3. Sea G un grupo y consideremos la funcin a : G T donde fijamos a G y
a ( z ) = a 1 za es un homomorfismo. El estudiante UNA debe verificar por qu.

4. Consideremos los nmeros reales positivos + = { x , x > 0} , ya vimos
anteriormente que + = { x , x > 0} es un grupo respecto a la multiplicacin usual.
Sea el grupo con la suma usual de nmeros reales. Definimos
: +
( x) = e x
Como
( x + y ) = e x + y = e x e y = ( x) ( y )
Entonces es un homomorfismo. Observe que (0) = e0 = 1 , es decir el
homomorfismo lleva el elemento neutro 0 de la suma en el elemento neutro 1 de la
multiplicacin de nmeros reales, esto es una situacin general como demuestra el
siguiente resultado.
Teorema 1. Sea : G T un homomorfismo del grupo G en el grupo T. Entonces
(e) = e ' donde e, e son los elementos neutros de G y T respectivamente.
Demostracin.
Vemos que ( x ) = ( xe) = ( x ) (e) (e) = e ' lo que queramos demostrar.
Definicin. Sea : G T un homomorfismo del grupo G en el grupo T. Denotemos

por e el elemento neutro de T. El conjunto { x G tal que (x) = e} se denomina el
ncleo de . El ncleo de ser denotado por Ker .3
Consideremos la proyeccin cannica

: 4
( z) = z
Determinemos su ncleo. Debemos encontrar todos los z tales que ( z ) = z = 0 . Esta
igualdad implica que z=4k donde k es entero arbitrario. Luego, Ker = {0, 4, 8,} .
Del alemn kernel que significa ncleo. Por el teorema anterior el nucleo es no vaco.
Observe que Ker = {0, 4, 8,} es un subgrupo de . Esto es completamente

general como indica nuestro resultado siguiente.
Teorema 2. Consideremos el homomorfismo de grupos : G K , esto es
( x y ) = ( x) ( y ) para cualquier par de elementos x,y de G. Entonces el Ker
es un subgrupo de G.
Demostracin.
Veamos que si denotamos por e al elemento neutro de G entonces e est en Ker .
Como ( x) = (e ' x) = (e ') ( x) (e ') = e . Veamos ahora que podemos
restringir la ley de composicin interna * al Ker . Sean x, y en Ker , deseamos
demostrar que x y est en Ker . Como ( x y ) = ( x) ( x) = e e = e . Luego,
x y est en Ker . Luego basta ver que si x est en Ker entonces x 1 est en Ker
. Pero,
e = ( x x 1 ) = ( x) ( x 1 ) = e ( x 1 ) = ( x 1 ) , luego
e = ( x 1 ) .
Hemos demostrado que Ker es un subgrupo.

Para evitar una notacin engorrosa voy a denotar de igual forma las leyes de
composicin en los grupos que vamos a considerar de ahora en adelante, si x, y estn
en un grupo entonces xy es su producto.
Un resultado muy importante y que se repite en distintas estructuras es el siguiente.
Teorema 3. Consideremos el homomorfismo de grupos : G K entonces es
inyectivo s y slo s Ker es el subgrupo trivial {e}.
Demostracin. Si es inyectivo claramente Ker es el subgrupo trivial {e} ya
que (e ') = e y e es el nico elemento que puede tener esa propiedad ya que es
inyectiva. Supongamos ahora que Ker es el subgrupo trivial {e}. Para verificar si
una
funcin
es
inyectiva
tenemos
que
ver
si
( x) = ( y ) x = y .
( x) = ( y ) ( x) ( ( y ) ) = e . Pero, ( ( y ) ) = ( y 1 ) (Ejercicio), de donde

1
( x) ( ( y ) ) = ( x) ( y 1 ) = e
1
( xy 1 ) = e xy 1 Ker
Pero
1
Ker
es
el
subgrupo
trivial
{e},
luego
xy = e ' xy y = e ' y = y xe ' = y x = y y la aplicacin es inyectiva.

Un resultado muy bonito es que los homomorfismos transforman subgrupos en
subgrupos. Veamos esto con precisin.
Teorema 4. Consideremos el homomorfismo de grupos : G K , esto es
( xy ) = ( x) ( y ) para cualquier par de elementos x, y de G. Entonces el (T ) es
un subgrupo de K para cualquier subgrupo T de G.
Demostracin.
Basta ver por un teorema anterior que si z, w (T ) entonces zw1 (T ) . Pero, si
z, w (T ) entonces z = ( a ), w (b) con a,b miembros de T. Luego,
zw1 = ( a ) (b 1 ) = ( ab 1 ) (T ) ya que ab-1 est en T.
11. 2. El concepto de isomorfismo entre grupos
En el lenguaje matemtico, el trmino isomorfo significa que dos objetos o entes

matemticos tienen la misma estructura, solamente difiriendo, quizs, en la
naturaleza de sus elementos. Esta idea se pone de manifiesto en la siguiente
definicin.
Definicin.
Sean G y H dos grupos cualesquiera. Decimos que G y H son isomorfos si existe un
homomorfismo biyectivo : G H .
Recordamos que para que un homomorfismo : G H sea biyectivo debe ser
inyectivo y sobreyectivo. Un teorema anterior nos indica que : G H es inyectivo
s y slo s su ncleo es trivial e igual a {e}. Por otro lado, sabemos que (G ) es un
subgrupo de H y para que : G H sea sobreyectivo se debe tener (G ) = H . Un
homomorfismo biyectivo se llama isomorfismo.
Dos grupos isomorfos G y H deben tener la misma cantidad elementos ya que
: G H es una biyeccin. Sin embargo, hay grupos que tienen la misma cantidad
de elementos pero no son isomorfos. Veremos ejemplos de esto.
1. Consideremos los nmeros reales positivos + = { x , x > 0} , ya vimos

anteriormente que + = { x , x > 0} es un grupo respecto a la multiplicacin usual.
Sea el grupo con la suma usual de nmeros reales. Definimos
: +
( x) = e x
Como
( x + y ) = e x + y = e x e y = ( x) ( y )
Entonces es un isomorfismo. Veamos por qu. Primero, ( x) = e x es inyectiva ya
que ( x) = e x = 1 x = 0 . Adems, si y>0 la ecuacin e x = y siempre tiene solucin,
la cual es x = ln y . De donde es un isomorfismo. Esta es la gran idea de Napier
para introducir los logaritmos, Napier se dio cuenta que la multiplicacin poda ser
sustituida por la suma, la cual es una operacin ms sencilla.
2.
Consideremos el grupo de todos los enteros y el conjunto 2 de todos los
nmeros pares. Sabemos que 2 es un grupo respecto a la adicin. Tomemos la
funcin
: 2
( n) = 2 n
Vemos que es un isomorfismo. El estudiante UNA debe verificar todos los detalles.
1. Demuestre que un grupo G finito no puede ser isomorfo a un grupo G infinito.

2. Demuestre que cualquier grupo G es isomorfo a si mismo.
Sean G y H dos grupos isomorfos. Demuestre que si G es conmutativo

entonces H es tambin conmutativo.
4. Sean G y H dos grupos finitos isomorfos. Demuestre que G = H .
5. Demuestre que si G es un grupo cualquiera y a es un elemento fijo de G
entonces ( x) = a 1 xa es un isomorfismo.
6. Demuestre que si : G H es un isomorfismo entre el grupo G y el grupo H
3.
entonces 1 : H G es un isomorfismo del grupo H en el grupo G.
1. Cualquier isomorfismo debe ser en primer lugar una funcin biyectiva, luego
si un conjunto es finito y el otro infinito ya sabemos que tal biyeccin no puede
existir.
2. Considere la funcin f : G G dada por f ( x) = x para cualquier x en G. El
estudiante UNA debe verificar los detalles que muestran que f es un isomorfismo.
3. Sea f un isomorfismo entre G y H, f : G H . Tomemos z,w dos elementos
cualesquiera de H. Luego, al ser f biyectiva deben existir x, y nicos tales que
f ( x) = z, f ( y ) = w . Se tiene
zw = f ( x) f ( y ) = f ( xy ) = f ( yx) = f ( y ) f ( x) = wz
De donde la ley de composicin interna en H es conmutativa. El estudiante UNA debe
estudiar y justificar cada una de las igualdades anteriores en caso de que no haya
resuelto el problema.
4. Si dos grupos son isomorfos, al ser cualquier isomorfismo una biyeccin, deben
ser equipotentes. Vea la Unidad de Conjuntos para cualquier duda al respecto.
5. Veamos en primer lugar que ( x) = a 1 xa es un homomorfismo, tenemos que
( xy ) = a 1 xya = a 1 xeya = ( a 1 xa )( a 1 ya ) =
( x) ( y )
Esto demuestra que ( x) = a 1 xa es un homomorfismo, falta ver que es una
biyeccin. Calculemos el ncleo o kernel de ( x) = a 1 xa , si
( x) = a 1 xa = e a (a 1 xa )a 1 = aea 1 = e
( aa 1 ) x ( aa 1 ) = x = e
Luego, por nuestro Teorema 3. ( x) = a 1 xa es inyectiva. Por ltimo, se puede ver
que la ecuacin con incgnita x , a 1 xa = y siempre puede ser resuelta para y
elemento arbitrario de G, esto demuestra que ( x) = a 1 xa es sobreyectiva y por ende
biyectiva.
6. El asunto aqu es escribir con cuidado las cosas pero es una verificacin rutinaria
que dejamos al estudiante UNA.
El siguiente teorema indica que cualquier grupo finito de orden n es isomorfo a un
subgrupo del grupo de permutaciones de n elementos. Es un teorema muy importante
en la teora de grupos.
Teorema 5 (Cayley). Sea G un grupo de n elementos. Entonces G es isomorfo a un
subgrupo H de Sn.
Demostracin.
Primero verificamos que cualquier x en G determina una biyeccin de G en G, es
decir una permutacin de n elementos. La idea es muy sencilla, fijemos x en G y
definamos f x : G G por medio de la regla. f x ( y ) = xy . Es un ejercicio para el

estudiante UNA verificar que cada f x : G G es biyectivo. Es decir, f x : G G es
un elemento de Sn. Observe que la operacin en Sn es la composicin de funciones y
f x f y = f xy ya que f x f y ( z ) = f x ( yz ) = ( xy ) z = f xy ( z ) . As,
: G Sn
( x) = f x
es un homomorfismo. Luego
H ={ f x : G G , x en G}
es un subgrupo de Sn por el Teorema 3 anterior. Cul es el ncleo de : G S n ?
Vemos que f x : G G es identidad s y slo s x=e. De donde, : G S n es un
isomorfismo de G en H ={ f x : G G , x en G}. Como queramos demostrar.
11.3. El teorema Fundamental de Isomorfismo
Sea : G H un homomorfismo sobreyectivo pero no necesariamente inyectivo, es

decir, el Ker no es el grupo trivial. Vamos a definir una relacin de equivalencia
en G y dotaremos a las clases de equivalencia de una ley de composicin interna.
Sean x, y elementos de G, decimos que x y ( x) = ( y ) . Es decir, x esta
relacionado con y si tienen iguales imgenes. Esto es, sin duda, una relacin de
equivalencia. Observe que x y ( x) = ( y ) ( xy 1 ) = e xy 1 Ker .
Esta caracterizacin de la relacin de equivalencia nos permite decir que las clases de
equivalencia (en ingls cosets) son de la forma
a Ker
donde a es un elemento cualquiera de G y aKer = { z = at con t Ker } . El
conjunto cociente obtenido de G al tomar las clases de equivalencia lo denotaremos
. Queremos multiplicar las clases de equivalencia y lo haremos de una
por G
Ker
manera natural. Definimos el producto en las clases de equivalencia de la forma
siguiente:
(a Ker )( b Ker )=ab Ker
Si el estudiante UNA estudi cuidadosamente la construccin de los sistemas
numricos pedir una explicacin en este momento. Cmo uno sabe que esa ley de
composicin interna est bien definida? Debemos ser cuidadosos y verificar que
ab Ker =ab Ker
si a a y b b .
Lema 6. Si T es un subgrupo de G y x est en T entonces xT=T.
Demostracin.
Al ser T un subgrupo si x est en T entonces xT = { xt con t T } est contenido en T.
Pero, si tomamos un elemento cualquiera t en T la ecuacin, de incgnita y, dada por
xy=t admite solucin en T. Luego T est contenido en xT y tenemos la igualdad de los
dos conjuntos.
Volvamos a nuestro problema que es demostrar ab Ker =ab Ker
si a a y b b . Pero a a y b b implica que ( b ' )

aplicando el lema anterior, ( b ' )
( a ')
( a ')
ab Ker y luego,
abT = T abT = a ' b ' T . Esto indica que la
ley de composicin interna est bien definida en el conjunto cociente G
Ker
. An
ms, tenemos el importante resultado que sigue.

Teorema 7. G
es un grupo.
Ker
Demostracin.
Vemos que Ker juega el papel de elemento neutro ya que e Ker = Ker y por
ende (e Ker ) (b Ker )=eb Ker = b Ker . Al ser la multiplicacin en G
es de nuevo
asociativa, entonces la multiplicacin que hemos definido en G
Ker
asociativa. Luego, como (b-1 Ker ) (b Ker )=b-1 b Ker =e Ker .
Por ltimo, el resultado que habamos anunciado.
Teorema 8. Si : G H es un homomorfismo sobreyectivo entonces H es isomorfo
.
al grupo cociente G
Ker
Demostracin. Tenemos que construir un isomorfismo de G
en H. Basta
Ker
tomar el homomorfismo : G
H donde ( xKer ) = ( x) el cual est bien
Ker
definido ya que todos los elementos de la clase xKer tienen igual imagen por
medio de . Que : G
H es un homomorfismo se verifica de manera
Ker
directa. Igualmente vemos que es sobreyectivo ya que lo es. Basta ver que
: G Ker H es inyectivo para demostrar el resultado. Pero por la construccin
de : G
H vemos que ( xKer ) = ( x) =e s y slo s x esta en Ker y
Ker
luego x Ker = Ker . Lo que concluye la demostracin.
1.Consideremos el grupo con respecto a la adicin usual y el grupo de los

: 3
enteros mltiplos de 3, 3 = {0, 3, 6,} . Definamos la aplicacin,
que
( z ) = 3z
es obviamente sobreyectiva. An ms, : 3 es un homomorfismo. Su ncleo es
trivial, luego el Teorema Fundamental del Isomorfismo dice que es isomorfo a
3 = {0, 3, 6,} .
2. Tomemos de nuevo con la adicin usual de enteros y consideremos los enteros
mdulo 5, 5 . Ya estudiamos el homomorfismo representado por la proyeccin
cannica
: 5
(z) = z
Su ncleo es el subgrupo de dado por los mltiplos de 5, denotado por 5 . Por el
teorema anterior vemos que 5 es isomorfo a 5
.
5
11.4. Estudiando los Grupos: el software FGB

Vamos a usar un paquete muy sencillo para explorar los grupos: FGB 3.0. FGB son
las siglas de Finite Group Behavior, es decir comportamiento de grupos finitos. El
mismo
se
puede
descargar
desde
http://wolfweb.unr.edu/homepage/keppelma/fgb.html. Aqu tambin encuentran
informacin general sobre el software FGB 3 y cmo registrarse. El software es
gratuito pero el matemtico que lo desarroll pide que se registre. Al pulsar el enlace
de descarga debe aparecer la pantalla que aparece abajo. Presionen la opcin Save
File. El archivo se descargar a su computador, el archivo que baj est comprimido.
Cree una carpeta donde descomprimir el mismo, un buen nombre para la carpeta es
Programa de Grupos. Descomprima el programa en esa carpeta haciendo doble click
en el archivo que descarg, haciendo luego click en la opcin ejecutar.
Aparecer entonces el siguiente cuadro
Coloque en la parte a rellenar la direccin de la carpeta donde quiere descomprimir el

programa y listo! Ya complet la instalacin. En la carpeta donde instal el programa
debe tener el cono
Fgbv3.exe
Haga doble click en el mismo para iniciar la ventana principal del programa.
Ahora Ud. puede cargar un grupo finito de orden pequeo y empezar su estudio
haciendo click en File y buscando, mediante la seleccin de Open en el men
contextual, un grupo en las carpetas que se abren.
Vamos a desarrollar un ejemplo abriendo el archivo 0402 de la carpeta Small
Groups. El 04 significa que es un grupo de cuatro elementos. Solo hay dos grupos de
cuatro elementos, uno es el grupo cclico 4 y el otro es 2 2 . Veamos la tabla del
grupo:
Por inspeccin de la tabla vemos que todos los elementos distintos al elemento neutro
tienen orden 2. Luego el grupo no puede ser cclico y es 2 2 . Vamos a ver
algunas de las funcionalidades del programa.
1. Verificacin de los axiomas de grupo de la tabla presentada. Haga click en la
pestaa Axiom Check. Usted ver la siguiente pantalla de abajo. Usted puede
chequear la asociatividad, existencia de elemento neutro y la existencia de un
inverso para cada elemento. Explore cada posibilidad, por ejemplo si hacemos
click en el botn Asociativity Check, comprobamos si la ley de composicin
dada
es
asociativa
no.
Al
hacer
click
aparecer
Yes.
2. En la pestaa Notes vemos que el grupo es el grupo de Klein 2 2 .

3. En la pestaa Subgroups podemos construir un subgrupo generado por una
familia de elementos del grupo que estamos estudiando. Haga click para
explorar esta actividad del software. Aadimos el 1 ya que sabemos que
cualquier grupo debe contener la identidad. Aparece el cuadro de
informacin
La cual nos dice exactamente esto, el subgrupo debe contener el 1. Aadimos un

elemento seleccionando el mismo y oprimiendo el botn de Add, en este ejemplo
aadimos el elemento A. Vemos que al aadir A se obtiene un subgrupo de orden
2. Si Usted le da al botn de View Cosets aparecen las clases de equivalencia
asociadas al subgrupo {1,A}, en este caso son solo dos clases que aparecen
resaltadas.
Las clases aparecen resaltadas en gris claro y oscuro en la pantalla arriba.

4. En la pestaa de Conmutatividad tenemos la posibilidad de encontrar el centro
de un elemento cualquiera. El centro de un elemento cualquiera x son todos
los elementos que conmutan con x. Esto es un subgrupo que denotaremos por
C(x).
5. En la pestaa Calculator podemos multiplicar diversos elementos del grupo
estudiado, ver su orden, su inverso entre otras cosas. El estudiante UNA va a
continuar descubriendo las posibilidades a medida que use el programa.
1. Sea G un grupo cualquiera y x G . Demuestre que el centro de un elemento x
es siempre un subgrupo de G.
2. Estudie cuidadosamente con el software FGB el grupo de permutaciones S3 de
3 elementos. Siga el siguiente esquema: a) Abra el archivo 0602. b) Verifique
los axiomas de grupos. c) Busque todos los subgrupos de S3. d) Halle las
clases de equivalencias (cosets). e) Lea la informacin en notes.
3. Demuestre que el grupo S3 coincide con el grupo de simetras y rotaciones que
llevan un tringulo equiltero en el mismo. Sugerencia: Cuntas simetras y
rotaciones dejan invariante un tringulo equiltero?
1. Por definicin, el centro de x son todos los elementos que conmutan con x.
Este conjunto que denotaremos por C(x) es no vaco ya que al menos el elemento
neutro e del grupo est en l ya que ex=xe=x. Supongamos ahora que w,y pertenecen
a C(x), entonces ( wy ) x = w ( yx ) = w( xy ) = ( wx) y = ( xw) y = x( wy ) de donde wy
pertenece a C(x). Si w pertenece a C(x) entonces ex = w1wx = w1 xw xw1 = w1 x ,

luego w-1 pertenece a C(x). Luego, C(x) es un grupo denominado el centro de x.
2. Es un problema que requiere el paquete FGB y lo dejamos al estudiante UNA.
3. Hay tres rotaciones, la de 0 grados (que es la identidad), la de 120 grados y la de
240 grados. Las simetras corresponden a las reflexiones respecto a las tres medianas
del tringulo equiltero. Cada una de estas medianas fija un vrtice e intercambia los
otros dos. Luego, tenemos 6 permutaciones de los tres vrtices de un tringulo
equiltero y esto es el mayor nmero que podemos tener, luego es el grupo S3 .
11.5. Grupos en la naturaleza: modelando con grupos

La sal que usamos en la mesa es un cristal cuya frmula es NaCl (cloruro de sodio).
El cristal tiene forma cbica.
Cristales de Sal
Usted puede hacer estos cristales de sal mediante este procedimiento:
Para empezar, cogemos un recipiente y llenamos un tercio de su contenido de agua.

A continuacin, echamos tres cucharaditas de sal en el mismo y removemos bien.
Una parte de esta sal se disolver, mientras que otra quedar depositada en el fondo
del recipiente. Para conseguir nuestros cristales caseros necesitaremos separar la sal
que no se ha disuelto. Para ello llevaremos a cabo un proceso llamado decantacin.
Es muy simple. Tan solo tenemos que dejar la mezcla en reposo durante toda una
noche, con lo que la sal no disuelta se quedar claramente en el fondo, y despus
verter el agua en otro recipiente, con mucho cuidado de no arrastrar tambin la sal del
fondo. Una vez hecho esto, lo nico que queda es dejar reposar la disolucin sin tapar
durante unos das. Poco a poco irn apareciendo unas partculas slidas en el fondo
de la disolucin. Con ayuda de la lupa, podremos observarlas mejor y apreciar la
forma que van tomando. Tambin podemos centrarnos en una haciendo, por
ejemplo, un crculo en un trozo de papel que colocaremos debajo del vaso justo en el
lugar donde se encuentre. A lo largo de los das veremos cmo va creciendo nuestro
pequeo cristal elegido. Lo verdaderamente impresionante de este experimento es
comprobar que todos los cristales de sal forman cuadrados o rectngulos.
Tomado de http://www.experimentoscaseros.info/2012/12/como-hacer-cristalesde-sal.html
Existen otros tipos de sales distintas al cloruro de sodio o sal de formas exactamente
similares. Esto permite a la teora de grupos establecer una correspondencia
matemtica entre distintos cristales y sus simetras.
Red de cristales
Usamos esto para predecir propiedades de difraccin por rayos X o polarizacin de la
luz en medios cristalinos. Estos experimentos permiten dilucidar la estructura de los
cristales.
Invitamos al estudiante UNA a leer el siguiente texto tomado de La Vida de Pasteur
por
Vallery
Radot
http://www.librosmaravillosos.com/lavidadepasteur/capitulo02.html. En l encontrar
la solucin de este gran qumico francs al problema de polarizacin que presentaba
el espato de Islandia. El libro completo est en lnea, es un gran libro que le
recomiendo leer. En su solucin Pasteur utiliza el concepto de simetra de manera
brillante para dilucidar por qu exista polarizacin a la derecha o la izquierda en los
cristales de este compuesto.
Espato de Islandia
Louis Pasteur
1. Cules son los subgrupos del grupo de los enteros mdulo 10, 10 ? Lstelos
todos y verifique su anlisis con el software FGB 3.
2. Demuestre que dos grupos cclicos finitos son isomorfos si y slo si tienen el
mismo nmero de elementos.
3. Demuestre que cualquier grupo de orden 9 debe tener un subgrupo de orden 3.
4. Demuestre que si : G H , : H K son isomorfismos del grupo G en el
grupo H y del grupo H en el grupo K respectivamente, entonces se puede
construir un isomorfismo del grupo G en el grupo K.
5. Demuestre que si dos grupos son isomorfos y uno de ellos es conmutativo
entonces el otro es conmutativo.
6. Demuestre que el concepto de grupos isomorfos es una relacin de
equivalencia.
7. Considere el grupo cclico 12 . Cules son sus subgrupos de orden 6?
Verifique su trabajo con el software FGB 3.0. Sugerencia: Establece con
cuidado cul es el orden de cada elemento del grupo.
8. Usando el software FGB 3.0 verifique que todo grupo de orden menor o igual
que 5 es conmutativo.
9. Demuestre que el conjunto k de todos los mltiplos de un entero fijo k, k no
nulo, dado es un subgrupo de . Demuestre que y k son isomorfos.
10. Demuestra que el grupo S3 no es isomorfo al grupo cclico de 6 elementos.
Sugerencia: Es S3 conmutativo?.
11. Supongamos que x es un elemento de orden 3 en el grupo G. Sea : G H
un isomorfismo de grupos. Cul es el orden de ( x ) en H?.
1. 10 slo tiene dos divisores no triviales: 2 y 5. As que los subgrupos deben

tener precisamente ese orden. El nico elemento que genera un grupo de
orden 2 es la clase del 5, todos los dems elementos generan grupos de orden 5
o el grupo entero. Dejamos al estudiante UNA que haga la lista completa de
los subgrupos.
Para usar el software FGB usamos la pestaa de Subgroup Table y la opcin
Add que permite ir incluyendo elementos del grupo en el subgrupo. Abra en
primer lugar de la carpeta de grupos cclicos el archivo 1001. Luego haga click
en la pestaa Subgroup Table. Aada los elementos 1 y B (el uno siempre debe
estar en el grupo), dele OK cada vez que sale un aviso del programa, qu
observa? Vea que ha generado un grupo de orden 5. El elemento B
corresponde a la clase del 2, luego es razonable lo que obtuvimos. Siga
experimentando con FGB y verificando su trabajo.
2. Para que dos grupos sean isomorfos debe haber una biyeccin entre ellos y
por ende deben tener la misma cantidad de elementos. As es claro que es una
condicin necesaria que los dos grupos deben tener la misma cantidad de
elementos. Veamos que es tambin suficiente. Sea G un grupo cclico de
orden n generado por x. Sea H un grupo cclico de orden n generado por y.
Definimos
por
medio
de
:G H
( x) = y, ( x 2 ) = y 2 , ( x n 1 ) = y n 1 , (e) = e ' .
Claramente, : G H es
sobreyectiva y por ende biyectiva al ser G,H conjuntos finitos de igual nmero
de elementos. Por otro lado, la construccin de : G H implica que esta
transformacin es un homomorfismo. Luego, : G H es un isomorfismo y
esto concluye el ejercicio.
3. Tomemos un grupo cualquiera de orden 9. Si el grupo es cclico y generado
por x estamos listos ya que x3 debe tener orden 3. El estudiante UNA debe
decir por qu. Si suponemos que G no es cclico vemos que cualquier
elemento distinto del elemento neutro e debe generar un subgrupo propio de
G. Pero, este subgrupo, por el teorema de Lagrange, debe tener un orden que
divida a 9, es decir debe ser de orden 1, 3 o 9. No puede ser de orden 1 ya que
nuestro elemento no es el elemento neutro. No puede ser 9 ya que el grupo no
es cclico, luego el orden del subgrupo (y de su generador) debe ser tres.
4. Esto es bastante sencillo y muchas veces en la formulacin de resultados de
lgebra abstracta las cosas tienen un carcter automtico. Esto significa que
hacemos las cosas prcticamente de la nica forma que podemos hacerlas. Si
: G H , : H K son isomorfismos del grupo G en el grupo H y del
grupo H en el grupo K respectivamente, entonces consideramos la funcin
compuesta : G K . Vemos que esta funcin es un isomorfismo ya que
( xy ) = ( ( xy )) = ( ( x) ( y )) = ( ( x)) ( ( y )) y adems al ser una
composicin de biyecciones : G K es una biyeccin. Esto concluye el

problema.
5. Supongamos que : G H es un isomorfismo y G es conmutativo.
Supongamos que H no fuese conmutativo, entonces deben existir z,w en H
tales
que
zw
es
distinto
de
wz
pero
1 ( zw) = 1 ( z ) 1 ( w) = 1 ( w) 1 ( z ) = 1 ( wz ) y al ser 1 una biyeccin

debe ocurrir que 1 ( wz ) 1 ( zw) , una contradiccin.
6. El estudiante UNA solo debe relacionar algunos resultados que ya demostr
para resolver este problema. Recuerde que cualquier grupo es isomorfo a el
mismo. Luego la relacin es reflexiva. Por otro lado, si : G H es un
isomorfismo, entonces 1 : H G es de nuevo un isomorfismo. Luego, la
relacin es simtrica. El problema 4 demuestra que la relacin es transita.
Indique por qu. Luego, tenemos una relacin de equivalencia.
7. Sabemos que el grupo cclico de orden 12 es isomorfo al grupo 12 . Todos
sus subgrupos son cclicos. El elemento 2 genera un grupo de orden 6,
2, 4, 6, 8,10, 0 . Vemos esto con el software FGB 3.0. Vaya al programa y
abra el archivo 1201 que encuentra en la carpeta de los grupos cclicos.
Observe que 1 corresponde al elemento neutro ya que estn usando la notacin

multiplicativa. Por otro lado, al revisar la tabla vemos que A es un generador
del grupo, por qu?. Como A+A=B examinemos el grupo que genera B con
el paquete FGB. Vamos a la pestaa Subgroup Table.
Agregamos el 1( que debe estar en cualquier subgrupo y el B para empezar.

Enseguida el programa indica que como B*B=D debe estar en el subgrupo.
Sigamos de esta manera y despus de una serie de adiciones obligatorias el
programa no agrega ningn elemento ms completando el subgrupo que
vemos a continuacin.
La tabla nos indica que tenemos un grupo de orden 6.

Volvamos a los clculos personales antes de usar el paquete. El elemento 3
genera un grupo de orden 4 como se puede ver. Este grupo est formado por
los elementos {3, 6, 9, 0} . El estudiante UNA debe usar el software FGB para
verificar esto. Para hacer esto pregntese, qu elemento de la tabla
corresponde al elemento 3 ? Qu pasa con la clase del 4? Vea que esto
genera un grupo de orden 3. Al ser 5 primo con 12, debe generar un grupo de
orden 12, es decir, el grupo completo. Realice esto con el software FGB. La
clase del 6 genera un grupo de orden 2 ya que 6+6=0 modulo 12. El 7 es
coprimo con el 12 y debe generar un subgrupo de orden 12, es decir genera a
12 . En el software G corresponde a la clase del 7. Verifique lo que
afirmamos usando FGB. Veamos qu ocurre con la clase del 8. Como 8+8=4
mdulo 12 y 4+8=0 mdulo 12 entonces la clase del 8 genera un subgrupo de
orden 3. Aqu est la tabla generada por el software
El estudiante UNA debe entender que la nica manera de familiarizarse con un

software es usarlo mucho. Estoy seguro que finalmente Ud. manejar este
programa mejor que yo.
Qu podemos decir de la clase del 9?. Hagamos unas cuentas. 9+9=18=6
mdulo 12. Luego, 9+6=15=3 mdulo 12. As, por ltimo 3+9=12=0 mdulo
12. Es decir, tenemos un grupo de orden 4. El 11 lo dejamos completamente al
estudiante UNA ya que hemos tratado casos similares arriba. Qu ocurre con
el 10? Aqu est la tabla que genera el software FGB 3.0
Es un grupo de orden 6, de hecho es el grupo generado por la clase del 2 (el

elemento B). Aqu concluye nuestro anlisis ya que hemos examinado todos
los subgrupos generados por cada elemento.
9. Fijemos un entero k. Tomemos el conjunto k = {kn tal que n } donde k
es un entero fijo. Demostremos, en primer lugar, que al restringir la suma de
los enteros obtenemos un grupo. Vemos que 0 est en
k = {kn tal que n } ya que 0=0k. Adems, la suma de los enteros se puede
restringir al conjunto k = {kn tal que n } . Para ver esto, tomemos dos
elementos cualesquiera kn y km en
k = {kn tal que n } . Como
km+kn=k(m+n) esto pertenece a k = {kn tal que n } , Por supuesto que la

suma, restringida al conjunto k = {kn tal que n } es asociativa, ya que una
violacin de la asociatividad para la suma implicara que esta no se cumple en
los enteros, lo cual es absurdo. As, solo resta verificar que un elemento
cualquiera km tiene un inverso, pero km+(-km)=0 y km=k(-m) est en
k = {kn tal que n } .
Hemos
concluido
demostracin
que
k = {kn tal que n } es un subgrupo de .

Para verificar que los grupos son isomorfos construimos un isomorfismo de
a k de manera natural. Consideremos la funcin : k que asigna a
cada entero z el valor ( z ) = kz k . Como
( z + w) = k ( z + w) = kz + kw = ( z ) + ( w)
Luego, : k es un homomorfismo. Claramente, : k es
sobreyectiva. Por otro lado, ( z ) = kz = kz ' = ( z ') k ( z z ') = 0 z = z ' .
Aqu usamos que k es no nulo. Esto indica que la aplicacin : k es un
isomorfismo. Puede usted pensar qu pasara si k fuese nulo?
10. Sabemos que dos grupos isomorfos deben ser simultneamente

conmutativos, pero S3 es no conmutativo y cualquier grupo cclico es
conmutativo. Por ende, no pueden ser isomorfos.
11. El orden es 3 como veremos en un momento. En primer lugar observe que
( x)3 = ( x 3 ) = (e) = e ' donde e y e son los elementos neutros de los grupos
G y H. Como x genera un subgrupo K cclico de orden 3 en G su imagen
debe ser un subgrupo de H, en este caso isomorfo K. Luego debe ser cclico de
orden 3, luego ( x ) tiene orden 3.
Unidad 8 Anillos
Semana 13,14
Aplicar el concepto de anillo y sus propiedades en la resolucin de problemas, en el

modelado matemtico y en la demostracin de nuevos resultados.
Contenidos a tratar
Anillos con identidad y sus propiedades. Subanillos e ideales. Homomorfismos.
Polinomios.
12.1 La nocin de anillo

Desde la Educacin Media hemos estudiado distintos conjuntos y operaciones con sus
elementos, tal es el caso de los enteros, racionales, reales y complejos, as como los
polinomios, las matrices (cuadradas) y las funciones reales de variable real, que
aunque distintos, en realidad comparten propiedades comunes; de hecho, poseen una
misma estructura. Por ejemplo, observemos que en los conjuntos antes citados, la ley
aditiva all definida es interna, es decir, al sumar dos elementos cualesquiera de ese
conjunto se obtiene un elemento de ese mismo conjunto. Adems, existe un elemento
neutro, llamado cero que, aunque tenga una simbologa particular dependiendo del
conjunto y la naturaleza de sus elementos, se comporta de la misma manera. En el
caso de , , , y en el conjunto de los polinomios P [ x] , este cero se escribe
simplemente como
0
En el caso de conjunto de las matrices cuadradas, el cero tiene la forma
0
0
0 0
0 0
o bien [ 0]nn
0 0nn
Y en el de las funciones reales de variable real definidas de un conjunto [ a, b] en :
f ( x ) = 0, para cualquier x [ a, b ]
La ley aditiva es asociativa y conmutativa en todos los casos que citamos antes. Y,
para cada elemento existe su opuesto aditivo o simtrico. Por otra parte, en estos
conjuntos (por slo citar algunos ejemplos) est definida una multiplicacin que
verifica la propiedad asociativa y, posiblemente, la existencia de elemento identidad.
Notemos que tal identidad s existe en , , , y P [ x] , y se simboliza de la misma
manera:
1
En el caso de las matrices es
1
0
0 0
1 0
o bien I nn
0 1nn
Y en el de las funciones reales de variable real con el producto usual:
f ( x) = 1
Adems, se cumplen las dos leyes distributivas (a izquierda y a derecha) de la
multiplicacin con respecto a la adicin.
El conjunto de los enteros mdulo n, que estudiamos semanas atrs, tiene un
comportamiento (estructura) similar.
Tal estructura es medular para las matemticas en la actualidad, as como para sus
aplicaciones en otras disciplinas, reas y en la realidad. Esta semana se ocupa,
precisamente, del estudio de la estructura denominada anillo y de algunas de sus

propiedades. Una nota: al comienzo hablamos del conjunto de las matrices cuadradas
para que de esta forma est definida la adicin y la multiplicacin de cualesquiera
matrices en dicho conjunto.
12.2 Anillos y Anillos con identidad

Definicin. Un conjunto no vaco A es un anillo si en A estn definidas dos leyes
internas, una aditiva + y otra multiplicativa , que verifican las condiciones que
siguen:
(i) A es un grupo abeliano con respecto a la ley aditiva.
(ii) La multiplicacin es asociativa: a ( b c ) = ( a b ) c , a, b, c A .
(iii)La multiplicacin es distributiva, a izquierda y a derecha, con respecto a la
adicin: ( a + b ) c = a c + b c y c ( a + b) = c a + c b . a, b, c A .
Si adicionalmente se verifica la propiedad (iv), entonces A es un anillo con
identidad.
(iv) Existe un elemento identidad para la multiplicacin: 1 A : 1 a = a 1 = a ,
a A .
Adems,
(v) Si ab = ba, a, b A , entonces A es un anillo conmutativo.
(vi) Si A es un anillo conmutativo con identidad, en el que
ab = 0 a = 0 b = 0 , es un dominio entero.
(vii) Si A es un anillo en el que existen a 0 y b 0 tales que ab = 0 ,
entonces a y b se llaman divisores de cero.
El anillo A se representa formalmente con la terna ( A, +, ) . En ( A, +) el neutro se
denota usualmente con 0, y se le denomina el cero del anillo. En ( A, ) la identidad se
denota comnmente con 1 y se denomina uno del anillo. Adems, tan como en el caso
de los grupos, el inverso aditivo de a se escribe a y la multiplicacin a b puede
escribirse simplemente como ab (sobreentendiendo el signo para esta ley).
1. Si A es un grupo abeliano cualquiera y definimos en A una ley multiplicativa de la

siguiente forma: ab = 0, a, b A , entonces ( A, +, ) es un anillo (denominado anillo
trivial sobre A). Observemos que la condicin (i) de la definicin de Anillo se verifica
de inmediato. Y como
a ( b c ) = a 0 = 0 = 0 c = ( a b) c
entonces se verifica (ii).
Adems, de las igualdades
( a + b) c = 0 = 0 + 0 = a c + b c
c ( a + b) = 0 = 0 + 0 = c a + c b
se tiene (iii).
2. Los conjuntos , , y , con la adicin y la multiplicacin usual, son anillos

con identidad.
3. El conjunto de todos los polinomios en , el de las matrices cuadradas sobre , y
de las funciones reales de variable real son anillos con identidad. (La multiplicacin,
en el caso de las funciones, est dada por el producto usual de funciones).
4. El conjunto de los enteros mdulo 2, 2 , con la adicin y la multiplicacin dadas
por las tablas:
+
0
0
1
0
1
1
1
0
0
1
0
0
0
1
0
1
es un anillo con identidad. La identidad es
1 = { x : x 1 ( md 2 )} = { , 3, 1, 1, 3, 5, }
En 2 no hay divisores de cero.
5. Notemos que existen matrices distintas a la matriz cero cuyo producto es la matriz
cero; tal es el caso de:
0
1 0
1 0 y
Aqu,
1 0 0
1 0
0 0 0
=
.
2 0 0
Es decir, en el anillo de las matrices de orden 2 2 , hay divisores de cero! Hay

divisores de cero en el anillo de las matrices de orden 3 3 ?
6. En 6 se tiene que 2 y 3 son divisores de cero, ya que 2 3 = 0 . Adems, 3 y
4 tambin lo son. De seguidas exponemos su tabla multiplicativa.
0
1
2
0
0
0
0
1
0
1
2
2
0
2
4
3
0
3
0
4
0
4
2
5
0
5
4
3
4
5
0
0
0
3
4
5
0
2
4
3
0
3
0
4
2
3
2
1
En efecto, sabemos que

2 = { x : x 2 ( md 6)} = { x : 6 x 2} = {, 4, 2, 8,14, 20, } .
3 = { x : x 3 ( md 6 )} = { x : 6 x 3} = {, 3, 3, 9,15, 21, }
En 2 estn los enteros que dan resto 2 al dividir por 6, y en 3 estn los enteros que
dan resto 3 al dividir por 6. Es decir, cualquier elemento de 2 y 3 tiene la forma
6c + 2 y 6c * +2 , respectivamente (de acuerdo con el algoritmo de la divisin). As,
( 6c + 2)( 6c * +3) = 36cc * +18c +12c * +6 = 6 ( 6cc * +2c + 2c * +1) 0

Los lectores pueden comprobar, de forma similar, que 3 4 = 0 .
7. El conjunto { x, y, z} con la adicin y la multiplicacin dadas por las tablas:
+
x
y
z
x
y
z
x
y
z
x
y
z
x
y
z
x
y
z
x
x
y
z
y
y
x
z
z
z
z
z
es un anillo con identidad. Aqu la identidad es x. Este anillo tiene la misma forma (es
isomorfo) que 3 .
8. El conjunto de partes de , esto es P ( ) , con la adicin y multiplicacin

definidas como sigue, es un anillo conmutativo con elemento identidad.
A + B = ( A B ) ( A B ) = AB
A B = A B
Para cualesquiera A, B P ( ) .
Demuestre en detalle lo afirmado en el ejemplo 8.
(El anillo de los enteros mdulo n). En la unidad 5 estudiamos en detalle el

conjunto de de las clases residuales mdulo n. Aqu veremos que, en general, n es
un anillo conmutativo para cualquier entero positivo n. Para ello, notemos que al
dividir un entero cualquiera x entre n, tenemos que
x = nc + r, 0 r < n
Donde c es el cociente y r el resto. Es decir, r = 0,1, 2, 3, , n 1 (slo existen n

posibles restos al dividir x entre n). Adems, sabemos que la clase residual a consta
de todos los enteros que dan el mismo resto que a al dividir por n. Esto es,
a = {v : v a ( md n )} = {v : n a v} .
As,
n = 0,1,2, , n 1 .
Recordemos, adems, que a = {, a 2n, a n, a, a + n, a + 2n, } .

En n definimos una adicin y una multiplicacin como sigue:
a +b = a +b
a b = a b
Estas leyes son internas pues el resto de la divisin por n de cualquier entero es
alguno de los enteros 0,1, 2, 3, , n 1 , los cuales se asocian con alguna de las clases
de n . Resulta inmediato que la adicin es conmutativa pues si r es el resto de dividir
x por n, y r* es el resto de dividir x* por n, entonces podemos escribir que
x = nc + r, 0 r < n y x* = nc * +r*, 0 r* < n ; con lo cual
x + x* = n ( c + c *) + ( r + r *)
Aqu hay dos posibilidades: (Caso 1) Si r + r* < n , entonces r + r * es el resto de
dividir x + x * por n. (Caso 2) Si r + r* n , simplemente escribimos
r + r* = n + j < 2n (ya que tanto n como n* son menos que n), donde 0 j < n . Por lo
tanto,
x + x* = n ( c + c *) + ( r + r *) = n ( c + c *) + ( n + j ) = n ( c + c * +1) + j . Observe
que a + b = j . Llegamos a las mismas expresiones si dividimos x * + x por n.

Veamos que la adicin es asociativa. Sean x, y, z enteros. Probaremos que
( x + y) + z = x + ( y + z) .
Cul es el resto de dividir ( x + y ) + z por n? Para obtenerlo, primero debemos

dividir x + y entre n. por el algoritmo de la divisin podemos escribir que
x + y = nc + r
(1)
Ahora, el resto que resulta de dividir ( x + y ) + z por n es el mismo resto que resulta
de dividir r + z por n. Aplicando el algoritmo de la divisin tenemos que
r + z = nc * +r *
( 2)
Sumando las expresiones (1) y (2): x + y + r + z = nc + r + nc * +r * . Por tanto,
x + y + z = n ( c + c *) + r *
Y como 0 r* < n , entonces r* es el resto de dividir ( x + y ) + z por n. A la misma

conclusin se llega si calculamos el resto de dividir x + ( y + z ) por n.
Existe neutro en n : el 0 . Para ver esto consideremos una clase cualquiera de n ,
llammosla i . Sean x i , y 0 ; en tal caso, por el algoritmo de la divisin:
x = nc + i
y = nc * +0
Con lo cual
x + y = n ( c + c *) + i i
Por tanto, i + 0 = i .
Para cada i n existe su simtrico. Si i = 0 su simtrico es l mismo (por la
propiedad anterior). Ahora, si i = 1, 2, 3, ..., n 1 , su simtrico es n i . En efecto, en la
clase i estn enteros de la forma nc + i ; y en la clase n i estn enteros de la forma
nc * + ( n i ) . Ahora,
nc + i + nc * + ( n i ) = n ( c + c * +1) + i i = n ( c + c * +1) 0
Con todo lo anterior n es un grupo abeliano (verificndose la condicin i de la
definicin de anillo).
Las condiciones ii y iii (referidas a la asociatividad de la multiplicacin y a la
distributividad de la multiplicacin con respecto a la adicin) se prueban de forma
similar.
n tiene identidad. La clase 1 tiene enteros de la forma nc + 1 . Una clase i tiene
elementos de la forma nc * +i , 0 i < n . As, los elementos de 1 i tienen la forma
( nc + 1)( nc * +i ) = n2 cc * + nci + nc * +i = n ( ncc * +ci + c *) + i i

Por tanto, 1 es la identidad de n .
Adems, la multiplicacin es conmutativa en n : esto se deriva del hecho de que el
resto que resulta de dividir ij por n es el mismo resto que resulta de dividir ji por n.
En resumen, n es un anillo conmutativo con elemento identidad.
Ahora bien, si n es compuesto, existen enteros positivos a1 y a2 , tales que n = a1a2 .
Esto implica que, en tal caso, n tenga divisores de cero (como en el ejemplo que
refiere a 6 ). Pero si n es primo, no existe tal posibilidad; as que n sera un
dominio entero (como 3 , por ejemplo).
(Los enteros gaussianos)
Un conjunto muy especial es el de los enteros gaussianos, el cual consta de los

nmeros de la forma a + bi donde a y b son enteros.
[i ] = {a + bi : a, b }
Donde la adicin y la multiplicacin se definen tal como en el conjunto de los
nmeros complejos:
( a + bi ) + ( c + di ) = ( a + c) + ( b + d ) i
( a + bi )( c + di ) = ( ac bd ) + ( bc + ad ) i
[i ] es un dominio entero.
En efecto, es claro(verifique!) que ambas leyes son internas. Por otra parte, la adicin
es asociativa, pues
( a + bi ) + ( c + di ) + ( e + fi ) = ( a + c) + ( b + d ) i + ( e + fi )
= ( ( a + c ) + e) + ( ( b + d ) + e) i
= ( a + ( c + e) ) + ( b + ( d + f ) ) i
= ( a + bi ) + ( c + e) + ( d + f ) i
= ( a + bi ) + ( c + di ) + ( e + fi )
Aqu aplicamos la definicin de adicin, la asociatividad de la adicin de enteros, y
nuevamente la definicin de adicin.
La conmutatividad de la adicin se sigue de
( a + bi ) + ( c + di ) = ( a + c) + ( b + d ) i
= ( c + a ) + ( d + b) i
= ( c + di ) + ( a + bi )
Aqu nos basamos en la definicin de la adicin y en la conmutatividad de la adicin
en , y nuevamente la definicin de adicin.
Como ( a + bi ) + ( 0 + 0i ) = ( 0 + 0i ) + ( a + bi ) = a + bi , entonces 0 + 0i = 0 es el neutro
aditivo en [i] . Dado el entero gaussiano a + bi , existe su opuesto a bi , ya que
Con todo esto, [i] es un grupo
abeliano (verificndose la condicin i de la definicin de anillo).
Por otra parte, como
( a + bi ) + ( a bi ) = ( a a ) + ( b d ) i = 0 + 0i = 0 .
( a + bi )( c + di ) ( e + fi ) = ( ac bd ) + ( bc + ad ) i ( e + fi )
= ( ( ac bd ) e ( bc + ad ) f ) + ( ( bc + ad ) e + ( ac bd ) f ) i
= ( ace bde bcf adf ) + ( bce + ade + acf bdf ) i
= ( a ( ce df ) b ( de + cf ) ) + ( b ( ce df ) + a ( de + cf ) ) i
= ( a + bi ) ( ce df ) + ( de + cf ) i
= ( a + bi ) ( c + di )( e + fi )
Entonces, la multiplicacin es asociativa (verificndose ii).
Adems, la multiplicacin es distributiva con respecto a la adicin (iii), pues
( a + bi ) + ( c + di ) ( e + fi ) = ( a + c ) + ( b + d ) i ( e + fi )
= ( ( a + c) e ( b + d ) f ) + ( ( b + d ) e + ( a + c) f ) i
= ae + ce bf df + bei + dei + afi + cfi
= ( ae bf ) + ( be + af ) i + ( ce df ) + ( de + cf ) i
= ( a + bi )( e + fi ) + ( c + di )( e + fi )
La identidad es, precisamente, 1+ 0i . Observemos que
(1+ 0i )( a + bi ) = (1a 0b) + ( 0a +1b) i = a + bi .

Y como
( a + bi )( c + di ) = ( ac bd ) + ( bc + ad ) i = ( ca db) + ( da + cb) i = ( c + di )( a + bi )
entonces se verifica la conmutatividad de la multiplicacin.
12.2 Propiedades generales de los anillos

Proposicin 1. En cualquier anillo se cumple que 0a = a0 = 0 , a A .
Demostracin. Sea A un anillo y a A , entonces
a = 0+a
pues 0 es el neutro aditivo en A.
Luego,
aa = a ( 0 + a )
multiplicando por a
= a0 + aa
por una de las leyes distributivas.
Y, de acuerdo con las leyes de cancelacin que se verifican en A, lo anterior garantiza
que a0 = 0 . Del mismo modo se prueba que 0a = 0 . Por tanto, a0 = 0a = 0 .
Proposicin 2. En todo anillo se cumple que:

(i) ( a ) = a .
(ii) ( a + b) = a b .
(iii) ( a b) = a + b .
(iv) ab = ( a ) b = a ( b) .
(v) ( a )( b) = ab .
Demostracin. Sean a y b elementos de A. (i) Como a + ( a ) = 0 , entonces a es el

opuesto de a, y recprocamente. Esto es, ( a ) = a . (ii) Para probar esta parte basta
sumar a + b y a b , y apoyarnos en las propiedades asociativa, conmutativa,
existencia de opuesto y neutro en A:
( a + b) + ( a b) = a + b + ( a) + ( b)
= a + ( a ) + b + ( b)
= 0+0
=0
Lo anterior garantiza que ( a + b) = a b . La prueba de (iii) es similar a esta.
(iv) Sabemos que a + ( a ) = 0 , pues A es un grupo. Ahora, multiplicando por b a la
derecha y apoyndonos en una de las leyes distributivas, tenemos que:
( a + ( a) ) b = ab + ( a) b = 0 . Y por la unicidad del opuesto aditivo concluimos que
ab = ( a ) b .
De
forma
similar,
de
b + ( b) = 0 ,
a ( b + ( b) ) = ab + a ( b) = 0 . Es decir, ab = a ( b) .
Para ver (v) escribimos:
( a)( b) = ( a)( b) + 0
= ( a )( b) + a0
= ( a )( b) + a ( b + ( b) )
= ( a )( b) + ab + a ( b)
= ( a )( b) + a ( b) + ab
= ( ( a ) + a ) ( b) + ab
= 0 ( b) + ab
= 0 + ab
= ab
tenemos
que
Para verificar esto nos apoyamos en la existencia de neutro aditivo en A, en que

a0 = 0 (propiedad 1), en la existencia de opuesto aditivo en A, en una de las leyes
distributivas, en el hecho de que la adicin en A es conmutativa y asociativa,
nuevamente en una de las leyes distributivas, en la existencia de opuesto aditivo, en la
propiedad 1, y en la existencia de neutro.
Proposicin 3. En cualquier anillo se cumple que:

(i) a ( b c ) = ab ac .
(ii) ( b c ) a = ba ca .
Estas propiedades se siguen de manera inmediata (con base en la propiedad
distributiva de la multiplicacin con respecto a la adicin y por la parte iv de la
propiedad anterior).
Proposicin 4. Sean a, b A y n , entonces n ( ab) = ( na ) b = a ( nb ) .

+
Proposicin 5. Sean a, b A y m, n , entonces
(i) am+n = am an
m m
(ii) Si ab = ba , entonces ( ab ) = a b
m
( )
m
(iii) a
= amn
(iv) a1 = a
Dejamos las pruebas de las proposiciones 4 y 5 como ejercicios.
Definicin. Sea A un anillo con identidad 1. Se dice que a A es inversible o

invertible si existe un b A tal que ab = ba = 1 . En tal caso, se conviene en escribir
b = a 1 .
Proposicin 6. Si A es un anillo con identidad, entonces el conjunto de todos los
elementos inversibles es un grupo.
Demostracin. Sea U ( A) = {a A : a es inversible} . Es claro que U ( A) A y
U ( A) , esto ltimo se deriva de que 11 = 1 , as que la identidad de A est en

U ( A) . Veamos que U ( A) es cerrado: si x, y U ( A) , entonces deben ser
inversibles,
por
tanto
( xy ) ( y x ) = x ( yy 1) x = x 1 x
xy U ( A) . Veamos ahora que
1 1
(x )
1 1
existen
1
x1 , y 1 A .
Luego,
= 1. Entonces, xy tambin es inversible:

si
x U ( A) entonces
x1 U ( A) : como
= x A , entonces x1 es inversible, es decir, x1 U ( A) .
Proposicin 7. Si A es un anillo en el que se verifican las leyes de cancelacin,

entonces tal anillo no tiene divisores de cero.
Demostracin. Supongamos que xy = 0 y adems que x 0 , entonces
xy = 0 = x0 y = 0
Lo anterior garantiza que y = 0 . Esto es, en A no hay divisores de cero.
Proposicin 8. Si A es un dominio entero, entonces las leyes de cancelacin se

verifican.
Demostracin. Supongamos que x 0 y que xy = xz . Esto implica que
xy xz = 0 = x ( y z )
Con lo cual, y z = 0 , puesto que A es un dominio entero. Y con ello y = z . De
forma similar, si x 0 y yx = zx , entonces yx zx = 0 = ( y z ) x y z = 0 . Y
con esto concluimos que y = z .
12.3 Subanillos e ideales

Las subestructuras desempean un papel importante en el estudio de los grupos y de
los anillos, tal como los subconjuntos en el caso de los conjuntos.
Definicin. Dado un anillo A, un subconjunto S de A es un subanillo de A si S es l

mismo un anillo con las mismas operaciones definidas en A.
La propiedad 9 es fundamental para estudiar las subestructuras de un anillo.
Proposicin 9. Sea A un anillo y S un subconjunto no vaco de A. S es un subanillo de

A si y slo si:
(i) x y S
(ii) xy S
x , y S .
Prueba. ( ) Si S es un subanillo de A, entonces es inmediato que x y, xy S ,

pues ambas leyes son internas en A. ( ) Recprocamente, de x y S , x, y S se
tiene que S es un subgrupo de A. Adems, como el anillo A es, por definicin, un
grupo abeliano, los elementos de S tambin conmutan, as que S es un grupo abeliano.
Como xy S , x, y S entonces la ley multiplicativa es interna en S. Por ltimo, la
asociatividad de la multiplicacin y las leyes distributivas en A garantizan que estas
propiedades tambin se verifiquen en S.
1. El anillo A es un subanillo de s mismo.
({ } )
2. Un subanillo de 6 es S = 0,3 , +, . Observe que
0 0, 0 3, 3 0, 3 3 S .
0 0 = 0 3 = 3 0, 3 3 S
Entonces, por la propiedad que acabamos de probar, S es un subanillo de 6 .
3. Un subanillo de ( , +, ) es ( 2, +, ) , donde 2 = {2x : x } . (puesto que suma

y el producto de nmeros pares es un nmero par).
4. El conjunto, S [ x] , de los polinomios de grado par es un subanillo de P [ x] sobre
. Es claro que tal conjunto es un subconjunto no vaco de P [ x] . Note que dados los
polinomios p, q S [ x] , tales que grado p = 2n 2n* = grado q , entonces el grado de
p q es 2n y el grado de pq es 2n + 2n* = 2 ( n + n *) . As que tanto p q como pq

estn en S [ x] . Y en virtud de la propiedad 9, S [ x] es un subanillo de P [ x] .
5. El conjunto
S = {M 22 : m21 = 0}
es un subanillo del anillo de las matrices 2 2 sobre .
Esto se basa en el hecho de que la suma y el producto de matrices triangulares
superiores es tambin una matriz triangular superior (los elementos por debajo de la
diagonal principal son todos cero).
En efecto (para el caso 2 2 ):
a
0
a
0
b d e a + d b + e
+
=
S
c 0 f 0
c + f
b d e ad ae + bf
=
S
c 0 f 0
cf
6. El conjunto S de nmeros reales de la forma a + b 2 , donde a y b son enteros, es

un subanillo del anillo con las operaciones usuales. De hecho,
a + b 2 + c + d 2 = ( a + c) + (b + d ) 2 S
( a + b 2 )( c + d 2 ) = ( ac + 2bd ) + ( ad + bc)
Definicin. Sea A un anillo.
(i) Si x2 = x , el elemento x se dice idempotente.
2 S
(ii) Si x2 = x, x A , el anillo A es booleano.

(iii)Si xn = 0 para algn entero positivo n, el elemento x se dice nilpotente.
Definicin. Sea A un anillo, un subanillo I es un ideal si y slo si para cualquier x en
A y cualquier y en I se tiene que xy y yx estn en I.
1. Consideremos el anillo de los nmeros enteros y sea P el subanillo de los

nmeros pares, es decir P = {n tales que n = 2k , k } . Observe que al
multiplicar un entero par por cualquier entero se obtiene de nuevo un entero par,
luego P es un ideal.
2. Los polinomios con coeficientes reales forman un anillo con respecto a la suma y
productos usuales (lo veremos en detalle abajo). Consideremos el subanillo I de
los polinomios que tiene a 1 como raz, esto es
I = { p ( x), p polinomio con coeficientes reales tal que p (1) = 0} . El estudiante UNA
debe verificar (ejercicio) que I verifica la condicin de ideal.
3.
En
cualquier
anillo
el
conjunto
{ax o xa donde a es un elemento fijo de R}
definido
por
medio
de
es un ideal. Este ideal ser denotado
por ( a ) . Observe que el ideal de los nmeros pares en el anillo de los enteros es
sencillamente (2).
4. En el anillo de partes de un conjunto X todos los elementos son idempotentes

respecto a la operacin de interseccin.
5. Construya matrices nilpotentes de 2 filas y dos columnas.
Los ideales surgen de manera natural a partir de los homomorfismos de anillo.
Veamos esta definicin.
Definicin. Sean R y J dos anillos cualesquiera. Una funcin : R J es un

homomorfismo si y slo si
( x + y ) = ( x) + ( y )
( xy ) = ( x) ( y )
Para cualesquiera x,y en R.
Como el estudiante UNA puede ver el concepto es anlogo al concepto de
homomorfismo de grupos. La nocin de ncleo del homomorfismo se define de
manera similar. Definimos el ncleo del homomorfismo : R J , denotado como
Ker : R , como Ker = { x R tales que ( x ) = 0} .
Teorema 9. El Ker = { x R tales que ( x ) = 0} es un ideal del anillo R.

Demostracin. Observe que Ker = { x R tales que ( x ) = 0} es un subanillo ya que
si
x,y
estn
en
Ker = { x R tales que ( x ) = 0}
entonces
( x + y ) = ( x) + ( y ) = 0 + 0 = 0 y ( xy ) = ( x) ( y ) = 0.0 = 0 . El estudiante UNA

debe entender ahora por qu Ker = { x R tales que ( x ) = 0} es un ideal. Tomemos
un elemento arbitrario y de R y un elemento x en Ker = { x R tales que ( x ) = 0} .
Como
( xy ) = ( x) ( y ) = 0 ( y ) = 0
entonces
xy
est
en
Ker = { x R tales que ( x ) = 0} , luego demostramos que Ker es un ideal.
12.4 Un anillo importante: Los polinomios

Si A es un anillo cualquiera podemos considerar el anillo A [ x ] en la indeterminada x
cuyos elementos son expresiones de la forma
p = a0 + a1 x + a2 x 2 + + an x n , ai A, i {1, 2, , n}
Muchas veces escribimos
p ( x) = a0 + a1 x + a2 x 2 + + an x n
para denotar un
polinomio.
Cualquier polinomio induce una funcin
p: A A
p ( x0 ) = a0 + a1 x0 + a2 x0 2 + + an x0 n , ai A, i {1, 2, , n}
El polinomio p no debe confundirse con la funcin polinmica asociada. Por ejemplo,
consideremos los polinomios en 2 , esto es 2 [ x ] . La funcin polinmica
p : 2 2
p ( x) = x + 1
Es exactamente igual a la funcin polinmica
q : 2 2
q( x) = x 2 + 1
Esto se ve fcilmente ya que p (0) = q (0) = 1, p (1) = q (1) = 0 y 2 slo tiene 2
elementos: 0 y 1. Sin embargo, los polinomios p y q son completamente distintos. El
estudiante debe leer esta advertencia con cuidado y de ser necesario discutirla con su
asesor.
Dos elementos p y q de A [ x ] ,
p = a0 + a1 x + a2 x 2 + + an x n , q = b0 + b1 x + b2 x 2 + + bm x m
se identifican si y slo si m=n y cada ai coincide con bi para cualquier natural i entre
1 y n. El estudiante recuerda que las expresiones de A [ x ] son denominadas
polinomios con coeficientes en el anillo A. El trmino polinomio deriva de
poli(muchos) y nomos(reglas).
El mayor exponente de la indeterminada x que aparece en el polinomio p se
denomina el grado del polinomio p y lo denotamos por deg(p). El estudiante UNA
podra sealar que necesitamos definir dos leyes de composicin para poder tener la
estructura de anillo en A [ x ] . Esto lo hacemos tal como el estudiante lo realiz en
bachillerato, en primer lugar definimos la suma de polinomios p,q por medio de
p + q = ( a0 + a1 x + a2 x 2 + + an x n ) + ( b0 + b1 x + b2 x 2 + + bm x m ) =
( a0 + b0 ) + ( a1 + b1 ) x + + ( an + bn ) x n
Aqu supusimos que n>m y completamos las potencias de q hasta n por medio de
trminos de coeficiente 0.
1. Demuestre que A [ x ] con esta operacin es un grupo abeliano.

Igualmente se define la multiplicacin de dos polinomios como lo hicimos en
bachillerato.
En
efecto
sean
p = a0 + a1 x + a2 x 2 + + an x n , q = b0 + b1 x + b2 x 2 + + bm x m
dos
polinomios
cualesquiera. Entonces su producto m es el polinomio dado por
c0 + c1 x + c2 x 2 + + ci xi + + cn + m x n + m , ci A
ci =
ab
j r
j + r =i
1. Demuestre que A [ x ] es un anillo con las operaciones antes definidas y que el

polinomio 1 es el elemento neutro para la multiplicacin definida.
2. Demuestre que A [ x ] es un dominio de integridad si A lo es.
El resto de esta seccin nos restringiremos a considerar polinomios sobre anillos muy
conocidos: , y .
Es muy importante recordar cmo dividimos, cuando es posible, polinomios. El
comportamiento de la divisin de polinomios es similar al de los nmeros enteros y
vale una versin del algoritmo de Euclides. Es conocido como el algoritmo de
Euclides para polinomios. Veamos su enunciado con precisin. Si tenemos dos
polinomios p y q, con el grado de p mayor o igual al de q, entonces existen dos
polinomios nicos c y r tales que
p ( x ) = q ( x )c ( x ) + r ( x )
Donde el grado de r es menor que el grado de q. Los polinomios c y r se denominan,
respectivamente, cociente y resto de la divisin de p por el polinomio q.
La unicidad debe ser clara ya que si existiese otra descomposicin
p ( x) = q( x)c1 ( x) + r1 ( x ) verificando que el grado de r1 es menor que el grado de q
entonces, igualando p ( x) = q ( x)c( x ) + r ( x ) = c( x)( x a ) + r ( x) vemos que
r1 ( x) r ( x) = q ( x)(c1 ( x) c( x))
Pero el lado izquierdo es un polinomio de grado menor que el de q. El estudiante
UNA debe decir por qu. As, (c1 ( x) c( x)) debe ser el polinomio nulo y por ende
c1 ( x) c( x) = 0 y r1 ( x) r ( x) = 0 . La forma de obtener los polinomios c y r se basa
en el procedimiento estudiado en el bachillerato y que se conoce como divisin larga.
Recomendamos al estudiante UNA que no recuerde este proceso que debe repasarlo
(puede ver el libro de Matemtica y el buen vivir, Quinto ao, Coleccin
Bicentenario).
1. Hallar el cociente y el resto de dividir p ( x) = x3 x 2 + x 1 por q ( x) = x 1 .

En este caso podemos aplicar el Teorema de Ruffini(ver texto Matemtica y el buen
vivir, quinto ao, coleccin Bicentenario). Este indica que c(x)= x 2 + 1 y el resto es 0.
Como prctica adicional invitamos al estudiante a calcular el resultado mediante una
divisin larga.
Definicin. Un polinomio p(x) K[x] se denomina divisible por el polinomio q(x),
donde el grado de q es menor o igual que el grado de p, si y slo si p(x)= q(x) c(x).
1. Definimos un orden < en los polinomios mediante q<p si y slo si q divide a
p. Demuestra que < es de hecho una relacin de orden.
Recordamos el siguiente resultado por ser bsico en lgebra.
Teorema( del resto). El resto de dividir un polinomio p(x) por el polinomio x-a es
p(a).
Demostracin.
Por el algoritmo de Euclides se tiene que p(x)= c( x)( x a ) + r ( x) donde r(x) debe ser
constante y denotaremos r(x) por su valor constante r. Luego, especializando la
variable x por a entonces p(a)= c(a )( a a ) + r ( a ) = r . Esto concluye la demostracin.
Un elemento a del anillo A se denomina una raz del polinomio p en A[x] si y
solamente si p(a)=0.
1. El polinomio x 2 + 1 no tiene races en el anillo pero si en el anillo . El

estudiante UNA debe explicar las razones que justifican lo afirmado.
2. El polinomio p ( x) = x3 2 x 4 admite a 2 como raz.
As, un polinomio p es divisible por x-a si y slo si a es una raz del polinomio p.
Un concepto importante es el de polinomio irreducible en un cierto anillo. Tomemos
el polinomio x 2 2 . Este polinomio no se puede descomponer en [ x ] como un
producto de polinomios de grado 1 ya que las races de x 2 2 son 2 . Sin
embargo, en el anillo de polinomios [ x ] se tiene que x 2 2 = x 2
)( x + 2 ) .
Vamos a la definicin de polinomio irreducible despus de esta breve discusin la

definicin de polinomio irreducible.
Definicin. Un polinomio p(x) K[x] es irreducible en el anillo K[x] si y slo si no

se pueden encontrar dos polinomios no constantes p1(x), p2(x) tales que p(x)=
p1(x)p2(x).
Debe ser claro por nuestra discusin que el concepto de irreducibilidad depende del
anillo en que estemos trabajando.
1. El polinomio m( x) = x 2 + 1 es irreducible en el anillo [ x ] pero no lo es en el

anillo [ x ] ya que m( x ) = x 2 + 1 = ( x i )( x + i ) .
En el anillo K[x] los polinomios irreducibles juegan el mismo papel que los nmeros
primos en los enteros .
El siguiente teorema lo usaremos en la unidad siguiente sobre la teora de cuerpos y

proporciona un criterio importante para determinar si un polinomio es irreducible en
el anillo [ x ].
Teorema. (Criterio de Eisenstein)

Sea q ( x) = a0 + a1 x + a2 x 2 + + an x n un polinomio con coeficientes enteros y
supongamos que exista un nmero primo p que verifica: p / ai para cualquier i n
y p 2 no divide a
a0 entonces q ( x) = a0 + a1 x + a2 x 2 + + an x n es irreducible en
[ x] .
Demostracin.
Vamos a usar cosas elementales de la aritmtica mdulo p
reduccin al absurdo. Supongamos que q se descompone como
y razonaremos por
q ( x ) = g ( x ) h ( x ) , g [ x ] ,h [ x ]
donde los polinomios g ( x ) ,h ( x ) son no constantes, es decir suponemos que el

polinomio q ( x) = a0 + a1 x + a2 x 2 + + an x n es reducible. Considere ahora a cada
polinomio
g ( x ) ,h ( x )
mdulo
p,
es
decir
tomamos
los
polinomios
q ( x) = a0 + a1 x + a2 x 2 + + an x n donde cada coeficiente es un residuo mdulo p del

correspondiente coeficiente del polinomio original. Es claro que
q ( x ) = g ( x ) h ( x ) , g p [ x ] ,h p [ x ]
Por hiptesis del teorema, todos los coeficientes de q ( x) = a0 + a1 x + a2 x 2 + + an x n ,
salvo el coeficiente principal an ,
in
luego
se anulan mdulo p ya que p / ai para cualquier
q ( x ) = an x n .
Pero
esto
implica
que
tanto
g ( x ) = ax r como h ( x ) = bxt ,r + t = n . Luego, los trminos independientes de ambos

polinomios g ( x ) ,h ( x ) deben ser 0 mdulo p . Si llamamos b0 ,c0 estos trminos
independientes entonces p divide a b0 y p divide a c0. Pero esto implica que
p 2 divide a a0 ya que a0 = b0 c0 , un absurdo que concluye la demostracin.
Se puede demostrar de manera sencilla y anloga el lema de Gauss que afirma que si
un polinomio con coeficientes enteros se factoriza de manera no trivial en el anillo
[ x ] entonces admite una factorizacin no trivial en [ x ] . No demostraremos este
teorema que se puede encontrar en el libro Herstein, lgebra Moderna.
1. El polinomio P ( x ) = x2 2 es irreducible en [ x ] . Apliquemos el criterio de

Eisenstein para ver esto. En efecto, como 2 divide a -2, 2 divide a 0, 2 no divide
a 1 y 4 =22 no divide a -2, el criterio de Einsenstein indica que no podemos
factorizar P ( x ) = x 2 2 en [ x ] pero el lema de Gauss implica que la
factorizacin no se puede hacer, de manera no trivial, en [ x ] .
2. El polinomio q ( x ) = x 2 + x + 1 es irreducible en [ x ] . En este ejemplo no
podemos aplicar directamente el Teorema de Eisenstein y usaremos un bonito
truco. Consideremos el polinomio p en la indeterminada t definido por
p ( t ) = q ( t + 1) = ( t + 1) + t + 1 + 1 = t 2 + 3t + 3 . El estudiante UNA debe aplicar
2
el criterio de Eisenstein para demostrar que p ( t ) es irreducible. Concluya a

partir de aqu que q ( x ) = x 2 + x + 1 debe ser tambin irreducible.
1. Demuestre que el polinomio R ( x ) = 3x 4 + 10 x 15 es irreducible en [ x ] .

2. Use el criterio de Eisenstein para demostrar que
2 es irracional.
Sugerencia: Cmo se puede interpretar lo hecho en el ejemplo 1. arriba?.
3. Use el criterio de Eisenstein para demostrar que n es irracional para
cualquier n natural que se escribe como producto de p,q primos distintos.
4. Demuestre que si a es una raz de p donde p es un polinomio con coeficientes
enteros, es decir p pertenece a [ x ] entonces a divide al termino
independiente de p si este es no nulo.
5. Indique las posibles races enteras del polinomio P = 12 x 2 x 3 . Encuentre
cuales efectivamente son races.
1. Vemos que 5 divide a -15 y a 10, adems no divide a 3. Por otro lado 25
=52 , luego podemos aplicar el criterio de Eisenstein para concluir que
R ( x ) = 3x 4 + 10 x 15 es irreducible en [ x ] .
2. El polinomio P ( x ) = x2 2 es irreducible en [ x ] como ya vimos, luego no
puede tener races racionales, de donde
2 es irracional.
3. Al ser n un natural que se escribe como pq con primos distintos,

podemos
2
considerar el polinomio P ( x ) = x pq que es irreducible por el criterio de
Eisenstein, el estudiante UNA debe suplir los detalles que corroboran esta
2
afirmacin. Luego, n es irracional ya que P ( x ) = x pq no puede tener
una raz racional ya que, de lo contrario, se factorizara en [ x ] .
4. Observe que p se escribe como b0 + b1 x + b2 x 2 + + bn x n donde todos los
coeficientes de p son nmeros enteros. Como a es una raz de p tenemos
b0 + b1 + b2
+ + bn
=0
n
y de ac, factorizando
se tiene
b0 = (b1 + b2 + + bn n 1 ) que nos dice que a divide al termino

independiente de p como afirmamos.
5. Se lo dejamos al estudiante UNA ya que solamente debe aplicar el problema 4
y realizar unos clculos muy simples.
Es un hecho muy importante que cualquier polinomio con coeficientes en los nmeros
complejos se puede factorizar completamente en factores lineales. Esto es una
consecuencia del Teorema Fundamental del lgebra que enunciamos pero cuya
demostracin la estudiar el alumno de la Licenciatura en Matemticas en su curso de
Anlisis II (766). Luego en los complejos los nicos polinomios irreducibles son los
de grado menor o igual a 1.
Teorema (Fundamental del lgebra). Todo polinomio no constante con

coeficientes complejos posee al menos una raz compleja.
As, si tenemos el polinomio, no constante de grado n, p con coeficientes complejos

entonces p = an ( z z0 )( z z1 ) ( z z n ) . Puede ocurrir que algunos zi coincidan y en
este caso tenemos una raz mltiple.
Es un hecho muy importante en las aplicaciones que si un polinomio
p ( x) = a0 + a1 x + a2 x 2 + + an x n con coeficientes reales admite una raz compleja
a+ib debe entonces admitir como raz el conjugado de a+ib, esto es, a-ib. Esto se
deduce de que p (a + ib) = a0 + a1 (a + ib) + a2 (a + ib)2 + + an (a + ib)n = 0. Luego,
tomando conjugados a ambos lados se tiene que
a0 + a1 ( a ib) + a2 ( a ib) 2 + + an (a ib) n = 0.
Esto es consecuencia que la operacin de conjugado no afecta a los nmeros reales.
1. Suponga que tiene un polinomio p mnico de tercer grado con coeficientes

reales que admite a 1 y 1-i como races, puede usted escribir el polinomio p?.
2. Factorice el polinomio x5-1 en [ x ] .
1. Al tener el polinomio coeficientes reales y admitir la raz compleja 1-i debe

tener a 1+i raz , luego ( x (1 + i ))( x (1 i )) divide a p. Como ( x 1) divide
a
p
y
este
polinomio
es
mnico
entonces
p = ( x (1 + i ))( x (1 i ))( x 1)
= (( x 1) 2 + 1)( x 1) = ( x 1)3 + ( x 1)
2. Lo dejamos al estudiante UNA ya que es un ejercicio de cuarto ao de
bachillerato.
1. Qu otros ejemplos de anillo puede dar?

2. Es ( + , +, ) un anillo? Y ( n, +, ) ? (en ambos la adicin y la
multiplicacin son las usuales).
3. Pruebe que el conjunto A = { f : [ 0,1] : f es una funcin continua} es un
anillo conmutativo con identidad respecto a la suma y productos usuales de
funciones.
4. Considere el anillo P ( ) , con la adicin y multiplicacin definidas como
sigue:
A + B = ( A B ) ( A B ) = AB
A B = A B
Ud. no tiene que demostrar que P ( ) es un anillo. Tiene P ( ) divisores de
cero?
5. Pruebe la propiedad asociativa de la multiplicacin en n .
6. Para cada uno de los siguientes anillos determine el grupo que consta de sus
elementos inversibles.
(a) ( , +, )
(b) ( , +, )
(c) ( 12 , +, )
(d) [i ] = {a + bi : a, b } con la adicin y la multiplicacin usuales en
({ } )
7. El subanillo S = 0,3 , +,
de 6 , tiene identidad? tiene elementos
inversibles?
8. Tiene [i] elementos inversibles?
9. Cules son todos los subanillos de 6
Y los de 9
(De seguidas
mostramos la tabla multiplicativa de 9 .

)
0
1
2
3
4
5
6
7
8
0
0
0
0
0
0
0
0
0
0
1
0
1
2
3
4
5
6
7
8
2
0
2
4
6
8
1
3
5
7
3
0
3
6
0
3
6
0
3
6
4
0
4
8
3
7
2
6
1
5
5
0
5
1
6
2
7
3
8
4
6
0
6
3
0
6
3
0
6
3
7
0
7
5
3
1
8
6
4
2
8
0
8
7
6
5
4
3
2
1
10. Muestre un ejemplo de un anillo A con identidad y de un subanillo S de ste

cuya identidad sea distinta a la identidad de A.
11. Pruebe las propiedades 4 y 5 del texto.
12. Sea A un anillo. Demuestre que S = { x A : ax = xa} para un elemento a fijo
es un subanillo de A.
13. Tiene ( , +, ) elementos idempotentes? Tiene elementos nilpotentes?
14. D ejemplos o construye anillos booleanos.
15. Sean S y T subanillos de A. Muestre que no es cierto en todos los casos que
S T es un subanillo de A. En qu casos es cierto?
16. Fijemos un elemento j en el anillo A.
(a) Es jA = { jx : x A} un subanillo de A?
(b) Es Aj = { x : xj = 0} un subanillo de A?
17. Sean S y T subanillos de de A. Sea adems el conjunto suma
S + T = {s + t : s S , t T }
que consta de los elementos de A que se puedes escribir como la suma de un
elemento de S con un elemento de T. es S + T un subanillo de A?
18. El conjunto
S = {M 22 : m11 = m22 = 0}
Es un subanillo del anillo de las matrices 2 2 sobre ?
19. Demuestre que el polinomio p ( x ) = x 3 2 es irreducible en [ x ] .
20. Construya un polinomio que sea irreducible en [ x ] pero que no lo sea en
[ x] .
21. Determine la estructura de los ideales de .
22. Demuestre que cualquier polinomio de coeficientes reales y de grado 3 es
reducible en [ x ] .
23. Factorice, si es posible, en [ x ] el polinomio p ( x ) = x 4 + 1 .
24. Generalice el resultado del problema 23. a cualquier polinomio de grado impar
mayor o igual que 3.
p ( x)
q( x)
donde p,q son polinomios y q no es el polinomio nulo. Si definimos la suma y
producto usual de funciones entonces R[x] es otro ejemplo de anillo.
2. En este caso los conjuntos considerados no son grupos abelianos respecto a la
suma, luego no pueden ser anillos.
3. Recordamos al estudiante UNA un resultado bsico de Clculo Diferencial, la
suma y producto usuales de funciones continuas es una funcin continua. Luego,
las leyes de composicin interna consideradas estn bien definidas. Es claro que
estas leyes de composicin interna verifican las propiedades algebraicas usuales
como la propiedad asociativa para la suma, ya que esta propiedad se verifica en
general y estamos trabajando con una parte de las funciones de [0,1] en los reales.
1. Consideremos el conjunto R[x] de todas las funciones racionales
Por favor reflexione sobre esta ltima afirmacin que le puede ayudar a
simplificar su trabajo en otros problemas.
La funcin idnticamente 0 en el intervalo [0,1] juega el papel del elemento neutro
para la suma. Si f es una funcin continua es claro que f es de nuevo continua y
que f+(-f)=0, luego toda funcin admite un inverso para la suma. Luego, el
conjunto considerado con respecto a la suma definida es un grupo abeliano.
Dejamos al estudiante UNA demostrar, de manera similar, las propiedades
respecto al producto usual de funciones que se necesiten para completar el
problema.
4. El conjunto P() es el conjunto de todas las partes de los nmeros naturales
, es decir los elementos de P() son conjuntos de nmeros naturales como, por
ejemplo, {0}, {0,2,3} o el conjunto de todos los nmeros pares. Es claro que el
conjunto vaco es el elemento neutro para la suma definida ya que
A + = ( A ) ( A ) = A = A . Observe que si A es un subconjunto no

vaco cualquiera de que no sea el propio entonces su complemento Ac no es
ni el ni , adems AAc= , de donde concluimos que si existen divisores de
0.
5. Se lo dejamos al estudiante UNA.
6. Ya sabemos por la Proposicin 6. demostrada en esta Unidad que el conjunto
de todos los elementos invertibles de un anillos dado es un grupo multiplicativo.
Consideremos algunos de los conjuntos propuestos.
a) En ( , +, ) el nico elemento invertible es la propia unidad 1, luego el grupo
es el grupo trivial {1}. El estudiante UNA debe indicar claramente por qu no hay
otros elementos invertibles en .
b) En ( , +, ) la situacin es mucho ms interesante, en los reales si x no es 0

entonces siempre existe 1/x , luego el grupo de los elementos invertibles es
( , ) .
c) Veamos el caso 12 , se puede verificar sin problemas que cualquier elemento
que sea coprimo con 12 genera una clase invertible.
d) Los nicos elementos invertibles en los enteros gaussianos son el conjunto
formado por {1,-1,i,-i}, el estudiante UNA debe hacer la tabla multiplicativa de
este grupo como ejercicio adicional.
({ } )
7. El subanillo S = 0,3 , +, de 6 verifica algo muy interesante, tenemos

que 33 = 3 luego la clase del 3 funciona como una identidad y por la ecuacin
anterior la clase del 3 es invertible. Observe que en el anillo 6 la identidad es
la clase del 1, luego puede ocurrir que en un subanillo se tenga otra identidad,
distinta a la del anillo original.
8. Los elementos 1,-1,i,-i son todos invertibles.
9. Vamos a hacer en detalle el caso de 6 dejando al estudiante UNA el caso de
9 . Cualquier subanillo debe ser en primer lugar un subgrupo respecto a la

suma definida, y como 6 es un grupo cclico, entonces el subanillo es un
subgrupo cclico (ver Unidad de Grupos para los detalles). Es claro que la
clase de 0 genera un subanillo trivial, el {0}. Lo mismo ocurre para la clase
del 1 que genera todo el anillo 6 . Son los subanillos triviales de 6 . Veamos
qu ocurre con el grupo generado por la clase de 2, 2 . Un corto clculo nos
dice que es el grupo cclico {0, 2, 4} . Es claro que tal grupo es cerrado
respecto a la multiplicacin y que constituye un subanillo de 6 . La clase del
3 fue estudiada en el ejercicio 7. Una corta reflexin del estudiante UNA lo
convencer de que el subanillo que genera la clase del 4 es el mismo {0, 2, 4} .
Al ser 5 coprimo con 6 entonces la clase del 5 genera de nuevo todo el anillo.
10. Revise lo hecho en el ejercicio 7, despus puede pensar en algn otro ejemplo.
11. Esto le fue dejado como ejercicio y Ud. debe hacerlo
12. El conjunto en cuestin est formado por todos los elementos que conmutan
con a. Por los ejercicios de la Unidad de Grupos ya el estudiante conoce que
esto es un subgrupo del anillo ( es el centro de a que denotamos C(a), vea la
Unidad de Grupos si tiene alguna duda). Veamos ahora que C(a) es cerrado
respecto a la multiplicacin, sean x,y
en
C(a) entonces
( xy ) a = x( ya) = x(ay) = ( xa) y = a( xy ) , de donde xy esta en C(a) y se tiene
el resultado deseado por la Propiedad 9 de esta Unidad.
13. El elemento identidad de cualquier anillo, si existe, es idempotente. Luego, 1
es un real idempotente. La ecuacin x2 =1 indica que -1 es tambin un
elemento idempotente, estos son los dos nicos elementos idempotentes de .
No hay elementos nilpotentes no nulos ya que es un dominio de integridad.
14. Un ejemplo de anillo boleano es el conjunto de partes P ( ) de cualquier
conjunto X
con las operaciones A + B = A B ( A B ) = A B y
Ai B = A B . Como Ai A = A A = A el anillo es boleano. Otro ejemplo,
muy importante en las aplicaciones en computacin, es el anillo 2 .

Complete los detalles en este caso para demostrar que este anillo es boleano.
15. Sean S y T subanillos del anillo de los nmeros enteros. Por ejemplo, S es el
anillo de los nmeros pares y T es el anillo de todos los mltiplos de 3. Es
claro que si unimos estos conjuntos esto no es un subanillo ya que 2+3=5 que
no se encuentra ni en S ni en T. Debe ser claro para el estudiante UNA que si S
est incluido en T si se tiene que su unin, que es T, si es un subanillo.
16. a) Si es un subanillo que podemos llamar el subanillo de los mltiplos de j.
Observe que jA es cerrado si tomamos la diferencia de dos elementos y
tambin cerrado por el producto. Por favor, demuestre estos hechos. Una
reflexin adicional indica que jA es de hecho un ideal. La respuesta de b) es
negativa, piense la razn.
17. Tenemos que verificar que si x,y estn en S+T entonces x-y y xy estn en S+T.
Si x,y estn en S+T entonces x=s+t, y=u+v donde s y u estn en S y t y v estn
en T. Luego, x-y=(s+t)-(u+v)=(s-u)+(t-v) que est en S+T ya que s-u es un
elemento de S y t-v es un elemento de T. Lo que no es cierto es que S+T sea
cerrado para el producto. Invitamos al estudiante UNA encontrar un ejemplo.
Lo que s es cierto y se deja como un ejercicio adicional al estudiante UNA es
que si S,T son ideales entonces S+T es un ideal.
18. Este atento con este ejemplo, por ejemplo consideremos la matriz
0 1
1 0
entonces J J =
J =
que no pertenece al conjunto

1 0
0 1
considerado.
19. Se aplica directamente el criterio de Einsenstein. Este resultado tiene
implicaciones importantes en el problema clsico de la duplicacin del cubo.
20. Sea I cualquier ideal de los enteros y sea p el menor entero positivo en I. Es
claro que, por propiedades de anillo, cualquier mltiplo de p se encuentra en I.
Ahora si m pertenece a I y m es positivo, el algoritmo de Euclides implica que
m=cp+r donde r es positivo y r<p pero r=m-cp y de aqu se deduce que r
debe estar en I. Pero, por definicin de p como el menor entero positivo de I,
entonces r=0, es decir todo elemento de I es un mltiplo de p, es decir, I=(np)n
entero .
21. Basta ver que todo polinomio de grado 3 con coeficientes reales tiene una raz
real x0 . El estudiante UNA debe calcular los lmites del polinomio en y en
- y observar que son de signos distintos, de donde aplicando el teorema del
valor medio del clculo diferencial se obtiene el resultado.
22. El hecho de cualquier polinomio con coeficientes reales que admita una raz
compleja z deba admitir como raz la conjugada z implica que el polinomio
considerado admite factores cuadrticos. En efecto, el teorema fundamental
del lgebra implica que cualquier polinomio con coeficientes reales, no
constante, tiene al menos una raz compleja, digamos z = a + ib implica que
z = a ib es tambin raz. Luego, ( x (a + ib) ) ( x (a ib)) divide al
polinomio
considerado,
si
b
es
no
nulo.
Pero
( x (a + ib) ) ( x (a ib)) = ( x a )
+ b 2 que es un polinomio cuadrtico con
coeficientes reales.
23. Queda como ejercicio para el estudiante UNA, piense en lo que hizo en el
problema 21 y como trasladarlo a este caso.
Unidad 9
Cuerpos
Semana 15,16
Aplicar el concepto de cuerpo en la resolucin de problemas, en el modelado

Contenidos a tratar: El concepto de cuerpo, ejemplos de cuerpos. Cuerpos finitos.

Extensiones y subcuerpos. Nmeros constructibles. Construccin cannica de un
cuerpo a partir de una anillo.
13.1. Introduccin
El concepto de cuerpo generaliza la idea de conjunto de fraccionesgenerado por un
anillo dado. Como el estudiante UNA recordar el conjunto se obtena a partir del
anillo de los enteros de forma de lograr que sea un grupo tanto para la adicin
como para el producto (al eliminarle el 0). Luego, un cuerpo es una estructura ms
rica que un anillo ya que en un cuerpo podemos dividir elementos arbitrarios. El
concepto de cuerpo permiti resolver uno de los problemas ms importantes del
mundo antiguo: el de las construcciones con reglas y comps. Adems, fue
fundamental en la Teora de Galois4. Adems,
los conjuntos fundamentales del
anlisis matemtico son los nmeros reales y complejos y ambos tienen la estructura
de cuerpo. Todo ello indica que el concepto de cuerpo y su construccin es
fundamental en el estudio de la matemtica y sus aplicaciones. Es el tema que
pasamos a estudiar en nuestro curso lgebra I.
13. 2. El concepto de Cuerpo

Vamos a dar la definicin central en este captulo.
Definicin. Sea K un conjunto dotado de dos leyes de composicin, una adicin + y

un producto tales que se verifican las condiciones siguientes:
1. K es un grupo abeliano o conmutativo respecto a la adicin +.
2. K {0}= K * es un grupo respecto al producto .
3. El producto
verifica la ley distributiva respecto a la adicin:
a (b + c) = a b + a c para elementos cualesquiera de K.

En muchos textos se asume que el producto en el cuerpo debe ser conmutativo.
Nosotros no hemos hecho esa suposicin. De esa manera podemos incluir
el
importante ejemplo de los cuaternios de Hamilton como un cuerpo.

Muchas veces escribiremos ab en lugar de a b para indicar el producto de dos
elementos a y b de K.
Como siempre indicamos que una definicin debe venir acompaada de ejemplos.
1. El conjunto con respecto a la adicin y producto usual de racionales es un

cuerpo. Recomendamos al estudiante ir a la unidad de los nmeros racionales para los
detalles.
2. Los nmeros reales son un cuerpo con respecto a la adicin y producto usual de
reales. Vaya a la unidad de los nmeros reales si tiene que aclarar algn punto sobre
esta afirmacin.
3. El conjunto de los enteros no es un cuerpo respecto a la adicin y producto usual

de enteros. Recuerde que en no es cierto que cualquier elemento tenga un inverso
multiplicativo, por ejemplo, usted no puede resolver la ecuacin 2x=1 en .
Se pronuncia galu
4. El conjunto p con p primo es un cuerpo. A diferencia de los dos primeros

ejemplos arriba, p es un cuerpo finito. Recordamos que es fundamental que
tomemos los enteros mdulo p con p primo ya que no es cierto que el anillo n sea
un cuerpo para n natural arbitrario.
5. El conjunto de los nmeros complejos es un cuerpo. Recordamos que un nmero

complejo z es un nmero de la forma a+bi. El estudiante de matemtica estudiar los
complejos en detalle en su curso Anlisis II, cod. 766. Antes de pasar al siguiente
ejemplo, quiero calcular el inverso multiplicativo de un complejo cualquiera no nulo,
z = a + bi , es decir, queremos calcular
1
. Esto lo hacemos como en bachillerato
a + bi
multiplicando, el numerador y denominador, por el conjugado de z, z = a bi .

Obtenemos
1 a bi
a bi
a bi
. Repetiremos este tipo de idea cuando
= 2
= 2
2
a + bi a bi a (bi )
a + b2
tratemos el ejemplo de los cuaternios.
6. Consideremos el conjunto 2 definido mediante
2 = a + b 2 donde a, b
Luego, 1+ 2 , 3 y 2 2 son algunos elementos de 2 . Dos elementos

a + b 2, a1 + b1 2 2 se identifican si y slo si a = a1 , b = b1 . Esto se debe a que
si
a + b 2 = a1 + b1 2 a a1 = 2(b1 b).
2=
Luego, b1 b = 0 ya que de lo contrario
a a1
lo cual es absurdo. Pero si b1 b = 0 , como
b1 b
a a1 = 2(b1 b)
entonces a a1 = 0 . As, a = a1 , b = b1 como afirmamos.

Vamos a definir en 2 una operacin de adicin y una multiplicacin de manera
natural y estudiaremos si 2 con estas operaciones es un cuerpo. La adicin se
define por medio de
( a + b 2 ) + ( a + b 2 ) = ( a + a ) + (b + b )
1
2,
donde a + b 2, a1 + b1 2 2 . Demostremos que 2 con esta adicin es un

grupo abeliano. En primer lugar, la adicin es una ley de composicin interna ya que
( a + a1 ) + (b + b1 )
2 est en 2 si a + b 2, a1 + b1 2 estn en 2 . El
elemento 0+0 2 est en 2 y verifica
(0+0 2 )+( a + b 2 )= ( 0 + a ) + 0 + b 2 = a + b 2
para cualquier elemento a + b 2 en 2 . Luego, 0+0 2 es el elemento neutro

para la adicin en 2 . De ahora en adelante, lo denotaremos por 0 en lugar de
0+0 2 . Observe que cualquier elemento a + b 2 tiene un inverso aditivo dado por
a b 2 ya que ( a + b 2 )+( a b 2 )= (a a ) + (b b) 2 = 0 + 0 2 = 0 . Que la

suma es conmutativa y asociativa lo dejamos como ejercicio al estudiante UNA.
Hemos demostrado que 2 es un grupo abeliano respecto a la multiplicacin.
El producto lo definimos por medio de
( a + b 2 )( a + b 2 ) = aa + 2bb + ( ab + a b )
1
El estudiante UNA debe observar que el producto se define aplicando las reglas
usuales de la aritmtica de los nmeros reales y usando que
verifique
esta
afirmacin
usted
( a + b 2 )( a + b 2 ) = aa + 2bb + ( ab + a b )
1
( 2)
mismo.
= 2 . Por favor,
Observe
que
2 est en 2 , luego el producto
que hemos definido, es una ley de composicin interna. Si pensamos que 2 es

un subconjunto de los nmeros reales y al coincidir el producto definido en
2 con el usual de los nmeros reales , se tiene que este producto debe ser
conmutativo y asociativo. Note que 1 + 0 2 est en 2 y que
(1 + 0 2 )( a + b 2 ) = (1 a + 0 b 2 ) + (1 b + 0 a )
2 = a+b 2
As, 1 + 0 2 juega el papel de elemento neutro o identidad para el producto definido

en 2 . Veamos la existencia de un inverso para los elementos no nulos de
2 . Supongamos que a + b 2 es no nulo, entonces a 0 o b 0 . La idea es
encontrar
1
. El estudiante recordar que en bachillerato realizaba este clculo
a+b 2
mediante un procedimiento llamado racionalizacin, multiplicando por la conjugada
a b 2 en el numerador y denominador de la expresin. Lo hacemos de esta manera

para que la fraccin no cambie y poder eliminar la raz cuadrada que aparece en el
denominador. En efecto,
1
ab 2 ab 2
a
b
= 2
2 =
2
2
2
2
a + b 2 a b 2 a 2b
a 2b
a 2b
a
a 2b
2
b
a 2b
2
2.
Observe
que
2 est en 2 ya que a 2 2b no es nulo y con seguridad

2
est en . Para ver que a 2 2b no es nulo razonamos por reduccin al absurdo. Si

2
a 2 2b = 0 2 =
lo cual es absurdo.
Luego, todo elemento no nulo es invertible o inversible. Por ltimo, al ser la
multiplicacin usual de reales distributiva respecto a la sima, lo mismo debe ocurrir
en 2 . Esto demuestra que 2 con las leyes de composicin internas
definidas arriba es un cuerpo.
Veamos qu entendemos por el cuerpo de los cuaternios o cuaterniones K. Este
ejemplo lo debemos a Hamilton. Un cuaternio es un nmero de la forma
a + bi + cj + dk , donde a, b, c, d . Identificamos dos cuaternios a + bi + cj + dk ,
a = a1 , b = b1 , c = c1 , d = d1 si y slo si a = a1 , b = b1 , c = c1 , d = d1 .
Una adicin se define de manera natural, sumando trminos semejantes. Por ejemplo,
(1 i + 2 j ) + (i + 2k ) = 1 + 0i + 2 j + 2k . En general,
( a + bi + cj + dk ) + ( a1 + b1i + c1 j + d1k ) =
( a + a1 ) + (b + b1 )i + ( c + c1 ) j + ( d + d1 ) k
Es una actividad para el estudiante UNA verificar que K es un grupo abeliano
respecto a la adicin definida. Qu ocurre con la multiplicacin?. La tabla de
multiplicacin que tenemos abajo indica cmo multiplicar los smbolos i, j, k. Esa
tabla fue un gran descubrimiento de Hamilton.
Una manera ms sencilla de recordar la tabla anterior es el diagrama que vemos abajo,
donde unimos los elementos a multiplicar por una flecha y luego seguimos la flecha
ubicada en el segundo elemento de la multiplicacin.
As, i.j =k, j.k=i y k.i=j (si va en el sentido contrario de las flechas debe cambiar el
signo). La multiplicacin no es conmutativa como ya sealamos en una nota histrica
en la unidad de grupos. Observe, que si queremos multiplicar (1 i + 2 j )(i + 2k )
aplicamos
sencillamente
las
leyes
usuales
de
la
aritmtica,
obteniendo
(1 i + 2 j )(i + 2k ) = i + 2k i.i i.k 2 + 2 j.i + 2 2 j.k =

i + 2k + 1 + j 2 2k + 2 2i
No vamos a escribir la forma general del producto de dos cuaternios, es mucho mejor
usar la propiedad distributiva cuando tengamos que multiplicar un par de cuaternios.
Es sencillo verificar que 1+0i+0j+0k es el elemento neutro para el producto. Es todo
elemento no nulo del cuerpo de cuaternios inversible?.
Para un elemento
z = a + bi + cj + dk cualquiera de los cuaternios definimos su conjugado por medio de

z = a bi cj dk .
Entonces tenemos que
zz = (a + bi + cj + dk )( a bi cj dk ) =
a 2 abi acj adk + abi + b 2 bck dbj + acj + bck + c 2 cdi + adk + dbj
+ cdi + d 2
Luego, zz = a 2 + b 2 + c 2 + d 2 . Este resultado permite demostrar que cualquier
elemento
no
nulo
en
los
cuaternios
es
inversible.
En
efecto,
1
a bi cj dk
a bi cj dk
= 2
. Esto demuestra que los cuaternios
a + bi + cj + dk a bi cj dk a + b2 + c 2 + d 2
forman un cuerpo. La operacin de conjugacin es muy importante, ella permite
definir el mdulo o tamao de un cuaternio z = a + bi + cj + dk . El mdulo de
z = a + bi + cj + dk , denotado por z , se define como z = zz = a 2 + b 2 + c 2 + d 2 .
El siguiente resultado resume las propiedades de la conjugacin en los cuaternios. Lo
dejamos como una actividad propuesta al estudiante UNA.
Demuestre las siguientes propiedades de la operacin de conjugacin:
1. Para cualquier cuaternio z se tiene z = z
2. Un cuaternio representa un nmero real si y slo si z = z
3. Para cualquier par de cuaternios z, z1 se tiene z + z1 = z + z1
4. Para cualquier par de cuaternios z, z1 se tiene zz1 = z + z1

En este ejemplo desarrollamos el cuerpo de las funciones racionales. Sabemos
que los polinomios reales [ x ] es un anillo pero no un cuerpo. Sin embargo, si
consideramos las fracciones cuyos numeradores y denominadores son polinomios
reales, obtenemos un cuerpo que denotaremos por F [ x ] . Los elementos de F [ x ] son
p ( x) a0 + a1 x + a2 x 2 + an x n
de la forma
.
=
q ( x) b0 + b1 x + b2 x 2 + bm x m
Demuestre en detalle que F [ x ] es un cuerpo.

Sugerencia: Establezca la adicin y multiplicacin en F [ x ] de manera natural.
Investigue las propiedades de estas operaciones: existencia de elemento neutro,
inverso, entre otras. Sea sistemtico!
Teorema 1. En un cuerpo cualquiera K se tienen las siguientes propiedades:

1. a 0 = 0a = 0 para cualquier a en K, donde 0 es el elemento neutro para la
adicin.
2. Si ab=0 entonces a=0 o b=0
3. a (b c ) = ab ac para cualesquiera elementos a, b y c.
Demostracin.
1. Como a 0 = a (0 + 0) = a 0 + a 0 a 0 = 0 .
2. Si a es no nulo entonces a-1 existe. Si multiplicamos a-1 a la igualdad ab=0 por
la izquierda, obtenemos a-1ab=0, luego b=0 como queramos demostrar.
3. Muy similar a lo hecho en la Unidad de Anillos, recomendamos al estudiante

UNA hacer la demostracin como ejercicio.
La parte 2. del teorema anterior indica que todo cuerpo es un dominio de
integridad. Esto es, si un producto vale 0 alguno de los factores del producto vale
0 tambin. Esta propiedad no es cierta en ciertos anillos donde aparecen divisores

de 0.
Teorema 2. En un cuerpo cualquiera K si ab = ac con a 0 entonces b = c . Es decir,

en un cuerpo cualquiera vale la ley de cancelacin respecto al producto.
Demostracin.
En efecto, si ab = ac con a 0 y restamos ac a ambos lados de la igualdad,
obtenemos que a (b c) = 0 . Al ser a no nulo, debe tener un inverso multiplicativo
que llamamos a-1. Multiplicando, por la izquierda, ambos lados de la igualdad por a-1
se tiene a 1a(b c ) = a 1 0 = 0 pero a 1a(b c) = 1(b c) = b c = 0 b = c .
Teorema 3. Sea K un cuerpo cualquiera. Entonces la ecuacin ax + b = c donde x es

la incgnita y a,b y c son elementos de K , con a 0 tiene solucin nica.
Demostracin.
Procedemos a despejar la x. Como K es un grupo aditivo, podemos sumar a ambos
lados de la igualdad ax + b = c el inverso aditivo de b, esto es b. Obtenemos
ax + b + (b) = c + ( b) ax + 0 = c + ( b) . Luego, ax = c + (b) y como a es no
nulo, a es invertible respecto al producto, llamemos su inverso a-1. Multiplicando por

este inverso, por la izquierda de la igualdad ax = c + (b) obtenemos
a 1ax = a 1 ( c + (b) ) 1x = a 1 ( c + ( b) )
x = a 1 ( c + (b) )
La unicidad de la solucin se obtiene de la ley de cancelacin ya que si tenemos que

ax1 + b = c , entonces ax1 + b = ax + b ax1 = ax x1 = x .
13.3. Caracterstica de un cuerpo

Como ya hemos visto existen cuerpos finitos como p con p primo. Supongamos que
K es un cuerpo finito y sea 1 el elemento neutro para la multiplicacin en K.
Consideremos la sucesin 1,1+1, . Al ser K un cuerpo finito, algunos elementos de

esta sucesin deben repetirse. Es decir, existen naturales n y m con n < m tales que
n veces
m veces
1 + 1 + 1 = 1 + 1 + 1
Luego, (m n)1 = 0 . As, el conjunto a1 o b1 es no vaco y debe tener un menor
elemento.
Teorema
Sea
4.
un
cuerpo
finito
consideremos
el
conjunto
A= {n tales que n1 = 0} . Entonces el menor elemento de A es primo.
Demostracin.
Sea p el menor elemento de A vamos a ver que p es primo. Razonemos por el
absurdo, supongamos que p no es primo, p = ab,1 < a < p,1 < b < p . Luego,
0 = p1 = (ab)1 = (a1)(1b)
Pero esto es absurdo ya que ni a1 o b1 son 0 y K es un cuerpo, luego un dominio de
integridad. Esta contradiccin indica que p debe ser primo.
Definicin.
La caracterstica de un cuerpo finito K es el menor primo p tal que 1p=0.
El cuerpo p con p primo tiene caracterstica p.
Teorema 5.
Sea R un anillo conmutativo finito con elemento neutro 1 para el
producto. Si R es un dominio de integridad entonces R es un cuerpo.
Demostracin.
Basta ver que cualquier elemento x tiene un inverso multiplicativo. Consideremos la
funcin
f :RR
f ( y ) = xy
. Esta funcin es inyectiva por ser R un dominio de integridad. Al
ser R finito entonces f debe ser sobreyectiva tambin. Luego, f debe tomar el valor 1
para algn y0, esto es f ( y0 ) = xy0 = 1 , de donde x es inversible y esto concluye la
demostracin.
Un cuerpo K que no tenga caracterstica finita se dice de caracterstica 0.
El cuerpo tiene caracterstica 0 ya que nunca obtenemos 0 al sumar

reiteradamente 1, 1+1,1+1+1,
13.4. Extensin de un cuerpo y subcuerpos

Supongamos que tenemos dos cuerpos K y Q tales que K Q y donde las leyes de
composicin interna de K son la restriccin de las leyes de composicin de Q a K. En
este caso decimos que K es un subcuerpo de Q o que Q es una extensin de K.
1. Este es un ejemplo muy importante ya que , y son tres cuerpos bsicos
para la matemtica.

As, es una extensin de y es una extensin de . Tambin podemos decir

que es un subcuerpo de . Observe que podemos pensar que obtenemos el cuerpo
del cuerpo aadindole a el elemento i y usar el hecho que i 2 = 1 . As,
[i ] = .
2. 2 es una extensin de . Podemos tambin decir que es un subcuerpo de
2 .
Los dos siguientes teoremas son muy similares a los teoremas ya demostrado para
subgrupos generados. Para que el estudiante UNA fije estas importantes ideas la
demostracin de los dos resultados las dejaremos como ejercicio.
Teorema 6. Si
( H )
( H ) I
es una familia de subcuerpos del cuerpo K entonces
es un subcuerpo.
Demostracin: La dejamos como ejercicio.
Teorema 7. Sea K un cuerpo y T un subconjunto de K. Entonces existe un subcuerpo

minimal que contiene a T.
Demostracin La dejamos como ejercicio.

Demuestre los dos teoremas anteriores.
Sugerencia: El primer teorema es necesario para demostrar el segundo. Vaya a la
unidad de grupos para refrescar las ideas involucradas en esta demostracin, repase en
particular lo relacionado al subgrupo generado por un conjunto.
Sea . Qu subcuerpo K de se obtiene al agregar a el real
2 ?.
Vamos a aclarar cuidadosamente esta pregunta. En primer lugar estamos pensando
que el subcuerpo K que buscamos es un subcuerpo de los reales. Es decir, en este caso
buscamos el subcuerpo K de generado por
esto implica que
{ 2} . Vemos que
3
23 2 = 3 4 y
4 K . Luego K debe contener al conjunto F de todos los

a + b 3 2 + c 3 4 con a, b, c . Observamos que F es
elementos de la forma
cerrado bajo la adicin y producto usuales en . Verifiquemos esto en detalle. Si

sumamos dos elementos de F debe ser claro que obtenemos de nuevo un elemento de
F. El estudiante UNA debe completar los detalles de esta demostracin. Que F es
cerrado bajo el producto no es tan claro. Como
4 3 4 = 3 16 = 3 23 2 = 2 3 2 el
resultado es cierto: al multiplicar dos elementos de A obtenemos un elemento de A.

Ser cualquier elemento no nulo de F invertible? Esto equivale a la pregunta, puede
usted racionalizar
1
y obtener un elemento de F? Esta parte la dejamos
a +b 2 +c3 4
3
al estudiante UNA como una actividad pero es cierto que todo elemento no nulo tiene
un inverso multiplicativo. Luego F es un subcuerpo y como cualquier subcuerpo de
que contenga a
{ 2} debe contener a F entonces F=K. El estudiante UNA

3
debe indicar por qu.
Demuestre que
( a + b ) (a 2 ab + b2 ) = a 3 + b3 .
Use esta identidad para racionalizar
1
.
a +b 2 + c3 4
3
13.5. El cuerpo de los nmeros constructibles

Tomemos un segmento AB de longitud 1 (ver dibujo abajo), qu longitudes pueden
ser construidas a partir de AB solo usando una regla y un comps?. La regla no la
suponemos graduada (con escala). El conjunto de las longitudes constructibles lo
denotaremos por C. As C es un subconjunto de los nmeros reales, C . Es claro
que podemos construir segmentos de longitudes 2, 3,4 y as sucesivamente. Para hacer
esto prolongamos con la regla el segmento AB y llevamos sobre esta prolongacin,
con el comps, el segmento AB las veces requeridas. Luego, C .
Pero cosas ms interesantes pueden ser construidas. Cmo construimos un segmento

de longitud
1
? Recuerda usted su curso Geometra, cod.754?
2
La base de tal
construccin descansa en el celebrado teorema de Tales. Tomemos dos semirrectas

cualesquiera con un origen comn (Ver dibujo abajo).
Sobre la semirrecta AC hemos llevado dos veces la longitud del segmento AB dos
veces consecutivas determinando los segmentos AD y DE. Unimos ahora los puntos
BE por un segmento y trazamos por D una paralela al segmento BE. Todas las
construcciones efectuadas son legtimas si slo disponemos de una regla y un comps.
Indiquemos la longitud del segmento AB por AB . El teorema de Tales indica que
AF
AD 1
1
=
= pero AB = 1 AF = .
AB
AE 2
2
Una aplicacin anloga del teorema de Tales nos lleva a afirmar que cualquier
racional positivo
Luego, + C .
a
puede ser construido. El estudiante UNA debe indicar cmo.
b
Despus
de
obtener
el
resultado
que
todos
los
racionales
positivos
x
x
=
AE = xy estn en C, uno se puede preguntar, podremos construir
y AE
algunas longitudes irracionales? El estudiante UNA debe saber la respuesta: claro
que s! Recordarn que los irracionales fueron descubiertos por los matemticos
griegos como longitudes de algunos segmentos. El ms conocido es el irracional
2.
Su construccin es sencilla y transparente, solo necesitamos el Teorema de Pitgoras.
Si el segmento AB tiene longitud 1 y el segmento BC tiene igual longitud, la

hipotenusa del tringulo rectngulo
ABC mide exactamente
2 . Invitamos al
estudiante UNA a recordar cmo construir un tringulo rectngulo con regla y

comps. De igual manera se pueden construir
3, 5, 6, , n , n + 1, Lo
proponemos como actividad para el estudiante UNA.

Vemos as que el conjunto C es muy rico ya que adems de contener a los racionales
positivos existen irracionales en el mismo.
Vamos a demostrar a continuacin que la adicin, multiplicacin y divisin usuales
de los nmeros reales al ser restringidas a C son leyes de composicin internas en
este conjunto. Es claro que si x, y estn en C su suma pertenece a C. (ver dibujo abajo)
Para demostrar que el producto es cerrado en C necesitamos el teorema de Tales como

ya el estudiante debe suponer.
Supongamos que el segmento AB tiene longitud x, el segmento AD tiene longitud 1 y

el segmento AC tiene longitud y. El teorema de Tales dice que
1
x
=
AE = xy
y AE
Queda como actividad al estudiante UNA indicar cmo se construye la longitud
x
.
y
Ahora bien, si colocamos ahora una recta y un punto 0 en ella, y dejamos que el
segmento AB determine el 1 sobre la recta en la direccin que usualmente llamamos
positiva, podemos determinar para cada longitud constructible un punto sobre la recta
real. El estudiante UNA debe notar que esto se puede hacer hacia el lado negativo
tambin, este conjunto ampliado es lo que llamamos el cuerpo de los nmeros
constructibles , es decir = { x tales que x = c C} . Esto es un cuerpo
porque acabamos de demostrar que C es cerrado bajo la adicin, producto y divisin.
En nuestra ltima seccin trataremos los problemas clsicos de la geometra griega en

este contexto de la teora de cuerpos.
1. Indique cmo se construyen
3, 5, 6, , n , n + 1, . Sugerencia: Use
reiteradamente el Teorema de Pitgoras.

2. Explique con claridad cmo, si damos segmentos de longitudes estrictamente
positivas x, y, construir un segmento de longitud
x
.
y
13.6. Extensiones algebraicas y trascendentes de un cuerpo

Es conveniente que repase los conceptos de nmero algebraico y trascendentes
vistos en la Unidad 6 del nmero real.
Consideremos una extensin F del cuerpo K, es decir K F . Esta extensin se
denomina algebraica si cada elemento de F es raz de un polinomio p ( x) con
coeficientes en K.
1. Consideremos la extensin 2 de . Veamos que 2 es una extensin

algebraica de = F [ ] . Primero que todo cualquier elemento de 2 es de la
forma a + b 2 ,con a y b racionales. Note que a + b 2 es una raz del polinomio
p ( x) = ( x (a + b 2))( x ( a b 2))
Observe que adems que
p ( x) = ( x (a + b 2))( x (a b 2)) = ( x a ) 2 (b 2) 2 =
= ( x a )2 2b 2 = x 2 2ax + a 2 2b 2
Luego, p ( x) es un polinomio con coeficientes en y esto concluye la afirmacin
que 2 es una extensin algebraica de .
2. El cuerpo es una extensin algebraica de los nmeros reales ya que la unidad

imaginaria i satisface la ecuacin polinmica real x 2 + 1 = 0 .
3. Asuma que e el nmero base de los logaritmos neperianos es trascendente.5 El
subcuerpo de los reales que genera {e} lo denotaremos por [ e ] . Entonces
[ e ] es una extensin trascendente de ya que por definicin de nmero

trascendente e no puede ser raz de polinomio alguno con coeficientes racionales. Los
de [ e ] son nmeros reales de la forma
a0 + a1e + a2 e 2 + + an en
, ai , b j , i {1, 2, , n} , j {1, 2, , m}
b0 + b1e + b2 e 2 + + bm e m
Observe que el denominador de estas fracciones no se puede anular. El estudiante
UNA debe decir por qu.
Demuestre, en detalle, que los nmeros reales de la forma
a0 + a1e + a2 e2 + + an e n
, ai , b j , i {1, 2, , n} , j {1, 2, , m}
b0 + b1e + b2 e2 + + bm e m
forman
un
subcuerpo K de los nmeros reales. A partir de esto concluya que [ e ] =K.

Sugerencia: Pruebe la primera afirmacin y despus observe que cualquier nmero de
la forma
a0 + a1e + a2 e2 + + an e n
, ai , b j , i {1, 2, , n} , j {1, 2, , m}
b0 + b1e + b2 e2 + + bm e m
debe
estar en cualquier cuerpo que contenga a e.
Sea un cuerpo K que es una extensin del cuerpo F, decimos que K es una extensin
simple si y slo si K se obtiene como el cuerpo generado por F y un elemento . Esto
se escribe como K = F [ ] y decimos que K se obtiene del cuerpo F adjuntndole el
elemento .
1. Los ejemplos 1. y 2. anteriores ilustran el concepto de extensin simple.
Aunque 2 son los nmeros reales de la forma a + b 2 ,con a y b
racionales y = [i ] son los nmeros de la forma z = x + iy con x,y nmeros reales
no debe suponer el estudiante una que el cuerpo K = F [ ] siempre est compuesto
5
Una demostracin de este hecho importante puede ser encontrada en el libro Calculus de M. Spivak.
nicamente por los elementos de la forma p + q donde p,q estn en F. Por ejemplo,
3 3 debe contener el elemento
9 que no es de la forma a + b 3 3, a, b .
1. Demuestre que es imposible hallar racionales a y b tales que a + b 3 3 = 3 9 .

Sugerencia: Use el mtodo de reduccin al absurdo.
2. Consideremos el conjunto F dado por
F = a + b 2 + c 3 + d 6 donde a, b, c, d .
Estudie si F es un cuerpo y en caso afirmativo si es una extensin simple de 2 .
Es una extensin simple de ?
Nuestro prximo teorema se puede demostrar en un contexto ms amplio pero por las
aplicaciones que tenemos nos limitamos a este caso.
Teorema 8. Consideremos una extensin [ ] simple y algebraica de . Entonces

existe un nico polinomio p(x)
mnico y de grado mnimo
con coeficientes
racionales tal que p ( ) = 0.
Demostracin: Sea conjunto M de polinomios q con coeficiente racionales tales que
q ( ) = 0. Como la extensin [ ] es algebraica entonces M es no vaco. Luego,

por el principio de induccin, deben existir en M polinomios de grado mnimo,
digamos k. Podemos suponer, sin prdida de generalidad que estos polinomios son
cnicos (de lo contrario divida el polinomio por el coeficiente de xk , su trmino
lder). Veamos que solo puede existir un polinomio mnico de grado k que tenga
como raz . Supongamos que existan dos polinomios p y m tales que
m ( ) = p ( ) = 0. Adems, supongamos que el grado de p y m es k y que los dos son

mnicos. Observe que m ( ) = p ( ) = 0 ( m p )( ) = 0. Pero m-p
es un
polinomio de grado menor que k ya que los polinomios m,p son mnicos y al
restarlos se anula el coeficiente de xk . Luego ( m p ) 0 , por la escogencia de k
como el grado mnimo para el cual debe ocurrir que sea raz de un polinomio con
coeficientes racionales. De aqu se deduce que el polinomio es nico ya que
(m p) 0
implica que m=p.
El estudiante UNA debe repasar cuidadosamente el ltimo paso de la demostracin.
El polinomio p(x) que obtenemos en el teorema anterior se denomina el polinomio

minimal de .
Consideremos el cuerpo 2 como una extensin del cuerpo de los
racionales . Sabemos que el polinomio x2-2 es el polinomio minimal de
2 , si
tiene alguna duda complete los detalles.

1. Sabemos que = [i ] Cul es el polinomio minimal de i?.
2. Halle un polinomio con coeficientes racionales que tenga a
2 + 3 como raz.
3. Explique con claridad por qu el polinomio minimal es nico (ultima parte de la

demostracin del teorema anterior)
Una observacin elemental pero importante en relacin al concepto de
polinomio minimal p(x) de es que este debe ser irreducible en el anillo de los
polinomios con coeficientes racionales. Si no lo fuera, existiran polinomios m, q con
coeficientes racionales tales que p ( x) = q ( x)m( x) donde ni q ni m representan
polinomios constantes y sus grados son estrictamente menores que el de p. Pero,
0 = p ( ) = q ( ) m( ) m( ) = 0 o q ( ) = 0 y esto contradice que p es el polinomio
minimal de .
Teorema 9. Consideremos una extensin [ ] simple y algebraica de .

Supongamos que su polinomio p minimal tiene grado m. Entonces todo elemento w de
[ ] se puede escribir como
w = a0 + a1 + a2 2 + + am1 m1 donde los
coeficientes ai son racionales. An ms, esta escritura es nica.
Demostracin.
Vamos a empezar por la ltima afirmacin, observe que si algn elemento w admitiese
dos representaciones
w = a0 + a1 + a2 2 + + am 1 m 1 y
w = b0 + b1 + b2 2 + + bm 1 m 1 ,
igualando las dos representaciones tenemos
b0 + b1 + b2 2 + + bm 1 m1 = a0 + a1 + a2 2 + + am 1 m 1
( b0 a0 ) + ( b1 a1 ) + ( b2 a2 ) 2 + + ( bm1 am1 ) m1 = 0
Y esto contradice que el grado del polinomio minimal p es m.
El plan para demostrar es el siguiente: primero demostramos que si K es el conjunto
{w tal que w = a
+ a1 + a2 2 + + am1 m 1 , ai } entonces K es un cuerpo.
Segundo como K es un subconjunto de [ ] debe necesariamente coincidir con este,

por qu? (piense que [ ] es el menor cuerpo que contiene a { } ).
Demostremos que K es un cuerpo. Observe que K es cerrado respecto a la adicin en
los reales. Qu pasa con respecto con la multiplicacin?. Esto se aclara de inmediato
si consideramos la expresin a0 + a1 + a2 2 + + am1 m 1 + am m + an n = c ( )
con c un polinomio de coeficientes racionales de grado n y n>m. Dividamos c por p
aplicando el algoritmo de Euclides. Tenemos c( x) = p ( x) q ( x ) + r ( x) con el grado de r
menor que el grado de p. Luego, especializando el valor de la indeterminada x por
se
tiene
c( ) = p ( )q ( ) + r ( ) = r ( ) ya que p ( ) = 0 .
Es
decir,
a0 + a1 + a2 2 + + am1 m 1 + am m + an n = c ( ) se puede escribir de manera

ms compacta, no necesitamos sobrepasar el grado m-1. As, al multiplicar dos
elementos en K volvemos a obtener un miembro del conjunto K. Esto demuestra que
K es un anillo conmutativo con identidad. Sern los elementos no nulos de K
invertibles?
Veamos
que s,
tomemos un elemento genrico de K,
w = a0 + a1 + a2 2 + + am 1 m 1 que no sea nulo. Esto implica que alguno de sus

coeficientes es no nulo. Llamemos m al polinomio a0 + a1 x + a2 x 2 + + am 1 x m 1 ,
claramente m ( ) = w . Como el polinomio minimal p es irreducible y el grado de m
es menor que el de p entonces p y m deben ser primos entre si. Luego existen
polinomios q y g tales que
1 = p ( x ) q ( x ) + m( x ) g ( x )
Pero esto implica, especializando la variable x por , que
1 = p ( ) q ( ) + m( ) g ( ) = m( ) g ( )
De donde cualquier elemento m ( ) = w es invertible y K es un cuerpo.
Definicin. Sea K[ ] una extensin simple y algebraica del cuerpo K. El grado de la

extensin se define como el grado del polinomio minimal de y se denota por
K [ ] : K .
Esto se puede hacer con ms generalidad si tuvisemos a disposicin el concepto

de espacio vectorial. El estudiante estudiar esta idea en su curso de lgebra II. El
grado de una extensin F del cuerpo K se define en general como la dimensin del
espacio vectorial F sobre el cuerpo K. Le recomendamos el excelente libro de
Herstein, Algebra Moderna, Editorial Trillas para los detalles.
1. La extensin 2 de es de grado 2.
2. Este ejemplo es importante en relacin al problema griego de la duplicacin del
cubo. Consideremos la extensin 3 2 de . Claramente esto es una extensin
simple y algebraica de ya que
2 es raz del polinomio p ( x) = x3 2 . Este
polinomio p es irreducible en el anillo de los polinomios con coeficientes racionales

por el Criterio de Eisenstein. Luego 3 2 : = 3 .
13.7. Aplicacin a los problemas clsicos de la geometra griega

Los griegos plantearon tres problemas en Geometra cuya solucin esper siglos. Los
problemas son:
Duplicacin del cubo: Construir, usando solo regla y comps, un cubo cuyo
volumen sea el doble de un cubo dado.
Triseccin del ngulo: Dado un ngulo cualquiera, usando solo regla y

comps, trisecarlo.
Cuadratura del crculo: Dado un crculo cualquiera, usando solo regla y

comps, construir un cuadrado de similar rea.
Tesoro de Atenas construido por la victoria en Maratn
Expliquemos brevemente cada uno de estos problemas. Se dice que el problema de

la duplicacin del cubo surgi durante una epidemia de peste que azot Delfos. Al
consultarse al orculo de Apolo la sacerdotisa solicit la duplicacin del ara que era
de forma cbica. Duplicar significa en este caso no duplicar la arista sino el volumen.
Es por ello que este problema se denomina tambin el problema de Delos.
El problema de triseccin del ngulo no tiene una historia tan llamativa y su
enunciado es bastante comprensible. Se trata de dado un ngulo arbitrario dividirlo
en tres partes iguales. Esta triseccin es posible para algunos ngulos como el ngulo
recto pero no se puede realizar en general.
Los problemas de cuadraturas son muy importantes en la geometra griega. Los
pitagricos conocan cmo construir un cuadrado de rea equivalente al rea de un
polgono dado. Posteriormente, Hipcrates de Quos logra resolver el problema de la
cuadratura de las lnulas. Sin embargo, el problema de construir un cuadrado cuya
rea fuese la misma que la de un crculo dado permaneca imposible de atacar.
Algunos intentos de solucin involucraban curvas mecnicas pero no satisfacan el
requerimiento de usar solo regla y comps. No sabemos quin impuso el canon de
construir los objetos geomtricos con regla y comps, se cree que fue Platn.
Nos proponemos a continuacin resolver los tres problemas ms importantes de la
geometra griega. La geometra analtica es una herramienta valiosa ya que permite
traducir al lenguaje del lgebra proposiciones geomtricas. Empezamos observando,
como ya vimos, que todos los racionales son constructibles, esto implica que todos los
puntos de 2 de coordenadas racionales se pueden construir, este conjunto es .

Luego iniciamos con los puntos y consideramos rectas, trazadas por nuestra
regla y determinadas por dos puntos de . Podemos tambin considerar crculos
de centro un punto en y radio racional. El estudiante UNA debe hacer el
conjunto de actividades propuestas para continuar la discusin.
1. Demuestre que una recta L: qy = mx + n determinada por los puntos

( a, b), (c, d ) tiene todos sus parmetros q, m y n racionales.
2. Demuestre que un crculo de radio r racional y centro (x0, y0) en se
escribe como x 2 + ax + y 2 + bx = c y todos los coeficientes a, b y c son
racionales. Sugerencia: Expanda ( x x0 ) + ( y y0 ) = r 2 .
2
3. Demuestre que la interseccin, si existe, de dos rectas L y L con parmetros

racionales determina un punto en .
4. Demuestre que la interseccin, si existe,
de una recta con parmetros
racionales y un crculo de radio r y centro (x0, y0) en determina uno o

dos puntos con coordenadas en o en una extensin algebraica [ ] de
grado 2 . Lo mismo ocurre al intersecar dos crculos de radios racionales y
centros en .
1. Use la frmula de la pendiente y observe que el resultado debe ser un
nmero racional. Haga lo mismo para determinar la ordenada en el origen.
2. Use lo sugerido en la actividad.
3. Resuelva, aplicando cualquier mtodo estudiado en bachillerato (puede usar la
regla de Cramer), el sistema de dos ecuaciones y dos incgnitas que determinan
las dos rectas.
4. Use la frmula de la ecuacin cuadrtica para obtener el resultado.
Las actividades anteriores demuestran que partiendo de los puntos de y
usando regla y comps extendemos los elementos de a extensiones del tipo
[ ] de grado 2 sobre los racionales.
Si ahora usamos rectas con puntos de coordenadas en [ ] (alguna coordenada

puede estar en ) y crculos con centros en puntos de [ ] [ ] (alguna
coordenada del centro puede estar en ) y radio en [ ] , vemos que los puntos
de interseccin de rectas y crculos de nuevo determinan reales que estn en una
extensin algebraica [ , ] de grado de 2 de [ ] . Esto se logra como usted
lo hizo en las actividades anteriores resolviendo sistemas de ecuaciones de
primero o segundo grado con coeficientes en [ ] . Continuando este proceso
vemos que un nmero real es constructible si y slo si podemos encontrar una
sucesin finita de cuerpos
[ ] [ , ] Fi Fi +1 Fn
Donde el grado de Fi+1 como extensin del cuerpo Fi es 1 o 2, esto es
[ Fi +1 : Fi ] = 1 o 2 . La extensin Fn tiene grado 2k ya que su grado es el producto de

los grados [ ] : [ , ] : [ ] [ Fi +1 : Fi ] [ Fn : Fn 1 ]
Esto implica (ver el libro de Herstein para una prueba) que: si el nmero L es
constructible debe existir un polinomio irreducible de grado 2k sobre los
racionales tal que L es su raz y su grado es precisamente L. En particular
cualquier nmero L constructible es algebraico.
Solucin al problema de la duplicacin del cubo

Duplicar el cubo implica ser capaz de construir el nmero
2 . Para ver esto
partimos de un cubo de arista 1, su volumen es la arista al cubo, esto es 1 de

nuevo. Un cubo de volumen doble tendr entonces volumen 2, si a es su arista
entonces debe ocurrir que a 3 = 2 a = 3 2 . Pero el polinomio minimal de
2 es
p ( x) = x3 2 que tiene grado 3 que no es potencia de 2, luego es imposible

duplicar el cubo!
Solucin al problema de la cuadratura del crculo

El matemtico alemn Lindemann demostr que el nmero es trascendente. Es
decir, no es algebraico. Esta demostracin es propia del anlisis matemtico y
escapa del alcance de esta obra. El hecho que sea trascendente implica que es
imposible cuadrar el crculo. Veamos por qu. Tomemos un crculo de radio 1, su
rea es igual a ya que el rea del crculo de radio r es r2. Construir un
cuadrado rea igual a equivale a construir el lado L de ese cuadrado. Pero

L2= implica que L= .
Lema. Si es trascendente entonces
es trascendente.
Demostracin.
Supongamos que
es algebraico y consideramos la extensin de grado finito
de . Como es un cuerpo y claramente

entonces
est en
= est en lo cual es absurdo por ser trascendente.
Luego, L= no es algebraico lo que implica que es imposible construir con

regla y comps L= . As, es imposible cuadrar el crculo.
Solucin al problema de la triseccin del ngulo

Tomemos un ngulo de 60 y supongamos que se pueda trisecar. Esto equivale a
poder construir un segmento de longitud cos 20 . Es esto claro?. Vea el dibujo
abajo para aclarar las ideas.
Demuestre la identidad trigonomtrica cos 3 = 4 cos3 3cos (ejercicio

de cuarto ao de bachillerato).
Si hacemos = 20 en la identidad que usted acaba de demostrar vemos que
cos 60 = 4 cos3 20 3cos 20

raz o cero del polinomio
1
= 4 cos3 20 3cos 20 , luego cos 20 es una
2
1
= 4 x 3 3 x . Preferimos multiplicar a ambos lados por
2
2 y trabajar con el polinomio 1 = 8 x 3 6 x . Haciendo el cambio 2x=y, vemos que

cos 20 debe ser una raz del polinomio q ( y ) = y 3 3 y 1 .
.
1. Demuestre que q ( y + 1) = y 3 + 3 y 2 3 .
2. Aplique el criterio de Eisenstein para concluir que el polinomio q(x) es
irreducible
1. Es un clculo algebraico elemental que debe realizar el estudiante UNA.
Para la parte 2. Aplique el criterio de Eisenstein ya que 3 divide a los coeficientes
del polinomio considerado (salvo al coeficiente lder) pero nueve no divide a -3,
luego por Eisenstein el polinomio es irreducible.
Aplicando la parte 2. de la actividad anterior concluimos que el polinomio
minimal de cos 20 tiene grado 3 y por ende no es constructible con regla y
comps. De esto se deduce que es imposible trisecar un ngulo cualquiera.
Estudie si es posible trisecar el ngulo de 90.
Sugerencia: Como lo hecho en el texto, estudie si es posible construir cos30.
Recordamos de cuarto ao de bachillerato que cos 30 =
3
y este nmero es
2
constructible con regla y comps ya que es solucin de una ecuacin cuadrtica.
1. Encuentre un polinomio p(x) con coeficientes racionales tal que
2 + 3 3 sea
una raz de p(x).

2. Describe los elementos del cuerpo 3 5 .
3. Un isomorfismo del cuerpo K al cuerpo F es una biyeccin : K F tal que
( x + y ) = ( x) + ( y ) y ( x y ) = ( x) ( y ) . Dos cuerpos se denominan

isomorfos si existe un isomorfismo entre ellos. Demuestre que si
:K F
es un isomorfismo entonces 1 : F K es un isomorfismo.
4. Demuestre que si : K F es un isomorfismo del cuerpo K al cuerpo F y
: F M es un isomorfismo del cuerpo F al cuerpo M entonces la

composicin : K M es un isomorfismo.
5. Puede ser el cuerpo 3 5 isomorfo al cuerpo 2 ?
Sugerencia: Analice qu pasa con la identidad bajo el isomorfismo.

6. Demuestre que los cuerpos 2 y 3 son isomorfos.
Sugerencia: Defina (a + b 2) = a + b 3 y demuestre las propiedades que

caracterizan el concepto de isomorfismo.
7. Demuestra que el conjunto de todos los isomorfismos de un cuerpo en s mismo
es un grupo respecto a la composicin de funciones.
1. Llamemos = 2 + 3 3 , luego
= 2 + 3 3 2 = 3 3
( 2 )
( 3
Ahora,
= 3 3 3 2 2 + 6 2 2 = 3
2 ) 2 = 3 6 + 3
3 3 2 2 + 6 2 2 = 3
de
donde
( 3
2 ) 2 = 3 6 + 3 .
Elevando al cuadrado ambos lados de la igualdad obtenemos la ecuacin deseada.

2. Aplicando
el
criterio
de
x3 5
( x) = f , ( y ) = g
( x + y ) = ( x) + ( y ) = f + g
Einsenstein
podemos
demostrar
que
es irreducible en los polinomios con
1 ( f + g ) = 1 ( f ) + 1 ( g )
coeficientes reales. Luego, los elementos de 3 5 son de la forma
a + b 3 5 + c 3 25, a, b y c .
3. Un isomorfismo del cuerpo K al cuerpo F es una biyeccin : K F tal que
( x + y ) = ( x) + ( y ) y ( x y ) = ( x) ( y ) .
Intuitivamente,
entre
dos
cuerpos se puede establecer un isomorfismo si y solamente si ellos son

indistinguibles desde el punto de vista algebraico. Al ser : K F una
biyeccin es claro que 1 : F K existe. Sean f, g dos elementos arbitrarios
de F, luego ( x) = f , ( y ) = g para ciertos elementos x, y de K. De aqu se
tiene
que
isomorfismo.
( x + y ) = ( x) + ( y ) = f + g
Pero,
aplicando
propiedades
x = 1 ( f ), y = 1 ( g )
de
luego
1 ( f + g ) = 1 ( f ) + 1 ( g ) . De manera anloga se demuestra la propiedad

para el producto, luego 1 : F K es un isomorfismo.
4. Lo dejamos al estudiante UNA ya que es un ejercicio bsico que debe realizar.
5. Sugerencia: plantee un supuesto isomorfismo, y vea que pasa con la imagen de
2.
6. Definimos : 2 3 por medio de
Tenemos
por
) (
(a + b 2) = a + b 3 .
ejemplo
que
( a + b 2 + a + b 2 ) = (( a + a ) + ( b + b ) 2) =
) (
a + a + (b + b) 3 = a + b 3 + a + b 3 = a + b 2 + a + b 2
El
estudiante
)(
UNA
debe
mostrar
) (
de
manera
similar
que
( a + b 2 a + b 2 ) = a + b 2 a + b 2 lo que demuestra que la

funcin definida es un homomorfismo. Es claro que : 2 3
es sobreyectiva y la inyectividad se deduce de la manera siguiente:
supongamos que (a + b 2) = a + b 3 =0 esto implica que b 3 = a pero
como
3 es irracional se debe tener que tanto a como b son 0.
7. Es un ejercicio importante que el estudiante UNA debe realizar, la clave es ser

sistemtico.
Bibliografa
Cotlar, M., Sadowsky, C. (1966). Introduccin al lgebra. Nociones de lgebra
Lineal. Buenos Aires: Eudeba.
Herstein, I.N. (1980). lgebra Moderna. Mxico: Trillas.
Nachbin, L. (1986). lgebra Elemental. Washington D.C.: Ediciones de la OEA
Orellana, M., Rivas, S., Monagas, O., (1987). lgebra I. Caracas: Universidad
Nacional Abierta.
Rivaud, J.(1968) Ejercicios de lgebra. Madrid: Aguilar.
Rojo, A. (1996). lgebra I. Buenos Aires: El Ateneo.
Serrano, W. (2004). Elementos de lgebra. Caracas: Retos y Logros, Instituto
Pedaggico de Miranda Jos Manuel Siso Martnez.
Trejo, C. (1978). El Concepto de Nmero. Washington D.C.: Ediciones de la OEA
Zaldivar, F. (2005). Fundamentos de lgebra. Mxico: Fondo de Cultura Econmica.

Modulo 3

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Modulo 3

Cargado por

Copyright:

Formatos disponibles

Unidad 7 :

10.2. El concepto de ley de composicin interna

1. Consideremos el conjunto de todos los enteros Z , en ellos se puede definir la ley

, aij para i, j {1, 2}

a21 a22 b21 b22 a21 + b21 a22 + b22

UNA, de acuerdo con la definicin de suma de matrices dada arriba, qu pasa si le

5. Consideremos el conjunto + de los nmeros racionales positivos. Definimos una

x y = x + y + x + y . El estudiante UNA debe decir si + es cerrado respecto a

1. Considere el conjunto M de todas las matrices 2x2 (2 filas y dos columnas)

Estudie si esta ley de composicin tiene un elemento neutro.

1. En los nmeros naturales sabemos que el 0 es el elemento neutro respecto de la

1. Consideremos A el conjunto de las funciones exponenciales, es decir

Este ejemplo es muy importante en la teora de ecuaciones diferenciales.

interna + en R 3 , llamada suma de vectores, y dada por

Sir Rowan Hamilton y las operaciones matemticas

Placa conmemorativa del descubrimiento de Hamilton

1. Si definimos en los reales la ley de composicin interna por medio

Las operaciones de suma y multiplicacin fueron definidas anteriormente. Examine si

1. Veamos que la ley de composicin interna dada no es conmutativa, en efecto

Lo que indica que la operacin de multiplicacin de matrices no es conmutativa, al ser

f ( g ( x)) y g ( f ( x)) para que verifique que la operacin de composicin es no

10.3. El concepto de grupo

Aclaremos esto con un ejemplo.

1.Cuntas permutaciones tenemos si n=1, n=2, n=3? Puede Ud. generalizar el

1. El estudiante debe recordar de sus estudios de bachillerato que el nmero de

Para n=3 tenemos, como ya el estudiante UNA verific, 6 permutaciones, estas

1.Considere las permutaciones del ejemplo anterior, determine:

composicin interna definida por la composicin de funciones?. Vamos a analizar

: {1, 2,3, , n} {1, 2, 3, , n} ,

 , est bien definida. El siguiente diagrama

explica por qu.

{1, 2,, n 1, n} {1, 2,, n 1, n} {1, 2,, n 1, n}

Teorema 4. En (Sn ,  ) la ley de composicin es asociativa.

Las flechas indican los valores de 1

Evariste Galois : El creador del lgebra moderna

Matemtico francs (25 de octubre de 1811

1. El conjunto de permutaciones de n elementos Sn con la ley de composicin

1. Verificar que + es un grupo respecto al producto usual de nmeros reales.

2. La operacin definida es una ley de composicin interna ya que m n = m + n + 1 es

Grupo de rotaciones de un cuadrado. Tomemos un cuadrado de vrtices

centrada en 0 y con sentido antihorario (rotacin positiva) lleva al cuadrado en el

Es el turno de estudiar la accin de R3.

Slo falta describir la accin de R4 para completar el anlisis de cada rotacin.

es conmutativa (vaya a la unidad donde estudiamos n para los detalles). La siguiente

Observe que al sumarle R1 a cualquier rotacin Ri, i=1,2,3,4, obtenemos la misma

Suma (mdulo 360)

1. Tomemos un tringulo equiltero cualquiera.

Sea 0 su centro. Le preguntamos

2. Complete la siguiente tabla del siguiente grupo conmutativo.

1. a) Como el triangulo es equiltero las rotaciones de 120 grados y de 240

En el dibujo se muestra cmo el vrtice B se lleva al vrtice B mediante una

Es muy importante que en un grupo G, con ley de composicin interna *, siempre

1. El grupo n tiene orden n.

Definicin. Sea G un grupo cualquiera y H un subconjunto de G tal que al

1. Si G es un grupo cualquiera, entonces los conjuntos {e} y el propio G son

Como puede ver el estudiante, si ordenamos estos subgrupos se obtiene una

Demuestre el teorema anterior siguiendo los pasos que siguen:

Para la parte a) tome cualquier x que est en H, al tener que

Teorema 8. (Subgrupo generado por T)

Es decir, intersecamos todos los subgrupos que estn en . Por el teorema

perteneciente a , y debe ser entonces el subgrupo ms pequeo con la propiedad

La existencia del subgrupo generado por T

1.Consideremos el grupo n respecto a la adicin. Cul es el subgrupo

generado por el conjunto T = {1} ? Al contener a la clase del 1 y ser cerrado

, est bien definida. El siguiente diagrama

Teorema 4. En (Sn , ) la ley de composicin es asociativa.

composicin de biyecciones : G K es una biyeccin. Esto concluye el