Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ALGEBRA I
Miscel
aneas de problemas
2014
Tema: Estructuras Algebraicas.
Estructuras Algebraicas.
Para cada operacion binaria definida en el conjunto se
nalado dgase cuando dota al conjunto
de una estructura de grupo. De no resultar grupo, mencione que axioma no cumple.
1. Definase en Z por a b = ab
2. Definase en Z por a b = a b
3. Definase en R+ por a b = ab
4. Definase en Q por a b = ab
5. Definase en el conjunto de todos los n
umeros reales distintos de cero por a b = ab
6. Definase en C por a b = a + b
7. Dese una tabla para una operacion binaria en el conjunto {e, a, b} de tres elementos que
cumplan los axiomas de la identidad e inverso de grupo, pero no se cumpla la asociatividad.
8. Sea G el conjunto de todos los n
umeros reales excepto 1. Defnase en G por:
a b = a + b + ab
a) Muestre que da una operacion binaria.
b) Muestre que hG, i es un grupo.
c) Encuentrese la solucion de la ecuacion 2 x 3 = 7 en G.
9. Demuestre que todo grupo G con identidad e tal que x x = e para todas las x G, es
abeliano. (Sugerencia: considerese (ab)2 .)
10. Demuestre que un conjunto no vaco G junto con una operacion binaria en G tal que las
ecuaciones
ax=b ya=b
tienen soluciones en G para todas las a, b G, es un grupo.
(1 2) 3
1 (2 3)
(1 2) (3 2)
(2 3) (2 1)
b) Es asociativa?
c) Es conmutativa?
15. Se define la ley de composicion interna
siguiente tabla:
0
0 0
1 1
2 2
3 3
2
2
3
0
1
3
3
0
1
2
3 (2 1)
(3 1) 2
(0 2) (2 3)
(3 0) (2 2)
b) Es conmutativa?
a+b
2
a+b
3
a b = 3ab
a b = 3ab
Determinar si hR+ , i es grupo abeliano.
21. Demostrar que hR2 , +i es grupo abeliano, siendo el conjunto de pares ordenados de n
umero
reales, y la suma definida por:
(a, b) + (c, d) = (a + c, b + d)
22. Determnese cuales de los siguientes subconjuntos de los n
umeros complejos son subgrupos
bajo la suma de grupo C de los n
umeros complejos bajo la suma.
a) R
b) Q+
c) 7Z
d ) El conjunto iR de los n
umeros imaginarios puros incluyendo 0.
e) El conjunto Q de los m
ultiplos racionales de
f ) El conjunto { n /n Z}
23. Cuales de los siguientes grupos son cclicos? Para cada grupo cclico obetener todos los
generadores del grupo.
a) G1 = hZ, +i
b) G2 = hQ, +i
c) G3 = hQ+ , i
d ) G4 = h6Z, +i
e) G5 = {6n /n Z} bajo la multiplicacion.
f ) G6 = {a + b 2/a, b Z}
24.
a) Por analoga, completese la tabla para obtener el grupo cclico Z6 de 6 elementos (No
es necesario probar la ley asociativa)
+
0
1
2
3
4
5
0
0
1
2
3
4
5
1
1
2
2
2
3
3
3
4
4
4
5
5
5
0
b) Calcular los subgrupos h1i, h2h, h3i, h4i y h5i del grupo Z6
c) Que elementos son generadores para el grupo Z6 de la parte a)
25. Sea G un grupo y a un elemento fijo de G, muestre que:
Ha = {x G/xa = ax}
es un subgrupo de G.
26. Sea H un subgrupo de un grupo G. Para a, b G sea a b si y solo si ab1 H.
Demuestre que es una relacion de equivalencia en G.
27. Para los conjuntos H y K defnase la interseccion H K por:
H K = {x/x H x K}
Demuestre que H G y K G, entonces H K G.
28. Sea A un conjunto no vacio, en el que se han definido dos operaciones, + y respectivamente. Si hA, +i es un grupo abeliano, y se define mediante
ab=0
entonces verificar que la terna hA, +, i es un anillo conmutativo.
29. Probar que la terna hZ2 , +, i es un anillo conmutativo con identidad. Siendo Z2 el conjunto de pares ordenados de n
umeros enteros, + la suma habitual y definida por:
(a, b) (c, d) = (ac, ad + bc)
30. Sea hG, i un grupo. En G se define la operacion mediante:
ab=ba
Demostrar que hG, i es un grupo.
31. Sea G = Q \ {1}. Definimos la operacion binaria en G como
a b = a + b + ab
Demuestre que hG, i es un grupo abeliano.
32. En Z se define la operacion binaria como a b = a + b + 1. Demuestre que hZ, i es un
grupo abeliano.
a
33. Sea A = {1, 2} y P(A) el conjunto partes de A. Demuestre que hP(A), , i es un anillo
conmutativo con identidad.
34. Sea A un conjunto y P(A). EshP(A), , i un anillo?
35. Considere el conjunto Z junto con las operaciones binarias y definidas por
ab=a+b+1
a b = a + b ab
a b = a + b mab
0
0
1
2
3
1
1
0
3
2
2
2
3
0
1
3
3
2
1
0
0
1
2
3
0
0
0
0
0
1
0
1
0
1
2
0
2
0
2
3
0
3
0
3