Topicos en Algebra - Un Enfoque Mauristico

PAGINA 1
INTENCIONALMENTE EN BLANCO

PAGINA 2
INTENCIONALMENTE EN BLANCO

- 3 - Tpicos en Algebra
P PA AR RT TE E I I
A. C CO ON NJ JU UN NT TO OS S. .
Se tocara el tema de conjuntos de una manera somera, ya que se supone que el
estudiante tiene ideas claras del tema. Solo daremos algunas definiciones y
conceptos bsicos.
1. IDEA DE CONJUNTO.
Definicin.
Agrupacin o coleccin de cualquier tipo de entes u objetos, los cuales pueden tener
propiedades comunes.

Representacin.
Sea A = {1,2,x}, su representacin grafica es: A

Diagrama de Venn.

Sea X un conjunto. Con x 0 X denotamos la proposicin x es un elemento de X x
pertenece a X tambin X contiene a x.
Con x X denotamos su negacin.
Sean Z, Y conjuntos. Diremos que Y es subconjunto de Z, en smbolos Y d Z, si la
proposicin: a 0 Y Y a 0 Z. Es verdadera xa 0 Y.
Diremos que Y = Z, si la proposicin: a 0 Y Y a 0 Z. es Verdadera. Entonces Z d Y e
Y d Z.
Consecuentemente d Y, x Y conjunto.
El conjunto vaci, pertenece a cualquier conjunto

2. OPERACIONES ENTRE CONJUNTOS.
Sea X un conjunto, y A, B subconjuntos de X. se tiene:
A c B = {x / x 0 A o x 0 B} unin de A y B.
A 1 B = {x / x 0 A i x 0 B} interseccin de A y B.
A B = {x / x 0 A i x B} diferencia de A con B.
x
A = A = X A complemento de A en X.
A B = {A B} c {B A} diferencia simtrica de A y B.
A x B = {(a,b) / a 0 A i b 0 B} producto cartesiano de A con B.

3. ALGUNAS PROPIEDADES ENTRE CONJUNTOS.
Si A 1 B = , entonces se dice que A y B son conjuntos disjuntos.
Sean U,V,W subconjuntos de X. se tiene:
U c (V c W) = (U c V) c W, o simplemente: U c V c W.
U 1 (V 1 W) = (U 1 V) 1 W, o simplemente: U 1 V 1 W.
U 1 (V c W) = (U 1 V) c (U 1 W).
U c (V 1 W) = (U c V) 1 (U c W).
(U c V) = ( U) 1 ( V).
(U 1 V) = ( U) c ( V).
1
2
x
Leyes de Morgan.
U (V W) = (U V) W.
U 1 (V W) = (U 1 V) (U 1 W).

4. REPRESENTACIONES GRAFICAS.
a) Unin de A y B.

b) Interseccin de A y B.

c) Diferencia de A y B.

d) Complemento de A en X.

e) Diferencia simtrica de A y B.

En este curso, la utilizacin de conjuntos es permanente, utilizaremos diversas
clases de conjuntos, desde los Nmeros Naturales, hasta la idea de campo. Por eso la
importancia de esta parte introductoria.

Debido a la formacin clsica que recibe un estudiante antes de cursar este
curso, puede resultar difcil esta materia, lo cual si lo analizan bien debera ser todo lo
contrario, lo importante es familiarizarse con los distintos signos, operaciones,
definiciones, representaciones y conjuntos aqu expuestos.

miedo??, ni al diablo
LOCUS

El mejor colegio, es el colegio cerrado
DANIEL F.

A
X
A B A B
A B
A B
B. R RE EL LA AC CI IO ON N R R . .
todas las cosas se relacionan entre si
1. RELACION R.
Definicin.
Una Relacin R, entre los elementos de un conjunto A y un conjunto B, es todo
subconjunto del conjunto AxB (Producto Cartesiano), tal que:
i) El conjunto A es llamado conjunto de partida.
ii) El conjunto B es llamado conjunto de llegada.

R d AxB

Se lee: R esta incluido en AxB.
Si un elemento a0A, esta relacionado con un elemento b0B, se simboliza por a R b, o
tambin (a,b) 0 R.

Si un elemento a0A, no esta relacionado con un elemento b0B, se simboliza por (a,b)
R
2. RELACION DE EQUIVALENCIA.
Sea R una relacin definida en un conjunto A, es decir: R: A 6 A = A
2
Definiciones.
i) La relacin R es reflexiva ]a R a, x a 0 A.
ii) La relacin R es simtrica ]a R b Yb R a.
iii) La relacin R es transitiva ]a R b i b R c Ya R c, siendo a, b, c 0 A.

Sea A , finito, tal que o(A) = m (el conjunto A tiene m elementos).
A= {a
1
, a
2
, a
3
,, a
m
}
Sea R una relacin en A ( R: A 6 A = A
2
)
Si a
i
R a
j
, se representa.

a
i
a
j
Ejemplo.
Si A = {1,2,4,5,10,20}
a R b ]a *b b=ak , k 0 Z
2 1 ya que 12k, para k 0 Z
5 2 ya que 25k, para k 0 Z
1 R 2 ya que 2=1k, para k=2, k 0 Z
2 R 2 ya que 2=2k, para k=1, k 0 Z
Hallando todas las relaciones posibles se tiene el siguiente grafo.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
MOVIMIENTOS DE SIMETRIA DEL TRIANGULO EQUILATERO
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
G = {R
0
,R
1
,R
2
, D
1
,D
2
,D
3
}
Se entiende por:
R
0
: Giro de 360E o 0E.
R
1
: Giro de 120E.
R
2
: Giro de 240E.
D
1
,D
2
,D
3
: Reflexiones.

B
R
0
R
1
R
2
D
1
D
2
D
3
R
0
R
0
R
1
R
2
D
1
D
2
D
3
R
1
R
1
R
2
R
0
D
3
D
1
D
2
R
2
R
2
R
0
R
1
D
2
D
3
D
1
D
1
D
1
D
2
D
3
R
0
R
1
R
2
D
2
D
2
D
3
D
1
R
2
R
0
R
1
D
3
D
3
D
1
D
2
R
2
R
1
R
0
*Podemos realizar lo mismo con un cuadrado, en el cual por ende tendremos un giro mas, y una
reflexin mas. Sugerimos al estudiante que lo realice.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
1
D
2
D
3
3 2
D
1
1
2 5
4
20
10
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
UN PUNTO DE VISTA DESDE MATRICES.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
Sean I
1
, I
2
, I
3
, , I
n
conjuntos de la forma:
I
1
= {1}
I
2
= {1,2}
I
3
= {1,2,3}
.
.
.
I
n
= {1,2,,n }

Definicin.
Una matriz de orden m x n, con n elementos en el conjunto A, es toda funcin f tal
que:
f : Im x In 6 A
Ejemplo.
Usando los conjuntos I3, I4 se tiene una matriz de orden 3 x 4, con elementos en A de la
siguiente manera:

F = {((1,1),x), ((1,2),x), ((1,3),x), ((1,4),x),
((2,1),y), ((2,2),y), ((2,3),y), ((2,4),y),
((3,1),z),((3,2),z), ((3,3),z), ((3,4),z)}

lo cual puede entenderse como:

F(1,1) = x F(2,1) = y F(3,1) = z
F(1,2) = x F(2,2) = y F(3,2) = z
F(1,3) = x F(2,3) = y F(3,3) = z
F(1,4) = x F(2,4) = y F(3,4) = z

En general F(i,j) se lee como: el elemento de la matriz en la ubicacin ij
F(i,j) = fij 0 A
Y F = { f11,f12,,f21,f22,,fmn}
Representacin:
1 # j # n
|
|
|
|
|
|
.
|
\
|
=
mn m3 m2 m1
3n 33 32 31
2n 23 22 21
1n 13 12 11
f f f f
f f f f
f f f f
f f f f
K
M O M M M
K
K
K
F
Considerando matrices con elementos en (R,+, x) (nmeros reales, con las operaciones
adicin y multiplicacin usual), tenemos:

M = R(m x n), conjunto de todas las matrices de orden m x n, con elementos en el
campo* R, en M definimos unas operaciones binarias:

* luego se definir el concepto de campo.
i) Adicin.
+ : M x M Y M
(A,B) YA + B (Suma de A y B)

A + B(i,j) = A(i,j) + B(i,j), x i,j 0 Im x In A (adicin en los reales)

ii) Multiplicacin
C : M x M Y M
(A,B) YAB (Producto de A y B)

AB(i,j) =
=
n
k
j k B k i A
1
) , ( ) , (
Donde: C11 = a
11
b
11
+ a
12
b
21
+ + a
1n
b
n1 =
=
n
k
kj ikb a
1
Se tienen los conjuntos:

A = {a,b,c,d} o(A) = 4
B = {1,2,3,4,5} o(B) = 5

R = {(a,1),(a,3),(b,4),(c,2),(c,5),(d,1),(d,4)}

Si R es una relacin de A = {a
1
, a
2
, a
3
, , a
n
} en B = {b
1
, b
2
, b
3
, , b
n
},
MR = [m
ij
] 1 # i # m , 1 # j # n
m
ij
=

MR =
5 4
0 1 0 0 1
1 0 0 1 0
0 1 0 0 0
0 0 1 0 1
x
|
|
|
|
|
|
|
|
.
|
\
|
Tambin podramos realizar lo inverso, dado una matriz MR, formada de ceros y unos,
hallamos los elementos de A y B, y la relacin R.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
1, Si a
i
R b
j
0, Si a
i
b
j
3. CONGRUENCIA DE ENTEROS modulo m.
Definicin.
Dado un m 0 Z
+
/ m > 1, se dice que a es equivalente o congruente con b modulo m
si y solamente si existe un k 0 Z, tal que a-b es un mltiplo de k, es decir a-b=mk i a,b
0 Z.
a / b (mod m) ] m*(a-b) a-b=mk

Ejemplos.

Sea m=5
1 4(mod 5) ya que: 1-45k, x k 0 Z.
1 / 1(mod 5) ya que: 1-1=5k, para k=0, 0 0 Z.
-30 / -15(mod 5) ya que: -30-15=5k k=-9, -9 0 Z.

Propiedades.

i) Si: a / b(mod m), b / c(mod m) Y a / c(mod m).
ii) Si: ab / ac(mod m) Y a / c(mod m).

Proposicin:
La Congruencia de enteros modulo m, es una relacin de equivalencia.

PRUEBA.
Para que la congruencia de enteros sea una relacin de equivalencia debe ser:
reflexiva, simtrica y transitiva.

i) Reflexiva.
x a 0 Z, a / a(mod m)?
Si, ya que a-a=0m, y 00 Z.
Entonces la congruencia de enteros modulo m es Reflexiva.

ii) Simtrica.
Si a / b(mod m) Yb / a(mod m)?
Si, ya que:
a / b(mod m) ] a-b=mk
(multiplicando por (-1)) (-1)(a-b)=(-1)(mk)
-a+b=-mk
b-a=m(-k) -k 0 Z. Y
b / a(mod m).
Entonces la congruencia de enteros modulo m es Simtrica.

iii) Transitiva.
Si a / b(mod m) i b / c(mod m), Y a / c(mod m)?
Si, ya que:
a / b(mod m) i b / c(mod m) Y
a-b=mk
1
b-c=mk
2
sumndolos tenemos:
(a-b)+(b-c)=mk
1
+ mk
2
a-c=m(k
1
+ k
2
) y como k
1
+ k
2
es otro numero entero entonces.
a / c(mod m)
Entonces la congruencia de enteros modulo m es Transitiva.

Como la relacin es reflexiva, simtrica, y transitiva, entonces la Congruencia de
enteros modulo m, es una Relacin de Equivalencia.

4. CLASES DE EQUIVALENCIA.
La clase de equivalencia con representante a 0 B, se denota por [a], y se define como
el conjunto:

[a] = {x 0 B/aRx}

Considerando la relacin Congruencia de enteros modulo 5 determinaremos las
clases de equivalencia.
[5]= {,-5,0,,5,10,}
[6]= {,-9,-4,1,6,11,}
[3]= {,-7,-2,3,8,}
[2]= {,-8,-3,2,7,12,17,}
[-1]= {,-11,-6,-1,4,9,}

ntese que:
[6] = [1]
[3] = [-2] = [-7]

Si m=3, Y Z
3
= {[0], [1], [2]}
[0] = {,-6,-3,0,3,6,9,}
[1] = {,-5,-2,1,4,7,}
[2] = {,-4,-1,2,5,8,}

En general: Z
m
= {[0], [1], [2],, [m-1]}
Z
m
es el conjunto de todas las clases de equivalencia de m. El numero de
representantes se determina mediante el modulo.
Ejemplo.
Mod5 tiene 5 representantes.
ModK tiene K representantes.

5. ADICION Y MULTIPLICACION MODULO m.
Definimos en Z
m
dos operaciones:

i) Adicin modulo m.
Z
m
+ Z
m
6 Z
m
([a] + [b]) 6 [a] + [b]
[a] + [b] = [a + b]

El representante de clase es igual a (a+b) menos el mayor mltiplo de m contenido en a
+ b.
ii) Multiplicacin modulo m.
Z
m
x Z
m
6Z
m
([a] [b]) 6 [a] u [b]
[a] u [b] = [ab]

El representante de clase es igual (ab) menos el mayor mltiplo contenido en ab.

Ejemplos.
Z
3
= {0,1,2}

Z
5
= {0,1,2,3,4}

r
0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
Z
6
= {0,1,2,3,4,5}

Ntese que:
i) Si [a] = [b] Y a / b(mod m).
ii) Si a / b(mod m) Y [a] = [b].
Es necesario que el estudiante conozca estas tablas, ya que su utilizacin ser
constante.

MEMORIZAR ES IMPORTANTE:
La civilizacin avanza extendiendo el numero de
operaciones importantes que podamos realizar
sin pensar acerca de ellas
Alfred N. Whitehead.

r
0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
u
0 1 2
0 0 0 0
1 0 1 2
2 0 2 1
u
0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1
u
0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 2 3 4 5
2 0 2 4 0 2 4
3 0 3 0 3 0 3
4 0 4 2 0 4 2
5 0 5 4 3 2 1
r
0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4
C. P PE ER RM MU UT TA AC CI IO ON NE ES S. .
1. INTRODUCCION.
OPERACIONES BINARIAS.
Definicin.
Una funcin binaria en A, es una funcin que transforma cada dos elementos de A en
un elemento que puede estar en A o en otro conjunto.

*Funcin: Una funcin f, del conjunto A en el conjunto B es una relacin f de A en B, tal
que a cada x 0 Dominio de f, le corresponde un nico y 0 b a travs de f.

Sea A se tiene:
A x A 6 B
A x A 6 A
Ejemplo. = {1,2,3,4,}
i) Adicin Usual + x 6
(a,b) 6 (a+b)
ii) Multiplicacin usual x x 6
(a,b) 6 (ab)
2. PERMUTACION.
Definicin.
Dado un conjunto, no vaci, A, y esto es o(A)=n (Orden de A igual a n, o A tiene n
elementos). Se llama permutacin de n smbolos a toda aplicacin biyectiva, tal que:
f: A 6 A.

*aplicacin=funcin (en este caso).

Ejemplo.
Sea el conjunto: S={1,2,3}, g: S 6 S
se tiene:

S
3
= {%,%
1
, %
2
, %
3
, %
4
, %
5
}
S: esta conformado por permutaciones de 3 elementos.

El Conjunto de todas las permutaciones de n smbolos se denota por S
n
3. ORDEN DEL CONJUNTO S
n
.
Si S={1} Y o(S
1
) = 1 = 1!
Si S={1,2} Y o(S
2
) = 2 = 2!
Si S={1,2,3} Y o(S
3
) = 6 = 3!
.........................

.
En General:
Si S={1,2,,n} Y o(S
n
) = n! (Factorial de n).
4. PRODUCTO DE PERMUTACIONES.
Definicin.
B: B B B 6 B
(M B %) 6M B %
(M B %)(x) = M B %, x x 0 S.

Ejemplo.
En S
3
tenemos:
S
3
= {%,%
1
, %
2
, %
3
, %
4
, %
5
}
(%
2
B %
4
)(1) = %
2
(%
4
(1)) = %
2
(2) = 2
(%
2
B %
4
)(2) = %
2
(%
4
(2)) = %
2
(3) = 1
(%
2
B %
4
)(3) = %
2
(%
4
(3)) = %
2
(1) = 3

..
.
Construyendo tenemos la tabla:

B % %
1
%
2
%
3
%
4
%
5
% % %
1
%
2
%
3
%
4
%
5
%
1
%
1
% %
4
%
5
%
2
%
3
%
2
%
2
%
5
% %
4
%
3
%
1
%
3
%
3
%
4
%
5
% %
1
%
2
%
4
%
4
%
3
%
1
%
2
%
5
%
%
5
%
5
%
2
%
3
%
1
% %
4
*esta es la famosa tabla de las alfas de S
3
. La cual ser usada bastante en el transcurso del texto.

Ejemplos.
a) Calcular los siguientes productos:

Sea, % =
|
|
.
|
\
|
1 2 3
3 2 1
y M =
|
|
.
|
\
|
3 1 2
3 2 1
, donde %,M 0 S
3
.
i) % B M = %M =
|
|
.
|
\
|
1 2 3
3 2 1
B
|
|
.
|
\
|
3 1 2
3 2 1
=
|
|
.
|
\
|
1 3 2
3 2 1
.
ii) M B % = M% =
|
|
.
|
\
|
3 1 2
3 2 1
B
|
|
.
|
\
|
1 2 3
3 2 1
=
|
|
.
|
\
|
2 1 3
3 2 1
.
Ntese que la operacin B, no es conmutativa.
b) Calcular:
i)
|
|
.
|
\
|
4 5 1 3 2
5 4 3 2 1
|
|
.
|
\
|
5 3 4 2 1
5 4 3 2 1
=
|
|
.
|
\
|
4 1 5 3 2
5 4 3 2 1
ii)
|
|
.
|
\
|
2 6 5 4 3 1
6 5 4 3 2 1
|
|
.
|
\
|
5 4 3 2 6 1
6 5 4 3 2 1
=
|
|
.
|
\
|
6 5 4 3 2 1
6 5 4 3 2 1
5. DESCOMPOSICION EN CICLOS.
Definicin.
Una Permutacin M de S
m
, es un ciclo de longitud k, si existe k elementos diferentes a
1
,
a
2
, a
3,
, a
k
tales que:

M(a
1
)= a
2
, M(a
2
)= a
3
, M(
k-1
)= a
k
tal permutacin se denota por:
M = ( a
1
a
2
a
3
a
k)

Ejemplos.
a) Sea S = {1,2,3,4,5}
M(5) = 3 M(4) = 5 M(1) = 2 M(2) = 4 M(3) = 1

M=
|
|
.
|
\
|
3 5 1 4 2
5 4 3 2 1
Los elementos a, diferentes de a
1,
a
2,
a
3,
a
k
que no aparecen, se transforman en
si mismos. Por eso es necesario especificar a que conjunto pertenece cada
permutacin, caso contrario una permutacin tendra infinitas permutaciones.

M como ciclo se representara as: M = (1 2 4 5 3).
Grficamente seria as:

la permutacin M = (1 2 4 5 3), da igual si se escribe: M = (2 4 5 3 1) o M = (4 5 3 1 2),
etc.

b) Represente en ciclos, la siguiente permutacin.

% =
|
|
.
|
\
|
4 6 5 1 3 2
6 5 4 3 2 1
en ciclos seria dada como: % = (1 2 3) (4 5 6).
*ntese que % en ciclos, esta expresada en dos partes.
1
2
4
5 3
Un Ciclo de longitud igual a 2, se llama TRANSPOSICION.

Sea % = (1 2 3 4 5) 0 S
5
Podemos expresarla en forma de transposiciones de la manera siguiente:
% = (1 5)(1 4)(1 3)(1 2)
Ejemplo.
Expresar M en forma de ciclo, y en transposiciones:
M =
|
|
.
|
\
|
5 2 6 4 1 3
6 5 4 3 2 1
en ciclos seria: M = (1 3 4 6 5 2) y en transposiciones:
M = (1 2)(1 5)(1 6)(1 4)(1 3) que es lo mismo de expresarla de la forma
M = (3 2)(3 5)(3 6)(3 4)(3 1), etc.

Definicin.
i) Si el numero de transposiciones de una permutacin es par, entonces su
signo es 1.
ii) Si el numero de transposiciones de una permutacin es impar, entonces su
signo es -1.

Ejemplo.
El signo de M = (1 2)(1 5)(1 6)(1 4)(1 3) es -1, ya que esta formado de 5 transposiciones
y 5 es numero impar.

6. PERMUTACION INVERSA.
Sea S = (1,2,3, ,m)

y M =
|
|
.
|
\
|
m i i i i
m
...
... 3 2 1
3 2 1
una permutacin 0 S
m
. existe un elemento M
-1
, tal que:

M
-1
(i
m
) = m ] M(m) = i
m
.
Ejemplo.
Sea M =
|
|
.
|
\
|
1 5 2 4 3
5 4 3 2 1
M
-1
ser =
|
|
.
|
\
|
4 2 1 3 5
5 4 3 2 1
adems M B M
-1
=
|
|
.
|
\
|
5 4 3 2 1
5 4 3 2 1
a esta permutacin se le conoce como permutacin
identidad.
M B M
-1
= (1 3 2 4 5)(1 5 4 2 3) = (1 2)(1 2) = (1 3)(1 3) = (2 3)(2 3), etc.

En S
3
existen 3!=6 permutaciones, las cuales expresadas en ciclos son:
S
3
= {%,%
1
, %
2
, %
3
, %
4
, %
5
}
% = (1 2)(1 2) = (2 3)(3 2) = PAR Signo (1)
%
1
= (2 3) IMPAR Signo (-1)
%
2
%
3
%
4
= (1 2 3)=(1 3)(1 2) PAR Signo (1)
%
5
= (1 3 2)=(1 2)(1 3) PAR Signo (1)

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
EJERCICIOS RESUELTOS
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
a) Determine todas las permutaciones posibles en S = {1,2,3,4}.

Solucin.
Como el orden de S = 4, entonces con S existen 4! permutaciones posibles = 24.
Entonces S
4
= {%,%
1
, %
2
, %
3
,, %
22
, %
23
}
Ahora determinamos todas las 24 permutaciones de la forma siguiente:
% = (1 2)(1 2) = (2 3)(3 2) = PAR Signo (1)
%
1
%
2
%
3
%
4
%
5
%
6
%
7
= (1 2 3)=(1 3)(1 2) PAR Signo (1)
%
8
= (1 3 2)=(1 2)(1 3) PAR Signo (1)
%
9
= (1 2 4)=(1 4)(1 2) PAR Signo (1)
%
10
= (1 4 2)=(1 2)(1 4) PAR Signo (1)
%
11
= (1 3 4)=(1 4)(1 3) PAR Signo (1)
%
12
= (1 4 3)=(1 3)(1 4) PAR Signo (1)
%
13
= (2 4 3)=(2 3)(2 4) PAR Signo (1)
%
14
= (2 3 4)=(2 4)(2 3) PAR Signo (1)
%
15
= (1 2)(3 4) PAR Signo (1)
%
16
= (1 4)(2 3) PAR Signo (1)
%
17
= (1 3)(2 4) PAR Signo (1)
%
18
= (1 2 3 4)=(1 4)(1 3)(1 2) IMPAR Signo (-1)
%
19
= (1 3 2 4)=(1 4)(1 2)(1 3) IMPAR Signo (-1)
%
20
= (1 2 4 3)=(1 3)(1 4)(1 2) IMPAR Signo (-1)
%
21
= (1 4 2 3)=(1 3)(1 2)(1 4) IMPAR Signo (-1)
%
22
= (1 3 4 2)=(1 2)(1 4)(1 3) IMPAR Signo (-1)
%
23
= (1 4 3 2)=(1 2)(1 3)(1 4) IMPAR Signo (-1)

b) Dada la Matriz MZ determine los elementos del conjunto relacin R, y los conjuntos
R: A6B. Considerando:

m
ij
=

MZ =
5 4
1 0 1 0 1
1 0 1 1 0
0 1 1 0 1
1 0 0 1 0
x
|
|
|
|
|
|
|
|
.
|
\
|
Solucin.
Como la matriz es de orden 4 x 5, entonces los conjuntos A y B tienen 4 y 5 elementos
respectivamente.
o(A) = 4, o(B) = 5
entonces: A = {a,b,c,d} y B = {1,2,3,4,5}.
Ahora hallamos los elementos de la relacin R de la forma siguiente:
El elemento de la posicin m
11
= 0, entonces (a,1) R.
El elemento de la posicin m
12
= 1, entonces (a,2) 0 R.

Haciendo lo mismo para todos los elementos de la matriz, la relacin R viene dada por:
R = {(a,2),(a,5),(b,1),(b,3),(b,4),(c,2),(c,3),(c,5),(d,1),(d,3),(d,5)}

c) Hallar A+B
A =
5 3
0 9 0 0 1
5 . 0 4 0
3
4
9
4
5
2
5 1 2
x
|
|
|
|
.
|
\
|

y B =
5 3
0 9 0 0 0
0 4 0
2
2
0
0 2 6 1 1
x
|
|
|
.
|
\
|

Solucin.
Por definicin de adicin de matrices, se tiene:
A + B =
5 3
0 18 0 0 1
5 . 0 8 0
3
7
9
4
5
8
11 2 3
x
|
|
|
|
.
|
\
|

d) Si % =
|
|
.
|
\
|
3 5 4 1 2
5 4 3 2 1
Hallar %
-1
y probar que: % B %
-1
= e(permutacin identidad).
Solucin.
%
-1
=
|
|
.
|
\
|
4 3 5 1 2
5 4 3 2 1
1, Si a
i
R b
j
0, Si a
i
b
j
9 9
1 0 0 1 0 1 0 1 0
0 1 0 0 0 0 0 0 0
0 0 1 0 1 0 0 0 0
0 1 0 1 0 0 0 0 0
0 0 1 0 1 0 0 0 0
1 0 0 0 0 1 0 1 0
0 0 0 0 0 0 1 0 1
1 0 0 0 0 1 0 1 0
0 0 0 0 0 0 1 0 1
x
R
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|
\
|
=
ahora nos preguntamos % B %
-1
= e ?:

% B %
-1
=
|
|
.
|
\
|
3 5 4 1 2
5 4 3 2 1
B
|
|
.
|
\
|
4 3 5 1 2
5 4 3 2 1
=
|
|
.
|
\
|
5 4 3 2 1
5 4 3 2 1
.
e) En B = {-11,-4,13,8,-3,-2,15,10,2}, se define la relacin: Dados a,b en B a/b(mod6)
] a-b=6k, para k en Z. Demostrar que es de equivalencia. Dar su grafo y su
representacin matricial.

Solucin.
Denotemos la relacin como R, entonces se nota que la relacin va de B en B es decir:
R: B6B, entonces como o(B)=9, se tiene que R es una matriz de orden 9x9(cuadrada).

Ahora hallemos todos los elementos de B que cumplen con: a/b(mod6) ]a-b=6k
-11 / -11(mod 6), -4 / -4(mod 6), 13 / 13(mod 6), 8 / 8(mod 6), -3 / -3(mod 6)
-2 / -2(mod 6), 15 / 15(mod 6), 10 / 10(mod 6), 2 / 2(mod 6).

Hasta ac tenemos que R, es Simtrica.
Luego, para -11, tenemos:
-11 -4(mod 6), -11 / 13(mod 6), -11 8(mod 6), -11 -3(mod 6),
-11 -2(mod 6), -11 15(mod 6), -11 10(mod 6), -11 2(mod 6),

Haciendo los mismo para todos los elementos de B, se tienen como congruentes a:
-11 / 13(mod 6), -4 / 8(mod 6), -4 / 2(mod 6), 8 / -4(mod 6)
8 / 2(mod 6), 13 / -11(mod 6), -3 / 15(mod 6), -2 / 10(mod 6)
15 / -3(mod 6), 10 / -2(mod 6), 2 / -4(mod 6), 2 / 8(mod 6).
Hasta ac podemos ver que R, es Reflexiva y Transitiva.

Entonces la relacin R es una RELACION DE EQUIVALENCIA.
Ahora el grafo, y la representacin matricial de la relacin seria:

8
-4 2
10 -2
15 -3
13 -11
E ES ST TR RU UC CT TU UR RA AS S A AL LG GE EB BR RA AI IC CA AS S
Conjuntos dotados de operaciones binarias.

a) Con una operacin binaria:
i) Semigrupo.
ii) Monoide.
iii) Grupo.

b) Con dos operaciones binarias.
i) Anillo.
ii) Cuerpo.
iii) Campo.

P PA AR RT TE E I II I
INTRODUCCION.

Definiremos los conceptos bsicos que se usaran en esta parte.
A) Estabilidad. Todo conjunto A es estable para una operacin , siempre que si
cogemos dos elementos de A, por decir a,b/ a,b 0 A, el resultado de operarlos con ,
tambin pertenecer a A.
Es decir: sea a b = c 6 c 0 A.

B) Asociatividad. Todo conjunto A es asociativo para una operacin , si se cumple
que para tres (o mas) elementos de A (a,b,c 0 A) se cumple que:
a (b c) = (a b) c, supongamos que a b = d, y que b c = e, entonces tenemos
que : a (b c)= a e y que (a b) c= d c 6 a e tiene que ser igual a d c para
que consideremos a la operacin asociativa.
Si una operacin es asociativa, entonces no es ambigua

C) Elemento identidad. Se llama elemento identidad e, a todo elemento
perteneciente a un conjunto A, tal que si operamos cualquier elemento a de A, con e: el
resultado ser este mismo es decir: a e = a (identidad izquierda) e a = a (identidad
derecha).

D) Elemento Inverso. Sea a un elemento de A, se llama elemento inverso de a a
aquel que operado con a, da como resultado el elemento identidad, es decir:
a a
-1
= e, con a
-1
elemento de A.

E) Conmutatividad. conjunto A es conmutativo para una operacin , si se cumple
que para dos elementos a, b 0 A, el resultado de operar por izquierda o por derecha
ambos es el mismo. Es decir: a b = b a.

D. S SE EM MI IG GR RU UP PO O. .
1.
Definicin.
Un Semigrupo es un conjunto A , dotado de una operacin binaria , tal que:
i) A es estable para . ( ab 0 A, xa,b 0 A)
ii) es asociativa en A. ( (ab)c = a(bc), xa,b,c 0 A )
el smbolo denota a la famosa operacin estrellita.

Ejemplos.
A = {a,b 0 R/a + b 0 R, a x b 0 R} con la adicin y multiplicacin usual, A es un
Semigrupo con + y x.
E={10,11,12,} con la adicin y multiplicacin usual, A es un Semigrupo con + y x.
2. SUBSEMIGRUPOS.
Un subsemigrupo de un semigrupo G, es un Subconjunto H de G, que con la
operacin de G, es tambin un semigrupo.

Ejemplos.
Consideremos el conjunto = {0,1,2,3,4,} (Nmeros Naturales) con la adicin usual
es decir (,+), y H = {11,12,13,14,} un subconjunto de (H d ). Entonces podemos
afirmar que (H,+) es un subgrupo de N, ya que es estable y asociativo para la adicin.

Enunciado:
Sea (G,) un semigrupo, y {H
i
, i 0 M}, una familia de subsemigrupos de G, entonces la
interseccin de los subsemigrupos H
i
es un subsemigrupo de G.
H = 1 H
i
(interseccin).
Demostrando el enunciado.
Sean a,b 0 H 6 a b 0 H
i,
xi (por estabilidad), 6a b 0 H (por definicin de
interseccin).

3. GENERADOS.
Sea G un semigrupo y S un subconjunto de G. Sea {H
i
, i 0 M} una familia de
subsemigrupos de G que contiene a S. La 1 H
i
= H es un subsemigrupo de G que
contiene a S. H es el subsemigrupo de G mas pequeito que contiene a S.
Entonces H es el generador de G.

Ejemplo.
Sea G={1,2,3,4,} con la adicin usual, si S={2}, ser el generador no, entonces el un
mnimo generador ser S = G.

4. HOMOMORFISMO ENTRE SEMIGRUPOS.
Sean los semigrupos (A,) y (B,).
Definicin.
Un Homomorfismo entre los semigrupos A y B, es una funcin f:
f : A 6 B / f(ab) = f(a) f(b) xa,b 0 A.

Sea (A,) un semigrupo, y B un subsemigrupo de A (obviamente con)/ B .
f: B 6 A
f(x)= x, xx 0 B.
f(ab)=ab=f(a) f(b), xa,b 0 B.

Sea (A,) un semigrupo 6 f(a), f(b) 0 B. Un elemento a de A es idempotente, cuando:
a a = a.
Si f: A 6B es un homomorfismo de semigrupos, entonces:

5.
Definicin.
i) La imagen de f. o tambin la imagen de A se denota por im(f) o por f(A) y se define
como el conjunto:
Im(f)={y 0 B/y = f(a), para a 0 A}

ii) La imagen de cualquier subsemigrupo E de A, se denota por f(E), y se define como:
f(E)={ z 0 A/z=f(x) para x 0 E}

iii) La imagen inversa bajo f de cualquier subsemigrupo de G de A se denota por f
-1
(G) I
se define como el conjunto:
f
-1
(G) = {a 0 A/ f(a) 0 G}

Sea f: A 6B un homomorfismo de semigrupo, si a de A es un elemento idempotente
entonces f(a) tambin es idempotente.

PRUEBA.
Como a es idempotente, entonces: a a = a
Por definicin de homomorfismo, tenemos: f(a) = f(a)
Entonces f(a)f(a) = f(a)

TEOREMA.
La imagen de cualquier subsemigrupo E de A es subsemigrupo de B, la imagen inversa
bajo f de cualquier subsemigrupo G de B(f
-1
(G)) es un subsemigrupo de A.

PRUEBA.
a) Estabilidad de f(E)
Sean a,b 0 f(E) entonces existen x, z 0 E/ f(x)=a, f(z)=b
ab =f(x)f(z)
ab=f(xz) 6 ab 0 f(E) como f(xz) 0 E 6 ab 0 E
Se vee claramente que E x E 6 E, entonces si es estable.
b) Asociatividad de f(E)
En este caso si es valido decir que la asociatividad se hereda.

Queda demostrado que f(E) si es un subsemigrupo de B.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
Definicin.
Sea f : A 6 B un homomorfismo de semigrupos, tenemos los siguientes casos.
a) Monomorfismo. f es monomorfismo ] f
es inyectiva.
cada elemento de B es a lo mas imagen
de un elemento de A.
b) Epimorfismo. f es epimorfismo ] f es
suryectiva.
la imagen de f es = B.

c) Isomorfismo. f es isomorfismo ]f es
biyectiva
es biyectiva si es inyectiva y suryectiva a
la vez.
d) Endomorfismo. f es endomorfismo ] A
= B
e) Automorfismo. f es automorfismo ]f es
endomorfismo biyectivo.

MIS ODIOS Y MIS AMORES
Venc distancias sin trampas, me detuve para sembrar,
Y fue buena la cosecha. Impenitente viajero, cansado sin cansancio, sigo la senda hasta llegar,
a la meta que no conozco, tal vez este a la vuelta de la esquina,
y a todos les digo adis, profano de mi, En esta hora de recuento,
estn mis odios y mis amores, pasin de dios y de hombre, perdones sin olvidos a tanta ofensa.
Venc distancias sin trampas, derrumbe odios amando y odiando,
Dios sabe cuanto sufr por querer tanto.
Hugo Bonet Rodrguez.
1
2
4
3
4
A B
1
2
3
4
3
1
A
B
1
2
3
4
2
3
1
4
A
B
1
2
3
4
1
2
3
4
A
B
1
2
3
4
1
2
3
4
A
B
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
a) Sea una operacin binaria definida en un conjunto Q, (a,b) = ab = 2ab +4.
Determine el elemento neutro respecto a , y el inverso de a con respecto a .
Solucin.
Al hablar de elemento neutro nos referimos al elemento identidad e, entonces por
definicin tenemos que: ! e 0 Q/ a e = e a = a xa 0 Q.
ea = a 6 2ea + 4=a ae = a 6 2ae + 4=a
e=
a
a
2
4
e=
a
a
2
4
entonces comprobamos la existencia del elemento neutro e.

Ahora para hallar el elemento inverso de a, tenemos por definicin que: xa 0 Q, a
-1
0
Q/ a a
-1
= a
-1
a = e
a a
-1
= e a
-1
a = e
2aa
-1
+ 4 =
a
a
2
4
2a
-1
a + 4 =
a
a
2
4
a
-1
=
2
4
4 7
a
a
a
-1
=
2
4
4 7
a
a
Entonces demostramos la existencia de un nico elemento inverso para a 0 Q.

b) Sea p: -{0} x -{0} 6 -{0}, la aplicacin p definida como (a,b) 6 p(a,b)= a
b
es un semigrupo?.

Solucin.
Por definicin tenemos que: a 0 -{0} y que b 0 -{0}. Entonces por la propiedad en
a
b
(a 0 v b 0)
Esta operacin, ser asociativa?
Tomemos los elementos a,b,c/ a=3, b=5, c=2. Operndolos tenemos que
(ab)c= a(bc)?
(35)2= 3(52)?
3
5
2 35
2
Entonces la operacin no es asociativa. Entonces [-{0},p] no es un semigrupo.

E. M MO ON NO OI ID DE E. .
1.
Definicin.
Un Monoide es un semigrupo con elemento identidad. Mas ampliamente, todo conjunto
A , dotado de una operacin binaria , tal que:
i) A es estable para . ( ab 0 A, xa,b 0 A)
ii) es asociativa en A. ( (ab)c = a(bc), xa,b,c 0 A )
iii) ! e 0 A/ a e = e a = a xa 0 A
Ntese que en iii), habla para todo elemento de A, incluso e e = e.

Ejemplo.
Consideremos el conjunto = {0,1,2,3,4,} (Nmeros Naturales) con la adicin usual
es decir (,+), se nota claramente que este conjunto es un monoide ya que para todo a,
b 0 , a + b tambin pertenecen a ( estabilidad), tambin es asociativa, y existe un
elemento identidad e = ya que a + 0 = a xa 0 .
Entonces el conjunto de los nmeros naturales (incluido el cero) es un Monoide con la
adicin usual.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
El conjunto E={-1,0,1} es un Monoide con la adicin usual?.
Nos preguntamos si ser estable, pero al operar 1+1 = 2, nos damos cuenta que 2 E,
entonces E no es estable. Basta que no cumpla con una de las 3 condiciones de
monoide para afirmar que E NO ES UN MONOIDE.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
El elemento identidad debe ser dual es decir derecho e izquierdo a e = e a, y
nico.

2. SUBMONOIDES.
Definicin.
Un submonoide de un monoide G, es un subsemigrupo de G con elemento identidad.
Ejemplo.
a) Sabemos que (Z,+) es un monoide, entonces el conjunto H={0,1,2,3,4,} es un
submonoide de Z con +.

b) Tomemos el Conjunto S
3
= {%,%
1
, %
2
, %
3
, %
4
, %
5
}, Ser H={%,%
1
} un monoide de
S
3
respecto del producto de permutaciones?
Obteniendo todos los productos posibles, tenemos:
% B % = % % B %
1
= %
1
%
1
B %
1
= % %
1
B % = %
1
Notamos que si es estable, si es asociativo, y si existe un elemento identidad que es %.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
EL GRUPOIDE. Es aquella estructura algebraica, que solo cumple con la Estabilidad.
Es decir todo conjunto A , dotado de una operacin binaria , tal que A es
estable para . ( ab 0 A, xa,b 0 A). Tambin existe el Subgrupoide que es un
subconjunto de (A,), que con es tambin un grupoide.
*Por ser una estructura simple solo lo mencionaremos de esta forma.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
F. G GR RU UP PO O. .
1.
Definicin.
Un grupo es un monoide donde cada elemento es invertible. Mas ampliamente, todo
conjunto A , dotado de una operacin binaria , tal que:
i) A es estable para . ( ab 0 A, xa,b 0 A).
ii) es asociativa en A. ( (ab)c = a(bc), xa,b,c 0 A ).
iii) ! e 0 A/ a e = e a = a xa 0 A.
iv) xa 0 A, a
-1
0 A/ a a
-1
= e.

Ejemplos.
a) R-{0} con la multiplicacin usual (si es grupo).
b) (Z
5
,r) adicin modulo 5 (si es grupo).
c) Los movimientos de Simetra del Triangulo equiltero (si es grupo).
d) Z con la multiplicacin usual (no es grupo).
e) R con la multiplicacin usual (no es grupo).

2. PROPIEDADES DE LOS GRUPOS.

Sea (G,) un grupo, entonces:

TEOREMA.
i) El elemento identidad es nico.
ii) El elemento inverso para cada elemento del grupo G es nico.
iii) (a
-1
)
-1
= a x a 0 G.
iv) (a b)
-1
= b
-1
a
-1
.
PRUEBA.
i) Supongamos que en G existen dos elementos identidad e y e
v
, tal que:
a e = e a = a x a 0 G.
a e
v
= e
v
a = a x a 0 G.
entonces:
e = e e
v
= e
v
6 e = e
v
ii) Supongamos que para un a 0 G, existen dos inversos a
-1
y a
v
, tal que:
a a
-1
= a
-1
a = e
a a
v
= a
v
a = e
a
-1
= a
-1
e = a
-1
(a a
v
)
(a
-1
a) a
v
e a
v
= a
v
6 a
-1
= a
v
iii) Si a 0 G, a
-1
, a a
-1
= a
-1
a = e
para: (a
-1
)
-1
0 G, a
-1
/ (a
-1
)
-1
a
-1
= a
-1
(a
-1
)
-1
= e
a a
-1
= e
(a
-1
)
-1
a
-1
= e
Concluimos que para cada elemento de un grupo, solo existe un inverso, y en el caso
que se ve para a
-1
, su inverso es a y (a
-1
)
-1
. 6a = (a
-1
)
-1
.
iv) (a b)(b
-1
a
-1
) = a (b b
-1
) a
-1

= a e a
-1

= a a
-1
= e

(b
-1
a
-1
) (a b) = b
-1
(a
-1
a) b
= b
-1
e b
= b
-1
b = e
TEOREMA.
i) Si a,b,c 0 G, entonces si a c = b c
6 a = b.
ii) Dados a,b 0 G, ! x,y 0 G / ax= b , yx=b

PRUEBA.
i) a c = b c, c
-1
0 G
(a c) c
-1
= (b c) c
-1

a (c c
-1
) = b (c c
-1
)
a e = b e
a = b
ii) Sea ax = b, Como G es grupo a
-1
.
x = a
-1
b
a(a
-1
b) = (aa
-1
)b = eb =b

Supongamos que existen x, x* 0 G
ax = b
ax*= b
ax = ax*

Definicin de Exponentes.
Sea a un grupo, con elemento identidad e. Para a,e 0 G, y un n 0 Z
+
.
Definicin.
a
0
= e
a
1
= a
a
n+1
=a
n
a
a
-n
=(a
-1
)
n
3. SUBGRUPOS.
Definicin.
Un subgrupo de un grupo G, es un subconjunto H de G, tal que con la operacin
de G, tambin es un grupo.
Ejemplo.
Tomemos el grupo A = {0} (conjunto de los nmeros reales sin el cero) con la
multiplicacin usual, entonces el conjunto H = {-1,1} es un subgrupo de A.

TEOREMA.
Dado un grupo G, un subconjunto H de G, es un subgrupo de G ] ab-1 0 H, xa,b
0 H. Entonces para que cualquier subconjunto H de un grupo G, sea subgrupo debe
cumplir que.
H
ab-1 0 H, xa,b 0 H.

PRUEBA.
i) H ?
Si, ya que por lo menos existe un x en H ya que xx-1 0 H pero xx-1 = e, 6 e 0 H
6 H
ii) Sea x 0 H, e 0 H.
6 x-1e 0 H.
6 ex-1 0 H.

Como x 0 H, existe x-1.

iii) Sea a,b 0 H, a-1, b-10 H 6 (a-1) -1, (b-1)-1 0 H.
Si a(b-1)-1 0 H
6 ab 0 H
Entonces H es estable.

iv) La asociatividad se hereda del Grupo.

6 Queda demostrado que si H cumple con el teorema, H es un subgrupo.

4. SUBGRUPOS TRIVIALES.
Llamamos subgrupos triviales a 2 subconjuntos de un grupo:

i) Al mismo Grupo.
ii) y al conjunto H = {e}, elemento identidad.

Si G es un grupo, 6 sus subgrupos triviales serian {G, {e}}.
Ejemplo.
Tomemos el grupo (Z,+), (Enteros con la adicin usual), sus subgrupos triviales serian
= {Z,{0}}.

5. GRUPO DE KLEIN.
El conjunto A = {a,b,c,d} con la operacin , tiene estructura de grupo de la siguiente
forma:
a b c d
a a b c d
b b a d c
c c d a b
d d c b a
Probando que el grupo de Klein es un grupo.
i) Estabilidad para .
a a = a b a = b
a b = b b b = a
a c = c .
a d = d

Se puede observar claramente en la tabla, que todos los elementos resultantes
perteneces al conjunto A.

ii) Asociatividad.
Cojamos 3 elementos cualesquiera por ejemplo b, c, d. operndolos respectivamente
tenemos:

Nos preguntamos (b c) d = b (c d)?
Operando tenemos: d d = b b?
a = a
Entonces, operando de distintas formas los elementos de A, se ve que si es estable.

iii) Existencia del elemento identidad.
El elemento identidad es a, ya que para todo elemento x de A, se tiene que:
x a = a x = x
iii) Inversos para cada elemento.
Inverso de a, a x = a, x = a.
Entonces el inverso de a es el mismo a.
Inverso de b, b x = a, x = b.
Entonces el inverso de b es el mismo b.
Inverso de c, c x = a, x = c.
Entonces el inverso de c es el mismo c.
Inverso de d, d x = a, x = d.
Entonces el inverso de d es el mismo d.

6, Como el conjunto A cumple con la definicin de Grupo para , Podemos afirmar
que el conjunto de Klein, es un grupo llamado el GRUPO DE KLEIN.

6. RELACION DE CONGRUENCIA modulo H.
Dados a, b 0 G.
Definicin.
a / b(mod H) ]a
-1
b 0 H
Ejemplo.
Sea G= (Z
6
,r), Z
6
= {0,1,2,3,4,5}, y H = {0,2,4} hallar todos los elementos congruente
entre si modulo H.
Solucin.
Recordando la tabla de Z
6
para la adicin modulo 6, tenemos:

Y empezamos a hallar todos los elementos que cumplen con a / b(mod H) ]a
-1
b 0 H
Digamos, 1 / 4(mod H)? ](1)
-1
r 4 0 H?
5 r 4 = 3, como 3 H,
concluimos que 1 4(mod H)
1 no es congruente con 4 modulo H
Realizando lo mismo para todos los elementos de Z
6
representamos todas las
relaciones con el siguiente grafo:

2 1
0 5
4 3
Proposicin:
La relacin de Congruencia modulo H, es una relacin de equivalencia.

PRUEBA.
Para que la relacin de congruencia modulo H, sea una relacin de equivalencia debe
ser: reflexiva, simtrica y transitiva.

i) Reflexiva
x a 0 G, a / a(mod H)?
a / a(mod H) ]a
-1
a 0 H?
a
-1
a = e, e 0 H
6 La relacin de Congruencia modulo H, es Reflexiva.
r
0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4
ii) Simtrica
Si a / b(mod H) Yb / a(mod H)?
a / b(mod H) ]a
-1
b 0 H
(a
-1
b)
-1
0 H 6 ab
-1
0 H
ba
-1
0 H (Por definicin)
6 b / a(mod H)
6 La relacin de Congruencia modulo H, es Simtrica.

iii) Transitiva
Si a / b(mod H) i b / c(mod H), Y a / c(mod H)?
a / b(mod H) ]a
-1
b 0 H
(a
-1
b)
-1
0 H 6 ab
-1
0 H (*)
b / c(mod H) ]b
-1
x 0 H
(b
-1
c)
-1
0 H 6 bc
-1
0 H
6 b
-1
c 0 H (Por definicin) (**)
Operando los resultados (*), (**).
(a
-1
b)(b
-1
c) 0 H
a
-1
(bb
-1
)c 0 H 6 a
-1
ec 0 H
a
-1
c 0 H 6 a / c(mod H)
6 La relacin de Congruencia modulo H, es Transitiva.

7. PARTICION.
Definicin.
Dado un conjunto A = {a
1
,a
2
,a
3
, ,a
n
}, y una relacin {A
1
,A
2
,A
3
, ,A
k
} de
subconjuntos de A, es una particin de A, si se verifica que:
i) A
i
, xi= 1,2,3,,k.
ii) A
i
1 A
j
= , para i j.
iii) A A
i
i
=
=1
.
Ejemplo.
Sea A = {1,2,3,4,5,6,7,8,9}, Los conjuntos A
1
, A
2
, A
3
denotan una particin de A?
A
1
= {1,3,5}
A
2
= {4,6}
A
3
= {2,7,8,9}

i) A
1
, A
2
, A
3
.
ii) A
1
1 A
2
= , A
2
1 A
3
= , A
1
1 A
3
= .
iii) (A
1
c A
2
) c A
3
= A
Entonces la relacin R = {A
1
,A
2
,A
3
}, si es una particin de A.

8. CLASES DE EQUIVALENCIA.
Dada una relacin de equivalencia R en un conjunto A
Definicin.
La clase de equivalencia con representante a de A, se denota por [a] y se define como
el conjunto formado por:

[a] = {x 0 A/xRA}

Ejemplo.
Clases de equivalencia en Z
6
[0] = [2] = [4] = {0,2,4}
[1] = [3] = [5] = {1,3,5}

La relacin de equivalencia R determina una particin en A a travez del conjunto de
clases de equivalencia. {[a]/a 0 A}

i) [a] , x[a].
ii) Para [a] [b], [a] 1 [b] =
iii) c[a] = A.

9. CLASES LATERALES IZQUIERDAS DE H EN G.
Sea G un grupo y H un subgrupo de G en Q, consideremos:
a / b(mod H) ]a
-1
b 0 H
Definicin.
Una clase lateral izquierda de H en G para elementos a 0 G, se denota por aH, y se
define como el conjunto:
aH = {ax/x 0 H}

Podemos ver que: [a] = aH, xa 0 G.
6 [a] d aH i aH d [a]

PRUEBA.
Sea x 0 [a] 6a/ x(mod H)
a
-1
x 0 H
ax
-1
0 H
1
4
3
6
5
2 7
8 9
a
-1
x 0 H 6 a
-1
x=h, 6 h 0 H Operando por izquierda por a, tenemos:
a(a
-1
x) = ah 6 (aa
-1
)x = ah, x = ah.
Como h 0 H 6[a] = aH

Sea x 0 H 6 h 0 H (considerando a ax=h)
6 a
-1
(ax) 6 a
-1
h 0 H 6 a/ h(mod H)
h 0 [a].

10. CONJUNTO COCIENTE DE G POR H.

H
G
= {[a]/ a 0 G}
Deseamos ver en
H
G
un grupo, entonces:
Definimos en
H
G
una operacin .
Sean aH, bH 0 G.
aH bH = (ab)H, xaH, bH 0
H
G
. (ab) 0 G.

:
H
G
x
H
G
6
H
G
((aH),(bH)) 6 aH bH

Demostramos que (
H
G
,) es un grupo:

a) Estabilidad para .
Sean aH, bH 0
H
G
aH bH = (ab)H
Por la definicin, tenemos que ab 0 H, 6 (ab)H 0
H
G
.
b) Asociatividad.
Sean aH, bH, cH 0
H
G
.
(aH bH) cH = (ab)H cH = ((ab)c)H
= (a(bc))H
= aH (bc)H
= aH (bH cH)
6(aH bH) cH = aH (bH cH).

c) Existencia del elemento identidad.
Supongamos que en
H
G
existe el elemento eH (con e elemento identidad del
grupo) tal que:
eH aH = (ea)H pero como e es identidad del grupo:
(ea)H = aH
aH eH = (ae)H pero como e es identidad del grupo:
(ae)H = aH
Se nota que el elemento eH de
H
G
es el elemento identidad, entonces:
eH aH = aH eH = aH, xaH 0
H
G
.
d) Existencia de inversos.
xaH 0
H
G
, (a
-1
)H/ aH (a
-1
)H = eH?
Como a 0 a un grupo, existe a
-1
, tal que: a(a
-1
)=e
6aH (a
-1
)H = (a(a
-1
))H = eH
6H 0
H
G
, (a
-1
)H/ aH (a
-1
)H = (a
-1
)H aH = eH.
Por tanto, como
H
G
cumple con las 4 propiedades caractersticas de un grupo,
podemos afirmar que
H
G
es un grupo con la operacin . Adems llamaremos a
H
G
como el grupo cociente de G por H.

11. HOMOMORFISMOS DE GRUPOS.
Sean G, E dos grupos.
Definicin.
Una funcin f: G 6 E, es un homomorfismo de grupos ]f(ab)=f(a)f(b) xa,b 0 G.

Si G es un grupo, y f: G 6 G queda definida por f(x)=x, xx 0 G.
LEMA 1
Si f: G 6E es un homomorfismo de grupos, entonces:
f(e
G
) = e
E
e: identidad
f(xe) = f(x)f(e) = f(x)

LEMA 2
f(x
-1
) = (f(x))
-1

12. NUCLEO.
Definicin.
El ncleo de f se denota por Nuc(f) y se define como el conjunto:
Nuc(f) = {a 0 G/ f(a)=e
E
}
13. IMAGEN.
Definicin.
La imagen de f se denota por Im(f) o f(b) y se define como el conjunto:
Im(f) = {b 0 E/ b=f(x), x 0 G}

TEOREMA
El ncleo y la imagen de f, son subgrupos de G y E respectivamente.

PRUEBA.
Como sabemos la funcin va de G en E, es decir:
f: G 6E
f(ab) = f(a)f(b), xa,b 0 G.

a)
i) Demostraremos que el Ncleo es .
Por definicin de Ncleo tenemos que:
Nuc(f) = {a 0 G/ f(a)=e
E
}
Y por LEMA 1 tenemos que:
f(e
G
) = e
E
6 e
G
0 Nuc(f).
ii) Demostraremos que a(b
-1
) 0 Nuc(f), xa,b 0 Nuc(f).
Sean a, b 0 Nuc(f). entonces por definicin de Ncleo tenemos:
f(a) = e
f(b) = e
f(a(b
-1
)) = f(a)f(b
-1
)
= f(a)(f(b))
-1
por LEMA 2.
= e(e
-1
)
= ee = e
6 f(a(b
-1
)) = e, 6 a(b
-1
) 0 Nuc(f).
6 El ncleo es un subgrupo de G (conjunto de partida).
b)
i) Demostraremos que la Imagen es .
Por definicin de Imagen tenemos que:
Im(f) = {b 0 E/ b=f(x), x 0 G}
Y por LEMA 1 tenemos que:
f(e
G
) = e
E
6 e
E
0 Im(f).
ii) Demostraremos que a(b
-1
) 0 Im(f), xa,b 0 Im(f).
Sean x
1
, x
2
0 Im(f). 6a
1
, a
2
0 G/
f(a
1
)=x
1
, f(a
2
)=x
2
x
1
(x
2
)
-1
0 Im(f).
6f(a
1
)((f(a
2
)
-1
) = f(a
1
)f(a
2
-1
) por LEMA 2.
x
1
(x
2
)
-1
=f(a
1
(a
2
-1
)), como f(a
1
(a
2
-1
)) 0 G.
6 x
1
(x
2
)
-1
0 Im(f).
6La imagen de f es un subgrupo del grupo de llegada.

TEOREMA
Si f: G 6E es un homomorfismo de grupos, entonces f es monomorfismo ]
Nuc(f)={e
G
}
PRUEBA.
(6) f: es monomorfismo.
f(e
G
)=e
E
. (por LEMA 1)
si a 0 Nuc(f), 6f(a)=e
E
. (por definicin de ncleo)
e
G
, a 0 G/ f(e
G
)=f(a)
a=e
G
=e
E
6 Nuc(f)={e
G
}
(7)Nuc(f)={e
G
}
Sean a, b 0 G/ f(a)=f(b)
f(a(b
-1
))=f(b(b
-1
))
f(a(b
-1
))=f(e
E
)
a(b
-1
)= e
E
6a=b=e
E
.
f: es monomorfismo.

14. ORDEN de un elemento de un grupo.
Sea G un grupo, y a 0 G, un elemento diferente del identidad.
Definicin.
El menor entero positivo m tal que a
m
=e se llama orden de a.
Si no existe m, se dice que a tiene orden infinito.

Ejemplo.
Consideremos al Conjunto Z
6
con r.
Orden de 1: 1
m
=1r1r1r1r1r1=0
6m=6, orden de 1 en Z
6
con r, es 6.
Orden de 2: 2
m
=2r2r2=0
6m=3, orden de 2 en Z
6
con r, es 3.

Y as sucesivamente.

r
0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4
15. TRASLACIONES.
Sea G un grupo y a 0 G.
Definimos la funcin:
ta: G 6G/ ta(x) = ax, xx 0 G.

Demostramos que es biyectiva.
Para que una funcin sea biyectiva, debe ser inyectiva y suryectiva.
a)
Sea u,v 0 G/ tu(a)=ta(u)
au=au, a
-1
(au) = a
-1
au
eu = eu
6 u = u
6 la funcin es inyectica.

b)
xy 0 G (al de llegada)
a
-1
y 0 G/ta(a
-1
y)=a(a
-1
y)
=ey
=y
6 la funcin es suryectiva.
6 ta es biyectiva.

La funcin biyectiva ta: G 6 G se llama una TRASLACION a izquierda del grupo G
para el elemento a.

Definimos una funcin j: G 6 P(G).
Donde P(G) es el grupo de todas las permutaciones de G.

j(a)=ta 6 j(ab)=j(a)j(b)
j(ab)=tab
[j(ab)](x) = tab(x)
tab(x) = ab(x)=ta(tb(x))
= (tatb)(x) = (j(a)j(b))(x), xx 0 G,
j(ab)=j(a)j(b)
j: es un homomorfismo.

Sea a 0 Nuc(j), j(a)=ta, identidad en P(G) ta(x)=x, xx 0 G.
ax=x 6 a=e
Si a=e, entonces el ncleo esta formado solo por e, Nuc(j)={e} ya que se trata de un
elemento arbitrario.
6 Definimos que j: es un monomorfismo.

*abeliano=conmutativo.

COROLARIO.
j: G 6 j(G), es un isomorfismo, y j(G) es imagen de G.
Gj(G).

Ejemplo.
Sea G=(Z
4
,r), hallaremos un subgrupo de P(G) que sea isomorfo con G.
Como sabemos que Z
4
={0,1,2,3}, entonces el subgrupo de P(G) tambin debe tener 4
elementos, digamos P(G)={t
0
,t
1
,t
2
,t
3
} (son traslaciones). Luego como la funcin t
n
: G 6
G, por definicin tendramos:

t
0
:
t
0
(0) = t0(0) = 0r0 = 0
t
0
(1) = t0(1) = 0r1 = 1
t
0
(2) = t0(2) = 0r2 = 2
t
0
(3) = t0(3) = 0r3 = 3
t
1
:
t
1
(0) = t1(0) = 1r0 = 1
t
1
(1) = t1(1) = 1r1 = 2
t
1
(2) = t1(2) = 1r2 = 3
t
1
(3) = t1(3) = 1r3 = 0
t
2
:
t
2
(0) = t2(0) = 2r0 = 2
t
2
(1) = t2(1) = 2r1 = 3
t
2
(2) = t2(2) = 2r2 = 0
t
2
(3) = t2(3) = 2r3 = 1
t
3
:
t
3
(0) = t3(0) = 3r0 = 3
t
3
(1) = t3(1) = 3r1 = 0
t
3
(2) = t3(2) = 3r2 = 1
t
3
(3) = t3(3) = 3r3 = 2
Hasta ac hemos hallado todas las traslaciones posibles con elementos de Z
4
. Luego
podemos definir las traslaciones como permutaciones de la siguiente forma:
t
0
= (21)(12)
t
1
= (0123)
t
2
= (02)(13)
t
3
= (0321).

Entonces, afirmamos que Z
4
={0,1,2,3}P(G)={t
0
,t
1
,t
2
,t
3
}.
Donde P(G) queda definida mediante la siguiente tabla:

C t
0
t
1
t
2
t
3
t
0
t
0
t
1
t
2
t
3
t
1
t
1
t
2
t
3
t
0
t
2
t
2
t
3
t
0
t
1
t
3
t
3
t
0
t
1
t
2
Podemos ver claramente el isomorfo.

16. SUBGRUPOS NORMALES.
Sea G un grupo y H un subgrupo de G.
Definicin.
H es un subgrupo NORMADO de G ]uau
-1
0 H, xa 0 H y xu 0 G.

Los subgrupos triviales de cualquier grupo G, son siempre subgrupos normales, ya
que:
i) uau
-1
0 G, 6 G es subgrupo normal.
ii) ueu
-1
= e, 6 {e} es subgrupo normal.

Si G es un grupo conmutativo, entonces todos sus subgrupos son normales.

Ejemplo.
Sea G=S
3
.
Verificaremos si los siguientes subgrupos son normales,
H
1
=G
H
2
={%}
H
3
={%,%
1
}
H
4
={%,%
2
}
H
5
={%,%
3
}
H
6
={%,%
1
,%
5
}
Recordando la tabla de las alfas para S
3
, tenemos:

En H
1
y H
2
se nota claramente que se trata de los subgrupos triviales, entonces por lo
expuesto anteriormente afirmamos que si son normales.

En H
3
, analizamos:
Sea % 0 G, % 0 H
3
. Aplicando la definicin de normal, tenemos:
B % %
1
%
2
%
3
%
4
%
5
% % %
1
%
2
%
3
%
4
%
5
%
1
%
1
% %
4
%
5
%
2
%
3
%
2
%
2
%
5
% %
4
%
3
%
1
%
3
%
3
%
4
%
5
% %
1
%
2
%
4
%
4
%
3
%
1
%
2
%
5
%
%
5
%
5
%
2
%
3
%
1
% %
4
%%%
-1
0 H
3
%%
1
%
-1
0 H
3
%
1
%%
1
-1
0 H
3
%
1
%
1
%
1
-1
0 H
3
y as probamos con todos los elementos, pero nos damos cuenta que:
%
5
%
1
%
5
-1
= %
5
%
1
%
4
= %
2
%
4
=%
3
pero %
3
H
3
, 6 H
3
no es normado.

En H
4
, analizamos:
%%%
-1
0 H
4
%%
2
%
-1
0 H
4
%
4
%
2
%
4
-1
= %
1
%
5
=%
3
H
4
, 6 H
4
no es normado.

En H
5
, analizamos:
%
4
%
3
%
4
-1
=%
2
%
5
=%
1
H
5
, 6 H
5
no es normado.

En H
6
, analizamos:
%%
4
%
-1
0 H
6
Hallando todos los productos posibles, tenemos que H
6
si es normado, entonces los
subgrupos normados serian: H
1
, H
2
, H
6
TEOREMA.
Un subgrupo H de un grupo G es normal ]uH=Hu, xu 0 G.
Definicin.
uH={uh/ h 0 H} Clase lateral izquierda de H en G para u 0 G.
Hu={hu/ h 0 H} Clase lateral derecha de H en G para u 0 G.

Sea u 0 G, a 0 H 6ua 0 uH.
uau
-1
0 H 6uau
-1
=b 0 H.
uau
-1
=b 6ua=bu 0 Hu.
6 ua 0 Hu.
uH 0 Hu.
6 uH = Hu

Para v=u
-1
u
-1
au=c 0 H.
vau
-1
0 H.
u
-1
au 0 H.
au = ac 0 uH.
6au 0 uH.
Como a de H es arbitrario.
6Hu = uH
6uH = Hu

p
H G/H

G
Sea a 0 G, y a 0 H.
ua 0 aH=Ha
ua = ba, con b 0 H
uau
-1
= b 0 H
uau
-1
0 H. 6 H es Normal.

Ejemplo.
Sea G={S
3
} y H={%,%
4
,%
5
}, tenemos las siguientes clases de equivalencia.
%H=H%
%
1
H={%
1
,%
2
,%
3
}
H%
1
={%
1
,%
3
,%
2
}
%
2
H={%
2
,%
3
, %
1
}
H%
2
={%
2
,%
1
,%}
%
3
H={%
3
,%
1
,%
2
}
H%
3
={%
3
,%
2
,%
1
}
%
4
H={%
4
,%
5
,%}
H%
4
={%
4
,%
5
,%
1
}
%
5
H={%
5
,%,%
4
}
H%
5
={%
5
,%,%
4
}
TEOREMA.
Si H es un subgrupo normal de un grupo G, entonces la operacin definida en el
conjunto de las clases
H
G
, de las clases laterales izquierdas,
(uH)(vH)=(uv)H, xu,v 0 G,
Hace de
H
G
un grupo y de la proyeccin natural p: G 6
H
G
, dado por p(u)=uH, xu 0
G, un epimorfismo de Nuc(p)=H.

PRUEBA.
Tenemos que; p(u)=uH, xu 0 G.
p(uv)=(uv)H=(uH)(vH)
= (pu)(pv)

Sea a 0 Nuc(p).
p(a)=aH = eH = H
aH = H ]a 0 H.
Nuc(p)=H.

17. GRUPOS CICLICOS.
TEOREMA.
Sea a un elemento del grupo G, entonces el conjunto
H={a
k
/ k 0 Z} es un subgrupo de G.

PRUEBA.
i) H . 6 a 0 H.
a=a
1
xk=1, 6 H .
ii) Sean a
m
, a
n
0 H, a
m
a
n
=a
m+n
0 H m+n 0 Z.
xa
m
0 H a
-m
0 H. tal que:
a
m
a
-m
=a
0
= e 0 H.

H se llama un subgrupo cclico de G generado por a.

Definicin.
Si H es un grupo (aH subgrupo de G) existe un elemento a de H/ H={a
k
/ k 0 Z}.
Entonces se dice que H es un subgrupo cclico generado por a.
H=<a>

Ejemplo.
Sea G=(Z
6
,r), G={0,1,2,3,4,5}. Hallaremos los subgrupos cclicos.
Para el 1, tenemos:
1
0
= 0
1
1
= 1
1
2
= 1r1=2
1
3
= 1r1r1=3
1
4
= 1r1r1r1=4
1
5
= 1r1r1r1r1=5
1
6
= 1r1r1r1r1r1=0
G={1
1
,1
2
,1
3
,1
4
,1
5
,1
6
} = <1>

Para el 2, tenemos:
2
0
= 0
2
1
= 2
2
2
= 2r2=4
2
3
= 2r2r2=0
2
4
= 2r2r2r2=2
2
5
= 2r2r2r2r2=4
2
6
= 2r2r2r2r2r2=0
<2> = {2
1
,2
2
,2
3
}
<2> = {0,2,4}

Para el 3, tenemos:
3
0
= 0
3
1
= 3
3
2
= 3r3=0
3
3
= 3r3r3=3
3
4
= 3r3r3r3=0
3
5
= 3r3r3r3r3=3
3
6
= 3r3r3r3r3r3=0
<3> = {3
1
,3
2
}
<3> = {0,3}

Para el 4, tenemos:
4
0
= 0
4
1
= 4
4
2
= 4r4=2
4
3
= 4r4r4=0
4
4
= 4r4r4r4=4
4
5
= 4r4r4r4r4=2
4
6
= 4r4r4r4r4r4=0
<4> = {4
1
,4
2
,4
3
}
<4> = {0,2,4}

Para el 5, tenemos:
5
0
= 0
5
1
= 5
5
2
= 5r5=4
5
3
= 5r5r5=3
5
4
= 5r5r5r5=2
5
5
= 5r5r5r5r5=1
5
6
= 5r5r5r5r5r5=0
<5> = {5
1
,5
2
,5
3
, 5
4
, 5
5
}
<5> = {0,1,2,3,4,5} = G

Ntese que <1> = <5> = G

18. ORDEN DE UN GRUPO.
Definicin.
El numero de elementos de un grupo finito G, se llamo orden de G, y se denota por
o(G).
Ejemplo.
o(Z
5
)=5.

Si un grupo cclico G tiene orden m y esta generado por a.
6a
m
=e.

19. PRODUCTOS DIRECTOS.
Sea G un grupo y A,B dos subgrupos normales de G.
Definicin.
Se dice que G puede ser descompuesto en el producto directo de los subgrupos
normales A y B ]G es el producto de AB, cumpliendo:
i) G = AB.
ii) A1B={e} (elemento identidad)
Ejemplo.
Sea G=(Z
12
,r) y los subgrupos de G, A=(0,3,6,9) y B=(0,4,8). El producto directo de
AB, genera a G?

Sabemos que G = {0,1,2,3,4,5,6,7,8,9,10,11}, para recordar construiremos la tabla del
Z
12
para la adicin modulo 12.
r
0 1 2 3 4 5 6 7 8 9 10 11
0 0 1 2 3 4 5 6 7 8 9 10 11
1 1 2 3 4 5 6 7 8 9 10 11 0
2 2 3 4 5 6 7 8 9 10 11 0 1
3 3 4 5 6 7 8 9 10 11 0 1 2
4 4 5 6 7 8 9 10 11 0 1 2 3
5 5 6 7 8 9 10 11 0 1 2 3 4
6 6 7 8 9 10 11 0 1 2 3 4 5
7 7 8 9 10 11 0 1 2 3 4 5 6
8 8 9 10 11 0 1 2 3 4 5 6 7
9 9 10 11 0 1 2 3 4 5 6 7 8
10 10 11 0 1 2 3 4 5 6 7 8 9
11 11 0 1 2 3 4 5 6 7 8 9 10
Z
12
={0,1,2,3,4,5,6,7,8,9,10,11}
i) Ahora AB, lo entendemos de la siguiente forma:
AB=(0,3,6,9)(0,4,8)=(0r0,0r4,0r8,3r0,3r4,3r8,6r0,6r4,6r8,9r0,9r4,9r8)
AB=(0,1,2,3,4,5,6,7,8,9,10,11)
Entonces AB=G, hasta ahora verificamos la parte(i) de la definicin cumplira con (ii)?
ii) A1B={e}? Sabemos que el elemento identidad e de G=(Z
12
,r) es 0. entonces e=0
A1B={0}?, Si ya que en A=(0,3,6,9) y B=(0,4,8), el nico elemento en comn es 0.
6El grupo G, se puede descomponer en el producto directo de los subgrupos normales
de G, A y B.

TEOREMA
Sean A y B dos subgrupos (con B normal), de un grupo G, entonces, AB es un
subgrupo de G, verificndose adems que AB=BA, si tambin A, es normal, AB resulta
normal.
AB={x 0 G/x=ab, a 0 A,b 0 B}

PRUEBA.
AB=BA
Sean a 0 A, b 0 B, elementos arbitrarios ab 0 AB, ab 0 aB=Ba d BA
6ab 0 BA, AB d BA
ba 0 BA, ba 0 Ba=AB d AB
6ba 0 AB BA d AB
AB, subgrupo?. AB ? Como A y B son subgrupos, 6el elemento identidad 0 A,
y tambin 0 B.
6ee 0 AB. Pero ee=e 6 e 0 AB.
6 AB .
Sean a
1
b
1
,a
2
b
2
0 AB.
(a
1
b
1
)(a
2
b
2
) = a
1
(b
1
a
2
)b
2
, pero b
1
a
2
0 Ba
2
=a
2
B
b
2
0 B/ b
1
a
2
=a
2
b
3
(a
1
b
1
)(a
2
b
2
) = a
1
(b
1
a
2
)b
2
= a
1
(a
2
b
3
)b
2
= (a
1
a
2
)(b
3
b
2
), (a
1
a
2
) 0 A, (b
3
b
2
) 0 B
6 (a
1
b
1
)(a
2
b
2
) 0 AB.
Hasta ac se puede observar la estabilidad en AB.

(ab)
-1
=b
-1
a
-1
0BA
pero como AB=BA
6(ab)
-1
0 AB
Hasta ac tenemos la existencia de elementos inversos en AB.
La asociatividad se hereda de A y B.
6Como AB es estable, existe elemento identidad, existe inversos y es asociativo.
Podemos afirmar que AB es un subgrupo de G.

TEOREMA
Si G se puede descomponer en el producto directo de dos subgrupos normales A y B,
entonces cada elemento de A conmuta con cada elemento de B, y cada elemento x 0
G, se expresa de manera nica como el producto de un elemento en A y otro en B.

PRUEBA.
Sea AB=G, queremos demostrar que si a 0 A, b 0 B, 6ab=ba, si x 0 G, x=ab.
Si G=AB 6 A1B={e}
a 0 A, b 0 B, entonces: aba
-1
b
-1
0 A
a(ba
-1
b
-1
) 0 A
(aba
-1
)b
-1
0 B
Como aa
-1
b
-1
0 A y B
6 aba
-1
b
-1
={e} elemento identidad.
aba
-1
=b operando por la derecha con a tenemos (aba
-1
)a=(b)a
ab=ba.
De manera nica x=ab, x 0 G.
Como G=AB 6 x x 0 G, a 0 A, b 0 B/x=ab
Supongamos que x 0 A, i un u* 0 B/x=uu*
ab=uv, u
-1
a 0 A1B6ua=e6a=u.
u
-1
ab=u, ub
-1
0 A1B6ab
-1
=e6v=b.
6x=ab es una representacin nica.

Sean A y B dos grupos, y P=AxB, operacin definida de la siguiente forma:
(a
1
,b
1
)(a
2
,b
2
)=(a
1
a
2
,b
1
b
2
) P: Producto directo de A y B
Sea G un grupo que se puede descomponer en el producto directo de los subgrupos
normales A y B.
6 G=AB i A1B={e}
Determinamos el grupo Producto directo de A y B P=AxB.

Proposicin:
El grupo G es isomorfo con P

PRUEBA.
Queremos demostrar que PG. (Isomorfos)
Primero, nos preguntamos Quin tiene la propiedad de ser isomorfo?, claramente
sabemos que es una funcin, entonces la funcin deber ser:
f: P 6G
f(a,b)=ab
Luego, esta funcin presentara homomorfismo?, entonces probamos:
f((a
1
,b
1
),(a
2
,b
2
))= (a
1
,b
1
),(a
2
,b
2
)
6 f es un homomorfismo.

x x 0 G, (a,b) 0 P/ f(a,b)=x
a 0 A, b 0 B/ x=ab
x x 0 G, (a,b) 0 P/ f(a,b)=ab=x
x x 0 G, (a,b) 0 P/ f(ab)=x

Sean a,b 0 Nuc(f)
f(ab)=ab=e=ee x e 0 G
6a=e, b=e/ ab=ee
Nuc(f)={(e,e)}

Hasta ac vimos que la funcin es suryectiva, y el homomorfismo es monomorfismo.
6 Podemos afirma que P es isomorfo con G PG.

Sean A y B dos grupos, determinaremos P=AxB (producto cartesiano).

j: A 6 P j(a) = (a,e
B
) x a 0 A
k: B 6 P k(b) = (e
A
,b) x b 0 B
P
j k
A B
j(a
1
,a
2
) = j((a
1
a
2
,e
B
) = (a
1
,e
B
)(a
2
,e
B
)
= j(a
1
)j(a
2
)
6 j es homomorfismo.
Sea a 0 Nuc(f), entonces:
j(a) = (a,e
B
) = (e
A
,e
B
)
a = e
A
.
6Nuc(j)={e
A
}
6j es un monomorfismo.

k((b
1
,b
2
)=(b
1
b
2
,e
A
)
=(e
A
b
1
)(e
A
b
2
)
=k(b
1
), k(b
2
)
6 k es homomorfismo.
Sea b 0 Nuc(k), entonces:
K(b) = (e
A
,b) = (e
A
,e
B
)
b = e
B
6Nuc(k)={e
B
}
6k es un monomorfismo.

j: A 6 j(A)
k: B 6 k(B)
Son isomorfismos.

p: P 6A/ p(a,b) = a
q: P 6 B/ q(a,b) = b

p((a
1
b
1
),(a
2
b
2
)) = p(a
1
a
2
,b
1
b
2
)
= a
1
a
2
=p(a
1
,b
1
)p(a
2
,b
2
)
6 p es un homomorfismo.
x a 0 A, (a,b) 0 P/ p(a,b)=a.
6p es epimorfismo.

P
p q
A B
q((a
1
b
1
),(a
2
b
2
)) = q(a
1
a
2
,b
1
b
2
)
= q(a
1
,a
2
)q(b
1
,b
2
)
6 q es un homomorfismo.
x b 0 B, (a,b) 0 P/ q(a,b)=b.
6q es epimorfismo.

Sean (a,b) 0 Nuc(p) p(a,b)=a=e
A
.
Nuc(p) = {e
A
}xB
Sean (a,b) 0 Nuc(q) q(a,b)=b=e
B
.
Nuc(q) = {e
B
}xA
Nuc(p) =B
Nuc(q) =A

(a,b) 0 P, (e
A
,d) 0 B
p((a,b)(e
A
,d)((a,b)
-1
)) = p(a,b)p(e
A
,d)p((a,b)
-1
)
= p(a,b)e
A
(p(a,b))
-1

= e
A
6B es normal.

(a,b) 0 P, (c,e
B
) 0 A
q((a,b)(c,e
B
)((a,b)
-1
)) = q(a,b)q(c,e
B
)q((a,b)
-1
)
= q(a,b)e
B
(q(a,b))
-1

= e
B
6A es normal.

Sea (a,b) 0 P. (a,e
B
) y (e
A
,b)/ (a,b)= (a,e
B
)(e
A
,b)
P=AxB
A=Nuc(p) =A={e
A
}xB
B=Nuc(q) =B=Ax{e
B
}
Sea a,b 0 A1B
6(a,b) 0 P.
A=(a,b)=Ax{e
B
}
B=(a,b)={e
A
}xB
(e
A
,e
B
) = (a,b)

P es un grupo que se puede descomponer en el producto directo de los subgrupos
normales AxB.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
a) Sea G={,+} el grupo de los reales con la adicin usual, y V={(x
1
,x
2
)/ x
1
i x
2
0 }, un
subconjunto de G, definimos en V la operacin + de la siguiente forma:
+: V x V 6 V
(A,B) 6 A+B
+ A + B =(a
1
+b
1
,a
2
+b
2
).
Demostrar que (V,+) es un grupo.

Solucin.
Para que V sea un grupo debe cumplir con 4 condiciones.
i) Estabilidad respecto a +.
a
1
+b
1
0
a
2
+b
2
0
entonces: A + B =(a
1
+b
1
,a
2
+b
2
) 0 V.
6 V es estable para +.
ii) Asociatividad.
Sean A,B,C 0 V, A + (B + C) = (A + B) + C?
A=(a
1
,a
2
)
B=(b
1
,b
2
)
C=(c
1
,c
2
)
A + (B + C) = (a
1
,a
2
) + (b
1
+c
1
, b
2
+ c
2
)
= (a
1
+b
1
+c
1
, a
2
+ b
2
+ c
2
)
= (a
1
+b
1
, a
2
+b
2
) + (c
1
,c
2
)
= (A + B) + C
6 V es asociativo con +.
iii) Existencia del elemento identidad.
Sea 0=(0,0), A + 0 = 0 + A = A, x A 0 V?
Sea A=(a
1
,a
2
), A + 0=(a
1
+0,a
2
+0) = (a
1
,a
2
) = A
0 + A=(0+a
1
,0+a
2
) = (a
1
,a
2
) = A
6 A + 0 = 0 + A = A, x A 0 V.

iv) Existencia de elementos inversos.
x A 0 V, A 0 V/ A + (A) = (A) + A = O?
Sea A=(a
1
,a
2
), y A=(-a
1
,-a
2
), se nota claramente que A 0 V, ya que cumple con la
definicin. Tal que:
A + (A) = (a
1
,a
2
)+(-a
1
,-a
2
)= (a
1
+(-a
1
),a
2
+-(a
2
)) = (0,0) = 0
(A) + A = (-a
1
,-a
2
)+(a
1
,a
2
)= ((-a
1
)+a
1
,-(a
2
)+a
2
) = (0,0) = 0
6 A + (A) = (A) + A = O, x A, A 0 V.

6 V es un grupo con +.
Ahora V ser conmutativo con +?
x A,B 0 V, A+B=B+A?
Sea A=(a
1
,a
2
) y B=(b
1
,b
2
), A + B =(a
1
+b
1
,a
2
+b
2
)
B + A =(b
1
+a
1
,b
2
+a
2
)
a
1
+b
1
= b
1
+a
1
(debido a que la adicin es conmutativa en )
6 a
2
+b
2
= b
2
+a
2
.
6 A+B=B+A, x A,B 0 V.

6 Concluimos con que V es un grupo con +, y adems conmutativo, es decir V es un
grupo conmutativo.

b) Sea G=S
3
, y H={%
,
%
5,
%
4
} es H un subgrupo de G?
Solucin.
a) H , por que %,%
5,
%
4
0 H.
ii) ab
-1
0 H, x a,b 0 H?
%%
5
-1
= %
4
0 H.
Analizando todos los posibles productos. Llegamos a la conclusin que H es un
Subgrupo de G.

c) Hallar todos los subgrupos cclicos en S
3
.
Solucin.

%
1
1
=%
1
%
1
2
=%
1
%
1
=%
%
1
3
=%
1
%
1
%
1
=
%
1
%
1
4
=%
1
%
1
%
1
%
1
=%
%
1
5
=%
1
%
1
%
1
%
1
%
1
=%
1
<%
1
>={%,%
1
}
%
2
1
=%
2
%
2
2
=%
2
%
2
=%
%
2
3
=%
2
%
2
%
2
=
%
2
%
2
4
=%
2
%
2
%
2
%
2
=%
%
2
5
=%
2
%
2
%
2
%
2
%
2
=%
2
<%
2
>={%,%
2
}
%
3
1
=%
3
%
3
2
=%
3
%
3
=%
%
3
3
=%
3
%
3
%
3
=
%
3
%
3
4
=%
3
%
3
%
3
%
3
=%
%
3
5
=%
3
%
3
%
3
%
3
%
3
=%
3
<%
3
>={%,%
3
}
%
4
1
=%
4
%
4
2
=%
4
%
4
=%
5
%
4
3
=%
4
%
4
%
4
=
%
%
4
4
=%
4
%
4
%
4
%
4
=%
4
%
4
5
=%
4
%
4
%
4
%
4
%
4
=%
5
<%
4
>={%,%
4
,%
5
}
%
5
1
=%
5
%
5
2
=%
5
%
5
=%
4
%
5
3
=%
5
%
5
%
5
=
%
%
5
4
=%
5
%
5
%
5
%
5
=%
5
%
5
5
=%
5
%
5
%
5
%
5
%
5
=%
4
<%
5
>={%,%
4
,%
5
}
G. A AN NI IL LL LO O. .
1.
Definicin.
Un anillo es un conjunto A , provisto de dos operaciones binarias:
i) Adicin. (primera operacin) +.
ii) Multiplicacin. (segunda operacin) C.

Verificndose:
i) (A,+), es un grupo conmutativo.
ii) (A,C), es un semigrupo.
iii) Se verifica distributividad por izquierda y por derecha de la segunda
operacin respecto de la primera.
aC(b+c) = (aCb)+(aCc) (por izquierda).
(a+b)Cc = (aCc)+(bCc) (por derecha).
x a,b,c 0 A.

Ejemplo.
A=(Z,+, C) (multiplicacin y adicin usual).
i) Sabemos que Z, con +, es un grupo conmutativo.
ii) Sabemos que Z, con C, es un semigrupo.
iii) x a,b,c 0 A, se tiene que:
aC(b+c) = (aCb)+(aCc)
(a+b)Cc = (aCc)+(bCc)
5C(4+12) = (5C4)+(5C12) = 80.
(5+4)C12 = (5C12)+(4C12) = 108.
6A es un anillo.

2.
Definicin.
i) Si en un anillo A, existen elementos a0b tal que ab=0 (segunda operacin), se
dice que A tiene divisores de 0.
ii) a,b se llaman divisores de 0, el elemento identidad para la primera operacin del
anillo se llama cero del anillo.
iii) Si en un anillo A, la segunda operacin es conmutativa, entonces se dice que A es
un anillo conmutativo.
iv) Si en un anillo A, para la segunda operacin se tiene estructura de monoide, se dice
que A es un anillo con unidad y al elemento identidad correspondiente se le llama
elemento unidad, denotado por 1.

TEOREMA.
Si A es un anillo, entonces los elementos identidad son nicos, as como el inverso
respecto a la primera operacin.

PRUEBA.
i) Para desmentir la existencia de dos elementos identidades, es recomendable
suponer que el enunciado es verdad, es decir:
para la ADICION, el elemento identidad es el 0, entonces por definicin tenemos:
0+a=a+0=a, x a 0 A.
y supongamos que existe un 0* tal que:
0*+a=a+0*=a, x a 0 A.
entonces: 0=0+0*=0*
60=0*

Ahora, como sabemos en un anillo puede existir o no elemento identidad respecto a la
MULTIPLICACION, supongamos que ese es el caso, entonces tenemos por definicin:
1a=a1=a x a 0 A.
y supongamos que existe un 1* tal que:
1*a=a1*=a x a 0 A.
1=11*=1*
61=1*

ii)Supongamos que para un a 0 A, y ,a
-1
, a 0 A, tal que:
a+a
-1
=a
-1
+a=0
a+a=a+a=0
6aa
-1
=aa, 6a
-1
=a.

TEOREMA.
Sea A un anillo, entonces se cumple:
i) a0=0a=0 x a 0 A.
ii) (-a)b=a(-b)=-(ab) x a,b 0 A.
iii) (-a)(-b)=ab x a,b 0 A.

PRUEBA.
i) aa=a(a+0)=(aa)+(a0). x a 0 A.
en A existe inverso para cada elemento respecto a +.
aa=a(a+0)=(aa)+(a0)
(-aa)+aa=((-aa)+(aa))+(a0)
0=0+a0
0=a0.
aa=a(a+0)a=(aa)+(0a)
-(aa)+aa=((-aa)+(aa))+(0a)
0=0a.
6 a0=0a=0 x a 0 A.

ii) (-a)b=-(ab)
ab+(-a)b
(a+(-a))b=0b=0
ab+(-a)b=0
6-(ab)=(-a)b
a(-b)=-(ab)
-(ab)+ab=(-a+a)b
6-(ab)=(-ab)
6 (-a)b=a(-b)=-(ab) x a,b 0 A.

iii) (-a)(-b)=-(a(-b))
=(-(-ab))
=ab.
6(-a)(-b)=ab x a,b 0 A.

3. ANILLO BOOLEANO.
Definicin.
Un anillo A se dice ser un ANILLO BOOLEANO si:
i) x
2
=x, x x 0 A. (respecto a la segunda operacin).
xCx=x
ii) xy=yx, x x,y 0 A.

4. SUBANILLOS.
Definicin.
Un subanillo de un anillo A, es un subconjunto H , que con la operaciones de A,
tambin es un anillo.

Ejemplo.
Sea A=(Z,+,C) un anillo con la adicin y multiplicacin usual.
y H={3n/ n 0 Z} un subconjunto de A, queremos ver que H sea un subanillo de A.

H ser un grupo conmutativo?
i) H ?, Si ya que el elemento 3(1)=3 0 H, ya que 1 0 Z.
6 H .
ii) Podemos notar que H esta formado de los siguientes elementos:
H={, -6, -3, 0, 3, 6, }.
Sean 3n,3k 0 H, 6 n,k 0 Z.
3n+3k=3(n+k) 0 H, ya que n+k 0 Z.
6 H es estable con la operacin +.

iii) La asociatividad se hereda.

iv) Sea 3n 0 H, 3(0) 0 H ya que 0 0 Z. operndolos, tenemos:
3n+3(0)=3(n+0)=3n
3(0)+3n=3(0+n)=3n
6 3(0) es el elemento identidad para +.

v) Sea 3n 0 H, y como sabemos que n
-1
0 A por ser un grupo, entonces: 3n
-1
0 H.
operando: 3n+3n
-1
=3(n+n
-1
)=3(0)=0.
6 H tiene inversos para +.

vi) Como A es conmutativo, entonces H hereda la conmutatividad.
6H es un grupo conmutativo.

H ser un semigrupo?
i) Sea 3n,3m 0 H. 3nC3m= 3n(3m)=3(3nm) y 3nm 0 A, xn,m 0 Z.
6 H es estable para C.
ii) La asociatividad se hereda de A.
6H es un semigrupo.

6Como H es un grupo conmutativo con +, es un semigrupo con C y claramente
presenta distributividades por izquierda y por derecha de la primera operacin respecto
a la segunda, podemos afirmar que H es un anillo, y que H es un SUBANILLO de A.

LEMA.
Un subconjunto H , de un anillo, es un subanillo de A ]
i) a+(-b) 0 H, xa,b 0 H.
ii) ab 0 H, xa,b 0 H.

PRUEBA.
(6) A es un anillo y H es un subanillo de A.
Sean a,b 0 H
-a,-b 0 H
6a+b 0 H
a+(-a) 0 H
b+a 0 H
b+(-a) 0 H
a+(-b) 0 H
ab=(aCb), ab 0 H
6a+(-b) 0 H
ab 0 H
(7) sea H un subconjunto
a+(-b) 0 H
ab 0 H
a+(-b) 0 H, como b 0 H y b 0 H, entonces existen inversos.
Como ab 0 H es estable.
x+(-x)=0 del anillo 0 H
Sean 0 y x de H
0+(-x) 0 H
0+(-x)=-x
-x 0 H, xx 0 H, -x 0 H.
Asociatividad se hereda

x,y 0 H. -x,-y 0 H.
-(-y) 0 H
x+(-(-y)) 0 H
pero (-(-y))=y
x+y=y+x 0 H.

5. HOMOMORFISMO DE ANILLOS.
Sean A y B dos anillos.
Definicin.
Una funcin f: A 6 B, es un homomorfismo de anillos ]
i) f(a+b)=f(a)+f(b).
ii) f(ab)=f(a)f(b).
xa,b 0 A.

En un homomorfismo de anillos se tiene:
i) f: A 6 B/ f(x)=0, xx 0 A.
(0, es el cero del anillo B).
f(x+y)=0=0+0=f(x)+f(y)
f(xy)=0=00=f(x)f(y) , xx,y 0 A.
6 se tiene monomorfismo.

ii) Sea g: A 6A/ g(x)=x, xx 0 A.
Sean x,y 0 A.
g(x+y)=x+y=g(x)+g(y)
g(xy)=xy=g(x)g(y).

LEMA 1.
Si f: A 6B es un homomorfismo de anillos, entonces se verifica:
i) f(0)=0.
ii) f(-x)=-f(x).

PRUEBA.
i) f(0)=f(0+0)=f(0)+f(0)
f(0)+f(0)=f(0)
f(0
A
)=f(0
B
).

ii) f(x+(-x))=f(x)+f(-x)=0
f(-x)=-f(x).

6. IMAGEN.
Definicin.
Si f: A 6B es un homomorfismo de anillos, entonces la imagen de f, es el conjunto
denotado por Im(f), y definido por:
Im(f)={ b 0 B/ b=f(a), para a 0 A}

7. NUCLEO.
Definicin.
Si f: A 6B es un homomorfismo de anillos, entonces el ncleo de f, es el conjunto
denotado por Nuc(f), y definido por:
Nuc(f)={a 0 A/ f(a)=0}

LEMA 2.
Si f: A 6B es un homomorfismo de anillos, y Nuc(f)=N, entonces:
i) N es un subanillo de A.
ii) Para n 0 N, a 0 N, se cumple que:
na 0 N.
an 0 N.

8. IDEALES.
Sea A un anillo.
Definicin.
Un ideal izquierdo del anillo A, es un subanillo H de A, tal que ax 0 H, xa 0 A, xx 0 H.

Definicin.
Un ideal derecho del anillo A, es un subanillo H de A, tal que xa 0 H, xx 0 H, xa 0 A.

Definicin.
Un ideal de A, es un subanillo H de A, que es un ideal bilatero (izquierdo y derecho).

Ejemplo.
Demostraremos que si f: A 6B es un homomorfismo de anillos, el conjunto N=Nuc(f)
es un ideal.
i) N ?
Si ya que f(a)=0, a 0 N.
ii) Para a,b 0 N
a+(-b) 0 N?
f(a)=0=f(b)
f(a+(-b))=f(a)+f(-b)=f(a)+(-f(b))
=0+0=0
6 a+(-b) 0 N.
iii) ab 0 N?
f(ab)=f(a)f(b)=00=0
6 ab 0 N.
6N es un subanillo de A.

f(ax)=f(a)f(x)=f(a)0=0.
f(xa)=f(x)f(a)=0f(a)=0.
6N es un ideal del anillo A.

TEOREMA.
Dado un anillo A, entonces la interseccin de una familia arbitraria {H
i
}, de subanillos de
A, es un subanillo de A.

PRUEBA.
H=
i
i
H
.
i) Como H
i
es un subanillo, entonces 0 0 H
i
, xi.
6 H,
ii) Por definicin de interseccin, a+(-b) 0 H puesto que a+(-b) 0 H
i
xa,b 0 H.
iii) Dados a,b 0 H 6a,b 0 H
i
, xi
6a,b 0 H.
6H es un subanillo de A.

9. ANILLO COCIENTE.
Sea A un anillo, e I un ideal de A, Se determina el conjunto:
D={u+I/ u 0 A}, se define en D:
ADICION: (u+I)+(v+I)=(u+v)+I
MULTIPLICACION: (u+I)(v+I)=(uv)+I, xu,v 0 A.

Probaremos que D es un anillo.

i) Estabilidad.
Es estable por definicin de la operacin para la adicion.

ii) Asociatividad.
Sean (u+I),(v+I),(w+I) 0 D.
((u+I)+(v+I))+(w+I) = (u+v)+I+(w+I)
= (u+v+w)+I como se trata de una operacin binaria:
= (u+(v+w))+I
= (u+I)+((v+w)+I)
= (u+I)+((v+I)+(w+I))
6La operacin es asociativa.

iii) En D, (0+I)/ (u+I)+(0+I)=(0+I)+(u+I)=(u+I) x(u+I) 0 D.
(u+I)+(0+I)=((u+0)+I)=((0+u)+I)=(0+I)+(u+I).
6(0+I) es el elemento identidad en D, respecto a la adicin.

iv) x(u+I) 0 D, (-u+I)/ (u+I)+(-u+I)=(0+I)
Entonces (-u+I), es el elemento inverso de (u+I). y como es arbitrario, generalizamos y
decimos que si existen inversos para todos los elementos respecto a la primera
operacin.

v) (u+I)+(v+I)=((u+v)+I)=((v+u)+I)=(v+I)+(u+I).
Entonces la operacin es conmutativa.

vi) Por definicin de la operacin se tiene estabilidad para la multiplicacin.

vii) ((u+I)(v+I))(w+I)=(uv+I)(w+I)=((uv)w+I) =(u(vw)+I)=(u+I)((vw)+I)=(u+I)((v+I)+(w+I))
6La operacin es asociativa.

viii) (u+I)((v+I)+(w+I))=((uv)+I)+((uw)+I)
=((uv)+(uw)+I)
((u+I)+(v+I))+(w+I)=((u+v)+I)(w+I)
=((uw)+I)+((vw)+I).

Entonces, D es un anillo. Al cual llamaremos anillo cociente y lo denotaremos:
I
A
.
6D=
I
A
.
Se nota que para que un conjunto , dotado de dos operaciones sea un anillo debe
cumplir con 8 propiedades minimamente.

TEOREMA.
Si Si f: A 6 B es un homomorfismo de anillos, entonces:
i) Si W es subanillo de A, f(W) es subanillo de B.
ii) Si W es un ideal de A, entonces, f(W) es un ideal de B.

PRUEBA.
i) f(W) ya que f(0)=0 0 f(W).
Como w es subanillo, 0 0 W.
ii) Sea x,y 0 f(W).
x+(-y) 0 f(W), xy 0 f(W)?
a,b 0 W/ f(a)=x, f(b)=y
x+(-y)=f(a)+(-f(b))
=f(a)+f(-b)
=f(a+(-b))
6 x+(-y) 0 f(W).
xy=f(a)f(b)
=f(ab)
6 xy 0 f(W).
6W es subanillo de B.
f(a) 0 f(A), f(x) 0 f(W).
f(a)f(x)=f(ax) 0 W
f(x)f(a)=f(xa) 0 W
6W es un ideal.

10. DOMINIO DE INTEGRIDAD.
Definicin.
Un anillo conmutativo, con unidad y sin divisores de cero se llama un dominio de
integridad.

Definicin.
Una sucesin infinita de elementos de S(conjunto ) es una funcin cuyo dominio es
Z
0
+
(conjunto de los enteros no negativos), y cuyo codominio(rango), es un subconjunto
de S.
A tal sucesin la denotaremos como (a
0
,a
1
,a
2
,a
3
,) donde a
i
0 S, xi 0 Z
0
+
.
Sea D un dominio de Integridad.
Definicin.
Un polinomial sobre el dominio de integridad D, o un polinomio sobre el dominio de
integridad D, es una SUCESION INFINITA de elementos de D, donde solamente un
numero infinito de elementos son diferentes de cero.
Al conjunto de todos los polinomiales sobre D, se le denomina dominio de polinomiales
sobre D, simbolizndose por D[x].

Si w 0 D[x], con w=(a
0
,a
1
,a
2
,a
3
,).
Definicin.
a
i
, se llamara el i-esimo termino de w(coeficiente).
a
0
: termino constante.

Dado el polinomial w, con w=(a
0
,a
1
,a
2
,a
3
,), sobre un dominio de integridad D.
Definicin.
El grado de w, se define como n ]a
n
0 y a
m
0, x m>n.

Sea D un dominio de integridad, x=(a
0
,a
1
,a
2
,a
3
,), y=(b
0
,b
1
,b
2
,b
3
,), dos polinomiales
sobre un dominio de integridad D.
Definicin.
i) Los polinomiales dados son iguales, lo que se denota por x=y, ]a
i
=b
i
xi 0
Z
0
+
.
ii) Definimos la operacin ADICION en D[x]: x+y=(c
0
,c
1
,c
2
,c
3
,) donde c
i
=a
i
+b
i
,
xi 0 Z
0
+
.
iii) Definimos la operacin MULTIPLICACION en D[x]=xy=(d
0
,d
1
,d
2
,d
3
,) donde
d
i
=a
0
+b
i
+a
1
+b
i-1
+a
2
+b
i-2
+ + a
i
+b
0
.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
a) Probar que un anillo booleano es conmutativo.
Solucin.
Sabemos que para que un anillo sea booleano, debe cumplir:
i) x
2
=x, x x 0 A. (respecto a la segunda operacin).
xCx=x
ii) xy=yx, x x,y.
Sean x,y 0 A. Por definicin tenemos: x
2
=x, y
2
=y,
(x+y)
2
=(x+y)
(x+y)
2
=(x+y)(x+y)=(x+y)x+(x+y)y
=xx+yx+xy+yy
=x
2
+xy+yx+y
2
=x(x+y+y)+y
2
=x(x)+(xy)+(xy)+y
2
(como (xy)=(yx)
=x(x)+(xy)+y
2
+(xy)
=x(x)+y
2
+(xy)+(xy)
=y
2
+x(x)+(xy)+(xy)
=y
2
+(xy)+x(x)+(xy)
=y
2
+(xy)+ (xy)+x(x)
=(y+x)y+(y+x)x
=(y+x)
2
.
b) Sea H={m+n 2 / m i n 0 R} (adicin y multiplicacin) Es H un anillo?
Solucin.
Como Sabemos que R es un anillo con la adicin y multiplicacin usual, y como
m+n 2 0 R. podemos decir que H hereda todas las propiedades de R, entonces H es
un anillo.

H. C CU UE ER RP PO O. .
1.
Definicin.
Un cuerpo es un anillo con unidad, sin divisores de 0, donde cada elemento diferente
del 0 del anillo tiene inversos respecto a la segunda operacin del anillo.

Ejemplos.
(,+,C), (Z,+,C), (Q,+,C).

Ejemplo.
Sea A=R
4
. Definimos: a,b 0 A/ a=(a
1
,a
2
,a
3
,a
4
)
b=(b
1
,b
2
,b
3
,b
4
).
Las operaciones en A:
Adicin: a+b=(a
1
+b
1
,a
2
+b
2
,a
3
+b
3
,a
4
+b
4
)
Multiplicacin: ab=(c
1
,c
2
,c
3
,c
4
)
c
1
=a
1
b
1
-a
2
b
2
-a
3
b
3
-a
4
b
4
.
c
2
=a
1
b
2
+a
2
b
1
+a
3
b
4
-a
4
b
3
.
c
3
=a
1
b
3
+a
3
b
1
+a
4
b
2
-a
2
b
4
.
c
4
=a
1
b
4
+a
4
b
1
+a
2
b
3
-a
3
b
2
.
Verificaremos que A es un cuerpo.

Para que A sea un campo debe ser un anillo con unidad, sin divisores de 0, donde cada
elemento diferente del 0 del anillo tiene inversos respecto a la segunda operacin del
anillo.
6 A es un anillo? , para que A sea un anillo debe ser:
i) Un grupo conmutativo con la adicin.
ii) Un semigrupo con la multiplicacin.
iii) Que se verifique distributividad por izquierda y por derecha de la segunda operacin
respecto de la primera.

6(A,+) Es un grupo conmutativo?
a) Estabilidad.
x a,b 0 A=R
4
, a+b 0 A?
Si, ya que a+b=(a
1
+b
1
,a
2
+b
2
,a
3
+b
3
,a
4
+b
4
), y a
1
+b
1
0 R, a
2
+b
2
0 R, a
3
+b
3
0 R, a
4
+b
4
0 R
6 a+b 0 A=R
4
.
b) Asociatividad.
x a=(a
1
,a
2
,a
3
,a
4
),b=(b
1
,b
2
,b
3
,b
4
),c=(c
1
,c
2
,c
3
,c
4
) 0 A, tenemos:
a+(b+c)=(a
1
,a
2
,a
3
,a
4
)+(b
1
+c
1
,b
2
+c
2
,b
3
+c
3
,b
4
+c
4
).
= (a
1
+b
1
+c
1
,a
2
+b
2
+c
2
,a
3
+b
3
+c
3
,a
4
+b
4
+c
4
). Como la adicin en R es asociativa
podemos realizar los siguiente:
= ((a
1
+b
1
)+c
1
,(a
2
+b
2
)+c
2
,(a
3
+b
3
)+c
3
,(a
4
+b
4
)+c
4
).
= (a
1
+b
1
,a
2
+b
2
,a
3
+b
3
,a
4
+b
4
)+ (c
1
,c
2
,c
3
,c
4
).
= (a+b)+c.
6a+(b+c)=(a+b)+c, x a,b,c 0 A.

c) Existencia del elemento neutro.
Sea el elemento 0=(0,0,0,0) 0 A. a+0=0+a=a, x a 0 A?
a+0=(a
1
,a
2
,a
3
,a
4
)+(0,0,0,0)
=(a
1
+0,a
2
+0,a
3
+0,a
4
+0) (adicin en R)
=(a
1
,a
2
,a
3
,a
4
).
0+a=(0,0,0,0)+ (a
1
,a
2
,a
3
,a
4
).
=(0+a
1
,0+a
2
,0+ a
3
,0+a
4
) 8adicion en R)
=(a
1
,a
2
,a
3
,a
4
).
6En A, existe el elemento 0/ a+0=0+a=a, x a 0 A.

d) Existencia de inversos.
x a 0 A, -a 0 A/ a+(-a)=(-a)+a=0?
Sea a=(a
1
,a
2
,a
3
,a
4
), y a=(-a
1
,-a
2
,-a
3
,-a
4
)
a+(-a)=(a
1
+(-a
1
),a
2
+(-a
2
),a
3
+(-a
3
),a
4
+(-a
4
))
a+(-a)=(0,0,0,0).
Obviamente, (-a)+a=(0,0,0,0).
6x a 0 A, -a 0 A/ a+(-a)=(-a)+a=0.

e) Conmutatividad.
Sean a,b 0 A. a+b=b+a?
a+b=(a
1
+b
1
,a
2
+b
2
,a
3
+b
3
,a
4
+b
4
).
b+a=(b
1
+a
1
,b
2
+a
2
,b
3
+a
3
,b
4
+a
4
).
y como en R, a
1
+b
1
=b
1
+a
1
, a
2
+b
2
=b
2
+a
2
, a
3
+b
3
=b
3
+a
3
, a
4
+b
4
=b
4
+a
4
.
6 a+b=b+a, x a,b 0 A.
6Hasta ac podemos afirmar que A es un grupo conmutativo con +.
(A,C) Es un monoide donde cada elemento tiene su inverso(menos el 0)?

a) Estabilidad.
x a,b 0 A.
ab=(c
1
,c
2
,c
3
,c
4
)
c
1
=a
1
b
1
-a
2
b
2
-a
3
b
3
-a
4
b
4
.
c
2
=a
1
b
2
+a
2
b
1
+a
3
b
4
-a
4
b
3
.
c
3
=a
1
b
3
+a
3
b
1
+a
4
b
2
-a
2
b
4
.
c
4
=a
1
b
4
+a
4
b
1
+a
2
b
3
-a
3
b
2
.
Se nota claramente que c
1
,c
2
,c
3
,c
4
0 R. 6 (c
1
,c
2
,c
3
,c
4
) 0 R
4
=A.

b) Asociatividad.
x a,b,c 0 A.(ab)c=a(bc)?
Sea ab=x, bc=y/
x
1
=a
1
b
1
-a
2
b
2
-a
3
b
3
-a
4
b
4
.
x
2
=a
1
b
2
+a
2
b
1
+a
3
b
4
-a
4
b
3
.
x
3
=a
1
b
3
+a
3
b
1
+a
4
b
2
-a
2
b
4
.
x
4
=a
1
b
4
+a
4
b
1
+a
2
b
3
-a
3
b
2
.
y
1
=b
1
c
1
-b
2
c
2
-b
3
c
3
-b
4
c
4
.
y
2
=b
1
c
2
+b
2
c
1
+b
3
c
4
-b
4
c
3
.
y
3
=b
1
c
3
+b
3
c
1
+b
4
c
2
-b
2
c
4
.
y
4
=b
1
c
4
+b
4
c
1
+b
2
c
3
-b
3
c
2
.
(ab)c=(x
1
,x
2
,x
3
,x
4
)(c
1
,c
2
,c
3
,c
4
).
a(bc)=(a
1
,a
2
,a
3
,a
4
)(y
1
,y
2
,y
3
,y
4
).

(x
1
,x
2
,x
3
,x
4
)(c
1
,c
2
,c
3
,c
4
)=(j
1
,j
2
,j
3
,j
4
).
j
1
=x
1
c
1
-x
2
c
2
-x
3
c
3
-x
4
c
4
.
j
2
=x
1
c
2
+x
2
c
1
+x
3
c
4
-x
4
c
3
.
j
3
=x
1
c
3
+x
3
c
1
+x
4
c
2
-x
2
c
4
.
j
4
=x
1
c
4
+x
4
c
1
+x
2
c
3
-x
3
c
2
.
(a
1
,a
2
,a
3
,a
4
)(y
1
,y
2
,y
3
,y
4
)=(k
1
,k
2
,k
3
,k
4
).
k
1
=a
1
y
1
-a
2
y
2
-a
3
y
3
-a
4
y
4
.
k
2
=a
1
y
2
+a
2
y
1
+a
3
y
4
-a
4
y
3
.
k
3
=a
1
y
3
+a
3
y
1
+a
4
y
2
-a
2
y
4
.
k
4
=a
1
y
4
+a
4
y
1
+a
2
y
3
-a
3
y
2
.
Entonces para que A sea asociativo, j
1
= k
1
, y as sucesivamente:
j
1
=x
1
c
1
-x
2
c
2
-x
3
c
3
-x
4
c
4
.
k
1
=a
1
y
1
-a
2
y
2
-a
3
y
3
-a
4
y
4
.
(x
1
c
1
-x
2
c
2
-x
3
c
3
-x
4
c
4
)=(a
1
y
1
-a
2
y
2
-a
3
y
3
-a
4
y
4
)? Remplazando los valores de los xs y de
los ys ya conocidos tenemos:
(a
1
b
1
-a
2
b
2
-a
3
b
3
-a
4
b
4
)c
1
-(a
1
b
2
+a
2
b
1
+a
3
b
4
-a
4
b
3
)c
2
-(a
1
b
3
+a
3
b
1
+a
4
b
2
-a
2
b
4
)c
3
-
(a
1
b
4
+a
4
b
1
+a
2
b
3
-a
3
b
2
)c
4
= a
1
(b
1
c
1
-b
2
c
2
-b
3
c
3
-b
4
c
4
)-a
2
(b
1
c
2
+b
2
c
1
+b
3
c
4
-b
4
c
3
)-
a
3
(b
1
c
3
+b
3
c
1
+b
4
c
2
-b
2
c
4
)-a
4
(b
1
c
4
+b
4
c
1
+b
2
c
3
-b
3
c
2
)?
Realizando toda esta operacin, nos damos cuenta que si se cumple la igualdad:
6x a,b,c 0 A.(ab)c=a(bc).

c) Existencia del elemento unidad.
Sea a=(a
1
,a
2
,a
3
,a
4
) 0 A, y E=(E
1
,E
2
,E
3,
E
4
), queremos ver a E, como elemento unidad,
entonces:
aE=(a
1
,a
2
,a
3
,a
4
)(E
1
,E
2
,E
3,
E
4
)=(a
1
,a
2
,a
3
,a
4
), por definicin tendramos:
a
1
=a
1
E
1
-a
2
E
2
-a
3
E
3
-a
4
E
4
.
a
2
=a
1
E
2
+a
2
E
1
+a
3
E
4
-a
4
E
3
.
a
3
=a
1
E
3
+a
3
E
1
+a
4
E
2
-a
2
E
4
.
a
4
=a
1
E
4
+a
4
E
1
+a
2
E
3
-a
3
E
2
.
a
1
+a
2
+a
3
+a
4
= a
1
E
1
-a
2
E
2
-a
3
E
3
-a
4
E
4
+ a
1
E
2
+a
2
E
1
+a
3
E
4
-a
4
E
3
+ a
1
E
3
+a
3
E
1
+a
4
E
2
-a
2
E
4
+
a
1
E
4
+a
4
E
1
+a
2
E
3
-a
3
E
2
= a
1
E
1
+a
1
E
2
+a
1
E
3
+a
1
E
4
+a
2
E
1
-a
2
E
2
+a
2
E
3
-a
2
E
4
+a
3
E
1
-a
3
E
2
-
a
3
E
3
+a
3
E
4
+a
4
E
1
+a
4
E
2
-a
4
E
3
-a
4
E
4
.
= a
1
(E
1
+E
2
+E
3
+E
4
) + a
2
(E
1
-E
2
+E
3
-E
4
) + a
3
(E
1
-E
2
-E
3
+E
4
) + a
4
(E
1
+E
2
-E
3
-E
4
)
a
1
+a
2
+a
3
+a
4
= a
1
(E
1
+E
2
+E
3
+E
4
) + a
2
(E
1
-E
2
+E
3
-E
4
) + a
3
(E
1
-E
2
-E
3
+E
4
) + a
4
(E
1
+E
2
-E
3
-E
4
)
6 E
1
+E
2
+E
3
+E
4
=1
E
1
-E
2
+E
3
-E
4
=1
E
1
-E
2
-E
3
+E
4
=1
E
1
+E
2
-E
3
-E
4
=1

E
1
+E
2
+E
3
+E
4
=E
1
-E
2
+E
3
-E
4
2E
2
=-2E
4
2E
2
=2(-E
4
)
E
2
=-E
4
E
1
-E
2
+E
3
-E
4
=E
1
-E
2
-E
3
+E
4
2E
3
=2E
4
E
3
=E
4
E
1
+E
2
+E
3
+E
4
= E
1
-E
4
+E
4
+E
4
= E
1
+E
4
= 1
= E
1
=E
4
-1.
6 E=(E
1
,E
2
,E
3,
E
4
)=(E
4
-1,-E
4
,E
4
,E
4
).
*Determinar el valor de E
4
con ejemplos.
6 Si logramos verificar que existe unidad, diremos que es un monoide.

d) existencia de inverso x a 0 A/ a0.
x a0 0 A, a
-1
/ aa
-1
=E?
6 Si lograramos ver que se cumpla claramente la propiedad (c) y (d), afirmaramos
que A es un campo.

*Afirmar o negar que A es un campo.

I. C CA AM MP PO O. .
1.
Definicin.
Un campo, es un cuerpo conmutativo.
Ejemplos.
(,+,C), (Q,+,C), (C,+,C).

NOTA.
Todos los Z
m
, con m un numero primo, son campos.

TEOREMA.
Si A es un anillo conmutativo, con unidad, y tiene por nicos ideales a {0} y A, entonces
A es un campo.

xa0, b0/ ab=1
Dado a0 en A.
Determinamos Aa={xa/ x 0 A}

PRUEBA.
Como a=1a 0 Aa 6 a 0 Aa .
Sea xa, za 0 Aa
xa+(-za)=(x+(-z))a 0 Aa
xa+(-za) 0 Aa

(xa)(za)=(xaz)a, xaz 0 A
6(xaz) 0 Aa.
xm 0 A y xxa 0 Aa.
m(xa) = (mx)a 0 Aa. (izquierda)
(xm)a
x(am)=(xm)a 0 Aa. (derecha)
6Aa es ideal de A.

Como Aa es {0} A, y es distinto de 0, 6Aa = A.
Cada elemento de A, ser mltiplo de a0 para un cierto elemento de A.
Por tanto Aa = A.

1=ba
0a=0
Como a0 de A.
b0/ ab=1. (entonces b es el inverso de a)
Por tanto el anillo A es un campo.

Extensin a Campo.
Sea el anillo Z, conmutativo, con unidad y sin divisores de 0, determinamos:
ZxZ={(a,b)/ a,b 0 Z}
Cada (a,b) se considera:
b
a
.
(2,3) 6
3
2
, (5,7) 6
7
5
, etc.
Para el elemento (2,0) 6
0
2
.
Entonces, tenemos el conjunto:
H={(a,b)/ a,b 0 Z i b0}
(2,3) 6
3
2
al resultado obtenido, le llamaremos racional.

Definimos en H la relacin -,
(a,b) - (c,d) ]ad=bc

Demostraremos que la relacin -, es de equivalencia.
Para que -, sea una relacin de equivalencia debe ser reflexiva, simtrica y
transitiva. Entonces:
i) Sea (a,b) 0 H. (a,b)-(a,b)?
Como ab=ba, por ser el producto conmutativo, entonces afirmamos que:
(a,b)-(a,b).
6la relacin es reflexiva.

ii) Sean (a,b), (c,d) 0 H. Si (a,b)-(c,d), 6 (c,d)-(a,b)?
Si (a,b)-(c,d), 6 ad=bc.
Si (c,d)-(a,b), 6 cb=da.
Y como el producto es conmutativo, entonces ad=da, bc=cb.
6 Si (a,b)-(c,d), 6 (c,d)-(a,b)
6 La relacin es simtrica.

iii) Sean (a,b), (c,d), (e,f) 0 H. Si (a,b)-(c,d) i (c,d)-(e,f) 6 (a,b)-(e,f)?
Si (a,b)-(c,d) 6 ad=bc.
Si (c,d)-(e,f) 6 cf=de.
adcf=bcde 6af=be 6(a,b)-(e,f).
6Si (a,b)-(c,d) i (c,d)-(e,f) 6 (a,b)-(e,f)
6 La relacin es transitiva.
6Como la relacin es reflexiva, simtrica y transitiva, podemos afirmar que la relacin
es de Equivalencia.

Determinamos el conjunto F={[(a,b)]/ (a.b) 0 H}
Que resulta ser un campo, con las operaciones:
Adicin: [a,b)]+[(c,d)]=[(ad+bc,bd)]
Multiplicacin: [(a,b)] [(c,d)]=[(ac,bd)]

[(a,b)]=[(c,d)] ](a,b)-(c,d)
entonces se nota que se esta definiendo CLASES DE EQUIVALENCIA.
Sea (x,z) 0 [(a,b)] y [(a,b)]=[(c,d)]
6 (x,z) 0 [(c,d)]
y por definicin de clases de equivalencia, tenemos que:
(a,b)-(c,d) 6(a,b)-(x,z) 6 (x,z)-(c,d)

P PA AR RT TE E I II II I
J. I IN NT TR RO OD DU UC CC CI IO ON N A A E ES SP PA AC CI IO OS S V VE EC CT TO OR RI IA AL LE ES S. .
1. ESPACIOS VECTORIALES.
Definicin.
Un K espacio vectorial o un espacio vectorial sobre un campo K, es un conjunto V
, dotado de una operacin INTERNA llamada ADICION, que transforma pares de
elementos de V en elementos de V.
+ : V x V 6V
(A,B) 6 A+B (resultado llamado suma)
y otra EXTERNA, llamada MULTIPLICACION POR ESCALARES que transforma un
elemento % 0 K y otro A 0 V en uno de B. %A llamado mltiplo escalar de A.
F : K x V 6 V
(%,A) 6 %A
Verificndose las siguientes propiedades:
i) (A + B) 0 V, x A,B 0 V (Cerradura) (Estabilidad para la Adicin)
ii) %A 0 V, x% 0 K y x A 0 V (Estabilidad para la operacin externa)
iii) A + (B + C) = (A + B) + C, x A,B,C 0 V (Asociatividad)
iv) A + B = B + A, x A,B 0 V (Conmutatividad)
v) ! elemento en V, denotado por 0, verificando: A + 0 = 0 + A = A, x A 0 V
(Existencia de Identidad)
vi) x A 0 V, ! elemento en V, denotado por A, llamado INVERSO DE A, tal
que: A + (-A) = (-A) + A = 0
vii) (a + b)A = aA + bA, x a,b 0 K y x A 0 V.
viii) a(A + B) = aA + aB, x a 0 K y x A,B 0 V.
ix) a(bA) = (ab)A = b(aA), x a,b 0 K y x A 0 V.
x) 1A = A, x A 0 V.

Esta definicin la resumimos de la siguiente forma:
Un K espacio vectorial o un espacio vectorial sobre el Campo K, es un conjunto V
, dotado de una operacin INTERNA y otra EXTERNA, verificndose:
i) V es un grupo conmutativo con la operacin interna.
ii) %A 0 V, x% 0 K y x A 0 V (Estabilidad para la operacin externa)
iii) (a + b)A = aA + bA, x a,b 0 K y x A 0 V.
iv) a(A + B) = aA + aB, x a 0 K y x A,B 0 V.
v) a(bA) = (ab)A = b(aA), x a,b 0 K y x A 0 V.
vi) 1A = A, x A 0 V.

Los elementos del K espacio vectorial V se llaman VECTORES y se simbolizan por:
A,B,C,D, de los elementos del Campo (o cuerpo conmutativo) se llaman
ESCALARES y se simbolizan por:
a,b,c,d,
%,$,T
La ADICION transforma pares de elementos de V en elementos que estan en V (Por
eso se llama operacin interna), la MULTIPLICACION POR ESCALARES, transforma
un elemento de V, y otro que esta fuera de V (Por eso se llama operacin externa).
El elemento 0, descrito en la propiedad (v) se llama VECTOR CERO o tambin
VECTOR NULO de V.
1 es el ELEMENTO UNIDAD del Campo K.
xA de V, el elemento A se llama INVERSO de A.

Ejemplo de Espacio Vectorial.
Sea K = (Z
5
, r, u) un campo. Si en V = K x K = {(a
1
,a
2
)/a
1
,a
2
0 K} definimos las
operaciones:
Adicin: A + B = (a
1
+ b
1
, a
2
+ b
2
).
Multiplicacin por escalares: aA = (aa
1
,aa
2
).
Observamos que estas operaciones estn definidas en base a las operaciones del
campo K.
Se verifica que, V con estas operaciones es un ESPACIO VECTORIAL sobre el campo
K, en efecto:
i) Si A=(a
1
,a
2
) y B=(b
1
,b
2
) son dos elementos arbitrarios de V, se tiene A + B = (a
1
+ b
1
,
a
2
+ b
2
), por definicin de +. Y claramente (A + B) 0 V ya que a
1
+ b
1
y a
2
+ b
2
son
de K, por ser campo hay estabilidad de V para +.
ii) A + (B + C) = (a
1
,a
2
) + (b
1
+ c
1
, b
2
+ c
2
) = (a
1
+ (b
1
+ c
1
), a
2
+ (b
2
+ c
2
)) = ((a
1
+ b
1
) +
c
1
, (a
2
+ b
2
) + c
2
).
6 (A + B) + C = A + (B + C).
Se cumple la asociatividad de + en V.

Hay que tener en cuenta, que las operaciones en V, son de la siguiente forma:
Si A=(1,2), B=(3,4), entonces:
A + B=(1,2)+(3,4) = (1r3,2r4) = (4,1).
Si consideramos, por decir al escalar a=3 de K, se tiene:
aA=3(1,2) = (3u1,3u2) = (3,1)
aB=3(3,4) = (3u3,3u4) = (4,2)
los elementos de V son {(0,0),(0,1),(0,2), ,(4,3),(4,4)} en total 25 o(V)=25.
Si A=(1,2); entonces A=(4,3)
V es un espacio vectorial finito.

iii) A + B = (a
1
+ b
1
, a
2
+ b
2
) = (b
1
+ a
1
, b
2
+ a
2
) = B + A
entonces, se cumple la conmutatividad.

iv) En V, existe el elemento 0=(0,0), que cumple:
A + 0=(a
1
,a
2
) + (0,0) = (a
1
+ 0,a
2
+ 0) = (a
1
,a
2
)
6 A + 0 = A
0 + A=(0,0) + (a
1
,a
2
) = (0 + a
1
,0 + a
2
) = (a
1
,a
2
)
6 0 + A = A
6 A + 0 = 0 + A = A, xA 0 V.

v) xA=(a
1
,a
2
) de V, -A=(-a
1
,-a
2
)/ A+(-A)=(-A)+A=0. Es decir, para A=(1,1), -A=(4,4)/
A+(-A)=(1,1)+(4,4)=(0,0)=0
Se cumple la existencia de elementos Inversos.

As podemos verificar cada una de las propiedades, lo ideal seria hacerlo con todos los
elementos del campo, pero resultara un trabajo muy tedioso y largo. Por los cual si
usamos elementos arbitrarios reducimos esta labor.

2. SUBESPACIO
Definicin.
Un subespacio de un K espacio vectorial V, es un subconjunto W de V, que
verifica:
i) (A + B) 0 W, xA,B 0 W (estabilidad de W, para la adicin de V)
ii) %A 0 W, x% 0 y x A 0 W (estabilidad de W, para la operacin externa de
V)

Ejemplo.
Sea el Campo K = (Z
5
, r, u), y el espacio vectorial V=K
2
sobre el campo K. Es el
subconjunto de V, W={(a
1
,a
2
) 0 V/ a
1
+a
2
=0} un subespacio de V?

En V, el vector 0=(0,0)/ 0+0=0
6 0 0 W, W .
Si A=(a
1
,a
2
), B=(b
1
,b
2
) son de W, 6a
1
+a
2
=0=b
1
+b
2
; luego A+B={a
1
+b
1
,a
2
+b
2
}. De la
condicin de que A,B son de W se tiene que: a
1
+a
2
+ b
1
+b
2
=0
Resultando que (A+B) 0 W.
Finalmente, si A=(a
1
,a
2
) 0 W y % 0 K, se tiene: a
1
+ a
2
=0 y tambin %A=(%a
1
,%a
2
)
6%a
1
+ %a
2
=%(a
1
+a
2
)=%0=0 6 %A 0 W.
Resultando ser W, un subespacio de V.

TEOREMA 1
Para cualquier K-espacio vectorial V, se verifica:
i) a0=0, xa 0 K.
ii) 0A=0, xA 0 V.
iii) de kA=0, se implica que k=0 que A=0.
iv) (kA)=(k)A
v) (A)=A; para elementos arbitrarios a,k de K y A en V.

PRUEBA.
i) Para elementos arbitrarios a 0 K y A 0 V, se tiene que el mltiplo escalar aA se
puede expresar como: aA=a(A+0)=aA+a0. 6aA = aA+a0.
6a0=0, por la existencia de inversos en V. Verificndose para cualquier a 0 K.
ii) Similarmente, aA=(a+0)A=aA+0A 6aA= aA+0A 60A=0, por la misma razn anterior,
para cualquier A de V.
iii) Con kA=0, supongamos que k0 en K, entonces k
-1
(Inverso de k respecto a la
segunda operacin del Campo K), tal que k
-1
k=1. Por tanto:
k
-1
(kA)= k
-1
(0)=0 6 k
-1
(kA)=0 6 1A=0 6 A=0.
Con kA=0, supongamos que A0, entonces debe ser k=0, pues de lo contrario, existira
k
-1
en K/ k
-1
k=1 y k
-1
(kA)= k
-1
(0)=0 6 (k
-1
k)A=0 61A=0 6A=0, que seria una
contradiccin a la condicin A0. Por tanto, Si kA=0, se implica que k=0 que A=0.
iv) Al operar un vector cualquiera de V con su inverso (mediante la adicin +) se
obtiene el vector cero, entonces:
-(kA)+kA=0=(-k+k)A=(-k)A+kA
6-(kA)+kA=(-k)A+kA 6-(kA)=(-k)A. x k 0 K i x A 0 V.
v) (A)= ((1)A)=((1))A=1A=A 6 (A)=A

Al definir la operacin interna + en un K espacio vectorial V, se dio el resultado
(A+B) para dos elementos arbitrarios A,B de V.
Definiremos inductivamente la suma de n vectores arbitrarios de V(para n$2)
Definicin. (Definicin inductiva de la suma)
A
1
+ A
2
ya esta dado (por definicin de Adicin + en V). Supongamos que para r
vectores A
1
, A
2
,, A
r
. esta dada la SUMA: A
1
+ A
2
+ + A
r
de estos vectores;
entonces queda definida la SUMA de (r+1) vectores A
1
, A
2
,, A
r
, A
r+1
. Luego, Por
induccin generalizamos y decimos que se tiene por DEFINICION DE SUMA de n
vectores A
1
, A
2
,, A
n
, x n$2.

*La induccin se vera en la parte K del texto.
3. COMBINACION LINEAL
Definicin.
Para vectores arbitrarios A
1
, A
2
,, A
n
, de un K espacio vectorial V, el vector de la
forma a
1
A
1
+ a
2
A
2
+ a
n
A
n
=
=
n
i
i i
A a
1
. Se llama COMBINACION LINEAL de los vectores
A
1
, A
2
,, A
n
para escalares a
1
,a
2
, , a
n
de K.

Definicin.
Para vectores arbitrarios A
1
, A
2
,, A
n
, de un K espacio vectorial V:
i) Una COMBINACION LINEAL NULA ( COMBINACION NULA) de ellos, es
cualquier COMBINACION LINEAL que d el VECTOR CERO; es decir:
a
1
A
1
+ a
2
A
2
+ a
n
A
n
=0
ii) Una COMBINACIOL LINEAL TRIVIAL de ellos, es una COMBINACION
LINEAL donde todos los escalares son ceros, es decir 0A
1
+ 0A
2
+ 0A
n
.
Definicin.
Dado los vectores A
1
, A
2
,, A
n
, de un K espacio vectorial V:
i) Se dice que son LINEALMENTE DEPENDIENTES entre si, o que determinan
un conjunto linealmente dependientes de vectores, si existe (por lo menos
una) combinacin lineal de ellos que siendo NULA NO ES LA TRIVIAL.
ii) Se dice que estos vectores son LINEALMENTE INDEPENDIENTES entre si,
o que determinan un conjunto linealmente independientes de vectores, si no
son linealmente dependientes; es decir, que no existe ninguna combinacin
lineal de ellos, que siendo NULA no sea TRIVIAL. Esto significa que la
UNICA combinacin lineal NULA entre ellos, es la TRIVIAL.
Ejemplo.
En el R espacio vectorial V=R
2
, los vectores A=(2,0), B=(1,1), C=(-1,1) son
linealmente dependientes ya que existe la combinacin lineal:
1A + (-1)B + 1C = 0, Nula que no es trivial.

Y adems, en el mismo espacio vectorial anterior, los vectores A=(1,1), B=(-2,1), son
linealmente independientes, pues si se considera cualquier combinacin nula de ellos
aA + bB = a(1,1) + b(-2,1) = 0 = (0,0), se tiene: (a-2b,a+b)=(0,0) ]a-2b =0 i a+b=0. Lo
que implica que debe ser a=0, y b=0. Es decir que esta combinacin lineal nula tiene
que ser necesariamente la trivial.

Definicin.
Se dice que un subconjunto H arbitrario de un K espacio vectorial V es
LINEALMENTE INDEPENDIENTE, si todo subconjunto finito de H es linealmente
independiente. De lo contrario, se dice que H es LINEALMENTE DEPENDIENTE.
Es decir, si algn subconjunto finito de H es linealmente dependiente, entonces, H es
linealmente dependiente.

Ejemplo.
4
, se considera los vectores, A
1
=(1,2,3,4),
A
2
=(-1,-2,3,4), A
3
=(1,1,-1,1), A
4
=(2,4,-6,-8), A
5
=(1,0,0,1).
Estos vectores resultan dependientes, porque los vectores A
2
y A
4
son linealmente
dependientes; ya que existe la combinacin lineal nula 2A
2
+ 1A
4
= 0, que no es la
trivial. Entonces A
1
,A
2
,A
3
,A
4
,A
5
son linealmente dependientes.

TEOREMA 2
Sean r+h vectores de un K espacio vectorial V, V
1
, V
2,
, V
r
, V
r+1
, , V
r+k
; entonces
se verifica que:

+
=
+
+ = =
= +
k r
i
i
k r
r i
i
r
i
i
V V V
1 1 1
TEOREMA 3
Si H , es un subconjunto arbitrario de un K espacio vectorial V; entonces, el
conjunto formado por todas las combinaciones lineales a
1
A
1
+ a
2
A
2
+ a
k
A
k
de un
numero finito de elementos de H, los a
i
0 K, es un subespacio de V.

4. SUBESPACIOS GENERADOS
Definicin.
Si H , es un subconjunto arbitrario de un K espacio vectorial V, entonces el
subespacio de V, formado por todas las combinaciones lineales de elementos de H, en
numero finito, se llama Subespacio de V GENERADO por H y se denota por gen(H).

Si H={A
1
, A
2
,, A
r
}, entonces, el generado por H se denota por gen{A
1
, A
2
,, A
r
}
Ejemplo.
3
, se tiene el subconjunto H={A
1
=(2,1,2),A
2
=(-1,-2,-1)};
entonces el subespacio gen(H) es: {v 0 V/ v=a
1
(2,1,2)+a
2
(-1,-2,-1)}
Si v=(v
1
,v
2
,v
3
) 6 v
1
=2a
1
-a
2
v
2
=a
1
-2a
2
v
3
=2a
1
-a
2
6 v
1
= v
3 i
v
2
0 R.
6gen(H)={(v
1
,v
2
,v
3
) / v
1
= v
3 i
v
2
0 R}

TEOREMA 4
Si {H
i
} es una familia de subespacios de un K espacio vectorial V; entonces,
i
i
H es un subespacio de V.

5. SUMA DE SUBESPACIOS
Definicin.
Para subespacios H
1
,H
2
, ,H
r
de un K espacio vectorial V, el conjunto H
i
denotado
de la siguiente forma: H
i
={A
1
+ A
2
+ + A
r
/ A
i
0 H
i
} para i=1,2, ,r. se llama SUMA
DE LOS SUBESPACIOS H
1
,H
2
, ,H
r
y se simboliza por:
H
1
+ H
2
+ +H
r
=

=
r
i
i
H
1
.
6. BASES
Definicin.
Un subconjunto B de un K espacio vectorial V, se dice ser BASE para V ]
verifica las condiciones:
i) B es linealmente independiente.
ii) V=gen(B).
Podemos interpretar la parte (ii) diciendo: Todo vector de V se expresa como
combinacin lineal de elementos de B.

Ejemplo.
En el R espacio vectorial V = R
2
, sea el conjunto B={A
1
=(1,0), A
2
=(0,1)}. Veremos que
B es base para V.
i) Si a
1
(1,0)+ a
2
(0,1)=0, es nula, entonces (a
1
,a
2
)=(0,0) ]a
1
=0 i a
2
=0, o sea que la
combinacin lineal debe ser nula y adems trivial.
6B es linealmente independiente.
ii) Si X=(x
1
,x
2
) es arbitrario de V, entonces se tiene:
X=(x
1
,x
2
)=(x
1
,0)+(0,x
2
)= x
1
(1,0)+ x
2
(0,1) = x
1
A
1
+ x
2
A
2
6V=gen(B).
6Es la Base para V.

*El tema de ESPACIOS VECTORIALES es mucho mas amplio de lo expuesto hasta aqu, el cual ser
detalladamente estudiado en un curso de MATEMATICAS DISCRETAS II.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
a) Sea el Campo K = (Z
5
, r, u), y el espacio vectorial V=K
2
sobre el campo K. Es el
subconjunto de V, W={(a
1
,a
2
) 0 V/ a
1
+a
2
=1} un subespacio de V?
Solucin.
el vector A=(1,0) en V/1+0=1 6A=(1,0) 0 W
6W
Sean A=(a
1
,a
2
) y B=(b
1
,b
2
) de W; entonces a
1
+a
2
=1=b
1
+b
2
Para A+B=(a
1
+b
1
,a
2
+b
2
) y resulta que: (a
1
+b
1
+a
2
+b
2
)= 1+1=21
6(A+B) W. y concluimos que W no es subespacio de V.
Por ejemplo, A=(1,0) y B=(0,1) son de W, A+B=(1,1) lo que implica que 1+1=2
6(A+B) W.

b) Probar el TEOREMA 3. (Pg. 72 )
Si H , es un subconjunto arbitrario de un K espacio vectorial V; entonces, el
conjunto formado por todas las combinaciones lineales a
1
A
1
+ a
2
A
2
+ a
k
A
k
de un
numero finito de elementos de H, los a
i
0 K, es un subespacio de V.
Solucin.
Sea D el conjunto de todas esas combinaciones lineales.
i) Como H , entonces D .
ii) El TEOREMA 2, da la estabilidad de D para +
iii) Sea a 0 K, y A=
=
k
i
i i
A a
1
de D. (sus elementos son combinaciones lineales de
elementos de H en numero finito),entonces, aA=a(
=
k
i
i i
A a
1
)
aA=a( )
1
1
k k
k
i
i i
A a A a +
=
=a ) (
1
1
=
k
i
i i
A a +(aa
k
)A
k
.
Se sigue aso con la inductiva y se obtiene aA=(
=
k
i
i i
A aa
1
) ( ), lo que muestra que aA 0 D,
estable para la operacin externa.
6D es subespacio de V.

K. I IN ND DU UC CC CI I N N M MA AT TE EM MA AT TI IC CA A. .
1. INDUCCION MATEMATICA.
P Po os st tu ul la ad do o d de e I In nd du uc cc ci i n n. .
Sea A un conjunto de nmeros naturales (A d ), cumpliendo las condiciones:
i) 0 0 A
ii) de h 0 A, se implica que (h+1) 0 A
entonces, A = , o que todo numero natural n es de A.

TEOREMA (Principio de Induccin Matemtica)
Sea a
0
0 , y A d , cumpliendo las condiciones:
i) a
0
0 A
ii) De la hiptesis que h 0 A, para h $ a
0
, se implica que (h+1) 0 A, entonces
podemos afirmar que todo numero natural n $ a
0
esta en A.

PRUEBA.
Sea el conjunto B formado por todos los nmeros naturales n menores que a
0
, es decir:
B = {n 0 N/ n < a
0
} y hagamos que D = B c A. Si logramos ver que D = N, estara
resuelto nuestro problema. En efecto, tratemos de utilizar el postulado de induccin.

i) Veamos donde esta el 0 (cero)
Si fuera 0 < a
0
60 0 B, de donde 0 0 D, pues B d D.
Si fuera 0 = a
0
60 0 A, de donde 0 0 D, pues A d D.
6 0 0 D.
ii) Sea h 0 D = B c A; entonces h 0 B w h 0 A:
6) Si h 0 B 6h < a
0
, resultando h + 1 # a
0
, luego
Si h + 1 < a
0
6 (h + 1) 0 B y por tanto (h + 1) 0 D, pues B d D.
Si h + 1 = a
0
6 (h + 1) 0 A y por tanto (h + 1) 0 D, pues A d D.
6) Si h 0 A 6h a
0
, 6 h $ a
0
, que por la condicin ii) del teorema, implica que (h+1)
0 A y por tanto: (h+1) 0 D pues A d D.

Por Consiguiente, de h 0 D, se implica que (h+1) 0 D.
Es decir resumiendo, se cumple que:
i) 0 0 D.
ii) de h 0 D, se implica que (h+1) 0 D.

Ambas condiciones que nos permiten aplicar el postulado de induccin y concluir en
que D = .
Entonces, como B = {n 0 / n < a
0
}, y D = = B c A, se tendr que A esta formado por
todos los nmeros naturales n que no son menores que a
0
(n a
0
) , es decir, A esta
formado por todos los naturales n $ a
0
.
A = {n 0 / n $ a
0
}. (Lo que queramos probar)

Establecemos una primera consecuencia de este teorema.
Sea a
0
un Natural, y para cada n $ a
0
, sea P(n) una proposicin que depende de n, y
que puede ser VERDADERA o FALSA.

COROLARIO 1
Dada la proposicin P(n); supongamos que:
i) P(a
0
) sea Verdadera.
ii) De la verdad de P(h), para h $ a
0
, se implica que P(h+1) es VERDADERA;
entonces P(n) es VERDADERA, x natural n $ a
0
.
PRUEBA.
Sea el conjunto A = { n 0 / P(n) es verdad}, es decir n 0 A ]P(n) es V. Entonces:
i) Afirmamos que a
0
0 A, ya que P(a
0
) es V.
ii) Para h $ a
0
y de la verdad de P(h) se implica que P(h+1) es V.

entonces, como n 0 A ]P(n) es V; se tiene que para h $ a
0
y de h 0 A se implica que
(h+1) 0 A. Por consiguiente aplicando el Principio de Induccin, x n $ a
0
, resulta n 0 A;
es decir, P(n) es VERDADERO x n $ a
0
.
Ejemplos.
a) Sea la proposicin; P(n): n
3
+ 2n es divisible por 3, x n $ 1, Verificarla.
Solucin.
Para n = 1, 1
3
+ 2(1) = 3, 3 es divisible por 3 6 P(1) es V.
Para n = 2, 2
3
Para n = 3, 3
3
..
.
..
Supongamos que P(h) es V; es decir que:
h
3
+ 2h es divisible por 3
Entonces h
3
+ 2h = 3m, para algn m 0 Z, luego:
(h+1)
3
+ 2(h+1) = h
3
+ 3h
2
+3h + 1 +2h + 2
= (h
3
+2h) + (3h
2
+ 3h +3)
= 3m +3(h
2
+ h +1)

que ser divisible por 3, lo que significa que P(h+1) es V.
Aplicando el COROLARIO 1, generalizamos y decimos que: P(n) es V, x n $ 1, o que
n
3
+ 2n es divisible por 3, x n $ 1.

En los 3 pasos, tenemos las denominaciones siguientes:
i) El determinar que P(1) es V, se llama BASE DE INDUCCION PASO BASE.
ii) El suponer que P(h) es V, se llama HIPOTESIS DE INDUCCION.
iii) Llegar a que P(h+1) es V, se llama ETAPA DE INDUCCION.

b) Sea la Proposicin; P(n): n
4
4n
2
es divisible por 3, x n $ 2, Verificarla.
*************BASE DE INDUCCION*******************
Para n = 2, 2
4
4(2
2
) = 0, 0 es divisible por 3 6 P(2) es V.
Para n = 3, 3
4
4(3
2
) = 45, 45 es divisible por 3 6 P(3) es V.
*************HIPOTESIS DE INDUCCION*******************
Supongamos que para n=h, P(h) es verdadero, con h $ 2, es decir, h
4
4h
2
=3m, para
algn m 0 Z, luego:
************ETAPA DE INDUCCION******************

(h+1)
4
4(h+1)
2
= h
4
4h
2
+ 4h
3
+ 6h
2
4h 3
= 3m + 4h
3
+ 6h
2
4h 3

Resultando: (h+1)
4
4(h+1)
2
divisible por 3, 6 P(h+1) es V.
Aplicamos el COROLARIO 1, y generalizando, decimos que P(n) es V, x n $ 2; o que
n
4
4n
2
es divisible por 3, x n $ 2.

c) Sea la Proposicin; P(n): 1 + 2 + 2
2
+ 2
3
+ + 2
n
= 2
n+1
1, x n $ 1, Verificarla.
Para n = 1, 1 + 2
1
= 3, 3 = 2
1+1
-1 = 4 1 6P(1) es V.
Para n = 2, 1 + 2
1
+ 2
2
= 7, 7 = 2
2+1
-1 = 8 1 6 P(2) es V.
Supongamos que para un natural n = h, P(h) es V, es decir que: 1 + 2 + 2
2
+ 2
3
+ +
2
h
= 2
h+1
1
Entonces, para n = h+1, P(h+1) es:
1 + 2 + 2
2
+ 2
3
+ + 2
h
+ 2
h+1
= (2
h+1
1) + 2
h+1
= 2
(h+1)
+ 1 1
Lo que indica que P(h+1) es V. y utilizando el COROLARIO 1, generalizamos diciendo
que: P(n) es V, x n $ 1; es decir:
1 + 2 + 2
2
+ 2
3
+ + 2
n
= 2
n+1
1, x n $ 1
COROLARIO 2
Sea A un cierto conjunto, n
0
0 , y supongamos que:
i) Se ha definido el elemento a
n,
de A.
ii) Se ha dado un criterio tal que, si se supone que ha sido definido el elemento
a
k
de A para algn k $ n
0
, tambin queda definido el elemento a
k+1
de A.
Entonces, x natural n $ n
0
, queda definido el elemento a
n
de A.

PRUEBA.
Sea B = { n 0 / a
n
de A esta definido}, es decir, n 0 B ]a
n
de A esta definido. Luego
n
0
0 B, pues por la condicin a
n
de A esta definido.
Supongamos que para k $ a
0
, sea k 0 B; entonces, al elemento a
k
de A esta definido, y
por la segunda condicin del COROLARIO 2, el elemento a
k+1
queda tambin definido,
de donde se implica que (k+1) 0 B. Entonces, aplicando el Principio de Induccin
(TEOREMA), se tiene que, x n $ n
0
, n es de B; es decir, el elemento a
n
de A esta
definido x n $ n
0.

Ejemplos.
a) Definir el factorial del numero natural n, que se denota por n!, x natural n.
Solucin.
i) Para n = 0, se define 0!=1
ii) Suponiendo definido k! para el natural k $ 0, se define el factorial (k+1)!, del siguiente
numero natural. Entonces aplicando el COROLARIO 2, queda definido el factorial de n!
x natural n $ 0. Veamos:

0! = 1
1! = (0+1)! = 0!(1) = 1 x 1
2! = (1+1)! = 1!(1+1) = 1 x 2
3! = (2+1)! = 2!(2+1) = 1 x 2 x 3
4! = (3+1)! = 3!(3+1) = 1 x 2 x 3 x 4
y en general tenemos:
n! = 1 x 2 x 3 x 4 x x (n-1)n

b) Cualesquiera sean los nmeros naturales n,m y x a de R multiplicativo (a0), se
cumple que a
m+n
= a
m
a
n
Inducimos sobre n (puede ser sobre m) y se considera m fijo. Sea A el conjunto de
todos los nmeros naturales n, tales que a
m+n
= a
m
a
n
sea verdadera:
i) 0 0 A, pues a
m+0
= a
m
= a
m
(1) = a
m
(a
0
)
ii) Supongamos que, para el natural n = h, sea verdadero a
m+h
= a
m
a
h
, entonces:
a
m+(h+1)
= a
(m+h)+1
= a
m+h
a = (a
m
a
h
)a = a
m
(a
h
a) = a
m
a
h+1

6 (h+1) 0 A. Por tanto, aplicando el principio de Induccin A = (todo natural n $ a
0
esta en A)
6 Se cumple que a
m+n
= a
m
a
n
xn $ 0.

c) Si a0b son nmeros reales, verificar que:
(ab)
n
= a
n
b
n
, x natural n $ 0.
P(0) es V, pues (ab)
0
= 1 = a
0
b
0
= 1(1) = 1
Supongamos que para el natural n=h (h $ 0), P(h) es V, es decir (ab)
h
= a
h
b
h
. Entonces:
(ab)
h+1
=(ab)
h
(ab) = (a
h
b
h
)(ab) = (a
h
a)(b
h
b) = a
h+1
b
h+1
6 (ab)
h+1
= a
h+1
b
h+1

Lo que significa que , P(h+1) es V. Consiguientemente generalizamos:
(ab)
n
=a
n
b, n $ 0.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
EJERCICIOS PROPUESTOS.
Ac les presentamos una serie de ejercicios tomados de exmenes y afines, los cuales
no se encuentran en orden, despus de haber estudiado todo el libro, no habr ninguna
dificultad en resolverlos.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
1) Comprobar el siguiente TEOREMA:
Todo Subespacio W de un K espacio vectorial V, es un K espacio vectorial para las
operaciones de V.

2)
a) Probar que: n
n
> n! (A partir de que valor de n?)
b) Hallar:
=
n
i
i
1
3
) 2 (
c) Hallar:
n
i
i
i
1
3 ) 1 2 ( y verificar por induccin:

3) Determine todas las permutaciones posibles en S = {1,2,3,4,5}, dndole la
simbologa correspondiente a cada uno, indicando su signo. (Son 5! = 120
permutaciones posibles)

4) El Conjunto E=(Z
23
,r,u), Presenta estructura de Campo?, explicar claramente que
propiedades cumple y cuales no.

5) Sea el Conjunto J={,,,} y la operacin , tal que:

Es el conjunto J, con la operacin , un Grupo?.

6) Si A es un subgrupo normal, AB ser tambin un subgrupo normal?

7) Probar el TEOREMA 2 de la pagina 72, y el TEOREMA 4 de la pagina 73.

8) Hallar dos subespacios distintos en el R espacio vectorial V=R
3
, que contengan al
vector (1,-1,0)

9) Describir un subespacio de V= R
3
que no contenga al vector (1,2,1).

10) Hallar todos los subespacios del K espacio vectorial V=K
2
, siendo K=(Z
2
,r,u).

11) Sea V=R con Q espacio vectorial (con las operaciones usuales) es cierto que
3 es combinacin lineal 1 y 2 en V?, vale lo mismo si se considera a V como R
espacio vectorial?

12) Sea un conjunto E y un campo K, y el K espacio vectorial V={f/ f:E 6 K}
descrito si f 0 V, se define:
El soporte de f es un subconjunto de E, simbolizado por sop(f) y dado por {x 0 E/ f(x)
0}
sop(f) = {x 0 E/ f(x) 0}, probar que:
i) sop(f+g) d sop(f) c sop(g).
ii) sop(%f)=sop(f), si % 0 i % 0 K.
iii) sop(O)= .
13) Si D es un anillo Booleano, demostrar que D, es un anillo conmutativo.

14) Sea E={f: A 6 B/ f es una funcin}, siendo B el anillo Z
3
, y A={a,b} un conjunto en
E, se define las operaciones:
Adicin: (f+g)(x) = f(x) + g(x), para todo x de A;
Multiplicacin: (fg)(x) = f(x)g(x), para todo x de A.
Mostrar detalladamente, que E, con estas operaciones es un anillo. Describir los
elementos de E.

15) Aplicando la induccin, demostrar que 2
n
> n
3
, para todo n $ 10.

16) En B={(a,b)/ a,b son de Z, con b 0} se define la relacin R: (a,b)R(c,d) ]ad =
bc es R una relacin de equivalencia?, si lo fuera dar 3 elementos de B que sean
equivalentes y 3 que no lo sean.

17) Es el subconjunto H={(a,b,c)/ a+b+c=1} del R espacio vectorial V=R
3
, un
subespacio?.

18) Demostrar que un anillo A, no tiene divisores de cero ]A-{0}, es un subsemigrupo
del semigrupo multiplicativo A.

19) Es A=Z
9
, un campo? Explicar minuciosamente, las propiedades que se cumplan y
si hubieran las propiedades que no se cumplan.

20) Dado un subgrupo E de un grupo W, se define en W, una relacin R: Para a,b de
W, aRb ](-a)b en E es R una relacin de equivalencia?. Si lo fuera, demostrar que
aE = [a], x a de W. Explicar detalladamente.

21) Dado un homomorfismo de grupos g: A 6 B; demostrar que el ncleo y la imagen
de g, son subgrupos de A y B, respectivamente.

22) En el conjunto G, de los reales diferentes de cero, se define la operacin: aLb =
a+b-ab, en base a las operaciones usuales; demostrar que G es un grupo.

23) Se da el conjunto D={0,1,2,3,4,5} dotado de la operacin que se define mediante la
tabla, es D un grupo?, si lo fuera elegir un subgrupo normal B de D (diferente de lo
triviales), justificando debidamente, y presentar las clases laterales izquierdas, que se
han determinado con este subgrupo B.
L 5 4 0 2 1 3
5 4 3 1 0 2 5
3 5 4 0 2 1 3
1 0 3 5 4 3 1
2 1 0 4 3 5 2
0 2 1 3 5 4 0
4 3 5 2 1 0 4
24) Si G es un grupo cclico de orden 15, generado por un elemento a de G. Mostrar
que, a
3
, genera un subgrupo A de G, con o(A)=5, que a
5
genera un subgrupo B de G,
con o(B)03, y que G se puede descomponer en el producto directo de los subgrupos A
y B.

25) Dado el grupo G=S
3
, hallar un subgrupo de P(G), que sea isomorfo con G.

26) Dados los grupos A y B, en G=AxB, se define la operacin +: (a,b)+(c,d)=(ac,bd),
con ac en A, y bd en B; verificar que G, con esta operacin, es un grupo.

27) En G=R{1}, se define la operacin , ab=a+b-ab, x a,b de G Demostrar que G,
es un grupo.

28) Sea G=(R
+
,@) con la multiplicacin usual, y D= (R,+) con la adicin usual. Se define
la funcin: f: G 6D, tal que, F(a)=log
10
a, x a de G. Es un isomorfismo?, explicar.

29) Dado los grupos G=(Z
4
,r) y el grupo de Klein, son estos grupos isomorfos?

30) Dado un grupo G, y un elemento fijo b de G, se determina el conjunto E={z 0
G/bz=zb} Es E un subgrupo de G?

31) Del grupo G=S
3
, G={a, b, c, d, e, f} a=(12)(12), b=(23), c=(13), d=(12), e=(123),
f=(132), se considera el subgrupo E={a,e,f}. En G se define la relacin: x/z(modE) ]
x
-1
z 0 E, Es de equivalencia esta relacin?. Explicar. Si lo fuera dar todas las clases
de equivalencia.

32) En G=R(reales) se define la operacin :ab= a+b-1. Es G con la operacin ,
un grupo?, Explicar. Si lo fuera, Hallar los inversos de 0,1/2,3/4, 2 ,pi, dndolos en una
tabla y verificando esta condicin.

33) Sea V={(x
1
,x
2
)/ x
1
i x
2
0 R}, grupo, con la operacin + de la siguiente forma:
+: V x V 6 V
(A,B) 6 A+B
+ A + B =(a
1
+b
1
,a
2
+b
2
).
es H={(x,y) 0 V/x=2y}, un subgrupo de V?

34) Sea G un grupo y {H
%
} una familia de subgrupos de G. Demostrar que la
interseccin de los grupos de G es un subgrupo.

35) Hallar todas las clases de equivalencia en S
3
.
36) Sea G=S
3
, y H={%,%
2
}. Hallar todas las clases laterales izquierdas uH, y derechas
Hu existentes entre H y G.

37) Demostrar el siguiente enunciado:
Si un grupo cclico G tiene orden m y esta generado por a.
6a
m
=e.

38) Demostrar que: Si A es un anillo con unidad, entonces (-1)a=-a, x a 0 A.

39) Sea K=(Z,+,C) el conjunto de los enteros con la adicin y multiplicacin usual, y sea
S=KxKxK (el producto cartesiano de 3 copias de K) con una operacin en S, definida de
la siguiente manera:
(a,b,c)(a,b,c)=(aa,bb,ac+cb).
Desarrollar.
i) Es (S,) un monoide?.
ii) es conmutativo?
iii) hacer (i) y (ii) con K=(Q,+,C).

40) Probar que si g: S 6 A, es un homomorfismo de grupos con A conmutativo, existe
un nico homomorfismo h de G en A, tal que g=h@f. (o sea, g se factoriza a travs de f).

41) Sea (A,>) un semigrupo, Probar que A es un grupo si, y solo si, para todo a en A,
existe un nico a, tal que: a>a=a>a=a.

42) Calcular el orden de 18 en Z
54
, y el orden de 15 en Z
50
.
43) Sea (A,+,C) un anillo, definido mediante las siguientes tablas:
+ m n p q
m m n p q
n n m q P
p p q m n
q q p n m
Probar que el conjunto, S={m,p} es un IDEAL.

44) Determinar si los siguientes conjuntos G, forman un grupo con la operacin
indicada, si no son grupos indicar que propiedades no cumplen:
i) G=conjunto de los enteros, a>b=b>a.
ii) G=conjunto de los enteros, a>b=a+b+ab.
iii) G= conjunto de los enteros no negativos, a>b= a+b.
iv) Conjunto de los numeros racionales -1, a>b=a+b+ab.
C m n p q
m m m m m
n m n m n
p m p m p
q m q m q
v) G un conjunto que consta de mas de un elemento, a>b=a x a,b 0 G.

45) Probar que en cualquier grupo (G,) se cumple que:
x a,b,c 0 G, Si ab=ac, 6 b=c.

46) Demostrar que cualquier grupo de orden 5, es conmutativo.

47) Demostrar que Z
n
es un campo, si y solamente si n es primo.

48) Si R es un anillo conmutativo, y a 0 R, sea L(a)={a 0 R/ xa=0}, Probar que el
conjunto L(a) es un ideal de R.

49) Si I,J son ideales de R, demostrar que I 1 J es un ideal de R.

50) Descrbanse verbalmente los siguientes conjuntos:
A={2,4,6,8,}
B={2,4,8,16,32,}
C={1,4,9,16,25,36,}
D={Mercurio, Venus, Tierra,, Plutn}

51) Hallar todos los subconjuntos de S={<,=,>,?}
52) Probar y mostrar grficamente que:
(A-B)c(B-A)=(AcB)-(A1B).

53) Probar que un conjunto que consta de n elementos tiene 2
n
subconjuntos.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
UN EXAMEN RESUELTO.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
Este es Un Examen Tomado el da (22-11-2005). El examen deca as:

EN CADA TEMA EXPLICAR DETALLADAMENTE:
1) Si A es un anillo, demostrar que: a(-b) =-(ab), para a,b en A.
2) Si f: A 6 B, es un homomorfismo de anillos, demostrar que el Nuc(f)
es un ideal de A
3) Dado el Campo R, se determina el R espacio vectorial V=R
3
, con las
operaciones de Adicin y Multiplicacin por escalares:
A+B = (a
1
+b
1
, a
2
+b
2
, a
3
+b
3
), %A=(%a
1
,%a
2
, %a
3
), A,B 0 V, % 0 R. Hallar el
generado por los vectores: A=(1,0,0), B=(0,2,0), C=(0,0,3).
4) Si p>0, es un real, y n>1 un natural; demostrar que (1+p)
n
>1+np, x n>1.

DESARROLLO.
1) Operando a a(-b) con ab, tenemos:
a(-b) + ab = a(-b+b)
= a(0)
= 0
Como 0 es identidad respecto a +, 6 ab es elemento inverso de a(-b) porque a(-b) +
ab=0. 6 (ab)
-1
= a(-b)
6 -(ab)

= a(-b).

2) Como f es un homomorfismo, entonces:
i) f(a+b)=f(a)+f(b).
ii) f(ab)=f(a)f(b), xa,b 0 A.
y el nucleo viene dado por: Nuc(f)={a 0 A/ f(a)=0}.
Primero verificaremos que el Ncleo es un subanillo:
i) Nuc(f) ?
Si ya que f(a)=0, a 0 Nuc(f).
ii) Para a,b 0 Nuc(f)
a+(-b) 0 Nuc(f)?
f(a)=0=f(b)
f(a+(-b))=f(a)+f(-b)=f(a)+(-f(b))
=0+0=0
6 a+(-b) 0 Nuc(f).
iii) ab 0 Nuc(f)?
f(ab)=f(a)f(b)=00=0
6 ab 0 Nuc(f).
6N es un subanillo de A.
Ahora, consideremos un a 0 Nuc(f), y un x 0 A.
Si: xa 0 Nuc(f) 6f(xa)=f(x)f(a)=f(x)0
B
=0
B
.
6 xa 0 Nuc(f).
Hasta ac tenemos un ideal izquierdo.
Si ax 0 Nuc(f) 6f(ax)=f(a)f(x)= 0
B
f(x) =0
B
.
6 ax 0 Nuc(f).
Hasta aca tenemos un ideal derecho.
6Como tenemos un ideal bilatero, concluimos diciendo que el Nuc(f) es un IDEAL de
A.

3) Como trabajamos en el R espacio vectorial V=R
3
, y nos dan el subconjunto
H={A=(1,0,0),B=(0,2,0),C=(0,0,3)}; entonces el subespacio gen(H) es: {v 0 V/
v={a
1
(1,0,0)+a
2
(0,2,0)+a
3
(0,0,3)}
Si v=(v
1
,v
2
,v
3
) 6 v
1
=a
1
v
2
=2a
2
v
3
=3a
3
6 v
1,
v
2
, v
3
0 R.
6gen(H)={(v
1
,v
2
,v
3
) / v
1
,v
2 i
v
3
0 R}

4) Considerando la proposicin: P(n): (1+p)
n
>1+np x n>1 natural, p>0 real.
Verificamos:
Para n=2 y p=1, (1+1)
2
>1+2(1) 6 4>3 6 P(2) es verdad para p=1.
Notamos que para 0<p<1, tambin cumple que:
(1+p)
2
>1+2p es verdadero.

Supongamos que para n=h, p(h) es V, con h>1, es decir:
(1+p)
h
>1+hp, para algn p real mayor que 0, luego:
(1+p)
h+1
>1+(h+1)p?
(1+p)
h
(1+p)>1+hp+p?
Como (1+p)
h
>1+hp, en (1+p)
h
(1+p)>1+hp+p, si multiplicamos a (1+p)
h
por (1+p) seguir
siendo mayor que 1+hp+p. por ejemplo sea p=2, (1+2)
h
(1+2)>1+2h+2, 3
h+1
>3+2h.
Entonces, p(h+1) es V.
Aplicamos el COROLARIO 1, y generalizando decimos que P(n) es V, x n>1 natural, es
decir (1+p)
n
>1+np x n>1 natural, p>0 real es verdad.

Sed de Sed. (leusemia).

Lejos del aire
Lejos de tu lugar
Atrs del biombo
atrs del matorral En una calleja azul
en tu mirada
En esa distancia ke no akortars
ke no supe ni pude akortar

Dentro del tiempo
dentro del viene y va
En una sombra tierra
en soledad
Y tu recuerdo es todo lo ke keda
Es una corriente, un nudo al hablar
es tu ausencia ke nunca se va
La Sed de Sed y negar

Una moneda, un cambio, un golpe de mar
La barra soluble, bebible, etlica
En cinaga
Ser que ese llanto se hizo rengln de alguna cancin?O fue acaso ficcin?
SKe escalarn tus sueos
Ke an hay espacio ah dentro
Ke an hay tiempo y velos
Mas Voces, menos roces y Dios

SKe todo pudo ser cierto
Ke aun puede ser posible, claro, ven
Ke aun la rabia ensea
Aun firmes la eterna murga y t
Hay un viento ke ve
Hay un viento ke kiere ver. La barricada ke levantamos se esfum
esa trinchera muda ke se hizo institucin y ke a servido solo para no ver
SKe ocultarn sus vientos
Karroa, una falaz lengua de rodillas reza
S... ke no habrs dado un cielo
Aun puede dar tu angustia y tus dires
Aun hay mudos llantos clavados entre la murga y t
Negar la Sed de Sed

. .. .. .T To od do o C Ca am mp po o e es s u un n C Cu ue er rp po o, , T To od do o C Cu ue er rp po o e es s u un n A An ni il ll lo o, ,
T To od do o A An ni il ll lo o e es s u un n G Gr ru up po o( (r re es sp pe ec ct to o a a l la a a ad di ic ci i n n) ), , T To od do o
G Gr ru up po o e es s u un n M Mo on no oi id de e, , T To od do o M Mo on no oi id de e e es s u un n S Se em mi ig gr ru up po o, ,
T To od do o S Se em mi ig gr ru up po o e es s u un n G Gr ru up po oi id de e. .. .. .
NOTAS.
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
______________________________________________________________________
__________________________________________________________.
INDICE
PARTE I PAGINA
A. CONJUNTOS. 3
Idea de conjunto. 3
Operaciones entre conjuntos. 3
Algunas propiedades entre conjuntos. 4
Representaciones graficas. 4

B. RELACION R. 5
Relacin R. 5
Relacin de equivalencia. 5
Movimientos de simetra del triangulo equiltero. 6
Un Punto de vista desde matrices. 7
Congruencia de enteros modulo m. 9
Clases de Equivalencia. 10
Adicin y multiplicacin modulo m. 10

C. PERMUTACIONES. 12
Introduccin. 12
Permutacin. 12
Orden del conjunto Sn. 12
Producto de permutaciones. 13
Descomposicin en ciclos. 14
Permutacin inversa. 15
Ejercicios resueltos. 16

PARTE II
Introduccin. 19
D. SEMIGRUPO. 20
Definicin. 20
Subsemigrupos. 20
Generados. 20
Homomorfismo entre semigrupos. 20
Definiciones. 21
Monomorfismo, Epimorfismo, Isomorfismo, Endomorfismo,
Automorfismo.

22
Ejercicios Resueltos. 23

E. MONOIDE. 24
Definicin. 24
Submonoide. 24

F. GRUPO. 25
Definicin. 25
Propiedades de los grupos. 25
Definicin de exponentes. 26
Subgrupos. 26
Subgrupos triviales. 27
Grupo de Klein. 27
Relacin de congruencia modulo H 29
Particin. 30
Clases de equivalencia. 31
Clases laterales izquierdas de H en G. 31
Conjunto cociente de G por H. 32
Homomorfismos de grupos. 33
Ncleo. 33
Imagen. 33
Orden de un elemento de un grupo. 35
Traslaciones. 36
Subgrupos normales. 38
Grupos cclicos. 41
Orden de un grupo. 42
Productos directos. 42

G. ANILLO. 51
Definicin. 51
Definiciones de divisores de cero, cero del anillo, anillo conmutativo
y unidad de un anillo.
51
Anillo Booleano. 53
Subanillos. 53
Homomorfismo de Anillos. 55
Imagen. 55
Ncleo. 55
Ideales. 56
Anillo Cociente. 57
Dominio de Integridad. 58

H. CUERPO. 61
Definicin. 61

I. CAMPO. 65
Definicin. 65
Extensin a campo. 66

J. INTRODUCCION A ESPACIOS VECTORIALES. 68
Definicin. 68
Subespacio. 70
Combinacin lineal. 71
Subespacios generados. 72
Suma de subespacios. 73
Bases. 73
Ejercicios resueltos. 74

K. INDUCCION MATEMATICA. 75
Postulado de Induccin. 75
Corolario 1 76
Corolario 2 77
HECHO EN PERU
TODOS LOS DERECHOS
RESERVADOS POR EL AUTOR.

Topicos en Algebra - Un Enfoque Mauristico

Cargado por

Copyright:

Formatos disponibles

Topicos en Algebra - Un Enfoque Mauristico

Cargado por

Información del documento

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

Topicos en Algebra - Un Enfoque Mauristico

Cargado por

Copyright:

Formatos disponibles

PAGINA 1

También podría gustarte