Textol de Algebra II - 2006

LGEBRA II
1

UNIVERSIDAD NACIONAL DE EDUCACIN
Enrique Guzmn y Valle
Alma Mter del Magisterio Nacional

INSTITUTO DE INVESTIGACIN

TTULO
ALGEBRA II

AUTORES : Hernn Espinoza Rojas
Rubn Mora Santiago

LGEBRA II
2
LGEBRA II
3
LGEBRA II
4

INTRODUCCIN

El presente texto titulado ALGEBRA II (Mdulo Autoinstructivo ) ha sido preparado para
los alumnos de matemtica del ciclo regular y tambin en la modalidad de profesionalizacin -
Rgimen Mixto; por encargo de las autoridades respectivas y de acuerdo a los syllabus de la
asignatura en mencin , con algunas excepciones.
El texto est dividido en 3 unidades y cada unidad en lecciones ;
- la I Unidad trata las Leyes de composicin interna, Monoides, Semigrupos , Propiedades y
elementos distinguidos.
- La Unidad trata de Parte estable , Ley Producto , Relacin de equivalencia compatible con una
ley de composicin interna y Homomorfismo de Monoides .
- La III Unidad trata de una introduccin a la teora de Grupos , Subgrupos , Grupos importantes ,
Propiedades de Subgrupos Generado , Grupos Cclicos.
Indicamos que en cada leccin se incluyen los objetivos , la motivacin , el desarrollo del tema ,
el resumen de cada leccin , las actividades de autoaprendizaje , la autoevaluacin etc.
Pensamos que cada unidad ha sido elaborado en forma amena y didctica; sin dejar de ser formal y
rigurosa.
Tambin manifiesto que agradeceremos mucho a nuestros colegas y otras personas que trabajan en
el rea de las estructuras algebraicas por las posibles sugerencias y recomendaciones sobre dicho
trabajo para mejorar en todo lo posible , en beneficio de nuestros alumnos; y as mismo mi
reconocimiento y agradecimiento a las autoridades universitarias de la UNE y al Instituto de
Investigacin , por su apoyo incondicional ya que sin el, sera dificultoso la publicacin del presente
trabajo .

HERNAN J. ESPINOZA ROJAS.
RUBEN J. MORA SANTIAGO

LGEBRA II
5

OBJETIVO GENERAL DE LA ASIGNATURA

El objetivo general del curso de ALGEBRA II para los estudiantes de Matemtica del
rgimen regular y programa de profesionalizacin - Rgimen Mixto es que empiece a conocer
algunas estructuras bsicas de Algebra, que relacione una estructura con otra, que estudie las
diversas propiedades propiedades de los conjuntos provistos de una ley de composicin interna,
tambin que relacionen y establezcan los homomorfismos entre dichas estructuras.
Se espera que al finalizar el presente estudio el alumno sea capaz definir un Monoide , un
Semigrupo , un Grupo , un Subgrupo , los homomorfismos e Isomorfismos entre grupos, resolver
ejercicios relacionados con todos estos conceptos , tambin distinguir los grupos especiales y
establecer una relacin entre el grupo de permutaciones con las rotaciones , reflexiones de figuras
geomtricas y en general las relaciones entre las estructuras algebraicas bsicas y la geometra; pero
tambin tengan una visin panormica de las estructuras algebraicas de monoides, semigrupos y
grupos; as como de la matemtica en general; finalmente comprenda y conozca las diversas
propiedades inmersas en la teora de Grupos en general .

LGEBRA II
6
6. ORIENTACIONES METODOLGICAS.

6.1 ESTRUCTURA DE TEXTO
El presente texto est dividido en 4 unidades ya que a su vez cada unidad estn divididas en
lecciones las mismas que estn relacionadas guardando un cierto orden lgico en las
materias que se exponen.

6.2 METODOLOGA

Para un mejor aprendizaje sugerimos tener un buen dominio de los pre-requisitos
que se dan en los diversos cursos de Matemticas Bsicas I y II , Algebra I e incluso tener
conocimientos de Tpicos de Anlisis.
Es necesario realizar estudio ordenado de los temas de cada unidad de su inicio y en
caso de ciertos problemas que pueden surgir consultar con algn texto de la bibliografa.

6.3 EVALUACIN

La evaluacin la realizaremos en funcin a los objetivos Generales y Especficos
propuestos en cada unidad y leccin; tambin en funcin a las habilidades y destrezas que
adquieren los estudiantes cuando estn al frente de un problema algebraico. Para ello
dejamos Pruebas para cada leccin cuidando cubrir los objetivos inicialmente propuestos;
dichas pruebas deben ser cuidadosamente analizadas y responder en el cuadro de respuestas
adjunto con (V) si es verdadero o con (F) en caso de ser falso. El puntaje para cada pregunta
es de 02.

LGEBRA II
7
7. PRIMERA UNIDAD.

LEYES DE COMPOSICIN INTERNA PROPIEDADES Y ELEMENTOS
DISTINGUIDOS

7.1 OBJETIVOS DE LA UNIDAD

El objetivo general de esta unidad es que el estudiante comience a conocer algunas
estructuras bsicas del Algebra distinguir y diferenciar una estructura de otra ; y se espera
que al finalizar la unidad el estudiante sea capaz de definir una estructura bsica , estudiar
sus propiedades y hallar sus elementos distinguidos como el elemento neutro , el elemento
simtrico , absorbente , etc.

7.2 LECCIN N 1

LEYES DE COMPOSICIN INTERNA (L.C.I.) MONOIDES SEMIGRUPOS.

7.2.1 OBJETIVO ESPECFICO

El objetivo especfico de esta leccin es que el alumno defina una L.C.I. apartar de
un conjunto cualquiera A = o ; adems diferencie un Monoide de un semigrupo.

7.2.2 MOTIVACIN DEL TEMA.

Para nosotros es sabido que la suma de dos o ms nmeros naturales es otro nmero
natural , es decir la Adicin en N es una operacin totalmente definida , similarmente en
P(E) con E = o por ejemplo la relacin o interseccin de dos conjuntos Ay B e P(E). Pero
el producto escalar de dos vectores de IR
2
Ser una operacin binaria totalmente definida ?
Esto en realidad no lo es . Similarmente si a,b,c e N ; entonces ( a - b ) - c = a - ( b - c)?
tambin no es cierto . Estas interrogantes lo aclararemos estudiando esta leccin.

LGEBRA II
8
7.2.3 DESARROLLO DEL CONTENIDO.

7.2.3.1. LEY DE COMPOSICIIN INTERNA (L.C.I.)

En nuestros estudios secundarios o en algunos cursos de matemticas bsicas a
menudo nos encontramos con operaciones como la adicin (de nmeros o fracciones) , la
multiplicacin de nmeros , la adicin de matrices y tambin con la operacin de unin ,
interseccin de conjuntos. A veces estos conceptos los encontramos como operaciones
binarias; tal es el caso por ejemplo de la adicin de nmeros reales se define como:
+ : R x R R / ( a , b ) e R ; a + b e R la unin de dos conjuntos como :
: P (E) x P (E) P (E) / ( a , b ) e P (E) x P (E) ; A B e P (E) donde E = o .

En fin podemos encontrar una serie de definiciones relacionado con las operaciones
binarias internas expresadas en ella. A tales operaciones binarias que en verdad son
funciones, en el Algebra suelen denominarse: LEYES DE COMPOSICIN INTERNA
(L.C.I.) Pero que es esto?

7.2.3.2 DEFINICIN. Sea A un conjunto no vaco, llamamos una ley de composicin interna
definida sobre A, a toda operacin:
* : O _ A x A A / ( a , b ) e A ; * ( a , b ) = a * b.
* ( a , b ) se lee : La imagen del par ( a , b )
y a - b se lee : a compuesto con b
EJEMPLOS:
1) Si A = N , Z , R, C y - = + , Se observa que :
+: A x A A / (a,b) e A ; a + b e A . Es decir la adicin es una L.C.I. definida
sobre A.

2) Si E = o y A = P (E) ; entonces la reunin y la interseccin de conjuntos son tambin
L.C.I. pues :
: P ( E) x P (E) P (E) / ( a , b ) e P (E) x P (E) A B e P (E).
LGEBRA II
9
3) Si A = { 0 , 1 , 2 } La siguiente tabla define una L.C.I.
a) + 0 1 2 b) # 0 1 2
0 0 1 2 0 0 1 2
1 1 2 0 1 1 3 0
2 2 0 1 2 0 2 1

Pero la tabla b) no Por qu?

7.2.3.3 MONOIDE: Un conjunto A = o , provisto de una L.C.I. - se llama monoide.
Es decir todo par ( A , - ) recibe el nombre de monoide si - es una L.C.I. definida sobre A.
EJEMPLOS:
1) Si A = N , Z , Q , R , C y - = + ( A , -) es un monoide
2) Si A = K
2x2
(matrices 2 x 2) y - = - producto
( K
2 x 2
, - )es un monoide verifique !
3) Si A = IR
n
, - = + ( IR
n
, + ) es un monoide verifique !
4) Si A = { a , b }
i ) - a b ii) o a b
a a b a a c
b a a b b a

i) es monoide ii ) no es monoide
7.2.3.4 DEFINICIN: Diremos que un monoide ( A , - ) finito , si el conjunto A es finito . En
caso contrario diremos que ( A , - ) es infinito .
La descripcin de los Monoides finitos se hacen mediante las tablas de composi-
cin . Por ejemplo si { }
n j i
a a a a a a A ,.... , ,...., , ,
3 2 1
= entonces :

LGEBRA II
10
j

- a
1

a
2

a
j

.
a
n

a
1

a
2

:
:
:

a
i

a a
i j
*

:
:
:

a
n

7.2.3.5 NOTAS IMPORTANTES
1) Una ley de composicin interna (L.C.I.) adems dela notacin - puede tomar cualquier
otra notacin como T , , A , , $ , # , etc.
2) Un monoide ( A , - ) tambin es llamado Grupoide.
3) El orden de un monoide ( A , - ) es el nmero de elementos de A y lo denotamos por
/A/ = o ( A ) ,
Si /A/ es finito , entonces el monoide ( A, - ) es finito .
Si /A/ es infinito , entonces el monoide ( A , - ) es infinito.
4) Dos monoides ( A , - ) y ( A , - ) son iguales si y solo si A = A y - = -
7.2.3.6.SEMIGRUPO . Un monoide ( A , - ) tiene la estructura de semigrupo si la ley -
definida sobre A es ASOCIATIVA es decir :

x , y ,z e A ( x - y ) - z = x - ( y - z )
LGEBRA II
11

EJEMPLOS :
1) ( N ,+ ) , ( Z , + ) , ( Q , + ) , ( R , + ) , ( C , + ) , ( N , - ) , ( Z , - ) ,,( R , - ) , etc
son semigrupos porque la adicin y multiplicacin en los conjuntos numricos dados es
asociativo.
2) El Monoide ( Q , o ) donde a , b , c e Q definimos :
a o b = a + b - ab es un semigrupo . En efecto :
( a o b ) o c = ( a + b - a b ) o c = ( a + b- ab ) + c - ( a + b - ab ) c
= a + b + c - ab - ac - bc + abc.( o )

y a o ( b o c ) = a o ( b + c - bc ) = a + ( b +c - bc ) - a ( b + c - bc )
= a + b + c - bc - ab - ac + a bc( | )
se observa que ( o ) = ( | ) Es decir
( a o b ) o c = a o ( b o c)
por lo tanto ( Q , o ) es un semigrupo.
3) Si A = { 0 , 1 , 2 } : a - b = a y a o b = b
- 0 1 2 o 0 1 2
0 0 0 0 0 0 1 2
1 1 1 1 1 0 1 2
2 2 2 2 2 0 1 2
Cuales son semigrupos ? Verifique !
4) El monoide ( IN , - ) donde x - y = m.c.d. ( x , y )
constituye un semigrupo.
Antes definimos el m.c.d. i) ( x , y ) e IN
ii) ( x , y ) / x A ( x , y) / y ( divide )
iii) Si d e IN , satisface que d / x A d /y d / ( x,y )
LGEBRA II
12
Ahora probaremos que para cualquiera x ,y, z e IN : entonces
( x , ( y , z ) ) = ( ( x , y ), z )
Llamaremos d
1
al trmino de la izquierda y d
2
al trmino de la derecha entonces por
ii)
d
1
/ x A d
2
/ ( y , z ) d
1
/ x A d
1
/ y A d
1
/ z
ahora por ii) d
1
/ ( x , y)
o sea d
1
/ ( x , y ) A d
1
/ z d
1
/ ( ( x , y) , z ) = d
2

hemos comprobado que d
1
/d
2
.
Razonando en forma anloga para el caso simtrico se tendr que d
2
/ d
1

d
1
= d
2

7.2.4 RESUMEN DE LA LECCIN

Dado un conjunto A = o una L.C.I. es toda aplicacin :
- : O _ A x AA / a , b eA ; - ( a , b ) = a - b e A
Ahora un conjunto dotado de una ley de composicin interna se llama MONOIDE
y denotamos por ( A , - ). Si la L.C.I. es asociativa , o sea a , b , c e A ;
( a - b ) - c = a - ( b - c ) decimos que el monoide es SEMIGRUPO.

LGEBRA II
13
7.2.5 ACTIVIDADES DE APRENDIZAJE

EJERCICIOS PROPUESTOS N 1

1) Cuales de los siguientes pares tienen la estructura de Monoide ?
a) ( Q , + ) b) ( C , + ) c) ( Q , ) d) ( IN , m.c.d. )
b) ( Z , - ) con x - y = 0 f) ( IN , - )

2) Dado A ={ 0 , 1 , 2 } y la operacin definida en las tablas
0 1 2 0 1 2 0 1 2
0 0 2 1 0 1 0 2 0 2 1 0
1 0 3 2 1 1 1 1 1 0 0 8
2 1 2 1 2 2 2 2 2 2 3 1
Cuales definen la estructura de monoide?

3) Si A es un subconjunto de 2 elementos . Halle Ud. todas las estructuras de monoide
que se puede realizar con A.

4) Sea I los nmeros irracionales ser ( I , .) un Monoide?
Ser ( I ,+) un Monoide? justifique ! c/u.

5) Si A ={ 1 , 2 , 3 , 4} y a .b = 4 , para elementos cualesquiera a , b eA.
Ser ( A , o ) un monoide ? justifique!

6) Determinar en los Monoides siguientes cuales son semigrupos
a) ( Z , - ) donde a - b = a + b + a.b
b) ( Z , - ) donde a - b = a
2
- b
2

#
LGEBRA II
14
c) ( Z , - ) donde a - b = b
d) ( Z ,.- ) donde a - b = a + 5

7) Verificar si el siguiente Monoide es un semigrupo
- x y z
x x y z
y y y y
z z z z

8) Sea IR -{0} el conjunto de los reales diferentes de cero, y la operacin o definida
por : a o b = /a /.b , para a , b e IR -{0}. Probar que ( IR-{0},o) es un semi-
grupo.

9) El Monoide ( IR
2
, . ) donde ( x , y ) .( z , t) = ( az , yz + t ) Ser un semigrupo?
pruebe!

10) Decir si es verdadero o es falso :

a) Todo semigrupo es un Monoide .
b) Todo monoide es semigrupo.
c) Si ( A , - ) esa semigrupo: entonces ( A , - ) no siempre es monoide.

LGEBRA II
15
7.2.6 AUTOEVALUACIN Lee cuidadosamente las preguntas y seale con un aspa si
es verdadero o falso .

1) Una L.C.I. es toda aplicacin de un conjunto A x A en A ...(V) o (F)
2) ( IN , - ) donde a - b = a
b
, es un Monoide finito ......(V) o (F)
3) En ( IR , - ) donde a - b = a
b
+ b
a
, no es semigrupo .. . (V) o (F)
4) Es ( M
2 x 2
, +) un semigrupo (V) o (F)
5) Sea G = { 1 , -1} Es ( G , . ) un semigrupo ...(V) o (F)
6) El par ( IN , - ) donde a - b = mx {a,b} es un monoide ..(V) o (F)
7) Si A ={ a , b , c }. - definida en la tabla:

o a b c
a a a a
b a a a
c a a a

Nunca ser ( A, o) un Monoide ..(V) o (F)

8) Si A = { A , O } y - A O
A A O
O O A
Ser (A , *) un monoide(V) o (F)

9) Sean ( Z , + ) y ( Z , - ) donde - ( x , y ) = x + y
Ser ( Z , + ) = ( Z ,- )? (V) o (F)
10) Es ( Q, ) un Monoide no Asociativo(V) o(F)
LGEBRA II
16
7.2.7. TABLA DE PUNTAJE

PREGUNTA 1 2 3 4 5 6 7 8 9 10
PUNTOS 2 2 2 2 2 2 2 2 2 2

7.2.8 CALIFICACIN

CALIFICATIVO NIVEL DE LOGRO
18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE
00 - 05 MUY DEFICIENTE

LGEBRA II
17
7.3 LECCIN N 2
PROPIEDADES Y ELEMENTO CENTRAL, EN MONOIDES Y/O
SEMIGRUPOS

Nuestro objetivo especfico y fundamental de esta leccin consiste en que
el estudiante sepa cuando dos o ms elementos de un conjunto provisto de una ley de
composicin interna son permutables y cual es el significado de la conmutatividad
como ley en el conjunto y tambin si tenemos un conjunto A = o dotado de2 L.C.I.
- y o por ejemplo, el estudiante debe ser capaz de diferenciar el significado de la
distributividad de una ley con respecto a otra ( y viceversa ).

7.8.2 MOTIVACIN DEL TEMA

Es muy sencillo observar de que en Z , la adicin es conmutativa pues a,
b e Z , a + b = b + a. similarmente si P(x), Q(x) son polinomios ; es conocido
que P(x) + Q(x) = Q(x) + P(x) o P(x) . Q(x) = Q(x) . P(x).
Ahora en ( IN , - ) donde a - b = a
b
Se cumplir que a - b = b - a ; a , b e IN?
La respuesta es no. Solo para el caso en que a = 4 y b = 2 . En este caso decimos
que 2 y 4 son elementos Permutables en IN , para la ley - .
Si retiramos de IN, aqu siempre es cierto que a .( b + c ) = a .b + a . c A
( b + c ) . a = b . a + c . a es ms a . ( b + c) = ( b + c ) . a Porqu?
pero en las matrices cuadradas 2 x 2 por ejemplo A . ( B + C ) = A . B + A . C y
( B + C ) . A = B. A + C . A , A , B , C Matrices cuadradas, surge la siguiente
pregunta.
Ser A . ( B + C ) = ( B + C ) . A ?.(.No justifique) . Estos contenidos los
veremos en la siguiente leccin.

LGEBRA II
18
7.3.3 DESARROLLO DEL CONTENIDO

7.3.3.1. ELEMENTOS PERMUTABLES . Dado un monoide ( A , - ) ; a ,b e A
decimos que a y b son elementos permutables de A con respecto a la ley - si
a - b = b - a , para algunos a y b e A.
EJEMPLOS:
Si A ={ a , b , c , d } y sean las operaciones :

- a b c d t a b c d
a a b c d a a b c d
b b a d c b b a d c
c c d a b c d d c b
d d e b a d c a b d

( 1 ) ( 2 )
En la tabla (1 ) a permuta con b pues a - b = b - a = b
a permuta con c pues a - c = c - a = c
a permuta con d pues a - d = d - a = d
b permuta con d pues b - d = d - b = c
c permuta con d pues c - d = d - c = b
En la tabla (2 ) b permuta con c pues b t c = c t d = d
c permuta con d pues c t d = d t c = b

7.3.3.2 CONMUTATIVIDAD . Dado un monoide ( A , - ) ; decimos que dicho monoide
es conmutativo si todos sus elementos tomados de 2 en 2 conmutan entre si .
Es decir :
x , y e A ; x - y = y - x
LGEBRA II
19

Ejemplos:
1) Si A = IN , Z , Q , IR y - = + - ( la adicin y la multiplicacin ).
Entonces ( A , - ) son Monoides conmutativos pues
a , b e A ; a - b = b - a

2) Si M = { m } y a - b = a m - m = m - m = m

3) Si E = o , en P (E) , La unin e interseccin son leyes conmutativas pues
A , B e P(E) : Se tiene que :
A B = B A A A B = B A Probar !

4) Sea
x
,
y
e
R
n
; si

x y x y * = +
; se prueba que el monoide (
R
n
, - ) es un
semigrupo conmutativo Pruebe Ud. !

7.3.3.3 DISTRIBUTIVIDAD DE UNA L.C.I. CON RESPECTO A OTRA
Sea A = o
provisto de dos L.C.I.. - y ; Se dice que la ley es distributiva con respecto a
la ley - si cumple :
Si X ( Y - Z ) = ( X Y ) - ( X Z ) Tambin
( Y - Z ) X = ( Y X ) - ( Z X ) X , Y , Z e A

Aqu se observa que la ley es distributiva a izquierda y derecha con respecto a la
ley - .

LGEBRA II
20
Un ejemplo trivial y Archiconocido es el caso cuando IN , Z , Q , IR , C , con las leyes
de multiplicacin y la adicin.
La multiplicacin es distributiva a izquierda y derecha reseco a la adicin , pues:
a , b , c e A a . ( b + c ) = a . b + a . c
y ( b + c ) . a = b .a + c . a
OTRO EJEMPLO : Si en { } 2 , 1 . 0
3
= Z definimos las operaciones.

0

1

2

0

1

2

0

0

1

2

0

0

0

0

1

1

2

0

1

0

1

2

2

2

0

1

2

0

2

1

Aqu se ve que x , y , z e
Z
3
Se cumple que

x y z x y x z =
- + - + -
( ) ( ) ( )
y tambin :

x y z x y x z =
- + - + -
( ) ( ) ( )

En efecto veamos algunos :

1
. (
1
+
2
) =
1
.
1
+
1
.
0
.(
1
+
2
) =
0
.
1
+
0
.
2

1
.
0
=
1
+
2

0
.
0
=
0
.
0

0
=
0

0
=
0

2
. (
1
+
0
) =
2
.
1
+
2
.
0

1
. (
2
+
0
) =
1
.
2
+
1
.
0

2
.
1
=
2
+
0

1
.
2
=
2
.
0

2
=
0

2
=
2

IDEM POR IZQUIERDA

LGEBRA II
21
Finalmente entre otros ejemplos tambin es conocido en P(E) CON E = o.
La unin y la interseccin son distributivas mutuamente pues:
A ( B C ) = ( A B ) ( A C )
A ( B C ) = ( A B) ( A C ) Pruebe ! Trivial

7.3.3.4 ELEMENTO CENTRAL CENTRO DE UN CONJUNTO
DEFINICIN Sea ( A , - ) un Monoide ; un elemento x e A elemento central de
A si x Permuta con todo elemento de A.
Es decir :
x - a = a - x , a e A

EJEMPLO :
1) Si A = { a , b ,c } y la operacin definida en A es :

- a b c a es elemento central pues
a a b c a - a = a - a = a
b b c a a - b = b - a = b
c c a b a - c = c - a = c
Similarmente b y c son elementos centrales.

Si B = { x , y , z , t }y la operacin definida en B es :
o x y z t
x x y z t Aqu x es elemento central por que
y y x t z es permutable con x , y , z , t Verifique!
z z t x y Existen otros elementos centrales ?
t t z y x
LGEBRA II
22
3) Si
A
1
= Z , Q , IR ,C y - = + , Entonces un elemento central de
A
1
para la
ley + es el cero o.
pues : o + a = a + o , a e
A
1

Similarmente en A con la ley - ( multiplicacin) 1 es un elemento central
porque 1 - a = a - 1 , a e
A
1
.

7.3.5. DEFINICIN:
Llamaremos centro de A (Cent ( A ) ) al conjunto formado por todos
los elementos centrales .
En loe ejemplos anteriores Cent ( A ) = { a , b , c }
Cent ( B ) = { x }
Cent (
A
1
) = { 0 }
Cent (
A
1
) = { 1 } y en cada caso.
Como corolario de esto podemos afirmar que un conjunto A con una L.C.I. puede
tener uno , dos , tres ,. Centros e inclusive ninguno ! .

7.3.4. RESUMEN ( DE LECCIN N 2 )

Empezamos estudiando la permutabilidad de elementos en un monoide ; en
efecto vimos que si ( A, - ) es un Monoide y si a , b e A ; decimos que a y b son
permutables en A para la ley - si a - b = b - a para algunos a y b e A ; pero si
esto es cierto a , b e A decimos que la ley - es conmutativa y esto me permite
afirmar , que el monoide ( A, - ) es conmutativo. Luego se vio la distributividad de
una L.C.I. L con respecto de otra - ambas definidas en el mismo conjunto .
Finalmente estudiamos el concepto de ELEMENTO CENTRAL de un conjunto
como aquel elemento x e A que permuta con todo elemento a e A y de all
extraemos el concepto de centro de un conjunto.
LGEBRA II
23


1.- Probar que en P(E) , la unin , interseccin y la diferencia simtrica son
conmutativos. Sern asociativos ?
2- Cuales de las siguientes leyes definidas en IR son conmutativas ?
a) x - y = x - 2 y d) x - y =
x xy y
2 2
+

b) x - y = x + y +1 e)
x y x xy y x * , = + =
2 2
1

c) x - y = / x - y f)
x y x y * = +
2 2

3.- Qu es el centro de un conjunto ? explique esto.

4.- Si A es una matriz cuadrada de orden 2 x 2 de un conjunto de Matrices
M
x 2 2
y
- = - ( producto )
El monoide (
M
x 2 2
, - ) Ser conmutativo? Tiene elementos permutables?
5.- Sea G = {1, 2 , 3 , 4 } y las leyes definidas en las siguientes tablas:

- 1 2 3 4 - 1 2 3 4 - 1 2 3 4
1 1 2 3 4 1 1 2 3 4 1 1 1 1 1
a) 2 2 4 2 4 b) 2 2 1 4 3 c) 2 2 2 2 2
3 3 2 1 4 3 3 4 1 2 3 3 3 3 3
4 4 4 4 4 4 4 2 3 1 4 4 4 4 4

LGEBRA II
24
i) Sern ( G , - ) , ( G , - ) , ( G , -) semigrupos conmutativos ?
ii) Halle sus elementos permutables en cada caso .

7.3.6 AUTOEVALUACIN

Lee cuidadosamente los siguientes enunciados y seale en la columna de
respuesta si es verdadero o falso.

1.- Si A = { 1 , 2 } y la L.C.I. definida en la tabla por :
o 1 2 3
1 1 2 3
2 2 1 3 Esta ley es conmutativa.(V) o (F)
3 3 3 1

2.- ( Q -{ 0 }, ) Es un Monoide conmutativo...(V) o (F)

3.- Sea t = { f : IR IR / f es biyectiva } o la composicin de funciones.
( t , o ) es un semigrupo conmutativo....(V) o (F)
4.- Sea ( IR ,- ) donde
a b a b * ( . ) =
2
. Esto no es un semigrupo....(V) o (F)
5.- Sea IR los nmeros reales ; donde :
x y
x y
* . =
2 3

se cumple que el Monoide ( IR , - ) no es monoide conmutativo..(V) o (F)
6.- En un Monoide ( A , - ) un elemento central x e A .
Permuta con todo elemento a e A..(V) o (F)

LGEBRA II
25
7.- ( Z , + ) tiene solo 2 elementos centrales 0 y 1 .(V) o (F)
8.- Si :
)
`
= + = = = i w i w w A
2
3
2
1
,
2
3
2
1
, 1
3 2 1

Todos sus elementos son permutables con respecto a la Multiplicacin}..(V) o (F)

9.- Todo semigrupo es un Monoide conmutativo..(V) o (F)

10.-Si E es un conjunto finito ( P(E) , ) tiene un nmero finito de elementos centrales:
(V) o (F)
7.3.7 TABLA DE PUNTAJE

PREGUNTA 1 2 3 4 5 6 7 8 9 10
PUNTOS 2 2 2 2 2 2 2 2 2 2

7.3.8 CALIFICACIN

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
26
7.4 LECCIN N 3

ELEMENTOS DISTINGUIDOS, REGULARES Y TEOREMA DE UNIDAD

7.4.1. OBJETIVO ESPECFICO

Se pretende que al terminar esta leccin el estudiante de dicho curso sea capaz
de conocer cual o cuales son los elementos distinguidos que puede tener un conjunto
provisto de una L.C.I. ;es decir saber que tiene un elemento absorvente , un
elemento neutro y un elemento simtrico. Adems el alumno reconocer los
elementos distinguidos si cambiamos la ley en dicho conjunto . Sin dificultad
alguna. Finalmente debe saber el estudiante si u Monoide posee un elemento
absorvente , neutro y simtrico este es nico para dicha ley.

7.4.2. MOTIVACIN DEL TEMA

Desde nuestros estudios primarios sabemos por ejemplo que 5 por 0 es
igual a cero y 0 por 5 = 0 se observa que cero lo absorve al 5 en la
multiplicacin de nmeros . Pero si ahora tenemos el Monoide ( IR , - ) ; donde :
a b
a b
* =
+
2

Cual ser el elemento absorvente ? un clculo siempre nos muestra que dicho
elemento
0
es precisamente a , si tenemos en el mismo Monoide ( IR , - )
a + b = a + 1 - b Cual es el elemento absorvente ? Existe ?
Anlogamente el 0 es el elemento neutro en la adicin de nmeros enteros
irracionales , reales , etc. Si cambiamos la operacin seguir siendo el 0 el neutro ?
averige. Bajo el mismo razonamiento se ve que el 1 es el elemento neutro de la
Multiplicacin de los nmeros reales en general . Finalmente se sabe que el
opuesto de todo nmero real a , es -a pues la suma de ambos produce el neutro par la
LGEBRA II
27
ley . Tambin todo numero real diferente de cero tiene un INVERSO con
respecto a la Multiplicacin ; si tenemos una ley -
en IR donde a - b = a + b - ab por ejemplo hablaremos de opuesto o inverso?
Indudablemente que no , pero podemos adecuar un termino preciso y es precisamente
el SIMTRICO de elementos simetrizables de un conjunto con respecto a la ley.


7.4.3.1. ELEMENTO ABSORVENTE
DEFINICIN: Sea (A , - ) un monoide ; un elemento
~
0 eA
se denomina
elemento absorvente de a si :
~
* *
~ ~
, 0 0 0 a a a A = = e

EJEMPLO :
1) Si A = Z , Q , IR , C y - = - ( La multiplicacin ) se ve fcil el cero es
elemento absorvente pues :
0 - a = 0
a - 0 = 0
2) En ( A , + ) Quin es el elemento absorvente ?
Rta.: Ninguno no existe pues . si fuera
~
0
tendramos
~ ~
, 0 0 + = a a
y

a a A + = e
~ ~
, 0 0
Pero esto es falso.

3) En ( IR-{0} ,- ) donde a , b e IR-{0} si se define la operacin :
a - b = a + b - ab
Aqu llamaremos el elemento absorvente para el cual supongo que es
~
0
.
Entonces :
~
*
~
0 0 a =

Pero:
~
*
~ ~
.
~
0 0 0 0 a a a = + =

LGEBRA II
28

=
=
~
.
~
0
0 1
a a

Se observa que
~
0 1 =
es el elemento absorvente a izquierda y derecha ; esto
existe por que son iguales .

4) En ( IR -{0} , - ) donde a , b e IR -{0} ;

a b a
b
* = + 2
1

Observamos que existe el elemento absorvente a izquierda y derecha
~
0
en efecto:
~
* .
~ ~
0 2 0
1
0 a
a
= + =

2 0 0
1
.
~ ~

a

~
0
1
=
a
.( o )

ahora
a a *
~
~
~
0 2
1
0
0 = + =

2
0
~
1 0
~
2
0
~
1 2
= +
= +
a
ab

Del cual
~
0 1
2
1
2
= + a a
...( |)
Entonces de ambos casos
Y tambin
~
0
1
=
a

~
0 1
2
1
2
= + a a

No son iguales ! Por tanto afirmamos que NO existe tal elemento absorvente .

LGEBRA II
29
7.4.3.2. ELEMENTO NEUTRO

DEFINICIN : sea ( A , - ) un monoide ; un elemento e e A para la ley - si:

e - a = a . a - e = a ; a e Z
En la primera igualdad se ver que e es un elemento neutro a la izquierda y en la
segunda igualdad se ve que e es un elemento neutro a la derecha .

EJEMPLO :
1) En ( Z , + ) EL O es un elemento neutro de Z para la ley +, pues :
o + a = a . a + o = a a e Z

En general si A = Q , IR , C y la ley - = + ( adicin ) el cero es un
elemento neutro de A para la ley + .

2) Si A = { Z -{0} , Q-{0} , IR-{0} , C-{0} y la ley * = - multiplicacin el
elemento neutro es 1 pues :
1 - a = a - 1 = a , a e A

3) En ( P(A) , ) ; Cul es el elemento neutro ?
Es aquel conjunto E e P(A) tal que E A = A . A E = A , A e P(A)
Estas dos igualdades se verifican si E = A , El elemento neutro es el mismo
conjunto A .

LGEBRA II
30
7.4.3.3 ELEMENTO SIMTRICO
Sea (A ,- ) un Monoide con el elemento Neutro e ; un elemento
a e A es simetrizable para la ley - si existe un elemento a e A tal que :
a - a = e . a - a = e
Aqu tambin se observa que a es el simtrico a izquierda y a derecha .
Entonces si se cumple lo anterior diremos que a en ( A , - ) o que a es simtrico
de a en ( A, - ).

EJEMPLO:

1) En ( Z , + ) todo elemento es simetrizable ; pues a e Z , existe :
a = - a e Z / ( - a ) + ( a ) = 0 . a + ( - a ) = 0
Similarmente en Q , IR , C , con la adicin +.

2) Si A = IR-{0} C - {0} en ( A , - ) todo elemento tambin es
simetrizable.
En efecto a e A ,
- = e = . = a
a
A a a a a
l l l
1
1 1 / . .

particularmente :
Si a a
l
: = = 3
1
3

ahora :
1
3
3 1 3
1
3
1 . . = . =

3) Si en ( IR , - ) definimos a - b = a + b - ab
Se prueba fcilmente que : e = 0 Si a = 1
queremos hallar el simtrico de un elemento a e IR . Supongamos que
a
l
es el
simtrico de a ; entonces :
a
l
-
a
=
e
.
a
-
a
l
=
e

LGEBRA II
31

a
l
+
a
-
a
l
.
a
=
e
.
a
+
a
l
-
a
.
a
l
=
e

a
l
( 1 -
a
) =
e
-
a
.
a
l
( 1 -
a
) =
e
-
a

como
e
= 0 si
a =1
tenemos que :

a
a
a
l
=

1
A
a
a
a
l
=

1
Si :
a =1

4) Si A = { a , b , c , d } y ley - definida en la tabla siguiente :

- a b c d Aqu : e = a
a a b c d Ahora : a = a
b b a d c b = b
c c d a b c = c
d d c b a -d = d

Cada uno es su propio simtrco con respecto de la ley -
.Resulta que: Si tenemos un Monoide ( A , - ) finito infinito
puede existir un slo elemento que tenga un simtrico , dos elementos que tengan
dos simtricos, etc. todos sus elementos inclusive sean simetrizables .

DEFINICIN . Si en un Monoide ( A , - ) todos sus elementos son
simetrizables, diremos que el conjunto A es simetrizables , diremos que el conjunto
A es simetrizable par la ley -.

EJEMPLOS :
1) Z , Q , R , C son conjuntos simetrizables con respecto a la adicin .
2) Q -{0} , IR -{0} , C -{0} son conjuntos simetrizables con respecto a la
multiplicacin.
LGEBRA II
32
3) Si A = { f : IR IR / f es biyectiva } se puede probar que A es simetrizable con
respecto a la composicin de funciones o .
En efecto :

e f A:

- e = f A f of Id
l l
/
A
fof Id
l
=

7.4.3.4 ELEMENTOS REGULARES

La regularidad de un elemento respecto de un ley de composicin interna
consiste es que es cancelable simplificable a izquierda y derecha en los dos
miembros de una igualdad.
DEFINICIN : Sea (A, - ) un Monoide , A e A ; decimos que a es regular respecto
de la ley - { Si a - b = a - c b = c . Si b - a = c - a b = c }
Aqu tambin observamos que a e A es el elemento regular a izquierda y a derecha.
Si tal es el caso diremos que a e A es un elemento regular.
NOTA : Es necesario indicar que para ciertos Monoides ( A, - ) ; pueden existir
elementos regulares solo a izquierda o solo a derecha ; hay tambin casos que an
existiendo elementos regulares a izquierda y a derecha estas No son iguales . Si tal
es el caso de la conclusin ser de que ( A , - ) no tiene elementos regulares .

EJEMPLOS :
1) En ( Z, + ) todos los elementos son regulares pues a , b , c e Z si :
a + b = a + c b = c y
b + a = c + a b = c

2) Similarmente en ( IR , - ) todos los reales excepto el cero son regulares .
En efecto si a - b = a - c b = c pues a = 0
y si b - a = c - a b = a pues a = 0

LGEBRA II
33
3) En ( Q , - ) donde x - y = x + y + x . y veremos si existen elementos regulares.
Dados x , y , z e Q , por probar que si :

? ?
x - y = x - z y = z . y - x = z - x y = z
| | | |
x + y + x . y = x + z + x. z y + x + y . x = z + x + z . x
y ( 1 + x ) = z ( 1 + x ) y ( 1 + x ) = z ( 1 + x )

y = z , x = -1 y = z , z = -1

Vemos que todos los elementos = -1 racionales son regulares .

4) Cules son los elementos regulares en P(E) para le Reunin ?
Para la Interseccin ?

7.4.3.5. TEOREMA : ( UNICIDAD DEL ELEMENTO NEUTRO )
Si el Monoide (A, - ) , existe el elemento neutro e ; ste es nico.
DEMOSTRACIN:

Supongamos que existen e y e elementos neutros de A para le ley -.
Entonces : e - x = x - e = x ; x e A -------------------( 1 )
e - x = x - e = x ; x e A ------------------ ( 2 )
como ven ( 1 ) y ( 2 ) es x e A podemos hacer x = e en ( 1 ) y x = e en (2)
LGEBRA II
34
Luego tendremos :
e - e = e - e = e ( 1 )
e - e = e - e = e ( 2) e = e

7.4.3.6 TEOREMA ( UNICIDAD DEL ELEMENTO SIMTRICO )
Si en un semigrupo ( A , - ) ; un elemento a e A es simetrizable ; su
simtrico es nico .
DEMOSTRACIN :
Lo proponemos como ejercicio !

7.4.3.7. TEOREMA :
Todo elemento simetrizables regular en un semigrupo .
DEMOSTRACIN:
Para esto componemos a al izquierda ( o por la derecha ) los dos miembros
de:
a - x = a - y ( x - a = y - a ) con a e A . Entonces :
Si :
a - x = a - y x - a = y - a
a - ( a - x ) = a - ( a - y ) ( x - a ) - a = ( y - a ) - a
( a - a ) - x = ( a - a ) - y x - ( a - a ) = y - ( a - a )
e - y = e - y x - e = y - e
x = y x = y

De ambos casos concluimos que a es regular.

LGEBRA II
35
7.4.3.8 TEOREMA :
Dado un semigrupo ( A , - ) con elemento neutro e e A ; el elemento
compuesto de dos elementos simetrizables es simetrizable y se tiene que :

( a - b ) = b - a

DEMOSTRACIN :
Si logro probar que ( a - b ) - ( a - b ) = ( a - b ) - ( b - a )
Entonces : ( a - b ) = b - a
En efecto : ( a - b ) - ( a - b ) = e y tambin como - es asociativo
tenemos : ( a - b ) - ( b - a ) = a - ( b - b ) - a
= a - e - a
= a - a
= e
( a - b ) = b - a
Tambin ! si ( a - b ) - ( a - b ) = ( b - a ) ( a - b ) = b - a
e = b - ( a - a ) - b
= b - e - b
= b - b
= e
( a - b ) = b - a

LGEBRA II
36
7.4.4.- RESUMEN DE LECCIN N 3

En esta leccin estudiamos a l inicio el elemento absorvente y es aquel que al
operar con otro elemento lo contrae hacia l ; en cambio el elemento neutro es
aquel que no modifica en nada a otro elemento al ser operado con respecto a una ley
dada , finalmente estudiamos la simetrizacin de un elemento indicando adems
algunos teoremas como la de Unicidad y la del simtrico del compuesto de 2
elementos .

7.4.5. ACTIVIDADES DE AUTO APRENDIZAJE


1.- Sea ( IR , - ) ; donde
a b a b * = +
2 2
Hallar el elemento Absorvente , elemento Neutro y
el Simtrico , si existen.

2.- Demostrar que si un semigrupo ( A , - ) existen un elemento absorvente , ste es nico.

3.- Dado el conjunto A = { 1 , 2 , 3 , 4 , 5 } y la ley definida .

t 1 2 3 4
1 1 2 3 4 Analice si existe el elemento
2 2 1 1 1 Absorvente , el Neutro y el
3 3 1 1 4 Simtrico. Existen en cada
4 4 2 3 4 caso ?

4.- Si { } Q n m n m x x M e + = = , ; 2 / ; - = la multiplicacin .
Estudie las propiedades y elementos distinguidos de ( M , - )

LGEBRA II
37
5.- Sea G = { ( a , b , c , d ) / a , b , c , d e Z } Definimos la operacin :
( a , b , c , d ) . ( a , b, c , d ) = ( a.a + c.b , b.a +d.b , a.c+ c.d , b.c + d.d )
Demostrar que ( G , .) es un semigrupo , con elemento neutro .

6.- Dado
( , ) IR
+
-
, Sea
a b a b * = +
2 2
Hallar el elemento Neutro si existe Qu
elementos tiene inverso?

7. Dado el conjunto A = { a , b , c } . Formar una tabla de la composicin de todas las
aplicaciones biyectivas de A en si mismo y determine los elementos distinguidos.

8.- En Q -{0} definimos la operacin - tal que a - b ) = 5ab verificar que ( Q-{0},-)
es semigrupo , tiene neutro y adems todos los elementos son simetrizables.

9.- Sea F = { f : IR IR , f biyectiva } Demostrar que en ( F, - ) donde - ( f ,g ) = f .g
Existe un elemento neutro Cuales son los elementos regulares y los elementos
simetrizables ?

10.- Dado un semigrupo ( A, - ) con elemento neutro e . Si a e A admite un simtrico a
es permutable con b ; Deducir de lo anterior que el simtrico de todo elemento central
simetrizable es un elemento central .

7.4.6 AUTOEVALUACIN
Lea cuidadosamente los enunciados , realice operaciones si es necesario y responda
cada una de la preguntas indicando si son verdaderas o falsas.
1.- En el Monoide ( IR , - ) , donde :

a b
a b
ab
* =
+
+ 1

El cero es el elemento neutro ..(V) o (F)
LGEBRA II
38
3.- En el semigrupo ( P(E) , A ) donde A A B = ( A - B ) ( B - A )
El o no es elemento neutro ..(V) o (F)
4.- En el Monoide ( IR , - ) ; donde
x y x y
x y
xy
* ( , ) = =
+
+ 1

existe un elemento absorvente (V) o (F)
4. Sea ( IN , - ) donde x - y = ( x , y ) = m.c.d. de x e y
( IN , - ) no tiene elemento neutro ...(V) o (F)

5.- En ( Z , - ) el inverso de 1 es -1 y el inverso de -1 es 1 ...(V) o (F)

6.- Dado { } 1 , , / = + e + = = i Q b a bi a x C En el semigrupo ( C, - ) el inverso x
de x esta dado por:
i
b a
b
b a
a
x
2 2 2 2
'
+
+
+
= ...(V) o (F)
7.- Dado el Monoide ( M,- ) con elemento neutro e si N c M ; entonces ( N , M ) tiene
neutro e ..(V) o (F)

8.- En todo semigrupo ( A , - ) es simtrico del simtrico de un elemento x es le mismo.
(V) o (F)
9.- Dado un Monoide ( Q , o) ; donde a o b = a + b - a . b ; es el simtrico de todo ele-
mento de a e Q , existe ..(V) o (F)

10.- En un semigrupo ( A,- ) , si a , b , c e A ; el simtrico de :
( a - ( b - c ) ) es ( c - b ) - a ..(V) o (F)

LGEBRA II
39
7.4.7 TABLA DE PUNTAJES

PREGUNTA 1 2 3 4 5 6 7 8 9 10
PUNTOS

7.4.8 CALIFICACION

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

7.5 RESUMEN DE LA 1 era. UNIDAD

Hemos definido una ley de composicin interna ( L.C.I ) definida de un
conjunto A = o luego un Monoide con sus ejemplos desarrollados , despus
definimos la Estructura de Semigrupo estudiando todas sus propiedades y elementos
distinguidos como elemento absorvente , Neutro , el simtrico , los elementos
regulares , complementando con diversos teoremas , ejercicios propuestos en cada
leccin ; tambin incluimos , la AUTOEVALUACIN para cada leccin con sus
respectivas claves de respuestas.

LGEBRA II
40
7.6 INVESTIGACIN

1.- En IN se definen 2 L.C.I. - y o mediante :
x - y = x
x o y = x + y
Investigar las distributividades de - respecto de o .
2.- Sea G = { f / f : Z Z } sea la aplicacin f x g definida por ( f x g ) (x) = f(x)-g(x),
donde x e Z y - es la multiplicacin e enteros . Es ( G, x ) un Monoide ?
Tiene elemento neutro ? Qu elementos poseen inverso ?
3.- Estudie la ley de resistencias en paralelo:

1 1 1
1 2
R R R
= +
con
R R R
R R
R R
= - =
+
1 2
1 2
1 2

Es la ley Asociativa? Admite elemento Neutro ?
4.- Sea el Monoide ( Q, - ) ; donde a - b = a + 2 a b + b .
a) Estudie la conmutatividad y asociatividad de la operacin.
b) Calcular :
|
.
|
\
|
3
4
*
3
2

( ) *( ) 4
1
4

|
.
|
\
|
5
3
*
5
2

c) Existe el Neutro ? Cules son los elementos simetrizables?
d) Demuestre que r e Q
r =
1
2

Admite simtrico
=
1
2

LGEBRA II
41
7.7 GLOSARIO

1) MONOIDE : Conjunto diferente del vaco provisto de una Ley de Composicin
Interna.
2) SEMIGRUPO : Monoide cuya L.C.I. es Asociativa.

7.8 BIBLIOGRAFA : BSICA DE LA UNIDAD

1) MICHEL QUEYSANE ( 1974 ) ALGEBRA BSICA
Barcelona Espaa Editorial Vences - Vives.
2) ENZO R. GENTILE ( 1967 ) ESTRUCTURAS ALGEBRAICAS
Washington EEUU Edit. Eva. V. CHESANEAU.
3) BENJAMN BAUMSLANG Ph. D Y BRUCE CHADLER , Ph. D (1972)
TEORIA DE GRUPOS
Colombia Edit Mc GRAW HILL BOOK COMPANY.
4) ARMANDO O. ROJO ( 1981 ) ALGEBRA I
Bs. Aires Argentina Editorial EL ATENEO.
5) ALVARO PINZON ( 1986 ) CONJUNTOS Y ESTRUCTURAS
Mxico Edit. HARLA S.A.
LGEBRA II
42
8 .- 2da UNIDAD

PARTE ESTABLE , LEY PRODUCTO , RELACIN DE EQUIVALENCIA
COMPATIBLE CON UNA L.C.I. Y HOMOMORFISMO DE MONOIDES

8.1.- OBJETIVO DE LA UNIDAD

El objetivo general de esta unidad es que al finalizar dicha leccin el
estudiante sea capaz de definir cuando un subconjunto B de A provisto de una
L.C.I. es estable , as mismo si tenemos dos Monoides ( A , -) y ( A , - )
construir una ley Producto de las leyes anteriores y quiz generalizar dicho
concepto.
OTRO OBJETIVO es que el lector debe saber el significado de la compatibilidad
de una relacin de equivalencia en un conjunto provisto de una L.C.I.. y finalmente
otro objetivo es que el alumno debe conocer los homomorfismos entre Monoides ,
cuales son las clases de Morfismos u Homomorfismos y para que sirven.

8.2 LECCIN N 1

8.2.1. OBJETIVO ESPECFICO

El objetivo especfico de esta unidad es que el alumno defina en forma clara
y precisa , PARTE ESTABLE , y realice ejercicios relacionados con este concepto ;
otro objetivo es que epa distinguir cuando una relacin de equivalencia definida en
un conjunto A = o es compatible en A provisto de una ley para luego comprender
nuevos conceptos que originan esta compatibilidad.

LGEBRA II
43

8.2.2.- MOTIVACIN DEL TEMA
Es lgico afirmar que IN c Q,
Z Q
+
c
,
Z Q
c
,
O Q
+
c
,
Ahora si :
x y Z x y Z a b N a b N , . e + e . + e . e
+ +

Si :
m n Z m n Z , e + e
+

En la ltima relacin si :
(Q , + ) ( Q , + )
IN
Z
+
( Q , + )
a x
Z

b a + b y x.y x + y m m + n
a.b n
m.n?
Similarmente IP c IN ( IP nmeros primos ) ; dados P
1
y P
2
e IP sucede que :
P
1
+P
2
e IP ? P
1
. P
2
e IP ? No siempre o nunca ? De esto trata el
concepto de parte estable .
Lo que viene es interesante : MIREN !

Sea A = { 1 , 2 , 3 } , N = { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ( 3 , 1 ) , ( 1 , 3 ) }
Una relacin de equivalencia definida en A definimos tambin una :
- 1 2 3
1 1 2 3
2 2 1 3
3 3 3 1
Se observa que : 1 ~ 1 , 2 ~ 2 , 3 ~ 3 , 1 ~ 3 , 3 ~ 1
LGEBRA II
44
Ahora si 1 ~ 1 . 2 ~ 2 1 - 2 ~ 1 - 2
2 ~ 2 Es verdadera !
1 ~ 1 . 3 ~ 3 1 - 3 ~ 1 - 3
3 ~ 3 es verdadero.
1 ~ 2 . 3 ~ 3 2 - 3 ~ 2 - 3
: 3 ~ 3 es verdadero.
:
etc.
Pero 2 ~ 2 . 1 ~ 3 2 - 1 ~? 2 - 3
2 ~ 3

Qu podemos afirmar de la compatibilidad de la relacin de equivalencia ~ con
respecto a la ley ?
Esto lo veremos en sta leccin.


8.2.3.1. DEFINICIN .- Sea ( A , - ) un Monoide , una parte B c A es parte estable para
la ley - si ( x , y e B ) x - y e B

( A , -)
B y
x x - y

LGEBRA II
45
Cabe mencionar tambin que la aplicacin - : B x B B definida por :
- : ( x , y ) = x - y es una L.C.I. definida B y es llamada LEY INDUCIDA
SOBRE B por la ley - definida sobre A.
EJEMPLO :
1) Si A = { -1 , 0 1 } y - = - ; el Monoide ( A , - ) se da en la tabla
siguiente
- -1 0 1
-1 1 0 -1
0 0 0 0
1 -1 0 1

Sea B
1
={ 0 } , B
2
= { 1 } , B
3
= { -1 , 1 } , B
4
= { 0 , 1 }
Se ve que B
1
, B
2
, B
3
, B
4
son partes estables de ( A , - ). Tambin se puede
observar que A es una parte estable de ( Z , - ).

2) Los nmeros naturales mltiplos de dos diferentes de cero es una parte estable de
los naturales diferentes de cero para la multiplicacin .

PREGUNTA .-
I ) En Q los subconjuntos
IN Z Z Q , , ,
+ +
son estables con respecto a la adicin.
JUSTIFIQUE !
I I ) En Q los subconjuntos
IN Z Q , ,
+
son estables con respecto a la multiplicacin.
JUSTIFIQUE !

LGEBRA II
46
8.2.3.2.- NOTA .-
1) Si en un Monoide ( A , - ) , la ley es conmutativa asociativa sobre A , se puede
probar fcilmente que la ley inducida es una parte de B estable de A es tambin
conmutativo asociativo .
2) Si al ley - posee un elemento neutro e perteneciente a una parte de B admite
e por elemento neutro , pero este no es nico.

8.2.3.3.- LEY PRODUCTO.-
Dados los subconjuntos A
1
y A
2
provistos de una ley de composicin interna
-y - respectivamente . Podemos definir una ley de composicin interna - sobre
el producto cartesiano de A
1
x A
2
poniendo para dos pares cualesquiera : ( a
1
, a
2
)
y ( b
1
, b
2
)
( a
1
, a
2
) - ( b
1
, b
2
) = ( a
1
- b
1
, a
2
- b
2
)
- : ( A
1
x A
2
) x (A
1
x A
2
) ( A
1
x A
2
)
( ( a
1
, a
2
) , ( b
1
, b
2
) ) ( a
1
- b
1
, a
2
- b
2
)
La ley definida as es llamada ley PRODUCTO de las leyes - y - .

8.2.3.4 NOTA :
1) Si - y - son asociativas o conmutativas , tambin lo es -.
2) Si - y - tienen por elemento neutro e1 y e2 respectivamente tambin la ley -
tiene un elemento neutro e = (e1 , e2 ).
3) Si A1 = A2 = A sobre A x A podemos definir una ley producto
tendremos que :
( a , a ) - ( b , b ) = (a - b , a - b )
Esto se puede generalizar ! Intntelo.

LGEBRA II
47
8.2.3.5 RELACIN DE EQUIVALENCIA COMPATIBLE CON UNA
LEY DE COMPOSICIN INTERNA
Dado un conjunto A = o , ~ una relacin de equivalencia definida sobre
A, y - una L.C.I. definida sobre A cabe preguntar si La composicin de
elementos respectivamente equivalentes conduce a resultados equivalentes ? .
Si la respuesta es afirmativa , se dice que la relacin de equivalencia ~ es
compatible con la ley de composicin interna . Esto lo formalizaremos en la
siguiente definicin .

DEFINICIN .- Dado un Monoide ( A , - ) , ~ una relacin de equivalencia
definida sobre A ; ~ es compatible con la ley - a ~ a . b ~ b
a - b ~ a - b , para cualesquiera a , b , a , b e A .
EJEMPLO :
1) Dado el Monoide ( Z , + ) ~ es la relacin de congruencia mdulo n
Analizaremos aqu la compatibilidad de la relacin congruencia mod n con
respecto a la adicin.
Antes damos las equivalencias de la relacin ~ .
Dados a , b e Z ; a ~ b a b mod n a - b = Kn n / a - b

Entonces :
Sea a ~ a . b ~ b n / a - a . n / b - b n / ( a - a ) + ( b - b )
n / ( a + b ) - ( a + b )
a + b ~ a + b
Esto prueba que la congruencia modulo n en Z es compatible con la adicin.

LGEBRA II
48
2) Probar que la congruencia modulo n en Z es compatible con la multiplicacin.
Utilizando la definicin dado de congruencia tendremos
Si a ~ a . b ~ b n / a - a . n / b - b
a - a = k1 n . b - b = k2 n
a = a + k1 n . b = b + k2 n
a . b = ( a + k1 n ) ( b1 + k2 n )
a . b = a b + ( a k2 + b k1 ) n k3
a . b = a b + k3 n
a . b - a b = k3 n
n / a . b - a b
a . b ~ a. b

Aqu tambin se prueba que la congruencia mdulo n en Z es compatible con la
Adicin.

8.2.4 RESUMEN DE LA LECCIN N 1

Hemos estudiado el concepto de parte estable , ley inducida con ejemplos y
sugerencias , luego vimos la ley producto con sus notas respectivas y finalmente un
concepto muy importante como es la relacin de equivalencia compatible con una ley
de composicin interna.

LGEBRA II
49
8.2.5 ACTIVIDADES DE AUTOAPENDIZAJE

1.- Sea el monoide ( IN x IN , + ) ; donde ( a , b ) + ( c , d ) = ( a + c , b + d ) y ~ una
relacin de equivalencia en IN x IN definida por ( a , b ) ~ ( a + b) a + b = b + a
Probar que la relacin ~ es compatible con la adicin definida.

2.- Demostrar que en un semigrupo ( A , - ) el conjunto de los elementos regulares de A es
estable para la ley .
3.- Indique en Q cuales de los siguientes subconjuntos , provistos de la operacin indicada
son estables :

( , ) Z
,
( ,.) Z
,
( , ) Q
,
( { / }, ) A x x = > + 2

4.- Si E = { 1 , 2 }, En ( P (E) , ) Verificar cuales de los siguientes conjuntos son parte
estable de dicho Monoide.
A = { o , {1} } , B = { o , {2} } , C = { o , E } , D = { {1} , {2} }
5.- Sea
( , ) R
2
+
; Si ( a , b ) , ( c , d ) e
R
2
( a , b ) + ( c , d ) = ( a + c , b + d )
Dados los conjuntos A = { ( x , y ) e
R
2
/ x > 0 . y > 0 }
B = { ( x , y ) e
R
2
/ x < 0 y y > 0 }
Cules de los conjuntos son parte estable de
( , ) R
2
+
?
6.- Sea A = { 1 , -1 , i , -i } ;
i = 1
. En el Monoide ( A , - ) Cul de los siguientes
conjuntos son parte estable de A .
A
1
= { 1 , -1 } A
2
= { -1 , i } A
3
= { -1 , i } A
4
= { 1 , - i }
A
5
= { i , - i }
7.- Probar que todo elemento regular a para una ley definida sobre A es regular para la
ley inducida sobre una parte estable de A conteniendo a Ser cierto la recproca?

LGEBRA II
50
8.2.6 AUTOEVALUACIN
Lea cuidadosamente los enunciados de cada pregunta y responda marcando
en la columna de respuestas si es verdadero o falso. Realice operaciones si es
necesario.
1.- Si ( A , - ) es un semigrupo y B c A es parte estable de A entonces ( B, - ) es
semigrupo ..(V) o (F)
2.- 5 IN - {0} es parte estable de IN - {0} par la multiplicacin.(V) o (F)
3.- Dado un Monoide ( A , - ) ; A no es parte estable de A(V) o (F)
4.-
Q
+
es una parte estable de ( Q , ) (V) o (F)
5.- A = { x e Q / x > 5 } es estable de ( Q , - )....(V) o(F)
6.- En ( IN , + ) el conjunto IP de nmeros primos no es parte estable de IN(V) o(F)
7.- Si E = { a , b } En ( P (E) , ) el conjunto A = {{ a } , { b }}..(V) o(F)
8.- Sean ( A1 , - ) , ( A2 , T ) Monoides . Sea la ley el producto o de las leyes
- y T . Es suficiente que - es asociativa par que la ley o sea Asociativa.(V) o(F)
9.- Sean ( A1 , - ) y ( A2 , -) Monoides , - la ley producto de las leyes - y - ; si e es
neutro de ( A1 , - ) y e es neutro de ( A2 ,-). Entonces e = ( e , e )
es neutro de ( A , - )...(V) o( F)
10 .- Sea A = o ~ relacin de equivalencia definida en A sea - una L.C.I. definida en
A ; entonces ~ es compatible con la ley - si y solo si :
a ~ b . c ~ d a - b ~ b - c ; a , b c e A.
...(V) o( F)

LGEBRA II
51

PREGUNTA 1 2 3 4 5 6 7 8 9 10
PUNTOS

8.2.8 CALIFICACION

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
52
8.3 LECCIN N 2

HOMOMORFISMO E ISOMORFISMO DE MONOIDES

Al desarrollar esta leccin se pretende de que luego de su culminacin el
estudiante sea capaz de saber lo que es un homomorfismo , diferenciar una funcin y
un morfismo conocer las clases de homomorfismo , probarlas ; adems estudiar y
comprender el significado de un isomorfismo y un automorfismo. Tambin otro
objetivo es la aplicacin de dicho concepto.

8.3.2 MOTIVACIN
Los conjuntos IN y Z de nmeros naturales y enteros poseen ambos la
propiedad conjuntista de ser coordinables entre si , o sea que existe una aplicacin
f : Z IN biyectiva . Ahora en IN y Z podemos definir muchas
leyes de composicin interna , entre ellas la adicin en ambos casos. Sin embargo
no existe ninguna aplicacin biyectiva f : ( Z , + ) ( IN , + ) Tal que :
f ( m + n ) = f ( m ) + f ( n )( u )
Las razones son muy sencillas , ya que debe existir una tal aplicacin se verifica lo
siguiente :
f ( m ) = f ( m + 0 ) = f ( m ) + f ( 0 ).( o )
Pero tratndose de nmeros naturales f ( m ) = f ( m ) + f ( o) de tal manera que (o)
es un absurdo , en consecuencia de suponer la existencia de una aplicacin :
f : ( Z , + ) ( IN , + ) con la propiedad de preservar las sumas . Note
el lector que en realidad la condicin de ser f biyectiva no es necesario , por lo
que en definitiva , hemos probado que no existe ninguna aplicacin :
f : ( Z , + ) ( IN , + ) que preserve las sumas en sentido de u.(- -) Esta
discusin lo formalizaremos en el desarrollo de la leccin.
LGEBRA II
53

HOMOMORFISMOS E ISOMORFISMOS DE MONOIDES

El modo natural en Matemtica de vincular dos conjuntos A y B es mediante
aplicaciones de A en B o viceversa. Ahora ms que relacionar conjuntos nos
interesa relacionar las propiedades que poseen los mismos y , por tanto , las
aplicaciones de uno en otro deben tambin relacionar las propiedades en cuestin .
En nuestro curso , por ejemplo , los conjuntos poseen leyes de composicin . Si
intentamos establecer una relacin entre dos de tales conjuntos debemos entonces
buscar que las aplicaciones RESPETEN esas layes de composicin . De esto
se trata el estudio de los homomorfismos o simplemente Morfismos .

8.3.3.1 DEFINICIN.- Sean (A , - ) y ( B , - ) Monoides ; se llama morfismos
homomorfismos de ( A , - ) en ( B, - ) a toda aplicacin:
f : ( A , - ) ( B , - ) / a , b e A , f ( a - b ) ) = f ( a ) - f ( b )

( A , - ) ( B , - )
a - - f ( a )
b - - f ( b )
a - b - - f ( a - b ) = f ( a ) - f ( b )

EJEMPLO :
1) La aplicacin definida por f : ( IN , + ) ( IN , - ) definida por
f a
a
( ) = 2
es
un homomorfismo ! Pues si a , b e IN ;
f a b f a f b
a b a b
( ) . ( ) ( ) + = = = -
+
2 2 2

2) La aplicacin h : ( IR , + ) ( IR , - ) definido por
f x a
x
( ) =
( a > 0 ) es un
homomorfismo pues x , y e IN.

LGEBRA II
54
3) La aplicacin { } ) , ( ) , 0 ( : + - IR IR g definido por
g x x
a
( ) log =

como a > 0 es un homomorfismo ; en efecto si
x y IR , { } e
+
0

) ( ) ( log log , log ) . ( y g x g y x y x y x g
a a a
+ = + = =
4) Sea ( Z , - ) , F = { -1 , 0 , 1 } la aplicacin m : ( Z , - ) ( F, - ) definida por :
( )
<
=
>
=
0 : , 1
0 , 0
0 : , 1
x si
x si
x si
x f es un homomorfismo.
Porqu ? Justifique .

8.3.3.2 CLASES DE HOMOMORFISMOS
Sean ( A , - ) y ( A , - ) Monoides , m : ( A , - ) ( A , - ) un
homomorfismo :
i) Si m es inyectivo si y solo si m es Monomosfismo .
ii) Si m es suryectivo si y solo si m es Epimorfismo.
iii) Si m es biyectivo si y solo si m es Isomorfismo.
iv) Si A = A . - = - y m es un homomorfismo si y solo si m es un Endomorfismo
v) m es un AUTOMORFISMO si y solo si m es un Endomorfismo Biyectivo.

NOTA : Si m : ( A, - ) ( A , - ) es un Isomorfismo decimos que los
Monoides ( A , - ) y ( A , - ) son isomorfos y se denota :
( A , - ) ~ ( A , - )

EJEMPLOS :
1) Sean ( P(E) , ) y ( P(E) , ) Monoides ; f : ( P (E) , ) ( P (E) , )
definida por
f A C A
E
( ) =
Se puede probar que f es un Isomorfismo !
En efecto :
LGEBRA II
55
a) f e homomorfismo , por que A , B e P (E) se tiene que :
B C A C B A C B A f
E E E
= = ) ( ) (

= f A f B ( ) ( )
Por la ley de Morgan.
b) f es biyectiva para esto probaremos la inyectividad y suryectividad .
i) f es Inyectiva por que si
f A f B C A C B
E E
( ) ( ) = =

Tomando completamente con respecto a E miembro a miembro tendremos
que:
A = B.
ii) f es Suryectivo . Para probar dicha propiedad , B e P (E) debe existir:
A e P (E) tal que f (A) = B.
En efecto :
f A C A
E
( ) =

B C A
E
=

Tomando complemento miembro a miembro tenemos :

C B C C A A
A C B
E E E
E
= =
=
( )

Ahora B B C C B C f A f
E E E
= = = ) ( ) ( ) ( Es suryectiva .
De a) y b) concluimos que f : ( P (E) , ) ( P (E) , ) es un
Isomorfismo y que ( P (E) , ) ~ ( P (E) , ) para la funcin definida.
2) En Z definimos las operaciones o y - donde a o b = a + b + a . b
y a - b = a + b - a . b h : ( Z , o ) ( Z , - ) definida por
h ( a) = -a , a e Z Ser ( Z , o ) ~ ( Z , - ) ?
SOLUCIN :
i ) Probaremos que h es un homomorfismo
h ( a o b ) = - ( a o b ) = - ( a + b - a . b ) a , b e Z ( 1 )
tambin h ( a) = -a . h ( b ) = - b
h ( a ) - h ( b ) = ( - a ) - ( - b )
LGEBRA II
56
= ( - a ) + ( - b ) - ( -a ) ( - b )
= - ( a + b + a b )( 2 )
de ( 1 ) y ( 2 ) : h ( a o b ) = h ( a ) - h ( b ) ; esto dice que es un Morfismo.
i i ) Probaremos que h es biyectivos . Dado a , b e Z.
Si h ( a ) = h ( b ) - a = - b a = b , Esto prueba la inyectividad.
Para probar la suryectividad be( Z , - ) debe existir a e ( Z , o ) / h (a) = b
En efecto : si h ( a ) = - a = b
a = -b
Ahora h ( a ) = h ( - b ) = - ( - b ) Lo ltimo probar la suryectividad.
de i ) y i i ) h es un Isomorfismo y ( Z , o ) ~ ( Z , - )
3) Si m : ( IR , - ) ( IR , - ) / m
( ) x x =
.
Probar que m es un Automorfismo. EJERCICIO !
8.3.3.3 TEOREMA : Si f es un homomorfismo de ( A
1
, - ) en ( A
2
, - ) Y g es un
homomorfismo de ( A
2
, - ) en ( A
3
, - ) g o f es un homomorfismo (A
1
, -)
en ( A
3
, - )
f ( A
2
, - ). g
( A
1
,-) - f ( y ) ( A
3
,-)
y - -f ( x ) g (f (x)-f(y)
x - y - - f( x -y ) =
x - y - f (x) - f (y)
g o f

DEMOSTRACIN :
Para x , y e A1 arbitrarios se tiene que :
( g o f ) ( x - y ) = g ( f ( x - y ) )
LGEBRA II
57
= g ( f ( x ) - f ( y ) ) por que f es un homomorfismo .
= g ( f ( x ) ) - g ( f ( y ) ) por que g es un homomorfismo.
= ( g o f ) ( x ) -( g o f ) ( y ) por definicin de composicin de
funciones
(g o f ) ( x - y ) = ( g o f ) ( x ) - ( g o f ) ( y )
g o f : ( A
1
, - ) ( A
3
, - ) es un homomorfismo.

8.3.3.4 TEOREMA : Si f es un homomorfismo de ( A , - ) en ( A, - ) , entonces se
tiene que :
a) f ( A ) es un parte estable de A para la ley - .
b) Si la ley - es Asociativa , la ley inducida por la ley - sobre f ( A ) es asociativa
c) Si la ley - es conmutativa , la ley inducida por la ley - sobre f ( A ) es conmuta-
tiva.
d) Si e es el elemento neutro de ( A , - ) ; entonces e = f ( e ) es el elemento
neutro de ( f ( A ) , - )
e) Si x es simetrizable en ( A , - ) y admite x por simtrico , tambin f ( x ) es
simetrizable y admite f ( x ) por simtrico en ( f ( a ) , - ) .

8.3.3.5 TEOREMA . Si f es un homomorfismo biyectivo de ( A , - ) sobre ( A , - ) ,

f
1
: ( A , - ) ( A , - ) Es tambin un homomorfismo biyectivo.
NOTA : La demostracin de los teoremas 8.3.3.4 y 8.3.3.5 es factible realizar con
lo visto en ste trabajo hasta el momento ; motivo por el cual lo proporcio-
namos como ejercicio .

Para finalizar nuestro estudio del capitulo I indicaremos algo importante que
relaciona conceptos con compatibilidad de una relacin de equivalencia con una ley
de composicin interna y los conceptos de homomorfismos . De ellos precisamente
LGEBRA II
58
trata el TEOREMA DE COMPATIBILIDAD. En efecto el hecho de que una
relacin de equivalencia sea compatible con una ley de composicin interna definida
en un conjunto es de notable importancia por que INDUCE una ley de composicin
interna con el conjunto cociente , es decir permite operar con clases de equivalencia.
He ah el teorema .

8.3.3.6 TEOREMA : Si ~ es una relacin de equivalencia compatible con la ley de con
la ley de composicin interna - en un conjunto A = o , entonces
existen en el conjunto cociente A / ~ una NICA ley de composicin interna - ,
tal que la aplicacin cannica :
m : A A / ~ es un homomorfismo
Demostracin.
Ejercicio ! ( Ver bibliografa al final )

8.3.4 RESUMEN DE LA LECCIN
Luego de una breve introduccin , hemos definido un homomorfismo como
una aplicacin f : ( A - ) ( B , - ) / f ( a - b ) = f ( a ) - f ( b ) , a , b e A.
con sus ejemplos respectivos ; luego estamos indicando las clases de
homomorfismos con sus denominaciones respectivas . Tambin estamos citando
algunos teoremas como aquellos que dicen que la composicin de dos
homomorfismos es un homomorfismo entre otros y finalmente estamos indicando el
teorema FUNDAMENTAL DE LA COMPATIBILIDAD .

LGEBRA II
59

1.- Sean
) , ( ), , (
2 2 3
+ +
x
R R
y m :
( , ) ( , ) IR IR
x 3 2 2
+ +
tal que

=
c b
a
c b a
0
) , , ( m
Probar que m es un morfismo Ser m epimorfismo ?
2.- Probar que f : ( Z , + ) ( 2Z , + ) / f ( a ) = 2 a es un homomorfismo
Ser Isomorfismo ?
3.- Sean A = { 1 , 2 , 3 } , B ={ a , b , c } ; Sean - y o operaciones definidas en las
talas :
- 1 2 3 o a b c
1 1 2 3 a c a b
2 2 3 1 b b b a
3 3 1 2 c c a b
Cul de las siguientes aplicaciones son homomorfismos ?
i ) 1 c , 2 b , 3 c.
ii ) 1 c , 2 c , 3 c.
iii ) 1 a , 2 b , 3 b.
iv ) 1 b , 2 c , 3 c.
v ) 1 b , 2 b , 3 b.
vi ) 1 c , 2 c , 3 b.
4.- Demostrar que un homomorfismo m : ( A, - ) ( B , - ) de Monoides es un
Isomorfismo si y solo si , existen un Morfismo ; : ( B , - ) ( A , - ) tales
que la composicin ; o m y m o ; satisfacen :
; o m = Id A y m o ; = Id B
LGEBRA II
60
5.- Sean ( G , - ) y ( G , - ) Monoides finitos tales que | G | = | G |
Es decir de ordenes diferentes . Demostrar que ( G , - ) ~ ( G , - )
6.- Si f es un isomorfismo de ( G , - ) en ( G , - ). Demostrar que si a es regular en
( G , - ) similarmente lo es f ( a ) = a en ( G , - ).
7.- Probar que la aplicacin Id A es un Automorfismo de ( A , - ).
8.- Sean ( A
1
, - ) , ( A
2
, o ) , ( A
3
, A ) Monoides , Probar que si ( A
1
, - ) ~ ( A
2
, o )
y ( A
2 ,
o ) ~ ( A
3
, A ) ( A
1
, - ) ~ ( A
3
, A )

8.3.6 AUTOEVALUACIN
Lea cuidadosamente los enunciados siguientes y seale si es verdadero o
falso en el casillero de respuestas . Realice operaciones si es necesario.
1.- Si ( A , - ) es un Monoide : ( A , - ) ~ ( A , - )..(V) o(F)
2.- Si ~ es una relacin de equivalencia (V) o(F)
3.- La aplicacin f : ( C , + ) ( C , + ) / f : ( a + b i ) = a - b i no es un
isomorfismo ..(V) o(F)
4.- Es ( Z , + ) ~ ( IR - {0} , - ) ... (V) o(F)
5.- Es ( Q - {0} , ) ~ ( Q - {0} , - ) ....(V) o(F)
6.- Todo Epimorfismo es un Automorfismo ...(V) o(F)
7.-Sea End ( A ) = { f : ( A1 , - ) ( A , - ) / f es un Endomorfismo }
( End ( A ) , o ) es un semigrupo.....(V) o(F)
8.- Sea m : ( Z
+
, o )

( IR , + ) / m (a ) = log
10
a;
entonces m no es isomorfismo (V) o(F)
9.- Sea f : ( A , - ) ( B , o ) un epimorfismo si ( A , - ) es conmutativo
entonces ( B , o ) No lo es ....(V) o(F)
10.- Sea u = ( M , A ) ( N , ) un isomorfismo
( N , ) es conmutativo , tambin lo es M .....(V) o(F)
LGEBRA II
61


PREGUNTA 1 2 3 4 5 6 7 8 9 10
PUNTOS

8.3.8 CALIFICACIN

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
62
8.4 RESUMEN DE LA 2da UNIDAD.

El estudio de esta unidad lo hemos iniciado con los conceptos de parte estable
y ley inducida con sus ejemplos respectivos , luego vimos la ley producto a partir de
dos leyes internas definidas sobre un conjunto . Es importante sealar que se
desarrollar la relacin de equivalencia ~ definida sobre un conjunto A = o y
su compatibilidad cuando A est provisto de una ley de composicin interna.
Damos como actividades de aprendizaje una serie de ejercicios propuestos,
finalmente estudiamos los homomorfismos , sus clases y denominaciones especiales
teniendo mayor incidencia el estudio de Isomorfismos. Dimos tambin una serie de
preguntas para su evaluacin de esta unidad.

8.5 INVESTIGACION .

Proponemos al lector hacer un anlisis del tema fundamental de la compatibilidad de
una Relacin de equivalencia de un conjunto A = o , el cual esta provisto de una ley
de composicin interna -.

8.6 GLOSARIO .

1)
IR
x 2 2
= Matrices cuadradas de oren 2 x 2 con coeficientes reales.
2) Id A = funcin idntica definida en A .
3) | G | = orden de Monoide ( G , - ) , sea el nmero de elementos de G .
4)
C A
E
= complemento del conjunto A respecto del conjunto referencial E.

8.7 BIBLIOGRAFA BSICA ( Similar a la 2 da. unidad ).

LGEBRA II
63
9.- 3 era UNIDAD

INTRODUCCIN A LA TEORIA DE GRUPOS

9.1 OBJETIVOS DE LA UNIDAD
El objetivo de esta unidad es lograr en el estudiante la comprensin de la
estructura de grupos , a partir de un conjunto G = o cualquiera , conocer sus diversas
propiedades ; estudiar algunos grupos NOTABLES como el grupo de enteros ,
residuales mdulo m , el grupo de transformaciones , etc. Tambin otro objetivo
general es que el lector defina un subgrupo y relacione con grupo del cual procede ,
luego estudie las propiedades de los subgrupos , para despus conocer el concepto de
subgrupo Generado y grupo Cclico , subgrupo Normal , grupo Cociente , finalmente
estudiar los homomorfismos e isomorfismos de Grupos y sus elementos importantes
como son el Ncleo y la Imagen de un Homomorfismo.

9.2 LECCIN N 1

ESTRUCTURA DE GRUPOS - PROPIEDADES

9.2.1 OBJETIVO ESPECFICO DE LA LECCIN.
Se espera que al finalizar la leccin el estudiante sea capaz de probar cuando
un conjunto G = o provisto de una L.C.I. tiene estructura de Grupo , adems sepa
probar y emplear sus propiedades , relacionarlas mutuamente.

9.2.2 MOTIVACION DEL TEMA

Si tenemos un conjunto G = { 1 , - 1 , i , - i } y definimos en G una operacin
binaria o L.C.I. como par ejemplo la multiplicacin - de nmeros ; entonces
tenemos el siguiente Monoide :

LGEBRA II
64
- 1 - 1 i - i
1 1 - 1 i - i
- 1 - 1 1 - i 1
i i - i - 1 1
- i - i i 1 - 1

Se observa que a , b , c e G ; ( a . b ) . c = a . ( b . c ) , a esta relacin ya
lo estudiamos ; es la propiedad Asociativa , tambin existe un elemento 1 e G /
1 . a = a . 1 = a ; a e G . A este elemento lo llamamos Neutro identidad
multiplicativa y finalmente el inverso de 1 es 1 , de - 1 es -1 , de i es - i y de - i
es i . Es ms a , b e G ; a . b = b . a . Ahora si tenemos otro conjunto G = o y
- una L.C.I. definida sobre G , Se cumplir todas las condiciones anteriores ?
lo averiguaremos en dicha leccin.

9.2.3.- DESARROLLO DEL CONTENIDO - INTRODUCCIN.
En esta leccin estudiamos el objeto algebraico conocido como GRUPO que
sirve como uno de uno de los bloques de construccin fundamentales de la gran
estructura que lo denominamos ALGEBRA ABSTRACTA . Para empezar a estudiar
el concepto de Grupos como una estructura Bsica veremos la definicin en forma
sencilla pero sin perdida de un correcto rigor que exige la definicin . A partir de
ella estudiaremos los grupos Abelianos y las diversas propiedades que tienen los
grupos.
Las Estructuras Algebraicas y principalmente la de grupo , corresponden a los
Mecanismos operatorios de la inteligencia regidos por la primera de las dos formas
de REVERSIBILIDAD , que hemos llamado inversin negacin ( El producto de
una operacin por su inversa es pues , la operacin Idntica o transformacin nula
El grupo es por consiguiente , la traduccin simblica de algunos de estos caracteres
fundamentales del acto de inteligencia : la posibilidad de una coordinacin de
acciones, la posibilidad de los retornos que la de los Giros..( $ ) JEAN PIAGET

LGEBRA II
65
9.2. ESTRUCTURA. Se dice que un conjunto E = o esta definido una Estructura
Algebraica ,si estn definidas entre sus elementos una o varias leyes de composicin
EJEMPLO : Los Monoides , Semigrupos , Grupos , Anillos , Cuerpos , etc.

9.2.3.2 GRUPO Un semigrupo ( G, - ) tiene estructura de grupo, si en el se cumple las
siguientes condiciones :
i ) Existe el elemento neutro e e ( G , - ).
ii) Todo elemento de G es simetrizable equivalente en forma explcita sea G = o
; - : G x G G una L.C.I. ; el par ( G , - ) tiene la estructura de grupo
si cumple las siguientes condiciones :
i) La ley - es ASOCIATIVA .
Es decir x , y , z e G ; ( x - y ) - z = x - ( y - z )
ii) Existen el elemento neutro en G .
Es decir - e e G / x - e = e - x = x , x e G.
iii) Todo elemento de G es simetrizable.
Es decir x e G ; - x e G / x - x = x - x = e .

9.2.3.3 GRUPO ABELIANO Un grupo ( G , - ) es Abeliano conmutativo si todos sus
elementos son permutables o sea :
x - y = y - x , x , y e G .
9.2.3.4 DEFINICIN. Dado un grupo ( G ,- ) , al cardinal del conjunto G ; o sea el
nmero de elementos de G se llama el ORDEN DEL GRUPO G , y denotamos
por
Card ( G ) o ( G ) | G | .
NOTA: Si o ( G ) es un nmero finito n , sea si G es u conjunto finito de n
elementos , se dice que G es un grupo finito y denotamos o ( G ) < . En caso
contrario hablaremos de conjuntos infinitos .
LGEBRA II
66

EJEMPLOS :
1 .- Los siguientes Monoides ( Z , + ) , ( Q , + ) , ( IR , + ) , ( C , + ) , ( Q - {0} ,- )
( K- {0} , - ) , ( C - {0}, - ) son grupos Probar !! TRIVIAL !!
2 .- ( 5 Z , + ) es tambin un grupo infinito ; en efecto la :
+ : 5 Z x 5 Z 5 Z
( 5 a , 5 b ) + ( 5 a , 5 b ) = 5 a + 5 b = 5 ( a + b )
Esto dice que la Adicin + es L.C.I. sobre 5 Z .
i ) Asociativa x = 5 a , y = 5 b , z = 5 c e 5 Z .
( x + y ) + z = ( 5 a + 5 b ) + 5 c
= 5 ( a + b ) + 5 c
= 5 | ( a + b ) + c ) |
= 5 | a + ( b + c ) |
= 5 a + 5 ( b + c )
= 5 a + ( 5 b + 5 c )
= x + ( y + z )
ii ) Existencia del Neutro. En efecto - e = 5 ( 0 ) e 5 Z /
5 ( 0 ) + x = x + 5 ( 0 ) = x , x = 5 a e 5 Z
iii ) Existencia del Simtrico . E n efecto para cada x = 5 a e 5 Z
Existe el opuesto x = - 5 a e 5 Z
Tal que x + x = x + x = 5 ( 0 )
Estas 3 conclusiones prueban que ( 5 Z , + ) constituye un grupo adems .
iv ) x = 5 a , y = 5 b e 5 Z x + y = y + x
Es decir el grupo ( 5Z , + ) es un GRUPO ABELIANO.

LGEBRA II
67
3 ) En
IR
+
definimos la operacin x - y = 5 x y El Monoide
( , ) IR
+
-

ser un grupo Abeliano ?
Veamos :
i) ASOCIATIVIDAD x , y , z e
IR
+
( x - y ) - z = ( 5 x y ) - z
= 5 ( 5 x y ) . z
= ( 5 x y ) . 5 z
= ( 5 x ) y 5 z
= ( 5 x ) ( 5 y z )
= 5 ( x . ( 5 y . z ) )
= x - ( 5 y . z )
= x - ( y - z ) Cumple
ii) Existencia del elemento neutro
Suponga que el neutro es e e
IR
+
, entonces :
e - x = x x - e = x
5 e x = x y 5 x e = x
e = 1 / 5 e = 1 / 5
Se observa que es neutro a izquierda y derecha del cual concluimos que
existe
el neutro e = 1 / 5
iii )Existencia del Elemento Simtrico
Similar al caso anterior supongamos que el simtrico de x e
IR
+
es x e
IR
+

entonces debe ser simtrico a izquierda y derecha . Adems de ser iguales.
Entonces : x - x = e . x - x = e
5 x . x = 1 / 5 5 x . x = 1 / 5
x = 1 / 25 x . x = 1 / 25 x
LGEBRA II
68
Se observa que el simtrico a izquierda y derecha existen y son
iguales . Por lo tanto existe el simtrico x = 1 / 25 x
i v ) Es Abeliano ? veremos x - y = 5 x y = 5 y x = y - x , x , y e
IR
+

(
IR
+
, - ) es un grupo Abeliano?
4 ) Sea A = { 1 , 2 } y - una operacin tal que - 1 2
1 1 2
( A , - ) Ser un grupo ? Veamos 2 2 1
i ) ASOCIATIVIDAD
1 - ( 1 - 1 ) = ( 1 - 1 ) - 1 ? 1 - ( 1 - 2 ) = ( 1 - 1 ) - 2
1 - 1 = 1 - 1 1 - 2 = 1 - 2
1 = 1 2 = 2
1 - ( 1 - 2 ) = ( 1 - 2 ) - 1 ? 1 - ( 2 - 2 ) = ( 1 - 2 ) - 2
1 - 2 = 2 - 1 1 - 1 = 1 - 1
2 = 2 1 = 1
2 - ( 1 - 1 ) = ( 2 - 1 ) - 1 ? 2 - ( 1 - 2 ) = ( 1 - 2 ) - 2
1 - 2 = 2 - 1 2 - 2 = 2 - 2
2 = 2 1 = 1
2 - ( 2 - 2 ) = ( 2 - 2 ) - 2 ? 2 - ( 2 - 1 ) = ( 2 - 2 ) - 1
2 - 1 = 1 - 2 2 - 2 = 1 - 1
2 = 2 1 = 1
Entonces cumple todos los casos de Asociatividad .
ii ) Neutro Si observamos la tabla el neutro e = 1
pues : 1 - 1 = 1 - 1 = 1
1 - 2 = 2 - 1 = 2
iii ) Simtrico . Observamos la tabla se puede deducir en forma simple que :
LGEBRA II
69
1 = 1 pues 1 - 1 = 1 -1 1 - 1 = 1 -1 = 1
2 = 2 Tambin 2 - 2 = 2 - 2 2 - 2 = 2 - 2
1 = 1
de i ) ii ) y iii ) concluimos que ( A , - ) es un grupo.
Adems :
iv ) 1 - 1 = 1 - 1 = 1 Es decir todos sus elementos son permutables
1 - 2 = 2 - 1 = 2 tomando de 2 en 2 El grupo ( A , - )
2 - 2 = 2 - 2 = 2 Es Abeliano.

9.2.3.5 TEOREMA
Si ( G , - ) es un grupo , entonces el elemento identidad o elemento
Neutro e e G es nico .
DEMOSTRACIN
Para probar esto supongamos que existe otro elemento neutro e e G ( e = e )
como
e e G es neutro e - x = x - e = x , x e G .( 1 )
e e G es neutro e- x = x - e = x , x e G .( 2 )
En ( 1 ) como es x e G , es particular puede ser para x = e y tendremos :
e - e = e - e = e por ser el neutro .( 3 )
En ( 2 ) como es x e G ; en particular puede ser para x = e y tendremos
e - e = e - e = e por ser el neutro e .( 4 )
de ( 3 ) y ( 4 ) se tiene e = e
9.2.3.6.- TEOREMA : Si ( G , - ) es un grupo entonces para toda elemento x e G ,
existe un nico simtrico x e G .
DEMOSTRACIN :
Ejercicio !

LGEBRA II
70
9.2.3.7.- PROPIEDADES DE LOS GRUPOS
Sea ( G , - ) un grupo ; entonces se cumple :
1.- Para todo a e G , ( a ) = a
Es decir a e G , el simtrico del simtrico de un elemento se identifica
con el mismo elemento .
2.- Para todo a , b e G ( a - b ) = b - a
Es decir el simtrico de la composicin de dos elementos es igual a la
composicin de los simtricos de dichos elementos en orden invertido.
DEMOSTRACIN :
1.- Dado a e G , ( a ) = ( a ) - e = ( a ) - ( a - a ) por la prop. del neutro.
= | ( a ) - a | - a ( por la asociatividad )
= e - a pues ( a ) y a = e
= a
( a ) = a , a e G .
2.- Se sabe que a e G ; a - a = a - a = e
en nuestro caso ( a - b ) - ( a - b ) = e Si logramos probar que :
( a - b ) - ( b - a ) = e habremos demostrado la igualdad.
Pero ( a - b ) - ( b - a ) = a - ( b - b ) - a Por la asociativida de -
= a - e - a Por que todo elemento compuesto con
su simtrico es el neutro.
= a - a por la propiedad del neutro.
= e pues a y a son simtricos
( a - b ) = b - a

LGEBRA II
71
9.2.3.7 REGULARIDAD .- Los elementos de todo grupo ( G , - ) son REGULARES.
Es decir sea ( G , - ) un grupo , si a - b = a - c
b - a = c - a b = c
DEMOSTRACIN
Por hiptesis si a - b = a - c con a e G , - a e G / a - a = a - a = e
Entonces componiendo a izquierda tenemos :
a - ( a - b ) = a - ( a - c )
( a - a ) - b = ( a - a ) - c por la asociatividad de la ley -
e - b = e - c por que a y a son simtricos
b = c por que e es neutro .

9.2.3.8 ECUACIONES EN EL GRUPO
Sea ( G , - ) un grupo . Entonces cada una de las Ecuaciones b - x = a y
x - b = a . Admite solucin nica .
DEMOSTRACIN:
Si b - x = a x - b = a
componiendo a izquierda y derecha por b respectivamente tenemos :
b - ( b - x ) = b - a ( x - b ) - b = a - b
( b - b ) - x = b - a x - ( b - b ) = a - b
e - x = b - a x - e = a - b
x = b - a x = a - b

NOTA : La unicidad de la solucin se debe a la unicidad del inverso y el hecho de que -
es una L.C.I. definida sobre G.

LGEBRA II
72
EJERCICIOS RESUELTOS

1.- En el conjunto de los nmeros complejos se considera * definida por: a * b = a + b i .
Averiguar si (C , ) es grupo Ser abeliano?

Prueba

i) Asociatividad

(a * b) * c = ( i b a + ) * c .Def. de *
= ( i b a + ) + c i .Def. de *
= |( i b a + ) + c| - i ..Asociatividad en C
= ( ) i c i b a + + Asociatividad en C
= a + (b + c i) i Conmutatividad en C
= a * (b + c i) . Def. de *
= a * (b * c) Def. de *


iii) Existencia del elemento simtrico

Para cada e a a e a a C C a = - . = - e - e
1 1 -1
/ a ,

a i a
i a a
i i a a
=
= +
= +
2
2
1
1
1

.
.
.

a i a
i a a
i i a a
=
= +
= +
2
2
1
1
1

De i) , ii) , iii) (C , ) es grupo

Veremos ahora si el grupo (C , ) es Abeliano
iv) Conmutatividad
i b a b a C b a + + = - e ; ,

a b
i a b
- =
+ + =

a i a e a i e a = + . = +
a a e a e a C e C a = - . = - e - e / ,
i e
i e
=
= 0
i e
a i e
a i e a
=
=
= +
.
.
.
LGEBRA II
73
(C , ) Es grupo y Abeliano

2.- Demostrar que ( ) + ,
n
R es grupo abeliano, siendo la suma definida por:

( ) ( ) ( )
n n n n
Y X Y X Y X Y X Y Y Y Y X X X X + + + + = + , , , , , , , , , , , ,
3 3 2 2 1 1 3 2 1 3 2 1

Demostracin

( ) ( ) ( )
n
n n n
R Z Z Z Z Y Y Y Y X X X X e , , , , , , , , , , , , , ,
3 2 1 3 2 1 3 2 1

i) Asosiatividad

( ) ( ) | | ( )
n n n
Z Z Z Z Y Y Y Y X X X X , , , , , , , , , , , ,
3 2 1 3 2 1 3 2 1
+ +
= ( ) ( )
n n n
Z Z Z Z Y X Y X Y X Y X , , , , , , , ,
3 2 1 3 3 2 2 1 1
+ + + + +
= ( )
n n n
Z Y X Z Y X Z Y X Z Y X + + + + + + + + ) ( , , ) ( , ) ( , ) (
3 3 3 2 2 2 1 1 1

= ( ) ) ( , ), ( ), ( ), (
3 3 3 2 2 2 1 1 1 n n n
Z Y X Z Y X Z Y X Z Y X + + + + + + + +
= ( ) ( )
n n n
Z Y Z Y Z Y Z Y X X X X + + + + + , , , , , , , ,
3 3 2 2 1 1 3 2 1

= ( ) ( ) ( ) | |
n n n
Z Z Z Z Y Y Y Y X X X X , , , , , , , , , , , ,
3 2 1 3 2 1 3 2 1
+ +


( ) ( ) / , , , , , , , , ,
3 2 1 3 2 1
n
n
n
n
R e e e e R X X X X e - e

* ( ) ( ) ( )
n n n
X X X X e e e e X X X X , , , , , , , , , , , ,
3 2 1 3 2 1 3 2 1
= +
( ) ( )
n n n
X X X X e X e X e X e X , , , , , , , ,
3 2 1 3 3 2 2 1 1
= + + + +

n n n
X e X X e X X e X X e X = + . . = + . = + . = +
3 3 3 2 2 2 1 1 1

0 0 0 0
3 2 1
= . . = . = . =
n
e e e e
( ) ) 0 . , 0 , 0 , 0 ( , , , ,
3 2 1
=
n
e e e e

* ( )( ) ( )
n n n
X X X X X X X X e e e e , , , , , , , , , , , ,
3 2 1 3 2 1 3 2 1
=
( ) ( )
n n
X X X X X e X e X e X e , , , , , , , ,
3 2 1 1 3 3 2 2 1 1
= + + + +

n n n
X X e X X e X X e X X e = + . . = + . = + . = +
3 3 3 2 2 2 1 1 1

0 0 0 0
3 2 1
= . . = . = . =
n
e e e e
( ) ) 0 . , 0 , 0 , 0 ( , , , ,
3 2 1
=
n
e e e e

iii) Existencia del elemento simtrico

( ) ( ) / , , , , , , , , ,
1 1
3
1
2
1
1 3 2 1
n
n
n
n
R X X X X R X X X X e - e

* ( ) ( ) ( ) 0 , , 0 , 0 , 0 , , , , , , , ,
1 1
3
1
2
1
1 3 2 1
= +

n n
X X X X X X X X
( ) ( ) 0 , , 0 , 0 , 0 , , , ,
1 1
3 3
1
2 2
1
1 1
= + + + +

n n
X X X X X X X X
0 0 0 0
1 1
3 3
1
2 2
1
1 1
= + . . = + . = + . = +

n n
X X X X X X X X

1 1
3 3
1
2 2
1
1 1

= . . = . = . =
n n
X X X X X X X X
LGEBRA II
74
( ) ( )
n n
X X X X X X X X =

, , , , , , , ,
3 2 1
1 1
3
1
2
1
1

* Anlogamente con ( ) ( ) ( ) 0 , , 0 , 0 , 0 , , , , , , , ,
3 2 1
1 1
3
1
2
1
1
= +

n n
X X X X X X X X

iv) Conmutatividad

( ) ( ) ( )
n n n n
Y X Y X Y X Y X Y Y Y Y X X X X + + + + = + , , , , , , , , , , , ,
3 3 2 2 1 1 3 2 1 3 2 1

= ( )
n n
X Y X Y X Y X Y + + + + , , , ,
3 3 2 2 1 1

= ( ) ( )
n n
X X X X Y Y Y Y , , , , , , , ,
3 2 1 3 2 1
+

De i) , ii) , iii) y iv) ( ) + ,

n
R es un grupo abeliano

3.- Verificar que:
)
`
e = . = e
|
|
.
|
\
|
= R b a b c R M
d c
b a
P
x
, ; 0 0 / ) (
2 2

es subgrupo de ( ) + ), (
2 2
R M
x

Prueba

i) o = e
|
|
.
|
\
|
P P
0 0
0 0

ii)
|
|
.
|
\
|
.
|
|
.
|
\
|
e
|
|
.
|
\
|
= . e
|
|
.
|
\
|
=
n
m
d
a
P
n q
p m
B P
d c
b a
A
0
0
0
0

|
|
.
|
\
|
= .
|
|
.
|
\
|
=

n
m
B
d
a
A
0
0
0
0
1

|
|
.
|
\
|
+
|
|
.
|
\
|
= +

n
m
d
a
B A
0
0
0
0
1

P
n d
m a
B A e
|
|
.
|
\
|
= +

0
0
1

( ) + , P es subgrupo de ( ) + ), (
2 2
R M
x

4.- Demostrar que: { } ) ( ) ( / ) ( x f x f R F f A = e = es un subgrupo de ) ), ( ( + R F donde
( ) ) ( ) ( ) ( x g x h x g h + = +

Demostracin

(1) o = e = A A x x ) cos( cos

(2) A g A f A g A f e . e e . e
) ( ) ( ) ( ) ( x g x g x f x f = . =
LGEBRA II
75
) ( ) ( ) ( ) ( x g x f x g x f =
( ) ( ) ) ( ) ( x g f x g f =
A g f e

(A , +) Es subgrupo de ) ), ( ( + R F

5.- Halle x en b a x a = - - , si a, b, x son elementos de un grupo ( ) - , G
Solucin

Sea b a x a = - -

( )
( ) | |
| | ( )
( ) ( )
( )
( ) ( )
( ) ( )
1 1
1 1
1 1 1
1 1 1
1
1
1 1
1 1

- - =
- - = -
- - = - -
- - = - -
- = -
- = - -
- = - - -
- = - - -
= - -
a b a x
a b a e x
a b a a a x
a b a a a x
b a a x
b a a x e
b a a x a a
b a a x a a
b a x a

PROBLEMAS PROPUESTOS

1.- Sea ( ) { } 0 / , , , ,
1 3 2 1
= e = X R X X X X B
n
n
demostrar que ( ) + , B es un subgrupo
de ( ) + ,
n
R

2.- En { } ( )xR R 0 se define ) , ( ) , ( ) , ( d bc ac d c b a + = - demostrar que
{ } ( ) ( ) - , 0 xR R es un grupo

3.- Resuelva la ecuacin ( ) ( ) ( ) 4 ,
2
1
, 3 , 2 = - y x en el grupo anterior

4.- Demuestre que si e es el elemento neutro del grupo (G , T) y adems para cada
e xTx G x = e , , entonces (G , T) es grupo conmutativo

5.- Demostrar que si e elemento neutro de (G , T) y si para cada G y x e ,
y T x T y T x = e, entonces (G , T) es un grupo conmutativo

LGEBRA II
76
PROBLEMAS DE AUTO EVALUACIN

1.- En un grupo (G , *)con elemento neutro e ,si e x e x x = = - ...(V) (F)

2.- El conjunto ( ) { } 0 / ,
2
= + e = y x R y x L es subgrupo de ( ) + , R donde
( ) ( ) ( ) b y a x b a y x + + = + , , , ...(V) (F)

3.- Sea el conjunto A = {a , b , c}donde se define * mediante la siguiente tabla:

( A , * ) es grupo .(V) (F)

4.- El conjunto ( ) { } 2 3 / , = + e = y x R y x B es subconjunto de ( ) + ,
2
R donde
( ) ( ) ( ) b y a x b a y x + + = + , , , .(V) (F)

5.- Dado un conjunto U se define * en P(U) de la siguiente manera
( ) ( ) A B U B A B A = - , ( ) - ), (U P es grupo .(V) (F)

9.2.4.- RESUMEN DE LA LECCIN N 1

Hemos definido dos conceptos fundamentales del curso como son de
estructura y la de Grupos, utilizando lo estudiado anteriormente con ejemplos resueltos
explicando adems como debemos probar, que un conjunto provisto de una ley
tiene la estructura de Grupo , luego enunciamos y se prueba algunas propiedades importantes
como la unicidad del elemento neutro y simtrico , el simtrico del compuesto de
dos elementos de un grupo , la regularidad , etc.

* a b c
a a b c
b b c a
c c a b
LGEBRA II
77

1.- Probar que le Monoide ( C - {0} , o ) es un Grupo.
2.- Si A = { x = a + b
5
; a y b no simultneamente cero }
Probar que ( A , o ) es un Grupo .
3.- Sea n e Z
+
, sea G
n
= { x + i y
n
/ x , y e Z } Donde i =
1

Es ( G
n
, - ) un grupo ?
4.- Sea A = { Matrices e la forma
u u
u u
cos
cos
sen
sen
u e IR }
Probar que ( A , - ) es un grupo conmutativo .
5.- Sea G = { e , a , b , c } y la ley - definida por la tabla :
- e a b c
e e a b c Ser ( G , - ) un grupo Abeliano ?
a a e c b
b b c e a
c c b a e
6.- En el Monoide ( Z
2
, - ) definimos la operacin :
( a , b ) - ( c , d ) = ( a + c , ( - 1 )
c
b + d )
Demostrar que ( Z
2
, - ) es un grupo Ser Abeliano ?
7.- Sea G = Z x Q . Definida en G la operacin o por :
( a , b ) o ( c , d ) = ( a + c , 2
c
b + d ). Demostrar que ( G , o ) es un Grupo.
Ser Abeliano ?
8.- Probar que si ( G , - ) es un grupo conmutativo , entonces , a , b e G y n e Z ,
( a - b )
n
= a
n
- b
n

9.- Si ( G , - ) es un grupo tal que ( a - b )
2
= a
2
- b
2
, a , b e G.
LGEBRA II
78
Demostrar que ( G , -) es un grupo conmutativo o Abeliano.
10.-Demostrar que si todo elemento de un grupo ( G , - ) es su propio simtrico , entonces
( G, - ) es Abeliano .

9.2.6 AUTOEVALUACIN
Lea cuidadosamente los enunciados que a continuacin se dan y responda en la
columna de Preguntas si es verdadero falso realice operaciones si es necesario.

1.- Todo semigrupo conmutativo es un grupo conmutativo (V) o( F)
2.- Si A = { a } y ( A , - ) es un grupo ; entonces necesariamente el neutro e para
la ley - es a .(V) o(F)
3.- Si G = { 1 , -1 } y - = - producto . Entonces ( G , - ) es un grupo ( V) o(F)
4.- Sea el Monoide ( IR - {0} , - ) ; donde a - b = a
2
. b ; Entonces
( IR - {0} , - ) es un grupo Abeliano (V) o(F)
5.- El orden del grupo ( n Z , o ) es n .(V) o(F)
6.- Sea G = { x e G / x
3
= 1 } y - = - producto de nmeros .
Entonces ( G , - ) es un grupo Abeliano (V) o(F)
7.- Dado un grupo ( G , - ) ; x ,y ,z eG ; entonces : ( x - y - z ) = z - y - x(V) o(F)
8.- Dado un grupo ( G, - ) , donde a
2
= e , a e G
Entonces ( G, - ) es un grupo Abeliano(V) o(F)
9.- Si G = {
x
e IR
2
;
x
vectores en el plano } y la ley - = producto escalar
Entonces ( G , ) es grupo.(V) o(F)
10.- Sea = { f / f : | 0 , 1 | IR } definimos una suma de funciones por medio de
( f + g )
( x )
= f
( x )
+ g
( x )
Entonces ( , + ) es un grupo Abeliano..(V) o(F)

LGEBRA II
79


PREGUNTAS 1 2 3 4 5 6 7 8 9 10
PUNTOS

9.2.8 CALIFICACIN

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
80
9.3 LECCIN N 2

ALGUNOS GRUPOS IMPORTANTES

9.3.1 OBJETIVO ESPECFICO.

Antes de formular los objetivos de esta leccin , debemos sealar que le
estamos bautizando como grupos importantes a aquellos grupos que tienen mucha
relacin con la teora de Nmeros ,la Geometra con algunas operaciones en la que
interviene la inteligencia , tales grupos son entre otros EL GRUPO DE ENTEROS
RESIDUALES mdulo m , el grupo de transformaciones de un conjunto A = o, el
grupo de los 4 elementos de Klein.
El objetivo especfico de esta leccin es que el alumno luego de culminar su
estudio sea capaz de probar cuando un Entero residual mdulo n ( n = 2 , 3 , 4 , 5 , 6,
7 , ) provisto de la operacin - constituye un Grupo. Tambin otro
objetivo es que el alumno sepa identificar una permutacin de un conjunto de 3
elementos con las rotaciones de un tringulo un conjunto de 4 elementos con las
rotaciones y reflexiones de un cuadrado.

9.3.2 MOTIVACIN DEL TEMA

Se sabe que ( Z ,+ ) es un grupo pues la adicin es un L.C.I. definida sobre Z
tambin a , b , c e Z ( a + b ) + c = a + ( b + c ) adems existe el neutro e = 0 y
todo elemento a tiene su opuesto - a e Z . A hora en el conjunto Z
m
con las
operaciones de - queremos observar que condiciones deben cumplir sus
elementos para que ( Z
m
, ) ( Z
m
, - ) constituya la estructura de Grupo.
Tambin si tenemos un elemento m e S
n
queremos hallar su simtrico m e S
n
,
Cul es el neutro e e S
n
? etc.

LGEBRA II
81


9.3.3.1 EL GRUPO DE ENTEROS RESIDUALES MODULO m.

Para m > 1 en Z , sea Z
m
={ 0 , 1 , 2 , 3 , .m - 1 } donde se define la
operacin por :
a b = r , siendo r el residuo de dividir ( a + b ) entre m ,
r = ( a + b ) - m q ; para q , r e Z y 0 s r < m
El Monoide ( Z
m
, ) es un grupo Abeliano de orden m , en el cual el
elemento neutro identidad es e = 0 e Z
m
; y para a e Z
m
. A este grupo se le
llama el grupo de los enteros residuales mdulo m .
En particular si m = 4 ; Z
4
= { 0 , 1 , 2 , 3 }

0 1 2 3
0 0 1 2 3
1 1 2 3 0 ( Z
4
, ) Es un grupo Abeliano.
2 2 3 0 1
3 3 0 1 2
En efecto :
i ) ASOCIATIVIDAD
( 1 2 ) 3 = 1 ( 2 3 ) ( 0 2 ) 3 = 0 ( 2 3 )
3 3 = 1 1 2 3 = 0 1
2 = 2 1 = 1
( 0 1 ) 2 = 0 ( 1 2 ) ( 0 1 ) 3 = 0 ( 1 3 )
3 3 = 0 2 1 3 = 0 0

LGEBRA II
82
ii ) EL ELEMENTO NEUTRO DE Z
4
PARA es 0 pues :
0 0 = 0 0 = 0
0 1 = 1 0 = 1
0 2 = 2 0 = 2
0 3 = 3 0 = 3
iii ) EL ELEMENTO SIMTRICO
0 es o pues 0 0 = 0 ( neutro )
1 es 3 pues 1 3 = 3 1 = 0
2 es 2 pues 2 2 = 0
3 es 1 pues 3 1 = 1 3 = 0
iv ) CONMUTATIVIDAD: 0 1 = 1 0 = 1
1 2 = 2 1 = 2
1 3 = 3 1 = 3
2 3 = 3 2 = 1
Todos los elementos son permutables .
( Z
4
, ) es un grupo Abeliano.
NOTA : Para verificar que Z
2
, Z
3
, Z
4
, Z
5
, Z
6 ,
Z
7
,, etc. con la operacin
definida se realizar lo mismo que se hizo en ( Z
4
, )

9.3.3.2 EL GRUPO DE TRANSFORMACIONES O PERMUTACIONES

Dado un conjunto A = o sea T ( A ) = { o: A A / o es una funcin biyectiva}
definimos en T ( A ) una operacin o ( composicin de funciones ) Entonces
( T ( A ) , o ) es un grupo , en efecto :

LGEBRA II
83
i) La composicin de funciones es asociativa pues :
si f , g , h e T ( A ) ( f o g ) o h = f o ( g o h )
ii) Existe un elemento neutro , que es la funcin identidad I
A
en T( A ) , tal que
I
A
o f = f o I
A
, f e T ( A )
iii) Existe el elemento simtrico pues f e T ( A ) , - f = f
- 1
e T ( A )
( La funcin inversa ) tal que f
- 1
o f = f o f
- 1

Estas 3 condiciones verifican que ( T ( A ) , o ) es un grupo , el cual es
denominado el GRUPO de las TRANSFORMACIONES de los elementos de
A .
NOTA : Si A tiene ms de dos elementos ; entonces ( T ( A ) , o ) no es un grupo
Abeliano.
Ahora si A tiene m elementos A = { a
1
, a
2
, a
3
, .., a
n
}un elemento o e T ( A )
lo denotamos por :

=
) ( ),........ ( ), ( ) (
..... ..........
3 2 1
3 2 1
m
m
a a a a
a a a a
o o o o
o
Para indicar la biyeccin o : A A / o ( a
1
) = a
j
; y decimos que o es una
PERMUTACIN de un elemento y al Grupo ( T ( A ) , o) se le denomina EL
GRUPO DE PERMUTACIONES de m elementos y se le denota por S
m
.
Cuntos elementos tendr S
m
? el o ( S
m
) = m !
Es decir S
n
tendr factorial de m elementos.

NOTA : El grupo de permutaciones de m elementos de un conjunto A , es
llamado tambin Grupo simtrico y tambin se denota por S
m
.
LGEBRA II
84
CASO PARTICULAR .
EL GRUPO DE PERMUTACIONES DE 3 ELEMENTOS

Si A = { a , b , c } todas las biyecciones de A en A lo podemos identificar
con las rotaciones de un tringulo equiltero al rededor de su Centro o tambin
al rededor de uno de sus vrtices . Esto lo escribimos :
c e c

=
c b a
c b a
e a b a b
c o
1
a

=
a c b
c b a
1
o a b b c
c o
2
b

=
b a c
c b a
2
o a b c a
c o
3
b

=
b c a
c b a
3
o a b a c
c o
4
a

=
a b c
c b a
4
o a b c b
c o
5
c

=
c a b
c b a
5
o a b b a

Los resultados de operar estos elementos como lo indicamos estn dados en la
tabla:
LGEBRA II
85

o e o
1
o
2
o
3
o
4
o
5

e e o
1
o
2
o
3
o
4
o
5

o
1
o
1
o
2
e o
4
o
5
o
3

o
2
o
2
e o
1
o
5
o
3
o
4

o
3
o
3
o
5
o
4
e o
2
o
1

o
4
o
4
o
3
o
5
o
1
e o
2

o
5
o
5
o
4
o
3
o
2
o
1
e

Definimos en S
3
la operacin de la composicin de funciones o como por
ejemplo

5 2 2
o o o =
=
c a b
c b a
b a c
c b a
b c a
c b a

Cabe remarcar que S
3
es un grupo. Ser Abeliano ?
Existirn elementos permutables ? A manera de Ejercicio responda estas
interrogantes , luego encuentre el simtrico de cada elemento , y de que orden es S
3
?

EL GRUPO DE INVARIANTES DEL CUADRADO

Este grupo est formado por todas las biyecciones que existen en un conjunto
A de 4 elementos , aqu tambin que el caso anterior estas biyecciones las podemos
identificar con las rotaciones y reflexiones de cada cuadrado C en vrtices
V = { a , b , c , d }
Por ejemplo : En efecto.

LGEBRA II
86
Dado un cuadrado C con vrtices V = { a , b , c , d }
d c
a b

Definamos las transformaciones de C en C que preserva la distancia entre dos
puntos , se tiene : La funcin identidad o
1
( Transformacin Nula ), las
rotaciones
o
2
de 90 , o
3
de 180 y o
4
de 270 , al rededor de su centro en sentido
Antihorario 2 reflexiones o
5
y o
6
al rededor de sus diagonales y 2 reflexiones
o
7
y o
8
al rededor de sus Mediatrices , Intuitivamente tenemos :

d c o
1
d c d c o
2
c b
a b a b a b d a

d c o
3
b a d c o
4
a d
a b c d a b b c

d c o
5
d a d c o
6
b c
a b c b a b a d

d c o
7
c d d c o
8
a b
a b b a a b d c

El conjunto D
4
= { o
1
, o
2
, o
3
, .., o
8
} con la composicin de funciones o
es un Grupo no Abeliano ; Construya la tabla ! y Verifquelo
( D
4
, o ) es un Grupo denominado GRUPO DE INVARIANTES DEL
CUADRADO O GRUPO CTICO .
LGEBRA II
87

9.3.4 EL GRUPO DE LOS ELEMENTOS DE KLEIN .

El Grupo de elementos de Klein consiste en un conjunto A formado por 4
elementos con la ley de composicin - dada mediante la siguiente tabla :

- a b c d
a a b c d
b b a d c
c c d a b
d d c b a

Y Cul es la importancia de este Grupo ? a nuestro modesto entender
pensamos que es un grupo en el cual para probar como tal se necesita de un poco de
Ingenio , de actividades mentales los mismos que desarrollan en el estudiantes
ciertas aptitudes y destrezas Un ejemplo es cuando queremos encontrar el
elemento neutro verificando la asociatividad Hallando el elemento simtrico de
cada elemento e A
Con un poco de ingenio el estudiante verificar por ejemplo que el elemento
Neutro es a ; y que todo elemento es su propio simtrico. Ahora si hallamos todos
los subconjuntos A
i
de A . Qu condiciones deben reunir estos subconjuntos para
que ( A
i
, - ) siga siendo un Grupo ?

LGEBRA II
88

1.- Probar que las clases Residuales mdulo 2 , 3 , 5 , 6 , 7 forman un grupo para la
operacin .
2.- Hacer las tablas de multiplicacin de las clases residuales mdulo 3 , 4 , 5 , 6 , 7 , 9 . Si
excluimos la lnea y columna de ceros de la tabla En qu casos se obtiene una tabla de
Grupos ?
3.-Formule la tabla de composicin de los movimientos que conservan globalmente las
figuras siguientes :
Un Rombo , un Rectngulo , un Pentgono Regular .
4.- Cuntos elementos tendr el grupo de permutaciones de un conjunto con G elementos.
Puede identificar los elementos del Grupo de permutaciones de G elementos con el
conjunto de rotaciones de un Hexgono Regular ?
5.- Resolver en ( Z
3
, + ) - 1 + x + 2 = 0 ( - 1 ) el opuesto de 1
( Z
5
, + ) 3 + x - 2 = 4
6.- Encontrar en S
3
un ejemplo de 2 elementos o , m tal que :
( o o m )
2
= o
2
o m
2

7.- Probar que en S
3
, existen 4 elementos que satisfacen o
2
= e y 3 elementos que
satisfacen m
3
= e .

9.3.6.- AUTOEVALUACIN

1) Si G = Z
2
- {0} ; (G , - ) es grupo ...(V) o (F)
2) Si G = Z
2
x Z
2
y donde ( a , b ) y ( c , d ) e Z
2
x Z
2
tal que :
( a , b ) - ( c , d ) = ( a c , b d ) Entonces (G, - ) es grupo Abeliano..(V) o (F)
3) En ( Z
5
, + ) la ecuacin 2 + x - 3 = 1 ; tiene por solucin x = - Z (V) o(F)
LGEBRA II
89
4) El orden del grupo de permutaciones de un conjunto con n elementos es:
n . ( n - 1 ) ! . (V) o(F)
5) Si o y m e S
n
, entonces : o o m = m o o (V) o(F)
6) Si
=
3 1 4 2
4 3 2 1
1
2 4 1 3
4 3 2 1
o o . (V) o(F)
7) En el grupo de los elementos de Klein ; el elemento neutro a es un
elemento central . (V) o(F)
8) EL GRUPO DE PERMUTACIONES de un conjunto A con 2 elementos
No es Conmutativo ...(V) o(F)
9) En S
3
, - ! o / o
3
= e .. (V) o(F)
10) p e Z ( primo ) ( Z
p
-{0} ,- ) es un grupo (V) o(F)

PREGUNTAS 1 2 3 4 5 6 7 8 9 10
PUNTOS

9.3.8 CALIFICACIN

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
90

9.4 LECCIN N 3
SUBGRUPOS - PROPIEDADES - SUBGRUPOS GENERADOS


El objetivo especfico de esta leccin es que le estudiante conozca cuando un
subconjunto H = o de un grupo ( G , - ) es un subgrupo . Interpolar sus propiedades
realizar ejemplos que ilustren dichas propiedades y comprendan en forma
correcta el significado de Subgrupo Generado .

9.4.2 .- MOTIVACIN DEL TEMA

Sabemos que ( Z , + ) es un grupo Abeliano si toma por subconjunto de Z
como por ejemplo 2 Z , 3 Z , 5 Z , 7 Z , . , etc. Todos ellos constituyen un
Grupo tambin con la Adicin , entonces diremos que ( 2 Z , + ) es subgrupo de
(Z, + ) , ( 3 Z , +) es subgrupo de ( Z , + ) , etc. pero si tomamos N c Z ; ( N , +)
Es grupo ? Evidentemente No ; entonces ( N , + ) no es grupo de ( Z , + ).
En general dado un Grupo ( G , - ) y un subconjunto no vaco H de G Qu es
necesario para que ( H , - ) sea subgrupo de ( G , - ) ? esta interrogante la
superaremos al finalizar la leccin.

9.4.3.1 DEFINICIN. Sea ( G , - ) un grupo , H = o c G . H es un subgrupo de (G, -)
si ( H , - ) es tambin un Grupo .
Ejemplo :
1) Z c Q c IR c C ; Adems ( Z , + ) Es Grupo.
( Q , + ) es grupo ( IR , + ) y ( C , + ) son tambin grupos .
LGEBRA II
91
Esto nos permite decir por ejemplo que ( Z , + ) es subgrupo de ( Q , + )
( Q , + ) es subgrupo de ( IR , + ) , subgrupo de ( C , + ) ; etc.
2) ( R
2
, + ) es un grupo pues la adicin + : IR
2
x IR
2
IR / ( a , b ) ,
( c , d ) e IR
2
; ( a , b ) + ( c , d ) = ( a + c , b + d ) es un L.C.I. ; la adicin
es asociativa en IR
2
, existe el elemento neutro e = ( 0 , 0 ) e IR
2
. Y todo
elemento ( a , b ) e IR
2
. Es tambin conmutativo .
Sea H = { ( x , y ) e IR
2
/ y = 3 x } Ser ( H , + ) un subgrupo de ( IR
2
, + ) ?
Para esto de acuerdo a la definicin probaremos que ( H , + ) es tambin grupo .
Todas las condiciones para que un conjunto provisto de una ley sea Grupo se
cumple en ( H , + ) . Por lo tanto es un subgrupo de ( IR
2
, + ).

NOTA : Resulta redundante que cada vez que deseamos probar que un subconjunto H = o
de un Grupo ( G , - ) sea un subgrupo lo realizamos usando la definicin , para
salvar esta situacin existen ciertas condiciones Suficientes para la existencia
de subgrupos de un Grupo dado . Esto lo denotamos en el siguiente lema .

9.4.3.2 LEMA 1 ( Condicin Suficiente para la Existencias de Subgrupos )
Un subconjunto no vaco H de un Grupo ( G , - ) es un subgrupo de ( G , - ) si y

solo si : i ) a , b e H a - b e H
ii ) Si a e H a e H
equivalentemente a , b e H a - b e H .
PRUEBA
Si H es subgrupo de ( G, - ) ; ( H , -) es grupo por definicin el cual dice que
a , b e H a - b e H . si a e H a e H .
: ) Supongamos que H c G tales que i ) y ii ) son verdaderos para probar H es
subgrupo de G solo vasta probar que e e H y que la ley - sea Asociativa en H
Pero por ii ) si a e H . a e H a - a = a - a = e e H pues - es ley
en H por i).
Tambin como - es Asociativa en G y H c G ; entonces - es asociativa en H
.
LGEBRA II
92
EJEMPLOS
1) Se prob que ( IR
2
, + ) es Grupo . Sea H = { ( x , y ) e IR
2
/ y = 2 x }
Ser ( H, + ) un subgrupo de ( IR
2
, + ) ?
SOLUCION :
H c ( IR
2
, + ) es Grupo de ( IR
2
, + ) Si H y x H y x e + e ) ( ; ,

Sea ) , ( b a x =
y c d = ( , )

y c d ( , )

H d b c a d c b a y x e = + = + ) , ( ) , ( ) , (

No sabemos aun ; pero si ( a , b ) e H b = 2 a Restando
( c , d ) e H d = 2 c
b - d = 2 ( a - c )
( a - c , b - d ) e H .
( h , + ) es subgrupo de ( IR , + )
2) Sea A = { e , a } definimos la operacin - como :
- e a
e e a ( A , - ) es grupo , Abeliano Pruebe !
a a e
Cules son los subgrupos de ( A , - ) ?
Para esto hallamos todos los subconjuntos de A
H
1
= { e } H
2
= { a } H
3
= { e , a }

Para probar que H
1
= { e } es subgrupo , e - e e H
1
pero e = e
e - e = e - e = e e H
H
1
no es subgrupo de ( A , - )
Para probar que H
2
= { a } es subgrupo a - a e H
2
, pero a = a
a - a = e e H
2

LGEBRA II
93
H
2
no es subgrupo de ( A , - )
Para probar que H
3
= { e , a } es subgrupo e - e e H
3
Pero e = e
Luego e - e = e - e = e e H
3

tambin e - a e H
3
pero a = a e - a = e - a = a e H
3

y finalmente a - a = a - a = e e H
3
a - a = a - a = e e H
3

H
3
es subgrupo.
Este ejemplo nos sirve para indicar lo siguiente :
NOTA : Todo grupo ( G , - ) admite como mnimo 2 subgrupos ( { e } , - ) y
( G , - ) llamados subgrupos triviales .

9.4.3.3 LEMA 2 : Si H es un subconjunto finito no vaco de un Grupo ( G, - ) y - es
una L.C.I. en H , entonces ( H , - ) es un subgrupo de ( G , - )
PRUEBA :
EJERCICIO !

9.4.3.4 INTERSECCIN DE SUBGRUPOS

La interseccin de toda familia de subgrupos de ( G , - ) es un subgrupo de
( G , - ) .
Es decir si ( G , - ) es un subgrupo y { G
i
}
i e I
una familia de subgrupos de
( G , - ) , entonces { } ( ) ,* Gi
I ie
es un subgrupo.
PRUEBA :
a) { } o =
e
Gi
I i
, pues i , e e G
i
por lo menos ; entonces
e e { } Gi
I ie

b) { } G Gi
I i
c
e
OBVIO !
LGEBRA II
94
c) Si x , y e { } Gi
I ie
; Entonces x e G
i
, i e I . y e G
i
, ie I
luego x e G
i
, i e I . ye G
i
, i e I
x - y e G
i
, i e I
x - y e { } Gi
I ie
por definicin de Interseccin.
Por lo tanto: { } ( ) ,* Gi
I ie
es subgrupo de ( G , - )

EJEMPLOS :
1) Sea ( Z , +) un grupo y ( 2 Z , + ) , ( 3 Z , + ) subgrupos
( 2 Z , + ) ( 3 Z , + ) = ( 6 Z , + ) es subgrupo de ( Z , + )
2) ( IR
2
, + ) es grupo , sean H
1
= { ( x , y ) e IR
2
/ y = 0 } y
H
2
= { ( x , y ) e IR
2
/ x = 0 . y = 0 } = { 0 , 0 }
( H
1
H
2
, + ) es un subgrupo trivial .

9.4.3.5 REUNIN DE SUBGRUPOS

Sea ( G , - ) un grupo , la reunin de 2 ms subgrupos de ( G , - ) no
siempre es un subgrupo
Esto lo ilustraremos con Ejemplos de cada caso .
EJEMPLOS :
1) ( z , + ) Es Grupo , ( 2 Z , + ) y ( 3 Z , + ) son grupos
2 Z = { ..,-16,-14,-12,-10,-8,-6,-4,-2,0,2,4,8,10,12,14,16, }
3 Z = { .., -18,-15,-12,-9,-6,-3,0,3,6,9,12,15,18,}
2 Z 3 Z = { -18,-16,-15,-14,-12,-10,-9,-8,-6,-4,-3,-2,0,2,4,6,8,9,10 }
dado - 3 y - 10 e 2 Z 3 Z
( -3 ) + [ - ( - 10 ) ] e 2 Z 3 Z ?
LGEBRA II
95
- 3 + 10 = 7 e 2 Z 3 Z
( 2 Z 3 Z , + ) no es subgrupo de ( Z , + )
2) (3 Z , + ) y ( 6 Z , + ) Son subgrupos de ( Z , + )
Ahora ( 3 Z , + ) ( 6 Z , + ) = ( 3 Z , + ) es subgrupo de ( Z , + )
3) Del Grupo S
3
( grupo de permutaciones ) 9.3.3.2 ( caso n = 3 )
sean los subgrupos H
1
= { e , o
3
} y H
2
= { e , o
4
}
H
1
H
2
= { e , o
3
, o
4
} no es un subgrupo de S
3
.

9.4.3.6 SUBGRUPO GENERADO
Sea ( G , - ) un grupo , A una parte no vaca de G y sea{ H
i
}
i e I
una familia
de subgrupos de G tales que A c { H
i
} , i ( { H
i
}
i eI
= o pues G contiene
{ H
i
}
ie I
)
Entonces la interseccin { }
i
I i
H k
e
= Es un subgrupo de ( G, - ) y es le menor
( con la relacin de orden correspondiente a la inclusin de conjuntos )
El subgrupo { }
i
I i
H k
e
= interseccin de la familia de subgrupos de ( G , - )
que contiene A , se llama subgrupo de ( G , - ) generado por A
Denotacin < A >
Si A = { a
1
, a
2
, .., a
n
} c G , y se tiene que < A > = G , se dice que G es
un grupo de tipo finito Grupo finitamente Generado, y denotamos por :
G = < a
1
, a
2
, , a
n
>

LGEBRA II
96
9.4.3.7 GRUPO CCLICO

Es aquel que est generado por un solo elemento . Es decir si A = { a } ,
par algn A e G y se tiene que G = < A > , entonces se dice que G es un Grupo
Cclico generado por a .
En este caso :
G = < a > = { a
k
/ k e Z }
Se puede observar que < a > es Abeliano por que
a
k

*
a
h
= a
k + h
= a
h + k
= a
h
-
a
k

EJEMPLOS :
1) Del grupo de los 4 elementos de Klein ( K
4
)
- a b c d
a a b c d
b b a d c
c c d a b
d d c b a
Si A = { b , c } c K
4
; se tiene

< A > = { b , c , b - b , c - c , b - c , b - c - b , } = { b , c , a , a , d ,.} = K
4

K
4
= < b , c > , Se observa que no es Cclico .
2) Para m > 1 en Z , el Grupo Z
m
es cclico : Z
m
= < 1 >
similarmente Z es Cclico , pues Z = < 1 > = < - 1 >
3) EL GRUPO DE LAS ROTACIONES de un polgonos Regular de n lados
es un GRUPO CCLICO de orden n .
En efecto : Sea a la rotacin de 360 / n en sentido contrario a las manecillas de
Reloj al rededor del centro . Se tiene que :
a rotacin de 360
n
LGEBRA II
97
a - a rotacin de 2 360
n
a - a - a rotacin de 3 360
: n
:
a - a - a - .- a = e rotacin de n 360 / n = 0
n trminos

9.4.4 RESUMEN DE LA LECCIN N 3

Hemos definido subgrupo , con ejemplos ; luego Estableci alguna condicin suficiente
para que un subconjunto H de un Grupo ( G , - ) sea subgrupo. Se prob que la
interseccin de una familia de subconjuntos de un Grupo ( G ,- ) es tambin un
subgrupo; pero que la unin de 2 o ms subgrupos de un grupo no necesariamente es
un subgrupo, lo ilustramos con un ejemplo y finalmente se vio el concepto de Grupo
Cclico y subgrupo Generado .

9.4.5 ACTIVIDADES DE AUTOAPRENDIZAJE

1.- Halle todos los subgrupos del Grupo de los 4 elementos de KLEIN .
2.- Halle los subgrupos del Grupo S
3
y del Grupo de INVARIANTES DEL CUADRADO .
3.- Encontrar todos los subgrupos de los Grupos ( IR
2
, + ) y ( IR
3
, + )
4.- Probar que ( IR
2 x 2
, + ) es un Grupo Abeliano y que ( H , + ) es un subgrupo siendo H el
conjunto de las Matrices reales 2 x 2 tales que A = - A
t
( Antisimtricas )
5.- Sea :
( )
)
`
= = e
= = 0 ) det( ; , , , /
2
bc ad A y R d c b a
d c
b a
A IR Gl
Probar que ( Gl
2
( IR ) , - ) es un grupo . Este es denominado el grupo lineal de orden 2
sobre IR .
6.- En el grupo G l
2
( IR ) , sea :

)
`
= e
= =
1
) det( ; , , , / A A y R d c b a
d c
b a
A H
LGEBRA II
98
Probar si ( H , - ) es un subgrupo de G l
2
( IR ) .
7.- Halle lo subgrupos de ( Z
3
, ) , ( Z
5
, ) , ( Z
7
, ) y de sus generalidades,
8.- ( Z , + ) es Grupo Cclico . Halle aqu < 3 > o sea el grupo generado por 3 .
9.- Probar que todo subgrupo de un Grupo Cclico es Cclico .
10.-Probar que todo subgrupo del Grupo ( Z , + ) es de la forma n Z , para n > 0 .

9.4.3 AUTOEVALUACIN
Lea cuidadosamente los siguientes enunciados y responda si es verdadero falso en la columna
de respuestas . Realice operaciones si es necesario . ( 2 puntos c / u )
1.- Sea ( G , - ) Un grupo. Si H es un subgrupo de G y K un subgrupo de H entonces
K es subgrupo de G ( V ) - ( F )
2.- Todo grupo cclico es Abeliano .. ( V ) - ( F )

3.- Si H y K son subgrupos de ( G , - ) ; H K es subgrupo de ( G , - ) . ( V ) - ( F )
4.- Todo Grupo ( G , - ) no siempre tiene subgrupos triviales impropios ( V ) - ( F )
5.- Si ( G , - ) es Grupo , a e G fijo H = { x e G / a - x = x - a } entonces ( H , - )
es subgrupo de ( G , - ) . ( V ) - ( F )
6.- Si ( G , - ) es Grupo Finito y H = o c G tal que - es L.C.I. en H , entonces
H es subgrupo de ( G , - ) .. ( V ) - ( F )
7.- Si ( G , - ) es un Grupo Abeliano y H = { x e G / x
2
= e } entonces :
H no es subgrupo de ( G , - ) .... . ( V ) - ( F )
8.- Si ( G , - ) no tiene subgrupos propios ( subgrupos diferentes de los triviales )
Entonces ( G , - ) es Cclico ( V ) - ( F )
9.- Todo grupo Infinito es Cclico .. ( V ) - ( F )
10.- Si H = { ( x
1
, x
2
, , x
n
} e IR
n
/ x
i
= 0 ; Entonces :
( H , + ) es subgrupo de ( IR
n
, + ) ... ( V ) - ( F )

LGEBRA II
99

PREGUNTAS 1 2 3 4 5 6 7 8 9 10
PUNTOS

9.4.8 CALIFICACIN

18 - 20 EXELENTE
15 - 17 BUENO
11 - 14 SUFICIENTE
06 - 10 DEFICIENTE

LGEBRA II
100

10 BIBLIOGRAFA GENERAL

- BENJAMN BAUMSLANG y BRUCE CHANDLER , Ph .D.( 1972 ) TEORIA DE GRUPOS
Colombia , Ed. M. GRAW HILL BOOK.
- A. BIGARD / M. CRESTEY / J . GRAPPY ( 1975 ) PROBLEMAS DE LGEBRA MODERNA
BARCELONA ESPAA Ed. REVERTE SA
- P. DUBRIEL / M.L. DUBRIEL - JACOBI ( 1975 ) LECCIONES DE ALGEBRA MODERNA
BARCELONA ESPAA Ed. REVERTE SA
- P. DUBRIEL ( 1975 ) TEORIA DE GRUPOS
BARCELONA ESPAA, Ed. REVERTE SA
- R . FAURE - A . KAUFMAN - M . DENIS - PAPN ( 1969 ) MATEMTICA MODERNA
MADRID ESPAA Ed. PARANINFO.
- ENZO R. GENTILE ( 1967 ) ESTRUCTURAS ALGEBRAICAS
WASHINGTON EE.UU. Ed. EVA Y
- I.N. HERSTEIN ( 1986 ) ALGEBRA ABSTRACTA
ARIZONA EE.UU.Grupo Ed.Iberoamericana
- I.N. HERSTEIN ( 1979 ) ALGEBRA MODERNA
MEXICO , EDITOR TRILLAS S. A .
- PETER HILTON - NEL CHIANG WO ( 1979 ). CURSOS DE ALGEBRA MODERNA
MADRID ESPAA EDITOR REVERTE SA
- SERGE LANG ( 1971 ) ALGEBRA MADRID ESPAA Ed.
FONDO EDUCATIVO INTERAMERICANO
- SERGE LANG ( 1975 ) . ALGEBRA LINEAL
PURTO RICO Ed. AGUILAR S. A.
- MICEL QUEYSANE ( 1974 ) . ALGEBRA BSICA BARCELONA
ESPAA Ed. VINCES - VIVES.
LGEBRA II
101

- ARMANDO ROJO ( 1981 ) . ALGEBRA I
BUENOS A. ARGENTINA Ed .EL ATENEO
- LUIS A. SANTAL ( 1966 ) GEOMETRA PROYECTIVA
BUENOS A. ARGENTINA Ed. UNIVERSIT.
- TEDULO VERSTEGUI CH. ( 1986 ) .ALGUNAS CARACTERISTICAS DE LOS
GRUPOS ABELIANO
FINITAM.GENERADO
AREQUIPA - PER, Ed. P.U.C.P.
- MARIE J. WEISS - R. DUBISH ( 1972 ) ALGEBRA SUPERIOR
MXICO , Ed. LIMUSA - WILLEY S. A .
- MAC ZAMANSK ( 1967 ) .. INTRODUCCIN AL LGEBRA Y ANLISIS
MODERNA BARCELONA 1967 Ed.
MONTANER Y SIMON S . A .

LGEBRA II
102

11 NDICE
PAG
1. CARTULA .. 01
2. DIRECTORIO 02
3. PRESENTACIN .. 03
4. INTRODUCCIN . 04
5. OBJETIVO GENERAL DE LA ASIGNATURA .. 05
6. ORIENTACIONES METODOLGICAS 06
7 PRIMERA UNIDAD
LEYES DE COMPOSICIN INTERNA , PROPIEDADES Y
ELEMENTOS DISTINGUIDOS
7.1 OBJETIVO DE LA UNIDAD 07
7.2 LECCIN N 1
LEYES DE COMPOSICIN INTERNA ( L.C.I.) MONOIDES- SEMIGRUPOS
7.2.1 OBJETIVO ESPECFICO 07
7.2.2 MOTIVACIN DEL TEMA 07
7.2.3 DESARROLLO DEL CONTENIDO 08
7.2.3.1 DESARROLLO DEL CONTENIDO 08
7.2.3.2 DEFINICIN 08
7.2.3.3 MONOIDE 09
7.2.3.5 NOTAS IMPORTANTES 10
7.2.3.6 SEMIGRUPO 10
7.2.4 RESUMEN DE LA LECCIN 12
7.2.5 ACTIVIDADES DE APRENDIZAJE 13
7.2.6 AUTO EVALUACIN 15
LGEBRA II
103
7.2.7 TABLA DE PUNTAJE 16
7.2.8 CALIFICACIN 16
7.3 LECCIN N 2
PROPIEDADES Y ELEMENTO CENTRAL EN UN MONOIDE Y / O SEMIGRUPO
7.3.2 MOTIVACIN 17
7.3.3 DESARROLLO DEL CONTENIDO 18
7.3.3.1 ELEMENTOS PERMUTABLES 18
7.3.3.2 CONMUTATIVIDAD.. 18
7.3.3.3 DISTRIBUTIVIDAD CON UNA L.C.I. CON RESPECTO A OTRA 19
7.3.3.4 ELEMENTO CENTRAL , CENTRO DE UN CONJUNTO 21
7.3.4 RESUMEN. 22
7.3.5 ACTIVIDADES DE AUTO APRENDIZAJE 23
7.3.6 AUTO EVALUACIN .. 24
7.3.7 TABLA DE PUNTAJE... 25
7.3.8 CALIFICACIN.. 25
7.4 LECCIN N 3
ELEMENTOS DISTINGUIDOS REGULARES Y TEOREMA DE UNICIDAD
7.4.3 DESARROLLO DEL CONTENIDO .. 27
7.4.3.1 ELEMENTO ABSORVENTE.. 27
7.4.3.2 ELEMENTO NEUTRO 29
7.4.3.3 ELEMENTO SIMTRICO .. 30
7.4.3.4 ELEMENTOS REGULARES.. 32
7.4.3.5 TEOREMA ( UNICIDAD DEL ELEMENTO NEUTRO ).. 33
7.4.3.6 TEOREMA ( UNICIDAD DEL ELEMENTO SIMTRICO ) 34
LGEBRA II
104
7.4.3.7 TEOREMA 35
7.4.4 RESUMEN DE LA LECCIN N 3 36
7.4.6 AUTO EVALUACIN.. 37
7.4.7 TABLA DE PUNTAJE . 39
7.4.8 CALIFICACIN .. 39
7.5 RESUMEN DE LA 1 era. UNIDAD 39
7.6 INVESTIGACIN.. 40
7.7 GLOSARIO 41
7.8 BIBLIOGRAFA DE LA UNIDAD 41

8 SEGUNDA UNIDAD
PARTE ESTABLE , LEY DE PRODUCTO , RELACIN DE EQUIVALENCIA
COMPATIBLE CON UNA L.C.I. Y HOMOMORFISMO DE MONOIDE
8.1 OBJETIVO DE LA UNIDAD 42
8.2 LECCIN N 1 . 42
PARTE ESTABLE - LEY PRODUCTO - RELACIN DE EQUIVALENCIA
COMPATIBLE CON UNA LEY
8.2.2 MOTIVACIN DEL TEMA .. 43
8.2.3 DESARROLLO DEL CONTENIDO.. 44
8.2.3.1 DEFINICIN . 44
8.2.3.2 NOTA 46
8.2.3.3 LEY PRODUCTO.. 46
8.2.3.4 NOTA. 46
8.2.3.5 RELACIN DE EQUIVALENCIA COMPATIBLE CON UNA LEY
DE COMPOSICIN INTERNA . 47
LGEBRA II
105
8.2.5 ACTIVIDADES DE AUTO APRENDIZAJE. 49
8.2.6 AUTO APRENDIZAJE 50
8.2.7 TABLA DE PUNTAJES.. 51
8.2.8 CALIFICACIN . 51
8.3 LECCIN N 2
HOMOMORFISMO E ISOMORFISMO DE MONOIDES
8.3.2 MOTIVACIN 52
8.3.3 DESARROLLO DEL CONTENIDO .. 52
HOMOMORFISMO E ISOMORFISMO DE MONOIDE
8.3.3.1 DEFINICIN .. 53
8.3.3.2 CLASES DE HOMOMORFISMOS 54
8.3.4 RESUMEN DE LA LECCIN 58
8.3.5 ACTIVIDADES DE APRENDIZAJE 59
8.3.6 AUTOEVALUACIN.. 60
8.3.7 TABLA DE PUNTAJE.. 61
8.3.8 CALIFICACIN 61
8.4 RESUMEN DE LA 2 da . UNIDAD 62
8.5 INVESTIGACIN .. 62
8.6 GLOSARIO.. 62
8.7 BIBLIOGRAFA BSICA DE LA UNIDAD. 62
9 TERCERA UNIDAD
INTRODUCCIN A LA TEORA DE GRUPOS - SUBGRUPOS
9.1 OBJETIVOS DE LA UNIDAD. 63
9.2 LECCIN N 1
ESTRUCTURA DE GRUPOS , PROPIEDADES
9.2.1 OBJETIVO ESPECFICO DE LA LECCIN .. 63
9.2.2 MOTIVACIN DEL TEMA.. ... 63
LGEBRA II
106
9.2.3 DESARROLLO DEL CONTENIDO - INTRODUCCIN 64
9.2.3.1 ESTRUCTURA.. 65
9.2.3.2 GRUPO.. 65
9.2.3.3 GRUPO ABELIANO. 65
9.2.3.4 DEFINICIN. 65
9.2.3.5 TEOREMA 69
9.2.3.6 TEOREMA 69
9.2.3.7 .PROPIEDADES DE GRUPOS 70
9.2.3.7 .REGULARIDAD. 71
9.2.3.8 ECUACIONES EN EL GRUPO.. 71
9.2.5 ACTIVIDADES DE APRENDIZAJE... 77
9.2.6 AUTOEVALUACIN . 78
9.2.7 TABLA DE PUNTAJES 79
9.2.8 CALIFICACIN.. 79

9.3 LECCIN N 2
ALGUNOS GRUPOS IMPORTANTES
9.3.1 OBJETIVO ESPECFICO.. 80
9.3.3 DESARROLLO DEL CONTENIDO. 81
9.3.3.1 EL GRUPO DE ENTEROS RESIDUALES MODULO m....... 81
9.3.3.2 EL GRUPO DE TRANSFORMACIONES O PERMUTACIONES. 82
9.3.4 EL GRUPO DE LOS ELEMENTOS DE KLEIN .. 87
9.3.5 ACTIVIDADES DE APRENDIZAJE. 88
9.3.6 AUTOEVALUACIN ... 88
9.3.7 TABLA DE PUNTAJE... 89
9.3.8 CALIFICACIN. 89
LGEBRA II
107
9.4 LECCIN N 3
SUBGRUPOS - PROPIEDADES - SUBGRUPO GENERADO
9.4.1 OBJETIVO ESPECFICO.. 90
9.4.2 MOTIVACIN DEL TEMA . 90
9.4.3.1 DEFINICIN . 90
9.4.3.2 LEMA 1.. 91
9.4.3.3 LEMA 2.. 93
9.4.3.4 INTERSECCIN DE SEMIGRUPOS.. 93
9.4.3.5 REUNIN DE SUBGRUPOS 94
9.4.3.6 SUBGRUPO GENERADO 95
9.4.3.7 GRUPO CCLICO.. 96
9.4.4 RESUMEN DE LA LECCIN N 3. 97
9.4.6 AUTOEVALUACIN 98
9.4.7 TABLA DE PUNTAJES. 99
9.4.8 CALIFICACIN. 99
10 . BIBLIOGRAFA GENERAL. 100
11 . INDICE .. 102

Textol de Algebra II - 2006

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Textol de Algebra II - 2006

Cargado por

Copyright:

Formatos disponibles

LGEBRA II

De i) , ii) , iii) (C , ) es grupo

De i) , ii) , iii) y iv) ( ) + ,

También podría gustarte