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

1
 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 (S , ) .

Una funcin S se llama
homomorfismo de semigrupos, o simplemente, homomorfismo, si
f (a b ) = f (a ) f (b ) .

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.

2
 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 asociativa, esto es,

g1 * ( g 2 * g 3 ) = ( g 1 * g 2 ) * g 3 para todo g1 , g 2 , g 3 G .

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, ) no es un grupo

porque el elemento 0 Q y no posee inverso.

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 ( ) 1
=g.

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

1

3
 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 , + ) es un subgrupo de (Q, + ) y este a su vez, es un subgrupo de

( R, + ) .

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

4
 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 .