PRESENTACION

En este trabajo estudiaremos algunos temas de las estructuras discretas de la

computacin que se utilizan en Teora de Codificacin y tambin en el estudio de
mquinas de estado finito, como por ejemplo los autmatas. Dichas mquinas,
reconocedoras de lenguajes, se usan en el diseo de compiladores y por ello es muy
importante trabajar con ellas.
Comencemos por retomar el concepto de operacin binaria cerrada , y de acuerdo a
las propiedades que cumpla le daremos un nombre a la estructura. Es as que
podr tratarse de semigrupo, semigrupo con neutro o grupo, y en algunos casos grupo
abeliano.














Sea A , : A o A es operacin binaria cerrada si es funcin.
O dicho de otra forma:
es operacin binaria cerrada en A si y slo si: a, b A : a b A

Recordemos: Qu es una Operacin Cerrada?...



Sea A ,, A
2
22
A es operacin binaria cerrada si es funcin. O
dicho de otra forma:
es operacin binaria cerrada en A si y slo si: a, b A : a b A



Recordemos tambin que las operaciones binarias cerradas se pueden denotar con el smbolo o cualquier otro,
como
, , , , ,
etc.

Por ejemplo, para indicar que en el conjunto A se ha definido la operacin binaria se escribe (A; )



A continuacin, daremos los nombres de algunas de las principales estructuras algebraicas que puede alcanzar un
conjunto en el que est definida una operacin binaria y cerrada.



Sea A y es una operacin binaria y cerrada definida en A.

Si adems es asociativa (A ; ) es SEMIGRUPO

Si adems tiene neutro (A ; ) es SEMIGRUPO CON NEUTRO Si
adems tiene simtrico
( es decir si TODOS los elementos poseen simtrico respecto de la operacin ) (A ; ) es GRUPO

En cualquiera de los casos anteriores, si adems es conmutativa entonces a la estructura que posea (A ; ) se le
agrega ABELIANO ( En honor al matemtico Niels HenrikAbel (1802-1829), quien entre otras cosas demostr la
insolubilidad de la quntica utilizando la teora de Grupos)

Si no recuerdas las propiedades mencionadas (asociativa, conmutativa, neutro, simtrico.


Veamos a continuacin varios Ejemplos:



Ejemplo 1: Indiquemos la estructura de ( R ; ).

Sabemos que la multiplicacin es cerrada en los reales es asociativa y tiene elemento neutro, que es el 1. Pero no
todos los nmeros reales tienen simtrico; en realidad hay slo uno que no tiene simtrico, que es el cero, lo cual es
suficiente para decir que no se cumple la propiedad de simtricos.
Por lo tanto la estructura que alcanza es SEMIGRUPO CON NEUTRO.
Pero la operacin multiplicacin es conmutativa, entonces la estructura completa ser:
SEMIGRUPO ABELIANO CON NEUTRO.


Ejemplo 2: Indiquemos la estructura de ( Z ; + ).

Sabemos que la suma es cerrada en los enteros, es asociativa y tiene elemento neutro, que es el 0. Tambin todos los
nmeros enteros tienen simtrico, que es el opuesto de cada uno. Por lo tanto la estructura que alcanza es
GRUPO, y como la suma es conmutativa, entonces la estructura completa ser: GRUPO ABELIANO.




GRUPO DE PERMUTACIONES O GRUPO
SIMTRICO S
3



Primero definimos el conjunto con el que vamos a trabajar:

Sea A = { f: X o X / f es funcin biyectiva} siendo X = { 1, 2, 3 }



Te animas a dar alguno de los elementos de este conjunto A?

Observ que son las funciones biyectivas definidas en el conjunto {1, 2,3}

Por ejemplo, una funcin de dicho conjunto podra ser la que asigna:
f(1) = 3 ; f(2) = 1 ; f(3) = 2

Cuntas hay en total?...


Como la funcin debe ser biyectiva, los valores 1, 2 y 3 deben aparecer exactamente una vez cada uno como
imagen. Por lo tanto, lo que puede cambiar de una funcin a otra es nicamente el orden en que aparecen. En la
funcin dada en el ejemplo anterior, el orden de las imgenes es: 3,1,2.
Tambin podra ser de otras formas.
La cantidad de ordenamientos posibles de una cierta cantidad de elementos distintos, se denomina permutacin
y se calcula como el factorial de dicho nmero.
En este caso hay tantas funciones como permutaciones de tres nmeros, es decir P
3
= 3! = 6
Vamos a encontrar las seis funciones que llamamos as: A = { f
1
, f
2
, f
3
, f
4
, f
5
, f
6
}:



X f
1
f
2
f
3
f
4
f
5
f
6

1 1 1 2 2 3 3
2 2 3 1 3 1 2
3 3 2 3 1 2 1





Es decir que la funcin que habamos nombrado antes es aqu la f
5
, ya que

f
5
(1) = 3 ; f
5
(2) = 1 ; f
5
(3) = 2



Sabiendo de qu se trata el conjunto, consideremos la operacin u que es la composicin de funciones, y vamos a
analizar si (A ; u) es un grupo.
Recuerdas cmo componer funciones?

Por ejemplo, para calcular f
2
u f
3
, significa aplicar primero f
3
y a continuacin f
2
.



f
3
f
2


1 2 3
2 1 1
3 3 2






Observamos que es lo mismo que aplicar directamente la funcin f
5
, o sea f
2
u f
3
= f
5


De la misma manera debemos ir componiendo todas.
Como el conjunto es finito, nos conviene hacer una tabla:




u f
1
f
2
f
3
f
4
f
5
f
6

f
1 f
1 f
2 f
3 f
4 f
5 f
6
f
2 f
2 f
1 f
5 f
6 f
3 f
4
f
3 f
3 f
4 f
1 f
2 f
6 f
5
f
4
f
4
f
3
f
6
f
5
f
1
f
2

f
5 f
5 f
6 f
2 f
1 f
4 f
3
f
6
f
6
f
5
f
4
f
3
f
2
f
1











Ya estamos en condiciones de comenzar a estudiar las propiedades:



1) Es operacin binaria y cerrada, pues todos los resultados de la composicin dieron elementos del mismo
conjunto.
2) La operacin es asociativa, pues lo es la composicin de funciones en general. Entonces como este es un
subconjunto sigue cumpliendo la propiedad.




Aqu lo demostraremos en general:

x Dom: >f (g h )~(x) = f >(g h)(x) ~ = f >(g ( h(x) )~ = ( f g ) > h(x) ~ = > (f g ) h ~(x)



3) La operacin no es conmutativa, pues por ejemplo, f
2
u f
3
= f
5
pero f
3
u f
2
= f
4
4) El elemento neutro es la funcin f
1
, que es la funcin identidad.

5) Los simtricos de los elementos son: f
1
= f
1
f
2
= f
2
f
3
= f
3
f
4
= f
5
f
5
= f
4
f
6
= f
6


Por lo tanto ( A ; u ) es un GRUPO y se lo llama S
3
. Es un grupo NO abeliano.



Ahora pensemos...
Si el conjunto X en vez de tener 3 elementos, tuviera otra cantidad n, cuntas funciones biyectivas habra?
En general cualquier Grupo S
n
tiene n! elementos.
Volveremos a considerar estos grupos luego de analizar algunas propiedades que nos van a resultar tiles y
prcticas para resolver problemas.



PROPIEDADES QUE SE CUMPLEN EN UN
GRUPO:


Sea (A; ) un grupo con neutro e. Entonces siempre se cumplen las siguientes propiedades:



1. El elemento neutro e es nico.

2. El elemento neutro es su propio simtrico: e' = e

3. Propiedad involutiva del simtrico: a A: (a')' = a

4. El simtrico de un elemento es nico.

5. a, b A: (a b )' = b' a'

6. Las ecuaciones a x = b y x a = b tienen solucin nica.

7. El nico elemento idempotente es el elemento neutro. Es decir, si a a = a a = e

8. a, b A: a= b b= a

i En la adicin de enteros, t odos los
elementos son regulares.
i En la multiplicacin de reales, todos excepto el cero son regulares.

i Consideremos la operacin triangulito en Q: x y = 3 (x + y)



Veamos si todos sus elementos son regulares. Como es conmutativa, lo hacemos solo a derecha, arrancando del
antecedente:
x a = y a 3 ( x + a) = 3 ( y + a) x + a = y + a x = y

Por lo tanto, son todos regulares.
Propiedad: en un grupo todos los elementos son regulares. Como en un grupo, todos los elementos tienen simtrico:
a * x = a * y a * a * x = a * a * y ( a * a ) * x = ( a * a ) * y e * x = e * y x
= y

Anlogamente se prueba a derecha.

Por ello, cuando trabajemos en un grupo, directamente vamos a poder usar la propiedad cancelativa, sin necesidad de
hacer todos los pasos involucrados (operar ambos miembros con el simtrico del elemento, asociar, obtener el neutro, y
por propiedad del neutro llegar la igualdad en la que ya no figura dicho elemento).

Pero si estamos trabajando en un semigrupo que no llega a ser grupo, podremos cancelar slo aquellos elementos
Que tiene simtrico.



Veamos algunos ejemplos:

1) En ( Z ; ) , los inversibles son solamente el 1 y el -1, pues los dems enteros no tienen inverso
entero.

2) En ( R ; ) , los inversibles son todos excepto
el cero.

3) En el conjunto de matrices cuadradas de nxn con elementos reales y la multiplicacin ( R
nxn
; ) , los
elementos inversibles son las llamadas matrices inversibles o regulares, es decir aquellas cuyo determinante es
distinto de cero.
4) En ( N
0
; + ) , el nico elemento inversible es el cero, ya que los dems no tienen su opuesto en este conjunto.

5) En ( Z
5
;X+ ) , los inversibles son todos X0, X1, X2, X3 y X4 , o sea todos.

6) En ( Z
6 ;
X ) , los inversibles son nicamente X1 y X5



En general: INV(Z
n
;X ) = { Xk / m.c.d.{k, n} = 1 1 o k o n-1 }


Propiedad:

Sea (A ; ) un semigrupo con neutro. Entonces (INV (A) ; ) es grupo y se lo llama Grupo de Inversibles del
semigrupo (A; ).
Con referencia al ejemplo 6 anterior, el conjunto {X1 ,X5 } es grupo multiplicativo.



Veamos su tabla:




X

X1

X5

X1

X1

X5

X5

X5

X1

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.