Relaciones de Conjuntos

Real Instituto de Jovellanos de Gijn Conjuntos, Relaciones y Grupos
1
CONJUNTOS, RELACIONES Y GRUPOS

1. CONJUNTOS

1.1 Conjunto
Un conjunto est bien definido cuando se posee un criterio que permita afirmar si un elemento pertenece o no
a dicho conjunto

1.2 Inclusin
Un conjunto ! est incluido en un conjunto " si todos los elementos de ! tambi#n pertenecen
a " $e dice entonces que ! es un suconjunto de " $e escribe A B
Un posible procedimiento para demostrar que dos conjuntos son i%uales es comprobar que
todo elemento del primer conjunto pertenece al se%undo y que todo elemento del se%undo
conjunto pertenece al primero &s decir, aplicar que' B A
A B
B A
=
)
`

1.! Conjunto "#c$o
&s el que carece de elementos $e escribe ( $e le considera incluido en cualquier conjunto' A

1.% C#&din#l d' un conjunto
$e denomina c#&din#l del conjunto al n) de sus elementos, y se dice que el conjunto es (inito &s usual utili*ar
la notacin n+", para indicar el cardinal del conjunto " -or ejemplo' ( ) 5 = vocales n
$i tiene infinitos elementos se dice que el conjunto es in(inito.

1.) Unin d' conjuntos
$e denomina unin de dos conjuntos al conjunto formado por los elementos
pertenecientes al menos a uno de los conjuntos $e escribe B A

1.* Int'&s'ccin d' conjuntos
$e denomina int'&s'ccin de dos conjuntos al
conjunto formado por los elementos comunes
pertenecientes a ambos conjuntos $e escribe B A

1.+ Conjuntos disjuntos
$on aquellos cuya interseccin es el conjunto vac.o &s decir, que no tienen
elementos comunes " ! / (

1., Co-.l'-'nt#&io /o cont&#&io0 d' un conjunto
-artiendo de un conjunto & +que se suele llamar uni1'&so, y de uno de sus
subconjuntos ", llamaremos co-.l'-'nt#&io de " al conjunto formado por
todos los elementos de & que no pertenecen a " $e escribe 0 +1ambi#n se
utili*a el apstrofe' A ,
2bviamente cumplirn E = A A y = A A

1.2 3i('&'nci# d' conjuntos
$e denomina di('&'nci# de dos conjuntos al conjunto formado por los
elementos del primer conjunto que no pertene*can al se%undo conjunto
Coincide con la interseccin del primero con el complementario del se%undo
B A $e escribe " 3 !

A
B
A B
E
A
A
B
2
1.14 3i('&'nci# Si-5t&ic#
$e denomina di('&'nci# Si-5t&ic# de dos conjuntos al conjunto formado por los
elementos de la unin de ambos conjuntos y que no pertene*can a su interseccin
Coincide con la unin de sus dos diferencias'
( ) ( ) ( ) ( ) A B B A A B B A = $e escribe B A

1.11 P&o.i'd#d's d' l#s o.'&#cion's d' conjuntos6

Con-ut#ti1#s " U ! / ! U " " ! / ! "
Asoci#ti1#s " U +! U C, / +" U !, U C " +! C, / +" !, C
3ist&iuti1#s " U +! C, / +" U !, +" U C, " +! U C, / +" !, U +" C,
Id'-.ot'nt's " U " / " " " / "
Si-.li(ic#ti1#s " U +" !, / " " +" U !, / "
3' 7o&8#n
B A B A = B A B A =

&stas y otras propiedades se pueden demostrar %rficamente mediante dia%ramas de 4enn 4eamos por
ejemplo, la 56 de 7e 8or%an ' B A B A =

A B B A
B A
&sta vi9eta muestra el
contrario de "
&sta vi9eta muestra el
contrario de !
&sta vi9eta muestra la
*ona com:n del
contrario de " con el
contrario de !
;a vi9eta muestra la
unin de " con !, que es
contraria de la anterior

&stas propiedades pueden demostrarse tambi#n utili*ando las tablas de verdad de la l%ica de predicados
-ara ello basta con interpretar el clsico 1'&d#d'&o 9 (#lso como un' .'&t'n'c' # 9 no .'&t'n'c' #
-or ejemplo, la tabla de verdad de la 56 de 7e 8or%an B A B A = es la que si%ue'

" !
A

B

B A

B A
B A
1 1 ( ( ( 1 (
1 ( ( 1 ( 1 (
( 1 1 ( ( 1 (
( ( 1 1 1 ( 1
;a propiedad queda demostrada al comprobar la i%ualdad entre las columnas de B A y B A

4eamos cmo se construye esta tabla ra*onando con el <6 de los cuatro casos
$ea un elemento que .'&t'n'c' # " pero no .'&t'n'c' # !
P'&t'n'c'&: entonces al contrario de ! pero no al contrario de ", por lo que no .'&t'n'c' a su interseccin
-or otro lado, al .'&t'n'c'& # " +aunque no .'&t'n';c# # !,, .'&t'n'c'&: a B A y por lo tanto no
.'&t'n'c'&: a su contrario
" !
A

B

B A

B A
B A

1 ( ( 1 ( 1 (

;os restantes casos se ra*onar.an de modo similar
3
-or :ltimo, hacer ver que los cuatro casos de esta tabla de verdad se
corresponden a las cuatro *onas en que quedad dividido el universo al
representar dos conjuntos $on las que se ven en el si%uiente dibujo
numeradas en el mismo orden de la tabla

-ara tres conjuntos, resultar.an
ocho casos, como muestra el dibujo
si%uiente'

1.12 Suconjuntos d' un conjunto
7ado un conjunto, podemos construir otro formado por todos sus subconjuntos $i el conjunto es finito y
contiene n elementos, el n:mero total de subconjuntos ser
n
2 contando desde el conjunto vac.o hasta el
propio conjunto dado pasando por subconjuntos con un :nico elemento, con dos elementos, etc
-or ejemplo, partiendo del conjunto { } 4 , 3 , 2 , 1 = A sus 16 2
4
= subconjuntos sern'
(, =5>, =<>, =?>, =@>, =5,<>, =5,?>, =5,@>, =<,?>, =<,@>, =?,@>, =5,<,?>, =5,<,@>, =5,?,@>, =<,?,@>, =5,<,?,@>

4
2. RELACI<N ENTRE 3OS CONJUNTOS

2.1 P&oducto c#&t'si#no d' 2 conjuntos
&s el conjunto formado por todos los pares ordenados posibles emparejando un elemento del primer conjunto
con otro del se%undo conjunto $e escribe' " A !
-or ejemplo, dados estos conjuntos'
{ }
{ } 2 , 1
, , , ,
=
=
B
u o i e a A

$u producto cartesiano ser.a'
{ } ) 2 , ( ), 1 , ( ), 2 , ( ), 1 , ( ), 2 , ( ), 1 , ( ), 2 , ( ), 1 , ( ), 2 , ( ), 1 , ( u u o o i i e e a a B A =

$alvo confusin, se pueden suprimir los par#ntesis y comas de cada pareja, quedando as.'
{ } 2 , 1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 , 1 u u o o i i e e a a B A =

2.2 R'l#cin 'nt&' dos conjuntos
$e llama &'l#cin entre dos conjuntos a un subconjunto de su producto cartesiano &s decir, que ele%imos con
un cierto criterio al%unas parejas de entre todas las posibles
&jemplo &l subconjunto { } 2 , 1 , 2 , 1 , 1 u o i e a R = representar.a la distincin entre vocales abiertas +5, y
cerradas +<,

Una relacin se puede visuali*ar con claridad mediante flechas y dia%ramas de
4enn ;a relacin anterior se ver.a as.'
&n esta relacin, aR5 eApresar.a que a y 5 estn relacionados mientras que la R
tachada aR< nos indicar.a que no lo estn a y <

Una relacin entre dos conjuntos con un n:mero finito de elementos puede tambi#n indicarse mediante una
tabla de doble entrada en la que en cada celda se eApresa mediante un 5 que dichos elementos estn
relacionados y mediante un B si no lo estn -or ejemplo, la relacin anterior se ver.a as.'
1 2
# 5 B
' 5 B
i 5 B
o B 5
u B 5

2.! R'l#cin d' '=ui1#l'nci#
7ada una relacin de un conjunto consi8o -is-o, se dice que es de '=ui1#l'nci# si cumple las tres propiedades
si%uientes'

R'(l'>i1#

xRx x

&s decir, que todo elemento, debe estar
relacionado consi%o mismo

Si-5t&ic#

yRx xRy y x ,
&s decir, que, si eAiste una relacin entre dos
elementos, debe darse tambi#n en el orden
contrario

T&#nsiti1#

xRz
yRz
xRy
z y x
)
`
, ,
&s decir, si un primer elemento est relacionado
con un se%undo, y #ste lo est con un tercero, debe
eAistir relacin entre el primero y el tercero

&n las relaciones de equivalencia se suele utili*ar el s.mbolo &s decir, que en lu%ar de escribir ARy
pondr.amos Ay indicando la relacin +equivalencia, eAistente entre dichos elementos

a
e
i
o
u
1

2
5
-or ejemplo la relacin { } 33 , 31 , 22 , 13 , 11 = R cumple las tres propiedades 8ientras que { } 33 , 22 , 13 , 11 = S
incumple la sim#trica, ya que la pareja 5? obli%ar.a a que eAistiera la pareja ?5

$i, en un conjunto finito, eApressemos la relacin de equivalencia mediante una tabla, podr.amos ver
rpidamente si cumple las propiedades 2bservando si en todas las celdas de la dia%onal principal est escrito
un 5, comprobar.amos la propiedad refleAiva y observando la simetr.a de las restantes celdas respecto de
esta dia%onal comprobar.amos la propiedad sim#trica
;as si%uientes tablas son las correspondientes a las relaciones anteriores ;os unos de la dia%onal principal
nos ase%uran que ambas relaciones cumplen la propiedad refleAiva mientras que la asimetr.a marcada en rojo
en la tabla $ nos indicar.a el incumplimiento de la propiedad sim#trica en dicha relacin
R 1 2 ! S 1 2 !
1 5 B 5 1 5 B 5
2 B 5 B 2 B 5 B
! 5 B 5 ! B B 5
-ara comprobar la propiedad transitiva se puede emplear el producto de matrices y observar la colocacin de
los ceros

2.% Cl#s's d' '=ui1#l'nci#
1oda relacin de equivalencia establece una .#&ticin del conjunto en varios subconjuntos,
formado cada uno de ellos por los elementos que estn relacionados entre s. Cada uno de estos
subconjuntos se llama cl#s' d' '=ui1#l'nci#
-or ejemplo la anterior relacin R se ver.a as.'

2.) Un 'j'-.lo d' cl#s's d' '=ui1#l'nci#6 Cl#s's d' &'stos
Un ejemplo clsico de clasificacin de los n:meros enteros es el de las cl#s's d' &'stos &le%ido un cierto
n:mero natural como -dulo, se ordenan todos los n:meros enteros en tantas filas como dicho mdulo ;os
infinitos n:meros enteros que formen cada fila formar.an una clase de equivalencia
-or ejemplo, las clases de restos mdulo ?'

Clase B CD C? B ? D E 5<
Clase 5 CF C< 5 @ G 5B 5?
Clase < C@ C5 < F H 55 5@

-ara saber rpidamente a qu# clase pertenece un cierto elemento se busca el resto de su divisin entera +no
decimal, entre el mdulo ele%ido $i el resto es cero, o sea que el n:mero es m:ltiplo del mdulo, pertenecer.a
a la fila superior, la llamada clase cero &n otro caso, el resto +que estar entre uno y el mdulo menos uno,
indicar.a la fila a la que pertenece $i n:mero fuese ne%ativo se act:a i%ual pero dividiendo de manera que el
cociente sea ne%ativo pero el resto positivo
&l n:mero @FG5 pertenece a la clase < ya que al dividirlo entre ? resulta dos de resto y CF pertenece a la
clase 5 ya que' 1 ) 2 ( 3 5 + =

1

2

3
1

2

3
R
1

2

3
1

2

3
S
1

3

2
6
$e puede comprobar que, dadas dos clases, independientemente de los n:meros ele%idos de ambas clases, su
suma y su producto pertenecen a una clase determinada -or ejemplo, si ele%imos el 5B como representante de
la clase 5 y el H de la clase <, vemos que su suma pertenece a la clase B y su producto a la clase < $i
repetimos el eAperimento cambiando por el 5? y el <B, vemos que las clases de su suma y de su producto son
las mismas de antes
2 80 8 10
0 18 8 10
2 8
1 10
Clase
Clase
Clase
Clase
=
= +
)
`

2 260 20 13
0 33 20 13
2 20
1 13
Clase
Clase
Clase
Clase
=
= +
)
`

&stos hechos nos llevar.an a escribir que, en mdulo ?'
clase2 clase2 clase1
clase0 clase2 clase1
=
= +
y nos permite definir dos
operaciones nuevas' suma y producto de clases de restos mdulo ? $us tablas de sumar y multiplicar ser.an'

I CB C5 C< A CB C5 C<
CB CB C5 C< CB CB CB CB
C5 C5 C< CB C5 CB C5 C<
C< C< CB C5 C< CB C< C5

&studios similares se pueden reali*ar en otros mdulos dando lu%ar a distintas sumas y multiplicaciones sin
entrar en contradiccin entre ellas -or ejemplo'
4) mdulo (en clase2 clase3 clase2
5) mdulo (en clase1 clase3 clase2
=
=

2.* R'l#cin d' o&d'n
7ada una relacin de un conjunto consi%o mismo, se dice que es de o&d'n si cumple las si%uientes tres
propiedades'

R'(l'>i1# xRx x &s decir, que cualquier elemento, debe estar relacionado consi%o mismo

Antisi-5t&ic#
y x
yRx
xRy
y x =
)
`
,
&s decir, que no pueden eAistir dos elementos distintos que est#n
relacionados en los dos rdenes posibles

T&#nsiti1#
xRz
yRz
xRy
z y x
)
`
, ,
&s decir, si un primer elemento est relacionado con un se%undo, y #ste lo
est con un tercero, debe eAistir relacin entre el primero y el tercero

Cualquier ejemplo en el que ordenemos elementos se tratar casi se%uro de una relacin de orden &l orden de
los n:meros reales o el alfab#tico de las letras lo son
&n las relaciones de orden se suele utili*ar el s.mbolo J &s decir, que en lu%ar de escribir 5R< pondremos 5J<
indicando la relacin +orden, eAistente entre dichos elementos

;as tres propiedades anteriores quedar.an entonces escritas as.'
R'(l'>i1# x x x
&s decir, que cualquier elemento es menor o i%ual que s. mismo 7e
hecho es i%ual

Antisi-5t&ic#
y x
x y
y x
y x =
)
`
,
&s decir, que no pueden eAistir dos elementos distintos que siendo el
primero menor o i%ual que el se%undo, #ste sea menor o i%ual que el
primero

T&#nsiti1#
z x
z y
y x
z y x
)
`
, ,
&s decir, si un primer elemento es menor o i%ual a otro y #ste es
menor o i%ual que un tercero, el primero deber ser menor o i%ual al
tercero
7
!. ?UNCI<N /o APLICACI<N0 ENTRE 3OS CONJUNTOS

!.1 3'(inicin d' (uncin /o #.lic#cin0 'nt&' dos conjuntos
$e trata de una relacin entre dos conjuntos que cumple la condicin de que todo elemento del primer
conjunto debe estar relacionado con uno y slo uno del se%undo conjunto "l primer conjunto se le llama
do-inio de la funcin y al se%undo conjunto codo-inio. " los elementos que inician una relacin funcional los
llamaremos o&$8'n's y los que la finali*an i-:8'n's 1odas las im%enes forman un subconjunto del conjunto
final llamado &'co&&ido
" la funcin f entre los conjuntos " y ! se la puede representa simblicamente as.' B A f :
&jemplos'

No es una funcin, ya que 5 est
relacionado con ms de un
elemento del se%undo conjunto
No es una funcin, ya que ? no
est relacionado con nin%:n
elemento del se%undo
conjunto
S$ es una funcin Kue el elemento a
del <) conjunto no est# relacionado
con nin%:n elemento del 5) no
incumple la definicin de funcin
7ominio / { } 3 , 2 , 1
Codominio / { } c b a , ,
Recorrido / { } c b,
S$ es una funcin
7ominio / { } 3 , 2 , 1
Codominio / { } c b a , ,
Recorrido / { } c b a , ,

!.2 Ti.os d' (uncion's
$e%:n que cumplan o no una serie de propiedades definiremos tres tipos de funciones' In@'cti1#s,
So&'@'cti1#s y Ai@'cti1#s
!.2.1 ?uncion's In@'cti1#s
Una funcin se dice in@'cti1# si nin%:n elemento del conjunto final tiene ms de un ori%en
!.2.2 ?uncion's So&'@'cti1#s
Una funcin se dice so&'@'cti1# si todo elemento del conjunto final tiene al menos un ori%en 1ambi#n se les
llama '>B#usti1#s o tambi#n su.&#@'cti1#s
!.2.! ?uncion's Ai@'cti1#s
Una funcin se dice Ai@'cti1# si es Inyectiva y sobreyectiva 1ambi#n se les llama Aiun$1oc#s

&s inyectiva, pero no
sobreyectiva +a no tiene
ori%en,
&s sobreyectiva, pero no es
inyectiva +a tiene ms de un
ori%en,
Lo es sobreyectiva +a no tiene
ori%en, ni inyectiva +c tiene ms
de un ori%en,
&s biyectiva

1

2

3
a

b

c
1

2

3
a

b

c
1

2

3
a

b

c
1

2

3
a

b

c
1

2

3
a

b

c
1

2
a

b

c
1

2

3
a

b

1

2

3
a

b

c
8
!.! Co-.osicin d' (uncion's
$i tenemos dos funciones B A f : C B g : en las que el conjunto final de la primera funcin coincide
con el inicial de la <6, se puede crear una nueva funcin que se denomina co-.u'st# de ambas y que se
construye enla*ando los or.%enes de la primera con las im%enes de la se%unda
$e escribe simblicamente as.' C A f g : o
&jemplo'
;a composicin de funciones no es conmutativa, es decir que, con carcter %eneral, no se cumple que'
f g g f o o = 4eamos qu# distintas circunstancias se podr.an dar'
$i el conjunto " es distinto del conjunto C, slo estar definida la composicin en un cierto orden
$i " / C podrn componerse en los dos sentidos, pero no podr.an coincidir por estar definida la funcin
compuesta en un caso sobre " y en el otro caso sobre !
$i " / ! / C ambos composiciones podrn hacerse y estar.an definidas sobre el mismo conjunto -ero ni
siquiera en este caso est ase%urado que coincidan las dos composiciones

!.% ?uncin &'c$.&oc# d' un# (uncin i@'cti1#
7ada una funcin f biyectiva, se denomina &'c$.&oc# +tambi#n in1'&s#, a aquella en la que hemos
intercambiado el conjunto inicial +con los or.%enes, por el conjunto final +con las im%enes, y viceversa ;a
nueva funcin, que obviamente es tambi#n biyectiva, se escribe as.' f
C5

&jemplo'

$i se compone una funcin con su rec.proca se obtiene la funcin
identidad, es decir la que aplica cada elemento sobre s. mismo

1

2

3
1

2

3
ff
-1

1

2

3
a

b

c
f
a

b

c
1

2

3
f
-1

a

b

c
1

2

3
1

2

3

a

b

c
1

2

3

a

b

c

9
%. OPERACIONES AINARIAS

%.1 3'(inicin d' o.'&#cin in#&i#
$iendo ", ! dos conjuntos no vac.os, se denomina o.'&#cin in#&i# a cualquier funcin B A A f :
&sta funcin relaciona una pareja ordenada de elementos de " con un cierto elemento de ! &ste hecho lo
podemos entender como que hemos hecho una operacin entre los elementos de la pareja dando como
resultado el elemento que indique su ima%en $i los dos conjuntos ", ! son i%uales, se dice que la operacin
est c'&&#d#
-or ejemplo la suma de n:meros aplicada al conjunto de los n:meros naturales pares es una operacin cerrada
+par I par / par,, pero si la aplicsemos al conjunto de los n:meros naturales impares, dichas sumas +impar I
impar / par, no pertenecer.an al conjunto de los impares, y no estar.a la operacin bien definida

-or ejemplo 6 ) 3 , 2 ( si%nificar.a que la operacin reali*ada entre el < y el ?, en este orden, resulta D -ara
%anar en claridad, el s.mbolo flecha se sustituye por un s.mbolo operacional' M, N, I, A etc +si no causa
confusin, sin nin%:n s.mbolo, como sucede con el producto de n:meros reales, 7e ser el asterisco, una
operacin podr.a visuali*arse as.' <M? / D O no hay que olvidar que, al tratarse de una funcin, debe estar
definido el resultado de cualquier operacin y ser :nico

$i { } b a A , = el si%uiente dia%rama de 4enn muestra una posible
operacin binaria en " '
$i " es un conjunto finito, se visuali*a mucho mejor la operacin dndole
forma de tabla entendiendo +por si la operacin no fuese conmutativa, que
el primer elemento de cada pareja es el de la 56 columna y se opera con el
de la 56 fila que ser entonces el se%undo elemento de la pareja'

C #
# b a
a a

%.2 P&o.i'd#d's d' l#s o.'&#cion's in#&i#s
Una operacin binaria puede cumplir al%una de estas propiedades' con-ut#ti1#, #soci#ti1#, 'l'-'nto n'ut&o,
'l'-'nto si-5t&ico y, si estuviesen definidas dos operaciones distintas en el mismo conjunto, la dist&iuti1#

%.2.1 P&o.i'd#d Con-ut#ti1#
Cumplir esta propiedad si para toda pareja el resultado de la operacin no depende del orden de los
elementos, es decir que a Mb / b Ma -or ejemplo, si comparamos las si%uientes operaciones'

S$ es conmutativa, ya que a Mb / b Ma No es conmutativa, ya que a Mb / a mientras que b Ma / b
$i, en conjuntos finitos, vemos la operacin en forma de tabla, su conmutatividad se observa por la simetr.a
de la misma respecto de la dia%onal principal Con conjuntos infinitos, habr.a que demostrar la conmutatividad
partiendo de cmo est# definida la operacin
Conocidos ejemplos de operaciones conmutativas son la suma de n:meros, el producto de n:meros, la unin de
conjuntos y la interseccin de conjuntos
aa

ab

ba

bb
a

b
aa

ab

ba

bb
a

b
aa

ab

ba

bb
a

b
10
%.2.2 P&o.i'd#d Asoci#ti1#
Cumplir esta propiedad si dados tres elementos cualesquiera cumple' a M+b Mc, / +a Mb, Mc
Conocidos ejemplos de operaciones asociativas son la suma de n:meros, el producto de n:meros, la unin de
conjuntos o la interseccin de conjuntos
Lo siempre es fcil comprobar la asociatividad de una operacin, normalmente tendremos que probar con
todos los tr.os posibles y comprobar los resultados, o demostrarla a trav#s de la definicin de la operacin
-or ejemplo, la primera operacin representada en %.2.1 y que era conmutativa, resulta ser no asociativa
4#ase cmo se obtienen distintos resultados se%:n se asocien los elementos a, a y b '
a M+a Mb, / a Ma / b mientras que +a Ma, Mb / b Mb / a

%.2.! P&o.i'd#d 3ist&iuti1#
$i dos operaciones distintas +M y N, estn definidas sobre un mismo conjunto, se dice que cumple la propiedad
distributiva de la primera +M, sobre la se%unda +N, si dados tres elementos cualesquiera cumple'
a M+b N c, / +a Mb, N +a Mc,
Un ejemplo clsico es el de la distributividad del producto respecto de la suma de n:meros reales'
a P +b Ic, / +a Pb, I +a Pc,
pero recuerde que en los n:meros reales no se cumple la distributividad de la suma respecto del producto
a I +b Pc, Q +a Ib, P +a Ic,
$i embar%o, en el l%ebra de !oole de los conjuntos, se cumple tanto la distributividad de la unin respecto de
la interseccin como la distributividad de la interseccin respecto de la unin
Lo es fcil demostrar la distributividad entre dos operaciones, normalmente tendremos que probar todos los
tr.os posibles y comprobar los resultados, o demostrarla a trav#s de la definicin de las operaciones

%.2.% P&o.i'd#d d'l El'-'nto N'ut&o
$e dice que un conjunto tiene un 'l'-'nto n'ut&o +normalmente representado con la letra ', con el n:mero
1 aunque no se trate de un n:mero, para una cierta operacin M si operado con todos los restantes elementos
del conjunto tanto por la derecha como por la i*quierda se obtiene como resultado el elemento con el que
operamos
&s decir' a e a a e A a = =
Una operacin binaria no tiene necesariamente elemento neutro aunque las operaciones tradicionales s. lo
tienen +B en la suma y 5 en el producto de n:meros reales, ( en la unin y & en la interseccin de conjuntos,
&jemplos'

b es elemento neutro, ya que'
a Mb / b Ma / a y tambi#n b Mb / b
a no es elemento neutro, ya que'
a Ma Q a +y tambi#n a Mb Q b,
b tampoco es elemento neutro, ya que b Ma Q a
-ara esta operacin este conjunto no tiene elemento neutro

T'o&'-# d' l# Unicid#d d'l El'-'nto N'ut&o' $i eAiste, el elemento neutro es :nico
7emostracin'
$i eAistiesen dos elementos neutros +e
5
y e
<
, suceder.a que'
=
neutro) elemento ser (por
neutro) elemento ser (por
2 1
1 2
2 1
e e
e e
e e como el resultado debe ser :nico e
5
/ e
<

aa

ab

ba

bb
a

b
aa

ab

ba

bb
a

b
11
%.2.) P&o.i'd#d d'l El'-'nto Si-5t&ico
-artiendo de un conjunto que ten%a elemento neutro para una cierta operacin, se dice que cumple la
propiedad de un 'l'-'nto si-5t&ico si para todo elemento a del conjunto podemos encontrar otro +en al%:n
caso puede ser el mismo elemento,, que llamaremos su sim#trico, de manera que operados tanto por la
derecha como por la i*quierda resulten el elemento neutro $e escribe as.'
1
a
&s decir' e a a a a A a A a = =
1 1 1
siendo ' el elemento neutro
7e la simetr.a de la definicin se deduce que el sim#trico del sim#trico de un elemento es el propio elemento
&s decir que' ( ) a a =
1
1

Una operacin binaria no tiene necesariamente sim#tricos aunque en las operaciones tradicionales s. eAisten
+" y A son sim#tricos en la unin de conjuntosR CF opuesto del F en la suma y 5SF inverso en el producto de
n:meros reales $in embar%o, recuerde que no eAiste el inverso del n:mero cero,
&jemplos'
C # c d
# a b c d
b d a c
c c a d b
d d c b a
&n esta tabla vemos que a es el elemento neutro
&l sim#trico de a ser.a a +siempre sucede con el elemento
neutro, y el de d ser.a d
&l sim#trico de b es c y el sim#trico de c es b +se puede decir
que b y c son sim#tricos,
C # c d
# a b c d
b d b d
c c c d c
d d c b a
&n esta operacin vemos que a es el elemento neutro
&l sim#trico de a es a
&l sim#trico de d es d
Li b ni c tienen sim#trico
T'o&'-# d' l# unicid#d d'l El'-'nto si-5t&ico' $i la operacin cumple tambi#n la asociativa, el sim#trico de
cada elemento debe ser :nico.
7emostracin'
$i, para un cierto elemento a, eAistiesen dos sim#tricos +s
5
y s
<
, suceder.a que'
2
) 1 (
2
) 4 (
2 1
) 3 (
2 1
) 2 (
1
) 1 (
1
* * ) * ( ) * ( * * s s e s a s s a s e s s = = = = =

+5,' -or ser e el elemento neutro
+<,' -or ser s< sim#trico de a
+?,' -or la propiedad asociativa
+@,' -or ser s5 sim#trico de a
;a simplificacin que hacemos en el conjunto de los n:meros reales es posible %racias a la eAistencia de
elementos sim#tricos -or ejemplo, si tenemos la i%ualdad y x = 3 3 , simplificamos rpidamente los treses
y x / = / 3 3 y concluimos que A / y $in darnos cuenta, estamos utili*ando las si%uientes propiedades'
y x y x y x y x y x = = = = =

) 4 ( ) 3 ( ) 2 ( ) 1 (
1 1 ) 3
3
1
( ) 3
3
1
( ) 3 (
3
1
) 3 (
3
1
3 3
+5,' multiplicamos ambos miembros por el sim#trico de ?
+<,' aplicamos la propiedad asociativa
+?,' aplicamos la propiedad del elemento sim#trico
+@,' aplicamos la propiedad del elemento neutro
$in embar%o, siendo A e y dos n:meros reales, sabemos que de la i%ualdad y x = 0 0 , no se concluye que
A / y ;a ra*n al%ebraica es que B no tiene sim#trico
&n un conjunto que cumpla, como le sucede a los n:meros reales, estas propiedades, se puede hacer lo mismo,
y si a es un elemento con sim#trico, se escribir.a as.'
Si-.li(ic#cin' y x y e x e y a a x a a y a a x a a y a x a = = = = =

) 4 ( ) 3 (
1 1
) 2 (
1 1
) 1 (
) ( ) ( ) ( ) (
"ctuando de forma similar, tambi#n se podr.a eliminar un elemento que apareciera en la derecha de los dos
miembros de una i%ualdad y ten%a sim#trico &s decir, y x a y a x = =
$in embar%o, salvo que la operacin sea conmutativa, de a y x a = , no se deduce que A e y sean i%uales.
12
). TEORDA 3E GRUPOS
).1 3'(inicin d' 8&u.o.
Un conjunto G no vac.o en el que est definida una operacin M, situacin que resumiremos as.' +G, M,, se dice
que tiene estructura de %rupo si cumple las si%uientes condiciones'
;a operacin M est cerrada en el conjunto G
Cumple la propiedad asociativa
1iene elemento neutro que pertenece a G
1odos los elementos de G tienen un sim#trico que pertenece a G
;a operacin M no necesita ser conmutativa, si lo fuese se dice que +G, M, es #'li#no
;a tabla de operar de un %rupo finito se llama t#l# d' C#@l'@.
&jemplo'
G / 5, i, C5, Ci` respecto del producto de n:meros complejos es un %rupo abeliano
E 1 i F1 Fi
1 5 i C5 Ci
i i C5 Ci 5
F1 C5 Ci 5 i
Fi Ci 5 i C5

;a operacin est cerrada, ya que se obtienen
resultados pertenecientes al mismo conjunto G
5 es el elemento neutro
i, Ci son sim#tricos el uno del otro
5, C5 son sim#tricos de s. mismos
;a asociativa se cumple en el producto de cualquier tr.o
de n:meros complejos
&l producto de n:meros complejos es conmutativo
&jemplo'
&l %rupo no abeliano con menor n:mero de elementos es el que muestra la si%uiente tabla de la operacin M
para seis elementos' G / e, a, b, c, d, f`
C ' # c d (
' e a b c d f
# a b e d f c
b e a f c d
c c f d e b a
d d c f a e b
( f d c b a e

&l producto est bien definido, ya que se obtienen
e es el elemento neutro
a, b son sim#tricos el uno del otro
e, c, d, f son sim#tricos de s. mismos
&li%iendo todos los tr.os posibles, se demostrar.a que se
cumple la propiedad asociativa
Lo se cumple la propiedad conmutativa' v#ase cmo
a Mc / d mientras que c Ma / f
).1.1 O&d'n d' un 8&u.o
&l n:mero de elementos del %rupo se denomina o&d'n d'l 8&u.o y se dice que el %rupo es (inito &n otro caso
se dice que el %rupo es in(inito

).1.2 O&d'n d' un 'l'-'nto d' un 8&u.o
$i operando un elemento consi%o mismo m veces, se lle%a a obtener por primera ve* el elemento neutro, este
n:mero m recibe el nombre de orden del elemento -or ejemplo, el orden del %rupo del ep.%rafe ).1 es D
&s usual utili*ar una notacin eAponencial para indicar una operacin repetida utili*ando el mismo elemento'
-or ejemplo, a Ma Ma se escribir.a como aT
T'o&'-#' &n un %rupo finito, todos sus elementos tendrn orden finito
7emostracin'
j k k j
a e a a N k j G a

= =
) 2 ( ) 1 (
| ,
+5,' Como G tiene un n:mero finito de elementos, operando a consi%o mismo repetidas veces deber repetirse necesariamente al%:n
resultado, por ejemplo
j
a y
k
a +U V j,
+<,' $implificando en ambos miembros j veces el elemento a, vemos que necesariamente al%uno de estos resultados es el elemento neutro
&jemplo' &l orden de los elementos del %rupo del ep.%rafe ).1 es'
&l orden de e es 5 +obvio,
aW / a Ma / b aT / aW Ma / b Ma / e ;ue%o el orden de a es ? +este mismo orden lo tiene b,
c Mc / e ;ue%o el orden de c es < +este mismo orden lo tienen d y f,
13
).1.! G&u.os c$clicos
$e llama %rupo c$clico al que contiene a un elemento, llamado 8'n'&#do&, que operado consi%o mismo repetidas
veces, en%endra todos los elementos del %rupo
&s decir, que si llamamos % al %enerador, el %rupo ser G / %, %
<
, %
?
, , %
n
` entendiendo por eAponente al
n:mero de veces que operamos % consi%o mismo' %
?
/ % M% M% etc $i el n:mero de elementos es n
necesariamente el elemento neutro ser la :ltima potencia %
n
2bviamente la operacin es cerrada y el
sim#trico de %
U
es %
nCU
&n forma de tabla se visuali*an muy bien los %rupos c.clicos
-or ejemplo, la tabla del %rupo c.clico de orden F llamando % a su %enerador y sabiendo que %
F
/ 5 ser.a'
M 8 8
2
8
!
8
%
'
8 %
<
%
?
%
@
e %
8
2
%
?
%
@
e % %
<

8
!
%
@
e % %
<
%
?

8
%
e % %
<
%
?
%
@

' % %
<
%
?
%
@
e

T'o&'-#' ;os %rupos c.clicos son siempre abelianos
7emostracin' Curiosamente se basa en la propiedad asociativa
a b g g g g g g b a
g b N k
g a N j
G b
G a
j k j k k j k j
k
j
= = = = =
)
`
=
=
)
`
+ +
|
|

).2 Su8&u.os
-artiendo de un %rupo +G, M, y de un subconjunto X, decimos que +X, M, es un su8&u.o de +G, M, si X tiene
estructura de %rupo respecto de la misma operacin M
-uesto que en G se cumple la asociativa, tiene elemento neutro y todos los elementos tienen sim#tricos, slo
quedar.a comprobar que'
la operacin M est cerrada en X
el elemento neutro de G tambi#n pertenece a X
todos los sim#tricos de los elementos de X tambi#n pertenecen a X
1odo %rupo siempre contendr al sub%rupo formado eAclusivamente por el elemento neutro 1ambi#n se
considerar como sub%rupo al mismo %rupo &stos dos sub%rupos se denominan i-.&o.ios, a los restantes
sub%rupos, de eAistir, se les denomina .&o.ios
&n %rupos %randes no siempre es fcil buscar sub%rupos, pero operando un elemento consi%o mismo repetidas
veces y observando los resultados, sabremos con qu# elementos formar un sub%rupo
&jemplo de $ub%rupos'
&l %rupo estudiado antes G / 5, i, C5, Ci` respecto del producto de n:meros complejos tiene tres sub%rupos'
&n primer lu%ar, los sub%rupos impropios X
5
/ 5` y G / 5, i, C5, Ci`
&l :nico sub%rupo propio es X
<
/ 5, C5` ya que
observando la tabla que resulta'
E 1 F1
1 5 C5
F1 C5 5
4emos que' la operacin est cerrada, contiene al
elemento neutro y a los sim#tricos de sus
elementos

Cualquier otro subconjunto no es sub%rupo -or
ejemplo observando la tabla que resulta co%iendo
slo los elementos 5, i` '
E 1 i
1 5 i
i i C5
4emos que' la operacin no est cerrada ya que
aparece Y5 que no pertenece al conjunto 5, i`
"dems 3i, que es el sim#trico de i no pertenece al
conjunto 5, i`
14
).2.1 Condicin n'c's#&i# @ su(ici'nt' .#&# =u' un suconjunto d' un 8&u.o s'# su8&u.o
7ados un %rupo +G, P, y X un subconjunto no vac.o de G'
( ) ( ) ( ) H b a H b a G H
1
, , de subgrupo es ,
Reali*aremos la demostracin en dos fases' que el enunciado de la i*quierda implica necesariamente el
cumplimiento del de la derechaR y que el de la derecha implica el de la i*quierda, es decir, que para que se
cumpla el de la i*quierda es suficiente que se cumpla el de la derecha
7emostracin necesaria + ,
H b a
H a
H b H b

1
) 2 (
1
) 1 (

+5,' "l ser +X, P, un sub%rupo, X tendr estructura de %rupo, por lo que para cualquier elemento de X su sim#trico tambi#n
pertenecer a X
+<,' "l tener X estructura de %rupo, la operacin estar cerrada en X, por lo que, dados dos elementos de X, el resultado de su
operacin tambi#n pertenecer a X
7emostracin suficiente + ,
-uesto que en G se cumple la propiedad asociativa y los elementos de X lo son de G, se cumplir la
#soci#ti1# en X
$abemos que G tiene elemento neutro +e, y que todos sus elementos tienen sim#tricos en G, falta
demostrar que el elemento n'ut&o tambi#n pertenece a X y que todos los si-5t&icos de los elementos
de X tambi#n pertenecen a X
&lemento neutro de X' H e H b b H b

) 4 (
1
) 3 (

$im#tricos en X' H b H b
H b
H e

)
`

1
) 5 (
1
) 3 (
1
$lo falta demostrar que la operacin P est c'&&#d# en X
2peracin cerrada en X' ( ) H b a H b a
H a
H b H b

) 7 (
1
1
) 3 (
1
) 6 (

+?,' &s la condicin de partida en esta parte de la demostracin
+@,' -ropiedad de los elementos sim#tricos, que se cumple en G por tener estructura de %rupo
+F,' -ropiedad del elemento neutro, que se cumple en G por tener estructura de %rupo
+D,' "cabamos de demostrar que los sim#tricos de los elementos de X, pertenecen a X
+G,' &l sim#trico del sim#trico de cualquier elemento, coincide con el propio elemento

).2.2 Condicin n'c's#&i# @ su(ici'nt' .#&# =u' un suconjunto d' un 8&u.o (inito s'# su8&u.o
$iendo G un conjunto finito 7ados un %rupo +G, P, y X un subconjunto no vac.o de G'
( ) ( ) de respecto cerrado , de subgrupo es , H G H
7emostracin necesaria + , Kue +X, P, sea un %rupo necesita que la operacin est# cerrada en X
7emostracin suficiente + ,
"l ser G un %rupo finito, el orden de cualquiera de sus elementos ser finito, sea b un elemento de X
de orden m -or lo tanto, su sim#trico ser
1 m
b
( )

,
) 3 (
1
) 1 (
1
) 2 (
1
) 1 (
H H b a
H a
H b H b H b
m
es un %rupo
+5,' 2peracin cerrada en X
+<,' Como ya hemos dicho, el sim#trico de b es
1 m
b
+?,' 1eorema anterior
15
).2.! Su8&u.o 8'n'&#do .o& un ci'&to 'l'-'nto 'n un 8&u.o (inito6
$i esco%emos cualquier elemento en un %rupo finito y lo operamos consi%o mismo repetidas veces hasta lle%ar
por primera ve* +orden m, al elemento neutro, el subconjunto { } e a a a a
m
, ..., , ,
1 2 2
formado por el elemento
de partida y todos estos resultados cumplirn los requisitos de %rupo, por lo que ser sub%rupo del %rupo
inicial 2bviamente la operacin est cerrada, tiene elemento neutro y los sim#tricos son' ( )
k m k
a a

=
1

).2.% T'o&'-# d' L#8&#n8'
$i tenemos un %rupo finito con n elementos, necesariamente sus sub%rupos contendrn un n:mero de
elementos divisor de n
T'o&'-# d' L#8&#n8' ' n m
m H
n G
de divisor es
orden subgrupo
orden finito grupo
)
`

&jemplos' un %rupo de orden D podr tener sub%rupos de 5, <, ?, D elementos pero nunca con @ F
Un %rupo de orden 5< podr tener sub%rupos de 5, <, ?, @, D, 5< elementos
&n consecuencia, un %rupo con un n:mero primo de elementos slo tendr sub%rupos impropios

Co&ol#&io del 1eorema de ;a%ran%e' n m
m G a
n G
de divisor es
orden de elemento
orden de finito grupo
)
`

7emostracin'
$i a es un elemento de orden m, tendremos el sub%rupo { } e a a a a
m
, ..., , ,
1 3 2
que tiene orden m, por lo que m
ser divisor de n, por aplicacin del teorema de ;a%ran%e
).2.) Cl#s's L#t'&#l's
$ea +G, P, un %rupo, sea a uno de sus elementos y sea X un sub%rupo de G &ste sub%rupo nos permitir definir
dos subconjuntos del %rupo G que llamaremos' clase lateral i*quierda de X en G y clase lateral derecha de X
en G mediante los resultados que resulten de operar dicho elemento con todos los elementos del sub%rupo X'
Clase lateral i*quierda de X en G { } H h h a = | $e le nombra aH H a + si la operacin es la suma
Clase lateral derecha de X en G { } H h a h = | $e le nombra Ha a H + si la operacin es la suma
;%icamente, si el elemento a pertenece a X, las dos clases laterales coinciden con el sub%rupo X
&jemplo' -artiendo del %rupo multiplicativo de los si%uientes n:meros complejos' G / 5, i, C5, Ci ` y del
sub%rupo X / 5, C5 `, veamos las clases i*quierdas que %enera cada elemento de G'
{ } { } { }
{ } { } { }
{ } { } { }
{ } { } { } i i i i H h h i H i i a
H H h h H a
i i i i H h h i iH i a
H H h h H a
, ) 1 ( , 1 | ) (
1 , 1 ) 1 ( 1 , 1 1 | 1 ) 1 ( 1
, ) 1 ( , 1 |
1 , 1 ) 1 ( 1 , 1 1 | 1 1 1
= = = =
= = = = =
= = = =
= = = = =

"l tratarse de una operacin conmutativa, las clases derechas son id#nticas a las i*quierdas
&jemplo' -artiendo del %rupo aditivo de los vectores del plano' { } = y x y x G , | ) , ( y del sub%rupo formado
por los vectores paralelos a un vector concreto +a, b,' { } = t bt at H | ) , ( , cada vector v de G %enera la
si%uiente clase i*quierda +que, por la conmutatividad, es id#ntica a la clase derecha,'
{ } { } + + = + = + = t bt y at x t bt at y x H v y x v | ) , ( | ) , ( ) , ( ) , (
0 0 0 0 0 0

&ste ejemplo tiene una interpretacin %rfica interesante G es todo el plano, el sub%rupo X ser.a una recta
que pasase por el ori%en y las clases laterales de X en G ser.an rectas paralelas a X
).! Ej'-.los d' 8&u.os in(initos
4eremos a continuacin ejemplos conocidos de %rupos infinitos'
).!.1 G&u.o #'li#nos #diti1os d' los 1'cto&'s d'l Pl#no
&l conjunto formado por todos los vectores del plano con la suma tradicional de vectores tiene estructura de
%rupo abeliano en el que el elemento neutro es el vector nulo y el sim#trico de un vector es su opuesto &l
subconjunto formado por los vectores paralelos a uno dado es un sub%rupo
16
).!.1 G&u.os #'li#nos #diti1os d' nG-'&os
/H, I0 el conjunto de los n:meros enteros, con la suma, tiene estructura de %rupo abeliano con B de elemento
neutro y los opuestos como sim#tricos Contiene, entre otros sub%rupos, a los formados por los m:ltiplos de
un determinado n:mero entero
/J, I0 el conjunto de los n:meros racionales, con la suma, tiene estructura de %rupo abeliano con B de
elemento neutro y los opuestos como sim#tricos Contiene, entre otros sub%rupos, a +Z, I,
/R, I0 el conjunto de los n:meros reales, con la suma, tiene estructura de %rupo abeliano con B de neutro y
los opuestos como sim#tricos Contiene como sub%rupos, entre otros, a +K, I, y a +Z, I,
/C, I0 el conjunto de los n:meros complejos, con la suma, tiene estructura de %rupo abeliano con B de
elemento neutro y los opuestos como sim#tricos Contiene como sub%rupos, entre otros, a todos los %rupos
anteriores' +K, I, +Z, I, y a +R, I,
/N, I0 no es %rupo por carecer de sim#tricos +no contiene a los n:meros ne%ativos,
).!.2 G&u.os #'li#nos -ulti.lic#ti1os d' nG-'&os
/J, E0 F 4` `` ` el conjunto de los n:meros racionales, con el producto, tiene estructura de %rupo abeliano con 5
de elemento neutro y los inversos como sim#tricos $e eAcluye el B por carecer de inverso Contiene, entre
otros sub%rupos, a los formados por las potencias de eAponente entero de un determinado n:mero racional
/R, E0 F 4` `` ` el conjunto de los n:meros reales, con el producto, tiene estructura de %rupo abeliano con 5 de
elemento neutro y los inversos como sim#tricos $e eAcluye el B por carecer de inverso Contiene como
sub%rupo, entre otros, a +K, P, C B`
/C, E0 F 4` `` ` el conjunto de los n:meros complejos, con el producto, tiene estructura de %rupo abeliano con 5
de elemento neutro y los inversos como sim#tricos $e eAcluye el B I BPi por carecer de inverso Contiene
como sub%rupos, entre otros, a +K, P, C B`y a +R, P, C B`
/N, E0 /H, E0 no son %rupos por carecer de sim#tricos +no contienen a los n:meros fraccionarios,
).!.! G&u.o d' l#s (uncion's in1'&til's
&l conjunto formado por todas las funciones biyectivas A A f : definidas en un mismo conjunto con la
composicin de funciones como operacin, tiene estructura de %rupo no abeliano en el que la funcin identidad
i +A, / A es el elemento neutro y el sim#trico de cada funcin es su funcin rec.proca +tambi#n llamada
inversa,
).!.% G&u.os #'li#nos #diti1os d' l#s -#t&ic's con un -is-o o&d'n
&l conjunto formado por todas las matrices de un mismo orden +mAn, con la suma de matrices tiene
estructura de %rupo abeliano en el que la matri* nula de orden +mAn, es el elemento neutro y el sim#trico de
cada matri* ser su opuesta
).!.) G&u.o -ulti.lic#ti1o d' l#s -#t&ic's cu#d&#d#s &'8ul#&'s con un -is-o o&d'n
&l conjunto formado por todas las matrices cuadradas de un mismo orden +nAn, que sean re%ulares, esto es,
que por tener determinante distinto de cero tienen inversa, con el producto de matrices tiene estructura de
%rupo no abeliano en el que la matri* identidad I
n
es el elemento neutro y el sim#trico de cada matri* ser su
inversa

).% Ej'-.los d' 8&u.os (initos
).%.1 G&u.os d' l#s &#$c's d' l# unid#d
"l reali*ar las ra.ces cuadradas, c:bicas, en#simas del n:mero 5, se obtienen n n:meros complejos que
forman un %rupo respecto del producto Resultan %rupos c.clicos %enerados por 5
<[Sn
Reciben el nombre de C
n
;as ra.ces cuadradas' C
<
/ 5, C5` con 35 como %enerador +C5,
5
/ 5 +C5,
<
/ 5
;as ra.ces c:bicas' C
?
/ 5, 5
<[S?
, 5
@ [S?
` con 5
<[S?
como %enerador
;as ra.ces cuartas' C
@
/ 5, i, C5, Ci` que es un %rupo ya visto antes y tiene como %enerador a i / 5
[S<
'
i
5
/ i i
<
/ C5 i
?
/ Ci i
@
/ 5
;a tabla que aparece en el ep.%rafe de %rupos c.clicos es el %rupo de las ra.ces quintas, %enerado por % / 5
<[SF

;as ra.ces en#simas C
n
/ 5, 5
<[Sn
, 5
@[Sn
, , 5
<[+nC5,Sn
` con 5
<[Sn
como %enerador
;os sub%rupos de estos %rupos dependen de los divisores de n -or ejemplo, C
D
contiene como sub%rupos
propios a C
<
y a C
?

17
).%.2 G&u.os #'li#nos #diti1os d' l#s cl#s's d' &'stos -dulo -
-ara cualquier valor de m el conjunto de las clases de restos mdulo m forma siempre un %rupo aditivo
-or ejemplo las clases de restos mdulo F'
&l %rupo es G / B, 5, <, ?, @` en que cada cifra
representa la clase a la que pertenece dicho
n:mero
I B 5 < ? @
B B 5 < ? @
5 5 < ? @ B
< < ? @ B 5
? ? @ B 5 <
@ @ B 5 < ?

;a tabla est construida operando en mdulo F -or
ejemplo'
? I @ / G en la suma tradicional
? clase?
@ clase@
G clase< +dividiendo G entre F, el resto es <,

&ntonces' cl#s'! I cl#s'% K cl#s'2
y lo resumimos con' ! I % K 2
$e trata de un %rupo ya que B es elemento neutro, se cumple la asociativa +por cumplirse en Z, y todos los
elementos tienen sim#trico +5 y @ sim#tricos, < y ? sim#tricos B sim#trico de s. mismo, &s abeliano por ser
conmutativa la suma en Z

).%.! G&u.os #'li#nos -ulti.lic#ti1os d' l#s cl#s's d' &'stos -dulo -
&n todos los casos eAcluiremos la clase B ya que carece de sim#trico -ero esto ya suced.a en los %rupos
multiplicativos de los conjuntos de n:meros racionales, reales o complejos
" diferencia de los aditivos, no todas las clases de restos en un cierto mdulo m forman un %rupo 7epender
de que m sea o no un n:mero primo
4eamos las clases de restos mdulo F y mdulo D como ejemplos de m primo y compuesto'
&n -dulo ) tenemos G / 5, <, ?, @`
+ntese que hemos eAcluido la clase B,
P 1 2 ! %
1 5 < ? @
2 < @ 5 ?
! ? 5 @ <
% @ ? < 5
&n esta operacin vemos que 5 es el elemento neutro
< y ? son sim#tricos
5 y @ son sim#tricos de s. mismos
;a asociativa se cumple por cumplirse en Z
;ue%o +G, P, es un %rupo multiplicativo
"l ser conmutativa la multiplicacin en Z el %rupo ser
abeliano
&n -dulo * tenemos G / 5, <, ?, @, F`
+ntese que hemos eAcluido la clase B,
P 1 2 ! % )
1 5 < ? @ F
2 < @ B < @
! ? B ? B ?
% @ < B @ <
) F @ ? < 5
5 ser.a el elemento neutro
4emos que la operacin no est cerrada ya que aparece el B
<, ? y @ no tienen sim#tricos
;ue%o G no forma un %rupo
Curiosamente 5, F` s. forma un %rupo multiplicativo en
mdulo D
).%.% G&u.os d' l#s si-'t&$#s d' un# (i8u&# .l#n#
Convendremos en llamar en %eneral simetr.as de una fi%ura plana a los movimientos propios +%iros en torno a
un punto, e impropios +refleAiones en torno a una recta, que convierten la fi%ura en otra superponible a la
ori%inal, es decir, que la dejan invariante
$e puede estudiar para multitud de fi%uras planas en las que eAista al%:n centro o eje de simetr.a ;as ms
habituales son las si%uientes'
).%.%.1 G&u.o d' l#s si-'t&$#s d'l &'ct:n8ulo6 3
2

;os elementos del %rupo son los movimientos que podemos hacer al
rectn%ulo manteni#ndole superponible a su posicin ori%inal
$on cuatro'
Giro de 5HB) +lo llamaremos %,
Giro de ?DB) + tambi#n B), +lo llamaremos 5,
RefleAin en torno al eje de simetr.a vertical +lo llamaremos v,
RefleAin en torno al eje de simetr.a hori*ontal +lo llamaremos h,
v
h
g
5H
-ara estudiar cada movimiento debemos identificar los v#rtices y se9alar cmo quedan despu#s del
movimiento, la posicin inicial ser la misma siempre
;a operacin del %rupo ser la composicin de movimientos Componer dos movimientos si%nificar reali*ar el
primero para, a continuacin, concatenar el se%undo $i se hace un se%uimiento de cmo quedan los v#rtices al
final, deduciremos que dicha composicin equivale a un movimiento simple
-or ejemplo, % Mh si%nificar hacer primero el %iro de 5HB) y despu#s la refleAin hori*ontal 4isto que el
resultado final es el mismo que el de la refleAin v, se deduce que % Mh / v

Reali*adas todas las composiciones se obtiene la
si%uiente tabla'

M 5 % v h
5 5 % v h
% % 5 h v
v v h 5 %
h h v % 5
&l elemento neutro es el %iro de ?DB) que por
comodidad hemos llamado 5
4emos que resulta un %rupo abeliano llamado 8&u.o
di5d&ico 3
2

Contiene a los si%uientes sub%rupos propios'
5, %` 5, v` 5, h`
$alvo isomorfismos los :nicos %rupos con cuatro
elementos son 3
2
y C
%

).%.%.2 G&u.o d' l#s si-'t&$#s d'l t&i:n8ulo '=uil:t'&o6 3
!

;os elementos del %rupo son los movimientos que podemos hacer al trin%ulo
equiltero manteni#ndole superponible a su posicin ori%inal
$on seis'
Giro de 5<B) +lo llamaremos %,
Giro de <@B) +lo llamaremos %
<
,
RefleAiones en torno a las tres mediatrices' a, b, c

1 2

4 3
3 4

2 1
g h
2 1

3 4
v
1 2

4 3
3 4

2 1
g
180

1 2

4 3
1 2

4 3
1
1 2

4 3
2 1

3 4
v
1 2

4 3
4 3

1 2
h
a
b
c
5E
si%uiente tabla'
M 1 8 8
2
# c
1 5 % %
<
a b c
8 % %
<
5 b c a
8
2
%
<
5 % c a b
# a c b 5 %
<
%
b a c % 5 %
<

c c b a %
<
% 5

&l elemento neutro es el %iro de ?DB) que por comodidad
hemos llamado 5
4emos que resulta un %rupo llamado 8&u.o di5d&ico 3
!

&ste es el %rupo no abeliano con el menor n:mero de
elementos y es isomorfo al que aparece en el ep.%rafe
).1
5, a` 5, b` 5, c` 5, %, %
<
`
+#ste :ltimo es c.clico isomorfo a C
?
,

).%.%.! G&u.o d' l#s si-'t&$#s d'l cu#d&#do6 3
%

;os elementos del %rupo son los movimientos que podemos hacer al cuadrado
manteni#ndole superponible a su posicin ori%inal
$on ocho'
Giro de EB) +lo llamaremos %,
Giro de 5HB) +lo llamaremos %
<
,
Giro de <GB) +lo llamaremos %
?
,
RefleAiones en torno a las dos mediatrices' v, h
RefleAiones en torno a las dos dia%onales' 7, d

si%uiente tabla'
M 5 % %
<
%
?
h v d 7
5 5 % %
<
%
?
h v d 7
% % %
<
%
?
5 7 d h v
%
<
%
<
%
?
5 % v h 7 d
%
?
%
?
5 % %
<
d 7 v h
h X d v 7 5 %
<
% %
?

v 4 7 h d %
<
5 %
?
%
d 7 v 7 h %
?
% 5 %
<

7 7 h d v % %
?
%
<
5
&l elemento neutro es el %iro de ?DB) que por comodidad
hemos llamado 5
4emos que resulta un %rupo llamado 8&u.o di5d&ico 3
%

&s un %rupo no abeliano
5, h` 5, v` 5, d` 5, 7` 5, %
<
`
5, %, %
<
, %
?
` 5, %
<
, d, 7` 5, %
<
, v, h`

).%.) G&u.os d' l#s .'&-ut#cion's d' n oj'tos6 S
n

7el estudio de estos %rupos es de donde ha partido la teor.a de %rupos moderna
;as permutaciones de n n:meros nos ayudarn a indicar cmo son los movimientos, pero no son propiamente
los elementos del %rupo ;os elementos de estos %rupos sern los movimientos que reordenen listas de
objetos
;as permutaciones las escribiremos siempre partiendo de un mismo orden +el num#rico o el alfab#tico,
indicando debajo la nueva ordenacin'
-or ejemplo las permutaciones de tres elementos' 5<?, 5?<, <5?, <?5, ?5<, ?<5 las escribiremos as.'
|
|
\
|
=
3 2 1
3 2 1
e
|
|
\
|
=
1 3 2
3 2 1
a
|
|
\
|
=
2 1 3
3 2 1
b
|
|
\
|
=
2 3 1
3 2 1
c
|
|
\
|
=
1 2 3
3 2 1
d
|
|
\
|
=
3 1 2
3 2 1
f
Cada una de estas permutaciones indica la reordenacin de una lista de tres objetos &l elemento'
|
|
\
|
=
1 2 3
3 2 1
d mantendr.a la posicin del se%undo objeto e intercambiar.a el primero y el tercero
&l %rupo entonces lo formaremos con estos seis elementos' G / e, a, b, c, d, f`
;a operacin ser la composicin +concatenacin, de movimientos &s decir que se reali*a un movimiento
reordenando los objetos que ya haya reordenado otro movimiento $e empie*a con la permutacin que se
escribe en se%undo lu%ar
v
h
d D
<B
4eamos por ejemplo la operacin b Md &l movimiento de la permutacin d mantiene el elemento central e
intercambia el 5) y ? -or lo que hasta ahora tendr.amos'
|
|
|
\
|
1 2 3
3 2 1

&l movimiento de la permutacin b pasa el primer objeto al centro, el <) al final y el :ltimo al principio Como
los objetos que encuentra son ( ) 1 2 3 los reordena como ( ) 2 3 1
Como la permutacin
|
|
\
|
=
2 3 1
3 2 1
c es la que reali*a este movimiento deducimos que b Md / c
1odo este proceso se visuali*a as.' b Md /
|
|
\
|
2 1 3
3 2 1
M
|
|
\
|
1 2 3
3 2 1
/
|
|
|
\
|
2 3 1
1 2 3
3 2 1
/ c
Reali*adas todas las composiciones resulta la tabla'
C ' # c d (
' e a b c d f
# a b e d f c
b e a f c d
c c f d e b a
d d c f a e b
( f d c b a e
;a operacin est cerrada, ya que se obtienen
e es el elemento neutro
a, b son sim#tricos uno del otro
e, c, d, f son sim#tricos de s. mismos
&li%iendo todos los tr.os posibles, se demostrar.a
que se cumple la propiedad asociativa
&l %rupo recibe el nombre de 8&u.o si-5t&ico S
!

Lo se cumple la propiedad conmutativa, v#ase cmo
a Mc / d mientras que c Ma / f
Resulta una tabla similar a la del %rupo di#drico de D elementos no abeliano ya visto $e dice entonces que
S
!
's iso-o&(o #l 8&u.o di5d&ico 3
!

Contiene a los sub%rupos de orden dos' e, c` e, d` e, f` y al sub%rupo de orden tres e, a, b`
;as permutaciones e, a, b reciben el nombre de permutaciones pares y las restantes c, d, f impares
7e forma similar, se pueden estudiar las permutaciones de n elementos resultando los 8&u.os si-5t&icos
S
n
, que tienen obviamente n \ elementos Cada uno de ellos contiene, entre otros, al sub%rupo c.clico
formado por los
2
! n
elementos pares, al que se denomina %rupo #lt'&n#do
).%.).1 Not#cin d' ciclos
&Aiste otra notacin ms compacta de las permutaciones, llamada notacin de ciclos Un ciclo de lon%itud ;
es una permutacin que intercambia c.clicamente ; elementos y fija los restantes
&ntre par#ntesis aparecern escritos varios elementos, se entender entonces que el se%undo elemento es
la ima%en del primero, el tercero la ima%en del se%undo, y se%uimos as. hasta el :ltimo cuya ima%en es el
primero $i hay otros elementos que no aparecen escritos en el ciclo, se entender que son im%enes de s.
mismos &sta notacin revela mejor la estructura interna de la permutacin
-or ejemplo, el ciclo +5 ? F D, equivale a la permutacin'
|
|
\
|
1 6 4 5 2 3
6 5 4 3 2 1

&s posible que una permutacin conten%a ms de un ciclo 7e ser as., se escriben, unos a continuacin de
otros, varios ciclos entre par#ntesis, y se actuar.a de la misma manera
-or ejemplo, la notacin c.clica +5 ? F D,+< @, equivale a la permutacin'
|
|
\
|
1 6 2 5 4 3
6 5 4 3 2 1

O viceversa $i queremos descomponer una permutacin en ciclos disjuntos, empe*ar.amos con cualquier
elemento ;o escribimos, a su derecha escribimos su ima%en, a la derecha de esta, la ima%en de su ima%en,
y se%uimos as. hasta que se complete un ciclo ;ue%o co%emos cualquier elemento no contenido en el primer
ciclo, volvemos a escribir su ima%en a su derecha, y continuamos hasta completar el se%undo ciclo &l
<5
proceso contin:a hasta que la permutacin entera ha quedado descrita como producto de ciclos disjuntos
$i al%:n elemento fuese ima%en de s. mismo, no es necesario eAplicitarlo como ciclo de un elemento
-or ejemplo, la permutacin'
|
|
\
|
6 1 2 5 4 3
6 5 4 3 2 1
equivale a la notacin c.clica' +5 ? F,+< @,
;a descomposicin reali*ada por el procedimiento anterior no es :nica en principio, pues de haber
empe*ado por otros elementos, podr.amos haber obtenido otros resultados equivalentes'
-or ejemplo, la permutacin'
|
|
\
|
6 1 2 5 4 3
6 5 4 3 2 1
tambi#n equivale a la notacin c.clica' +@ <,+F 5 ?,
;a descomposicin c#nnic# de una permutacin como producto de ciclos se obtiene colocando en primer
lu%ar de cada ciclo el n:mero ms peque9o del mismo -osteriormente se procede a la colocacin de los
ciclos, colocando primero el ciclo cuyo primer elemento sea menor ]recuentemente, suelen omitirse los
ciclos de lon%itud 5 "s. la permutacin +5 ?,+<,+@ F, se escribe simplemente como +5 ?,+@ F,
$i quisi#semos hallar el orden de determinada permutacin, es decir, el m.nimo n:mero de veces que
tuvi#semos que componer una permutacin consi%o misma para obtener la permutacin identidad, se puede
aplicar el si%uiente teorema'
) , .... , .( . . ) (
1 m
l l m c m p orden =
$i llamamos
m
l l , .... ,
1
a la lon%itud de los ciclos en que est# descompuesta la permutacin, su orden
coincidir con su m.nimo com:n m:ltiplo
&jemplo' Xalla el orden de la permutacin'
|
|
\
|
=
3 6 1 2 5 4
6 5 4 3 2 1
p
-rimero obtenemos su notacin c.clica' +5 @,+< F D ?, &l primer ciclo tiene lon%itud < y el se%undo @
-or lo tanto su orden es @ &sto si%nifica que p
@
resulta el elemento neutro
).) Lo-o-o&(is-o d' G&u.os
Xemos visto hasta ahora ejemplos de %rupos en los que se pod.a observar %ran parecido entre sus tablas
de Cayley reconociendo la misma estructura aplicada a elementos y operaciones distintas &n primer lu%ar
definiremos el homomorfismo de %rupos, para terminar con lo que se denomina isomorfismo
;a definicin de homomorfismo es la que si%ue'
) ( ) ( ) ( , | : ) , ( a homomorfo es ) , (
2 1 2 1 2 1
x f x f x x f G x x H G f H G o o =
;a funcin f recibe el nombre Bo-o-o&(is-o entre los %rupos G y X
&l homomorfismo se construir de manera distinta se%:n sean los %rupos finitos o infinitos 7e ser finitos
el homomorfismo ser simplemente una tabla mientras de ser infinitos definir.amos una funcin
&jemplo' 7emuestra que la funcin definida entre el %rupo aditivo de los n:meros reales y el %rupo
multiplicativo de los n:meros reales eAcluido el cero ( ) { } ( ) + , 0 , : f con
x
e x f = ) ( , es un
homomorfismo
) ( ) ( ) (
2 1 2 1
2 1 2 1
x f x f e e e x x f
x x x x
+ = = = +
+

).).1 3'(inicin d' NGcl'o ' i-#8'n d' un Bo-o-o&(is-o
1odos aquellos elementos de G cuya ima%en mediante el homomorfismo f sea el elemento neutro de X +al
que llamaremos
H
e , forman un subconjunto de G llamado nGcl'o del homomorfismo y se escribe ^er+f,
{ }
H
e x f G x f Ker = = ) ( | ) (
1odos aquellos elementos de X que sean ima%en de al%:n elemento de G mediante el homomorfismo f
forman un subconjunto de X llamado i-#8'n del homomorfismo y se escribe Im+f,
{ } y x f G x H y f = = ) ( , | ) Im(
<<
).).2 P&o.i'd#d's d' los Bo-o-o&(is-os .#&# 'l 'l'-'nto n'ut&o @ los 'l'-'ntos si-5t&icos
T'o&'-#' &n todo homomorfismo, la ima%en del elemento neutro
G
e de ) , ( G es el elemento neutro
H
e
de ) , ( o H &s decir, que
H G
e e f = ) (
7emostracin'
H G G G G
e e f e f x f x f e f x f e x f G x = = = ) ( ) ( ) ( ) ( ) ( ) ( ) ( ,
) 3 ( ) 2 ( ) 1 (
o o
+5,' 7efinicin de Xomomorfismo
+<,' -ropiedad del elemento neutro en G
+?,' "l ser X un %rupo, podemos simplificar f+A,

T'o&'-#6 &n todo homomorfismo, la ima%en del sim#trico de cualquier elemento de G es sim#trica de la
ima%en de dicho elemento &s decir, que ( )
1 1
) ( ) (

= x f x f 2, dicho de otra forma, que ) (x f y
) (
1
x f son sim#tricos
7emostracin'
= = =
= = =

H G
H G
e e f x x f x f x f
e e f x x f x f x f
G x
) 3 ( ) 2 (
1
) 1 (
1
) 3 ( ) 2 (
1
) 1 (
1
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
,
o
o
) (x f y ) (
1
x f son sim#tricos

+5,' 7efinicin de Xomomorfismo
+<,' -ropiedad de los elementos sim#tricos en G
+?,' "nterior demostracin

).).! T'o&'-#6 El NGcl'o d' un Bo-o-o&(is-o 's su8&u.o d'l 8&u.o inici#l ) , ( G
7emostracin'
7emostraremos que el n:cleo de un homomorfismo cumple la condicin necesaria y suficiente de los
sub%rupos' ( ) ( ) ( ) ) ( ) ( , , de subgrupo es ), (
1
2 1 2 1
f Ker x x f Ker x x G f Ker

( ) ( ) = = =
= = =
=

, de subgrupo es ), ( ) ( ) ( ) ( ) (
) ( ) (
) (
) ( ,
) 6 (
1
2 1
) 1 ( ) 5 (
1
2 1
1
2 1
) 4 (
) 4 (
) 3 (
1 1
2
) 2 (
2
1
) 1 (
2 1
G f Ker f Ker x x e e e x f x f x x f
e e x f e x f
e x f
f Ker x x
H H H
H H H
H
o o

+5,' 7efinicin de L:cleo de un homomorfismo +@,' 7efinicin de Xomomorfismo
+<,' "nterior demostracin sobre sim#tricos +F,' -ropiedad del elemento neutro
+?,' ;os elementos neutros son sim#tricos de s. mismos +D,' Condicin necesaria de los sub%rupos

).).% T'o&'-#6 L# I-#8'n d' un Bo-o-o&(is-o 's su8&u.o d'l 8&u.o (in#l ) , ( o H
7emostracin'
7emostraremos que la ima%en de un homomorfismo cumple la condicin necesaria y suficiente de los
sub%rupos' ( ) ( ) ( ) ) Im( ) Im( , , de subgrupo es ), Im(
1
2 1 2 1
f y y f y y H f

o o o

( ) ( ) o o o o o , de subgrupo es ), Im( ) Im( ) ( ) ( ) (
) ( ) ( |
) ( |
) Im( ,
) 4 (
1
2 1
) 1 (
1
2 1
1
2 1
1
2 1
) 3 (
) 3 (
1
2
1
2
) 2 (
2 2 2
1 1 1
) 1 (
2 1
H f f y y y y x f x f x x f
y x f y x f G x
y x f G x
f y y
= =
= =
=

+5,' 7efinicin de Ima%en de un homomorfismo
+<,' "nterior demostracin sobre sim#tricos
+?,' 7efinicin de Xomomorfismo
+@,' Condicin necesaria de los sub%rupos
<?
1odos estos teoremas pueden ser :tiles para construir un homomorfismo entre dos %rupos o para
demostrar que un %rupo no es homomorfo a otro
&jemplo' Construye un homomorfismo entre
6
Z , el %rupo aditivo de las clases de restos mdulo D, y
3
C , el
%rupo multiplicativo que las ra.ces c:bicas de la unidad
1enemos entonces' { } 5 , 4 , 3 , , 2 , 1 , 0
6
= Z y { } b a C , , 1
3
= siendo
3
2
1

= a y
3
4
1

= b
$abemos que la ima%en del elemento neutro de
6
Z debe ser el elemento neutro de
3
C -or lo tanto' 1 ) 0 ( = f
Como ? es sim#trico de s. mismo en
6
Z , su ima%en debe ser tambi#n un elemento
sim#trico de s. mismo &l :nico de
3
C que lo cumple es 5 -or lo tanto' 1 ) 3 ( = f
Como 5 y F son sim#tricos, sus respectivas im%enes deben ser tambi#n sim#tricas
$i optamos porque a f = ) 1 ( , nos obli%ar.a a que b f = ) 5 (
"l%o similar sucede con < y @, que tambi#n son sim#tricos $i decidimos que
b f = ) 2 ( , nos obli%ar.a a que a f = ) 4 (
Kuedar entonces'
6
Z
3
C
x
) (x f
B 5
5 a
< b
? 5
@ a
F b
_nicamente queda comprobar que es un homomorfismo &s decir que' ) ( ) ( ) (
2 1 2 1
x f x f x x f = + para
todas las parejas de elementos de
6
Z "l ser la suma una operacin conmutativa, slo haremos la mitad de
los clculos "dems, se pueden tratar de una sola ve* todas las parejas en las que uno de los elementos es
el neutro 4eamos todo ello'
)
`
= =
= +
) ( ) ( 1 ) ( ) 0 (
) ( ) 0 (
x f x f x f f
x f x f

)
`
= =
= = +
b a a f f
b f f
) 1 ( ) 1 (
) 2 ( ) 1 1 (

)
`
= =
= = +
1 ) 2 ( ) 1 (
1 ) 3 ( ) 2 1 (
b a f f
f f

)
`
= =
= = +
a a f f
a f f
1 ) 3 ( ) 1 (
) 4 ( ) 3 1 (

)
`
= =
= = +
b a a f f
b f f
) 4 ( ) 1 (
) 5 ( ) 4 1 (

)
`
= =
= = +
1 ) 5 ( ) 1 (
1 ) 0 ( ) 5 1 (
b a f f
f f

)
`
= =
= = +
a b b f f
a f f
) 2 ( ) 2 (
) 4 ( ) 2 2 (

)
`
= =
= = +
b b f f
b f f
1 ) 3 ( ) 2 (
) 5 ( ) 3 2 (

)
`
= =
= = +
1 ) 4 ( ) 2 (
1 ) 0 ( ) 4 2 (
a b f f
f f

)
`
= =
= = +
a b b f f
a f f
) 5 ( ) 2 (
) 1 ( ) 5 2 (

)
`
= =
= = +
1 1 1 ) 3 ( ) 3 (
1 ) 0 ( ) 3 3 (
f f
f f

)
`
= =
= = +
a a f f
a f f
1 ) 4 ( ) 3 (
) 1 ( ) 4 3 (

)
`
= =
= = +
b b f f
b f f
1 ) 5 ( ) 3 (
) 2 ( ) 5 3 (

)
`
= =
= = +
b a a f f
b f f
) 4 ( ) 4 (
) 2 ( ) 4 4 (

)
`
= =
= = +
1 ) 5 ( ) 4 (
1 ) 3 ( ) 5 4 (
b a f f
f f

)
`
= =
= = +
a b b f f
a f f
) 5 ( ) 5 (
) 4 ( ) 5 5 (

-or lo tanto, ( ) + ,
6
Z es homomorfo a ( ) , G
).* Iso-o&(is-o d' G&u.os
Oa hab.amos encontrado ejemplos de %rupos en los que se pod.a observar %ran parecido entre sus tablas
de Cayley &ste parecido se puede sistemati*ar de tal manera que podamos tener estudiados de manera
abstracta todos los %rupos posibles, para que cuando encontremos cualquier ejemplo de %rupo con
elementos y operacin concretas, tendr la misma forma que uno de los %rupos ya estudiados de manera
abstracta &sto si%nificar que haya un emparejamiento unoCuno +es decir, una biyeccin, de los elementos
de ambos %rupos de tal manera que si en la tabla del primer %rupo sustituy#semos cada elemento por su
respectiva pareja, apareciese la misma tabla del <) %rupo &sta funcin biyectiva es la que se denomina
isomorfismo y, de eAistir, diremos que los %rupos son isomorfismo -ara dos %rupos isomorfos no eAiste un
:nico isomorfismo posible, normalmente se podr construir de diversas formas ;as distintas variantes
tendrn en com:n lo ya visto para los homorfismos, que aparecern emparejados los elementos neutros y
que, teniendo emparejados dos elementos, estarn emparejados sus sim#tricos respectivos 1ambi#n, como
demostraremos despu#s, aparecern emparejados elementos con el mismo orden
;a definicin es la que si%ue'
( ) ( ) ) ( ) ( ) ( , | : ) (biyectiva , a isomorfo es ,
2 1 2 1 2 1
x f x f x x f G x x H G f H G o o =
;a funcin f recibe el nombre iso-o&(is-o entre los %rupos G y X
<@
&jemplo'
&l %rupo multiplicativo de las clases de restos
-dulo )'
G / 5, <, ?, @`
A
F
1 2 ! %
1 5 < ? @
2 < @ 5 ?
! ? 5 @ <
% @ ? < 5

&l %rupo multiplicativo de ra.ces cuartas de la
unidad'
X / 5, i, C5, Ci`
P 1 i F1 Fi
1 5 i C5 Ci
i i C5 Ci 5
F1 C5 Ci 5 i
Fi Ci 5 i C5
&l isomorfismo se establece emparejando los cuatro elementos del primer %rupo con los cuatro del
se%undo %rupo &s obli%ado emparejar a los elementos neutros +5 con 5, as. como a los de orden dos
+sim#tricos de s. mismos, +@ con C i,

Un posible isomorfismo +hay ms opciones, es'

;a definicin de isomorfismo se refiere, como ejemplo, a que coinciden estos dos clculos'
f+< A @, / f+?, / 3 i
f+<, P f+@, / i P +3 5, / 3 i
7e cumplirse en todos los casos, ase%uraremos que, intercambiando en la tabla de multiplicar en mdulo F
los cuatro elementos del primer %rupo por sus parejas respectivas, aparecer la tabla de las ra.ces cuartas
de la unidad

).*.1 T'o&'-#6 El o&d'n d' un 'l'-'nto .'&-#n'c' in1#&i#l' .o& un iso-o&(is-o
&ste teorema nos ayudar en casos concretos a construir isomorfismos, ya que sabremos que tenemos que
emparejar elementos que ten%an el mismo orden
7ado un isomorfismo entre dos %rupos finitos, el orden de cada elemento del primer %rupo coincide con el
orden de su ima%en &s decir, que' ( ) ) ( orden ) orden( , x f x G x =
7emostracin'
4eamos primero que el orden de f+A, es menor o i%ual que el orden de A'
( ) ( ) ( ) ) ( orden ) ( orden ) ( orden ) ( ) ( ) ( ) (
) ( ) ( ) ( ) ( orden
) 1 ( ] [
) 3 ( ] [ ) 2 ( ) 1 (
x x f n x f e x f e x f x f x f
e x x x f e e f x f e x n x
H
n
H
n
H
n
H G
n
G
n
= =
= = = = =

o o o

+5,' 7efinicin de orden de un elemento en un %rupo +?,' 7efinicin de isomorfismo
+<,' "nterior demostracin sobre elementos neutros
4eamos ahora que el orden de A es menor o i%ual que el orden de f+A,'
( )
( ) ( ) ( ) ) ( orden orden orden ) (
) ( ) ( ) ( ) ( ) ( orden
) 1 ( ) 3 (
] [ ) 2 ( ] [ ) 1 (
x f x n x e x e x f
e x x x f e x f x f x f n x f
G
n
H
n
H
n
H
n
= =
= = =

o o o

+5,' 7efinicin de orden de un elemento en un %rupo +<,' 7efinicin de isomorfismo
+?,' Oa vimos que la ima%en mediante un homomorfismo del elemento neutro de un %rupo es el elemento neutro del otro %rupo
&s decir'
H G
e e f = ) ( "dems, como f es biyectiva, hay un :nico elemento cuya ima%en sea
H
e , por lo tanto,
G
n
e x = .
-or lo tanto x y ) (x f tienen el mismo orden
1

2

3

4
1

i

-1

- i
f

Relaciones de Conjuntos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Relaciones de Conjuntos

Cargado por

Copyright:

Formatos disponibles

Real Instituto de Jovellanos de Gijn Conjuntos, Relaciones y Grupos

También podría gustarte