Matemtica Discreta

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 , ) .

Una funcin S se llama

simplemente, homomorfismo, si

Si f es biyectiva, entonces f se denomina isomorfismo entre S y S , y se

dice que S y S son semigrupos isomorfos.

Semigrupos productos y cocientes

Sean (S1 , 1 ) y (S 2 , 2 ) semigrupos. Un nuevo semigrupo S = S1 S 2 ,
denominado producto directo de S1 y S 2 , se forma como sigue:
1. Los elementos de S provienen de S1 S 2 ; es decir, son pares
ordenados (a, b ) donde a S1 y b S 2 .
2. La operacin en S se define componente a componente; es decir,
(a, b) (a , b) = (a 1 a , b 2 b) .
Sea S un semigrupo y ~ una relacin de equivalencia en S . Recuerde que la
relacin de equivalencia ~ genera una particin de S en clases de
equivalencia. Tambin [a ] denota la clase de equivalencia que contiene al
elemento a S y que la coleccin de clases de equivalencia se denota por
S ~.
Suponga que la relacin de equivalencia ~ en S tiene la siguiente propiedad: Si
a ~ a y b ~ b , entonces ab ~ a b . Entonces, ~ se denomina relacin de
congruencia en S .
Adems, ahora es posible definir una operacin en clases de equivalencia por
[a] [b] = [a b] . Ms an esta operacin en S ~ es asociativa; por tanto, S ~
es un semigrupo.

S ~ bajo la operacin [a ] [b] = [a b] se denomina semigrupo cociente.

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,

G2. Existe un elemento neutro e G tal que e * g = g * e = g para todo

g G.

G3. Para todo elemento g G existe un elemento g 1 G , denominado

inverso de g , tal que g * g 1 = g 1 * g = e .
Si (G, *) es un grupo y la operacin binaria * posee la propiedad de que
g1 * g 2 = g 2 * g1 para todo g1 , g 2 G , que se llama propiedad conmutativa
diremos que (G, *) es un grupo conmutativo o abeliano.
Si G es un grupo con un nmero finito de elementos, G es un grupo finito y
el orden de G es el nmero de elementos en G y se simboliza G .
Ejemplos:

(Z , + )

es un grupo abeliano, donde Z es el conjunto de los nmeros

enteros.

Si Q es el conjunto de los nmeros racionales, (Q,

porque el elemento 0 Q y no posee inverso.

no es un grupo

Propiedades

Propiedad cancelativa por la derecha y por la izquierda en un grupo

Si (G, *) es un grupo, se tienen las siguientes propiedades:
i. De a * c = b * c se deduce a = b .
ii. De c * a = c * b se deduce a = b .

El elemento neutro de un grupo (G, *) es nico.

El elemento inverso de un elemento de g de un grupo (G, *) es nico.

Sea (G, *) un grupo y g G ; se tiene que g 1

En un grupo (G, *) se tiene que (a * b ) = b 1 * a 1 para todo a, b G .

( )

=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, + ) .

es un subgrupo de (Q, + ) y este a su vez, es un subgrupo de

(Q , ) es un subgrupo de (R , ) , donde Q
*

y R * son los conjuntos de

nmeros racionales y reales, respectivamente, de los que se ha
eliminado el cero.

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 .