EJERCICIOS DE ALGEBRA II

LISTA N 1

1. Determine cuando la operacin * definida sobre un conjunto dado es una

operacin binaria o no. Justifique su respuesta.
a) Sobre Z+, defina * por a * b = a b
b) Sobre Z+, defina * por a * b = ab
c) Sobre R, defina * por a * b = a - b
d) Sobre Z+, defina * por a * b = c, donde c es el ms pequeo entero mayor
que ambas a y b.
e) Sobre Z+, defina * por a * b = c, donde c = a + b 2.
f) Sobre Z+, defina * por a * b = c, donde c es el mayor entero menor que ab
(el producto de a por b) qu sucede si en lugar de Z+, se considera Z?
2. Probar que si * es una operacin binaria asociativa y conmutativa sobre un
conjunto S, entonces:
(a * b) * (c * d) = [(d * c) * a] * b
Para todo a, b, c, d, elementos de S.
3. Para cada operacin binaria * definida determinar cuando * es conmutativa y
cuando * es asociativa:
a) Sobre Z, defina * por a * b = a b
b) Sobre Q, defina * por a * b = b + 1
c) Sobre Q, defina * por a * b = ab/2
d) Sobre Z+, defina * por a * b = 2ab
e) Sobre Z+, defina * por a * b = ab
f) Sobre un conjunto cualquiera S, defina * por a * b = a para todo a,b
elementos de S.
g) Sobre R, defina *x por a *x b = ax + b donde x es un real fijo.
4. En los ejercicios 1 y 3 determinar cuales de las operaciones tienen identidad o
identidad a un solo lado. Calcule dichas identidades si las hubieran.
5. Determinar cuales de los conjuntos en los ejercicios 1 y 3 constituyen
semigrupos y cuales constituyen monoides con respecto a las operaciones dadas.
6. Sobre Z, defina a * b = a + b ab, demuestre que la operacin binaria * es
conmutativa y asociativa. Determine el elemento identidad y el inverso de cada
elemento.
7. Si * es una operacin binaria sobre el conjunto Z+ , definida por a * b = mnimo
comn mltiplo de a y b,
a) Demuestre que * es conmutativa y asociativa
b) Cules de los elementos de Z+ son idempotentes?
c) Encuentre el elemento identidad de Z+ con respecto a *.
d) Cules elementos de Z+ tienen inversos?
8. Sean S el conjunto de los nmeros reales excepto -1. Definamos * sobre S por
a*b = a + b + ab.
 a) Probar que * es bien definida y por tanto una operacin binaria.
b) Pruebe que (S, *) es un monoide.
c) Encuentre la solucin de la ecuacin: 2* x * 3 = 7
d) Porqu se excepta el elemento -1?
9. Sea R* = R {0}. Defina sobre R* la operacin a * b = I a I b
a) Pruebe que * es una operacin binaria asociativa.
b) Pruebe que * tiene identidades a izquierda, y tambin que posee inversas a
derecha para cada elemento de R*.
10. Sea X un conjunto arbitrario. Definir una multiplicacin en X haciendo ab = a
para todos los elementos a y b de X. Probar la asociatividad de esta
multiplicacin. En este caso de que X consiste de ms de un elemento,
demostrar que esta multiplicacin no es conmutativa y no tiene elemento neutro.
11. Si X es cualquier semigrupo conmutativo. Entonces para todo x, y elementos de
X y para todo n elemento de Z+
(X* Y)n = Xn * Yn
12. Sea f : X Y un isomorfismo de semigrupos, probar que la funcin inversa
f-1 : Y X es un homomorfismo y en consecuencia es tambin un isomorfismo.
13. Si f : X Y es un homomorfismo de semigrupos, probar que:
f (x1 * x2 * * xn) = f (x1) * f(x2) * * f (xn)
en consecuencia:
f (xn) = [f(x)]n
14. Probar que la restriccin h/A de cualquier homomorfismo h : X Y en
cualquier subsemigrupo A de X es un homorfismo de A en Y. Si h es un
monomorfismo, entonces tambin lo es h/A.
15. Sea f : Z Z4 un funcin del semigrupo aditivo de los enteros en el semigrupo
aditivo de los enteros mdulo 4. Defina:
f(u) = 2 si u es impar
f(u) = 0 si u es par
Pruebe que f es un homomorfismo pero no es un epimorfismo.
16. Sean (C*, .) y (R*, .) los monoides multiplicativos de los nmeros complejos
no nulos y de los reales no nulos respectivamente. Probar que la
correspondencia:
zIzI
define un homomorfismo propio de C* en R*. Es un epimorfismo? es un
monomorfismo?
17. Sean (A, *, e) y (B, *, e) monoides. Si f denota el homomorfismo trivial f(x) =
e. Hallar Im(f), Ker(f).
18. Sea (A, * , e) un monoide y sea f el homomorfismo identidad idA o sea f(x) = x.
Hallar Im(f), Ker(f).

PROFESOR DEL CURSO