UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

FACULTAD DE EDUCACIN Y CIENCIAS HUMANAS

ESCUELA PROFESIONAL DE EDUCACIN SECUNDARIA
ESPECIALIDAD: MATEMTICA - FSICA





















GUA DE PRCTICA
















FERNANDO GAMARRA MORALES

fer_gamarra@hotmail.com
celular: 952-290888 R.P.M:*122826



- 2 -
Profesor: Fernando Gamarra Morales.

PRESENTACIN

Cuando a finales del siglo XIX y principios del siglo XX la matemtica sufri una crisis de
fundamentos, la comunidad acadmica matemtica mundial inici una titnica tarea de precisar las
bases que sostenan esta ciencia. Muchos fueron los esfuerzos por no permitir que la matemtica se
desplomara por carencia de sustento en sus principales fundamentos. Las contribuciones no se
dejaron esperar. Entre stas las ms importantes estn la creacin de la teora de conjuntos, por
parte de George Cantor y la construccin de la teora de los nmeros por parte de Bertrand Russel,
en su obra Introduccin a la Filosofa de la Matemtica.
A partir de entonces, se ha intentado, con mayor nfasis, que todo conocimiento matemtico
se encuentre bien estructurado y sostenido por un proceso lgico deductivo que no facilite, y menos
permita, la posibilidad de hacer tambalear el edificio construido tomando como base ese
conocimiento.
Ms adelante, en los inicios de la segunda parte del siglo XX, los matemticos intensifican
su tarea en la bsqueda de organizar las ideas y los conceptos utilizando la teora de conjuntos y las
relaciones que se pueden construir dentro de stos, especialmente las relaciones que se reconocen
como operaciones, o leyes de composicin, dentro de los conjuntos. Esta bsqueda da como
resultado una tendencia que lleva a pensar que la matemtica es la ciencia de las estructuras.
La idea de estructura es bastante amplia, como lo sealan Bouvier y Le lionnais (1984): Se
dice que un conjunto est provisto de estructura si se dan una o varias relaciones, una o varias leyes
de composicin internas o externas, una o varias topologas sobre este conjunto.
Entre el gran nmero de estructuras del lgebra, ms frecuentemente estudiadas, se
encuentran, desde las ms simples a las ms complejas: grupiode, monoide, grupo, anillo, campo,
espacio vectorial.
El esfuerzo realizado por el profesor Fernando Gamarra Morales es muy significativo, en
tanto que las estructuras matemticas son entidades totalmente abstractas y que, como tal, no son
fciles de enfrentar y menos an de tratar o manejar con lenguaje, tanto retrico como simblico,
sencillo que llegue a ser comprendido y trabajado por quienes se estn iniciando en el estudio de la
matemtica a un nivel primariamente avanzado.
El profesor Gamarra fue un destacado estudiante de matemtica en las aulas universitarias y
su intuicin matemtica lo condujo a formar parte del cuerpo de docentes que se dedicaban a formar
profesores de matemtica en las aulas de su alma mater, como asesor y jefe de prcticas de lgebra
Moderna. Considero que lo que hoy nos alcanza es fruto de ese trabajo silencioso pero fructfero, al
fin.
Siempre quedar cargo del lector la bsqueda de situaciones y contenidos que se enmarquen
dentro de las estructuras que aparecen en este documento. Porque es claro que no hay obra que est
totalmente terminada y que su autor todava se encuentre entre nosotros.
Me permito invitar a los acuciosos lectores a trabajar este documento con lpiz y papel a la
mano, de manera que todo lo que encuentren de interesante puedan, inmediatamente, trabajarlo para
lograr los mejores resultados de su bsqueda.

Lima, marzo de 2014.

Dr. Luis Palomares Alvario.
- 3 -
Profesor: Fernando Gamarra Morales.

INTRODUCCIN

Este es una gua de prctica de lgebra moderna que escrib hace algn buen tiempo
atrs y que ahora, gracias a la tecnologa, se pone a disposicin para el servicio de la
educacin superior.
El lgebra es la parte de las matemticas que se centra ms especficamente en la
estructura de las operaciones que se definen en conjuntos particulares. En el origen de esta
disciplina est la resolucin de ecuaciones polinomiales y gran parte de la disciplina se
desarroll con este objetivo.
El estudio de las estructuras algebraicas naci a inicios del siglo IXX relacionndolo
con la teora de ecuaciones, definindolo posteriormente como un conjunto dotado de un
procedimiento que permite combinar sus elementos de acuerdo con unas leyes.
Actualmente el concepto de estructura algebraica se define como un conjunto X dotado de
una o varias operaciones (funciones f : X X X ) que satisfacen ciertas propiedades.
Esta teora desempea un papel muy importante en la matemtica y en las ciencias,
ya que aparecen en materias que aparentemente no estn relacionadas entre s, como en la
mecnica cuntica, la geometra y topologa, en el anlisis y algebra, fsica, qumica y an
la biologa misma.
El estudio de las estructuras algebraicas es muy interesante; existe mucha
investigacin y dedicacin de un gran nmero de matemticos al respecto, esto tambin
desarrolla mucho la imaginacin.
El objetivo de esta gua de prctica es facilitar el estudio de las estructuras
algebraicas, cada tema tiene una serie de definiciones y/o conceptos de modo que el lector
pueda tener una visin de conjunto de cada tema, seguido de una serie de ejercicios que
ayudarn a reforzar la comprensin concreta de los mismos.


Fernando Gamarra Morales.
Tacna, enero de 2014.



- 4 -
Profesor: Fernando Gamarra Morales.
LEY DE COMPOSICIN INTERNA



I. DEFINICIONES.-

1. Funcin:

Si f es una relacin no vaca de A en B
Entonces f es una funcin de A en B
si y slo si
( ) ( ) e . e = x y z x y f x z f y z , , ; , ,


2. Aplicacin:

Si f es una funcin de A en B
Entonces f es una aplicacin definida de A en B
si y slo si
( ) e - e e x A y B x y f ; / ,


3. Ley de Composicin Interna:

Si * es una funcin de AxA en A
Entonces * es una L.C.I. definida en A
si y slo si
* es una aplicacin de AxA en A


4. Propiedades:

Si * es una L.C.I. definida en A
Entonces * es conmutativa en A
si y slo si
e - = - a b A a b b a , ;

Entonces * es asociativa en A
si y slo si
( ) ( ) e - - = - - a b c A a b c a b c , , ;



Si * y & son L.C.I. definidas en A
Entonces * es distributiva con respecto a & en A
si y slo si
( ) ( ) ( )
( ) ( ) ( )
e - = - -
- = - -
a b c A a b c a b a c
b c a b a c a
, , ; & &
& &





- 5 -
Profesor: Fernando Gamarra Morales.
5. Elementos Notables:


Si * es una L.C.I. definida en A
ne A
Entonces n es elemento neutro para * en A
si y slo si
e - = = - a A a n a n a ;


Si * es una L.C.I. definida en A
n es neutro para * en A
a A e , a A ' e
Entonces a es elemento simtrico de a para * en A
si y slo si
a a n a a - = = - ' '


Si * es una L.C.I. definida en A
e e A
Entonces e es elemento absorbente para * en A
si y slo si
e - = = - a A a e e e a ;


Si * es una L.C.I. definida en A
e es elemento absorbente para * en A
ae A
Entonces a es elemento nilpotente para * en A
si y slo si
a a e - =


Si * es una L.C.I. definida en A
ae A
Entonces a es elemento idempotente para * en A
si y slo si
a a a - =


Si * es una L.C.I. definida en A
ae A
Entonces a es elemento regular para * en A
si y slo si
e - = - =
- = - =
x y A a x a y x y
x a y a x y
, ;



Si * es una L.C.I. definida en A
ae A
Entonces a es elemento central para * en A
si y slo si
e - = - x A a x x a ;





- 6 -
Profesor: Fernando Gamarra Morales.
II. EJERCICIOS.-

1. Sea Q* = Q - {0}. Explicar que la divisin (denotada generalmente por : ) es una ley de
composicin interna definida en Q*. Comprobar si las siguientes proposiciones se verifican para
la divisin en Q*.
a) a : b = b : a
b) (a : b) : c = a : (b : c)
c) ( )
| |
( )
| |
a b c d a b c d : : : : : : =
d) a : b = a : c b = c
e) b : a = c : a b = c

2. Sea * una ley de composicin interna definida en Q por:
a) a b a b ab - = + b) a b
a b ab
- =
+ +
2
c) a b
a b
- =
+
3

Determinar cuales de estas operaciones binarias verifican las propiedades conmutativa y
asociativa.

3. Define la siguiente tabla pitagrica una ley de composicin interna en {1,2,3}?, en
{1,2,3,4}?
& 1 2 3
1
2
3
1 3 4
2 1 3
1 3 2

4. Cuando se construye la tabla pitagrica de una ley de composicin interna en un conjunto
finito.
a) Pueden quedar casilleros vacos? Por qu?
b) Un casillero puede contener ms de un elemento? Por qu?

5. Cuntas operaciones se pueden construir en un conjunto de 3 elementos?, en un conjunto de n
elementos?

6. Considrese el conjunto F, de las aplicaciones f
i
(i = 1, 2, 6) de R - {0, 1} en R
definidas por:
f x x
1
: f x
x
2
1
1
:

f x
x
x
3
1
:


f x
x
4
1
: f x x
5
1 : f x
x
x
6
1
1
:

Demostrar que la composicin de aplicaciones es una ley de composicin interna definida en F.

7. En Z se define * por medio de a -b = 2(a + b). Estudiar las operaciones con sus propiedades y
la existencia de elementos distinguidos (elementos notables).

8. Analizar las propiedades y elementos distinguidos de - : R R
2
definida por a b - = 0.

9. Formar la tabla de composicin de aplicaciones biyectivas de A = {1, 2, 3} en si mismo.

10. Se sabe que * es una ley de composicin interna en A, que satisface:
( ) ( ) ( ) ( ) e - - - = - - - a b c d A a b c d a c b d , , , ; . Demostrar que es asociativa y conmutativa,
si existe elemento neutro.
11. {0}, {0, 1}, {1}, {-1, 1}, {-1, 0, 1} son partes del conjunto de los enteros. La multiplicacin es
cerrada para cada una de ellas?
- 7 -
Profesor: Fernando Gamarra Morales.

12. Con las partes del conjunto de los enteros del ejercicio anterior construir la tabla pitagrica
con las operaciones de , y A. Verificar si existen elementos notables en cada uno de ellos.

13. Examnese el conjunto de los nmeros naturales pares para las leyes de composicin internas:
a b a b a
b
+ , , .

14. Sobre el conjunto E = {1, 2, 3, 6} designamos a-b al MCD de a y b. Tablese y estdiese esta
ley.
15. Sobre el conjunto E = {1, 2, 5} se designa con a b - el resto de la divisin a
b
entre 3. Tablese
esta ley. Qu propiedades cumple? Tiene elementos distinguidos?

16. En N, ser o no ley de composicin interna? La ley: a + b + ab es conmutativa?, es
asociativa?, tiene elementos notables?

17. Demostrar si son leyes de composicin interna:
a) La reunin en P(E).
b) La interseccin en P(E).
c) La diferencia simtrica en P(E).
Tienen elemento neutro?, tienen elementos absorbentes?, existen elementos simetrizables?

18. En el conjunto de los nmeros racionales se ha definido la ley: a & b = a + b + ab.
a) Estudiar la conmutatividad y la asociatividad.
b) Demostrar que existe elemento neutro.
c) Estudiar la distributividad respecto a la adicin o de la multiplicacin.
d) Demostrar que cualquier racional diferente de -1 admite un inverso respecto a esta ley.
e) Demostrar que dados dos elementos a y b cualesquiera resolver la ecuacin: a & x = b.
f) Resolver 3 & x = 2 y (-3) & x = 2

19. Si la ley % es asociativa en E, y a es un elemento de E, entonces se define otra ley:
x & y = x % a % y. Demostrar que es asociativa.

20. Mostrar que el conjunto Z con la operacin $; tal que: m $ n = m + n + mn = (1+m)(1+n)-1, es
un monoide conmutativo. Qu sirve en (Z, $) de elemento neutro? Hallar en (Z,$) todos los
elementos invertibles.













- 8 -
Profesor: Fernando Gamarra Morales.
GRUPOIDES



I. DEFINICIONES.-

1. Grupoide:

Si A es un conjunto no vaco.
* es una L.C.I. definida en A
Entonces (A, *) es un grupoide o magma
si y slo si
( ) A b a A b a e - e ; ,


2. Sub - grupoide:

Si (A , *) es un grupoide
C = c S A
Entonces (S , *) es un sub - grupoide de (A , *)
si y slo si
(S , *) es un grupoide.


3. Homomorfismo:

Si (A , *) y (B , &) son grupoides.
h es una aplicacin de A en B
Entonces h es un homomorfismo de A en B
si y slo si
( )
( )
( ) e - = x y A h x y h x h y , ; &



4. Transformacin:

Si (G , *) es un grupoide.
f es una funcin definida en G
Entonces f es una transformacin del grupoide
G
si y slo si
f es una aplicacin


5. Semigrupo:

Si A es un conjunto no vacio.
& es una L.C.I. definida en A
Entonces (A , &) es un semigrupo
si y slo si
i) (A , &) es un grupoide.
ii) & es asociativa en A.


- 9 -
Profesor: Fernando Gamarra Morales.
6. Monoide:

Si (A , *) y (B , &) son grupoides.
h es una aplicacin de A en B
Entonces h es un homomorfismo de A en B
si y slo si
( ) ( ) ( ) y h x h y x h A y x & ; , = - e



II. EJERCICIOS.-

1. Cules son grupoides?
a) (S , &) donde { } 1 & ; , , 4 , 3 , 2 , 1 = e = y x S y x S
b) ( ) , Z c) ( ) , N d) ( ) , Q e) ( ) , Z

2. Es ( ) $ , Z un grupoide cuando se define por:
a) b a b a + = $
b) ( )
2
$ b a b a + =
c) ab b a b a = $
d) 0 $ = b a
e) a b a = $
f) 1 $ = b a

3. Construir un grupoide conmutativo de orden 3.

4. Demostrar que el conjunto Q*, dse los nmeros racionales diferentes de cero, dotado de la
divisin usual de nmeros racionales, es un grupoide. Es conmutativo? Es semigrupo? Es
monoide?

5. Sea { } 4 , 3 , 2 , 1 = G . Las operaciones binarias definidas en G por las tablas siguientes convierten
a G en un grupoide.

1 2 3 4 1 2 3 4 1 2 3 4
1
2
3
4
1 2 3 4
2 4 2 4
3 2 1 4
4 4 4 4
1
2
3
4
1 2 3 4
2 1 4 3
3 4 1 2
4 2 3 1
1
2
3
4
1 1 1 1
2 2 2 2
3 3 3 3
4 4 4 4
Cules de los grupoides son semigrupos? Cules son monoides? Qu elementos son inversos?

6. Sea G el grupoide constituido por el conjunto Q con la operacin binaria % definida por
ab b a b a + = % . Es el grupoide ( ) % , Q un semigrupo? Existe un elemento neutro en
( ) % , Q ? Qu elementos del grupoide tienen inversos?

7. La misma pregunta que el ejercicio anterior para el conjunto Q y la ley ab b a + .

8. Si en los grupoides de los ejercicios N 6 y N 7 se sustituye Q por el conjunto Z Se obtienen
las mismas respuestas?.

9. Sean a, b y c tres elementos inversibles de un semigrupo. Demostrar que a (b c) posee un
inverso y que es (c b) a.

- 10 -
Profesor: Fernando Gamarra Morales.
10. Sea { } 3 , 2 , 1 = E y F(E,E) = el conjunto de aplicaciones biyectivas en E. Encontrar todos los
elementos inversibles de ( ) , E) F(E, , es la composicin de funciones.

11. Expresar con ayuda de las transformaciones: a& y &a, la funcin de los elementos notables.

12. Sean ( ) - , A un monoide y A S c = | . Por definicin ( ) - , S es un sub-monoide de ( ) - , A s
y solo si ( ) - , S es un monoide. Demostrar que la interseccin de toda familia de sub-monoides
de A, es un sub-monoide de A.

13. Sean ( ) - , A un semigrupo y S una parte no vaca de A. La interseccin de todos los sub-
semigrupos que contienen a S se llama sub-semigrupo generado por S, y lo denotamos por:
i
S S = . Donde cada
i
S es un subsemigrupo que contiene a S. Si A S = , entonces se dice
que A est generado por S. Verificar para ( ) + , N y ( ) + , Z .
i) {} 1 = S N S =
ii) { } 1 , 1 = S Z S =

14. Sea { } 1 = G . Es ( ) , G un grupoide, si es la multiplicacin usual de enteros?, tiene
neutro?, absorvente?, elementos inversibles?

15. La misma pregunta que el ejercicio anterior cuando
4
1 = G , con la multiplicacin usual de los
complejos.

16. Sea
i
f , 6 , 5 , 4 , 3 , 2 , 1 = i , el conjunto G de las aplicaciones de { } 1 , 0 R en R definidas,
{ } 1 , 0 e R x , por:
x x f :
1

x
x f
1
1
:
2

x
x
x f
1
:
3

x
x f
1
:
4

1
:
5
x
x
x f
x x f 1 :
6


Estdiese las propiedades y la existencia de elementos notables.

17. Sea R* el conjunto de los nmeros reales diferentes de cero. Sea & la operacin binaria
definida en R* por b a b a = & para * , R b a e . Demostrar que ( ) & , * R es un grupoide
asociativo, pero no es conmutativo.

18. Sea la operacin - definida en G = RxR por (a,b) - (c,d) = (ac , bc+d). Es (G , - ) un
grupoide conmutativo?, es asociativo?, tiene elementos distinguidos?

19. Sea G el semigrupo de los enteros con la adicin usual de enteros y sea H el semigrupo de los
enteros pares con la adicin usual. Verificar que la aplicacin H G h : : x x 2 es un
homomorfismo de G en H.

20. La misma pregunta que el ejercicio anterior, pero con H = el semigrupo de los nmeros
naturales.

21. El mismo enunciado que el ejercicio N 19, pero:

a) H G h : definida por
2
x x
- 11 -
Profesor: Fernando Gamarra Morales.
b) H G h : definida por 0 x

22. Sea G el semigrupo de los nmeros naturales con la adicin y H el semigrupo de nmeros
naturales con la multiplicacin. Demostrar que la aplicacin H G p : , definida por
( )
x
x p 2 = es un homomorfismo.

23. Sean { } ( ) $ , 3 , 2 , 1 = G y { } ( ) & , , , c b a H = , los grupoides con las operaciones y & definidas
por:
$ 1 2 3 & a b c
1
2
3
1 2 3
2 3 1
3 1 2
a
b
c
c a b
b b a
c a b
Cules de las siguientes aplicaciones son homomorfismo?
a) a 1 , b 2 , c 3
b) a 1 , a 2 , a 3
c) a 1 , b 2 , b 3
d) b 1 , c 2 , c 3
e) b 1 , b 2 , b 3
f) c 1 , a 2 , b 3

24. Sea G el semigrupo de los nmeros naturales con la adicin usual. Determinar cules de las
siguientes aplicaciones en G son homomorfismos.
a) ( ) 1 2 + = x x f b) ( )
2
2x x g = c) ( ) 1 = x h

25. La aplicacin m: P(E) P (E) : PE-P, es un homomorfismo entre los grupoides (P(E),
) y (P(E), ). Es todava un isomorfismo (se llama isomorfismo de De Morgan).

26. Un isomorfismo es involutivo si la composicin consigo mismo origina la identidad. Demostrar que
el isomorfismo de De Morgan es involutivo.

27. ( ) + , 5Z es un sub-grupoide de ( ) + , Z . En general ( ) + , nZ es un sub-grupoide de ( ) + , Z . Existen
restricciones para n?

28. Si b a = , entonces el monoide { } ( ) , , b a R de todas las relaciones definidas en { } b a, tienen 16
elementos, de los cuales tres son nilpotentes y once idempotentes, cules son?

29. Demostrar que en todo monoide abeliano se verifica: ( )
n n n
y x y x & & =

30. Si ( ) ,& A es un monoide abeliano, la aplicacin A A f
n
: definida por
n
x x es un
automorfismo de ( ) & , A .

31. En N se define la ley & por
b
a b a = & . Cules son los subgrupoides de ( ) ,& N engendrados
respectivamente por { } {} { } { } 2 , 1 2 , 1 , 0 , y | .

32. Sea . una L.C.I. definida por: ( ) b a mcm b a , = . . Cul es el subgrupoide de ( ) . , N
engendrados por: { }{ }{ }{ } { }{ } | y 7 , 3 , 10 , 8 , 8 , 6 , 6 , 3 , 2 , 1 , 56 respectivamente?

33. Sea v una L.C.I. definida por: ( ) b a MCD b a , = v . Cul es el subgrupoide de ( ) v , N
engendrados por: { } 36 , 128 y los subconjuntos del ejercicio anterior?
- 12 -
Profesor: Fernando Gamarra Morales.
GRUPOS



I. DEFINICIONES.-


1. Grupo:


Si A es un conjunto no vaco.
* es una L.C.I. definida en A
Entonces (A, *) es un grupo
si y slo si
i) ( ) - , A es un monoide.
ii) Todos los elementos de A son simetrizables.
Si adems:
iii) * es conmutativa en A
Entonces (A, *) es un grupo abeliano o conmutativo



2. Sub - grupo:

Si (G , *) es un grupo
C = c S A
Entonces (S , *) es un sub - grupo de (G , *)
si y slo si
(S , *) es un grupo.



3. Teorema de caracterizacin de sub-grupos:

Si (G , *) es un grupo.
A Sc = C
Entonces ( ) S y x S y x e - e
1
; , (S,*) es sub-grupo de (G,*)



4. Homomorfismo:

Si (A , *) y (B , &) son grupos.
h es una aplicacin de A en B
Entonces h es un homomorfismo de A en B
si y slo si
( ) ( ) ( ) b h a h b a h A b a & * ; , = e







- 13 -
Profesor: Fernando Gamarra Morales.
5. Ncleo de un homomorfismo:

Si f es un homomorfismo de A en B.
n es el elemento neutro de (A, *)
Entonces C es el ncleo de f
si y slo si
C = Nf = Ker f = f
-1
(n).
si y slo si
( ) { } n x f A x C = e = /


6. Imagen de un grupo segn un homomorfismo:

Si f es un homomorfismo de A en B.
Entonces C es la imagen de A, segn f
si y slo si
C = Im f = f(A)
si y slo si
( ) { } y x f A x B y C = e - e = ; /



II. EJERCICIOS.-

1. Es (S,*) un grupo si:
a) S = Z y * es la multiplicacin usual de enteros?
b) S = Q y * es la multiplicacin usual de racionales?
c) { } 0 / > . e = q Q q q S y * es la multiplicacin usual de nmeros racionales?
d) { } 2 / = . e = z Z z z S y * es la multiplicacin usual de nmeros enteros?
e) S = R y * la adicin usual de nmeros reales?
f) S = Z y * se define por a*b = 0
2. Sea P el conjunto de enteros pares. Demostrar que P con la adicin de enteros pares es un grupo.
3. Sea S el conjunto de los nmeros reales de la forma 2 b a + , donde Q b a e , y no son
simultneamente iguales a cero. Demostrar que S, dotado de la multiplicacin usual de los nmeros
reales, es un grupo.
4. Sea S el conjunto de los nmeros complejos de la forma 5 +b a donde Q c b a e , , y no son
simultneamente iguales a cero. Demostrar que S, con la multiplicacin usual de los nmeros
complejos es un grupo.
5. Las siguientes tablas definen cada una, una operacin binaria. Es un grupo el grupoide resultante?
1 2 a b
1
2
1 2
2 1
a
b
b a
a b
6. Sea n un entero positivo cualquiera y sea { } Z b a n b a G
n
e + = , / donde Z es el conjunto de los
enteros. Demostrar que G
n
es un grupo respecto a la adicin. Cundo ocurre que G
n
=Z?
7. Sea n un entero positivo cualquiera. Sea { } Z b a n ib a G
n
e + = , / donde 1 = i y Z es el
conjunto de enteros. Es G
n
un grupo respecto a la adicin? Es G
n
un grupo respecto a la
multiplicacin de nmeros complejos?
- 14 -
Profesor: Fernando Gamarra Morales.
8. Sea D = Z x Z. Defnase ( ) ( ) ( ) ( ) d b c a d c b a
c
+ + = - 1 , , , . Demostrar que D es un grupo
respecto a la operacin -. Ser ( ) - , D un grupo abeliano?
9. Sea G = Z x Z. Defnase ( ) ( ) ( ) d b c a d c b a
c
+ + = - 2 , , , . Demostrar que G es un grupo respecto
a la operacin -. Ser ( ) - , G un grupo abeliano?
10. Del ejercicio anterior. En G se define:
( ) ( ) ( ) d b c a d c b a
c
+ + =

2 , , & , . Es un grupo abeliano?

Es G un grupo respecto a la operacin: ( ) ( ) ( ) d b c a d c b a
c
+ = 2 , , $ , ?
11. Determinar en cada caso si el par ( ) - , G es un grupo
a) { } Z k k x x G e . + = = 1 2 / , - es el producto ordinario.
b) { } Z k k x x G e . = = 3 / , - es la adicin en Z.
c) { } Q b a b a G e + = , / 2 , - es el producto habitual.
d) { } Z k x x G
k
e . = = 2 / , - es el producto de enteros.
12. Demostrar que ( ) + ,
n
R es un grupo abeliano, siendo R
n
el conjunto de todas las n-uplas de
nmeros reales, y la suma definida por:
( ) ( ) ( )
n n n n
y x y x y x y y y x x x + + + = + ,..., , ,..., , ,..., ,
2 2 1 1 2 1 2 1
.
13. Sea ( ) + , Q el grupo aditivo de los racionales. Es Z un sub-grupo de Q? Es N un sub-grupo de Q?.
14. Es { } 0 Z un subgrupo de ( )
-
, Q , el grupo multiplicativo de los nmeros racionales diferentes de
cero?
15. Es Q un sub-grupo de ( ) + , C , el grupo aditivo de los nmeros complejos?
16. Es
-
Q definido como en el ejercicio N 14, un sub-grupo de ( )
-
, C , el grupo multiplicativo de los
nmeros complejos diferentes de cero?
17. Es
-
Q un sub-grupo del grupo de los nmeros reales de la forma 2 b a + , tales que Q b a e , y
a y b no son simultneamente iguales a cero, si la operacin binaria es la multiplicacin?
18. Demostrar que la interseccin de dos subgrupos H y K de un grupo G es un subgrupo. Cabe decir
lo mismo de la unin?
19. Sea D el grupo del ejercicio N 8. Determinar si ( ) { } Z a a H e = / 0 , y ( ) { } Z q q K e = / , 0 son
subgrupos de D.
20. Sea G el grupo del ejercicio N 9. Determinar si ( ) { } Z a a H e = / 0 , y ( ) { } Z q q K e = / , 0 son
subgrupos de G.
21. Formar el conjunto de todas las simetras y rotaciones del tringulo equiltero, que lo transforman
congruentemente, y verificar que dicho conjunto con la composicin de funciones es un grupo.
22. Determinar todos los subgrupos del ejercicio anterior.
23. Sea ( ) { } 0 / ,..., ,
2 1
= e =
i
n
n
x R x x x H . Demostrar que ( ) + , H es un sub-grupo de ( ) + ,
n
R .
24. Verificar que ( ) + ,
2 2x
R es un grupo abeliano y que ( ) + , H es un sub-grupo, siendo H el conjunto
de matrices reales de dos filas y dos columnas que verifican A=-A
t
, tales matrices se llaman anti
simtricas y satisfacen a
ij
=-a
ij
.
25. Verificar que {} 1 = E dotado de la multiplicacin y { } 0 = F dotado de la adicin son dos grupos
isomorfos.
- 15 -
Profesor: Fernando Gamarra Morales.
26. Demostrar que { } 1 , 1 = G dotado de la multiplicacin es un grupo.
27. Prubese que, sobre un grupo (multiplicativo) cualquiera, la ecuacin axbcx = abx admite solucin
nica. Determnese esta.
28. Sobre un grupo multiplicativo cualquiera, hllese una solucin de la ecuacin xax = bba
-1
.
29. Sobre un grupo abeliano cualquiera resulvase la ecuacin: xabxc = bxa.
30. Sobre el conjunto Q Q de pares ordenados de racionales ( ) b a, tales que 0 = a , definimos la ley
( ) ( ) ( ) d bc ac d c b a + = - , , , . Demustrese que esta ley confiere al conjunto estructura de grupo.
31. Estdiese el grupo de isometras de un rectngulo. Hllese su orden; reconzcase que es abeliano;
hllese sus automorfismos y el grupo que estos forman; hllese tambin sus sub grupos.
32. Sobre { } 1 , 0 Q se consideran las cuatro funciones:
x x f :
1
,
x
x f
1
:
2
, x x f :
3
,
x
x f
1
:
4


Demustrese que forman un grupo con la composicin de funciones. Comprese con el grupo del
rectngulo.
33. En las condiciones del ejercicio precedente, estdiese el grupo de las seis funciones:
x x f :
1

x
x f
1
:
2
x x f 1 :
3

x
x f
1
1
:
4

x
x
x f
1
:
5

1
:
6
x
x
x f
34. Estdiese el grupo de isometras del cuadrado. Determnese todos sus subgrupos, uno de ellos es
isomorfo al grupo del rectngulo, cul?.
35. Demostrar que en el conjunto de los pares racionales ( ) b a, dotados de la ley:
( ) ( ) ( ) d bc ac d c b a + = - , , , , los pares ( ) b , 1 forman un grupo.
36. Sean { } 0 = R A y la funcin A A f : tal que ( )
2
x x f = . Demostrar que f es un morfismo del
grupo ( ) - , A en s mismo y determinar su ncleo y su imagen.
37. Investigar si A A f : definida por ( )
3
x x f = es un morfismo, en el mismo caso del ejercicio
anterior.
38. Demostrar que R N f
-
: tal que ( ) x x f
2
log = es un isomorfismo de ( ) ,
-
N en ( ) + , R .
39. Sean ( ) - , G un grupo y G ae . Se define G G f : mediante ( ) a x a x f - - =
1
. Determinar
que f es un automorfismo (isomorfismo sobre s mismo), definido por G ae ; se llama
automorfismo interno.
40. Demostrar que la composicin de dos homomorfismos de grupos es un homomorfismo.
41. Sea ( ) - , G un grupo. En G se define la operacin & mediante b a b a - = & . Demostrar que
( ) ,& G es un grupo.
42. En Q
2
se considera - definida por: ( ) ( ) ( ) d bc ac d c b a + = - , , , . Determinar si Q
2
tiene estructura
de grupo con -.
43. Demostrar que el semigrupo ( ) - , X es un grupo si y solo si las ecuaciones b a x = - y b x a = -
son resolubles en X.
- 16 -
Profesor: Fernando Gamarra Morales.
44. Sean los grupos ( ) + ,
3
R y ( ) + ,
2
R . Probar que
2 3
: R R f definida por
( ) ( )
3 2 3 1 3 2 1
, , , x x x x x x x f = es un homomorfismo. Determinar su ncleo y su imagen.
45. Sea el grupo ( ) , Z . Demostrar que la funcin Z Z f : definida por ( )
4
3
x x f = es un
homomorfismo. Determinar su Ker f e Im f.
46. Cules son los sub grupos de ( ) + ,
12
Z ? Indique una parte generatriz de cada subgrupo.
47. Cul es el subgrupo del grupo cclico ( ) + ,
24
Z engendrado por { } 3 ?
48. Cules son los subgrupos del grupo cclico ( ) + ,
13
Z engendrados respectivamente por { } 3 , { } 5 y
{ } 10 ?
49. Hallar los subgrupos normales de los grupos de permutaciones de dos elementos (S
2
), de tres
elementos (S
3
) y de cuatro elementos (S
4
).
50. Es normal el subgrupo
)
`

|
|
.
|

\
|
|
|
.
|

\
|
3 1 2
3 2 1
,
3 2 1
3 2 1
de S
3
?
51. Es normal el subgrupo
)
`

|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
1 2 3 4
4 3 2 1
,
2 1 4 3
4 3 2 1
,
3 4 1 2
4 3 2 1
,
4 3 2 1
4 3 2 1
de S
4
?
- 17 -
Profesor: Fernando Gamarra Morales.
ANILLOS


I. DEFINICIONES.-

1. Anillo:


Si A es un conjunto no vaco.
* y & son L.C.I. definidas en A
Entonces (A, *,&) es un anillo
si y slo si
i) ( ) - , A es un grupo abeliano.
ii) (A,&) es un semigrupo.
iii) & es distributiva con respecto a * en A


2. Sub - anillo:

Si (A ,*,&) es un anillo
C = c S A
Entonces (S ,*,&) es un sub - anillo de (A ,*,&)
si y slo si
(S ,*,&) es un anillo.


3. Teorema de caracterizacin de sub-anillos:

Si (A ,*,&) es un anillo.
A Sc = C
Entonces ( ) ( ) S b a S b a S b a e e - e

& , ; ,
1
(S,*,&) es sub-anillo de (A,*,&)


4. Homomorfismo de anillos:

Si (A ,*,&) y (B,%,$) son anillos.
f es una aplicacin de A en B
Entonces f es un homomorfismo de A en B
si y slo si
( ) ( ) ( )
( ) ( ) ( ) y f x f y x f
y f x f y x f A y x
$ &
% * ; ,
=
= e



5. Anillo sin divisores de cero:

Si ( ) ,& ,- A es un anillo.
n es el elemento neutro de ( ) - , A
Entonces ( ) ,& ,- A no tiene divisores de cero
si y slo si
n y n x n y x A y x = v = = e & ; ,


- 18 -
Profesor: Fernando Gamarra Morales.
6. Dominio de integridad:

Si ( ) ,& ,- A es un anillo sin divisores de cero.
Entonces ( ) ,& ,- A es un anillo ntegro
si y slo si
( ) ,& A es abeliano


7. Ideal de un anillo:

Si ( ) ,& ,- A es un anillo.
A Ic = C
Entonces I es un ideal de A
si y slo si
i) I es sub anillo de A
ii) ( ) ( ) I x y I y x A y I x e v e e e & & ,




II. EJERCICIOS.-

1. Demustrese que los elementos n y a forman un anillo para las leyes:
a - n = n - a = a a & n = n & a = a
n - n = n n & n = n
a - a = n a & a = a
Interprtese lo anterior reemplazando n por PAR y a por IMPAR.
2. En Z
2
se definen la adicin y la multiplicacin mediante:
( ) ( ) ( ) b y a x b a y x + + = + , , , ( ) ( ) ( ) 0 , ' , , xa b a y x =
Verificar que ( ) +, ,
2
Z es un anillo y clasificarlo.
3. En Z
2
se consideran la suma habitual de pares ordenados y el producto definido por:
( ) ( ) ( ) bx ay ax y x b a + = , , , . Comprobar que ( ) +, ,
2
Z es un anillo conmutativo con unidad.
4. { } Z b a b a x R x A e . + = e = , 2 / . Comprobar que A es un anillo conmutativo y con unidad,
con la suma y el producto de nmeros reales. Investigar si admite divisores de cero.
5. Con relacin al anillo del ejercicio anterior, verificar que: A A f : , tal que
( ) 2 2 b a b a f = + es un isomorfismo de A en A, respecto de la adicin y de la
multiplicacin.
6. Resolver los siguientes sistemas de ecuaciones en ( ) +, ,
5
Z :

= +
= +
3 4 3
2 2
y x
y x

= +
= +
0 3 2
3 2 4
y x
y x

=
= +
1 2
3
y x
y x
1 2 3 = + x
7. Sea P(E) el conjunto potencia de E. Demostrar que (P(E), , ) es un anillo con unidad.
8. Forman un ideal los elementos no invertibles de los anillos Z
16
y Z
21
?
9. Demostrar que A=2Z es ntegro.
- 19 -
Profesor: Fernando Gamarra Morales.
10. (P(E), A, ). Es un anillo con unidad?
11. El conjunto de los nmeros racionales
b
a
tal que b es mltiplo de 5. Forman un anillo con unidad?



CUERPOS Y CAMPOS


I. DEFINICIONES.-

1. Cuerpo:


Si A es un conjunto no vaco.
* y & son L.C.I. definidas en A
Entonces (A, *,&) es un cuerpo
si y slo si
i) ( ) - , A es un anillo.
ii) (A
*
,&) es un grupo.



2. Teorema de caracterizacin de sub-anillos:


Si (K ,*,&) es un cuerpo.
K Sc = C
Entonces
)
`

e e

- -
S a S a
K de anillo sub es S
1
(S,*,&) es sub-cuerpo de (K,*,&)



3. Campo:


Si K es un conjunto no vaco.
* y & son L.C.I. definidas en K
Entonces (K, *,&) es un campo
si y slo si
i) ( ) ,& ,- K es un anillo.
ii) (K
*
,&) es un grupo abeliano.


- 20 -
Profesor: Fernando Gamarra Morales.
II. EJERCICIOS.-

1. Demostrar que { } Q b a b a e + , / 2 es un cuerpo conmutativo.
2. El conjunto de las matrices triangulares superiores
)
`

e
(

= R c b a
b
c a
T , , /
0
forman un sub-anillo
de R a M
ij x
e ,
2 2
. M
2x2
es un cuerpo?, es un campo?, T es sub-cuerpo?, es sub-campo?
3. Dentro del cuerpo de los racionales, frmese el menor subconjunto que sea un Dominio de integridad
y contenga al nmero 1/5. La misma cuestin si los nmeros son 1/5 y 1/7. Generalcese.
4. Consideremos los pares racionales ( ) b a, con las leyes:
( ) ( ) ( ) d b c a d c b a + + = + , , , ( ) ( ) ( ) cb ad bd ac d c b a + + = , 2 , ,
Demustrese que forman un cuerpo. Ser campo?
5. La misma cuestin para ( ) ( ) ( ) bc ad bd ac d c b a + = , , , .
6. En P(E) se definen las leyes:
( ) ( ) ' ' X Y Y X Y X = + y Y X Y X = . Es anillo?
Demustrese que en este anillo se tiene siempre X2=X. En tales condiciones se dice que todo
elemento es idempotente par4a la segunda ley. Ser idempotente para la primera ley?. La estructura
definida, es campo?
- 21 -
Profesor: Fernando Gamarra Morales.

POLINOMIOS


I. DEFINICIONES.-


1. Sucesin:


Si s es una funcin de N en A.
Entonces C es una sucesin
si y slo si
{ }
n
s C =
si y slo si
( )
n
s n s n
A N s C
=
=

:

es una aplicacin


2. Polinomio Formal:

Si K es un anillo conmutativo con unidad
p
n
es una sucesin en K, tal que
p(n+1) = p(n+2) = = 0
Entonces p es un polinomio formal de grado n sobre
el anillo K o con coeficientes en K
si y slo si
{ }
n
p p =


3. Anillo de polinomios:

Si P es el conjunto de polinomios con coeficientes en K
(P,+) es un grupo abeliano
( ) , P es un monoide abeliano
Entonces | | x K es un anillo de polinomios con coeficientes en K
si y solo si
| | ( ) + = , , P x K


4. Suma de polinomios:

Si f = (f
0
, f
1
, f
2
, )
g = (g
0
, g
1
, g
2
, )
son polinomios definidos en K
Entonces (f + g) es la suma de f y g
si y slo si
f + g = (f
0
+g
0
, f
1
+g
1
, f
2
+g
2
, , f
i
+g
i
, )



- 22 -
Profesor: Fernando Gamarra Morales.
5. Producto de polinomios:

Si f = (f
0
, f
1
, f
2
, )
g = (g
0
, g
1
, g
2
, )
son polinomios definidos en K
Entonces (f g) es el producto de f y g
si y slo si
f g = (p
0
, p
1
, p
2
, , p
k
, )
tal que

= +
=
k j i
i i k
g f p




II. EJERCICIOS.-

1. Sean u = (-1,0,2) y v = (0,2,-3) polinomios definidos en Z. Hallar u + v ; u v ; u
2
; v
2
.
2. Sean u = (1,2) y b v = (3,4) polinomios definidos en Z
5
. Hallar u + v ; u v ; u
2
; v
2
; u
2
v
2

; u
3
.
3. Sean u = (0,0,1/2) y v = (-1/3,0,2/5) polinomios definidos en Q. Hallar Hallar u + v ; u v ;
u
2
; u
3
; u
4
; v
2
.
4. Sean u = (2,1/2) y v = ( ) 3 , 0 , 0 , 2 polinomios definidos en R. Hallar u + v ; u v ; u
3
; v
2
.
5. Sean u = (1+2i,1/2) y v = (0 , 2-i , i-2) polinomios definidos en C. Hallar u +v ; u v ; u
2
; v
2
.
6. Los polinomios f(x) = x
5
+ 3x
4
+ x
3
+ 4x
2
+ 3x 1 ; g(x) = x
2
+x +1 pueden ser considerados como
pertenecientes al anillo | | x Z o, digamos, al anillo | | x Z
5
, de acuerdo a como se interpreten sus
coeficientes. Utilizando el algoritmo de la divisin, mostrar que en el primer caso f(x) no se divide
exactamente por g(x), y en el segundo caso se divide exactamente.
7. Sobre el cuerpo de los enteros mdulo cinco multiplquese y ordnese los dos polinomios:
( )( ) 2 3 1 4 2
2 2
+ + + x x x x y ( )
2
2
4 2 + + x x
8. La misma cuestin con los siguientes polinomios, que pertenecen a | | x Z
7
:
( )( ) 1 3 6 4 2 5
2 3
+ + x x x x y ( )
3
2
2 4 3 + x x
9. Cuntos polinomios distintos de segundo grado, de tercer grado de n-simo grado podemos
formar sobre el cuerpo K = Z
3
.
10. Sobre el cuerpo Z
7
determnese c y d de modo que: d cx x x x + + + +
2 3 4
5 3 sea un cuadrado
perfecto, de qu polinomio?
11. Sobre el cuerpo de los nmeros racionales, demuestre que, mediante un cambio de variable, el
polinomio: ( ) ( )( ) 1 3 4 7 8
2
+ + + x x x se reduce a un polinomio de segundo grado.
12. Efectese la divisin de 6 3 10 6
2 3 4
+ + + = x x x x A , entre x x B 3
2
+ = , dedzcase de ello la
descomposicin de A en dos trinomios de segundo grado.
13. Sobre el cuerpo Z
7
, determnese un polinomio ( ) c bx ax x P + + =
2
, tal que: P(1) = 4 , P(2) = 0 ,
P(6) = 1.
14. Cul es el valor numrico de 14 7 4 2
3 4
= x x x A para 3 1+ = x ?
15. Dados en | | x Z
6
los polinomios: ( ) 2 , 1 , 0 , 4 , 3 = p y ( ) 3 , 5 , 1 = q . Determinar:
- 23 -
Profesor: Fernando Gamarra Morales.
a) q p 2 b) q p c) q p +
2
d) el grado de q p 2 +
16. Obtener el nmero de polinomios en | | x Z de grado menor que cuatro con coeficientes a
i
tales que
3 1 s
i
a .
17. Determinar a, b, c en R, de modo que:
i) ( ) ( ) ( ) ( ) ( ) 1 2 2 1 9 , 16 , 4 + + = x cx x bx x x a
ii) ( ) ( ) ( )( ) 1 1 1 , 2
2
+ + + + = x c bx x x a
18. Obtener el cociente y el resto de la divisin de a entre b, pertenecientes a | | x Q , en los siguientes
casos:
a) a = (0,-1) , b = (-1,1/2)
b) a = (2,0,-1,0,1) , b = (-1,2,0,0,-1)
c) a = (0,-1,0,1) , b = (-1,0,2)
19. Mediante la regla de Ruffinni, determinar el cociente y el resto de la divisin de a entre b en:
a) a = (-1,a
3
,0,-a) , b = (-a,1)
b) a = (2,4,1,0,3) , b = (2,1) en Z
5
[x]
20. Investigar si los siguientes polinomios son irreductibles en | | x Q y en | | x R :
a) a = (-3,0,0,1)
b) b = (4,0,5)
c) c = (-1,0,0,0,0,0,1)