PRCTICA CALIFICADA N 4

1. Sea H una matriz de verificacin de paridad. Determine la funcin de grupo de

cdigo

E( 0 0 ) = 00ABC
A=(0 0)

=0 B= (0 0 )

= 0 C= ( 0 0 )

= 0
E ( 0 0 ) = 00000
E=( 0 1 ) = 01ABC
A = ( 0 1 )

= 0 B= ( 0 1 )

= 1 C= ( 0 1 )

= 1
E ( 0 1 ) = 01011
E( 1 0 ) = 10ABC
A= ( 1 0 )

= 0 B= (1 0 )

= 1 C= ( 1 0 )

= 1
E(1 0 ) = 10011
E(1 1 ) = 11ABC
A= ( 1 1 )

= 0 B= (1 1 )

= 0 C= (1 1 )

= 0
E(1 1 ) = 11000

2. a) Determine la distancia mnima de la funcin de codificacin (3, 8),

()
()
()
()
()
()
()
()
b) Es

, Grupo de cdigo? , justificar

CURSO : MATEMATICA DISCRETA CICLO : 2012 - II
CODIGO : CB 112 U
DOCENTE : ANGULO - BENITES FECHA : 04.04.12
SOLUCIN:

A: 000 ()
B: 001 ()
C: 010 ()
D: 011 ()
E: 100 ()
F: 101 ()
G: 110 ()
H: 111 ()

A = *() () () () () () () ()+

* 00000000

01110010

10011100

01110001

01100101

10110000

11110000

00001111

00000000 00000000
0
01110010
4
10011100
4
01110001
4
01100101
4
10110000
3
11110000
4
00001111
4
01110010 01110010
4
00000000
0
11101110
6
00000011
2
00010111
4
11000010
3
10000010
2
01111101
6
10011100 10011100
4
11101110
6
00000000
0
11101101
6
11111001
6
00101100
3
01101100
4
10010011
4
01110001 01110001
4
00000011
2
11101101
6

00000000
0
00010100
2
11000001
3
10000001
2
01111110
6
01100101 01100101
4
00010111
4
11111001
6
00010100
2
00000000
0
11010101
5
10010101
4
01101010
4
10110000 10110000
3
11000010
3
00101100
3

11000001
3
11010101
5
00000000
0
01000000
1
10111111
7
11110000 11110000
4
10000010
2
01101100
4
10000001
2
10010101
4
01000000
1
00000000
0
11111111
8
00001111 00001111
4
01111101
6
10010011
4
01111110
6
01101010
4
10111111
7
11111111
8
00000000
0

a) Distancia mnima = 1

b) 01110010 y 10011100 pertenecen al conjunto pero 01110010 * 10011100 = 11101110
no pertenece.
No es cerrado por lo tanto no es grupo de cdigo.


3. Sean (G, o) y (H, o) dos grupos y un isomorfismo de G en H.
Demuestre.

a) Si e es identidad en G y e identidad en G, entonces ()
b) Si , entonces (

) (())

c) Si H es subgrupo de G, entonces () *() + es subgrupo de G.


SOLUCIN:

a) e es identidad en G y e identidad en G
En un isomorfismo se cumple la siguiente relacin:

Sea f(a) = b, sea b cualquier elemento de H, podemos decir esto ya que al ser f un
isomorfismo es sobreyectiva

a= aoe a= eoa
b= f(a) = f(aoe) = f(a) o f(e) b=f(a)= f(eoa) = f(e) o f(a)
b = b o f(e) b = f(e) o b

b o f(e) = f(e) o b

Esto quiere decir que f(e) es el elemento neutro del conjunto H. Por lo tanto f(e) = e



b) x o

= e
f (x o

) = f(x) o f(

)
f(e) = f(x) o f(

)
Por () e = f(e)
e = f(x) o f(

)
f(x
-1
) = (())

Por lo tanto: f(

) = (())

c) Si t1 y t2 son elementos arbitrarios de f(H), entonces existen s1 y s2 en H tales que:

T1= f(s1) y t2= f(s2)

Entonces:
T1 * t2 = f(s1) o f(s2)
= f(s1os2)
= f(s3)
Donde s3 = s1os2 pertenecen a H. Por lo tanto, t1 o t2 pertenece a f(H)

As, f(S) es cerrado bajo la operacin o. Como la propiedad asociativa es
vlida en f(H), se tiene que f(H) es un subgrupo de G



4. Justificando su respuesta, determine la verdad o falsedad de las siguientes
afirmaciones:
a) En un isomorfismo los elementos neutros se corresponden.
b) Dados (

) y (

) entonces

es un grupo con la operacin definida

por ( ) ( ) ( )
c) Si todo elemento en G es su propio inverso entonces G es un grupo abeliano.
d) El grupo (

) tiene exactamente cinco subgrupos.

SOLUCIN:

a) Verdadero

e es identidad en G y e identidad en G
En un isomorfismo se cumple la siguiente relacin:

Sea f(a) = b, sea b cualquier elemento de H, podemos decir esto ya que al ser f un
isomorfismo es sobreyectiva

a= aoe a= eoa
b= f(a) = f(aoe) = f(a) o f(e) b=f(a)= f(eoa) = f(e) o f(a)
b = b o f(e) b = f(e) o b

b o f(e) = f(e) o b

Esto quiere decir que f(e) es el elemento neutro del conjunto H. Por lo tanto f(e) = e

c)Verdadero

Si: A = A A*A = e , A*A = e conmutativo.

d) Falso
(Z4, )
0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

e = 0
Un subgrupo de Z
4
debe contener como mnimo al elemento neutro e, entonces los
posibles subgrupos son:
{ 0 } , { 0, 1 ,2,3 } estas son los subgrupos triviales
{0, 1} se descarta pues 11=2 entonces no sera cerrado, esto implica que no es
grupo, mucho menos subgrupo.
{0, 2} si es un subgrupo de z
4

0 2
0 0 2
2 2 0

{0, 3} se descarta pues 33=2 entonces no sera cerrado
{0, 2 ,3} se descarta pues 32=1 entonces no sera cerrado
{0, 1, 3} se descarta pues 11=2 entonces no sera cerrado
{0,1, 2} se descarta pues 12=3 entonces no sera cerrado

Entonces z
4
solo tiene 3 subgrupos.
PRCTICA CALIFICADA N 4

1. Probar el siguiente teorema:
TEOREMA6.2

()
()

SOLUCIN:

, H subconjunto de G.
H es cerrado ya que
Y si se cumple la proposicin (ii) implica que tiene elemento neutro.
Por lo tanto si es un subgrupo de G.

2. Se tiene un conjunto A={1, a, b, c}, con la siguiente operacin definida

Probar si:
a) Es abeliano
b) Es un subgrupo
c) Es un semigrupo
d) Es un monoide
e) Es un grupo


SOLUCIN:

El conjunto A es un conjunto no vaco porque tiene 4
elementos: 1, a, b, c. Y es un conjunto cerrado
porque para todo a, b A, a*b A.
Por lo tanto es un monoide.



Propiedad Asociativa: a*(b*c) = (a*b)*c

1*(a*b) = (1*a)*b 1*(a*c) = (1*a)*c 1*(b*c) = (1*b)*c a*(b*c) = (a*b)*c
1*c = a*b 1*b = a*c 1*a = b*c a*a = c*c
c = c b = b a = a 1 = 1

Cumple la propiedad Asociativa, entonces al ser monoide y cumplir esta propiedad es
un semigrupo.

Elemento Neutro: existe un e A tal que a*e = e*a = a, para todo a A.
CURSO : MATEMATICA DISCRETA CICLO : 2012 - II
CODIGO : CB 112 U
DOCENTE : PAUL TOCTO FECHA : 01.12.12
* 1 a b c
1 1 a b c
a a 1 c b
b b c 1 a
c c b a 1
* 1 a b c
1 1 a b c
a a 1 c b
b b c 1 a
c c b a 1







1*1 = 1*1 = 1
a*1 = 1*a = a Elemento neutro: 1
b*1 = 1*b = b
c*1 = 1*c = c

Elemento inverso: Para todo elemento de A, a*

= e

1*

= 1

a*

= 1

= a Existe elemento inverso para cada elemento de A.

b*

= 1

= b
c*

= 1

= c

Por lo tanto A es un grupo.

Propiedad Conmutativa: a*b =b*a










El conjunto A satisface esta propiedad, ya que como podemos ver en la tabla existe un
reflejo con respecto a la diagonal. Por lo tanto el conjunto A es un grupo abeliano.

Subgrupos de A: Necesariamente tiene que estar en elemento neutro

*+ *+ *+ *+ * + * + * + * + * + * + * + * + * + * + * +

Los conjuntos potencias: * + * + * + no son subgrupos de A porque no son
cerrados.

Entonces los subgrupos son: *+ * + * + * + * +




* 1 a b c
1 1 a b c
a a 1 c b
b b c 1 a
c c b a 1
* 1 a b c
1 1 a b c
a a 1 c b
b b c 1 a
c c b a 1
* 1 a b c
1 1 a b c
a a 1 c b
b b c 1 a
c c b a 1
3. Consideremos un tringulo equiltero en el plano, y sea G el conjunto de todos
los movimientos rgidos del plano que dejan estable al tringulo. Este conjunto
tiene 6 elementos, tambin llamados simetras del tringulo:

La transformacin id es la identidad en el plano, r y s son rotaciones en el
sentido horario en un ngulo de 60 y 120 respectivamente, y x, y y z son
reflexiones respecto del eje marcado en la figura
Definir una operacin * adecuada y Probar que el conjunto G = {id, r, s, x, y, z}
con la operacin * es un grupo.

SOLUCIN

Como G = {id, r, s, x, y, z} y la composicin de dos simetras es una simetra, la tabla
correspondiente es la siguiente (G, ):

Asociativa:
(x y) z = x (y z)
s z = x s
y = y
Por lo tanto la operacin es asociativa.

Elemento identidad:
En la tabla, el elemento identidad es id

Elemento inverso:
En la tabla, los elementos inversos son
id = id, r = s, s = r, x = x, y = y, z = z

Conmutativa:
x y = s y y x = r, es decir que la operacin no es conmutativa.

Como la operacin binaria, unida al conjunto G (no vaco), cumplen las condiciones de Grupo,
este es un Grupo.

4. Probar si h es un isomorfismo de un grupo G en un grupo H entonces:
a) h (x
-1
) = {h(x)}
-1

b) Si g
1
y g
2
conmutan en G si y solo s h(g
1
) y h(g
2
) conmutan en G

SOLUCIN:

(G, *) y (H, +)

h es un isomorfismo de un grupo G en un grupo H

Se define f: G H
h(G(x)) = G(h(x))
h (x
-1
) = (h(x))
-1

Si g1 y g2 conmutan:

) (

)
(

) (

) (

) (

)
(

) (