serie

de

matemtica

m o n o g r a f a

ESTRUCTURAS ALGEBRAICAS

D e p a r t a m e n t o de A s u n t o s C i e n t f i c o s
Unin P a n a m e ric a n a - Secretara General
O r g a n i z a c i n de l os E s t a d o s A m e r i c a n o s

ABC

no.

ESTRUCTURAS
ALGEBRAICAS

por

E N Z O R. G E N T I L E

Facultad de C ie n c i a s E x a c ta s y N a t u r a l e s
U n i v e r s i d a d de B u e n o s A i r e s
Buenos Aires, Argentina

D e pa r ta m e n to de A s u n t o s Cientficos
Unin P a n a m e ric a n a
Secretara General
O r g a n i z a c i n de los E s t a d o s A m e r i c a n o s
W a s h i n g t o n , D. C . - 1 9 6 7

NOTA DE INTRODUCCION

La coleccin de monografas cientficas forma parte de los

programas generales de informacin y publicaciones del Departa
mento de Asuntos Cientficos y tiene como finalidad principal
difundir y presentar de manera sencilla los nuevos temas y mtodos
que surgendel rpido desarrollo de las ciencias y de la tecnologa.
En la actualidad la coleccin consta de cuatro series, en espaol
y portugus, sobre fsica, qumica, biologa y matemtica, pero
se contempla la posibilidad de incluir otros ramos de las ciencias.
Desde su comienzo se dedic estas monografas a los profeso
res y estudiantes de ciencias de nivel secundario y universitario
bsico, no obstante se aspira a que encuentren tambin acogida
entre los hombres de ciencias dedicados a la investigacin espe
cializada y el pblico en general que se interese en adquirir
informacin o conocimientos sobre la materia.
En esta oportunidad, la Unin Panamericana agradece a la
Agencia para el Desarrollo Internacional y a la Fundacin Nacional
de Ciencias de los Estados Unidos por la significativa ayuda eco
nmica recibida en apoyo de esteprograma, as como al Dr. Enzo R,
Gentile, autor de la monografa, y al Prof. Gerardo Ramos del
Instituto de Matemticas Puras y Aplicadas, Universidad Nacional
de Ingeniera Lima, Per por la revisin tcnica del manuscrito.

PROLOGO

E l p r o f e s o r E nzo G entile, bien co n o cid o en los m e d io s educativos

la tin o a m e r ic a n o s p or sus in te r e s a n te s lib r o s de lg e b ra , ha e s c r it o
a p e tic i n de la Union P a n a m e r ic a n a esta ob ra de in tro d u cci n a
dicha m a t e r ia .

Es intil r e f e r i r s e a todas las cualidades de la m o n o g ra fa ,

que son muchas, pues p ron to el l e c t o r las a p r e c i a r p o r s m is m o ,
P e r o s i debe a d v e r t i r s e que, aun sien do e lem en ta l, el tra ta m ie n to
es profundo, c o m o lo r e q u ie r e el estado p r e s e n t e de estas d i s c i
plina. E l autor no ha intentado c u b r ir abundante m a t e r ia l, sino
que se ha lim ita d o a c a r a c t e r i z a r lo e s e n c ia l de las estru ctu ras
b sica s del lg e b r a . Sin e m b a rg o , todos los conceptos estn l i
gados p o r p r in c ip io s u n ific a d o re s de m odo que una e stru ctu ra
sigu e natu ralm en te a la o tr a e n u n p r o c e s o de e v o lu c i n y de c r e
ciente d i v e r s i f i c a c i n . G ran p a r te de la s id e a s b s ic a s estn
r e f e r id a s a estru c tu ra s s im p le s y sus m o r f is m o s : los m on oid es y
los s e m ig r u p o s . Estas id ea s son o b jeto de s u c e s iv a s a d a p ta c io
nes a m ed id a que el d e s e n v o lv im ie n to de las e stru ctu ra s lo e x ig e
a c o n secu en cia de la d e fin ic i n de nuevas r e la c io n e s , ta le s co m o
las de eq u iva len cia , que conducen a las es tru c tu ra s c o c ie n te s .

L o s n u m e ro s o s e je m p lo s y e j e r c i c i o s f o r m a n p a r t e i m p o r t a n t e
del texto. E stos han sido cuid ad osam en te s e le c c io n a d o s p a ra ilus t r a r conjuntos de p r o p ie d a d e s ,
e n r iq u e c e r m a tic e s , d e s ta c a r
im p o rta n te s an alogas y p e n e t r a r en cam pos afin es de mucho i n
ters.

Fin a lm en te, c o n vien e p r e v e n i r al l e c t o r que s e i n i c i a e n e l estudio

d el lg e b r a que con esta m o n o g r a fa d el p r o f e s o r G e n tile no s lo l l e
g a r a f a m i l i a r i z a r s e con conceptos de g ra n v a lo r , sino que,
adem s, los e n c o n tra r e x p re s a d o s en el len gu aje del lg e b r a de
hoy, es d e c ir , en t r m in o s de d ia g r a m a s con m u tativos, m o r f is m o s ,

INDICE
Pgina
Nota de Introduccin..............................................................

iii

Pro lo go ....................................................................................

INTRODUCCION

B.
C.
D.
E.

Conjuntos....................................................................
Aplicaciones Entre Conjuntos................................
Relaciones de Equivalencia ..................................
Aritm tica ................................................................

C A P IT U L O I.
MIGRUPO

C A P IT U L O II.

3
4
6
7

ESTRUCTURAS DE MONOIDE Y SE-

ESTRU CTU RA DE GRUPO

A. Definicin y E j e m p l o s ................................................... 47
B. Ecuaciones que Definen la Estructura de Grupo ..
49
C. S ubgrupos.................................................................. ...... 54
D__ . Relaciones de Equivalencia en Un Grup o .................58
E. Grupo Cociente de Un Grupo por un Subgrupo
Distinguido................................................................... 65
F. Un T eorem a de Is o m o rfis m o .................................. ...... 71
G. Grupos Finitos ......................................................... ...... 75
C A P IT U L O III.
A.
B.
C.

E S TR U C TU R A DE A N IL L O

Definicin y E j e m p l o s .............................................
Subanillos e Id e a le s ..................................................
M orfism os de A n illo s ..............................................

79
88
91

INTRODUCCION
En este capitulo se establecern los conceptos que pueden
considerarse como p rerequisitos para la lectura de esta monografa.
La exposicin es puramente enumerativa y se supone que el lector
est fam iliarizado con el material.
A.

Lgica Proposicional

Se entiende por proposicin una sentencia con un nico valor

de verdad: V = verdadero o F = falso.
El sentido de "verdad" en una teora matemtica es el siguiente:
una proposicin P es verdad (o verdadera) si es un axioma de la
teora o si es demostrable, por reglas vlidas de razonamiento, a
partir de los axiomas de la teora. O sea, brevemente, el sentido
de verdad es el de "demostrable".
Sean P y Q proposiciones. Se tienenlas siguientes proposicio
nes asociadas:
P ' = negacin de P
P Q = P y Q
P oQ = P o Q
Los valores de verdad de estas nuevas proposiciones estn
dados por las tablas de verdad, reunidas en una,

-P

P Q

P o Q

Leyes de De Morgan
(P o Q)' = P Q'
(P Q)' = P ' o Q'
P o r igualdad = debe entenderse que para cada asignacin de valor
de verdad a P y Q, (P o Q )1 y P 1 Q 1 poseen el mismo valor de
verdad y, anlogamente, (P . Q )1 y P 1 o Q'. O sea, la igualdad ra
dica en poseer las mismas tablas de verdad.

La proposicin P ' o Q posee la siguiente tabla de verdad

p

P' o Q

En matemtica se utiliza esta proposicin para representar el con

dicional: si P entonces Q. Se la denota por
P =

y se lee: P im plica Q. P se denomina el antecedente del condi

cional y Q el consecuente. El lecto r puede ob servar que el hecho que
P =* Q sea V no da ninguna inform acin sobre los valores de v e r
dad del antecedente o del consecuente. Esta situacin es satisfactoria
en matemtica y en toda ciencia deductiva. P o r ejemplo, las p r o
posiciones siguientes son verdaderas:
-1
-1

= 1 =>1
= 1 =>2

= 1
= 0

La form a en que se utiliza en matem tica el condicional P => Q

es la siguiente. A p a rtir de una proposicin P (verdadera o falsa),
y utilizando reglas vlidas de razonamiento, deducimos una propo
sicin Q. O sea, utilizando la term inologa m atemtica deducimos
Q de P . Es evidentemente que de acuerdo con lo que significa una
deduccin no puede un razonamiento matemtico deducir una propo
sicin falsa de una proposicin verdadera. O sea que, independien
temente del va lo r de verdad de P, la proposicin P=* Q es verdadera
Ahora bien, si ocu rre que P es V entonces, observando la tabla de
verdad de P => Q, se tiene que Q es V. Esta regla de inferencia se
denominamodusponens y se expresa brevem ente por
r P =* Q es V y i
Si j p es y
J entonces Q es V.
P es V
Otras denominaciones para la proposicin P
P, slo si Q,
Q, si P,

Q son:

P es condicin suficiente para Q.

Q es condicin necesaria para P.

Asi, "una condicin necesaria (pero no suficiente) para que un

tringulo sea equiltero es que sea un tringulo is s c e le s " y "una
condicin suficiente (pero no necesaria) para que un tringulo sea
issceles es que sea un tringulo equiltero".
La proposicin
(P

Q) (Q

P)

la denotamos por
P

y se denomina: P es equivalente a Q o P si, y slo si, Q o P es con

dicin necesaria y suficiente para Q. P Q es V s i P y Q poseen
simultneamente el m ism o valor de verdad.
P o r ejemplo, la siguiente es una proposicin verdadera
(P

= Q)

(Q 1 => P ')

P o r tanto, P => Q y Q 1 => P 1 son simultneamente verdaderas

o falsas.
Este hecho lo u tilizarem os a menudo para probar la va
lidez de P = Q, probando la validez de Q 1 => P 1. Este tipo de
demostracin lo llam arem os reduccin al absurdo.

B.

Conjuntos

Sea X un conjunto. Con x e X denotamos la proposicin " x es

un elemento de X " o " x pertenece a X " o tambin " X contiene a x".
Con x X denotamos su negacin.
Sean Z, Y conjuntos. D irem os que Y es subconjunto de Z, en
smbolos Y c: Z, si la proposicin
a e Y

=* a e Z

es V cualquiera que sea a e X.

D irem os que Y = Z si la proposicin
a e Y
es verdadera.

a e Z

Entonces Z = Y si, y slo si, Z a Y e Y c

Z,

Sea P {x ) una proposicin relativa al elemento genrico x de X.

Con [ x / P {x)3 denotamos la totalidad de elementos de X para los
cuales P {x ) es V, o sea
a e { x / P (x )} si, y slo si, P (a) es V
Con 0 denotamos el subconjunto de X definido por la proposicin
P (x) : x e X

= x X

Ntese que cualquiera que sea z e X

z ^ 0 es V
En efecto, si z e X, entonces z ^ X es F y as
z e X = s z / x

es F

(por s er el antecedente V y el consecuente F).

P o r lo tanto

Consecuentemente 0 c Y cualquiera que sea Y C X , 0 se denomi

na el conjunto v a c io .
Con { x 1? Xg, . . ., x,J denotamos el conjunto cuyos elementos son
x l> *2 > t xn'
Sean U y V subconjuntos de X.
U U V
U n V
U - V
_____ 0XV
U A V
U X V

=
=
=
=
=

[ x / x e U
o x e V } = unin de U y V.
{ x / x e U
x e V] = in ters ec ci n de U y V,
{ x / x e U
x / V ] = diferencia de U con V.
OV = X - V = com plem ento de V en X._______________
(U - V) U (V - U) = diferencia sim trica de U y V.
{ (a, b) / a e U b g V } = producto c a rte sia n o de U con V.

Se dice que U y V son disjuntos si U 1 V = 0.

Sean U, V, W subconjuntos de X.
u

U V) U W y escribim os simplemente
u (V u W) = (U u
=

u n (V

n W)

u
u

n (V u
u (V n
G(U u
0(u n

W)
W)
V)
V)
u A (V A W)
u n (V A W)

Entonces

=
=
=
=
=
=

U u V
V)
u n V
(u n V)
(u u V)
(Ou) n
{ 0 U) u
<U A V)
(u n V)
(U fl
(u
n

U W
D W y escribim os simplemente

n w
( 0 V) i
( 0 V ) J ^eyes

^>e Morgan

A W

a {u n w)

P ( X ) denota el conjunto de partes de X, o sea

U s ? (X )
C.

U e

Aplicaciones Entre Conjuntos

Sean A y B conjuntos. Una aplicacin (o funcin) de A en B es

un subconjunto f de A X B caracterizado por
f l ) P a ra todo x e A existe y e B tal que (x, y) e f.
f2) Si (x, y) e f y (x, y 1) e f, entonces y = y'.
Una aplicacin de A en B est caracterizada pues por la p ro p ie dad de asignar a cada x e A un nico y e B.
Una aplicacin f de A en B se denota por
f : A

- B o tambin A

y, adems, si (x, y) e f escribim os

f : x

-*
o
o

y o tambin x
y = f(x )
y = fx

-*

Con idA: A - A denotamos la aplicacin identidad de A:

idA(x) = x cualquiera que sea x e A.
Sean f : A -* B y g : A -+ B aplicaciones. Entonces
f = g

si, y slo si, f (x) = g (x)

cualquiera que sea x e A.

Sean A, B, C, conjuntos. Sean g : A - B y f : B - C ap licacio

nes. La composicin de f con g es la aplicacin
f o g: A
definida por
f o g: x - f ( g ( x ) )
si x e A
Si h: C -* D, f : B

C, g : A - B entonces
h o (f o g) = (h o f) o g

y esta composicin la denotamos por h o f o g,

Diagramas de conjuntos y aplicaciones
B

A -* B

AV
1I f
hN
c

j I

1 f

se dirn conmutativos si, respectivamente,

h = fo g

f o g = h o j

Sea f: A - B una aplicacin de A en B.

f es inyectiva

Direm os que

f es sobre

si f (x) = f ( x ' ) => x = x 1 es V

cualesquiera que seanx, x 1e A, o equivalentemente
si x / x 1 => f (x) j f ( x ' ) es V
cualesquiera que sean x, x 1 e A.
si para todo y e B existe x e A tal que y = f ( x ) .

f es biyectiva

si f es inyectiva y sobre.

Entonces f : A
inyectiva
tal que
sobre
tal que
biyectiva
tal que

-* B es

si, y slo
g o f =
si, y slo
f o g =
si, y slo
g o f =

si, existe una aplicacin g : B -* A

idA
si, existe una aplicacin g : B -* A
idB
si, existe una aplicacin g: B -* A
id A y f o g = idB

Sea f : A - B una apliacin y sea Y c A,

Entonces

Los conjuntos A y B son coordinables, o A es coordinable a B

si existe una aplicacin f : A - B biyectiva.
D.

Relaciones de Equivalencia

Sea A un conjunto. Todo subconjunto r de A X A define una r e

lacin en A por x ~ y si, y slo si, (x, y) e r.
Por ejemplo, si
r = {(x, y) / x = yj = Diagonal de A
entonces la relacin definida por r sobre A es la "igualdad". Una
relacin r definida sobre A s e dice de equivalencia si satisface:
e l ) x ~ x cualquiera que sea x e A.
e2) x ~ y si, y slo si, y ~ x,
e3) Si x ~ z y z ~ v, entonces x ~ v.
Sea r una relacin de equivalencia sobre A.
definimos
Ca = [x / a ~ x]

Para todo a e A

y lo denominamos la clase de equivalencia definida por a, o tam

bin la saturacin de a por r.
Se tienen las siguientes propiedades:
-

a e Ca cualquiera que sea a e A

a e Cb si, y slo si, b e Ca
Ca = Cb si, y slo si, a ~ b
c # n c b = 0 o c = c b

Se denomina conjunto cociente de A por r y se le denota por

A/r, o tambin a /~, al conjunto formado por todas las clases de
equivalencia de elementos de A:
A/~

= {C a / a e A]

Se denomina aplicacin cannica de A en A/~ a la aplicacin

definida por

Q:A - A/~
, ,
_
9 (a) = Ca

Q es una aplicacin sobre.

Ejemplo
Sea A = [ 1, - 1, 2} . Entonces x ~ y si, y slo si, x3 =
una relacin de equivalencia sobre A. Se tiene

y3 es

E.

Aritm tica
Conjuntos numricos:
N
Z
Q
R
C

= conjunto de los
= conjunto de los
= conjunto de los
= conjunto de los
= conjunto de los

nmeros
nmeros
nmeros
nmeros
nmeros

naturales
enteros
racionales
reales
complejos

m Z si, y slo si, m = 0 o m e N o - m e N.

m e Q si, y slo si, existen enteros r, s, s ^ 0 tales que m = r s-1
= r/s.
Principio de Induccin.

Sea H un subconjunto de N tal que

i. 1 e H
ii. Si m e H entonces m + 1 e N
Entonces H = N
Algoritm o de Divisin. Sean m y n enteros, 0 < n.
enteros q y r que satisfacen

Existen

a) m = n q + r
b) 0 r < n
Si adems q' y r 1 son enteros que satisfacen a) y b) se tiene q = q 1
y r = r'.
Sean m y n enteros no nulos. Diremos que n divide a m , o que
n es divisor de m, o que m es mltiplo de n, . . si existe c e Z
tal que m = n - c. Escribimos n / m. Entonces s i n / m y m / r
se tiene n/ r, n, m, r e Z. Se denominan divisores triviales de
un entero m a los enteros 1 ,- 1 , m, - m . Un entero positivo p ^ 1
se dice primo si sus nicos divisores son triviales.
Se denomina mximo comn divisor de m y n a todo entero po
sitivo d que satisface
M I ) d/ m y d / n
M2) si d' e N satisface d'/m y d'/n entonces d'/ d.
El mximo comn divisor de m y n existe y es nico, y se lo
denota por {n, m). Se tiene adems la siguiente relacin: existen
enteros a y b tales que
(n, m) = n a + m b
Si (n, m) = 1 se dice que n y m son coprimos.
Se denomina mnimo comn mltiplo de m y n a todo entero po
sitivo t que satisface

m i ) n/ t y m/ t
m2) si t' e N satisface n/11 y m / t 1 entonces t/1'.
El mnimo comn mltiplo de n y m existe y es nico y se lo
denota por [n, m ]. Se tiene la igualdad
n m = (n, m) [n, m ]
Sea m e N.

La relacin en Z:
a ~ b si, y slo si, m / (a - b)

es una relacin de equivalencia, que se denomina la congruencia

mdulo m y se denota por a = b m od(m ).
Sea en Z la relacin ^ de orden menor o igual. Llamaremos
seccin a la derecha de Z a todo subconjunto de Z de la forma
sa =

{ * / a S x}

Principio de Buena Ordenacin. Toda seccin a la derecha Sa de

Z satisface la siguiente propiedad:
Si H c Sa y 0
H existe
e H tal que h j h cualquiera que
sea h e H. O sea, todo subconjunto no vacio de H posee prim er
elemento.
Este Principio de Buena Ordenacin es equivalente al Principio
de Induccin en N. Aqu lo aplicaremos a la seccin S0 de Z.

I.
A.

ESTRUCTURAS DE MONOIDE Y SEMIGRUPO

Leyes de Composicin

Definicin, Sea A un conjunto no vaco. Llamaremos ley de

composicin interna (o simplemente ley de composicin) definida
sobre A a toda aplicacin:
* : A X A -

Si x, y e A escribimos
* (x, y) = x * y
Al elemento x * y lo denominamos la composicion (por *) de
x con y.
La definicin anterior formaliza la nocin de operacin binaria
entre elementos de A, Las operaciones de suma y producto entre
nmeros constituyen los ejemplos naturales de leyes de composi
cin.
Definicin. Se llama MONOIDE a todo par (A, *) formado por
un conjunto A y una ley de composicin *. Diremos tambin que *
define sobre A una estructura de monoide.
Obsrvese que a veces se sobreentender la ley de composicin
* definida sobre A y se denotar (A, *) simplemente por A, y nos
referirem os al monoide A.
P or ejemplo, si A denota cualquiera de los conjuntos numricos
N, Z, Q, R, C
y * la suma ordinaria + o el producto ordinario de nmeros, se
obtienen los siguientes monoides:
(N, +)>

<z, +)>
(Q, +)>
+)>
(C, +)>

(N,
(Z,
(Q,
(R,
(C,

Veamos otros ejemplos:

1.
2.

A = N
x * y = (x, y)

mximo comn divisor de x e y

A = N
x * y = [x, y ]

mnimo comn mltiplo de x e y

4.
5.
6.

A = Z
x * y = x - y

{- denota la diferencia de enteros)

A = Z
x * y = x3 y2

( denota el producto ordinario de enteros)

A = Z
x * y = x

Sea X un conjunto y sea A = ,P(X) el conjunto de partes de X.

Entonces las siguientes estructuras de monoides pueden conside
rarse sobre A
7.

A = P (X)
U * V = U U V

8.

A = p(X)
u * v =

9.
10.

u n v

A = P(X)
U * V = U - V
A = P{X)
U * V = U A V

Otra categora importante de monoides la constituyen los lla

mados monoides finitos.
Definicin, Diremos que un monoide {A, *) es finito si el conjun
to A es finito. En todo otro caso diremos que (A, *) es infinito.
La descripcin de los monoides finitos sehace mediante tablas
de composicin. P or ejemplo, si
A = { a x,
construimos la tabla (de *)

ai

a2

. .

. . .

al
a2
:
a

;
a

escribiendo en la casilla ubicada en la interseccin de la fila i y la

columna j, el elemento at * a,.

Algunos ejem plos son:

11.

A = {0, 1, 2]
*

es el monoide definido por

0 *0
= 0
1 *0
= 1
2 * 0 = 2
12.

0 * 2
1 * 2
2 * 2

0 *1
1 *1
2 * 1

=
=
=

2
0
1

A = [0, 1 ,2 }
*

es el monoide definido por

x

E je r c ic io . Sea A un conjunto finito de n elem entos. Cul es

el nmero m xim o de estructuras de monoide que pueden d e n ifirse sobre A ? H a lla r todas las estructuras de monoide para el caso
n = 2.

5.

Com posiciones n -a ria s.

Sea {A, * ) un monoide.

A sociatividad
Las com posiciones
x * y

si x, y A constituyen las com posiciones binarias de elementos

de A. Si x, y, z denotan elementos de A dados en un c ie rto orden,
podemos obtener los siguientes elementos de A " v a " c o m p o s ic io
nes binarias:
x * (y * z)
( x * y) * z

11

Anlogam ente, con elem entos x, y, z, v de A, dados en un c ie r to

orden, podem os fo r m a r los siguientes elem entos de A " v a " c o m
posicion es binarias:
a = x * (y * (z * v ) )
(I)

b = x * ( (y * z) * v)

c = (x * y) * (z * v)

d = ( x * ( y * z ) ) 5c z

e = ( (x * y) * z) ' z

( D escu b re el le c to r la le y de f o r m a c i n ? )
____ En
orden,
mento
ciones

general, dados n elem entos .x1, x. . . }

de A en un c ie r to
lla m a re m o s c om p osicin n - a r ia de los m ism o s a todo e l e
de A que se obtenga de x^ x3, . . , x por sucesivas c o m p o s i
binarias, conservando s ie m p r e el orden in icial.

Las com p osicion es n -a ria s no tien en porqu e s e r n ecesa ria m en te

iguales entre s. P o r ejem plo, en el m onoide (Z , -) de enteros
racion ales, c o n la d ife re n c ia com o le y de com posicin, existen e l e
mentos x, y, z en Z cuyas com posicion es te rn a ria s no coinciden. En
efecto, sean
x = y = z = 1
Entonces
x * (y * z)
(x * y ) * z

=
=

x - ( y - z )
(x - y) - z

=
=

l - ( l - l )
= 1
(1 - 1 ) - 1 = -1

D efinicin, Sea (A, * ) un m onoide y sea ne N, 2 < n. D ire m o s que *

es n -a s o c ia tiv a si cu alesqu iera que sean xj, Xg, . . , x en A, dados en un
c ie r t o orden, coinciden entre sto d a s sus com posicion es n -a r ia s . D i
re m o s que * es a so cia tiva si es n-asociativa, cualquiera que sean.
D efinicin. Se denomina S E M IG R U P O a todo monoide cuya le y
de c om p osicin es asociativa.
T e o r e m a . Un monoide (A, *) es un sem igru po si, y slo si, *
es 3 -asociativa, o sea si, y slo si,
x * (y * z)

(x * y) * z

cu alesqu iera que sean x, y, z en A. En otros trm in os, una le y de c o m

p o s ic i n es a so cia tiva si, y slo si, es 3 -a socia tiva ,
D em ostra cin . Si (A, *) es un sem igrupo, entonces * es n -a so ciativa p ara todo n, y lo s e r en p a rticu la r si n = 3, de m anera que
la p arte "s lo s i " del te o re m a queda probada. Veam os la p a r t e " s i " .
Vam os a p ro b a r que 3 -a so cia tivid a d im p lic a n -a socia tivid a d c u a l
quiera que sea n. Antes de continuar ilu s tre m o s un caso p a rticu la r de
esta im p licacin , a saber: 3 -a so cia tivid a d im p lic a 4-asociatividad.
O sea, debemos p rob a r que todos los elem entos a, b, c, d, e de (I)

coinciden entre s. P a ra ello com pararem os todas las c o m p o s i

ciones cuaternarias con la com posicin a:
b = x * ( {y # z) * v ) = x * (y * (z * v) )
c = (x * y) * (z # v ) = x * (y * (z * v) )
d = (x * (y * z) ) * v = { (x * y ) * z) * v
= (x * y) * {z * v)
e = ( (x * y ) * z) * v
= {x * (y * z) ) * v

= a
= a
= c
= d

a
a

por lo tanto
a = b=

c=

d = e

P a ra la dem ostracin general, siguiendo el esquema anterior,

individualizarem os, para cada conjunto finito
Xi, x a, . . , x

la com posicin n -a ria

*1 * (xa * ( . . . .

(xIl_1 * x j

....))

que denominaremos la com posicin n -a ria p r in c ip a l. A si, por e j e m

plo, para n = 3
x, * (X2 * Xg)
para n = 4
Xi * (Xj, * (*3 * X*) )
para n = 5
(x2 * (x3

(54 * Xg) ) )

P r o c e d e r e m o s por induccin en n. El caso n = 3 es verd ad ero

por hiptesis. Sea vlida la k -a s o c ia tiv id a d p a ra to d o k < n. Sean
Xj, xa, . ., x elementos de A, dados en un c ie r to orden, y sea 3 < n.
Sea x una com posicin n -a ria de x 1( Xg, . . , x. Entonces x es, en
ltima instancia, una com posicin binaria
x = ai

a3

donde
a.v = x x o ax = una com posicin k - a r ia de x l5 . . . ,
1 < k
a3 = x o a2 = una com posicin (n - k) - a r ia de xk+1, . ., x
P o r la hiptesis inductiva se tiene
a, = x.

(xs *. .
* x^) , . ) = la com posicin
a, = x.
k - a r ia principal asociada a xx, . . , x^
= Xj^ * a[ siendo a{ = (xg * . . (^clc_1 * x^). . )

P o r lo tanto

y siendo a{ * as una composicion (n - l )- a r ia debe coincidir con la

composicin (n - l)- a r ia principal asociada a x3, , . , x, En conse
cuencia
X

Xx

(Xg

(. . .

( X n_ 1 *

X j

. . . ) )

Queda entonces probada la n-asociatividad. En virtud del P r i n

cipio de Induccin se tiene n-asociatividad para todo n y, por tanto
asociatividad, que es lo que queramos probar.
En virtud del teorem a anterior, tratndose de un semigrupo, de
notaremos con
Xj * xg * . . . .

* x

la (nica) composicin n-aria de elementos x x, . . , x^ de A, dados en

ese orden. En particular
x * y * z = x * (y * z) = (x * y) * z
Un caso importante es aqul en que
X

i = x 3 =

escribimos
Xj^

. . . =

xn

= x

* . . . * x,j
' x11

A manera de e je rc ic io dejamos a cargo del lector v e r ific a r las

siguientes relaciones:
xn * x = xn+

(xn)B = x" 11

cualesquiera que sean n, m e N.

Ejemplos
1. Los monoides numricos considerados anteriormente <N, +),
(N,- ), .
(C,. ) son todos semigrupos.
2. El monoide (N, i!), donde x * y = (x, y) mximo comn d iv i
sor de x e y, es un semigrupo. En efecto, re c o rd m o s la definicin
de (x, y):
i.
ii.
iii.

(x, y) e N
(x, y) divide a x y divide a y
Si d e N satisface "d divide a x y d divide a y 1 entonces
"d divide a (x, y)".

Vamos a probar entonces que cualesquiera que seanx, y, z e N es

vlido
(x, (y, z) ) = ( (x, y), z)
Llam em os dx al trmino de la izquierda y ds al trmino de la d e re
cha. Entonces, en virtud de ii
dx divide a x y dx divide a (y, z)

por lo tanto
d-L divide a x, dx divide a y, dj^ divid e a z
Ahora en virtud de iii
dx divide a (x, y)
o sea
dj^ divid e a (x, y) y dj^ divide a z
Se sigue de i i i que
dx divide a ( (x, y), z )

d3

Queda pues probado que dx divide a dg. Razonando en fo r m a an

loga p ara el caso s im tric o , se obtendra que dg divide a dx. P e r o
entonces reuniendo estas dos a firm a c io n e s resulta
di = da
que es lo que queram os d e m o s tra r.
3. (N, *), donde x * y = [x, y ] m nim o comn mltiplo de x e y,
es un sem igrupo. L a d em o stra ci n es anloga a la p receden te.
4. Sea X un conjunto no vaco y sea A = A p lc (X ) la totalidad de a p li
caciones de X en X. Entonces, si f, g e A podemos d e fin ir la aplicacin
f o g : X -* X c om p osicin de f con g p or
---------------------------------------- X - f (g
por lo tanto {A p lc {X ),
x e X resulta

(x ) )

-----------------------------------------

o) es un m onoide.

Sean ahora f, g, h A. Si

( (f o g) o h) (x) = ( f o g ) (h (x) ) = f {g {h (x) ) )

(f o (g o h) (x) = f ( (g o h) (x) ) = f (g (h (x) ) )
de m anera que
(f o g) o h
o sea {A p lc (X ),
de X.

f o (g o h)

o) es un s e m ig ru p o :

el sem igru p o de aplicaciones

E je r c ic io s
1.

Encontrar todas las estructuras de sem igru p o que pueden d e f i

n irs e en A = { 0, 1] .

2.

D eterm in a r en los m onoides siguientes cules son sem igrupos:

a)
b)
c)
d)

(Z,
(Z,
(Z,
(Z,

*)
*)
*)
*)

donde
donde
donde
donde

X
X
X
X

* y
* y
* y
*
y

3.

V e r ific a r si el siguiente monoide es o no semigrupo

*

C,

Conmutatividad
Sea (A, *) un monoide.
Definicin.

D irem os que x, y s A conmutan entre s si

x * y

y * x

D irem os que (A, * ) es un monoide conmutativo (o tambin que * es

conmutativa) si todo par de elementos de A conmutan entre s.
O bsrvese que en todo monoide existenpares de elementos que
conmutan entre s": en efecto, x * x = x * x. Si (A, *) es un s e
migrupo entonces cualesquiera que sean n, m e N y x e A:
Xa

X*

Xa

xn

Sea (A* * ) un semigrupo conmutativo. Entonces si x 1} 3%, x3 e A

valen las relaciones:
(1 )

X1

x3

*3

X2

X1

*3

*2

x3

X1

x3 =

Xl

X3

X
n = X,3
-1

x2

X1

Cada expresin en las relaciones precedentes est evidente

mente ca ra cteriza d a por los subndices 1, 2 y 3 considerados en
un cierto orden. Es decir, cada expresin est caracterizada por
una "perm utacin" del conjunto [1 ,2 , 3}. Portanto, si s denota una
permutacin del conjunto {1 ,2 , 3 }la s relaciones (1) pueden e s c rib irs e
X1

x2

x3

x s(i)

x.

,(3)

(a)

En general dados
pertenecientes a un semigrupo conmutativo, se tiene que cualquiera
que sea la permutacin s del conjunto [ l , 2 , . . . , n }
" X3

* Xn = x s(l) *

x b ( 2)

o tam bin utilizando el signo de producto tt

s(a )

Una relacin importante vlida en semigrupos conmutativos es

la siguiente: cualesquiera que sean x, y e A y n e N:
(2)

(x * y )n = xn * y

P o r ejemplo, en el caso n = 2, su demostracin es la siguiente:

(x * y )s = (x * y) *
= x * (y *
= x * (x *
= (x * x) *
= x3* y2

(x
x)
y)
(y

*
*
*
*

y) =
y
y
y)

La demostracin general de (2) se realiza por induccin en n.

Ya la hemos demostrado para n = 2, Sea n > 2. Entonces
{x * y)n = (x * y)n_1 * (x * y)
= (xn-l * n-l) * (x *
_ xn
= xn_1
= (xB_1
- xn *

V (por hiptesis
inductiva)

* {yn * x) * y
* (x * y11"1) * y
* x) * (yn-1 * y)
yn

Obsrvese que para la demostracin de (2) slo se utiliza la

asociatividad de * y el hecho de que x e y conmutan entre s. P o r
tanto (2) es vlida en todo semigrupo y para todo par de elementos
del mism o que conmutan entre s.
Ejemplo. Sea (N, *) el semigrupo definido por x * y = x. Entonces,
s ix , y e N y n e N
(x * y)n = xn
xn * y11 = xn
P o r tanto
(x * y)n xn * yn
y sin embargo si x / y
x * y ^ y * x
Se sigue entonces que (2) no es equivalente a la conmuta ti vi dad de
x e y, o sea
x * y = y * x => (x * y)n = xn * y
cualquiera que sea n e N
siendo falsa la implicacin reciproca.

D.

Identidades e Inversos

Sea (A, *) un monoide. Resulta natural estudiar la existencia

en A de elementos que gozan de las propiedades anlogas al 0 en el

17

monoide (Z, +) y al 1 en el monoide (N,- ), a saber

m + 0 = 0+m
n 1 = 1 n

= m
= n

cualquiera que sea m e Z

cualquiera que sea n e N

Entonces
Definicin.
i.

Se dice que un elemento e e A es

identidad a la izquierda de * si

_______________________________ e * a -

a________________________________

cualquiera que sea a e A

ii.

identidad a la derecha de * si
a * e = a

cualquiera que sea a A

iii.

identidad de * si es simultnea laidentidad a la iz q u ie r d a y

a la derecha de *.

Es claro que en el caso de monoides conmutativos no es n e c e

sario hacer distinciones entre identidad a la izquierda y a la derecha.
Antes de dar algunos ejemplos anotemos la siguiente proposicin.
P roposicin . Sea (A, #) un monoide. Sean e x, e8 e A. Entonces,
si e x es identidad a la izquierda de * y
si e2 es identidad a la derecha de *, se tiene
e i = e2
Demostracin.

P o r hiptesis
ex * a = a
b * e3 = b

cualesquiera que sean a y b s A.

resulta
---------------------------------- *4 C orolario.

En particular si a = eg y b = e x

ei *

= ei------------------------------------

En todo monoide existe a lo sumo una identidad.

C oro la rio . Si un monoide no posee identidad pero posee iden

tidad a la izquierda {respectivam ente a la derecha) entonces no posee
ninguna identidad a la derecha (respectivam ente a la izquierda).
C orolario. Si un monoide posee identidad entonces posee una
nica identidad a la izquierda y una nica identidad a la derecha.
Ilustrem os con algunos ejemplos.

Ej emplos
1. (N, *) donde x * y = x. Todo elemento de N es identidad a la de
recha, pero no existe identidad a la izquierda.
2. (N, *) donde x * y = (x, y) = m ximo comn d ivisor de x e y.
No posee elemento de identidad.
3. (N, *) donde x * y = [x, y ] = mnimo comn mltiplo de x e y.
1 es elemento identidad,
4. (Z, *) donde x * y = x - y. Oes identidad a la derecha. No p o
see identidad a la izquierda.
5. Sea X un conjunto y sea (Aplc(X), o) el semigrupo de aplicaciones
de X, La aplicacin identidad id A: X -* X, definida por
id A(x) = x
cualquiera que sea x e X, es elemento identidad de (Aplc(X ), o).
Notacin.
identidad e.
Definicin.
Direm os que

Se denotar con (A, *, e) un monoide con elemento

Sea {A, *, e) un monoide con identidad.

Sea a e A.

i.-------- posee unin verso a la izquierda (respecto de e) si existe b e A

---------- tal que----------------------------------------------------------------------------ii.

b * a = e
posee uninverso a la derecha (respecto de e) si existe c e A
tal que
a * c = e

iii.

posee unin verso (respecto de e), o que es inversible, si existe

d s A tal que
d= c a = a =:d = e

Ejemplos
1.

En (N, . , 1) el nico elemento con in verso es el 1.

2.

En (Z, . , 1) los nicos elementos con in verso son 1 y - 1,

3.

En (Q, . , 1) todo elemento distinto de 0 posee un inverso.

4.

En el monoide cuya tabla de composicin es

*
0
1
2
3

0
0
0
1
2

1
0
1
2
3

2
0
2
0
1

3
0
3
2
1

i.

poseen in v e r s o a la izquierda:
2
1
3
3

0
1
2

3
ii.

0
= 1
1 = 1
2 = 1
3 = 1

poseen in v e rs o a la derecha:
1
3

1 * 1 = 1
2 * 0 = 1
3 * 2
= 3 * 3

=1

1
3

1 *1
3 * 3

= 1
=1

iii.

*
*
*
*

poseen inverso:
= 1 * 1
= 3 * 3

El ejem plo 4 s u g iere todo tipo de anomalas en cuanto a la exis tencia de in v e rs o s (a la izqu ierda, a la derech a). O b servem os, sin em
bargo, que dicho monoide no es asociativo. En el caso asociativo la
situacin es ms regular, segn lo indica la siguiente proposicin.
P ro p o s ic i n . Sea (A, *, e) un sem igrupo. Entonces si a e A p o s e e
un in v e rs o a la izq u ierd a b y un in v e rs o a la derecha c, se v e r ific a
b

D em ostracin
b = b * e = b * ( a * c )

= ( b * a ) * c

= e * c

= c

En virtud de la unicidad dada en la p ro p o sici n an terio r se adopta:

Notacin. Sea (A, *, e) un sem igrupo con identidad.
posee un in v e rs o b en A, e s c r ib ir e m o s a 1 = b.

Si a e A

Ejem plo. Sea (A p lc{N ), o, id N) el sem igrupo de aplicaciones del

conjunto de nmeros naturales. Sea f e A p lc (N ) definida por
f{n)

= 2n si

n e N

Sea g e A p lc (N ) definida por

g

i
n es par
h 1) /2 si n es im p ar

Es f c il entonces v e r i f i c a r que
g o f

id N

de m anera que g es in v e rs o a la izq u ierd a de f. Sin embargo, f no

pos ee ningninverso a la derecha. En efecto, de e x is tir un in verso
h a la derecha de f, se tendra g = h segn la proposicin an terior.

P e r o entonces f s e r a b iy e c tiv a , lo cual no es as.

Es f c il v e r
tam bin que f p o see in finitos in v e r s o s a la iz q u ie r d a , todos distintos
entre s.
P r o p o s ic i n . Sea (A,
e) un s em igru p o con identidad.
1 . si u e A p o see un in v e r s o a la iz q u ie r d a v e A y si x e A posee
un in v e r s o a la iz q u ie r d a y e A, entonces v * y es u n in v e r s o a la i z
quierda de x * u.
2.

Idntica p ro p o s ic i n con in v e r s o s a la derecha.

3. Si x ' es un in v e r s o de x y si u 1 es un in v e r s o de u, entonces
x * u es in v e r s ib le en A y se tiene
(x * u)'

= u1

D em o stra ci n . S er su ficien te p ro b a r 1 dado que 2 es de d e

m o s tr a c i n anloga y 3 es consecuencia de 1 y 2.
Se tiene p or h iptesis
v * u = e
y * x = e
p or lo tanto
(v * y) * (x * u) = v * (y * x) * u
= v * e * u = v >!tu
= e
c o n fo rm e q u eram os p rob ar.
Razonando inductivam ente se tiene:
C o r o la r io . Sea {A, *, e) un sem igru p o con identidad.
Sean
x 1? xa, . . , x,j elem entos de A c o n in v e r s o s en A x[, x, . . x, r e s p e c t i
vam ente. Entonces x x. x 2. . x es in v e r s ib le en A y
(x v x 2. . . X J '

. .x. x {

P r o p o s ic i n . Sea (A, *, e) un sem ig ru p o conidentidad. Si x e A

es in v e r s ib le , entonces su in v e r s o x 1 tam bin es in v e r s ib le y s a t is
fa ce
( x 1)' = x
D em o stra ci n .

Se sigue de la in te r p r e ta c i n de las igualdades

x * x'

= x ' * x

= e

en trm in os de la d efin icin de in v e r s o .

E.

Submonoides

Un p ro c e d im ie n to natural en el estudio de una estru ctu ra a l g e

bra ica es e l de in v e s t ig a r las estructuras "m s pequeas" de la
m is m a o, ms p ro p ia m en te dicho, la s llam adas su b estru ctu ras. En

21

muchos casos el conocimiento de c ie rta fa m ilia de subestructuras

p erm ite una descripcin de la estructura de partida (a manera de
ejemplo, para el le c to r informado, los grupos abelianos finitos e s
tn completamente determinados por el conocimiento de ciertos de
sus subgrupos " c c l i c o s " ) .
En este sentido definirem os en esta
seccin submonoide y subsemigrupo.
Definicin. Sea (A, * ) un monoide. Sea C un subconjunto de A.
D irem os que * define sobre C una estructura de submonoide, o ta m
bin simplemente que C es submonoide de A, si se satisfacen las
dos condiciones siguientes:
i.
ii.

C 7 0
x, y g C

=> x * y e

C.

Definicin. Sea (A, *) un monoide. Sea C un subconjunto de A.

D irem os que * define sobre C una estructura de subsemigrupo,
sim plem ente que C es un subsemigrupo de A, si se satisfacen las
dos condiciones siguientes:
i.
ii.

C es submonoide de A
* es asociativa sobre C, o sea
x * (y * z)

= (x * y) * z

cualesquiera que sean x, y, z en C! .

----- Si C es submonoide de un monoide (A, *), entonces la re s tric c i n
de * a C define sobre C una estructura de monoide, de manera que
todo submonoide es, en form a natural, un monoide. Anlogamente,
un subsemigrupo de un monoide es, en fo rm a natural, un semigrupo.
E je r c ic io .
semigrupo.

P r o b a r que todo submonoide de un semigrupo es

Antes de entrar a la consideracin de ejemplos especficos, ob

servem os que todo monoide (A, * ) posee siem p re un submonoide, a
saber, el m ism o A.
Ejemplos
1.

Sea <Z, * ) donde x * y = x - y. Entonces:

a) C = {0 }
b) C
-4 , -2 , 0,2, 4,
= {2 m / m e Z}

son submonoides de (Z, *); a) es subsemigrupo, pero b )n o lo es. La

parte a) admite la siguiente generalizacin: sea A u n monoide y sea
a e A un elemento idempotente, o sea tal que a2 = a * a = a. Enton
ces { a } es un subsemigrupo de A.
2. Sea (A, *) donde A = [0, 1, 2} y donde x * y = x.
subconjunto no vacio de A es un submonoide de A.

Entonces todo

3.

Sea (A, * ) dado p or la tabla

0
1
2

0
0
1
2

1
1
2
0

2
2
0
1

entonces
C =

{0 }

C =

[0 ,1 ,2 ]

son los nicos submonoides de A.

4. Sean X un conjunto e Y <= X un subconjunto. Sea A = P ( X ) el
conjunto de partes de X. Sea (A, * ) el m onoide definido por
u * v = u n v
u <= X, v c x
C = P ( Y ) a P [ X ) es submonoide de {A, * ). O b s r v e s e en este e je m
plo que
X es identidad de (A, * )
Y X

= X i

(en efecto, u 0 X = u)

portan to, un submonoide no "h e r e d a " n e c e s a ria m e n te la identidad

del monoide, si ste ltim o p o see una.
5. Sea {A, * ) un sem igru p o y sea a e A un elem en to que fija m o s de
antemano. Sea
Ca =

[a k / k e N j

el conjunto de todas las potencias naturales de a.

a* * aJ =

Las rela c io n e s

ak+J

y el hecho de s e r Ca ^ 0 m u estra n que Ca es submonoide de A , Este

submonoide tiene la propiedad: si C es submonoide de A y ademas
a e C, entonces Ca cz C. En este sentido C , e s e lm e n o r submonoide
de A que contiene a y se le denomina el submonoide engendrado por
a. Ilu s tre m o s esp ecia liza n d o A y a .
i.

(A, * )

(N, +).
a =
a3 =

Notem os que
a * a = a + a = 2a
a * a * a = a + a + a =

Entonces
Cx - {1 ,2 ,3 ,...}
c , = [2 ,4 , 6 , . . . }
ii.

(A, * )

= N

(N, . )

[1 }
C3 = [2 ,4 ,8 ,1 6 , 3 2 , . . }
C3 = [3, 9, 27, 81, . . . }
C, =

3a

23

6. Sea (A ,
e) un s e m ig ru p o con identidad. Sea U (A ) la totalidad de
elem en tos i n v e r s ib le s de A. ( L a ra z n de u t i l i z a r U (A ) se debe a que
los elem en to s i n v e r s i b l e s su elen l l a m a r s e ta m b i n unidades de A . )
N u e s tra a fir m a c i n es: U {A ) es un s u b sem igru p o de A . En efecto,
U (A ) ^ 0 dado que e e U (A ). L a r e la c i n
v 1 * u'

(u * v ) '

nos d ic e que
u, v e U (A )

=>

u * v e U (A )

P u e s to que la a s o c ia t iv id a d d e * s o b r e U (A ) es con secu en cia de

la a s o c ia tiv id a d de * en A , se tiene que U (A ) es un su b sem igru p o de
A: e l s u b sem igru p o de e lem en to s in v e r s ib le s de A (o tam bin el
su bsem igru p o de unidades de A ).
P a rticu la ricem o s A.
a) Sea X un conjunto no v a c io y sea A p l c ( X ) = A
de a p lica cio n es de X. Entonces
f e U (A p lc {X ) )

el s em ig ru p o

E x is te g e A p l c ( X ) ta l que
f o g = g o f = id x
f es b iy e c t iv a

P o r lo tanto, U (A ) c o in c id e con la totalidad de a p lic a c io n e s b iy e c tiv a s de X en X, o sea con las t r a n s fo r m a c io n e s de X. E s c r i

bim os
U ( A p l c {X ) ) =

T r a n (X )

y lo denom inam os e l s e m ig ru p o de t r a n s fo r m a c io n e s de X .
b) Sea A = (Z, ., 1 ). Entonces U (A ) = [1 , - 1J .
c) Sea A = (N, ., 1). Entonces U ( A ) = { l } .
d) A = [ l , 2, 3, 6} con x * y = (x, y ) = m x im o comn d i v i s o r de
x e y. Entonces U (A ) = [6 }.
e) Sea A = (Z, +, 0). Entonces U { A ) = Z.

F.

M orfism os

El m odo natural en m a te m tic a de v in c u la r dos conjuntos A y B

es m edian te a p lic a c io n e s de A en B o v ic e v e r s a . P o r supuesto que
m s que conjuntos lo que in t e r e s a es r e la c io n a r las prop ied ad es
que p o seen los m is m o s y, p o r tanto, las a p lic a c io n e s de uno en o tro
deben tam bin r e la c io n a r las p ro p ied a d es en cuestin. En nuestro
estudio, p o r e je m p lo , los conjuntos p o s e e n le y e s de c o m p o s ic i n .

Si intentamos e s ta b le c e r una r e la c i n en tre dos de tales conjuntos

debem os entonces buscar que las aplicaciones " r e s p e t e n " esas l e
yes de co m p o sici n . P o r ejem plo, lo s conjuntos N y Z de nm eros
naturales y de enteros poseen ambos la propiedad conjuntista de
s e r coordinables entre s, o s ea q u e e x iste una ap licacin b iy ectiva
(1)

f : Z -

A h o ra en N y Z hay, en ambos casos, le y e s de c o m p o s ic i n c o

mo, p o r ejem plo, la suma. Sin em bargo, no e x iste ninguna aplicacin
b iy e c tiv a (1) que p r e s e r v e dichas le y e s de com posicin, o sea que
no existe una a p lica cin b iy e c tiv a f : Z -* N tal que
(2)

f (m + n) =

f(m ) + f(n )

Las razones son muy s e n cilla s, ya que de e x is t ir una tal a p lic a

cin se v e r i f i c a r a lo siguiente:
(3)

f (m )

= f (m + 0) = f (m ) + f (0)

p e ro tratndose de nm eros naturales

f ( m ) ji f ( m ) + f (0)
de m a n era que (3) es un absurdo, consecuencia de suponer la e x i s
tencia de una a p lica cin f : Z -* N con la propiedad de p r e s e r v a r las
" s u m a s ". Note el le c t o r que en rea lid a d la condicin de s e r f b iy e c tiv a no es n ecesa ria ,p o r lo que,en definitiva,hem os probado
que no existe ninguna a p lica cin f: Z -* N que p res e r v e las sumas en
sentido de (2).
F o r m a lic e m o s ahora la discusin a n te rio r:
m o n o id e s .

sean (A, #) y (B, * )

D efinicin. Se denomina m o r fis m o o tam bin h o m o m o rfis m o

de {A, * ) en (B, *), o sim p lem en te de A en B, a toda aplicacin
f : A -* B que satisfaga:
f (x * y )

= f (x) * f (y)

cu alesqu iera que sean x, y A.

A dem s, si A y B pos een elem entos identidad (que denotamos en
ambos casos p o r e) f s a tis fa c e
f(e )

= e

Un m o r fis m o de A en A se denomina tam bin e n d om orfism o de A .

V eam os algunas propiedades de m o r fis m o s y, p or razones de
sim plicidad, supongamos que A y B son sem igru pos.
1) Si x, y, z A entonces
f ( x * y * z)

f (x) * f (y ) * f (z )

o, en general, si x x, . . x denotan elementos de A se tiene

f ( x x * ..

* xj

= f ( x x) *

* f(x j

en particular si Xj^ = . . = x = x
f(x ) = f(x )n
2) Si A y B poseen ambos elementos identidad, que denotamos
por e, y si x e A posee un in verso a la izquierda y' se tiene
f (y) * f (x)

= f (y * x)

= f{e )

= e

por lo tanto f(y) es uninverso a la izqu ie rda de f(x).Nte s e el uso de

la hiptesis f ( e ) = e. Anlogamente, setien e el resultado para unin
verso a la derecha. Reuniendo los dos resultados se tiene que si x
posee uninverso x' en A entonces f(x) posee un inverso f(x ') en B y por
la unicidad del in verso se tiene
f(x ')

= f(x )'

f : A

P o r lo tanto
B

restringida al subsemigrupo U(A) induce un m orfism o que se denota

tambin por f:

26

f : U(A)

U(B)

Nota. P a ra los semigrupos numricos donde la ley de compo

sicin es la suma, la relacin f ( x ' ) = f ( x ) 1 se interpreta como
f ( - x) = - f ( x ) . P a ra el caso multiplicativo la interpretacin es
f(x-1) = f(x )-1.
E je rc ic io . Sea A un semigrupo y sea B un monoide. Prob ar
que si existe un m o rfism o s o b r e f : A - * B , B e s un s emigrupo. Adems,
si e e A es elemento identidad entonces f (e) es elemento identidad
de B.
Ejemplos
0. Sea (A, *) un monoide. JLa aplicacin idA : A -* A es un m o r f i s
mo que llamamos el m orfism o identidad de A.
1. Sean (A, #, e) y (B, *, e) monoides con identidad.
aplicacin constante f: A - B definida por
f(x )

Entonces la

= e

cualquiera q u e s e a x e A es un m orfism o, que llamamos el m orfism o

triv ia l (de A en B).
2. Sean los monoides (Q, +, o) y (Z, +, 0). Demostremos que el nico
m o rfism o de Q en Z es el dado por el ejemplo anterior, o sea que
f (q)

= 0 cualquiera que sea q e Q

Sea, en efecto, f : Q -* Z un m orfism o y sea r/s e Q.

Entone es
f(r/ s )

= f(2 r/ 2 s ) = f( 2 ( r / 2 s ) )
= f (r / 2 s ) + f(r / 2 s )
= 2 f (r / 2 s )

= f(r/ 2 s + r/2s)

y en general, si n e N,
f ( r / s ) = f(nr/ns)

= f(n (r / n s ))

= f (r/ns + . . . + r/ns)
n veces
------------------------=f (r/ns) + . . . + f (r/ns)------------------------------------= n f(r/ n s )
Se sigue entonces que el numero entero ( !)
f(r/ s )
es divisible en Z por cualquier entero positivo n.
slo si
f(r/ s ) = 0

Esto es posible

dado que cualquier nmero entero no nulo posee slo un nmero

finito de factores (consecuencia del T eo rem a Fundamental de la
A ritm tica). Siendo r / s e Q arbitrario, nuestra afirmacin queda
probada. (Este ejemplo ilustra tambin la discusin informal que
se presenta al comienzo de esta seccin. En efecto, en el monoide
Q es vlida la divisibilidad por enteros no nulos, es decir, que cual
quiera que sea x e Q y cualquiera que sea n e N existe ye Q tal que
x = n
Ahora puesto que
x = n y = y + y +. . + y (n veces)
y f es un m orfism o
f (x) = n f (y)
de manera que " f p re s e rv a la divisibilidad por enteros no nulos".
Puesto que este tipo de divisibilidad - - o sea para todo n-- no es
vlido en Z, salvo para el caso trivia l
0 = n *0
se entiende bien que el nico m orfism o de Q en Z debe ser el t r i
vial).
3. Sea (A, * ) un semigrupo conmutativo. P a ra cada n e N la apli
cacin
f. : A
definida por

27

es un m o rfis m o del monoide A en si m ism o.

consecuencia de las relaciones

En efecto,

esto es

(x * y)n = xn * y
vlidas en un semigrupo conmutativo. Ilustrem os especializando A.
i.

(A ,*)

= (N, . )
fn(x) =

ii.

(A ,*)

*X.

. . X

= xn

= ( N , +)
fn (x) = x + x + . . .

iii.

+ x = nx

Sea (A, *) el semigrupo definido por la tabla siguiente

28

Notemos que este semigrupo no es conmutativo.

f 3 no es un m o rfism o de A en A.

V erem os que

En efecto, puesto que

4 *5

= 2

debera tenerse
fg {4 * 5) = f a (4) * f ( 5 )

= 43 * 53 = 1 * 1 = 1

y adems
fa (4 * 5) = f3 (2) = 2 2 = 3
P o r lo tanto f no es un m o rfis m o a causa de la no conmutatividad de

G.

Submonoides Asociados a Un M o rfism o

Sean (A, *, e) y (B,

e) monoides con identidad y sea

f : A

un m o rfism o.

-> B

Sean los subconjuntos

Im (f) C B
N u (f) c A
definidos por
Im (f) =
Nu ( f } =

{ y / y e B y existe x e A con. f (x) = y ]

[ x / f (x) = e]

P ro p o s ic i n
a) Im (f) es submonoide de B.
b) Nu (f) es submonoide de A.
D em ostracin
a) Se
Sean y 1( yg e Im (f).
tales que

P o r su definicin existen x 1} x2 e A
f ( x i) = Y i
( x 3) = y 3

y siendo f un m o r fis m o
y i * y2 = f <xi) * f (X2 ^ = f (x i * * 2 )
lo cual dem uestra que
y1 * y3 e Im (f)
Notemos que f (e) = e im p lica lm (f) j 0.
b)

Sean x 1? x3 e Nu (f).

P o r su definicin se v e r ific a
f(x i) = e
f ( x 2) = e

y siendo f un m o rfis m o
e = e * e = f (x x) * f (x ^

f (Xl * x3)

lo cual dem uestra que

x x * x2 e Nu (f)
Notemos que f (e) = e im p lica que Nu (f) ^ 0.
Definicin. Los submonoides de la p roposicin anterior se d e
nominan submonoides asociados a f; en particular se denominan
Im (f) im agen de f
Nu (f) ncleo de f
Ejem plos
1. Sean (A,
e) y (B, *, e) monoides. Si f denota el m o rfis m o t r i
v ia l f (x) = e, se tiene

2. Sea (A, * f e) un m onoide y sea f el m o r fis m o identidad id Aj o sea

f (x) = x. Se tiene
Im (f) = A
Nu ( f ) = { e j
3. Sea (A,
Sea f : Z -

*
e) = (Z, . , 1) y {B, *
e) = (N U [0 ],
N U { 0 } el m o r fis m o f = f3 o sea
f(x )

= x2

{0, 1, 4, 9, 16 ,

Entonces
Im (f)
Nu (f)
4.

=
=

[n 2 / n e N] U [0 j

{-1,1}

Sea (A, *, e) el monoide definido por la tabla

0

Sea {B, *, e) el m onoide definido por la tabla

L a ap licacin f : A

-* B definida por

f(0 )
f(l)

= a
= b

f (2) = a
f (3) = b

es un m o r fis m o (segn podr v e r i f i c a r el le c t o r ).

Im (f) = B
Nu ( f ) = { 0 , 2 }

H.

Semigrupo de Morfism os
Sean (A, *),

(B, * ) y (C, *) m on oides.

y
m o r fis m o s .

g : A -* B
f : B - C

Entonces la com p o sici n

Sean

Se tiene

. , 1)

f o g : A
es un m o r f i s m o .

En e fe c t o ,

- C

s e a n x, y e A

( f o g) (x * y )

f (g (x

* y) )

=
=
=

f (g (x ) * g (y ) )
f ( g ( x ) * (g ( y ) )
(f O g) (x ) * ( f O g) (y )

A d e m s , si A, B y C son to d o s m o n o id e s c o n e le m e n t o id e n tid a d
e, re su lta
---------------------------( f o g ) ( a ) - f ( g ( ) ) = f ( e ) = e-------------------------queda p o r tanto p r o b a d o que f o g es un m o r f i s m o .
L a d is c u s i n p r e c e d e n t e nos l l e v a a d e f i n i r un s e m ig r u p o de s u
m a im p o r t a n c ia .
En e fe c t o , a p lica n d o lo a n t e r i o r a la s itu a c i n
A

s e t ie n e que si f y g son m o r f i s m o s de A en A:
f : A

-* A y g : A

-* A

la c o m p o s i c i n
f o g : A

31

es un m o r f i s m o de A .
P ro p o s ic i n .
de A entonces

Si End ( A ) den ota la to ta lid a d de e n d o m o r f i s m o s

(, g )

f o g

d e fin e s o b r e End ( A ) una e s t r u c t u r a de m o n o id e con id en tid a d .

A d e m s , (End (A ), o) es un s e m i g r u p o y es s u b s e m ig r u p o de
A p lc (A ).
D em o straci n .
L a p r o p o s i c i n queda e n t e r a m e n t e p ro b a d a
m o s t r a n d o que E n d (A ) es un su b m o n o id e d e l s e m i g r u p o A p l c ( A ) d e
" a p l i c a c i o n e s " de A en A . L o dich o a n t e r i o r m e n t e p ru e b a eso e f e c
t iv a m e n t e . E l e le m e n t o e = i d Aid en tid a d de A p l c ( A ) es un m o r f i s m o
y p o r lo tanto p e r t e n e c e a E n d (A ).
Definicin. E n d (A ) = (E n d (A ), o) r e c i b e e l n o m b r e de s e m i
grupo de e n d o m o r f is m o s de ( e l m o n o id e ) A .
En el dibujo s ig u ie n te s e m u e s t r a lo s d is tin to s s e m ig r u p o s a s o
cia d os al m o n o id e A . L a " z o n a " d e s ig n a d a p o r A u t ( A ) s e r o b je to
de estu dio m s a d e la n te .

I.

Tipos de M o rfis m o s

A l l e c t o r puede r e s u l t a r l e a h o ra natural la id e a de in tr o d u c ir
m o r f i s m o s que le p e r m it a n r e l a c i o n a r d ife r e n t e s (o a p a re n te m e n te
d i f e r e n t e s ) e s tru c tu ra s a lg e b r a ic a s (en e s te c a s o se t r a t a de m o
n o id e s ). H a y a d em s o tr a r a z n p a r a in t r o d u c ir m o r f i s m o s , y es
sta, en e l fondo, la r a z n fundam ental. En lg e b r a al e stu d ia r
un c i e r t o tipo de e s tr u c tu r a (m o n o id e, grupo, a n illo , etc. ) se c o n
s id e r a n dos tipos de m o d e lo s o e je m p lo s : a b s tr a c to s y c o n c r e to s .
A s i, un m o d e lo a b s tr a c to de m o n o id e c o n s is t e en un conjunto A y
una l e y de c o m p o s ic i n * de m a n e r a que los e le m e n to s d el conjunto
son entes a b s tr a c to s s o b r e lo s cu ales no dam os ninguna d e s c r i p
cin, y l o m is m o su ced e con r e s p e c t o a la l e y de c o m p o s ic i n . Un
m o d e lo c o n c r e t o de m o n o id e es aqul en que lo s e le m e n to s de A
a d m ite n una r e p r e s e n t a c i n m a te m tic a ; p o r e je m p lo , s o n n m e r o s
r o ta c io n e s , t r a n s fo r m a c io n e s , a p lic a c io n e s de un conjunto en o tr o
y la l e y de c o m p o s ic i n a d m ite una r e p r e s e n t a c i n n atu ral en t r
m in os de dichos o b je to s . De ta l f o r m a , s i lo s e le m e n to s de A son
t r a n s f o r m a c io n e s , entonces la l e y de c o m p o s ic i n puede s e r la
c o m p o s ic i n de t r a n s f o r m a c io n e s .
R e s u lta en ta l c a s o im p o r t a n t e p a r a e l estudio de la s e s t r u c t u
ras a lg e b r a ic a s p o s e e r un m o d o de " r e p r e s e n t a r e s tru c tu ra s a b s
tr a c ta s m edian te' e s tr u c tu r a s c o n c r e t a s " . En n u estra s itu a ci n de
m o n o id es, p o r e je m p lo , i n t e r e s a p o d e r r e p r e s e n t a r m o n o id e s a b s t r a c t o s en m o n o id e s c o n c r e t o s . Asi", si A es un m o n o id e a b s tra c to
in t e r e s a e n c o n tr a r un m o n o id e c o n c r e t o M {un m o n o id e n u m r ic o
o un m o n o id e de a p lic a c io n e s ) y un m o r f i s m o f : A
- M que
c o n s e r v e al m x im o la e s tr u c tu r a de A .
m e n te a la d e fin ic i n sig u ie n te .

E s ta id e a l l e v a n a tu r a l

D e fin ic i n . Un m o r f i s m o f : A -* B de m o n o id e s se d e s ig n a r
un m o n o m o r i s m o si la a p lic a c i n f es in y e c t iv a , o s e a s i

c u a le s q u ie r a que sean x, y A, x ^ y => f ( x ) ^ f ( y )

Un m o n o m o rfis m o f : A
submonoide de B. En efecto,
id en tifica ci n es

-* B p e r m ite " id e n t ific a r " A a un

Im (f) es un submonoide de B y la

a - f (a)
E jem p lo .

Sean los m onoides dados por las tablas de com posicin:

A
a

B
1

*
b

La ap licacin
B

f : A
definida por
f(a)
f(b)

=
=

0
2

define un m o n o m o rfis m o de A en B y " v a " f es entonces p osible

id e n tific a r A con el submonoide [0, 2] de B.
Sea ahora f : A

B un m o n o m o rfis m o de m onoides tal que

Im (f)

entonces A es id en tifica b le a B y a s los m onoides A y B son a lg e

b ra ica m en te indistinguibles. Este es el concepto im portante de
is o m o r f is m o
D efinicin. Sea f : A -* B un m o r fis m o de m onoides. D ire m o s
que f es un is o m o r fis m o si
i.
ii.

f es un m o n o m o rfis m o
Im (f) = B

En otros trm in os, f es un is o m o r fis m o si f com o ap licacin de

A en B es b iyectiva.
Un c r i t e r i o til para d e te rm in a r si un m o r fis m o es u n is o m o r fis m o es el siguiente:
T e o r e m a , Un m o r fis m o f : A -* B de m onoides es un i s o m o r
fis m o si, y slo si, e x iste un m o r fis m o g : B -* A tal que las
com posicion es

satisfacen
g o f = id A

f o g = ide

D em ostra cin . Sea, p rim e ra m e n te , g: B -* A un m o r fis m o que

satisface las condiciones del teorema tal que
g o f

= id A

f o g = ide

vamos a p ro b a r que f es un is o m o r fis m o , es d e c ir que f es b iy e c

tiva. Esto se debe al hecho de s e r g una aplicacin in v e r s a de f.
P a r a conveniencia del le c t o r re p e tim o s la dem ostracin:
f es in y e c tiv a : sean x, y e A entonces
f ( x ) = f (y) im p lic a g { f (x) = g (f (y), o s e a
(g f) (x) = ( g o f ) (y), o sea x = y
f es sob re
: sea z e B, entonces g { z ) e A sa tisfa ce
z = id 8(z ) = (f o g) (z ) = f (g ( z ) )
R ecip ro ca m en te, sea f u n is o m o r fis m o . f es entonces una a p li
cacin b iy e c tiv a de A en B y p o r lo tanto existe una "a p lic a c i n "
in v e r s a g : B -* A, es d e c ir una ap licacin que satisface
g o f

= id*

f o g = dB

Se trata ahora solam ente de p ro b a r que g es un m o r fis m o . Sean

pues z, v e B. Entonces
f{g(v))

f{g(z))

de m an era que
z * v = f ( g ( z ) )
= f(g(z)

* f (g (v) )
*

(y siendo f m o r fis m o )

g(v))

P o r lo tanto (aplicando g y utilizando g o f

g ( z * v) =
=
=
=

= id A)

g ( f ( g ( z ) * g (v) ) )
( g o f ) (g (z ) * g ( v ) )
id A( g ( z ) * g ( v )
g(z) * g(v)

lo cual d em u estra que g es un m o r fis m o .

C o r o la r io . Con la notacin del te o r e m a an terior, g es un i s o
m o r fis m o de B en A.
Demostracin. Es consecuencia del papel s im tr ic o que juegan
f y g en la condicin del te o re m a .
Definicin. D ire m o s que un m onoide A es is o m o r fo a un m o
noide B si e x iste un is o m o r fis m o f : A -* B.

Teorem a.
i.
ii.

Sean A, B y C m onoides

Si A es i s o m o r f o a B entonces B es i s o m o r f o a A.
Si A es i s o m o r f o a B y B es i s o m o r f o a C, entonces A es i s o
m o r fo a C.

Demostracin.
i. es con secu en cia d el c o r o l a r i o .
ii. Sean f : A - B y
g : B - * C i s o m o r f i s m o s . E x is te entonces
m o r fis m o s f ' : B -* A
y
g1: C
B tales que
f ' o f = i d A, f o 'i _= i d 6
g' o g = i d B, g o g' = idc
P o r lo tanto
(g o f ) o (P o g )

go (f o f 1) o g 1 = g o id B o g 1

( f 1 o g ') o (g o f )

g n '
idc
f ' o ( g 1 o g) o f
f'of

= f

o id B o f

dA
P o r lo tanto
f 1o g1: C

g o f : A

-* C

es m o r f i s m o in v e r s o de

y, en virtu d del t e o r e m a a n te r io r , g o f es un i s o m o r f i s m o de A en
C, o sea A es i s o m o r f o a C.
A p lic a c i n . A n a lic e m o s el ca so de i s o m o r f is m o s de A en s
m is m o . Sean A p lc (A ), T r a n ( A ) y End (A ) los s e m ig ru p o s de a p l i
cacion es de A, de t r a n s fo r m a c io n e s de A y de e n d o m o rfis m o s de
A, re s p e c tiv a m e n te . Sabem os que T r a n ( A ) y End ( A ) son subsem igru p os de A p lc (A ).
D efin icin . L la m a r e m o s a u to m o r fis m o de A a todo is o m o r f is m o
de A en s m is m o . Con Aut (A ) denotamos la totalidad de au to m o rfis m o s de A . Se tien e entonces los siguientes resultados:

1)
2)
P o r lo tanto Aut (A ) es un sem igru p o , que denom inam os el s e
m ig ru p o de a u to m o rfis m o s del m on oide A .
Sealem os un tipo p a r tic u la r de au to m o rfis m o s de un s em igru po
(A, *, e) d eterm in ad os in trn s e c a m e n te p o r A . Sea u e A un e l e
m ento in v e r s ib le . C o n s id e re m o s la a p lic a c i n g : A -* A d efinida p or

A fir m a m o s que g es un au tom orfism o de A .

En efecto,

g (a i * a a) = u * (a i * aa) * u '
= u * ax * (u1 * u) * a2 * u'
= (u * a.1 * u ') * (u * ag * u 1)
= g ( ai) * g ( a a)
P o r lo tanto, g a s definido es un en dom orfism o. P r o b e m o s que
g es un au tom orfism o. Ser suficiente encontrar un in v e r s o de g
Sea h : A -* A definido por h (a) = u 1 * a * u. Entonces, por la
m is m a d e m o s tra c i n hecha para g, se tien e que h es un en d om or
fism o de A.
Puesto que adems
(g o h) (a) = g (u' * a * u)
= u * (u1 * a * u) * u*
= a
(h o g) (a) = h (u * a * u')
u
= u i * <u
u')
= a
s e tiene que h es in v e r s o de g. O s e a , g e A u t(A ) c o n fo rm e queram os
p ro b a r. P o r lo tanto, si In t(A ) es el conjunto de las aplicaciones asi
definidas,
Int (A ) c A u t ( A )
Notem os tambin que
id A g Int (A )
dado que
a = i d A{a) = e * a * e = e * a * e 1
Sean g, f e Int (A ) definidos p or u, v e A mediante
g ( a ) = u * a * u'
f (a) = v * a * v'
Entonces
(g o f) (a)

=
=
=

g ( v * a * v ') = u * ( v * a * v ') * u'

(u * v ) * a * ( v 1 * u')
(u * v ) * a * (u * v)'

p or lo tanto
g o f s Int (A )
Se ha probado pues que Int (A ) es submonoide de Aut (A ). Los
elem entos de Int (A), denominados los au tom orfism os in te r io r e s
de A, estn por lo tanto determ inados por los elem entos i n v e r s i
bles de A . N otem os que si u e A es un elem en to in v e r s ib le tal que
u * a = a * u
entonces el a u tom orfism o asociado a u es la identidad:

P o r lo tanto, si f (0) / 0 existe (segn la tabla) y e A tal que

y * f (0) =

por lo tanto
1 = y * f (0) = y * f ( 0 ) * f (x) = f (x)
y siendo x a rb itra rio , f es el m o r fis m o tr iv ia l. E n p articu lar f (0) = 1
Tratndose adems de un monoide con identidad 1 se v e r ific a
(dada la definicin de m o r fis m o ) que
f (i)

cualquiera que sea f e End (A).

Adem as, si x e A , x / 0 entonces
f(x)

es im p o s ib le . En efecto, x ^ 0 im p lica (segn la tabla) la existen

cia de x' e A tal que x' * x = 1, por lo tanto
f (x)

38

= 0 im p lica 1 = f ( l ) = f ( x 1 * x)
= f ( x ' ) * f (x)
= f(x') * 0

= 0
lo cual es un absurdo.
Ntese a sim ism o que
2 *2 = 4
2 * 2 * 2 = 3
2 * 2 * 2 * 2 = 1
im p lic a para un m o r fis m o f, que los va lores
f<4),

f (3)

estn condicionados al v a lo r f ( 2) .
Investiguem os, por lo tanto, los v a lo re s posibles de f(2).
sulta

Re

R ecprocam en te, si definim os aplicaciones f : A -* A segn a), b),

c) y d) obtenemos, com o es f c il v e r i f i c a r , en dom orfism os de A. Se
tiene en defin itiva que End (A ) consta de los 5 en dom orfism os, que
se d e scrib en a continuacin.
X

fo (x )

fi(x)

f E(x )

fa (x )

f4 (x)

Se sigue que
Aut (A )

{ i> 4 }

La tabla de com p osicin de End (A ) es la siguiente:

O

f0

fo

f0

fl

f2

fa

fo

fo

f0

^0

f0
2

f
*3

f
I4

f2

f0

fg

f0

fs

fa

^3

f3

^1

^4

f0

f4

fg

f4

f2

2. Sea A = (N, +) el monoide aditivo de los nmeros naturales. Si

f es un endom orfism o de A y si
f(l)

= a

entonces
f (2)

= f (1 + 1 )
= 2a

f (n)

= na

= f(l) + f(l)

a + a

es d ecir, f est unvocamente determ inada p or el v a lo r que toma

sob re 1, o sea p or a = f (1). R ecp roca m en te, si a e N podemos
d efin ir la aplicacin
g : N -* N
g (n) = n a
la cual s a tisfa ce
f (n + m )

= {n + m ) * a = n * a + m a
= f (n) + f (m )

o sea que g es un m o r fis m o de A.

39

A m an era de e je r c ic io , se deja al le c t o r d e s a r r o lla r un ejem plo

anlogo al a n te rio r en la situacin siguiente {A , * ) = (Z, + ) e l m o noide aditivo de los nmeros en teros. E l resultado s e r
End (A ) Aut (A ) -

(Z, . )
U ,-l]

3. Sea A = {1, 2, 3, 5, 6, 10, 15, 30} = totalidad de d iv is o r e s de 30.

Entonces a1 * a3 = (ai, *a) = m xim o comn d iv is o r de a^^ y ag d e
fine sob re A una estructura de sem igrupo conidentidad e = 30. Sea
X = {2, 3, 5} = totalidad de d iv is o r e s p rim o s de 30. Sea C = P (X) =
la totalidad de partes de X. Sea (C, fl) el m onoide definido por la
in te rs e c c i n D de conjuntos. C es entonces un sem igru po con id e n
tidad e = X. A y C admiten la siguiente d escripcin :

(,)

10

15

30

10

10

10

15

15

15

30

10

15

30

C:
n

{2 }

{3 }

15}

{2, 3}

[2, 5}

3, 5}

{2 }

{2}

{2 }

{2 }

{2 }

13}

{3 }

{3 }

{3 }

{3 }

5 ]

{5 }

{5 }

(5 }

{5 }

{2,3}

{ 2}

{3}

{2,3}

{2}

{3}

{2, 3}

{2,5}

{2}

{ 5}

(2}

{2, 5}

{5}

{2, 5}

3, 5}

{3}

{5}

{3}

{5}

{2}

{3}

{5}

{2,3}

{2, 5}

{3,5} {3,5}
{3, 5}

Sea ahora
f : C -

definida por
f<0) = 1 f ( ( 2 } ) = 2 f ( { 3 } ) = 3 f ( { 5 } ) = 5
f < { 2 , 3}) = 6 f ( { 2 , 5}) = 10 f ( { 3, 5] ) = 15
f ( X ) = 30
f es eviden tem en te una a p lic a c i n b iy e c tiv a de C en A. A d em s,
observan do ambas tablas de c o m p o s ic i n vem os que f es un m o r
fis m o . En d efin itiva, f es un i s o m o r f is m o .
Nota. E l e je m p lo a n t e r io r es un c a so p a r tic u la r de la siguiente
situacin g en era l, cuya d e m o s tr a c i n no es d i f c i l y puede s e r un e j e r
c ic io til pa r a el le c t o r . Sea s un en tero p o s itiv o con la propiedad
siguiente:
ningn d iv is o r de s, excepto 1, es un cuadrado
(p o r ejem p lo: s = 1 5 , 2 1 , 2 1 0 , . . ) . Entonces, si A designa el m o
noide de la totalidad de d iv is o r e s de s con la le y de c o m p o s ic i n
m x im o comn d iv is o r , y s i C es e l m onoide de la totalidad de p a r
tes del conjunto de d iv is o r e s p r im o s de s con la le y de c o m p o s ic i n
in te r s e c c i n , se tie n e que A y C son m on oides is o m o r f o s . E l i s o
m o r f is m o puede e s t a b le c e r s e m ediante la a p lic a c i n f : C -* A
que a s o c ia a cada subconjunto no v a c io de fa c t o r e s p r im o s de s el
producto de los m is m o s , y que a s o c ia 1 al conjunto vaco, en s m
bolos

0 Pl? >Pki

1
Pl* Pk

( E l l e c t o r puede in v e s t ig a r qu sucede si s es
cuadrado ^ 1! )

d iv is ib le p o r un

4. Sea X un conjunto y sea P ( X ) el conjunto de p a rtes de X. Sean

s o b re P (X ) las dos sigu ientes estru ctu ras de m onoides
A =
B =
Sea f : A
f (V )

( P (X ), U)
{p ( x ) , n)

-* B la a p lic a c i n
=

QV

= X - V (= co m p lem en to de V en X)

es f c i l v e r que f es una a p lic a c i n b iy e c tiv a .

A hora,

en virtu d de una de las le y e s de De M o rg a n se tiene

f ( V i U V a) =

O i V i U

ffvj

v 8)

(7Vi) n

(C V 2 )

n f ( v a)

p o r lo tanto, f e s ta b le c e un i s o m o r f i s m o de ambas estru ctu ras.

J.

Construccin de Nuevos Monoides

En esta seccin vamos a estudiar la con stru ccin dem on oides a

p a rtir de monoides dados.
a.

Monoide de aplicaciones

Sea (A, * ) un monoide. Sea X un conjunto no vacio. C o n s id e re

mos el conjunto denotado p or
A p i (X, A )
form ado p o r todas las aplicaciones X en A.
Vamos a d efin ir en
Api (X, A ) una le y de com posicin. La definicin es completamente
natural: sean f, g e Api (X, A ) y sea x e X, entonces
f (x) e A

g (x) e A

p or lo tanto
f (x) * g (x) e A
Definicin.

L a aplicacin de X en A definida p or
x -* f (x) * g (x)

la denotaremos p or
f * g
y la denominaremos la com posicin puntual de f con g. Es cla ro
que la com posicin puntual define en A p l(X , A ) una estructura de
monoide que denominaremos el monoide de aplicaciones de X en A.
P ro p o s ic i n .
X en A.
i.
ii.
i ii.

Sea (Api (X, A ), * ) el monoide de aplicaciones de

Si A es sem igrupo entonces Api (X, A ) es semigrupo.

Si A es conmutativo entonces Api (X, A ) es conmutativo,
Si A posee identidad (resp ectivam ente, a la derecha y a la
izqu ierda) entonces A pi (X, A ) posee identidad (r e s p e c tiv a
mente a la d erecha y a la izq u ierd a ).

Demostracin
i. Debemos probar la sociatividad f * (g * h) = (f * g) * h, si
f, g, h e Api (X, A ). R ecordam os al le c to r que dicha igualdad equi
vale a probar que cualquiera que sea x e X:
(f * (g * h ) ) (x) =

( { f g) * h) (x)

Entonces
(f * (g * h ) ) (x) =
=
=
=

con form e se deseaba probar.

f ( x ) * ( ( g * h) ( x ) )
f (x) * { (g (x) * h { x ) )
(f (x) * g ( x ) ) * h (x)
( (f * g) ( x ) ) * h ( x )
( ( f * g) h) (x)

ii. Su dem ostracin queda como eje rc ic io p a ra el lector.

iii. Sea e e Aidentidad a l a izquierda. Sea e : X - A la aplicacind
X en A definida por
e jx ) = e
cualquiera que sea x e X.
Entonces e satisface:
* f) (x)

= (x) * f (x)
= e * f(x)

= f(x)
de m anera que
e * f= f
y ^ resulta una identidad a la izquierda.
b.

Suma directa de monoides

Sean ( A 1? * ) y (A 2, * ) monoides.
A

Sea

= A : x A3

el producto cartesiano de los conjuntos A x y A g.

una ley de composicin en A como sigue
(x i, Yi) * (*3, Ys)

Vam os a definir

( * i * x a, Y i * y a)

x, Xg e A lt y lf y 3 e A 3.
En esta form a, A s e convierte en un monoide (A, * ) que deno
minamos la suma directa de ( A 1? *) y (A 2, * ). Se tiene adems la
proposicin siguiente.
P ro p o sici n
i.
ii.
iii.

Si (A!, * ) y (A 2, * ) son sem igrupos, entonces (A, *) es s e m i

grupo.
Si ( A 1? * ) y (A 2, * ) son ambos monoides conmutativos, enton
ces (A, * ) es conmutativo,
Si (Ajj * ) posee identidad (respectivam ente identidad a l a i z -7
quierda) y (A 2, * ) posee identidad (respectivam ente identidad
a la iz q u ie rd a ), entonces (A, * ) posee identidad (re sp e c tiv a
mente identidad a la izq u ierd a).

Dem ostracin.

Queda como ejercicio p a ra el lector.

En fo rm a anloga se puede definir la suma directa de cualquier

nmero ( A 1? *), . . . , (A tt? * ) de monoides.
Notacin. L a suma directa de monoides (A lt *), . , , (A n, * ) s e deno
ta por

II.
A.

E S T R U C T U R A D E G R UPO

D efin icin y E jem p los

En e l captulo a n te rio r asociam os a todo sem igru po A con

identidad el sem igru po U (A ) de elem entos in v e r s ib le s de A. Las
propiedades esen ciales de U (A ) son las siguientes:
gl ) U (A ) es un sem igru p o con elem ento identidad.
gZ) Todo elem ento de U (A ) es in v e r s b le .
Estas dos propiedades d an lu gar a la estructura de m a y o r im p o rta n
cia, no slo en lgebra, sino en la m atem tica m ism a, a saber:
la E S T R U C T U R A DE G R U PO .
D efinicin. Se dice que un m onoide (A, * ) posee estructura de
grupo, o sim p lem en te que A es un grupo, si se satisfacen las dos
condiciones siguientes:
gl ) {A, * ) es un sem igru po con identidad,
gZ) Todo elem ento de A es in v e r s ib le .
E xp lcitam ente las condiciones de d efin icin de grupo se esc rib e n
as:

* es una le y de co m p o sici n asociativa, o sea tal que

x * (y * z)

(x * y ) * z

cu a lesq u iera que sean x, y, z en A.

E x iste e e A tal que x ^ e ^ e ^ x ^ x ,

sea x en A.

g2):

cualquiera que

P a r a todo x e A existe x 1 e A que s a tisfa ce

x * x1 = x1 * x =

L o que s e acaba de e x p r e s a r ms a r r i b a p e r m i t e obtener una a m

p lia variedad de ejem p lo s de estru ctu ra de grupo, o sea, repitiendo,
p ara todo sem igru po A con identidad U (A ) = el conjunto de todos
los elem entos in v e r s ib le s de A es un grupo. L o s ejem plos que se
indican en la tabla siguiente
son deUese
A
(A ) tipo:
Z

0
1

II

{1,-U
(1}
Q
D

<z, + , 0 )
(Z, . , 1 )
(N ,.,l)
(Q, +, 0)
<Q, , i )
(R, +, o)
(R,. , i )

R
R # = R - [ 0}

(Cont. )

U (A)

c
c#

(C, +, 0)

<c,.,l)

= C - {0}
Tran(X)
Aut (B)

Aplc (X)
E n d (B )
Ejem plo.

Sea G la totalidad de nmeros com plejos z de la fo rm a

z = a + i b

donde a, b e Z

(los elementos de G se denominan enteros de Gauss).

Sea * la le y de com p osicin definida en G por el producto o r
dinario de nmeros com plejos:
Si z = a + i b y v = c + i d entonces
z * v = z v =

(ac - bd) + i (ad + be)

Es f c il v e r que (G, *) es un sem igrupo con identidad e = 1 + i* 0

que denotamos 1. En efecto, G es subsemigrupo de (C, ., 1).
Se trata ahora de encontrar el grupo U (G) de elementos in v e r sibles de G. El siguiente es el procedim iento clsico.
Sea
N : G
definido por
N : a + i b

a2 + b 2

Una v e r ific a c i n inmediata nos dice que

N es un m o r fis m o de (G, *) en (Z, . , 1 )
o sea
N (z * v) =

N ( z ) N (v)

(Este m o r fis m o re c ib e el nombre de norma. ) Ahora, puesto que

x e U (G)

=> N (x) e U ( Z ,

1) =

l, - 1 }

se tiene que: z = a + i b es in v e rs ib le solo si

N (z )
P e r o N (z )

= a2 + b2 g { 1 , - 1 }

- 1 es im p osib le por s e r suma de cuadrados.

Entonces
N ( z ) = a3
z = 1
= -1
= 0
= 0

+ b2 = l , o sea
4i O
+
i O
+
i *1
+
i .- 1

O sea: U (G) consta a lo sumo de 4 elem entos.

Finalmente, dado que los elem entos (* ) son in v e rs ib le s :

1

(-1) (-I)

i -(-I)
{ - i ) *i
se tiene:
U (G) =

{1, - 1, i, - i }

Dibujando los enteros de Gauss en el plano com p lejo se obtiene

un reticulado y la in te rs e c c i n del m is m o con la circ u n fe re n c ia uni
ta ria (o sea de radio 1) nos da U (G):
Otros Ejemplos
1. Sea B un grupo y sea X un con
junto no vacio. Entonces el monoide
A p l {X , B} de aplicaciones de X e n - ^ .
B, con la com posicin puntual de
aplicaciones, es un grupo y lo deno
minamos el grupo de aplicaciones
de X en B.
2. Sean A j y A 2 grupos. Sea A
A 3 la suma d ire c ta de los
- A,
monoides correspondientes. En
tonces A p o s e e estructura de grupo
que denominamos igualm ente la
suma de
y A a.
Nota. L a condicin n e c e s a ria y suficiente para que un se m ig ru po con identidad A sea un grupo es que A = U (A ). P o r lo tanto, se
sigue que: todo grupo es r e a liz a b le como grupo de elem entos in
v e r s ib le s de un sem igrupo. En esta form a, la construccin a n te rio r
p e r m ite obtener todos los ejem plos de estructura de grupo.
E j e r c i c i o . Sea A un sem igru po finito. Si z e A denotamos con A z
la totalidad de elementos de A de la fo rm a a * z. Sean las siguientes
condiciones definidas en A:
i. a * x = a # y = x = y
ii.
A x fl A y
0
Entonces: 1. P r o b a r que si A satisface i e ii, entonces A es un
grupo; 2, dar un ejem p lo de sem igrupo que sa tisfa ce i, p e ro no es gru
po, y 3. p rob a r que si A es infinito, la a firm a c i n en 1, no necesita
s e r vlida.

B.

Ecuaciones que Definen la Estructura, de Grupo

Nuestro p r x im o paso es e s ta b le c e r las condiciones que p e r m i

tan c a r a c t e r iz a r la estructura de grupo dentro de la estructura

49

de semigrupo. En adelante al hablar de " ecuacin s obr e un monoide

A " se entender cualquier expresin form al del tipo
a * X * b = c, a * Y * b = c
a 5i<X = c , a * Y = c
X * b = c, Y * b = c
donde a, b y c representan elementos de A y donde X, Y rep resen
tan signos indeterminados (o simplemente indeterminadas). Cuando
al reem plazar X, Y (o, como suele decirse, al especializar X, Y)
por elementos x, y de A en alguna de las ecuaciones anteriores se
obtiene una expresin verdadera, decimos que x, y son "soluciones"
dlas m ism as. Esto es exactamente igual en los cursos elementales
de lgebra o aritm tica. P o r ejemplo, si A posee elemento iden
tidad e, entonces la ecuacin
a * X = a
posee siem pre una solucin en A.
El teorem a de caracterizacin de grupos est enunciado exacta
mente entrminos de resolucin de ecuaciones del tipo anterior. El
lecto r est ya fa m iliarizado con la idea, pero refresqum osla con un
ejemplo. En el semigrupo (N, + ), que no es un grupo, no todas las
ecuaciones
n + X = m
poseen solucin. Es ms, las nicas que poseen solucion son p r e
cisamente aqullas en que n < m. En cambio, en el monoide ( Z, +),
que si es un grupo, las ecuaciones
n + X = m
poseensolucincualesquiera que seanny m en Z. Justamente la de
finicin de Z no es otra cosa que el conjunto obtenido a partir de
N ms las soluciones de las ecuaciones sobre N:
n + X = m
(P o r ejemplo, 0 es la solucin de 1 + X = 1 , - 1 es la solucin de
la ecuacin 2 + X = 1, etc. . . . )
T eorem a. Sea (A, *) un semigrupo. Entonces todas las propo
siciones siguientes son equivalentes entre s.
i.
ii.

(A, * ) es un grupo,
Toda ecuacin sobre A del tipo
(:)

iii.

a * X * b = c

posee una nica solucin en A.

Toda ecuacin sobre A del tipo
a * X * b = c
posee una solucin en A.

Demostracin
i. =5 ii. Sea una ecuacin del tipo {:). Debemos encontrar una s o
lucin de la mism a en A y dem ostrar adems que esta solucin es
nica. L a manera de encontrar una solucin es "despejando X ". Sea
x = a1 * c * b1 e A
Se tiene
a * x * b =
==

a * ( a 1 * c * b') * b'
(a * a') * c * (b' * b)
e * c * e
c

de manera que x es solucin de (:). Probem os ahora que si y e A

es tambin solucin de {:) debe ser x = y. En efecto,
a * x * b = c = a * y * b
"Multiplicando" a la izquierda por a' y a la derecha por b' resulta
(a* * a) * x * (b * b') = (a 1 * a) * y * (b * b')
es decir
e * x * e

e * y * e

o sea finalmente
x

= y

Queda pues probada la implicacin i. =

ii.

ii. => iii. T riv ia l.

iii. => i. Sea a e A. P o r la hiptesis de resolubilidad de las
ecuaciones del tipo (:) existe x e A que satisface
a * x * a = a
por lo tanto, llamando
e = a * x
se tiene
e * a = a
e3 = 6 * 6 =

Sea ahora y e A que satisface

a *

e = a

entonces
a * e =

( a ^ y ^ e ^ e
= a * y * e
= a

a * y * (e )

Se ha demostrado pues que e e A satisface

(')

a * e = e * a = a

51

(Notemos que e depende por

tal que
b
se sigue de (') que
e * b = (e *
= b
b * e = a *
= b

ahora de a. ) Sea b e A. Existe v e A

= a * v * a
a) * v * a = a * v * a
v * {a * e) = a * v * a

Se ha demostrado pues que el elemento e es identidad de (A, *).

Vamos a probar finalmente quetodo b e A es inversible. Seanz, w e A
tales que
e = b * z * e
= b * z
e e * w * b = w * b
Es fcil ver entonces que w = z es inverso de b.
Sigue por lo tanto la im plicacin iii => i.
completamente probado.

El teorem a queda

Se deja al lecto r el dem ostrar en form a anloga el siguiente

teorema.

52

T eorem a. Sea (A, *) un semigrupo.

proposiciones son equivalentes entre s.
Jjj-

Entonces las siguientes

(A, *) es un grupo.
Las ecuaciones sobre A, de los tipos
a * X = b
Y * c = d
poseen soluciones nicas en A.

jjj.

Las ecuaciones sobre A (::) poseen soluciones en A.

Consideremos ahora algunas consecuencias del teorem a ante

rio r. Varios de los resultados que se dan a continuacin fueron
obtenidos anteriormente para semigrupos.
_____Sea A un grupo^ x y e A___________________________________________
1) y? - x im plica x = e = identidad de A.
son ambas soluciones de
x * X = x

En efecto,

x y e

por lo tanto por jj debe ser x = e.

2)

( x ' ) 1 = x.

En efecto, x y { x ' ) 1 son ambas soluciones de

x' * X = e

por lo tanto por jj debe ser ( x 1) 1 = x.

3)
x * y = e im plica y = x 1.
soluciones de
x * X = e

En efecto,

x' e y son ambas

4} y # x = e im plica y = x 1. En efecto, por 3) x = y 1 y por

lo tanto x' = (y ')' = y segn 2).
5} e' = e.
resulta e = e'.

En efecto, aplicando 3) (6 4) ) a la situacin e * e = e

Aqu el lector podra preguntarse si no sera suficiente, en el

teorem a precedente, la resolucin de un solo tipo de las ecuaciones
(::) para ca ra cteriza r la estructura de grupo. Es fcil comprobar
que no. Sea en efecto, (A, *) el monoide (N, * ) donde x * y = y.
Entonces todas las ecuaciones sobre A del tipo
a * X = b
poseen "nica" solucin en A. Sin embargo (N, * ) no es un grupo.
Notemos, por ejemplo, que si c ^ d, la ecuacin
Y

* c = d

no posee ninguna solucin en A.

Finalmente, digamos que toda terminologa utilizada en el t r a
tamiento de monoides se aplica en particular a los grupos. P o r
ejemplo, un grupo conmutativo ser un grupo cuya estructura de
semigrupo es conmutativa. Anlogamente, un m orfism o de grupos
f : A 1 -* A 2 significa un m orfism o de los monoides correspondien
tes . Conviene observar que tratndose de grupos la condicin
f(e) = e
es consecuencia de la condicin
f (x * y) = f (x) * f (y)
En efecto, f (e) e Ag satisface
f(e)

= f(e)3

y ya vimos que el nico elemento idempotente de un grupo es el e l e

mento identidad. Citemos por ltimo un resultado de suma utilidad.
Proposicin. Sea A un grupo y sea B un semigrupo con elemento
identidad. Sea f : A -* B un m orfism o. Entonces f es un monomorfism o si, y slo si, Nu (f) = { e } .
Demostracin. Sea f un monomorfismo. Si x e N u ( f ) s e tiene
f(x) = e = f{e)
por lo tanto x = e.

Esto demuestra que Nu (f) = [ e ] .

Recprocamente, sea Nu ( f ) = [ e j . Si x, z e A son tales que

(o)

f(x) = f(z)

entonces, siendo A un grupo existe x' e A.

f(x) * f(x')

Luego de (o)

= f(z) * f(x')

o sea
e = f (e) = f (x * x 1) = f (z * x ')
de manera que
z * x 1 e Nu () =

[e ]

es decir
z * x' = e
z = x
f es pues un m onom orfism o.
Ejemplo. Sean A = (Z, +, 0) y B = { z / z e C y | z | = 1} .
un nmero real. La aplicacin M : A -* B definida por

Sea r

M : n -* eos (Zrrrn) + i sen(2rrrn)

es un m o rfis m o de Z en el grupo multiplicativo de nmeros co m
plejos de mdulo 1. En efecto, la validez de
M (n + n1) = M (n) M (n1)
si n, n e Z

54

no es otra cosa que el T e o re m a de De M o ivre! .

A fir m a c i n . M es un m onom orfism o si,
sea, si r es irra cio n a l).

y slo si,

r / Q (o

Utilizando la proposicin anterior, M es un m onom orfism o si,

y slo si, Nu (M) = { 0 } . Entonces
0 ^ n e Nu (M)

eos (2nrn) + i .sen(2rrrn) = 1

eos (2rrrn) = 1 y sen(2nrn) = 0
Existe k s Z tal que
2rrrn = 2krt
Existe k e Z tal que
r = k/ n
r e Q

Queda probada nuestra afirm acin.

-------------------- E je rc ic io s ---------------------------------------------------------------------------1. P ro b a r que si n y m son enteros y r = n/m (fraccin irredu cible),
entonces N u { M) = totalidad de mltiplos enteros de m.
2. P ro b a r que un grupo A es conmutativo si, y slo si, la ap lica
cin & a2 de A en s m ism a es un m orfism o.
C.

Subgrupos

Sean A = (A,
de A.

e) un monoide con identidad y C un subconjunto

Definicin. D irem os que * define sobre C una estructura de

subgrupo, o simplemente que C es subgrupo de A, si
s i ) C es subsemigrupo de A.
sZ) e e C.
s3) (C, *, e) es un grupo.
En particular, subgrupo de un semigrupo y subgrupo de un
grupo se r e fie re n a los subgrupos de los monoides correspondien
tes. Conviene notar sin embargo la siguiente proposicin.
Proposicin. Sea A = (A, *, e) un semigrupo conidentidad. En
tonces si C es un subconjunto de A, las dos proposiciones siguientes
son equivalentes:
i.
ii.

C es subgrupo de A.
C es submonoide de A y para todo c e C, c' existe y perten e
ce a C.

Demostracin
i. =* ii. Es consecuencia de la definicin de subgrupo.
ii. => i. Debe v e r ific a r s e las condiciones s i ) , s2) y s3) de la d e
finicin de subgrupo.
s i ) Siendo C un submonoide resta probar que, cualesquiera que
_________ sean u, v, w e C; es vlida la asociatividad__________________
(o)

u * (v * w) = (u * v) * w
P e ro , siendo A por hiptesis un semigrupo, (o) es vlida cua
lesqu iera que seanu, v, w en A y, enparticular, es vlida en C.

s2) Siendo C un submonoide es C / 0 , por lo tanto sea c e C.

Entonces c 1 e C y tambin e = c * c' e C.
s3) De acuerdo con s i ) y s2) C es un semigrupo con identidad
y todo elemento de C es in versib le. Entonces C es un grupo.
La im plicacin ii

i queda probada y con ello la proposicin.

Proposicin, Sea A = (A, *, e) un grupo. Entonces si C es un

subconjunto de A las proposiciones siguientes sontodas equivalentes
entre s:
j.
jj.
jjj.
jv.

C es subgrupo de A.
C es submonoide de A y c e C im plica c' e C.
C
0 y x, y e C => x * y ' e C.
C ^ 0 y x, y e C => x 1* y e C .

Demostracin
j. =* jj.
jj, => j.

Es consecuencia de la definicin de subgrupo.

Es caso particular de la m ism a im plicacin en la

p r o p o s ic i n
ten cia de c'
jj" ^ j j j j j . = jv .
j j j . => j j .

a n te rio r. N te s e que siendo ahora A un grupo la e x i s

es automtica,
Es in m ediata,
Es inm ediata.
P r o b e m o s que C es submonoide de A. Es ^ 0 p or j j j .

Sea c e C. Entonces aplicando j j j a la s itu a c i n x = y = c resulta

e = c * c 1 e C. Y aplicando j j j a la situacin x = e, y = c, se tiene
c ' = e * c 1 e C. Se ha probado pues que c e C im p lic a c ' e C.
Sean c, t e C. V am os a p r o b a r que c * t e C. Sabemos que t 1 e C. A p l i
cando j j j a la situacin x = c, y = t , y sabiendo que ( t 1)' = t, resu lta
c * t =

c * (t ')'

e C

Queda pues probada la im p lic a c i n ,

j v . = j j . A n lo g a d e m o s tra c i n .
En defin itiva, hem os probado las im p lic a c io n e s
j => j j =>
j j . => j j j - ^
j j . => j v . =>

j
jj*
jj.

Queda pues probada la p ro p o s ic i n .

E j e r c i c i o . Sea A un grupo y sea B un m on oide con elem en to
identidad. Sea f : A -* B un m o r f is m o . D e m u e s tr e que
a)
b)

Nu (f) es subgrupo de A .
Im (f) es subgrupo de B.

E je m p lo s
1 . Sea X un conjunto no v a c io y sea x e X. Sea A = T r a n ( X ) el
grupo de tr a n s fo r m a c io n e s de X. Sea C c: T r a n ( X ) definido p o r
fe

C si, y s lo si, f (x) =

xq

P r o b e m o s que C es un subgrupo de T r a n (X ). U t ilic e m o s j j de l a p r o p o s ic i n a n te r io r .

C
0. En efecto, i d x e T r a n ( X ) s a tis fa c e id x (x) = x, p or lo
tanto id x 6 C.
Sea g e

C, o sea g ( xq) = Xg.

A h o ra g' e T r a n ( X ) s a tis fa c e

g 1 o g = id x
por lo tanto
g'(x )

g '(g (X o ))

( g 1 O

g)

(X q )

Xq

es d e c ir g 1 e C.
F in alm ente, si f, h e C, se tiene
(f

h )

(X q )

f (h (X q ) )

f (X g )

Xq

de m a n e r a que f o h e C. Se ha p ro b a d o que C es un subm onoide

de T r n ( X ) y, ad em s, que g e C i m p l i c a g 1 e C, es d e c i r la c o n d i
ci n j j .
E l l e c t o r d e s a r r o l l a r , a m o d o de e j e r c i c i o , e l s ig u ie n te e j e m
p lo de tip o g e n e r a l. Sea Y un subconjunto no v a c io de X. Sea C la
to ta lid a d de la s f e T r a n ( X ) ta le s que
f (Y ) = Y o sea
f y e Y => f ( y ) e Y
Ly e Y => y = f (x ) con e e Y
D e m u e s t r e que C es un subgrupo de T r a n ( X ) .
2. Sea A = (Z , + , 0). Sea i^, un n m e ro e n te r o .
m ltip lo s de Iq, o sea
C

{ m / m e

Z y m

L a tota lid a d C de

con r e

Z]

es un subgrupo de Z. En efe c to , u t ilic e m o s j j j . Es c l a r o que

e C,
dado que
= 1 nQ. P o r lo tanto, C ^ 0 . A d e m s , si m x y m 2 e C
p o d em o s e s c r i b i r irij =
q y m 3 = r s no, p o r lo tanto
m l - m2 =

{ r x - r 2) n^,

o sea
m x - m2 e C
C es pues un subgrupo de Z.
R e c p r o c a m e n t e , s e a C un subgrupo de (Z , +, 0). Si C 0 e x is te
c e C, 0 ^ c. P o r lo tanto, - c e C (en v irtu d de j j ) . O s e a q u e c y - c
p e r t e n e c e n a C. E sto i m p l i c a que C con tien e al m e n o s un e n tero
p o s it iv o . O sea
c

n n

Siendo C fl N un subconjunto no v a c io de N, e x is te m e C fl N
tal que
h e C D N
=* m h
(o sea, m es e l p r i m e r e le m e n to de C fl N ).

Es c l a r o que m e C.

Sea ah ora t e C. En v ir tu d d el a lg o r it m o de d iv is i n en Z exis ten u, v e Z ta le s que

t = u m + v, donde
(:)
0 ^ v < m
P o r lo tanto
v

= t - u m e C puesto que
te C y u m e C

A h o ra , si v ^ 0, se sigu e de (:) que v e C fl N, lo que es un absurdo

dada la m n im a e x p r e s i n de m . P o r l o tanto se ha p robado que
c e C

=> c es m ltip lo de m

Reuniendo los dos resu ltados se

Z si, y slo si, e x is te m e Z, 0
m ltiplos enteros de m " . Se suele
C es el subgrupo de Z generado p or

tiene que: " C es un subgrupo de

m tal que C es la totalidad de
e s c r i b i r C = (m ) y se dice que
m.

3. Sea A un m onoide y sea Aut (A ) el grupo de a u to m o rfis m o s de A

Entonces A u t(A ) es un subgrupo de E nd(A), s egn s e in f i e r e de la d e f i
nicin de subgrupo.
4. Sea A un m onoide y sea I n t ( A ) la totalidad de a u tom orfism os
in t e r io r e s de A , Entonces In t(A ) es un subgrupo de A u t(A ). En efecto,
r e c o r d e m o s p r im e r a m e n t e que g e Int (A ) si, y s lo si, e x is te u e A
tal que g (a) = u * a * u'. Ya v im o s que Int (A ) es submonoide de
A u t ( A ) . P r o b e m o s (segn j j ) que g e Int (A ) im p lic a que g'e Int (A ).
P e r o esto es inm ediato dado que si
g (a)

= u * a * u', a e A

entonces
g '( a )

= u ' * a * u

5. Sea (A, *, e) un s em ig ru p o . Sea U (A ) el subsem igrupo de e l e

mentos in v e r s ib le s de A . Entonces U (A ) es un subgrupo de A.

D R elacion es d e E q u iva len cia en Un Grupo---------------------------------Sea G = (G, * e) un grupo. Sea ~ una r e la c i n de equ ivalen cia
definida p or G. R e c o r d e m o s que ~ "d is tin g u e " p a re s de elem entos
de G de acuerdo con las siguientes re g la s : (x, y, z e G)
x ~ x
Si x ~ y entonces y ~ x
Si x ~ y e y ~ z entonces x ~ z
L a in trodu ccin de una r e la c i n de equ ivalen cia dentro del g r u
po G, sin una m o tiv a c i n al re s p e c to , p o d ra tal v e z d e s o r ie n ta r al
le c t o r . Sin en tra r en m a y o r e s d eta lles digam os ahora que el estu
dio de " c i e r t a s " r e la c io n e s de equ iva len cia en un grupo G p e r m ite
d e te r m in a r todos los grupos G 1, que s o n im g e n e s de G p o r m o r f i s
m o P o r e je m p lo , aplicado eso al grupo G = (Z, +, 0) es p o sib le
c o n stru ir la fa m ilia m s im p orta n te de grupos conmutativos finitos,
a saber: lo s grupos c c l i c o s . C o m en cem o s p r im e r a m e n t e a c la r a n
do aqullo de " c i e r t a s " r e la c io n e s de equ ivalen cia. ~ denota, com o
arriba, una relacin de e q u iva len cia so b re G.
D efin icin , Se d ice que ~ es com p a tib le a l a i z q u i e r d a (c o n la e s
tructura de grupo de G) si
a ~
cu alqu iera que sea x e G.

=> x * a ~ x !<b

Definicin. Se dice que ~ es com patible a la derech a (con la e s

tructura de grupo de G) si
a ~ b

=> a * x ~

b * x

cualquiera que sea x e G.

D efinicin. Se dice que ~ es com patible (con la estructura de
grupo de G) si ~ es com patible a la iz q u ie r d a y a la d erech a. P o r su
puesto que en el caso de s e r G conmutativo no es n e c e s a r io h acer
d istin cin alguna.
E je m p lo .

L a siguiente r e la c i n definida en Q:
a ~

b si, y slo si, a2 = b 3

es de equivalencia, com o e l l e c t o r podr v e r i f i c a r fcilm en te.

i.

~ es com patible con la estru ctu ra de (Q # , . , 1 ).

En efecto, sea a ~ b y s e a x e Qjf. Entonces
( x . a ) 3 = xa a2 = x2 . b2 =

(x - b ) 2

de m an era que
x . a ~

x. b

y p o r la conmutatividad de Q#
ax ~
ii.

bx

~ no es com patible con la estructura de (Q, +,

En efecto,
1 ~
- 1

).

sin em bargo, es fa ls o que

1 + 1

+ (-

E je m p lo . Sea X = [1, 2, 3] y sea G = T r a n ( X ) = el grupo de t r a n s

fo rm a c io n e s de X. Sea ~ la siguiente r e la c i n definida so b re G
f ~

g si, y slo si, f ( 1 ) =

g (1 )

Es f c il c o m p ro b a r que ~ es una r e la c i n de equivalencia. E s

tudiemos la com patibilidad de ~ re s p e c to de la estructura de G.
i.

~ es com patible a la iz q u ie rd a . En efecto, sea f ~

h e G. Entonces f ( l ) = g (1) y consecuentem ente
(h o f) ( 1 ) = h ( f ( l > )

= M g U ))

gysea

(h o g) ( 1 )

p or lo tanto
h o f ~ h o g
ii.

~ no es com p atib le a la d erech a. En efecto, sean f, g, h e G

definidos p or

f (1) = 2, f ( 2 )
g ( l ) = 2, g ( 2 )
h ( l ) = 3, h (2)

= 1, f (3) = 3
= 3, g (3) = 1
= 2, h (3 ) = 1

p or lo tanto
f ~

Sin em bargo
(f o h) {1) = f (h (1) ) = f (3} = 3
(g o h) ( 1 ) = g < h ( l ) ) = g (3) = 1
lo cual prueba nuestra a firm a ci n .
P ro p o s ic i n . Sea G un grupo y sea ~ una re la c i n de equ iva
lencia definida sob re G. Entonces ~ es com patible si, y slo si,
(i)

a ~ b y c ~ d = > a * c ~ b * d

D em ostra cin .

Sea ~ compatible,

sean a ~ b y c ~ d.

Enton

ces
a
a

b
d

b * c
b * d

=> a * c
=> b * c

p o r lo tanto, p or transitividad,

60

a * c

b * d

lo cual prueba la p r im e r a parte.

b y x e G r e-

R e c ip ro c a m e n te sea (i) vlida. Entonces, si a

sulta, aplicando (i) a las situaciones,
a
x

b y x
x y a

x
b

las relacion es buscadas

a * x
x * a

b * x
x * b

con lo que queda probada la p roposicin .

E l siguiente te o r e m a c a r a c t e r iz a las rela cion es de equivalencia
com patibles a la izq u ie rd a en trm in os de subgrupos y dem uestra
tam bin re c ip ro ca m en te que todo subgrupo da lugar a una re la c i n
de equivalencia de com patible. Despus del te o re m a c o m p r o b a r e
mos que un objeto determ in a el o tro unvocamente.
Teorema.

Sea G un grupo.

Entonces

1)
Si ~ es una re la c i n de equivalencia com patible a l a izquierda,
el subconjunto H de G definido por
=

[ a / a ~ e]

es un subgrupo de G que sa tisfa ce

{a / e

a]

R e c p ro c a m e n te
2)

Si H es un subgrupo de G entonces la r e la c i n

(_)

a ^ b o b '

* a e H

es una re la c i n de equ ivalen cia so b re G com patible a la iz q u ierd a .

D e m o s tra c i n
1.
es no v a c o dado que e ~ e im p lic a e e
Seanx, v e
entonces x ~ e y e ~ v de m an era que x ~ v. P e r o utilizando la com
patibilidad a la iz q u ie r d a de ~ resu lta
v' * x ~

con lo que v 1 * x e
Utilizando j v de la S eccin 3 se tiene que
es subgrupo de G. Adem s, en virtud de la com patibilidad a la i z
quierda de ~
a ~ b
o b ' * a ~ e
b * a e H
lo cual dem u estra la segunda p a rte de

).

2. Sea ~ la re la c i n definida p or ( ). Debem os p ro b a r que

de equ ivalen cia com p atib le a la izq u ie rd a . ~ es de equivalencia:
-

x' * x = e e H = > x ^ x
x ^ y = > y ' ^ x e H ^ f y '
=> y ^ x

* x) ' =

es

x1 * y e H

~ x ^ . y e y ^ z = > y ' * x e H y z ' * y e H

( z 1 * y) * ( y 1 * x) = z 1 * x e H
=> x
z
lo cual dem u estra nuestra a fir m a c i n (ntese que en los tre s pasos
s e ha u tilizad o la propiedad de s e r H un subgrupo de G ).~ es c o m p a ti
b le a la izq u ierd a :
a ~ b => b' * a e H
= (x * b ) 1 * (x * a) = b ! * x * x 1 * a = b* * a e H
=> x * a ^ , x * b
queda pues probado el te o re m a .
E l te o r e m a a n te rio r a s o c ia entonces a una r e la c i n de e q u iva
le n c ia com p atib le a la iz q u ie r d a ~ un subgrupo H^, de G:
(1 )

y a s o c ia a todo subgrupo H de G una re la c i n de equ ivalencia c o m

patible a la iz q u ie r d a ~ so b re G:

P o r tanto, si se denota con E t la totalidad de re la c io n e s de e q u iv a

le n c ia s o b r e G c o m p a tib les a l a i z q u i e r d a y con S la totalidad de
subgrupos de G, entonces (1) y (2) d efin en a p lic a c io n e s
O : Et
U : S

')
(2 ')

(1

S
E,

In t e r e s a aqu v e r c m o las c o m p o s ic io n e s de O y U s a tis fa c e n

O o U = id s
U o O - id ^
o, en p a lab ras, que si p a r tim o s de un subgrupo H de G y le a s o c ia
m os la r e la c i n de e q u iva len cia c o rre s p o n d ie n te segn ( 2 ), y luego
a sta ltim a le a s o c ia m o s el subgrupo c o r re s p o n d ie n te de acuerdo
c o n ( l ) , v o lv e m o s a ob ten er H. A n loga m en te, si p a rtim o s de una
r e la c i n de equ iva len c ia co m p a tib le a l a i z q u i e r d a ~ y le a s o c ia m o s
e l subgrupo c o r re s p o n d ie n te segn ( 1 ), y lu e g o a este ltim o le a s o
c ia m o s la r e la c i n de e q u iva len cia de acu erdo con ( 2 ), v o lv e m o s a
o b ten er
De esta fo r m a se obtiene una b iy e c c i n natural entre
e l conjunto S y el conjunto E t.
S e a ~ una r e la c i n de e q u iva len cia c o m p a tib le a la iz q u ie r d a y sean
O : U : H

62
vam os a p r o b a r que

o sea que
x ~

y si, y s lo si, x

N te s e que de acu erdo con el t e o r e m a a n te r io r

=

(a / a ~

e}

x ~ y <= y ' * x H^,

P e r o p o r 1) del m is m o t e o r e m a
x ~

y1 * x H

x ~

x ^

P o r lo tanto
y

o sea

lo cual prueba nuestra a fir m a c i n , o s e a tJ o

= id e^.

Sea ahora H un subgrupo de G y sean

U : H
O : a
V am os a p r o b a r que H = H ^ .
se tien e

De acu erdo con e l t e o r e m a a n te r io r

H c H^.

x
=> e'
x
x

En efecto, x e H

=
*
~
e

e * x e H
x e H
e
H^,

De ambas inclusiones resulta la igualdad

H = Hqueda pues probada nuestra afirmacin.
Resultados idnticos se obtienen al considerar relaciones de
equivalencia compatibles a la derecha. Los resultados son los s i
guientes.
Si H es subgrupo de G entonces
a ~ b a * b ' e H
es una relacin de equivalencia compatible a la derecha.
Reciprocamente, si ~ es una relacin de equivalencia com pa
tible a la derecha entonces
H_

{a / a ~

e]

es un subgrupo de G.
Estamos ahora en condiciones de combinar ambos resultados pa
ra obtener una c a ra cteriza ci n de las relaciones de equivalencia com
patibles (a la derecha y a la izqu ierda) en trm inos de subgrupos de G.
T eorem a.
1)
Si ~ es una relacin de equivalencia compatible (a la izq u ie rd a
y a la derecha), entonces el subgrupo asociado H satisface:
(d)

x e G y h e H = *

x # h * x' e H

2) Reciprocamente, si H es un subgrupo de G que satisface la

condicin (d) entonces la relacin de equivalencia asociada
x ~ y

y1 * x e H

es compatible (a la izqu ierda y a la derecha).

D em ostracin
1.

Sean x e G y h e H.

Entonces por la definicin de H es

h ~

P o r la compatibilidad a la izqu ierd a de ~ resulta

y p o r la com patibilidad a la d erech a de ~

x * h * x1 ~ e
o sea
x * h * x' e H
com o q u eram os p ro b a r.
2. Sea H un subgrupo de G que s a tis fa c e (d). Entonces p o r el t e o
rem a a n te r io r
x ~ y y1 * x e H
es una re la c i n de equ ivalen cia com p a tib le a la iz q u ie rd a . Debem os
p ro b a r que es tam bin com p atib le a la d erech a. Sea pues
a ~

b y

x e G

Entonces
b' * a e H
y p o r lo tanto
x' * ( b * a) * x = x ' * (b' * a) * ( x ' ) 1 e H
o sea
(b * x ) ' * (a * x ) (x' * b ') * (a * x) e H
o sea, finalmente,
a * x ~ b * x
que es la com patibilidad a la d erech a pedida.
D efin icin . Se denomina subgrupo distinguido t de G a todo
subgrupo H que s a tis fa c e la condicin (d) del te o r e m a a n te rio r.
E je m p lo s
1.

Sea G un grupo.

Entonces
H =

H =

{ e}

son subgrupos distinguidos de G y se le s denomina subgrupos d is

tinguidos t r iv ia le s .
2. Sea G un grupo conmutativo.
distinguido.
3.

Sea X =

Todo subgrupo de G es entonces

[1, 2, 3] y sea G = T r a n ( X ) .
H =

no es distinguido.

[f/f(l)

E l subgrupo
1J

En efecto, la re la c i n de equivalencia
f ~

asociada a H es
t

Se denomina tam bin subgrupo in v a ria n te o subgrupo n orm al.

f(l>

= g (1 )

y ya se dem ostr que esta rela ci n de equivalencia es compatible

a la izquierda p ero no a la derecha.
4, Sea Z = (Z, +, 0). Vamos a determ inar todas las relaciones
de equivalencia compatibles con la estructura de grupo de Z (o
tambin, simplemente dicho, compatibles con + ).
Siendo Z un grupo conmutativo todos sus subgrupos son in va
riantes. Los subgrupos de Z estn caracterizad os com o sigue:
H es subgrupo de Z si, y slo si, existe m e Z, 0 m tal que
H - { r m / r e Z}
= totalidad de mltiplos enteros de m.
Sea entonces ~ una relacin de equivalencia en Z compatible
Sea H el subgrupo asociado a ~ . P o r lo anteriorm ente dicho exis te m e Z, 0 s m tal que H es la totalidad de mltiplos enteros de
m. Entonces
a ~ b a - b e H
P o r lo tanto, si H = 0
a ~ b

a = b

y si H ^ 0, entonces m ^ 0 con lo que

a ~ b

a - b es divisib le por m.

Este tipo de relacin de equivalencia no es otra cosa que la r e

lacin de congruencia mdulo m estudiada en a ritm tica y que se
denota por a = b m o d (m ). Se haprobadopues que las relaciones
de equivalencia en Z compatibles con + son:
-

E.

la igualdad, y
las congruencias m o d (m ),

< m.

Grupo Cociente de Un Grupo por Un Subgrupo Distinguido

Sea G un grupo y sea ~ una relacin de equivalencia definida

sobre G. P o r la teo ra de relaciones de equivalencia sabemos
que a G y ~ est asociado un conjunto denotado por
G/

el conjunto cociente de G por ~

y una aplicacin
Q : G -* G / ~ : la aplicacin cannica de G en G / ~ .

R ecord em os sus definiciones:

G / ~
es el conjunto de clases de equivalencia de G por
o sea
en smbolos U e G / ~ si, y slo si, U c G y existe u e G tal que
U = { x / x ~ u]
Q

es la aplicacin definida por u - [ x / x ~ u}.

P ro b le m a .

D efin ir una Estructura de Grupo en G / ~ que

Convierta A C J : G - ' G / ~ e n M o rfis m o de Grupos.

En esta seccin vamos a r e s o lv e r este problem a, cuya solucin

puede, sin duda, c o n s id e ra rs e como una pieza clave dentro de la
te o ra de estructuras algebraicas.
T e o r e m a Fundamental. Sea G un grupo y sea ~ una relacin
de equivalencia definida sobre G y compatible (a la izq u ierd a y a la d e
recha) con la estructura de grupo de G. Sea G / ~ el conjunto
cociente de G por ~ y sea g : G - G / ~ la aplicacin cannica de
G sob re G / ~ . Entonces:
1} Existe una nica estructura de grupo sobre G / ~ que con
v ie r te a 9 en un m o r fis m o de grupos.
2)

N u (9)

= el subgrupo distinguido asociado a ~ .

D em ostracin
1.

SeanSyT e G / ~ .

Existen entonces s y t e G tales que

S =
T =

{x / x ~ s] =
(x / x ~ s} =

(s)
g (t )

A firm a c i n . (s * t) est unvocamente determinado por S y

T, o sea que si s, s: e S y t, t x s T entonces
g { s * t) = g ( s x * t^
En efecto,
s, s x e S =* s ~
t, ta e T => t ~
y por ser ~

sx
tx

compatible
s * t ~

sx * tx

de m anera que
g (s * t) = g (sj, * tx)
con lo cual queda probada nuestra afirm acin.
En virtud del resultado precedente vamos a asocia r
' '

(S, T ) - S * T = g (s * t)
donde s e S y t e T

De esta m anera queda definida sobre G / ~ una ley de com posicin

interna que co n vierte a G / ~ en un monoide (G /
*).

P ro b e m o s ahora que 9 : G -* G / ~ es un m o r fis m o de los m o

noides correspondientes. Esto es una consecuencia de la definicin
(" ). En efecto, sean s, t e G entonces 9 ( s ) y g (t) e G / ~ y segn
( " ) la definicin de g ( s ) * 9 (t) es
Q (s) * g (t)

= g (s * t)

dado que s e 9 (s) y t e g (t). P o r lo tanto 9 es un m o r fis m o . A d e

ms, siendo una aplicacin sobre, Q es u n m o rfis m o sobre. Como
tal transporta la estructura de grupo de G sobre G / ~ . A s, por ejem
po, si S e G / ~ y S = g (s), llamando entonces = 9 ( e )
_e * S =

g (e) * g (s)

S * e = 9 (s) * 9 (e) =

(e *

s)

Q (s)

9 (s * e) = Q (s)

= S

de m anera que e es elemento identidad de (G /

*).
Queda pues
probada la existencia de una estructura de grupo sobre G / ~ que
con vierte a Q en un m o rfis m o .
P a sem os ahora a co n s id e ra r la cuestin de unicidad. Sea (G/~, S )
otra estructura de monoide sobre G / ~ que con vierte a 9 en un
m o rfis m o . Entonces si S, T e G / ~ y 9 ( s ) = S, 9 (t) = T se t i ene
s a t

= 9 (s)

s 9 (t)

= g (s

lo cual dem uestra que * = &

2.

* t) =

9 ( s ) * 9 (t) = S * t

Esto concluye la dem ostracin de 1.

Ya se ha visto que el elemento identidad de ( G / ~ , * ) es e = 9 ( e )s e Nu (9)

9 ( s ) - e ~ g (e)
s ~ e
o s e H^_, = [ x / x ~ e}

por lo tanto
N u (g )

H _.

El teo re m a queda asi probado.

Definicin. Con la notacin del teo rem a an terior, G / ~ s e d e nomina el grupo cociente de G por la rela ci n de equivalencia ~.
A l m o r fis m o : G -* G / ~ se le denomina m o r fis m o cannico.
Si H es un subgrupo distinguido de G, se designa G / H al grupo
cociente G / ~ de G por la rela ci n de equivalencia de G asociada
a H.
Ejemplo. Sea G un grupo y sea H = {e } el subgrupo formado por
el elemento identidad de G. L a re la c i n de equivalencia asociada
a H es la siguiente:
a ~ b o b' * a e H = { e }
b' * a = e
a = b
es d ecir, es la igualdad. Los elementos de G / ~ no son otra cosa
que los subconjuntos de G form ados por un solo elemento:
{x j,

x e

G.

L a aplicacin cannica est definida por

9

: x -

[x ]

L a estructura de grupo en G / { e }
{x ]

* {y ]

se r entonces

{x * y}

Es evidente que es un m onom orfism o. Como es tambin un m o r f i s

m o sobre, se tiene que Q es un is o m o r fis m o , por lo tanto
G / {e ]

P o r ejemplo, si Z es el grupo aditivo de enteros racionales se t i e

ne el is o m o r fis m o : Z / { 0 } =Z.-----------------------------------------------Como complemento del an terio r se tiene e l te o re m a siguiente.
T e o r e m a . Sea G un grupo y sea Hun subgrupo de G.
las siguientes condiciones son equivalentes entre s

Entonces

d i ) H es subgrupo distinguido de G.
d2) Existe un grupo L y un m o r fis m o f : G -* L tal que
Nu (f) = H
D em ostracin
d i)

d 2 ).

Sea G / H el grupo cociente de G p o r (la rela ci n de equivalen

cia asociada a) el subgrupo distinguido H. Si Q denota el m o r fis m o
cannico, se sigue del punto 2 del te o re m a a n terior que H = Nu (Q)
d2 )

=> d i).

Sea L un grupo y sea f : G -* L u n m o rfis m o tal que H = Nu (f).

Entonces si h e H y x s G s e tiene
f ( x * h * x ')

=
=
=
=

f (x ) * f(h ) * f ( x ')
f (x) * e * f ( x ' )
f(x ) * f(x ') = f(x ) * f(x )'
e

de m anera que
x * h * x' e H
lo cual m u estra que H es subgrupo distinguido.______________________
Ejem plos
1 . Grupos cocientes de Z = (Z, +, 0). Sea 0 < m, m e Z. Se
estudiar el grupo cociente de Z p or el subgrupo denotado por (m)
de mltiplos enteros de m. L a rela ci n de equivalencia sobre Z
asociada a {m ) es
a ~ b si, y slo si, m divide a a - b
Sea k e Z. En virtud del alg o ritm o euclidiano de divisin en
Z existen q, r e Z tales que
k = m q + r, O r C m

estando q y r u n vocam en te d eterm in a d o s p o r estas dos p rop ied ad es

El r e s to de la d iv is i n de k p o r m se denom ina r. R esu lta in m e d ia
tam ente que
k ~ r
lo cual d e m u estra que todo elem en to de Z es congruente a uno y
s lo uno de los en teros r que s a tis fa c e n
r < m

a saber:

su r e s to de la d iv is i n p o r m.

P o r con secu encia,

equ iva len cia a sa b er

Z / ~ consta exactam en te de

=
=

{k / k ~
[k / k ~

[ k / k ~ m - l ]

m -

m c la s e s de

0]
1

U tiliza n d o el m o r f i s m o cannico Q : Z -* Z / ~ , 9 (k) = r, donde

r denota el r e s to de la d iv is i n en Z d e k p o r m , a s se tie n e que

m -

0 =

1 =

9 (D

(0 )

Q (m -

69

V e a m o s la estru ctu ra de grupo en Z / ~ .

De a cu erd o con su
d efin ici n s i s, t denotan enteros que s a tis fa c e n 0 s < m , 0 t < m
y s, t las c la s e s c o r r e s p o n d ie n te s en Z / ~ se tendr
s_ + t_ =
=

Q(s + t)
r

donde r denota el r e s to de la d iv is i n de s + t p o r m.
F ije m o s las ideas con e je m p lo s c o n c r e to s .
Sea m = 5. Entonces Z / (5) consta de los 5 elem en tos
=
=
2
=
3 =
4 =
0

{k
{k
{k
{k
{k

/
/
/
/
/

k
k
k
k
k

~
~
~
~
~

}
1]
2 }
3}
4}
0

= m ltip los de 5
= en tero s cuya d iv is i n
= en tero s cuya d iv is i n
= en tero s cuya d iv is i n
= en tero s cuya d iv is i n

por
por
por
por

5
5
5
5

da
da
da
da

r e s to
r e s to
resto
r e s to

L a e stru ctu ra de grupo de Z / (5) est dada p o r la tabla:

+

3
4

3
4

3
4

3
4

3
4

1
2
3
4

donde, p o r eje m p lo , 3 + 4 =
de 3 + 4 p o r 5, etc. .

2, pues 2 es el r e s to de la d iv is i n

Sea m = 6 . Una d iscu sin anloga a las p re c e d e n te s p e r m it e ob

t e n e r la sigu ien te estru c tu ra s o b r e Z / ( 6 ):
+
0

1_

1_
2

1_

2
3
4
5

3
4
5_

4
5

3
4
5

3
4

4
5

i_

1_
2

5
0

1
2
3
4

2. Grupo c o c ie n te de Q p o r e l subgrupo Z : Q / Z. Q denota en

tonces el grupo a d itivo de n m eros ra c io n a le s y Z el subgrupo de
en teros ra c io n a le s . E s te ltim o d e te r m in a s o b re Q la siguiente
r e la c i n de e q u iva len cia
x y

x - y e Z

Sea Q / Z e l grupo c o c ie n te y sea C): Q - * Q / Z e l m o r f i s m o ca n

nico. A d o p ta re m o s la sigu ien te n o ta c i n p a r a d e s ig n a r los elem en tos
de Q / Z

70

9 (p / q) = lp / q]
L a estru c tu ra de grupo en Q / Z est dada entonces p o r
[p / q ] + [ r / s ] = [ (p s

+ q r ) / qs ]

V ea m o s algunas p ro p ie d a d e s de este grupo co c ie n te

a)

Q / Z es un grupo infin ito.

En efe c to , sea
PlJ PgJ * * > Pij
c u a lq u ier conjunto in fin ito de nm eros en teros p o s itiv o s p r im o s .
Sean stos dados en e l o rd e n natural en Z:
P i < Pa
a fir m a m o s entonces que [ l / p j ] ^ [ l / p j ] si i ^ j . Esta a fir m a c i n
i m p l i c a r la infinitud de Q / Z. H agam os la d e m o s tra c i n p a ra
e l ca so i = 1, j = 2. Entonces si
[ i / P il

[ i / Ps]

se tendr
1

/ Pi -

/ Ps =

n e Z

p o r lo tanto

0 < p2 - Pi

= n- p j p3

p e r o esto es un absurdo, pues a f ir m a que ps - p x es d iv is ib le p or

p3 y 0 < pa - P i < p2. N u e s tra a fir m a c i n queda probada.

b) P a ra todo x e Q / Z existe n e N tal que n x = x + x + ^ . . + x = 0

n veces
En efecto, si x e Q / Z existe p / q e Q tal que
x =

[p / q]

0,

p, q e Z

P e r o entonces
qx = qCp / q]

[ q ( p / q )3 =

Cp]

= o

pues p e Z
P o r lo tanto confirm a nuestra afirm acin. Esta propiedad se e x
presa diciendo que Q / Z es un grupo de torsin.

F.

Un T e o re m a de Is o m o rfism o

En esta seccin r e s o lv e re m o s el siguiente problem a utilizando

mtodos estudiados previam ente.
P roblem a. Sea G un grupo. D eterm inar todos los grupos L q u e
sean imgenes de G por m orfism os; o sea, determ inar todos los
grupos L para los cuales existen m o rfism o s sobre f : G -* L.
Este problem a admite la siguiente solucin.
Solucin. La clase de grupos { L } que son imgenes de G por
m orfism os "c o in c id e " con la clase [G / H } de grupos cocientes de
G por subgrupos distinguidos de G. P recisan d o tenemos:
T eo rem a . Sean G y L grupos y s e a f : G -* L un m o rfis m o sobre.
Existe entonces un nico subgrupo distinguidoH de G y un is o m o r fism o g : G / H -* L con la propiedad que el diagrama

(D)

% 4
G/ H

es conmutativo, o sea
g o Q =
(9

denota el m o rfis m o cannico).

Nota 1. La conmutatividad del diagrama anterior equivale a d e

c ir que L es iso m o rfo , en fo rm a natural, a un grupo cociente de
G.
Nota 2. La coincidencia a que se hace re fe re n c ia en la solucin
del problema se obtiene por medio del teorem a estableciendo la
aplicacin
L -* G / H
Dem ostracin del T eo rem a .

Definimos p rim eram en te

H = Nu ( f )

71

y siendo ste un subgrupo distinguido fo rm a m o s el grupo cociente

G / H. Vam os ahora a d efin ir un m o r fis m o G /H -*L. Sea SeG/H.
E xiste s e G tal que S = { x / x ~ s] = Q (s). A n alicem os el elem ento
f ( s ) s L , Si s x e S, entonces s x ~ s, o sea s' * s x e H = Nu (f) de
m anera que
f ( s * * s x) = e
y, tambin, siendo f m o r fis m o
e = f ( s ' ) * f ( s x) = f ( s

)1

* f (s -l)

o sea
f(s )

= f ( s x)

lo cual dem uestra que f (s) est unvocamente determ inado por S,
es d e c ir
S -* f (s), si s e S
define una aplicacin
g : G/ H - L
(I)
g (S ) = f ( s ) si s e S

72

Vam os a prob ar que g es un m o r fis m o . Sean S1? S3 C G / H.

En
tonces si s x e Sj y s s S3 se tiene, en virtud de la d efin icin de
S], * S3, que
s x * s 2 s Sx * Sa
por lo tanto de (I)
g { S x * S3) = f { s x * s2)
= f ( s x) * f ( s 2)
= g(S x) * g (S2)
que m u estra bien que g es un m o r fis m o . N tese adems que si s e G
entonces s 0 Q (s) y se tiene
f (s ) =

g (Q (s) ) =

(g o

) (s)

de m an era que
f

= g o

lo cual prueba la conmutatividad del diagram a (D).

V e rifiq u e m o s que g es un i s o m o r fis m o .
i. g es un m o r fis m o sobre. En efecto, sea u e L, entonces siendo
f un m o r fis m o so b re e x iste x e G tal que f {x ) = u. P o r lo tanto de (:) se
tiene u = f(x ) = g(Q ( x ) ) que m u estra que g es un m o r fis m o sobre.
ii, g es m o n o m o rfis m o . Deber p ro b a rs e que Nu(g) [ e } .
S e Nu(g). Entonces si s e S
f(s )

g (Q (s ))

Sea

g(S) = e

por lo tanto s e H. Esto im p lic a S = H = e = identidad de G / H .

es pues un m o n o m o rfism o .

V e a m o s fin a lm e n te la cu estin r e la t iv a a la unicidad del sub

grupo H. Sea, pues, H 1 un subgrupo distinguido de G y sea g 1 : G / H 1 -* L
un i s o m o r f i s m o que hace conm utativo el d ia g ra m a
G
G/H' - L
g'
V a m o s a p r o b a r que H = H '.

En efecto,

u' e H 1 = f (u ') = g 1 ( g ' (u 1) ) = g ' ( e ) = e

=* u ' e H , o s e a H ' c ; H
u e H => e = f(u ) = g ' ( 9 ' ( u ) )
{p o r s e r g 1 un i s o m o r f i s m o )
= u e N u (f}') = H 1, o sea H a H '.
Es d e c ir , H = H ' co m o d eseb am os p r o b a r . E l te o r e m a queda p r o
bado.
E je m p lo s
1. Sea G un grupo y sea Aut (G) e l grupo de a u to m o r fis m o s de G.
L a a p lic a c i n
x - Ix
que a s o c ia a x e l a u to m o r fis m o de G:
Ix (g )

= x * g * x'

es un m o r f i s m o s o b r e
I : G -

Int (G)

de G en e l grupo Int (G ) de a u to m o r fis m o s i n t e r i o r e s de G. De

acu erd o con e l t e o r e m a enunciado en esta s e c c i n se ten d r un
is o m o rfis m o
G / H - Int (G )
donde H = N u {I ) .

A n a lic e m o s H = N u (I ).
x e Nu (I)

o
o

Ix =
x * g
g e
X *

id e
* x 1 = g c u a lq u ie ra que sea
G
g = g * X

P o r lo tanto
H
7C.

{x / x * g =

g * x , p a ra todo g e G]

E ste subgrupo se denom ina e l c e n tro de G y se lo denota

P o r lo tanto
Int (G) -

G/3a

con

73

2.

Sea n

N.

Sea Wn e l grupo de r a c e s n -s im a s de la unidad:

wn =

w1

eos
n

* *

2 tt

w , = eos
J

2 jn

2 tt

+ i sen
n
<t

2 jtt

+ x s e n ---n
n

n ^ jr r +
2 fn - 1 )TT
s en
n
n
L a a p lic a c i n f : Z -* Wn definida p o r
r, ,
2mrr , .
2mrr
f (m ) - e o s ------- + i . sen
n
n
w n_ 1 = eos

es, en virtu d d e l T e o r e m a de De M o iv r e , un m o r f i s m o de (Z, +. 0)

enW a, y es, evidentem ente, un m o r f i s m o s o b r e . D e te r m in e m o s Nu(f).
k e Nu ( f )

74

eos ^

+ i . sen 2kn
= 1
n
2 krr 2kTT = 0n
eos
- 11 y sen ----n
n
2 krr
= h 2tt = m ltip lo de 2rr, h e Z
n
k es d iv is ib le p o r n
k 0 (n) = subgrupo de Z de m ltip los de n.

P o r lo tanto se ha d e m o s tra d o que Nu (f)

tien e e l i s o m o r f i s m o
Z / (n)
3.

Sean R #
R+

(R - [ 0 ] , . , 1 )
=

f : R jf

(n).

En d efin itiv a se

grupo m u ltip lic a tiv o de nm eros

r e a le s no nulos.
(R+, . , 1)
= grupo m u ltip lic a tiv o de nm eros
r e a le s p o s itiv o s ,
-* R+ la a p lic a c i n f (x ) = x 2.

f es u n m o r fis m o y es adem s u n m o r fis m o s o b re . En efecto, este

hecho nada t r i v i a l es c o n s e c u e n c ia d e la siguiente prop ied ad d,e los
nm eros r e a le s : todo n m ero r e a l p o s itiv o p o s e e una r a z c u a d ra
da en R, o sea dado r e R, 0 < r e x is te y e R tal que y 3 = r.
D e te rm in e m o s Nu (f):
x e Nu ( f ) o x 2 = 1
x = 1 x = - 1
P o r lo tanto se tien e el is o m o r f i s m o
R f / O , - iJ = R+
(In te r p r e ta c i n de este is o m o r fis m o : R # / { l , - l }
co n s is te de la
totalidad de p a re s {x , - x } de n m eros r e a le s x ^ 0.
El is o m o r
fis m o est dado p or {x , - x ] - x3 . )
4. Sea n e N tal que n = p 1 q 3 donde i, j e N, p y q s o n nm eros
p r im o s y p ^ q,

Sean Z / (p1) y Z / (qJ) los grupos cocientes correspondientes

a los subgrupos {p1} y (q3) de mltiplos enteros de p 1 y qJ, r e s p e c
tivamente. Los elementos de Z / (p 1) se representanm ediante los
restos de la d ivisin entera por p 1. Si u es uno de estos restos se
e s c r ib ir u para denotar el elemento de Z / (p 1) asociado. A n lo
gamente con Z / (q3).
A = Z / (p*) Z / (qJ)
la suma directa de Z / (p 1) y Z / (q3).
de la fo rm a
(u, v)
donde u, v e Z satisfacen
0

u < p1

Z / (p1)

Un elemento tpico de A es

^ v < q J

Sean
9P : Z -

(^ : Z -

Z / (q3)

los m o rfis m o s cannicos.

Sea f : Z -* A la aplicacin definida por
m -

( 9 p(m), (^ ( m ) )

f es un m o rfis m o , cuya v e r ific a c i n se deja a cargo del lecto r.

A fir m a c i n , f es un m o r fis m o sobre. En efecto, siendo p 1 y q 3
p rim os entre s, por suponerse p / q, existen enteros r, s tales que
(:)

r p 1 + sqJ =

(por una propiedad tpica del m xim o comn d iv is o r). Sea entonces
(u, v ) e A . El entero
m = v r p 1 + usqJ
satisface
f { m ) = (9p(m), (^(m) ) = (gp(usq3), g ^ v r p 1) )
y ahora en virtud de (:) es
u = urp 1 + usq 3
v = vrp 1 + vsq3
con lo que
f ( m ) = (u, v)
lo cual prueba que f es un m o r fis m o sobre.
Calculemos ahora N u (f).
m e Nu ( f ) ((Jp(m), Qq (m ) ) = 0 = (0 ,0 )
o p 1 divide a m y
q 3 divide a m
p 1. q 3 divide a m
(Nota: la ltima equivalencia es debida a que p 1 y q 3 son p rim os
entre s. )

El razonam iento p recedente nos m u estra entonces que

N u (f)

= (p 1 . qJ) = (n)

= a la totalidad de mltiplos del entero n. A h ora en virtud del t e o

rem a de is o m o r fis m o se tien e el is o m o r fis m o fundamental:
Z / (n) =- Z / (p 1) Z / (qJ)
n = p1 .
p, q p rim o s distintos

Como aplicacin se tienen los is o m o rfis m o s :

a)
b)
c)

Z / ( 6 ) - Z / ( 2 ) Z / (3)
Z / ( 1 2 ) - Z / (4 ) e Z / ( 3 )
Z / (36) - Z / (4) Z / (9)

E je r c ic io . P r o b a r que no existe ningn is o m o r fis m o entre

Z / (4) y Z / ( 2 ) Z / (2fc

G.

Grupos Finitos

Un grupo G se dice finito si G es un conjunto finito, o sea si G

es coordinable a un in te rv a lo natural in ic ia l I k.

76

Ik =

{n / n e N, 1 n s k]

Se e s c rib e entonces
C a r d (G )

= k

y se dice tambin que G es un grupo de orden k.

H istrica m en te la te o r a de grupos finitos est estrecham ente
ligada a la t e o r a de la resolucin de ecuaciones algebraicas o ms
generalm ente a la llam ada T e o r a de Galois.
E jem plo. Sea n e N y sea X = {1, 2, . ., nj.
Entonces el grupo
G = T r a n ( X ) es un grupo de orden n! = fa c to r ia l de n . Los e l e
mentos de T ra n (X ) se denominan perm utaciones. G se denomina
el grupo s im tr ic o de grado n y se le denota por G = S. Este es el
ejem plo ms im portante de grupo finito, dado que: T e o r e m a (C a yley)
para todo grupo finito G existe n e N y un m on om orfism o G - Sn,
o sea todo grupo finito es subgrupo de un grupo de perm utaciones.
D e m o stra rem o s aqu un te o re m a elem ental muy importante, a
saber, el T e o r e m a de L agran ge.
P re v ia m e n te ser n ecesa rio
estudiar la cardinalidad de las c la ses de equivalencia de la r e
lacin determ inada por un subgrupo. Sea G un grupo y sea H un
subgrupo de G. S e a ~ la re la c i n de equivalencia com patible a la i z
quierda determ inada por H, o sea
u ~ v

v ' * u s H

Sea S una cla se de equivalencia segn

tal que
S = [ x / x ~ s}
A fir m a c i n .
las aplicaciones
y

Existe entonces s e G

S y H son conjuntos coordinables. En efecto, sean

f : S -
g : H -

H
S

definida por
definida por

x -* s 1 * x
h -* s * h

se sigue f cilm en te que g o f = i d s y f o g = id H de m anera que f (y

lo m ism o g) es una biyeccin.
C o ro la rio .
dinables.

Dos clases de equivalencia S y T segn~ son c o o r

En efecto, S es coordinable a H y T es coordinable a H p or lo

tanto S es coordinable a T.
T e o r e m a . (L a g ra n g e ). Sea G un grupo finito. Sea H un sub
grupo de G. Entonces si Card ( G / ~ ) denota el nmero de elementos
del "conjunto" cociente G / ~ (o sea, e l nmero total de clases de
equivalencia segn ~ ) se tiene
(L )

Card (G) =

Card (H) . Card (G / ~ )

Dem ostracin, ~ d eterm ina sobre G una p a rtic i n y los con

juntos de esta p a rtici n son todo coordinables entre s y coordinables
a H, segn a f i r ma el c o r o la rio pr ecedente. P o r lo tanto se satisfa ce
<L) .

C o ro la rio . Sea G un grupo finito y s e a H un subgrupo de G. En

tonces el orden de H divide al orden de G.
C o ro la rio . Sea G un grupo finito y s e a H u n subgrupo distingui
do de G. Entonces
Card (G) =

Card (H) Card (G / H)

A p licacion es
1. Todo grupo finito de orden p p rim o es c c lic o , o sea is o m o rfo
a Z / (p). En efecto, sea G un grupo finito de orden p rim o p. En
tonces si x e G, x
e la aplicacin Z -* G definida por
f : m
(donde x? =

e, xn = (x -11)

-1

si

-* xm
n <

es un m o r fis m o tal que

Im ( f ) { e j
pues e ^ x e Im (f). P o r lo tanto Im (f) es un subgrupo de G de
orden m ayor que 1 y que (L a g r a n g e ) divide a p. Siendo p prim o
debe ser
Im ( f ) = G

P o r lo tanto
Z / H =- G
donde H es el ncleo de f. P u e s to que C a r d ( Z / H ) = C a r d (G ) = p
debe s e r H = (p). P o r lo tanto, se tiene finalm ente
G = Z / (p)
C o ro lario .

Todo grupo finito de o rd e n p r i m o es conmutativo.

2. Todo grupo finito de o rd e n 5 es conm utativo. E n efecto, si

C a r d (G ) = 2, 3, 5 entonces es conmutativo seg n a c a b a m o s de v e r .
Queda entonces p o r a n a liz a r el c a s o C a r d (G ) = 4. Esto ltim o lo
d e ja m o s como e je r c i c i o p a r a el le c to r. N tese que hay grupos de
o rd e n 6 no conmutativos como, p o r ejem plo, el grupo s im t r ic o
S3. Es ste el nico grupo de o rd e n 6 no conmutativo? S.

E je r c i c i o
i.
ii.
iii.
iv.

C o n s t r u ir una tabla de c o m p o sic i n d el grupo S3.

D e t e r m in a r todos sus su bgru p o s y s e a la r los distinguidos,
P r o b a r que 3s3 = e j*
P r o b a r que Aut(S3) = IntfSa), o se a que todo a u to m o rfism o
de S3 es in t e r io r .

^ Nota. L a s siguientes p r o p ie d a d e s son v lid a s en Sn (v a se r e

fe r e n c ia b i b li o g r f i c a (9) ).
s i)
s2)

P a r a todo n, 3 n :
= e J
P a r a todo n, 3 n y n ^ 6 : A ut(Sn) = Int(Sn),

E je rc ic io .

Sea p un entero r a c io n a l p r im o . P r o b a r que el g r u

po
A u t ( Z / (p )

Z / (p ) )

de a u to m o rfis m o s de la su m a d ir e c t a Z / ( p )
(p3 - 1) . ( p 2 - p).

Z / ( p ) p o se e orden

HI.
A.

E S T R U C T U R A DE A N IL L O

Definicin y Ejemplos

No habr escapado a la atencin del le c to r que ha seguido el

tratamiento hecho en el capitulo anterior la posibilidad de introducir
en un conjunto ms de una ley de composicin. Esto efectivamente
es posible y da lugar, en particular, a la importante estructura
algebraica de anillo. Si y * son dos leyes de composicin d e fi
nidas sobre un conjunto A, una condicin esencial a imponer es que
dichas leyes de composicin guarden alguna relacin entre s. Una
form a natural de establecer relaciones entre ambas es, conforme
a los esquemas numricos, mediante las leyes distributivas. A s
direm os que
Definicin
* es distributiva a la izquierda respecto de si
x * (y z)

= (x * y) (x * z)

cualesquiera que sean x, y, z e A.

* es distributiva a la derecha respecto de si
(x y) * z = (x * z) {y * z)
cualesquiera que sean x, y, z e A.
* es distributiva respecto de , si lo es a la izquierda y a la d e r e
cha.
Ciertamente, en el caso que * sea una le y de composicin con
mutativa los distintos tipos de distributividad antes definidos
coinciden entre s.
Ejemplo.

Sea A = N y sean * y definidas por

a * b = a
a b = a + b

Es fcil v e r entonces que * es distributiva con respecto de a l a

derecha, pero no a la izquierda.
Ejemplo, Sea A = P { X ) = totalidad de partes de un conjunto X.
Sean * y definidas por x * y = x fl y x y = x U y. En tal ca
so * es distributiva respecto de y, recprocamente,* es distributiva
respecto de *.
Suele im ponerse otro tipo de condiciones a fin de hacer ms
sistemtico el estudio de estas estructuras con dos leyes de com
posicin. P o r ejemplo, se pide que una de ellas sea un semigrupo
conmutativo y que la otra le y de composicin sea distributiva r e s
pecto de la prim era. Resulta entonces conveniente introducir la
siguiente notacin:

+ denotar una l e y de c o m p o s ic i n conmutativa

denotar una le y de co m p o s ic i n gen rica
(o sea, a no le im ponem os ninguna condicin esp e c ia l). E l caso
+ se denom inar aditivo m ien tra s que el se denom inar m u ltip li
cativo. P o r abuso de lenguaje lla m a r e m o s a + suma y a prod u cto.
Siendo asi s e r conveniente ajustar nuestra notacin a n te rio r sob re
elem entos identidad, in v e r s o s , etc. , co m o sigue:
Caso aditivo:

Antes

A h ora

*
e
x'

+
0

-x

Caso m u ltiplicativo:
*
e
x1
V eam os com o se traducen re la c io n e s estudiadas anteriorm en te:
(x * y ) 1 = y 1 * x 1

| - ( x + y) = ( - y ) + ( x)
(x . y ) - 1 = y - 1
x
X

( x 1)' = x
-

80
e * e =

0 = 0

i = i

E s c r ib im o s adems en el caso aditivo

x - y

= x + (-y )

Definicin. Sean + y le y e s de c om p osicin interna definidas

sob re un conjunto A . D ire m o s que las m ism a s determ in an sobre
A una estructura de anillo o tam bin que A es (re s p e c to de + y )
un anillo si e x iste 0 e A tal que
a l ) (A, +, 0) es un grupo conmutativo,
aZ) (A, ) es un sem igru p o.
a3) es d istrib u tiva (o sea a la izquierda'
y a la derech a) con r e s p e c to a + .
D efin icin .
-

D ire m o s tam bin que

A es un anillo conmutativo si (A, ) es un sem igru po

conmutativo.
A es un anillo con identidad si existe 1 e A tal que
1 0 y (A, ., 1 ) es un sem ig ru p o con identidad.

En la p ro p o s ic i n siguiente se han reunido resultados vlidos

en todo anillo A . R ecu erd e el le c t o r q u e - x denota el in v e r s o aditivo
de x y que x - y denota la suma x + {- y).

Proposicin.
i.
ii.
iii,
iv .
v.
vi.

Sea A un anillo, entonces si a, b, c , d e A

a 0 = 0 a = 0
{ - a ) -b = - (a- b) = a* ( - b )
( - a ) (-b ) = a b
a ( b - c ) = a-b
a* c
(a - b) c a c - b c
(a + b) (c + d ) = a c + a - d + b - c

+ b-d

Demostracin. E sta r basada en la u tilizacin del te o r e m a de

existencia y unicidad de las ecuaciones, sob re e l grupo aditivo A.
de la fo rm a a + X b.
i. a 0 = a - ( 0 +
se tiene que

) = a

+ a

y puesto que tam bin a

a 0

= a 0 +

son ambas soluciones de la ecuacin a - 0 + X = a - 0. P o r lo tanto

debe s e r a* 0 = 0. Anlogamente, resulta 0* a = 0.
ii. (- a ) , b + a b = ( ( - a ) + a) b = 0 b = O y puesto que tambin
-(a * b) + a . b = 0 se tiene que
(-a ) b

- (a b)

son ambas soluciones de la ecuacin X + a - b = 0 .

P o r lo tanto
debe s e r (-a)* b = - (a b). Anlogamente, resulta a (- b ) = - (a b).
Nota, En virtud de este resultado no hay ambigedad al e s c r i
b ir - a b en lugar de -(a - b), ya que asociando el - tanto a a como
a a b no v a ra la expresin.
iii.

a b = - { - (a b) )
= - ( (- a ) b) en virtud de ii.
- (- a )* (- b ) en virtud de ii.

iv.

a (b - c) = a (b + ( - c ) ) = a b + a ( - c )
= ab+(-(a-c))=a*b
- a c

v.
vi.

D em ostracin anloga a iv .
Se deja a c a rg o del le c to r .

Corolario,
ciones

Sea A un anillo con identidad 1. Entonces las ecua

0 X =
Y 0 =

1
1

no admiten ninguna solucin en A.

Demostracin, En efecto, de acuerdo con i 0 . a = a 0 = 0
cualquiera que sea a e A. Puesto que adems es 1 / 0 (de acuerdo
con lo convenido al d efin ir anillo con identidad) ninguna solucin
en A de cualquiera de esas ecuaciones es p osible.

Sea A un anillo con identidad 1.

Con

U (A )
denotamos el subgrupo de (A, . , 1) de elementos in v e rs ib le s o uni
dades y lo denominamos el grupo de unidades del anillo A .
N tese que el c o r o la r io an terior es equivalente a la a firm acin
0 i
Definicin.
de d ivisi n si

U (A )

D irem o s que un anillo con identidad A es un anillo

U (A )

= A - {0 }

o sea si todo elem ento a e A con a / 0 es in v e r s ib le en (A, . , 1 ) .

Definicin. L la m a r e m o s cuerpo (se suele u tiliz a r tambin la
denominacin ca m p o ) a todo anillo de d ivisi n conmutativo.
Ejemplos
1.

A nillos numricos
i.

Z con + = suma ordin aria y = producto ordin ario es un an i

llo conmutativo con identidad:el anillo de enteros racionales.
U ( Z ) = l, - 1}.

ii.

Q con + = suma ordin aria y - = producto ord in ario es un

anillo conmutativo con elem ento identidad. U ( Q ) = Q f = Q - (Oj.
Q es el cuerpo de los nmeros ra c ionales.

En fo r m a anloga a ii
i ii.

R es el cuerpo de los nmeros re a le s .

iv .

C es el cuerpo de los nmeros com p lejos.

2. Sea A = (A, +, 0) un grupo conmutativo.

ra de sem igrupo tr iv ia l:
x y = 0

Sea (A, . ) la estructu

cualesquiera que seanx, y e A. E n t o n c e s + y - definen sobre A una

estructura de anillo conmutativo: el anillo t r i v i a l asociado al grupo
conmutativo A.
3. Sea X un conjunto y sea A = P ( X ) el conjunto de partes de X.
Las dos siguientes leyes de com p osicin sobre A:
x + y = x A y = d ife re n c ia s im tr ic a de x e y
x - y = x fl y = in te rs e c c i n de x e y
determ inan sobre A una estructura de anillo conmutativo con id en
tidad: el anillo de Boole de subconjuntos de X. Se v e r ific a U (A ) = {X j,
o sea el nico elemento in v e r s ib le de A es la identidad 1 = X.
4. Sea M = (M, + , 0) un grupo conm utativo. Sea End (M ) = (End (M),
o) el sem igrupo de endom orfism os de M. Vamos a d efin ir sobre
End (M ) la siguiente "s u m a ". Sean f, g e E n d(M ).

Entonces si m e M:
( )

f (m ) + g (m )

define una aplicacin de M en M que sa tisfa ce

(:)

m j + rn2 f (n ij + m a) + g (rr^ + m 3) =
f { m 1) + f ( m a) + g (m i) + g {m a) =
[ f (m i) + g ( m x) ] + [ f (m2) + g (m 3) ]

(N tese que en el ltimo paso se

de M al perm utar f(mg) con g (m 1),
cacin (. ) es un m o r fis m o de M,
nuevo m o r fis m o se denotar con
(f + g) (m ) -

( )

ha hecho uso de la conmutatividad

) (:) m u estra entonces que la a p li
o sea un elem ento de End(M). Este
f + g. En sm bolos

f(m ) + g (m )

si

m e M

P o r lo tanto
f +

(f, g)

define una le y de co m p o sici n en End(M), o sea una estructura de

m onoide (End(M), + ), que sa tisfa ce
a)

f + g =

g + f.

En efecto,

(f + g) (m ) = f (m ) + g (m ) \ conmutatividad
= g ( m ) + f (m ) J
de M
= (g + f) (m )> si m e M

b) + (g + h) = (f + g) + h, si f, g, h e E n d (M ).
En efecto,
basta a p lic a r la defin icin ( ) y u tiliz a r la propiedad asociativa
de (M, +, 0 ).
c)

La ap licacin denotada p or 0 : M
O jm )

0,

si

-* M definida por

m e M

satisface
0^ +

0^

de m anera que 0 es elem ento identidad de (End (M), + ).

d)

Sea f e End (M ).
f 1(m )

L a a plicacin f 1 : -
-

-f(m )

si

M definida por

m e M

es un m o rfis m o :
f 't n i! + m 2) = - f ( m 1 + m 2) = - ( f ( m x) + f (m 2) )
= - f ( m ^ + ( - f (m 3) )
= f*(m i ) + f '( n ^ )
S atisface adems

P e r o p o r a) sigu e que
'

+ f

P o r lo tanto f 1 es in v e r s o de f en (E n d (M ), + , 0 ) .
En d efin itiva , la l e y de c o m p o s ic i n f + g d efin ida en E n d (M ) es
una l e y de c o m p o s ic i n de grupo conm u tativo.
A f ir m a m o s ahora que la s le y e s de c o m p o s ic i n en E n d (M ) f + g
y f o g d efin en una es tru c tu ra de a n illo .
En e fecto, h abr que p r o b a r las le y e s d is trib u tiv a s
f o (g + h) = f o g + f o h
(f + g) o h = f o g + g o h
L a d e m o s t r a c i n es s i m i l a r en am bos ca sos, p r o b e m o s la p r im e r a :
[ f o (g + h ) ] (m )

=
=
=
=

f ( ( g + h) (m ) )
f (g (m ) + h (m ) )
f ( g (m ) ) + f (h (m ) )
( f o g) (m ) + (f o h) (m),
si m e M

P o r lo tanto la d is trib u tiv id a d pedida.

E l a n illo a s d efin id o es de e x t r e m a im p o r ta n c ia en lg e b r a y
s e le denom ina el a n illo de e n d o m o r fis m o s de (e l grupo conmuta t iv o ) M . Es un a n illo con identidad, dado que (E n d (M ), o) es un s e m ig ru p o con identidad. En ge n e ra l, no es un a n illo conm utativo.
D e m o s t r e m o s esta ltim a a f ir m a c i n con un e je m p lo s e n c illo . Sea
Z / ( 2 ) = {0, 1] = e l grupo de re s to s m dulo 2. L a es tru c tu ra de
grupo conm utativo de Z / ( 2 ) est dada p o r 0 + 0 = 0 , 1 + 0 = 0 + 1 = 1 ,
1 + 1 = 0. Sea M = Z / ( 2 ) @ Z / (2) = suma d ir e c t a de Z / (2 ) co n sigo
m is m o . L a d e s c r ip c i n de M es la siguiente:
M
+

{(0,

), ( 0 ,

), ( 1 ,

), ( 1 ,

)}

( 0, 0)

(0, 1 )

( 1, 0 )

(1, 1)

( 0, 0 )
(0, 1)
( 1, 0 )

( 0, 0)
(0, 1)
( 1, 0 )

(1, 0)

( 1, 1)

( 1, 1)

(0,
( 0,
( 1,
( 1,

(1,
( 1,
(0,
(0,

(0, 0) es la iden tidad de (M, + ) .

definidas p o r
(0,0)
(1,0)
(0,1)
(1,1)

(0, 0)
(1,0)
(1, 0)
(0, 0)

1)
0)
1)
0)

( 1, 1)
(0, 0)
(0, 1)

1)
0)
1)
0)

Sean f, g a p lic a c io n e s de M e n M
(0, 0)
0)
B - (1
g (0, 1)
(1, 1)

(0, 0)
(1,1)
(0, 0)
(1,1)

Se d eja al l e c t o r el v e r i f i c a r que f y g son e n d o m o r fis m o s de M. P r o

bem os que f o g / g o f. En efecto ,

lo cual comprueba nuestra a firm acin . Consecuentemente, End(M)

no es un anillo conmutativo. O tra c a r a c t e r s t ic a de este ejem plo
es que f _0 , g / 0 y sin em bargo
y

f o g = 0
g o f
^

5. Sea S un anillo y sea X un conjunto no vacio. S e a A = A p lc (X , S)

la totalidad de aplicaciones de X en S. Las le y e s de com posicin
+ y en S dan lugar, segn se v io oportunamente, a le y e s de c o m
posicin en A p lc (X , S):
f + g : x f g : x -

f (x) + g (x)
f (x) g (x)

que denominamos las le y e s de com p o sici n puntual de f con g r e s

pecto de + y , resp ectiva m en te. A dem s, si 0 e A denota la
aplicacin constante
OJx) = 0, si x e X
se tiene que (A, + , 0} es un grupo conmutativo. P o r otra parte, (A, . )
es un sem igrupo. Es f c il v e r i f i c a r la distributividad de r e s
pecto de +, de m an era que queda definido sobre A una estructura
de anillo: el anillo de a p lic a c io nes (o funciones) de X en S. Es un
anillo conmutativo si S lo es y posee identidad si S lo posee. (Este
ejem p lo es de gran im p o rta n cia en anlisis y, en especial, en la
situacin siguiente: X = RH el espacio euclidiano n -dim en sion al y
S = el cuerpo R de los nmeros re a le s y donde las aplicaciones se
r e s trin g e n a las "a p lica cio n es continuas". )
6 .
En el ejem p lo 2 se ha dem ostrado cm o in trodu cir una e s tr u c
tura de anillo en un grupo conmutativo A.
En general, se puede
fo rm u la r el siguiente problem a: dado un grupo conmutativo A,
cuntas estructuras p osibles de anillo se pueden defin ir sobre
A que c o n serven la estructura de grupo conmutativo o r ig in a l?
P o r ejem plo, el le c t o r puede probar, a m a n era de e je r c ic io , que
la nica estructura de anillo con identidad que puede d e fin ir s e s o
b re (Z, + ,0 ) es la estructura ordinaria. L o m is m o es c ie r to para
los grupos cocientes Z / (m ). Es in teresan te el siguiente resultado:
la nica estructura de anillo d efinible sob re el grupo cocien te Q /z,
es la tr iv ia l, o sea x - y = 0 cu alesqu iera que se a n x ,y e Q / Z .
La
dem ostra cin es muy sen cilla. El anlisis de un caso pa rticu la r
s u g e rir al le c t o r la d e m o s tra c i n gen eral. Supongamos pues d e
finida sobre Q / Z una estructura de anillo. Entonces (por ejem plo):

[1 / 2 ] [1 / 3 ]

7.

=
=
=
=
=
=

[3 1/6] . [1 / 3 ]
[1 / 6 ] [1 / 3 ] + [1 / 6 ] - [1 / 3 ] + [1 / 6 ] [1 /3 ]
[1 / 6 ] - ([1 / 3 ] + [1 / 3 ] + [1 / 3 ])
[ 1/ 6 ] - [ 1 ]
[ 1 / 6 ] -O
O

Sean
A = anillo
n N
I n = in terva lo natural in ic ia l =

{ k / k e N y l s kn}.

F o rm em o s el producto cartesiano J = InX I n. A n teriorm en te haba

mos estudiado el sem igrupo (A pi ( J, A ), +) de aplicaciones de J en
el grupo conmutativo (A, +, 0). R ecord em os que si f, g e Api (J, A )
entonces
C>
(f + g) (x) = f ( x ) + g ( x )
En nuestro caso x e J es de la fo rm a x = (i, j). Convendremos
en e s c r ib ir
f (i, j ) = f,j
si f e A p i (J, A )
( ') se e s c rib e entonces
(* + )ij

86

*ij + ij

Definim os ahora sobre A p i (J, A ) un producto: (ft_g) -* f g por

n
y

(f g ) , j

f lk gfcj

k=l
=

*11 1J

*18 '

2J

* *

*ln * nj

Un clculo sen cillo nos m uestra que (Api (J, A ), . ) es un s e m i

grupo y adems que * distribuye respecto de +. O sea + y* definen
sobre A p l(J , A ) una estructura de anillo. Es til rep resen ta r los
elementos de Api (J, A ) mediante "c u a d ro s " denominados m atrices
de n filas por n columnas
*11

*12

ln

*21

*23

*2n

*n l

fn S

L a suma y el producto se expresan entonces, en el caso n = 2,

*11

g il S is

*12

+
*21

Sai

*22

23

*11 + Bu

*12 + Sl2

*21 + g21

*22

*11

*12

S il

12

*11 * g i l

*21

*22

21

22

*21 ' g i l

"* *22 *

22

*12 21

*11 ' 12

*12 22

gal

*21 12

*32

22

E l an illo asi obtenido s e denom ina a n illo c o m p le to de m a t r ic e s

con c o e fic ie n te s en A de n fila s p o r n colu m n as (o, b re v e m e n te ,
e l an illo de m a t r ic e s de n X n s o b r e A ) .
Se le denota p o r M,j (A ).
V e a m o s algunas p ro p ie d a d e s de Ma (A ):
a)
Si A p o s e e ele m e n to identidad 1 entonces M n (A ) p o s e e e l e
m ento identidad. En efecto, la m a t r i z

e =

..
..

. o
. o
es identidad de

0
0

o sea

si
si

1J " t i

(A ).

b)
Sea A un a n illo con identidad.
Entonces si 1 < n, M j (A )
no es un an illo conm utativo. En e fecto, v e a m o s el ca so n = 2
0

'

0 1

0 1

0
0

c)
Sea A un a n illo con identidad.
elem en tos x, y e M (A ) ta le s que
x-

0, y

Entonces,

x y

si 1 < n, e x isten

(E l e je m p lo a n t e r io r d e m u e s tra e s e hecho. )
Es in te re s a n te y tam b in im p o rta n te a n a liz a r el s e m ig ru p o m u l
tip lic a t iv o de M n (A ), suponiendo a A un a n illo con identidad. El
grupo U (Mu (A ) ) de elem en tos in v e r s ib le s de M (A ) r e c ib e entonces
el n o m b re de grupo lin e a l g e n e r a l de grado n con c o e fic ie n te s en
A y se le denota p o r G L n (A ). L o s grupos m s im p o rta n te s de la
g e o m e t r a son grupos de este tipo, A es g e n e ra lm e n te un cu erpo.
P a r a las a p lic a c io n e s a r itm tic a s A es un a n illo conm utativo. E l
in t e r s de estu diar M ^ A ) en el c a so de un a n illo conm utativo con
identidad ra d ic a en la e x is te n c ia de la T e o r a de D e te r m in a n te s .
Sin en tra r a d e ta lla r esta t e o r a d iga m o s b r e v e m e n te que en la
m is m a s e d e m u e s tra la e x is te n c ia de una a p lic a c i n
Det :

(A )

en tre cuyas p ro p ied a d es est la de s e r un m o r f i s m o de las e s t r u c

turas m u ltip lic a tiv a s , o sea
D et (f g)
D e t(e )

=
=

Det ( f ) Det (g)

1

donde e denota el ele m e n to identidad de M,, (A ).

87

En t rm in o s de la t e o r a de d eterm in a n tes es p o s ib le fo r m u la r e'1

siguiente c r i t e r i o de c a r a c t e r i z a c i n de G L n (A ), s e a f s
(A )
f e G L n (A )

si, y slo si, Det (f) e U (A )

En el c a s o p a r t ic u la r de s e r A un cuerpo, siendo U (A ) = A - { 0 } ,
se tien e
f e G L n (A )
si, y s lo si, Det (f) ^ 0
{E l s e r d eterm in an te un m o r f i s m o da una d e m o s tr a c i n de la p a rte
" s lo s i " del c r i t e r i o . )

B.

Subanillos e Id e a le s

En esta s e c c i n s e estu diarn las subestructuras c a r a c t e r s

ticas de un anillo.
Sea A un an illo y C un subconjunto de A .
D efin ici n .

D ir e m o s que C es un subanillo de A si

s i ) C es subgrupo de (A, + , 0).

s2) C es su b sem igru p o de {A , . ).
E l l e c t o r puede v e r i f i c a r , a m a n e r a de e j e r c i c i o , la v a lid e z d l a
siguiente p r o p o s ic i n .
P r o p o s ic i n . Un subconjunto C de un an illo A es un subanillo
si, y slo si, s a tis fa c e todas las p ro p ied a d es siguientes:
1.
2.
3.

C j 0
x e C, y e
x e C , ye

C -* x - y e C
C x y e C

E je m p lo s
1.

P a r a todo an illo A, C = { 0 }

2. Sea A un anillo t r i v i a l .
subanillo.

y C = A son subanillos de A.

Entonces todo subgrupo C de A es un

3. Sea Z el anillo de enteros ra c io n a le s . Entonces todo subgrupo

de (Z, +, 0) es un subanillo. En e fecto, si C es subgrupo de Z e x i s
te m e Z, ta l que C = {m ) = la totalidad de m ltip los en teros de m.
C om o el producto de dos mltiplos de m es tam bin un mltiplo de
m se sigue que la con dicin 3 de la p r o p o s ic i n se s a tis fa c e y C es
entonces un subanillo de Z. Note el l e c t o r la v e r i f i c a c i n en Z de
la siguiente p ro p ied a d m s fu e r te que la con dicin 3 .
3 ' . n e Z

r e C = > n . r e C

4. Sea X un conjunto y sea A = A p lc (X, S) = el a n illo de a p lic a c io

nes de X en un a n illo S. Sea Y un subconjunto no v a c io de X. Entonces

es un subanillo de A : e l subanillo de a p lica cio n es nulas s o b r e Y.

En efecto, u tilizan do la p r o p o s ic i n 3, sean f, g e A p lc (X, S).
1)

Os

C.

2)

Si f, g e C e y e Y se tien e (f - g) (y)
P o r lo tanto f - g C.

f(y ) - g (y ) = 0 - 0 = 0,

3) Si f, g e C e y e Y se tiene (f g) (y) = f ( y ) g (y ) = 0 > 0 = 0 .

P o r lo tanto, C es subanillo de A . N te s e tam b in aqu que en lu gar
de 3 se v e r i f i c a la con d icin m s fu erte
3'.
5.
ye

f A

g e C = > f * g e C

Sea p un nm ero p r im o . Sea Q el cu erpo de los nm eros r a c io n a

le s . Sea C c Q d efin ido por:
C si, y s lo si,

e x is te n r, s e Z ta le s que (p, s ) = 1 e y = r/s

N o tem o s que 1 e C. E l l e c t o r puede c o m p r o b a r f c ilm e n te la

v e r i f i c a c i n de 2 y 3 de la p ro p o s ic i n . C es pues un subanillo de
Q que se su ele denotar p o r Z^pj y se le denom ina l o c a liz a c i n de Z
en e l p r im o p. Z^pj es de suma im p o r ta n c ia en la T e o r a A l g e b r a ic a
de N m e ro s .
6

Un e je m p lo fin ito.
+

0
1

Sea A e l a n illo d efin ido p o r las tablas

Entonces los subanillos de A son

C =

{0 },

C =

[0 ,2 },

C =

N u m e ro s a s situaciones (c o m o en los e je m p lo s 3 y 4) y e l d e s a
r r o l l o p o s t e r io r de la t e o r a s u g ie r e n a m p lia r la d e fin ic i n de
subanillo, cambiando la c on d icin 3 en la p ro p o s ic i n .
D efin icin .
i.

U n id e a l a la iz q u ie r d a de A si
cin y adem s la con d icin
3'.

ii.

D ir e m o s que un subconjunto C de un a n illo A es

x e A

c e C

s a tis fa c e 1 y 2 de la p r o p o s i

x c e C

U n id e a l a la d e re c h a de A s i s a tis fa c e 1 y 2 de la p r o p o s ic i n
y adem s la condicin

iii.

Un id e a l b il te r o de A, si es id e a l a la iz q u ie r d a y a la d erech a
de A.

P o r c i e r t o que en el caso de un an illo conm utativo no es n e c e s a

r io h a c e r d istin cin en tre estos conceptos y se puede h ablar s i m
p le m e n te de id e a le s . Se su ele ta m b in u t iliz a r la p a la b ra id e a l com o
sinnim o de id e a l b il te r o .
A n tes de en tra r en e je m p lo s se da el
sigu ien te e j e r c i c i o .
E j e r c i c i o . Sea A un a n illo con identidad. Sea J un id ea l a la i z
q u ierda (o a la d e re c h a ) de A. Entonces si J ^ A es

J n U (A )= 0
En p a r tic u la r si 1 e J s e tien e J = A.
E je m p lo s
1.

P a r a todo an illo A, C = { 0 } y C = A s o n id e a le s b il te ro s de A .

2. Sea A un an illo t r i v i a l .
un id e a l b il t e r o de A.

Entonces todo subgrupo de (A, + , 0 )e s

3. En el anillo Z de en teros ra c io n a le s los siguientes conceptos

coinciden: subgrupo de (Z , +, 0 ), subanillo, id e a l b il te ro .

OQ

4. Sea A = A p lc (X, S) el a n illo de ap lica cio n es de X en un an illo S.

Sea Y un subconjunto no v a c io de X. Entonces e l subanillo de a p li
cacion es nulas s o b re Y es un id e a l b il t e r o de A.
5. Sea Z ^ j la l o c a liz a c i n de Z en el p r im o p, o sea la totalidad de
nm eros ra c io n a le s que pueden e x p r e s a r s e p o r fr a c c io n e s con d e
nom inador no d iv is ib le p o r p. Sea I c Z j pj la totalidad de dichas
fr a c c io n e s cuyo n u m erad or es d iv is ib le p o r p. Entone es I es u n id ea l
b il t e r o de Z j pj. Es f c il v e r que U (Z/pj) = grupo de unidades de
Z^pj = Z^pj - I = co m p lem en to de I en Atm- Com o co n secu en cia se
tien e que todo id e a l J de
tal que J /
(?) eSt^ contenido en I,
A n illo s con esta p rop ied a d se denominan an illos lo c a le s p o r r a z o
nes d e riv a d a s de la g e o m e t r a a lg e b r a ic a .
6 .
Sea A un an illo y sea a e A . Entonces la totalidad J de e lem en tos
de A que son "m ltip lo s a la iz q u ie r d a de a " fo r m a n un id e a l a la iz q u ie r da de A . O sea, y e J si, y slo si, e x is t e z e A tal que y = z a
y la v e r i f i c a c i n que J es id e a l a la iz q u ie r d a es inm ediata. Se suele
u t iliz a r la notacin J = A a p a ra denotar este id e a l.

7. Sea A un an illo y sea U un subconjunto no v a c io .

lidad de elem en tos z que s a tis fa c e n
z u =

p a ra todo

Sea J la t o ta

u e U

Entonces J es un ideal a la izq u ie rd a de A y se le denomina e l anula dor a la iz q u ie rd a de U . En p a r t ic u la r } si U consta de un solo elem en to

a, se denomina J e l anulador a la iz q u ie rd a . P o r ejem p lo , en Z
N. B.

"Id e a l b i l t e r o " se u tiliz a e x c lu s iv a m e n te en la A rgen tin a;

en otros p a s e s se d ice tam bin " id e a l b ila t e r a l" .

J = O si
J = Z si

U / {0 }
U = 0}

8 . En un anillo de divisin A, J = { 0 } y J = A so n lo s nicos id eales

a la izq u ierd a de A. En efecto, sea J ^ 0 un id ea l a la izqu ierda y
Sea u e J con u
0. Entonces p or s e r A un anillo de divisin, u
es in v e r s ib le en A o sea existe u-1 . P o r lo tanto, por la d efinicin
de ideal a la iz q u ierd a
1
- u- 1 u e J

P e r o , entonces, si a A
a = a 1 s J
o sea A c

J,

luego A

J.

Es e je r c ic io in teresan te el prob ar una a firm a c i n re c p r o c a de

la anterior, o sea: si A es un anillo cuyos nicos id e a le s a la i z
quierda son { 0 } y A, entonces A es un anillo t r i v i a l o A e s u n anillo
de d ivisin (vase ejem plos 6 y 7 ) , *
E j e r c i c i o . Sea A un anillo de divisin. Sean x, z e A.
que x z = 0 si, y slo si, x = 0 o z = 0 .
C.

Probar

Morfismos de Anillos
Sean A y B anillos.

Sea f : A

B una aplicacin de A en B.

Definicin, D irem os que f es un m o r fis m o de las estructuras

de anillo, o sim plem ente que es un m o rfis m o , si
f : (A, + ) f : (A, * ) -

(B ,+ )
(B, )

son m o rfis m o s de los m onoides correspondientes. E xplcitam ente

dicho, si cualesquiera que sean x, y A
f (x + y ) = f (x) + f (y)
f (x y) = f (x) f (x)
y, adems, si A y B poseen elementos identidad f (1) = 1.
Los conceptos de m on om orfism o, m o r fis m o sobre, i s o m o r f i s
mo, endom orfism o, au tom orfism o corresponden a las estructuras
de monoide.
Ejemplos
0.
Sea A un anillo. Entone es la aplicacin identidad id A es un au
to m o rfis m o de (la estructura de anillo de) A.

1. Sean A y B anillos y sea A u n anillo de divisin. Entonces, si

f : A -* B es un m o r fis m o , caben dos nicas posibilidades:
* Un c le b r e te o r e m a enunciado y p r o b a d o p o r J. H. M. Wedderburn,
en 1905, establece que todo anillo de d iv is i n finito es conmutativo.
Resulta, pues, infructuoso tra ta r de encontrar ejem plos de anillos de
d ivisin no conmutativos finitos. E l ejem p lo ms sen cillo de anillo
de divisin, no conmutativo, es el anillo de los cuaterniones d escu
b ie rto hace ms de 100 aos p or W. R. H am ilton (R e fe re n c ia (7) ).

i.
ii.

f es e l m o r f i s m o t r i v i a l : f (x) = 0 c u a lq u ie ra que sea x e A , o

f es un m on om o r f i s m o .

En efe c to , s i e l c a s o i no o c u r r e , e x is te x e A tal que 0 y = f (x ).

P a r a p r o b a r que f es un m o n o m o r fis m o es su ficien te, segn vim o s
antes, p ro b a r que N u (f ) = 0.
an illo de d iv is i n e x is te a- 1
y = f (x)

Sea pues 0 ^
A . Entonces

f (x a- 1 a) =

a e A.

Siendo A un

f (x a- 1 ) f (a)

lo cual im p lic a f ( a ) ^ 0. H em o s p robado pues que a ^ 0 =* f (a) ^ 0.

E q u iva len tem en te, f ( a ) = 0 =* a = 0 o sea Nu ( f ) = 0.
2. Sea Z el a n illo de en teros r a c io n a le s . Sea f : Z -* Z un endom o r f i s m o ( de la e s tru c tu ra de a n illo ).
P u e s to que f (1) = 1, s e
tie n e que f(n ) = n cu a lq u iera que sea ne Z n s 0. Siendo f ( - m ) = - f (m),
s e tien e que f ( m ) = m c u a lq u iera que sea m e Z, o sea f = id z. Se d eja
a l l e c t o r v e r i f i c a r que s i A = Q el cu erp o de los n m eros ra c io n a le s
v a le tambin, y que id^ es e l nico e n d o m o r fis m o (de la es tru c tu
ra de a n illo de) Q.
3. Sea R el cu erpo de los n m eros r e a l e s . S e a f : R - R un e n d o m o r
fis m o de (la e s tru c tu ra de a n illo de) R. Entonces, puesto que f ( l ) = 1,
s e tien e (segn 2) que f (m ) = m si m e Z y, m s an, u tilizan d o la
segunda p a r te de 2 ,
f (q) = q s i
q e Q

Sea x e R, 0 < x. E x is te entonces y e R t a l que y = x.

lo tanto
f (x) = f (y 2) = f ( y ) f (y) = f ( y ) 3

Por

de m a n e r a que f { x ) 0. L a situ acin f (x ) = 0 debe e x c lu ir s e en

virtu d de lo expuesto en e l e je m p lo 1. Se ha p robado pues que
0

Sea ahora 0 < x.

sigu ien tes
i.
i i.

0
0

< x

=>

< f(x )

Si f (x) x cabe entonces las dos p o s ib ilid a d e s

< f (x ) < x
< x < f(x )

En la situ acin i, s e a q e Q t a l que f (x ) < q < x. Entonces 0 < x - q

de m a n e r a que
0

< f(x

- q)

f (x ) f (q)

f(x ) - q

lo cual im p lic a
q < f(x )
en con tra de la e le c c i n de q.

E sta situ acin no es pues p o s ib le .

En la situ a cin i i , sea q e Q tal que x < q < f ( x ) .

Entonces

O < q - x

de m an era que
O

< f (q - x) = f (q) - f (x)

= q - f (x)

lo cual im p lic a
f(x ) < q
que contradice la e le c c i n de q.

Esta situacin tam poco es posible.

En definitiva, se ha probado que s i x e R satisface 0 ^ x, enton

ces f (x) = x. A h ora com o f (- x) = - f (x) se tiene el im portante
resultado : id* es el nico en d om orfism o de (la estructura de anillo
de) R. (Notes e que en esta d em o stra ci n se han utilizado propiedades
finas de R, com o son la existen cia de ra c e s cuadradas de nmeros
positivos y la llam ada "d ensidad" de Q en R, que a fir m a quedados
dos nmeros re a le s a y b, a < b existe s ie m p re un nmero racion al
q que satisface a < q < b. )
E j e r c i c i o . Sea A un anillo con id entidad y sean k, r enteros p o s it i
vos . P r o b a r que si k/r existe, entonces u n m o n o m o rfism o M ^ A ) - ^ ( A ) .
D.

R elacion es de Equivalencia Com patibles

A n a liz a re m o s la com patibilidad de una re la c i n de equivalencia

~ definida sob re un anillo A, con resp ecto a la estructura de anillo.
D efinicin. D ire m o s que
estructura de anillo de A ) si
a e A
D irem o s que
anillo de A ) si

u ~

es com patible a la iz q u ierd a (con la

=>

fa
i + u ~

.3- u

a + v
a. * v

es com patible a la derecha (con la estructura de

c e A

V=>

re +
Lu

c + v
v c

D irem o s que ~ es com patible (c o n la estructura de anillo de A )

si es com patible a la iz q u ierd a y a la derecha.
Las c a r a c te r s tic a s de las rela cio n es de equivalencia com pa
tibles a la iz q u ierd a estn dadas p or el siguiente te o re m a .
Teorem a.

Sea A un anillo.

Entonces

1)
Si ~ es una re la c i n de equivalencia com patible a la izquierda,
el subconjunto I de A definido por
I

es un id e a l a la iz q u ierd a de A que sa tisfa ce

a ~ b o
R ecp roca m en te

a - b e l

[a / a ~

93

2)

Si I es un id e a l a la iz q u ie r d a de A entonces la r e la c i n

(-)

a b o

a - b e l

es una r e la c i n de e q u iva len cia s o b r e A com p a tib le a la iz q u ierd a .

D e m o s tr a c i n
1. R e s tr in g id a ~ a la estru c tu ra a d itiva de A resulta, en virtud
del t e o r e m a anlogo d e m o s tra d o p a ra grupos, q u e I es un subgrupo
de (A, + , 0) y, adem s, que a ~ b es equ iva len te a a - b e I. V a m o s a
d e m o s t r a r que I es id e a l a la iz q u ie rd a . Sea a e A y sea x e I, Enton
ces x ~ 0 y p o r lo tanto a x ~ a 0 , o sea a x ~ 0 de m a n era
que a x e I.
2. Segn el t e o r e m a citado en la p a rte 1 de la d em o stra ci n , { - )
es una r e la c i n de eq u iv a le n c ia c o m p a tib le con (A, + , 0). Vam os a
d e m o s t r a r que es co m p a tib le a la iz q u ie r d a con re s p e c to a (A, . ). Sea
a ~ b y sea x e A . Entonces a - b e I y p o r lo tanto
x a - x *b =

x * (a - b) e I

con lo que
x a ~

x b

c o n fo r m e q u e ra m o s p ro b a r.
En fo r m a anloga al d e s a r r o l l o seguido p a ra grupos se l le g a al
resu ltad o im p o rta n te que e s ta b le c e una b iy e c c i n en tre la c la s e de
re la c io n e s de e q u iva len cia c o m p a tib les a la iz q u ie r d a con la e s t r u c
tura de a n illo en A y la c la s e de id e a le s a la iz q u ie r d a de A. Idntico
resultado v a le p a ra las r e la c io n e s de e q u iva len cia c om p a tib les a la
d e re c h a e id e a le s a la d erech a de A,
El resu ltado obtenido al estu diar las re la c io n e s de equ ivalen cia
en grupos que c a r a c t e r iz a b a n a los subgrupos distinguidos tien e el
sigu ien te anlogo:
T e o r e m a . Sea una r e la c i n de e q u iva len cia definida s o b re un
a n illo A . Entonces ~ es c o m p a tib le c o n la e stru ctu ra de anillo de
A si, y s lo si, el id e a l a la iz q u ie r d a asociad o a ~ es b il te ro .
D e m o s tra c i n . S e a ~ c om p a tib le. Entonces el id e a l a la iz q u ie r d a
I
aso cia d o a ~ es b il t e r o .

{a / a ~

En e fecto, si a e I entonces
a ~

y p or la c o m p a tib ilid a d a la d e re c h a de ~ , se tie n e que si

a x ~

x =

lo cual im p lic a
a x

con lo que queda d e m o s tra d a nuestra a fir m a c i n .

x e A

R ecp rocam en te, sea I = { a / a ~

tonces si a ~ b y x e A se tiene
a - b e l

0} un id e a l b il te ro .

En

(a - b) x e I

por lo tanto
a x - b x e I
que equivale a
a x ~

b x

Puesto que por el te o r e m a a n te rio r ~ es com patible a la izq u ierd a el

te o re m a queda probado.
Ha quedado pues establecida una b iy e c c i n entre la c la s e de r e
laciones de equivalencia definidas so b re un anillo A y com patibles
con la estructura de anillo y la c la s e de id eales b il te ro s de A.
Es p osib le ahora, de modo s im ila r a lo efectuado al estudiar
grupos, plantearnos el prob lem a de d e fin ir una estructura de ani
llo en el conjunto cocien te A / ~ de un anillo A p or una re la c i n de
equivalencia com patible
que c o n vierta a la ap licacin cannica
' A
en un m o r fis m o de anillo.

A / ~

Entonces:

T e o r e m a , Sea A un anillo y s e a - - una re la c i n de equivalencia

definida sobre A y com patible (a l a iz q u ierd a y a la derech a ) con la e s
tructura de anillo de A.
Sea A / ~ el conjunto cocien te de A p or ~ y sea Q : A
la aplicacin cannica. Entonces

-*

A /~

1) E xiste una U N IC A estructura de anillo sobre A / ~ que c o n

v ie r t e a en un m o r fis m o de anillos.
2)

Nu(Q) = el id e a l b il te ro asociado a ~ .

D em ostracin
1. P o r los resultados corresp on d ien tes a grupo cociente sabemos
que so b re A / ~ est definida una le y de com p o sici n de grupo con
mutativo
(A /
, 0)
que c o n v ie rte a : A

-*

A / ~ en un m o r fis m o de grupos

( A , +, 0) -

(A /

, 0)

Queda entonces p or d e fin ir una estructura de s em igrupo so b re A / ~

distributiva resp ecto de + . L a d efin icin es anloga. S e a S y T s A / ~ .
Existen entonces s y t e G tales que
S =
T =

{x / x ~
(x / x -

s } = Q (s)
t] = 9 ( t )

Es f c i l v e r que e l e le m e n to
9

(s - t )

est u n voca m en te d e te rm in a d o p o r S y T, de m a n e r a que

(S, T ) - Q(s - t )
Si
s e S y t e T
d e fin e s o b r e A / ~ una l e y de c o m p o s ic i n , que denotam os ta m b in
por
(S, T ) - S T
Se tien e adem s
9( 8 . t )
de m a n e r a que

= s .T

e s ta b le c e un m o r f i s m o de m onoides
9 : (A, ) -

96

= 9(8) 9 (t)

(A / - , . )

R e s ta p o r v e r que + y defin en s o b re A / ~ una e stru ctu ra de a n i

llo , lo cual es c on s e c u e n c ia de s e r 9 u n m o r f is m o s o b r e de las e s t r u c
turas de grupo ad itiv o y m o n o id e m u ltip lic a tiv o . V a m o s a d e m o s tr a r ,
sin e m b a rg o , la v a l i d e z de la le y d is tr ib u tiv a de r e s p e c to de +
en A / ~ . Sean S, T, U e A / ~ . Sean s, t, u en A ta le s que S = 9 (s),
T = 9 (t) Y U = 9 (u )* Entonces
9 (t + u) =
9 (t) +
9 (s t) = S T
9 (s . u) = S . u

g<u)

+ u

y p o r lo tanto
S ( T + U)

9 (s (t + u ) )

9(s

=
=

9 (s t) + 9 (s u)
S *T + S U

t +

s * u)

De igual m odo p rob a m os la le y d is tr ib u tiv a a la d e re c h a . L a cues tin s o b r e unicidad es anloga al c a s o de grupo c o c ie n te . Se dejan
a c a r g o del l e c t o r lo s d e ta lle s p e rtin e n te s .
2. P o r lo v is t o en la p a r te 2 del t e o r e m a c o r r e s p o n d ie n te
grupos
Nu (9) = [ x / x ~ 0]
y sien do ~ una r e la c i n de e q u iv a le n c ia c o m p a tib le, N ( g )
id e a l b il te r o .
E l t e o r e m a queda entonces d e m o s tra d o .

para

es un

D e fin ic i n . Con la notacin d el t e o r e m a a n t e r io r A / ~ se d e

nom ina e l a n illo c o c ie n te de A p o r la r e la c i n de e q u iva len cia
A l m o r f i s m o 9 : A - A / ~ se le denom ina m o r f i s m o cannico. Si
I es e l id e a l b il t e r o a s o c ia d o a
e s c r ib im o s tam bin
A / ~

= A / I

Se deja a c a rg o del l e c t o r la d e m o s tra c i n de la existen cia de i s o

m o r fis m o s
A / ( 0 } = A
A / A
~ [0 ]
corresp on d ien tes a l a s situaciones I =
(nico) anillo de un solo elem ento.

[0 } e I

= A . { 0 } denota el

Complementando e l t e o r e m a a n te r io r se tiene e l siguiente.

T e o r e m a . Sea A un anillo y sea Iu n subgrupo de (A, +, 0).
tonces las siguientes condiciones son equivalentes entre s:
1) I es id e a l b il te ro de A.
2) E x iste un anillo B y un m o r fis m o f : A

-*

En

B tal que

Nu ( f ) = I
Demostracin
1 . => 2. Es consecuencia del t e o r e m a a n te rio r.
to m a r B = A / I y Q el m o r f is m o cannico.
2. = 1 . 1
Entonces

En efecto, basta

N u ( f ) es un subgrupo de (A, +, 0). S e a x e A y c

f (x c)
f (c - x )

= f (x) f (c )
= f (c ) - f (x)

= f (x) * 0
= 0 f (x)

=
=

e I.

0
0

de m an era que
x c e I

c x e I

I es pues un id e a l b il t e r o de A.
E jem p lo . A n illo s cocien tes del anillo de enteros ra cio n a les Z. Los
id e a le s de Z coinciden con los subgrupos de ( Z, + , 0) de m a n era que
las re la c io n e s de equ ivalencia en Z com patibles con la estructura
de anillo son las con gru en cias. Sea m e Z, 0 < m . Sea Z / (m)
el grupo cocien te de Z p o r el subgrupo (m ) de m ltiplos de m. Los
elem entos de Z / (m ) estn unvocam ente d eterm in ados p o r los r e s
tos de la d iv is i n por m:
Z / (m ) =

[0 ,1 ,

...

(m - 1 )}

Adem s, e l m o r fis m o cannico

9 : Z -

Z / (m )

est definido por

r 9 (k) = r
I s i r es el r e s to de la d iv is i n de k p or m.
De acuerdo con e l t e o r e m a r e la tiv o a anillos co cien tes, la e s
tructura de anillo de Z / (m ) est dada por

V e a m o s algunos e je m p lo s n u m r ic o s
= 2.

L a e s tr u c tu r a de a n illo de Z / (2) e st dada p o r

+

"
3.

L a e s tru c tu ra de a n illo de Z / (3) est dada p o r

0
1
_2

0
1
2

1
2

2
0
1_

|ISI

lo

I 1-

En e l e je m p lo sig u ie n te se unen am bas tablas en una.

m

L a e s tr u c tu r a de a n illo de Z / ( 6 ) e st dada p o r

+ /
0

/
/

2 / 0

3
4
5

3/ 0
4/0
5/0

i /o
2 / 1
3/2
4/3
5/4
0/5

_5

2 / 0

3/0
4/ 3
5/0
0/ 3
1 / 0
2/3

4/0
5/4

5/0
0/5
1/ 4
2/ 3
3/2
4/ 1

3 / 2
4/4
5/0
0 / 2

1/ 4

0 / 2
1 / 0
2 / 4
3/2

donde los n u m e r a d o r e s c o r r e s p o n d e n a la e s tr u c tu r a a d itiv a y los

d en o m in a d o re s a la e s tr u c tu r a m u lt ip lic a t iv a . P o r e je m p lo , en la
in t e r s e c c i n de la f i l a 3 con la colum na 4 se le e _ l/ 0 . E s to s i g n i
fic a
+ = I
_3 4 = 0
2

E s tu d ie m o s algunas p ro p ie d a d e s de estos a n illo s c o c ie n te s Z / (m )

< m.
i.
ii.

Z / (m ) es un a n illo c on m u ta tivo con identidad,

Z / (m ) es un cu e rp o si, y s o lo si, m es p r im o .

En efecto , sea Z / (m ) un c u e r p o . Entonces s i m no es p r i m o p o

dem os e s c r i b i r m = r s con m > r > l y m > s > 1. P o r lo tanto
pasando a Z / (m ) se tien e

{dado que r = 0 e q u iv a le a s e r r d i v is ib le p o r m ).
es i n v e r s i b l e en Z / {m ). Entonces de ( ' ) re s u lta
.2 . =

'

._ 1

P o r lo tanto r

jO = JL

lo cu al e q u iv a le a que s s e a d iv i s i b l e p o r m . P e r o esto es i m p o
s ib le dado que 1 < s < m . P o r lo tanto m es p r im o .
R e c p r o c a m e n t e , s e a m p r i m o . P r o b e m o s que Z / (m ) es un
cu erp o . Sea en e fe c to , e Z / (m ), con r ^ 0 o s e a r e Z s a t i s
fa c e
0 < r < m
m p r im o im p lic a entonces (m, r ) = 1. P o r p ro p ie d a d e s e le m e n t a
le s d e l m x im o com n d i v i s o r e x is t e n t, h e Z ta le s que
(")

{m , r )

t m + h r

P a sa n d o ( " ) al a n illo c o c ie n te re s u lta

1

+ L' *

= l' L

(donde con t 1 y h 1 h e m o s in d ica d o lo s r e s t o s de la d iv is i n de t y

h p o r m ). Sigue que r es i n v e r s i b l e . Ha quedado entonces c o m p l e
ta m e n te p ro b a d o i i .

E.

Un T e o r e m a de I s o m o r f i s m o

En el capitu lo a n t e r io r se c o n s id e r e l p r o b le m a de la c a r a c
t e r i z a c i n de lo s grupos G' que son im g e n e s de un grupo G p or
m o r f i s m o s f : G - G '. E l re s u lta d o fue que cada ta l G 1 es i s o
m o r f o (y en f o r m a n a tu ra l) al grupo c o c ie n te G / H de G p o r el
subgrupo in v a r ia n te H = N u(f).
E l p r o b le m a an logo fo r m u la d o p a r a a n illo s da lu g a r al s ig u ie n
te t e o r e m a .
Teorem a.
b r e . Sea

Sean A y B a n illo s y s e a f : A - B un m o r f i s m o s o
1 =

N u (f)

E x is te entonces un nico i s o m o r f i s m o g : A / l -* B c o n l a p r o piedad de h a c e r con m u tativo el d ia g r a m a

D e m o s t r a c i n . Segn v im o s en el t e o r e m a an logo p a r a grupos

e x is t e un i s o m o r f i s m o
g : ( A / l , + ,0 )

(B ,+ ,0 )

d e fin id o p o r
g (S )

= f(s)

si

g(s)

Se t r a t a entonces de c o m p r o b a r que g p r e s e r v a t a m b i n la e s t r u c
tura m u lt ip lic a t iv a . Sean S, T e A / l y sean s , t e A ta le s que
Q (s ) = S y g (t) = T . Siendo asi, s a b e m o s que g { s * t) = S T en
A / I. P o r lo tanto
g(S-T)

f(s-t)

f (s ) - f (t)

g (S) g ( T )

lo cu al p ru e b a n u e s tra a f ir m a c i n .
V e r if iq u e m o s la unicidad de g. Sea h : A / l
l a p ro p ie d a d h o Q = f. Entonces
h o g =

B un i s o m o r f i s m o con

g o g

y sien d o g u n m o r f i s m o s o b r e s e tie n e la igu ald ad h = g. {E n efe c to ,

sea S e A / 1 y s e S c o n Q (s ) = S.
E n ton ces h {S) = h (g (s ) )
=

100

(hoQ)(s)

( g o g) ( s )

g(g{s))

g(S).)

C o r o l a r i o . Sean A y B a n illo s y s e a f : A -* B un m o r f i s m o .
E n tonces si I = N u ( f ) e x is t e un nico m o n o m o r f i s m o g : A / l -* B
tal que g o g = f.
D e m o s t r a c i n .

E je r c ic io para el le c to r.

E je m p lo . C a r a c t e r s t i c a en un a n illo con id e n tid a d . Sea A un a n i

llo con id en tid a d 1. Sea f : Z -* A l a a p lic a c i n d e fin id a p o r
f (m )
donde m

m 1

si

m e Z

s ig n ific a

m 1
m 1
m 1

=
=
=

+ ...+
0
si
m - 0
-{(-m )-l) = - (1

+ 1

(m v e c e s ) si

+ 1 + .. +
- m veces

<

) si m <

m
0

N t e s e tam b in , en el c a s o m < 0, la v a l i d e z de
m >l

=
=

( - 1 ) + ( - 1 ) + + ( ( - m ) (- 1 )

V a m o s a p r o b a r que f es un m o r f i s m o .
s i d e r e m o s la s s itu a c io n e s s ig u ie n te s :
i.
ii.

) ( - m veces)

Sean m , n e Z.

Con

0 < m, 0 < n. E n tonces es c l a r o que f (m + n) = f ( m ) + f (n ).

m < 0, 0 < n. Entonces

( ( - m ) -n) ( - 1 ) si n < | m | = v a l o r a b
soluto de m
(n - ( - m ) ) 1 s i | m | < n
(m + n) 1 en am bos c a s o s .

=
=
P o r lo tanto f (m + n)
iii.
iv .

0 < m , n < 0.
m < 0, n < ' 0 ,

Es anloga a i i .
Entonces

m 1 + n 1

o sea f (m + n)

= f (m ) + f (n)

=
=
=
=

- ( (- m ) 1 ) + - { ( - n) 1 )
-( {- m ) * 1 +
(- n) 1 )
- ( { - m - n) 1 )
(m + n) 1

f(m ) + f(n ).

L o s c a s o s en que m = 0 o n = 0 son in m e d ia to s . Se ha p rob ad o

pues que f es un m o r f i s m o de las e s tru c tu ra s a d itiv a s . E l l e c t o r
d e b e r v e r i f i c a r que f (m * n) = f (m ) f (n). N te s e , adem s, que
f (1 ) = 1 .
f es pues un m o r f i s m o de las e s tru c tu ra s de an illo . Es i m p o r
tante o b s e r v a r que f es el nico m o r f i s m o de Z en A . En efe c to , o tr o
m o r f i s m o h : Z -* A debe s a t i s f a c e r h { l ) = 1 y a s h ( 2 ) = h ( l ) + h { l )
= 1 + 1 = 2 - 1 , h ( - 2 ) = - h ( 2 ) = ( - 2 ) 1 e t c . , h (m ) = m 1 c u a l
q u ie r a que sea m e Z, de m a n e r a que h = f.
Sea entonces m e Z, 0 ^ m ta l que Nu (f) = (m ).
Sigue, en
virtu d d el c o r o l a r i o , la e x is t e n c ia de un m o n o m o r fis m o g:
Z / (m ) -* A tal que e l d ia g r a m a
Z
& 4
Z / (m ) - A
g
es con m u tativo. L a unicidad d e f , d e m o s tr a d a a r r ib a , y la unicidad
de g, dada p o r el c o r o l a r i o , p e r m i t e n a s o c ia r u n v o c a m e n te
A

-*

al a n illo A e l e n te r o no n e g a tiv o m . Se den om in a m la c a r a c t e r s

t ic a de A . V e a m o s la p ro p ie d a d fundam ental de m . Sea k un e n te ro
tal que k 1 = 0 en A . Entonces
e l ) Si m
c2) Si m
En efe c to ,
p o r lo tanto

=
^

0 es k = 0
0 m d iv id e a k.

en la s itu a ci n e l ) m = 0 e q u iv a le a 0 = (m ) = Nu (f)
k ^

=> f ( k )

de m a n e r a que
k 1

k =

O = k *1

f(k )

En la s itu a ci n c2),
k e Nu ( f )
k e (m )
m d iv id e a k

O tra s p r o p ie d a d e s
-

Sea A un a n illo (con id en tid a d ) de c a r a c t e r s t i c a m ^ 0. E n

ton ces c u a lq u ie r a que sea a e A es m* a = ^a.+ a + . . +^a = 0. En
e fe c to ,
m veces
m a = a + a + . . . + a
= 1 a + 1 a + 1 a
= (m 1 ) a
= 0 a
= 0

Un cu erp o p o s e e c a r a c t e r s t i c a m = 0 o m = p r im o .
Sea A
un c u e rp o de c a r a c t e r s t i c a m
0. Sea m = s t, 1 ^ s m,
1 t s m . A h o r a en Z / (m ) se tie n e
s t =

102

p o r lo tanto
g <) g (t)

0 en A

y sien do A un cu e rp o debe s e r
g (s )

o g (t)

y siendo g un m o n o m o r f i s m o d eb e s e r
s =

o t =

o sea
s m ltip lo de m o t m ltip lo de m
pero l s ^ m y l s
__________________________________________ s

t
m

m.
o

Se sig u e que

t = m _____________________________

p o r lo tanto m es p r i m o .
E j e r c i c i o . Sean A y B a n illo s con iden tidad. Sea C = A B la
suma d i r e c t a de lo s grupos a d itiv o s c o r r e s p o n d ie n t e s .
1.

V e r i f i c a r que l a l e y de c o m p o s ic i n
(a, b) ( a ' , b ' )

(a a', b - b 1)

d e fin e s o b r e (C, + , 0) una e s tru c tu ra de a n illo con identidad.

2. A n a l i z a r la c a r a c t e r s t i c a de C en t r m in o s de las c a r a c t e r s t i c a s
de A y B.

3.

D e te r m in a r la c a r a c t e r s t i c a de los sigu ien tes anillos:

a)
b)
c)
d)

Z / ( 2 ) Z / (2)
Z / {2 ) 0 Z / (3 )
Z / (2 ) Z / (4 )
Z / (4 ) Z / (6 )

E je rc ic io .

e)
f )
g)
h)

Z Z / (3 )
Z Z
Z Q
Z / (3 ) Z / (5 )

Sea p un n m ero p r im o .

1 . P r o b a r que en todo a n illo conm utativo A, c o n id en tid a d de c a

r a c t e r s t i c a p, la a p lic a c i n a -* ap es un e n d o m o r fis m o . (S u g e re n
cia: u tilic e la f r m u la d el b in o m io y la r e la c i n a r itm tic a : ( ) s 0
(m od p ) s i O < k < p . )
2.

P r o b a r el T e o r e m a de F e r m a t
m p'

(m od p) si (m, p)

(S u gerencia: aplique e l e j e r c i c i o 1 a la situacin A

F.

A n illo s C onm utativos.

= Z / (p ). )

A n illo s de P o lin o m io s

Es in te re s a n te d e s ta c a r una c la s e de an illos p o r su i m
p ortan cia en las a p lic a c io n e s , e s p e c ia lm e n te en la g e o m e t r a
a lg e b r a ic a m o d e rn a y en la t e o r a a lg e b r a ic a de n m eros. Nos
r e f e r i m o s a los a n illo s conm utativos o sea aqu llos en los que el
producto es conm utativo. Una ra m a d e l lg e b r a los estudia s i s
tem tica m en te, a saber, el lg e b r a co n m u ta tiva .
Entre los an illos conm utativos, los m s im p o rta n te s son sin
lu g a r a duda los an illos de p o lin o m io s y es n u estra in ten cin h a c e r
aqu- un b r e v e estudio. En los c u rs o s e le m e n ta le s de lg e b ra los
p o lin o m io s se in trod u cen com o: " e x p r e s io n e s fo r m a le s
anXn + an_ jX n - 1 +

...

+ a xX + a0

donde los c o e fic ie n t e s a^ a lt . . , an son nm eros y donde X es una

cantidad in d e t e r m in a d a " . En estos c u rso s se estudian la s o p e r a
ciones de suma, producto de p o lin o m io s y se d e s a r r o l l a toda una
a r it m t ic a (d iv is ib ilid a d , m x im o com n d iv is o r , a lg o r it m o de d i
visin , etc. ). En c u rso s p o s t e r i o r e s se hace n e c e s a r io a n a liz a r
m s d etenidam ente el p a p el de la " X " . Un m to d o expuesto c o r r i e n
tem en te en los lib r o s de lg e b r a in tro d u ce los p o lin o m io s con
c o e fic ie n te s en un an illo A c o m o su cesion es
( ao, a i
donde todos los
id ea subyacente
(lla m m o s lo B)
L o s p o lin o m io s

e A

a t, excepto un n m ero finito, son ig u a le s a 0. L a

en este m to d o es " s u m e r g i r " el a n illo A en un anillo
que contiene un e le m e n to que h ar el pap el de la X.
no son entonces o tr a c o s a que ele m e n to s de B y la

103

suma y p ro d u cto de lo s m is m o s c o r r e s p o n d e n a la suma y producto

d el a n illo B.
V am os a f o r m a l i z a r e s te punto de v is ta . Sean A y B anillos
conm u tativos y sea A subanillo de B. Sea b e B, L la m a r e m o s e x
p r e s i n p o lin m ic a en b (con c o e fic ie n t e s en A ) a todo elem en to, de
B, de la fo r m a
,1 - 1

a, bn + an-l

( P)

ax b + aQ

donde los a^ . . , an son ele m e n to s de A que lla m a r e m o s c o e fic ie n t e s

de la e x p r e s i n p o lin m ic a en b. P o r e je m p lo , s i A = Z y B = Q y
b e Q, las sigu ien tes s e r ia n e x p r e s io n e s p o lin m ic a s en b:
a)
b)
c)

2b

b
b3

d)
e)
f)

1
2

- b 8 + 3b3 - 2 + b
0

En efecto , v e a m o s c o m o a), . . , f ) se e x p re s a n en la f o r m a (P ):
a)
b)
c)

104

-b + ( - 1 )
1 -b2 + 0 .b + (-2)
1 b3 + 0 bs + 0 b

d) 3- b 3 + { - 1 )b 2 + b + ( - 2 )
e) 0 o ta m b i n 0 b + 0 o tam b in
0 b 2 + 0 b + 0 , etc.
f ) 5 o ta m b in 0 b + 5, . .

------ Supongamos a d em s que A y B p o s e en un m is m o e l em en to id e n

tidad. Si fo r m a m o s ahora e l conjunto, denotado p o r A [ b ] , de todas
las e x p r e s io n e s p o lin m ic a s en b con c o e fic ie n t e s en A es f c i l
v e r i f i c a r que A [ b ] es un subanillo de B y adem s que la suma y
producto de e x p r e s io n e s p o lin m ic a s en b c o in cid en con la suma
y p r o d u c t o d e "p o lin o m io s en b " que s e han aprendido en c u rs o s e l e
m e n ta le s .
Hay, sin e m b a rg o , un d e ta lle re la c io n a d o con una
p ro p ie d a d fundam ental de p o lin o m io s que no hem os m encionado an
t e r io r m e n t e :

(0 )

X + a ^ X

*1' 1

{ V y slo, si an =
Is i,

...

+ a xX + a0 =

E sta p ro p ied a d es eq u iva len te al sigu ien te c r i t e r i o de igualdad

de p o lin o m io s . Sean
f =

anX n + an_ 1X n_1 + . . . +

g = bBX a + b ^ X

' 1

axX + a0,

an ji 0

+ . . . + b jX + b0, bB 0

entonces
f = g

si, y s lo si, n = m y a j = bj c u a lq u ie ra que s e a j ,

s j

L a p ro p ie d a d (0) es re s p o n s a b le del c a r c t e r " f o r m a l " de los

p o lin o m io s , o sea que lo s p o lin o m io s en X sean " l o m i s m o " que los
p o lin o m io s en Y.

V olvien d o a nuestro esquema de d efin icin ten d rem os que g a

r a n tiza r la v e r ific a c i n de una p ropiedad del tipo (0). P o r ejem plo,
en Z c Q; si tom am os b = l/2 se tiene
2b

= 0

c o n tra rio a {0). P o r lo tanto, la t e o r a de polin om ios hecha co n b = l/2,

no s e r ia la adecuada a nuestros fin e s . Es f c il c o n clu ir que ningn
nm ero ra cio n a l s e r v i r a p a r a ese fin. Sin em bargo, si "s u m e r g im o s '
Z en R, se sabe, aunque es d i f c i l de p ro b a r, que existen e le m e n
tos t llam ados tra s c e n d e n te s , p a ra los cuales
f antn + a ^ t 11" 1 +

. . . + ajt + aD =

[ si, y s lo si, an =

...

a0 =

( P o r e je m p lo tt y e son tra scen d en tes. ) Entonces una t e o r a de

polin om ios con c o e fic ie n te s en Z p o d ra d e s a r r o l l a r s e sin a m b i
gedades considerando las e x p re s io n e s p olin m icas en un nm ero
trascen d en te t de R con c o e fic ie n te s en Z. Dichas e x p resio n es p o l i
nm icas, que en rea lid a d p od ram os lla m a r d ire c ta m e n te p o lin o
m io s en t, no s e ra n otra cosa que nm eros re a le s y las operacion es
en tre los m is m o s ms que las op era cion es entre nm eros r e a le s
P o r lo tanto, una t e o r a de p o lin o m io s con c o e fic ie n te s enteros es
p e rfe c ta m e n te a d m isib le.
P a r a nuestro tra ta m ien to g e n e ra l n e c e s ita m o s g a ra n tiz a r la
ex is te n c ia de elem entos trascen den tes, que lla m a r e m o s tambin
indeterm inadas de acuerdo con la t e r m in o lo g a actualm ente en uso.
Esto lo h a rem o s valindonos de la sigu iente h ip tesis.
H ip te s is . P a r a todo an illo conm utativo A con identidad existen
un anillo conmutativo B con la m is m a identidad de A y un elem ento
X e B, tales que
-

A es subanillo de B.
X es trascen d en te s o b re A, en el sentido de (0).

En las condiciones de la hip tesis, co n sid era m o s la totalidad

de ex p resio n es p olin m ica s en X con c o e fic ie n te s en A, conjunto
que denotamos p o r A [ X ] , L a s le y e s de c o m p o s ic i n en B definen
so b re A [ X ] una estru ctu ra de an illo. A [ X ] con esta estru ctu ra se
denomina el anillo de p olin om ios en X con c o e fic ie n te s en A . E x p l
citam ente las le y e s de c o m p o s ic i n en A [ X ] son:
Sean

p (X )

= an . X" + aa_1. X a - 1 + . . . + ax . X + a0

q (X )

a X n + ax . X o"

+ ...

+ a[ . X + a

(Sin prd id a de gen eralidad puede suponerse

si, p o r ejem p lo, n < m, podem os e s c r ib ir

n = m, dado que

Entonces
P (X) + q ( X )

sn . X m + . . . + s t X 1 + . . .
donde s* =

p(X)

. q( X>

a* + aj, i = o, . . . , m

r n+B . X +B + . . .
donde r t =

+ r, - X 1 4- . . .

+ r0

a t * a + aj_x a{ + . .
+

+ s0

aj_^ + a0 a{

o, . ., m + n

En esta f o r m a la in tro d u c c i n d e l a n illo de p o lin o m io s A [ X ] se

e fect a s in am big edaddes. L a d ific u lta d r a d ic a en a d m itir la e x i s
te n c ia de a n illo s B y e le m e n to s X c o m o se ha hecho en la h ip te s is .
Sin e m b a rg o , no es d i f c i l de p r o b a r la e x is te n c ia de in d eterm in a d a s
s o b r e un a n illo con m u tativo y en la m a y o r a de tra ta d o s s o b r e l g e
bra, donde se hace un tr a ta m ie n to r i g u r o s o de la t e o r a de p o lin o m io s ,
pueden o b te n e r s e los d e ta lle s p e r tin e n te s . (V a s e , p o r e je m p lo , la
r e f e r e n c i a b i b l i o g r f i c a (7). )
De ahora en ad elante al h a b la r de p o lin o m io s en X con c o e f i
cie n te s en un a n illo A nos r e f e r i r e m o s al conjunto A [ X ] con las
le y e s de c o m p o s ic i n usuales y o m i t i r e m o s toda m e n c i n d e l a n illo
B. Un e le m e n to im p o r ta n te en esta t e o r a que ju e g a el papel del v a
l o r absoluto en el c a so d el a n illo Z es el g ra d o de un p o lin o m io .
D e fin ic i n .

Sea p ( X ) = anX + . . .

+ a TX

+ a0 .

D ir e m o s que

p (X ) tie n e g r a d o m
g r(p (X ))

= m

r a o
l m < i = aj

Si p ( X ) p o s e e g ra d o m, se lla m a c o e f i c i e n t e d i r e c t o r de p (X )
al e le m e n to aB. Si aB = 1 se d ic e que p (X ) es u n p o lin o m io m n ico .
Se sigu e de la d e fin ic i n que el g ra d o de u n p o lin o m io es un e n tero
p o s it iv o o nulo y que todo p o lin o m io que tien e g ra d o d i f i e r e del p o l in o
m io nulo. A e s t e ltim o no se le asign a ningn gra d o . L a s p ro p ied a d es
d el g ra d o son las sigu ien tes:
1.
2.
3.

0 s g r (p (X
g r (p (X ) ) =
g r (p (X ) +
si p (X ) +

))
0 P (X ) e A
q (X ) ) m x im o {g r (p (X ) ), g r ( q ( X ) ) }
q (x )
0

4.

g r (p (X ) q (X ) ) * g r (p (X ) ) +

g r (q (X ) ), si p (X ) . q (X ) 0.

donde p (X ) y q (X ) denotan p o lin o m io s no nulos.

Es m uy im p o rta n te la sig u ie n te v a r ia n te de 4.

P r o p o s ic i n . En 4 v a le la igualdad si, y so lo si, an a ^ 0,

donde n = g r (p (X ) ) y m = g r (q (X ) ). (an y a son los c o e fic ie n te s
d i r e c t o r e s de p (X ) y q ( X ) , r e s p e c tiv a m e n te . )
D e m o s tr a c i n , L a d e m o s t r a c i n es con secu en cia d el an lisis
de los c o e fic ie n t e s del p o lin o m io producto.
C o r o l a r i o (Im p o rta n te ).
p (X ) q (X )

Si A es un cuerpo,
o

p (X )

entonces en A [ X ] :

q (X )

D e m o s tr a c i n .
<= es t r i v i a l . R e c p r o c a m e n te , si fu e r a p (X ) 0
y q ( X ) ^ 0, entonces en virtu d d l a p r o p o s ic i n a n te r io r a p lica b le
a n u estra situ acin p o r s e r A un cuerpo:
g r (p (X ) * q (X ) ) =

g r (p ( X ) ) +

g r(q (X )) * 0

p o r lo tanto p (X ) q (X ) ^ 0.
M en c io n e m o s fin a lm e n te la e x is te n c ia de a lg o r it m o de d iv is i n
en el a n illo de p o lin o m io s con c o e fic ie n t e s en un cu erpo.
T e o r e m a . Sea K un cu erp o y s e a K [ X ] e l a n illo de p o lin o m io s
con c o e fic ie n te s en e l cu erp o K. Sea p (X ) e K [ X ] , p (X ) 0. Si
q ( X ) e K [ X ] e x is te n t (X ), r (X ) e K [ X ] ta le s que
a)
b)

q (X )
r(X )

= t (X ) p (X ) + r (X )
= 0 o gr (r (X ) ) < g r (p ( X ) )________________________________________

t (X ) y r (X ) estn u nvocam ente d eterm in a d o s p o r a) y b).

L a d e m o s tra c i n es en tera m en te anloga al c a so de e x is te n c ia
de a lg o r it m o de d iv is i n en Z.
Es im p ortan te notar que la h ip tesis que K sea un cu erp o es
e sen cial; p o r e jem p lo , en el an illo Z [ X ] de p o lin o m io s con c o e f i
cientes enteros no e x is te a lg o r it m o de d iv is i n . En efecto, si p (X )
= 2X y q (X ) = X no ex is te n t (X ), r (X ) en Z [ X ] ta le s que
X

= t ( X ) - 2 X + r (X )

(si a es el c o e fic ie n t e d i r e c t o r de t (X ) te n d ra que s a t i s f a c e r s e

1 = a 2, lo cual es im p o s ib le , . . en Z. . . ).
E je m p lo
Sea

Z / (4 )

y sean p (X ) = 2 X + 2 = q ( X ) .
P (X ) + q ( X )
P (X ) q ( X )

=
=

0
0

Sean p (X ) = 2_ X 3 + X + 1_, q (X ) = Z_ X 2 + 1_.

p (X ) + q (X )
p (X ) . q (X )

Entonces

= X + 2
= 2 X 3 + X + 1_

Entonces

E je m p lo :

A n illo de en tero s de G a u ss. Sean A

b = i

Z y B

C. Sea

(i 3 = - 1). E l a n illo Z [ i ] de e x p r e s io n e s p o lin m ic a s en i, c o n c o e

fic ie n te s en Z, se denom ina el a n illo de en tero s de Gauss. P u esto
que las p oten cias de i s a tis fa c e n
i2

los elem en to s de Z [ i ] ,

, i3 =

-i,

i4 =

,..

p o s e e n la f o r m a
m + n i,

m, n e Z

Sea ahora Z [ X ] e l a n illo de p o lin o m io s en X con c o e fic ie n t e s

en Z. L a a p lic a c i n (lla m a d a e s p e c ia liz a c i n de X p o r i)
p (X )

anXn + . . + a xX + aQ -

p (i)

ani" + . . + a x

+ a0

d efin e un m o r f i s m o s o b re
Z [X ]

Z [i]

cuyo ncleo es el id e a l I = ( X 3 + 1) de m ltip los (en Z [ X ] ) del p o

lin o m io X 3 + 1 . En efe c to , es c l a r o que
(X 3 + 1) c I

108

R e c p r o c a m e n te ,

(U)

sea p (X ) e I y sea
P (X )
r (X )
s (X )

=
y
=

(X 2 + 1) - r ( X ) + s (X )
s (X ) e Z [ X ]
0 o g r (s (X ) ) < 2

(D e ja m o s a c a r g o del l e c t o r la ju s t ific a c i n del paso a n te r io r . )

E s p e c ia liz a n d o X p o r i resu lta
0

p (i) =

+ s (i)

lo cual d ic e que i es r a z de s (X ). De la t e o r a e lem en ta l de ecu a

ciones sigue que - i = conjugado de i, es tam bin r a z de p (X ). P o r
lo tanto, s (X ) es d iv i s i b l e p or
(X - i ) (X + i )

Xs + 1

Esto im p lic a , lu ego de (U ) que p (X ) e (X 3 + 1), o sea I c

En d e fin itiva , I = (X 2 + 1 ). P o r lo tanto, e l i s o m o r f i s m o
Z [i]

G.

D om in ios de In te g rid a d .

Z [X ]/ (X a +

(X 2 + 1).

C u erpo de C ocien tes

D e fin ic i n . Un a n illo con m u tativo A se denomina un dom in io

de in te g r id a d si x y = 0 en A y si, y s lo si, x = 0 o y = 0.

E stos a n illo s son muy im p o rta n te s en a r itm tic a , h e u r s t ic a m e n

te p o d ra m o s a f i r m a r que son la g e n e r a liz a c i n natural d el anillo
Z de los en teros ra c io n a le s .
E je m p lo s
1. Z.
2. Todo cu erp o es un dom in io de in te g rid a d .
3. Si A es un dom inio de in tegrid a d , entonces A [ X ] es un dom inio
de in teg rid a d . P o r lo tanto, Z [ X ] , Q [ Z ] , R [ Z ] , C [ X ] son dom inios
de in tegrid a d .
O tros e je m p lo s pueden o b te n e rs e a p a r t ir d e l sigu ien te t e o r e
ma que d una con dicin n e c e s a r ia y s u ficien te p a ra que e l anillo
co cien te A / l de un a n illo conm utativo sea un dom inio de in tegrid a d .
T e o r e m a . Sea A un anillo y sea I u n id e a ld e A . Entonces las
dos condiciones siguientes s o b re I son equivalentes en tre s.
p l ) A / I es un dom inio de in teg rid a d .
p2)u, v e A y u * v e I
= > u e I o v e I
D e m o s tra c i n , p l ) => p2). Sean u, v e A con u v
Q : A - A / l denota el m o r f is m o cannico, entonces
u v e i
o

Si

o = g (u v) = g (u) - 9 ( v )
(u) = 0 o g (v ) = 0 (por pl )
u e l
o v e I

p2) => p l ). SeanS, T e A / l y sean s, t e A

9 (t) = T . Entonces
s t

c I.

ta le s que

9 (s)

= S y

o o = g (s) g (t) = g (s -t)

s t e I
s e l
o t e l
{p o r p 2 ) )
9 (s ) = 0
o 9 (t) = 0
S
= 0 o T = 0.

El t e o r e m a queda d em o stra d o .
D efin icin . Un id e a l I de un a n illo conm utativo A que s a tis fa c e
las condiciones del t e o r e m a y es adem s distinto de A se d e n o m i
na id e a l p r im o .
E je m p lo , En el an illo Z de en teros ra c io n a le s los id e a le s p r im o s
I son exactam ente estos:
(P )

(0)

(p), p p r im o

Que los id e a le s ( P ) son p r im o s sigu e en e fe c to de

y d e l t e o r e m a a n t e r io r . R e c ip r o c a m e n te , s e a I = (m ) un id e a l
p r im o . Si m = 0 no hay nada que p r o b a r . Si m ^ 0 y es m = r. s,
0 < r, 0 < s, entonces m e I im p lic a r e I o s e I. Sea r e , en
tonces I = (m ) im p lic a r = k m, k e Z. P o r lo tanto
m

r s

= k m s

y sien do 0 ^ m es i = k s y la nica p o s ib ilid a d de s es s = 1. P o r

lo tanto, la nica f a c t o r i z a c i n de m es 1 m, m es entone es p r im o .
E je m p lo . Sea R el cu e rp o de los n m ero s r e a le s y sea A = R [ X ] el
a n illo de p o lin o m io s en X con c o e fic ie n t e s r e a le s . Sea I c: A d e
finido p or
I

o s e a I es la totalidad de m ltip lo s ,

( X 2 4- 1 ) =

(X 2 +

1) . R [ X ]

en A, d el p o lin o m io X 2 + 1.

A f i r m a c i n . I es id e a l p r im o de A . Es de in m ed ia ta v e r i f i c a
cin que I es id e a l de A . Sean t (X), v (X ) e A ta le s que t (X ) v (X ) e I.
E x is te entonces r (X ) e A ta l que
(I)

t(X) v(X)

(X2 +

1) r (X )

A h o ra , en virtu d d el a lg o r it m o de d iv is i n en R [ X ] ,
c rib ir
1 1 0

(H)

t(X)
v ( X)

=
=

podem os e s

( X 2 + 1) . h ( X ) + s (X )
( X a + 1) . g ( X) + w ( X)

donde s (X ) y w (X ) s a tis fa c e n
s (X )
w (X )

=
=

0
0

o
o

gr (s (X ) ) <
g r (w (X ) ) <

2
2

Si fu e r a s (X ) = 0 entonces t { X ) s e r i a m ltip lo de Xs + 1, o sea

t (X ) e I y no h a b ra nada que p r o b a r . A n lo g a m e n te , si w ( X ) = 0.
P o r lo tanto, supongam os que s (X ) y w (X ) p o s e e n g ra d o m e n o r que
2. Se sigu e que
(H I)
g r (s (X ) . w ( X ) ) 2
Efectuando el p rodu cto t ( X ) * v ( X ) segn (II) y com p a ra n d o con
(I) re s u lta
s (X ) w (X ) e I o s e a s (X ) w (X )

(X 2 + 1) j (X )

Sin e m b a r g o , p o r r a zo n e s de gra d o (v a s e (III) ) debe s e r

g r (j (X ) ) =

0 o sea j (X )

q e R

Sin p rd id a de g e n e ra lid a d pod em os suponer j (X )

d e fin itiv a se tien e
(I V )
s (X ) w ( X ) = X 2 + 1
y sien do ahora g r (s (X ) ) 1 y

q =

g r (w (X ) ) 1 s e tien e

1.

En

gr (s ( X ) ) =
gr (w (X) ) =

1
1

o sea
osea

fe (X ) = aX + b, a ^ 0
w ( X) = c X + d, c ^ 0

E scribiendo (IV )
(aX + b) . (c X + d) = X 2 + 1
resulta
ac = bd

= 1

ad + be =

por lo tanto
a3 + b =

a3 (bd) + b2 (ac)

= ab (ad + be)

una contradiccin, ya que a ^ 0 . Ha quedado confirm ada nuestra a f i r

m acin que I es id e a l p rim o de A,
De acuerdo con el te o r e m a que se acaba de prob ar se tiene que
A / 1 es un dominio de integridad. Vam os a c a r a c t e r iz a r lo . Sea
p (X ) e A . Entonces, en virtud del a lg o ritm o de d ivisin de polinom ios
existen nicos polinom ios s (X ) y r ( X ) tales que
p(X)
r(X)

donde

= ( X 2 + 1) . s ( X) + r (X)
= 0 o gr(r(X) ) 1

L a condicin r (X ) = 0 o gr (r ( X ) ) - 1 puede e x p r e s a r s e tambin

diciendo que r (X ) es un polin om io de la fo rm a
r(X)

111

= bX + a

donde a, b son nmeros re a le s determ inados por p (X).

N tese adems que si
q (X ) =

(X a + 1 )- s ( X) + (bX + a)

entonces p ( X ) - q ( X ) e I, de m an era que si 9-: A

m o r fis m o cannico se tiene
<Hp ( X ) )

-*

A / l denota el

Q{q ( X ) ) = g ( bx + a)

o sea
9 (p (X ) ) est unvocamente determ inado por
el par ordenado (a, b) de co eficien tes
del polinom io bX + a, re s to de la
d ivisi n de p (X) p or X 2 + 1,
De acuerdo con lo precedente, los elem entos de A / l los den o
ta rem o s por p ares (a, b).
Es interesante co n s id e ra r ahora cm o se opera en A / I de
acuerdo con estos p a re s . Sean pues (a, b), (c, d) e A / l . Entonces
9 (a + bX) =

(a, b)

g (c + dX) = (c, d)

P o r lo tanto
(a, b) + (c, d) = g ( a + bX) + 9 (c + dX) = g ( (a + c) + (b + d)X)
= (a + c, b + d)

L a e stru ctu ra obtenida a s en A / l no es otra cosa que el anillo (o

m e j o r dicho, el cu e rp o ) C de los nm eros c o m p le jo s .
L a s p ro p ied a d es fundamentales de los dom inios de in tegrid a d
estn ligadas a p ro p ied a d es b ien conocidas d e l a n illo Z de enteros
ra c io n a le s . Una p r i m e r a p ro p ied a d es la p o s ib ilid a d de " s u m e r g i r "
un dom in io de in te g rid a d A en un c u erpo cuyos elem en tos son " c o
c ie n t e s " de elem en tos de A . Esto c o r r e s p o n d e a la con stru ccin
del cu e rp o Q de fr a c c io n e s de elem en tos e n Z . Una segunda p r o p i e
dad es la t e o r a g e n e ra l de la d iv is ib ilid a d , e x is te n c ia de a lg o r itm o s
de divisin , etc. L a p r i m e r a prop ied ad se re s u m e en un t e o r e m a
que vam os a enunciar a continuacin. L a segunda es mucho ms
c o m p le ja y da lu g a r al estudio de estru ctu ras p a r tic u la r e s , com o
son los d om in ios de f a c t o r iz a c i n nica, los dom inios euclidianos,
los dom inios de id e a le s p r in c ip a le s . *
T e o r e m a de I n m e r s i n d e un D om in io de In te g rid a d en un Cuerpo
de C o c ie n te s . Sea A un dom inio de in tegrid a d .
1)

E x is te un cu erpo D y un m o n o m o r fis m o
9

: A

tal que p a ra todo d e D e x is te n r, s

s
2)

d =

A que sa tis fa c e n

g (r) 9 (s ) " 1

Si D * es un cu erpo y g * : A - D * con las m is m a s p r o p i e

dades que e n l ) . E x is te un i s o m o r f i s m o
9.

: D -*

D*

ta l que e l d ia g r a m a
A
D -t
V

D'

es conm utativo.
D e m o s tr a c i n
1. L a d e m o s tr a c i n se hace rep itien d o el esquem a de con stru ccin
de los nm eros ra c io n a le s a p a r t i r de los nm eros e n te ro s . L o s
d e ta lle s se dejan a c a r g o del le c t o r .
* V a s e , p o r ejem p lo , Z a r is k i-S a m u e l,
V o l. 1, p a gs. 21-24, 242-247 (1958).

C om m u tative A lg e b r a ,

2. Sean D, D*, g, g * co m o en 1) y 2). Sea x e D. E x is te n entonces

r, s e A, s / 0 ta le s que g ( r ) g ( s ) - 1 = x. Si adem s tu v i r a m o s
x = g { r ' ) g ( s 1) " 1, r ', s' e A, s 1 / 0 s e te n d ra
g (r ) g (s )- 1
g ( r ) g { s ')
.g ( r s ')

o sea

y siendo g un m o n o m o r fis m o ,

= g (r') g ( s ' T 1
= g { r ' ) g ( s)
= g ( r 1 s)

se tendr

P o r lo tanto
g ^ r j - g * ^ 1) =

g * ( r s 1)

g*(r'*s)

g*(r')*g*(s)

de m a n e r a que
g*{r) -

= g * ( r ' ) q * { s ' f 1

lo cual d e m u e s tra que

x si x =

g * ( r ) g * ( s )
g ( r ) . g (s) 1

d efin e una a p lic a c i n

4 : D -*
que s a tis fa c e ,

D*

si a e A y b / 0 en A,

( 4 o 9) (a)

= <9 ( a ) ) = g (g (a b) g (b)_1)
= g * ( a b) g * ( b ) 1 = g * (a) g * (b) *g*(b )
= 9 * (a)

de m a n e r a que
g o g =

g*

que d e m u e s tra la con m u tatividad d el d ia g r a m a a n t e r io r .

F a lta p o r d e m o s t r a r que g es u n m o r f i s m o de a n illo s y, adem s,
que es un i s o m o r f i s m o . Se en com ien da al l e c t o r su v e r i f i c a c i n .
D efin ici n . Un cu erp o D con las p ro p ie d a d e s dadas en el t e o
r e m a se denom ina un cu erp o de co c ie n te s de A . Si D es un cuerpo
de c o c ie n te s de A se su e le id e n t if ic a r A con un subanillo de D p o r
m e d io del m o n o m o r fis m o g. L o s e le m e n to s de D se e s c r ib e n en
tonces r . s- 1 , r, s 0 A, s ^ 0 o ta m b i n p o r m e d io de fr a c c io n e s
r / s.
L a segunda p a r te d e l t e o r e m a d e m u e s tr a que todos los c u erp os
de co c ie n te s de un d om in io de in te g r id a d son is o m o r f o s en tre s,
siendo el i s o m o r f i s m o "n a tu r a l" e n e l s e n t i d o que e x is t e un d i a g r a
m a conmutativo, c o m o e l sealado e n e l t e o r e m a . E ste i s o m o r f i s m o
de los d ife r e n te s cu erp os de c o c ie n te s s e e x p r e s a t c n ic a m e n te
d icien do que todo d om in io de in te g r id a d p o s e e e s e n c ia lm e n te un
cu erp o de c o c ie n te s o ta m b i n que un d om in io de in te g r id a d p o s e e
un nico cu erpo de c o c ie n te s , s a lv o un i s o m o r f i s m o . Se habla

113
1

entonces del c u e rp o de c o c ie n te s d el d o m in io en cuestin. N ote el

l e c t o r que si en p a r t ic u la r A es un cu erp o, entonces A es su p ro p io
c u e rp o de c o c ie n te s .
E je rc ic io s
1.

Sea K un cu e rp o y s e a A un su b an illo de K, con identidad.

i.
ii.
iii.

P r o b a r que
P r o b a r que
P r o b a r que
s a t is fa c e la
a e A, 0

la iden tid ad de A c o in c id e con la identidad de K.

A es un d o m in io de in te g r id a d .
K es cu erp o de c o c ie n te s de A si, y s lo s, se
c o n d ic i n sigu ien te: P a r a todo k e K e x is te
a ta l que k a s A ,

2. ' E s R c u e rp o de c o c ie n te s de Z ?
3. Sea A = Z [ i ] e l a n illo de e n te ro s de Gauss. P r o b a r que el sub
a n illo D = Q [ i ] de C de e x p r e s io n e s p o lin m ic a s en i ( i 2 = - 1)
con c o e fic ie n t e s r a c io n a le s es cu e rp o de c o c ie n te s de A.
4. Sea A = Z [ / 2 ] e l subanillo de R de e x p r e s io n e s p o lin m ic a s
e n / 2 con c o e fic ie n t e s e n te r o s . P r o b a r que el subanillo D = Q [ / 2 ] de
R de e x p r e s io n e s p o lin m ic a s en /"2 con c o e fic ie n t e s ra c io n a le s
es cu e rp o de c o c ie n te s de A .
5. Sea K un cu e rp o y s e a K [ X ] e l a n illo de p o lin o m io s con c o e f i
cie n te s en K. D e s c r i b i r un c u e rp o de c o c ie n te s de K [ X ] ,

B IB LIO G R A F IA
(1)

B I R K H O F F , G. y M A C L A N E , S. A S u rv e y o f M o d e r n A l g e
b r a , M a c m illa n , N u e v a Y o r k (1953).

(2)

B O U R B A K I, N . A l g e b r e , E l m e n ts de M a th m a tiq u e , T o m o
II, Cap. I, A c t u a lit s S c ie n tifiq u e s et I n d u s t r i e l l e s , P a r s
(1958).

(3)

C L I F F O R D , A . H. y P R E S T O N , G. B. T h e A l g e b r a i c T h e o r y
o f S e m ig r o u p s , Y o l . I, M a th e m a tic a l S u rv e y s N 7, A m e r i
can M a t h e m a t ic a l S o c ie ty (1961).

(4)

D U B R E IL , P.

(5)

G E N T I L E , E. R. N o ta s de A l g e b r a , C u r s o s y S e m in a r io s de
M a te m tic a , F a s e . 22, U n iv e r s id a d de Buenos A i r e s , F a
cultad de C ie n c ia s E x a c ta s , Buenos A i r e s (1965).

(6)

J A C O B S O N , N . L e c t u r e s in A b s t r a c t A l g e b r a , V o l. I,
N o s tra n d , P r in c e t o n , N . J. (1953).

(7)

M O S T O W , D. D. , S A M P S O N , J. H. y M E Y E R , J. P . F u n d a
m e n ta l S tru ctu res o f A l g e b r a , M c G r a w , N u e v a Y o r k (1963).

(8)

O U B I A , L. In tro d u c c i n a la T e o r a de Conjuntos, E U D E B A ,
Buenos A i r e s (1965).

(9)

R O T M A N , J, J. T h e T h e o r y o fG r o u p s , A n In trod u ction , A l l y n
and Bacon, B oston, M a s s . (1965).

(10)

A l g e b r e , G a u t h i e r - V i l l a r s , P a r s (1954).

Van

Z A R I S K I , O. y S A M U E L , P . C o m m u ta tiv e A l g e b r a , V o l . I,
Van N o s tra n d , P r in c e t o n , N . J. (1958).

N ota. -

C on r e s p e c t o a las r e f e r e n c i a s b ib l i o g r f i c a s r e la t iv a s a
cada captulo de e s ta m o n o g r a fa , v a s e p a ra :
In tro d u c c i n - r e f e r e n c i a 8.
C a p tu lo I - r e f e r e n c i a s 2, 4, 6 y 3 (p rofu n d iza n e l te m a
de s e m ig r u p o y sus a p lic a c io n e s ).
C a p tu lo II - r e f e r e n c i a s 1, 2, 5, 6, 7, 8 y 9.
C a p tu lo III - r e f e r e n c i a s 1, 2, 5, 6, 7 y 10.

C O L E C C IO N DE M O N O G R A F IA S C IE N T IF IC A S

Publicadas
Serie de matemtica
N 1.

N 2.
N 3.

L a R e v o lu c i n en las M a te m tic a s E s c o la r e s , por el

C o n s e jo N a cio n a l de M a e s tr o s de los Estados Unidos
de A m r i c a .
E s p a c io s V e c t o r ia le s y G e o m e tr a A n a ltic a , por Lu is A .
Santal.
E stru ctu ra s A l g e b r a i c a s , por Enzo R . G entile.

Serie de ffsica
N 1.
N 2.

C oncepto M o d e r n o del N cleo , por D. A lia n B r o m le y .

P a n o ra m a de la A s tr o n o m a M odern a, por F l i x
C ern u sch i y Sayd Codina.

Serie de qumica
N 1.

C in tica Qum ica E le m e n ta l, por H arold Behr ens L e Bas.

Serie de biologa
N 1.
N

2.

L a G en tica y la R e v o lu c i n en la s C ie n c ia s B io l g ic a s ,
por Jos L u is R e i s s i g .
B ases E c o l g ic a s de la E x p lo ta ci n A g r o p e c u a r ia en la
A m r i c a L a tin a , por G u ille r m o Mann F .

En p r e p a r a c i n
Serie de matemtica
A l g e b r a L in ea l, p or Orlando V illa m a y o r .
A l g e b r a L in e a r e G e o m e t r a Euclidiana, p or A le x a n d r e M artins
R o d rig u e s .
Funoes R ea is de V a r i v e l R eal, p or D ja ir o Guedes de
F ig u e i redo.
N m eros R e a le s y C o m p le jo s , por C s a r A. T r e j o .
H is to r ia de las Ideas M od ern as en la M a te m tic a , p or Jos
Babini.
P r o g r a m a c i n L in ea l, p or Enrique Cansado.
In trodu ccin a la T o p o lo g a , p o r Juan H orvth.
A p lic a c io n e s de la T o p o lo g a , p or Jos N ieto.

Serie de fsica
F s ic a de P a rtcu la s, p or Ig o r Saavedra.
La Estructura E lectr n ica de los Slidos, por Leopoldo M.
F a lic o v .
F s ic a Nuclear, por M ariano Bauer E. y A lfon so Mondragn
F s ic a Cuntica, por Thomas A. Brody.
Experim ento y T e o r a en la Enseanza de la F s ic a al N iv e l
Secundario, por F l i x Cernuschi.
Nuevas Orientaciones en la Enseanza de la F s ic a , por
D aro M oreno.

S e rie de qumica
M ecanism os de R eacciones, por J o rge Brieux,
Elem entos Encadenados, por Jacobo G m ez L ara.
M acrom olcu las, por A leja n d ro Paladini y M. Burachik.
B ioen ergtica, por Isaias Raw y W a lte r C olli.
Enseanza de la Qumica E xp erim ental, por F ra n c is c o G iral
C om plejos, p or Manuel M adrazo Garamendi.

S e rie de b iologa
Cmo Ensear Biologa, por Oswaldo F r o t a - P e s s o a .
La Clula, por Renato B a sile,
M ic ro o rg a n is m o s , por J. M. G u ti r r e z -V z q u e z .
La Taxonom a y la R evolu cin en las C iencias B iolgicas,
por Elias R. de la Sota.