Problemas Resueltos

Matemtica Discreta
2004








El texto siguiente contiene problemas resueltos, seleccionados por las docentes de la
ctedra Matemtica Discreta, que muestran posibles soluciones a las situaciones
planteadas.

Lgica
Propuestos por Viviana Cmara

Problema N1
Considera el algoritmo que se transcribe a continuacin y responde las siguientes cuestiones:
a) Si se le asigna a N el valor 5, cul es el valor de salida de este algoritmo? y cul es la
cantidad de iteraciones que realiza?
b) Identifica y explicita las funciones proposicionales utilizadas en el algoritmo.
c) Si se cambia la estructura WHILE ... DO por REPEAT ... UNTIL, cmo se modifican
las expresiones lgicas en este algoritmo? y cul es la modificacin bsica que introduce
el uso de la estructura REPEAT ...UNTIL ?
d) En trminos generales (para cualquier N dentro del dominio de definicin) encuentra una
expresin matemtica asociada a este algoritmo. Escribe con tus propias palabras la tarea
que realiza el algoritmo.
e) Demuestra que la salida del algoritmo para cualquier N, es igual a
N
2
2 N
2
+

f) Reescribe el algoritmo en funcin de los resultados anteriores.

En este algoritmo se considera N perteneciente a Z
+
, es decir, que solamente funciona
correctamente para valores enteros positivos.
Algoritmo SoyIncgnito
BEGIN
READ(N)
I:= 1
Auxiliar := 1
Resultado := 0
WHILE I N DO
Auxiliar := Auxiliar * 2
Trmino :=
Auxiliar
I

Resultado := Resultado + Trmino
I := I + 1
ENDWHILE
WRITE (Dado , N, el resultado es ,Resultado)
END

Respuestas:
a) Para calcular el valor de salida considerando N = 5, es conveniente realizar lo que
denominamos una "prueba de escritorio". Para ello armamos una tabla con todas las
variables involucradas en el algoritmo y lo "ejecutamos" manualmente.

N I Auxiliar Trmino Resultado Condicin
(I N)
Nro. de
Iteracin
Observaciones
5 1 1 ?? 0 1 Asig. valores
Iniciales
2 2 1/2 1/2 1 1
3 4 1/4 1/2+2/4 1 2
4 8 1/8 1/2+2/4+3/8 1 3
5 16 1/16 1/2+2/4+3/8+4/16 1 4
6 32 1/32 1/2+2/4+3/8+4/16+5/32 0 5 Cond. falsa
Termina ciclo

En esta tabla observamos que el valor final de Resultado es:
1/2+2/4+3/8+4/16+5/32 = 1,78125 e itera 5 veces.
Si este algoritmo es escrito en un lenguaje de programacin entonces muestra en el
monitor lo siguiente: Dado 5 el resultado es 1,78125.
b) La funcin proposicional que utiliza es P(I, N) : I N.
c) Modificar la estructura de control implica la modificacin de la funcin
proposicional, la estructura REPEAT UNTIL utilizar P(I, N) : I > N, y la
modificacin fundamental que introduce es el hecho de que la secuencia de
instrucciones dentro de la nueva estructura se ejecuta al menos una vez. Sabemos
que con el WHILE DO existe la posibilidad de que la secuencia de instrucciones no
se ejecute nunca.
d) Para escribir en trminos matemticos la tarea realizada por el algoritmo debo
"mirar" lo siguiente:

Para I = 1 , se genera 1/2
Para I = 2 , se genera 2/4 = 2/2
2

Para I = 3 , se genera 3/8 = 3/2
3

Para I = 4 , se genera 4/16 = 4/2
4

Para I = 5 , se genera 5/32 = 5/2
5

Todas esos nmeros se suman. Para un N cualquiera, la expresin matemtica es:

N 3 2
2
N
.......... ..........
2
3
2
2
2
1
+ + + +

e) Debemos demostrar la siguiente igualdad:

N 3 2
2
N
.......... ..........
2
3
2
2
2
1
+ + + + =
N
2
2 N
2
+
N N
Demostraremos por Induccin .

Veamos el caso base: N = 1,
2
3
2
2
1
= , es decir la igualdad es verdadera pues
2
1
2
1
=

Planteamos la hiptesis inductiva para N = K

K 3 2
2
K
.......... ..........
2
3
2
2
2
1
+ + + + =
K
2
2 K
2
+



Para probar el paso inductivo N= K +1, primero plantemos la igualdad que debemos
demostrar,

1 K 3 2
2
1 K
.......... ..........
2
3
2
2
2
1
+
+
+ + + + =
1 K
2
3 K
2
+
+


Demostramos la igualdad, empezamos por el miembro izquierdo:
1 K K 3 2
2
1 K
2
K
.......... ..........
2
3
2
2
2
1
+
+
+ + + + + = (reemplazo por la hiptesis inductiva)
= +
+

+1 K K
2
1
2
2 K
2
|
|
.
|

\
| + +

+1 K
2
) 1 K ( ) 2 K ( 2
2 =
1 K
2
3 K
2
+
+
(que es lo que
queramos obtener)

f) Demostrada la validez de la igualdad, podemos reescribir el algoritmo, sin realizar las
sumas parciales.

Algoritmo SoyIncgnito
BEGIN
READ(N)
Resultado :=
N
2
2 N
2
+

WRITE (Dado ,N, el resultado es ,Resultado)
END

Algoritmo ms sencillo y ms eficiente que el anterior.

Problema N2
Dada la siguiente proposicin lgica
(p ( p ( q ( q t ) ) ( p q)

a) Dibuja la red de conmutacin que modela .
b) Explica porqu en esta red no pasa corriente de una terminal a otra.


a)







b)Para responder la cuestin planteada, debemos simplificar la expresin lgica:
(p ( p ( q ( q t ) ) ( p q)
(p ( p q ) (p q) Ley de absorcin y ley de De Morgan
(p p) (p q) (p q) Distributiva
F
0
(p q) (p q) Ley inversa
(p q) (p q) Ley de Identidad
F
0
Ley inversa
No pasa corriente porque esta expresin siempre es FALSA.


q
t
q
p
p
q
p
Combinatoria
Propuestos por Yanina Fumero

Problema N1
a) Cuntos nmeros enteros entre 2000 y 9999 inclusive tienen todos sus dgitos distintos?
b) De ellos, cuntos son impares?

Respuestas:
a) El problema equivale a determinar la cantidad de nmeros de cuatro cifras distintas que se
pueden formar con los dgitos 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9 sabiendo que la cifra de las unidades de
mil no puede ser inferior a 2.
Para la cifra de las unidades de mil se tienen 8 posibilidades, ya que se puede escoger cualquier
entero comprendido entre 2 y 9 inclusive. Luego de ser elegido el dgito que ocupa esta primer
cifra, para la cifra de las centenas se tienen 9 posibilidades, 7 resultantes de la primer eleccin y
los dgitos 0 y 1 que ahora podemos incorporar, lo cual hace un total de 9 dgitos disponibles. La
prxima cifra, la de las decenas, se puede seleccionar entre los 8 dgitos restantes, y
posteriormente la cifra de las unidades, entre los 7 restantes. Luego habr 8.9.8.7 = 4032
nmeros enteros entre 2000 y 9999 inclusive que tienen todos sus dgitos distintos.
b) Para determinar cuantos nmeros enteros entre 2000 y 9999 inclusive tienen todos sus dgitos
distintos y son impares, consideremos los siguientes dos casos excluyentes:
1) Nmeros que terminan en 1: se puede pensar como las distintas formas de completar
estas lneas 1. Para elegir el dgito que ocupe el lugar de las unidades de mil se
tienen, como antes, 8 posibilidades. Luego de ser elegido el dgito que ocupa este primer
lugar, para la cifra de las centenas tenemos 8 posibilidades, 7 resultantes de la primer
eleccin y el dgito 0 que ahora podemos incorporar, lo cual hace un total de 8 dgitos
disponibles. La prxima cifra, la de las decenas, se puede seleccionar entre los 7 dgitos
restantes. Luego habr 8.8.7 = 448 nmeros enteros entre 2000 y 9999 inclusive que
tienen todos sus dgitos distintos y terminan en uno.
2) Nmeros impares que no terminan en 1: como deseamos contar los nmeros impares
que no terminan en 1, para la cifra de las unidades se tienen 4 posibilidades, ya que
podemos elegir cualquier dgito entre 3, 5, 7 o 9. Luego, para la cifra de las unidades de
mil se tienen 7 posibilidades (los dgitos 0 y 1 no pueden ocupar este lugar y hay que
descontar el dgito elegido para las unidades); para la cifra de las centenas hay 8
posibilidades, 6 resultantes de la segunda eleccin y los dgitos 0 y 1 que ahora podemos
incorporar, lo cual hace un total de 8 dgitos disponibles. Por ltimo la cifra de las
decenas se puede seleccionar entre los 7 dgitos restantes. Luego habr 7.8.7.4 = 1568
nmeros enteros impares entre 2000 y 9999 inclusive que tienen todos sus dgitos
distintos y que no terminan en 1.

Luego por la regla de la suma se tienen 448 + 1568 = 2016 nmeros enteros impares entre
2000 y 9999 inclusive que tienen todos sus dgitos distintos.


Problema N2
Supongamos que se tienen 25 puntos en el plano, de los cules slo hay 3 colineales, es decir
slo hay 3 puntos distintos sobre una misma lnea recta. Cuntas rectas distintas se podrn
trazar, uniendo pares de puntos o, cuando es posible, ternas de puntos?

Respuesta:
En primer lugar se puede trazar una nica recta que una ternas de puntos ya que, del conjunto
total de puntos que se tiene, hay slo tres colineales.
Las rectas que se pueden trazar uniendo slo pares de puntos se pueden contar en dos grupos:
1- Aquellas que se pueden dibujar uniendo dos puntos cualesquiera de entre los que no hay tres
alineados, es decir las que se pueden trazar con los 22 puntos restantes debido a que hay slo
tres alineados. stas son C(22, 2) = 231 rectas.
2- Por cada uno de los tres puntos colineales, se pueden dibujar 22 rectas distintas, con lo cual
se tienen 3.22 = 66 rectas.
Finalmente, se pueden trazar 1 + 231 + 66 = 298 rectas distintas con los 25 puntos en el plano,
de los cules slo hay 3 colineales.


Problema N3
Demuestra que
2
3 3
2

=
|
|
.
|

\
|

|
|
.
|

\
| +
para todo entero positivo n.

Respuesta:
A continuacin se dan dos posibles respuestas, diferentes estrategias empleadas para demostrar
esta aseveracin.

Nota: En primer lugar es necesario establecer el siguiente convenio:
0 =
|
|
.
|

\
|

si 1 n < r
Esto resulta claro, ya que
|
|
.
|

\
|

es el nmero de subconjuntos de tamao r que se pueden formar

a partir de un conjunto que posee n elementos.

Respuesta 1: En primer lugar es necesario emplear lo convencin anterior
Para n = 1,
2
1 1 0
3
3
3
1
3
2 1
= =
|
|
.
|

\
|
=
|
|
.
|

\
|

|
|
.
|

\
| +

Para n = 2,
2
2 4
! 1 ! 3
! 4
0
3
4
3
2
3
2 2
= = =
|
|
.
|

\
|
=
|
|
.
|

\
|

|
|
.
|

\
| +

Con lo cual la proposicin se cumple para n = 1 y n = 2.
Para n 3, empleando solamente la definicin de nmero combinatorio:
( )
2
2 2
.
6
6

6
2 3
6
2 3

6
) 2 )( 1 (
6
) 1 )( 2 (

)! 3 ( ! 3
)! 3 )( 2 )( 1 (
)! 1 ( ! 3
)! 1 ( ) 1 )( 2 (

)! 3 ( ! 3
!
)! 1 ( ! 3
)! 2 (
3 3
2

= =
(

=
(

+ +
=

+ +
=

+ +
=

+
=
|
|
.
|

\
|

|
|
.
|

\
| +

De acuerdo al convenio establecido, esto ltimo se extiende para n 1.

Respuesta 2:
Empleando la propiedad de Pascal
Sea n un entero positivo, n 1


2
) 1 (
)! 2 ( ! 2
!
2
1 2
2
3 1 2 2 3

3 2
1
3
1
3 3
2

= + =
+

=
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|

|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|

|
|
.
|

\
| +
+
|
|
.
|

\
| +
=
|
|
.
|

\
|

|
|
.
|

\
| +


con lo cual se tiene probada la igualdad.

Introduccin a la Teora de Nmeros
Propuestos por Malva Alberto

Problema N1
Demuestra que el nico entero primo de la forma n
3
1 es 7, para n N.

Respuesta
Sea p un primo de la forma n
3
1. Factorizando a p en los reales obtenemos el polinomio
Entonces p = n
3
1 = (n1) (n
2
+ n +1).
Como p es primo, sus nicos factores son el mismo p o el 1.
Luego p = n1 y n
2
+ n +1 = 1 o bien p = n
2
+ n +1 y n 1 = 1
La primera posibilidad no se puede dar porque si n
2
+ n +1 = 1, entonces n = 0 o n = 1, y luego
p = 2 lo que es un absurdo porque p es un nmero primo.
De la segunda posibilidad, se tiene que n = 2, luego p = 2
2
+ 2 + 1 = 7.


Problema N2
Demuestra que cada entero de la forma n
4
+ 4 con n > 1 es compuesto.

Respuesta
Escribiendo a n
4
+ 4 de la forma
n
4
+ 4 = (n
2
2n + 2)(n
2
+ 2n + 2) y como n >1, n
2
2n + 2 > 1 y n
2
+ 2n + 2 > 1.
Entonces, n
4
+4 es compuesto.

Problema N3
Demuestra que para cada entero a positivo, se cumple que mcd(a, a + 1) = 1

Respuesta
Sea d = mcd(a, a + 1). Luego d|a y d|(a + 1).
Entonces, tambin d divide a la diferencia entre ellos.
Luego, d|(a + 1) - a o sea d|1. Necesariamente, d = 1 porque d es un nmero positivo.

Problema N4
Demuestra que si mcd(u, v) = 1, entonces mcd(u + v, u - v) es 1 2.

Respuesta
Sea d = mcd(u + v, u - v). Luego, d|u + v y d|u - v.
Entonces, d|1(u + v) + 1( u - v), o sea d|2u.
Tambin, d|1(u + v) -1( u - v), o sea d|2v.
De ac se tiene que d es divisor comn de 2u y 2v.
En particular, se tiene que d|mcd(2u, 2v).
Pero mcd(2u, 2v) = 2mcd(u, v) = 2 porque mcd(u, v) = 1. Luego, d|2. La nica posibilidad es
que d = 1 d = 2.

Problema N5
Verifica que el nmero 313 es un primo.

Respuesta
La raz cuadrada de 313 est comprendida entre 17 y 18. Los primos menores o iguales
que 313 son 2, 3, 5, 11, 13 y 17 . Ninguno de estos nmeros es un divisor de 313
porque por el algoritmo de la divisin los sucesivos restos son 1, 1, 3, 5, 5, 1, 7,
respectivamente. Luego 313 es un primo.

Problema N6
Encuentra una sucesin consecutiva de 9 nmeros enteros que sean compuestos.

Respuesta
Proponemos la sucesin
10! +2; 10! +3; 10! +4; 10! +5; 10! +6; 10! +7; 10! +8; 10! +9; 10! +10
10! contiene como factor a 2 y 2 divide a 2, luego 2 es divisor de la suma;
10! contiene como factor a 3 y 3 divide a 3, luego 3 es divisor de la suma;
10! contiene como factor a 4 y 4 divide a 4, luego 4 es divisor de la suma;
y as continuando:
10! contiene como factor a 10 y 10 divide a 10, luego 10 es divisor de la suma.

Problema N7
Encuentra una sucesin consecutiva de 10 nmeros enteros que sean compuestos.

Respuesta
Proponemos la sucesin
11! +2; 11! +3; 11! +4; 11! +5; 11! +6; 11! +7; 11! +8; 11! +9; 11! +10; 11!+11
En realidad, dado un n entero positivo, una sucesin de n nmeros consecutivos que
sean compuestos puede obtenerse proponiendo la sucesin de enteros:
(n+1)! +2; (n+1)! +3; (n+1)! +4; (n+1)! +5; (n+1)! +6; .................; (n+1)!+ (n+1).

Relaciones y Funciones
Propuestos por Malva Alberto

Problema N1
a) Sea A = {1, 2, 3} y B = {a, b, c, d, e}
a.1) Cuntas funciones f: A B existen?
a.2) Cuntas funciones f: A B son inyectivas?
a.3) Cuntas funciones f: A B satisfacen que f(1) = f(2) = a?
b) En el conjunto de los nmeros enteros, Z, definimos la relacin: x y s y slo s |x| = |y |
b.1) Demuestra que la relacin es de equivalencia.
b.2) Si la relacin anterior se define para un dominio A = {5, 3, 2, 0, 1, 2, 4, 5, 6}
cules son las clases de equivalencia?

Respuestas:
a)
a.1) Una funcin f: A B queda definida cuando a cada elemento de A se le hace corresponder
una nica imagen. La imagen de 1 es cualquiera de los 5 elementos de B; la imagen de 2 es
cualquiera de los 5 elementos de B; dem para 3. Luego habr 5
3
= 125 funciones f: A B.
a.2) Una funcin f: A B es inyectiva cuando a elementos distintos del dominio le
corresponden distintas imgenes. La imagen de 1 es cualquiera de los 5 elementos de B; se
puede seleccionar la imagen de 2 como cualquiera de los restantes 4 elementos de B; y para 3 se
puede seleccionar cualquiera de los restantes tres elementos. Luego habr 5. 4. 3 = 60 funciones
f: A B que son inyectivas.
a.3) Como 1 y 2 ya tienen asignada una imagen, habr que asignarle imagen slo al elemento 3.
Habr 5 funciones distintas f: A B satisfacen que f(1) = f(2) = a.
b)
b.1) Es reflexiva porque |x| = |x| , x Z; es simtrica porque si | x | = | y | entonces | y | = | x |;
por tratarse de una igualdad; se verifica la transitividad, es decir si | x | = | y | y adems se
verifica que | y | = | z | entonces | x | = | z |.
b.2) [x] = {y Z/ | x | = | y | } = {y Z/ x = y }. Luego las clases son:
[5] = {5, 5} ; [3] = {3} ; [2] = {2, 2} , [0] ={0}; [1] = {1}; [4] = {4}; [6]={6}


Problema N2
Da una definicin recursiva para cada una de las siguientes sucesiones de enteros a
1
, a
2
, a
3
, ....,
a
n
, ... siendo
a) a
n
= 2 n + 3 n N.
b) a
n
= n (n + 2) n N.


Respuestas
a) Los primeros elementos de la sucesin son: 5, 7, 9, 11, 13, ....... Se trata de nmeros impares,
donde cada elemento de la succin se puede obtener como el anterior ms 2.
As a
n
= a
n1
+ 2, n 2, a
1
= 5 (condicin inicial)
b) Los primeros elementos de la sucesin son: 1.3, 2.4, 3.5, 4.6, 5.7, 6.8, 7.9 .............., es
decir, 3, 8, 15, 24, 35, 48, 63, .................
Operando, la sucesin a
n
= n (n + 2) de nmeros es: 3, 3+5, 8+7, 15+9, 24+11, 35+13,........
.........(n2) n; (n1) (n+1); n (n+2) ; (n+1) (n+3); ................
.........n
2
2n; n
2
1; n
2
+2n ; n
2
+ 4n +3; ................
Observamos que cada trmino se obtiene al sumar al anterior otro trmino que no es constante y
es impar:
a
n2
= n
2
2n;
a
n1
= n
2
2n + (2n1) = n
2
1, que se puede obtener haciendo a
n1
= n
2
2n + (2 (n1) +1)
a
n
= n
2
1 + (2 n +1) = n
2
+2 n
a
n+1
= n
2
+2n + (2n+3) = n
2
+ 4n +3 que se puede obtener haciendo a
n+1
= n
2
+2n + (2 (n+1) +1)
Luego a
n
= a
n1
+ (2 n + 1), n 2, a
1
= 3 (condicin inicial)


Estructuras Algebraicas Finitas
Propuestos por Ingrid Schwer y Malva Alberto

Problema N1
Para cada uno de los siguientes conjuntos determina si es o no un grupo con la ley de
composicin interna dada. De ser as determina su neutro y el inverso de cada elemento.
Si no es un grupo formula las condiciones que no se cumplen de la definicin:
a) {1, 1}bajo la multiplicacin.
b) {1,0,1} bajo la suma.
c) El conjunto de todas las funciones f: A A donde A={1, 2, 3, 4}, bajo la composicin
de funciones.
d) El conjunto de todas las funciones biyectivas f: A A donde A={1, 2, 3, 4}, bajo la
composicin de funciones.

Respuesta:
a) S, es grupo, la multiplicacin es una ley de composicin interna, asociativa, el neutro es 1
y cada elemento es su propio inverso.
b) No es grupo. El conjunto no es cerrado bajo la suma porque por ejemplo 1 + 1 = 2.
c) No es grupo. La funcin f: A A tal que f(x) = 1, x A, no es invertible porque no es
biyectiva.
d) Si es grupo, la composicin de funciones biyectivas es otra funcin biyectiva, es asociativa,
la funcin idA: A A tal que f(x) = x, x A, es el elemento neutro y toda funcin biyectiva
admite inversa, que tambin es biyectiva.

Problema N2
Si G es un grupo, demuestra que G es abeliano si y solo si (a b)
2
= a
2
b
2
a, b G.

Respuesta:
Como la propiedad enunciada es una equivalencia o bicondicional, hacemos la
demostracin en los dos sentidos de la implicacin.
) Tomamos como hiptesis que G es abeliano y demostraremos que (a b)
2
= a
2
b
2
a, b G,
En efecto, (ab)
2
= (ab) (ab) = a (ba) b = a (ab) b = (aa)(bb) = a
2
b
2
. Hemos utilizado
sucesivamente, para justificar las igualdades, la definicin de potencia, propiedad asociativa,
conmutatividad de G (hiptesis), asociativa y definicin de potencia.
) Tomamos como hiptesis (a b)
2
= a
2
b
2
a, b G y demostraremos que G es abeliano. (ab)
2

= a
2
b
2
entonces

(ab)(ab)= (aa)(bb). Premultiplicando por a
1
y posmultiplicando por b
1
a
ambos lados de la igualdad
,
obtenemos ba = ab.

Problema N3
a) Sea A = {a, b, c, d}un conjunto. Cuntas leyes de composicin interna se pueden definir en
A?
b) Cuntas de leyes de composicin interna se pueden definir en A, de manera que "a" sea
siempre el elemento neutro?
c) Sea Z
4
el grupo de los enteros mdulo 4 un grupo con respecto a la suma, y sea G{1, i, -1,-i }
un grupo multiplicativo donde i
2
= -1 Son isomorfos Z
4
y G? Justifica.

Respuestas:
a) Las leyes de composicin interna son funciones de A x A en A. Como A x A tiene 4
2
= 16
elementos, luego hay 4
16
leyes de composicin interna en A
b) Para que "a" sea siempre el neutro, fijo el elemento, y obtengo 4
9
leyes de composicin
interna en A.
c) En Z
4


+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

En G
* 1 I -1 -i
1 1 I -1 -i
i i -1 -i 1
-1 -1 -i 1 i
-i -i 1 i -1

Calculando los rdenes de los elementos en Z
4
, se obtiene o(0) = 1, o(1) = 4, o(2) = 2, o(3) = 4 y
en G se obtiene o(1) = 1, o(i) = 4, o(-1) = 2, o(-i) = 4 . Como los elementos tienen los mismos
rdenes los grupos resultan isomorfos.

Problema N4
Sea ( Z x Z, ) el grupo abeliano tal que (a, b) (c, d) = (a + c, b + d) y sea (G , +) un grupo
aditivo.
a) Si f : Z x Z G es un morfismo de grupos tal que f(1 , 3) = g1 y f (3 , 7) = g2, expresa
f(4 , 6) en trminos de g1 y g2.
b) Si f : Z x Z Z, donde ( Z x Z, ) y (Z , +) son grupos y f(x , y) = x y, demuestra que f
es un morfismo sobreyectivo

Respuestas
a) f(4, 6) = f [(1, 3) (3, 3)] = f(1 , 3) f(3, 3) = g1 + f(3, 3) = g1 + f[(-6, -18) (9, 21)]
(valores que se obtienen resolviendo el sistema de ecuaciones (3, 3) = x(1, 3) + y (3,7)) = - 5 g1
+ 3 g2.
b) f es morfismo: f [(x , y) (u , v)] = f ( x + u, y + v ) =
(x + u) - (y + v) = (x - y) + (u - v) = f(x , y) + f(u , v).
f sobreyectiva: y Z (0 , -y) Z x Z tal que f(0 , -y) = 0 - (-y) = y.

Problema N5
Demuestra que el semigrupo (S, ) es un grupo las ecuaciones x a = b y a x = b
tienen solucin nica.

Respuesta
) (S, ) es un grupo. Por propiedad 5.2 de 5.4 las ecuaciones x a = b y a x = b
tienen solucin nica.
) Sea (S, ) semigrupo. es una l.c.i en S, asociativa. Para ver que es grupo hay que
probar que S tiene neutro y que todo elemento tiene inverso.
En efecto para a = b, resulta x a = a y a x = a x = e es el elemento neutro
buscado.
Para a S y b = e, resulta x a = e y a x = e x = a
-1
. Luego (S, ) es un grupo.


Problema N6
a) Construye todas las tablas posibles para grupos de 4 elementos.
b) Son abelianos?
c) Son isomorfos entre s? Justifica tu respuesta.

a) Las posibles tablas correspondientes a grupos de 4 elementos son:








Tabla 4.6 Tabla 4.7

e a b c e a b c
e e a b c e e a b c
a a e c b a a e c b
b b c e a b b c a e
c c b a e c c b e a

Tabla 4.8 Tabla 4.9

e a b c e a b c
e e a b c e e a b c
a a b c e a a c e b
b b c e a b b e c a
c c e a b c c b a e



b) Son abelianos porque las matrices son simtricas.
d) Definicin: Si (G, ) y ( G, .) son dos grupos, un homomorfismo o morfismo de G
en G, es toda funcin f: G G que satisface, para todos x, y en G:
f ( x y ) = f ( x ) . f ( y ) . Si adems f es biyectiva, se dice que f es un isomorfismo
y que G G.
Otra forma de ver que dos grupos son isomorfos, es calcular el orden de los
elementos de ambos (Ver ejercicio 2, de la Actividad 3 de 5.5). Si todos son del
mismo orden, los grupos resultan isomorfos.
En nuestro caso:
Para G de tabla 4.6, o(e)= 1, o(a) = o(b) = o(c)= 2
Para G de tabla 4.7, o(e)= 1, o(a) = 2, o(b) = o(c)= 4
Para G de tabla 4.8, o(e)= 1, o(b) = 2, o(a) = o(c)= 4
Para G de tabla 4.9, o(e)= 1, o(c) = 2, o(b) = o(a)= 4
Luego resultan isomorfos: G de tabla 4.7, G de tabla 4.8, G de tabla 4.9.



Problema N7
a) Construye las tablas de suma y multiplicacin para Z
5
y verifica que es un anillo
conmutativo con unidad y sin divisores propios del cero.
b) Es un cuerpo?

a)
+ 0 1 2 3 4 . 0 1 2 3 4
0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 3 4 0 1 0 1 2 3 4
2 2 3 4 0 1 2 0 2 4 1 3
3 3 4 0 1 2 3 0 3 1 4 2
4 4 0 1 2 3 4 0 4 3 2 1
Ya sabemos que (Z
5
, +) es un grupo abeliano porque la tabla es simtrica, donde el
neutro es el 0, y los opuestos de 0, 1, 2, 3, 4 son 0, 4, 3, 2, 1. La multiplicacin es una
l.c.i segn se deduce de la segunda tabla, es asociativa, porque vale la ley asociativa
para la multiplicacin de enteros, y es conmutativa porque la tabla es simtrica.. Tiene
unidad 1 y no tiene divisores propios del cero, ya que si a . b = 0 entonces a = 0, o b = 0

c) Es un cuerpo, ya que todo elemento no nulo tiene inverso. En efecto: 1 = 1; 2 = 3
3 = 2, 4 = 4.

Problema N8
Sea C el campo de los nmeros complejos y R el anillo de las matrices de orden
2, reales, de la forma Sea C el campo de los nmeros complejos y R el anillo de las
matrices de orden 2, reales.
Se define la funcin f : C R dada por f(a + bi) =
a b
b a
a, b R

(
e
a) Probar que f es un isomorfismo de anillos.
b) Usar el isomorfismo dado para calcular
( )
( )
( )
+ +

+
8 3 9 9
52 71
13 37
7
4
. .
. .
. .
i
i
i


a)f es morfismo de anillos:
1. | | | | I a bi c di I a c b d i
a c b d
b d a c
( ) ( ) ( ) ( )
( )
+ + + = + + + =
+ +
+ +

(
=
=

(
+

(
= + + +
a b
b a
c d
d c
I a bi I c di ( ) ( )
2. | | | | I a bi c di I ac bd ad bc i
ac bd ad bc
ad bc ac bd
( ).( ) ( ) ( )
( )
+ + = + + =
+
+

(
=
=

(
= + +
a b
b a
c d
d c
I a bi I c di . ( ). ( )
3.- f es inyectiva ya que si
a b
a a
c d
d c

(
=

(
entonces a = c y d = b, luego a + bi =
c + di
4.- e =

(
- + + =

(
A R A
a b
b a
bi I a bi
a b
b a
, / ( ) el complejo a
Luego f es biyectiva.

b) Para hallar el valor del nmero complejo
( )
( )
( )
+ +

+
8 3 9 9
52 71
13 37
7
4
. .
. .
. .
i
i
i

usando este isomorfismo, se traduce el problema de nmeros complejos a matrices. De
all que se busque el resultado de:

(
+

(
|
\

|
.
|

8 3 9 9
9 9 8 3
52 71
71 52
13 37
37 13
7 4
1
. .
. .
. .
. .
.
. .
. .




La respuesta al problema (de una aritmtica compleja) es, con dos decimales de
aproximacin
8379 98 15122 7
15122 7 8379 98
. .
. .

(
, es decir el complejo 8379.98 + 15122.7i.
Grafos
Propuestos por Silvina Meinero

Problema N1
Usa induccin para probar que un K
n
tiene exactamente aristas.

Respuesta:
Un K
1
es un vrtice sin aristas, lo cual satisface la frmula.
Suponemos que la igualdad es verdadera para n = h. Debemos demostrar que tambin es
verdadera para n = h + 1.
Dado un K
h+1
, seleccionemos un vrtice en el al cual podemos identificar como w. Luego, si
borramos a w junto a todas las aristas que inciden en l, nos queda un K
h
, que tiene por hiptesis
inductiva h(h1)/2 aristas.
En K
h+1
, en el vrtice w incidan h aristas, una de cada uno de los otros vrtices. Entonces, el
nmero total de aristas en el K
h+1
es igual a:

Con lo cual queda probado.

Problema N2
Dado el siguiente grafo, obtiene todos los rboles de expansin asociados al mismo.






Respuesta: (sugerencia: redibujar el grafo como un grafo planar)

2
1) n(n
2
1) 1) 1)((h (h
2
1) h(h
2
2) 1 h(h
2
2h 1) h(h
h
2
1) - h(h
+ +
=
+
=
+
=
+
= +
Mquinas de estado finito.
Propuesto por Viviana Cmara

Esta presentacin disea una mquina de estado finito considerando el siguiente
enunciado:

Enunciado: Se debe definir una mquina de estado finito con entradas y salidas sobre el
alfabeto {0, 1} que muestre una salida 1 si recibe al menos tres unos consecutivos.

La resolucin la planteamos en tres etapas:
1) Realizamos el diseo mediante un dgrafo.
2) Escribimos la tabla de estado o tabla de transicin.
3) Definimos la mquina de estado finito.

Dgrafo.
El dibujo tiene cuatro estados, s
0
es el estado inicial, s
1
recuerda el ingreso de un uno,
s
2
, recuerda el ingreso de dos unos y s
3
, reconoce la sucesin de tres o ms unos. Si se
ingresan ms de tres unos, entonces su salida es uno . Vuelve a contar unos en el
momento en que ingresa un cero, por ello regresa al estado s
0









Tabla de estados.

M f G
0 1 0 1
s
0
s
0
s
1
0 0
s
1
s
0
s
2
0 0
s
2
s
0
s
3
0 1
s
3
s
0
s
3
0 1

La definicin de esta mquina es:

M = ( S, E, O, f, g, s
0
) donde S = { s
0
, s
1
, s
2
, s
3
} ; E = { 0, 1} y O = {0, 1} de
modo que las funciones f y g se definen de la siguiente manera:


f: S x E S g: S x E O
f(s
0
, 0) = s
0
g(s
0
, 0) = 0


f(s
0
, 1) = s
1
g(s
0
, 1) = 0
f(s
1
, 0) = s
0
g(s
1
, 0) = 0
f(s
1
, 1) = s
2
g(s
1
, 1) = 0
f(s
2
, 0) = s
0
g(s
2
, 0) = 0
f(s
2
, 1) = s
3
g(s
2
, 0) = 1
f(s
3
, 0) = s
0
g(s
3
, 0) = 0
f(s
3
, 1) = s
3
g(s
3
, 1) = 1
s
3
s
0
s
2
s
1

1/0


1/1
1/1
1/0
0/0
0/0
0/0
0/0