Matemtica para Informtica

Primer Cuatrimestre 2016

Trabajo Prctico N 9: Estructuras Algebraicas
Objetivos
Reconocer las propiedades que debe cumplir un conjunto para que dena una estructura de grupo.
Probar las condiciones que debe cumplir un conjunto para que sea un subgrupo.
Identicar propiedades de los grupos.
Reconocer si un grupo es cclico.
Distinguir las propiedades que debe cumplir un cinjunto para que dena una estructura de anillo
y/o cuerpo.
Duracin: Seis (6) horas.
1. Sea una ley composicin interna denida en el
tabla:
a b
a a b
b b c
c c a
d b e
e d b

conjunto S = fa; b; c; d; eg mediante la siguiente

c
c
a
b
b
a

d
b
e
b
e
d

e
d
c
a
d
c

(a) Calcula b d; c c; [(a c) e] a:

(b) Calcula (a b) c y a (b c). En base a estos clculos, se puede concluir que

es asociativa?.

(c) Calcula (b d) c y b (d c). En base a estos clculos, se puede concluir que

es asociativa?.

(d) Es

conmutativa?, por qu?.

2. Completa la siguiente tabla de manera que

conjunto A = fa; b; c; dg:
a
b
c
d
Considerando que la operacin

sea ley de composicin interna conmutativa en el

a
a
b
c
d

b
b
d
a

c
c
d

d
c
b
a

es asociativa, (A; ) es un grupo?. Justica tu respuesta.

3. Decide si la operacin es una ley de composicin interna en el conjunto que se indica. En caso
armativo, decide: si es asociativa, si admite elemento neutro, si admite elementos inversos y si
es conmutativa.
(a) (R; ) donde a b = a2

b2

(b) (Q; ) donde a b = a + b

ab

(c) (N; ) donde a b = ab + 1

(d) (Z

f0g ; ) donde a b =

(e) (Q+ ; ) donde a b =

a
+5
b

ab
2

4. Decide si el conjunto de los N; Z; Q; R con las operaciones suma usual y producto usual son
grupos. En el caso en que no lo sea indica cul/es propiedad/es no cumple/n.
5. Muestra que (Q+ ; ) es un grupo. Es (Q ; ) un grupo? Justica.
6. Demuestra que cada elemento de un grupo tiene un nico inverso.
7. Sea (G; ) un grupo no necesariamente abeliano (conmutativo) y sean a; b 2 G: Demuestra que el
inverso de a b es b 1 a 1 :
1

8. Sea (G; ) un grupo con elemento neutro e y a; b 2 G. Demuestra que:

(a) si a2 = a; entonces a = e.
(b) si a b = e, entonces b a = e.
9. Realiza la tabla de (Z4 ; +) ; (Z5 ; ) ; (Z6 ; ) y en cada caso decide si es grupo.
10. Sea (Z; +) el grupo aditivo de los nmeros enteros. Demuestra que A = fx j x = 5k; k 2 Zg es un
subgrupo de Z.
11. Sea B = fx j x = 3n + 6m con n; m 2 Zg :
(a) Enumera algunos elementos de B y otros que no pertenezcan a B.
(b) Demuestra que (B; +) es un subgrupo de (Z; +) :
12. Sea D = fx j x = 5n ; con n 2 Zg : Prueba que (D; ) es un subgrupo de (Q f0g ; ) :
p
13. Sea E = x j x = a + b 5; con a; b 2 Q f0g :
(a) Enumera algunos elementos pertenecientes a S y otros no pertenencientes a E.
(b) Decide si E es un subgrupo de (R f0g ; ) :
14. Determina el subgrupo generado por cada uno de los elementos de (Z4 ; +). Idem para (Z5 ; ) : son
grupos cclicos?.
15. En el conjunto A = fe; a; b; c; dg; se dene la oparacin
e
b
c
d

e
e
b
c
d

b
b
e
a
c

c
c
a
e
b

por la siguiente tabla:

d
d
c
b
e

El grupo (A; ); es un grupo cclico?. Justica.

16. Decide si los siguientes grupos son cclicos, en caso amativo indica algn generador:
(a)
(d)

(Z; +)
(Z5 ; )

(b)
(e)

(Zn ; +) con n 2 N
(c) (Q+ ; )
A = f7n j n 2 Zg, con producto

17. Sea A = f0; e; b; cg con las operaciones de adicin y multiplicacin denida por las siguientes tablas.
+
0
e
b
c

0
0
e
b
c

e
e
0
c
b

b
b
c
0
e

c
c
b
e
0

0
e
b
c

0
0
0
0
0

e
0
e
b
c

b
0
b
e
c

c
0
c
c
0

Asumiendo que se cumplen las propiedades asociativas y distributivas, muestra que A es un anillo
con identidad. Es A conmutativo?.
18. Decide si los siguientes conjuntos con las operaciones indicadas son anillos. Cules de ellos son
cuerpos?.
(a) (Z; +; ) y (Q+ ; +; )
(b) A = fx j x = 5n; n 2 Zg con la suma y producto usuales.

(c) (Z4 ; +; ) y (Z5 ; +; )

p
(d) S = x j x = a + b 5; con a; b 2 Q y ambos no nulos con la suma y producto usuales.
19. Sea (A; +; ) un anillo y e 2 A que cumple e2 = e: Muestra que para cualquier elemento x 2 A se
verica que (xe exe)2 = 0:

D.L.A./2.016
2