Matemática Discreta

Unidad 7

Estructuras Algebraicas

Operaciones

Sea S un conjunto no vacío. Una operación sobre S es una función * de S  S

en S .

El conjunto S y una operación * en S se denota por S ,* .

Ejemplos

La adición   y la multiplicación  son operaciones en N . Sin embargo, la

sustracción   y la división  no son operaciones en N .

Semigrupos

Sea S un conjunto no vacío con una operación. Entonces S se denomina

semigrupo si la operación es asociativa. Si la operación también tiene un
elemento identidad, S se denomina monoide.

Ejemplos

Considere los enteros positivos N . Entonces, N ,  y N , son semigrupos

puesto que la adición y la multiplicación en N son asociativas.

Si además se cumple la propiedad conmutativa, se dice que es un semigrupo

conmutativo.

Semigrupo libre

Sea A un conjunto no vacío. 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 número de elementos en w . Así, l w  7 y l v   8 .
La concatenación 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 colección de todas las palabras en A bajo la operación
de concatenación. Resulta evidente que para las palabras arbitrarias u , v , w ,
las palabras uv w y u vw son idénticas; simplemente consisten de los
elementos de u , v , w escritos uno después del otro. Así F con la operación

1
 Matemática Discreta

de concatenación es un semigrupo; se denomina semigrupo libre de A , y los

elementos de A se denominan generadores de F .

Elemento identidad

Considere una operación * 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 función f 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 operación  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 relación de equivalencia en S . Recuerde que la
relación de equivalencia ~ genera una partición de S en clases de
equivalencia. También a  denota la clase de equivalencia que contiene al
elemento a  S y que la colección de clases de equivalencia se denota por
S ~.

Suponga que la relación de equivalencia ~ en S tiene la siguiente propiedad:

Si a ~ a y b ~ b , entonces ab ~ ab . Entonces, ~ se denomina relación de
congruencia en S .

Además, ahora es posible definir una operación en clases de equivalencia por

a  b  a  b. Más aún esta operación en S ~ es asociativa; por tanto, S ~
es un semigrupo.

S ~ bajo la operación a  b  a  b se denomina semigrupo cociente.

2
 Matemática Discreta

Grupos

Definición: Un conjunto G con una operación binaria * en él definida se dice

que es un grupo si se cumplen las siguientes propiedades:

G1 La operación binaria es asociativa, esto es,

*
g1 * g 2 * g 3   g1 * 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 operación 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 número finito de elementos, G es un grupo finito y el

orden de G es el número de elementos en G y se simboliza G .

Ejemplos:

 Z ,  
es un grupo abeliano, donde Z es el conjunto de los números
enteros.

 Si Q es el conjunto de los números 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
 Matemática 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 operación definida
* en G . Puesto que la operación es asociativa
*
en G, esta operación también 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 , también pertenece a H .

Cuando la operación del grupo G sea conocida se utilizará la notación 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
*

números 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 condición siguiente:

Sea G, * u grupo y H un subconjunto de G , con H   ; H es un subgrupo

de G, * si y sólo 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 operación

definida por a1 , b1 a2 , b2   a1a2 , b1b2  .

4
 Matemática 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 multiplicación de clases laterales: aH bH   abH .
Este grupo se denomina grupo cociente y se denota G / H .