Escolar Documentos
Profissional Documentos
Cultura Documentos
Unidad 6
Estructuras Algebraicas
Operaciones
Sea S un conjunto no vaco. Una operacin sobre S es una funcin * de S S
en S .
El conjunto S y una operacin * en S se denota por (S ,*) .
Ejemplos
La adicin (+ ) y la multiplicacin () son operaciones en N . Sin embargo, la
sustraccin ( ) y la divisin ( ) no son operaciones en N .
Semigrupos
Sea S un conjunto no vaco con una operacin. Entonces S se denomina
semigrupo si la operacin es asociativa. Si la operacin tambin tiene un
elemento identidad, S se denomina monoide.
Ejemplos
Considere los enteros positivos N . Entonces, ( N ,+ ) y ( N ,) son semigrupos
puesto que la adicin y la multiplicacin en N son asociativas.
Si adems se cumple la propiedad conmutativa, se dice que es un semigrupo
conmutativo.
Semigrupo libre
Sea A un conjunto no vaco. Una palabra w en A es una secuencia finita de
sus elementos. Por ejemplo, las siguientes expresiones son palabras en
A = {a, b, c}: u = ababbbb = abab 4 y v = baccaaaa = bac 2 a 4 (se escribe a 2 por a.a ,
a 3 por a.a.a y as sucesivamente). La longitud de una palabra w , denotada por
l (w) , es el nmero de elementos en w . As, l (w) = 7 y l (v ) = 8 .
La concatenacin de las palabras u y v en un conjunto A , se escribe u v o
uv , es una palabra obtenida al escribir los elementos de u seguidos por los
elementos de v . Por ejemplo, uv = abab 4 bac 2 a 4 = abab 5 ac 2 a 4 .
Ahora, sea F = F ( A) la coleccin de todas las palabras en A bajo la operacin
de concatenacin. Resulta evidente que para las palabras arbitrarias u , v , w ,
las palabras (uv )w y u (vw) son idnticas; simplemente consisten de los
elementos de u , v , w escritos uno despus del otro. As F con la operacin
)(
Matemtica Discreta
de concatenacin es un semigrupo; se denomina semigrupo libre de A , y los
elementos de A se denominan generadores de F .
Elemento identidad
Considere una operacin * en un conjunto S . Un elemento e en S se
denomina elemento identidad para * si, para cualquier elemento a en S ,
a *e = e*a = a .
Homomorfismo de semigrupos
Considere dos semigrupos (S , ) y
homomorfismo de semigrupos, o
f (a b ) = f (a ) f (b ) .
(S , ) .
Matemtica Discreta
Grupos
Definicin: Un conjunto G con una operacin binaria * en l definida se dice
que es un grupo si se cumplen las siguientes propiedades:
G1
La
operacin
binaria *
es
g1 * ( g 2 * g 3 ) = ( g 1 * g 2 ) * g 3 para todo g1 , g 2 , g 3 G .
asociativa,
esto
es,
(Z , + )
no es un grupo
Propiedades
( )
=g.
Matemtica Discreta
Subgrupos
Dado un grupo (G, *) y un subconjunto H de G , diremos que H es un
subgrupo de (G, *) y escribiremos (H , *) (G, *) , si H es un grupo con
respecto a la operacin * definida en G . Puesto que la operacin * es
asociativa en G, esta operacin tambin ser asociativa en cualquier
subconjunto H de G ; se tiene entonces que (H , *) es un subgrupo de (G, *)
si se cumplen las tres condiciones siguientes:
1. * es cerrada en H .
2. el elemento neutro de G pertenece a H .
3. si x H , su inverso, x 1 , tambin pertenece a H .
Cuando la operacin del grupo G sea conocida se utilizar la notacin H G
para indicar que H es un subgrupo de G .
Ejemplos:
(Z , + )
( R, + ) .
(Q , ) es un subgrupo de (R , ) , donde Q
*
Todo grupo (G, *) posee al menos dos subgrupos; stos son el subgrupo
formado por el elemento neutro de G y el subgrupo formado por todos los
elementos de G . Estos subgrupos de (G, *) reciben el nombre de subgrupos
impropios de (G, *) . Al resto de los subgrupos de un grupo se les denomina
subgrupos propios de (G, *) .
Para demostrar que H es un subgrupo (G, *) no es necesario demostrar que
se cumplen las condiciones 1, 2, 3 dadas anteriormente, basta con verificar que
se cumple la condicin siguiente:
Sea (G, *) u grupo y H un subconjunto de G , con H ; H es un subgrupo
de (G, *) si y slo si para todo x, y H , x * y 1 H .
Grupo producto
Si G1 y G2 son grupos, entonces G = G1 G2 es un grupo con la operacin
definida por (a1 , b1 )(a 2 , b2 ) = (a1 a 2 , b1b2 ) .
Matemtica Discreta
Clases laterales
Suponga que H es un subgrupo de G y a G , entonces el conjunto
Ha = {ha / h H } se denomina clase lateral derecha de H . (En forma
semejante, aH se denomina clase lateral izquierda de H )
Subgrupos normales
Un subgrupo H de G es un subgrupo normal si a 1 Ha H , para todo a G o
en forma equivalente, si aH = Ha , es decir si las clases laterales derechas e
izquierdas coinciden.
Grupo cociente
Sea H un subgrupo normal de un grupo G , entonces las clases laterales de
H forman un grupo bajo la multiplicacin de clases laterales: (aH )(bH ) = abH .
Este grupo se denomina grupo cociente y se denota G / H .