Beruflich Dokumente
Kultur Dokumente
2
a b
a a b
b b a
A modo de ejercitacin, te proponemos que intentes demostrar lo enunciado anteriormente, es decir, que el
producto cartesiano de dos grupos es tambin un grupo. Recuerda que si tienes dudas, puedes consultar al tutor.
Observacin: Si
1
y
2
son conmutativas entonces tambin es conmutativa. Te
proponemos que demuestres la propiedad anterior.
Analicemos ahora algunos ejemplos:
Sean los grupos finitos (G
1
;
1
) y (G
2
;
2
) dados por las siguientes tablas:
1
0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
Vamos a hallar el producto G
1
x G
2
y definir la operacin de modo que (G
1
x G
2
; ) sea grupo.
G
1
x G
2
= { (0 ; a) , (0 ; b) , (1 ; a) , (1 ; b) , (2 ; a) , (2 ; b) }
La operacin la indicamos en la siguiente tabla teniendo en cuenta que:
(x ; y) (z ; t) = (x
1
z ; y
2
t)
Por ejemplo, para saber cunto es (1 ; a) (2 ; b) hay que resolver: ( 1
1
2 ; a
2
b ) = ( 0 ; b)
y as con todos completamos la tabla:
(0 ; a) (0 ; b) (1 ; a) (1 ; b) (2 ; a) (2 ; b)
(0 ; a) (0 ; a) (0 ; b) (1 ; a) (1 ; b) (2 ; a) (2 ; b)
(0 ; b) (0 ; b) (0 ; a) (1 ; b) (1 ; a) (2 ; b) (2 ; a)
(1 ; a) (1 ; a) (1 ; b) (2 ; a) (2 ; b) (0 ; a) (0 ; b)
(1 ; b) (1 ; b) (1 ; a) (2 ; b) (2 ; a) (0 ; b) (0 ; a)
(2 ; a) (2 ; a) (2 ; b) (0 ; a) (0 ; b) (1 ; a) (1 ; b)
(2 ; b) (2 ; b) (2 ; a) (0 ; b) (0 ; a) (1 ; b) (1 ; a)
OBJETIVOS
Desarrollar la capacidad de identificar las estructuras discretas de la computacin
fundamentales, como son Grupos y Semigrupos.
Que el estudiante aprecie la importancia de los mtodos algebraicos aplicados y sus
aplicaciones.
Desarrollar la habilidad en el manejo algebraico de las estructuras de mdulo y sus
aplicaciones.
Desarrollar en el estudiante un pensamiento matemtico, en el que vayan a la par la
comprensin clara de los diferentes conceptos y una experiencia importante en la
modelacin y resolucin de problemas utilizando las tcnicas matemticas.
Desarrollar en los alumnos habilidades tanto para la comprensin de la demostracin de
teoremas como para la obtencin de conclusiones slidas a partir de hiptesis dadas y su
capacidad para idear demostraciones.
REFERENCIAS BIBLIOGRAFICAS
1. Kolman Bernard. Estructuras de Matemticas Discretas para la Computacin. Ed.
Prentice Hall Hispanoamericana. Mxico 2003.
2. Flix Garca Merayo. Matemtica Discreta. Thompson, Espaa 2005.
3. Richard Jonson Baugh. Matemticas Discretas. Prentice Hall. Mxico 1999.
4. Kenneth H. Rosen. Matemtica Discreta. Mc Graw Hill. Espaa 2004.