Estructuras Algebraicas

Talleres 1-2
Hermann Bravo Tobar
3 de agosto de 2013
1. Considere un cuerpo F
p
nito, con [F
p
[ = 5
F
5
= 0, 1, 2, 3, 4
a) Determine la cardinalidad de GL
2
(F
5
).
Sea A GL
2
(F
5
) tal que
A =

a c
b d

con a, b, c, d F
5
.
Sabemos que a puede tomar cualquier valor en F
5
, y lo mismo b. Luego, hay 5
2
= 25 combinaciones
distintas para la primera columna. Sin embargo, esta no puede ser nula, ya que de serlo det(A) = 0
y A / GL
2
(F
5
). Por lo tanto, existen (5
2
1) = 24 formas de escribir la primera columna.
Asimismo, c y d pueden tomar cualquiera de los valores en F
5
, por lo que tambien habra 5
2
= 25
combinaciones diferentes para la segunda columna. No obstante, esta columna no puede ser un
m ultiplo de la primera, ya que de esa forma det(A) = 0 y A / GL
2
(F
5
). Como trabajamos sobre
F
5
, la primera columna tiene 5 m ultiplos posibles; luego, existen (5
2
5) = 20 formas distintas
de obtener la segunda columna.
En consecuencia, hay exactamente (5
2
1)(5
2
5) = 24 20 = 480 matrices distintas en GL
2
(F
5
).
[GL
2
(F
5
)[ = 480
b) Demuestre que SL
2
(F
5
)GL
2
(F
5
).
Denimos el homomorsmo : GL
2
(F
5
) F

5
de forma tal que A det(A) y obtendremos
ker().
ker() = A GL
2
(F
5
) / det(A) = 1
= A GL
2
(F
5
) / A SL
2
(F
5
)
= SL
2
(F
5
)
Como SL
2
(F
5
) es ker(), entonces es un subgrupo normal.
SL
2
(F
5
)GL
2
(F
5
)
c) Utilizando el Primer Teorema del Isomorsmo, determine [SL
2
(F
5
)[. Considere el homomorsmo
determinante.
Utilizando el homomorsmo denido en b) y el primer Teorema del Isomorsmo, se tiene:
GL
2
(F
5
)/ker() Im()
1
Como ya vimos, ker() = SL
2
(F
5
). Ahora identicaremos Im(). Sea X GL
2
(F
5
)
X =

1 0
0 x

con x F
5
, x ,= 0. Es claro entonces que existe al menos una matriz X en GL
2
(F
5
) tal que
det(X) = x, de forma que Im() = F

5
. Se sigue que
GL
2
(F
5
)/SL
2
(F
5
) F

5
Como existe un isomorsmo, ambos cardinales son iguales, es decir
[GL
2
(F
5
)[ / [SL
2
(F
5
)[ = [F

5
[
480/ [SL
2
(F
5
)[ = 4
[SL
2
(F
5
)[ = 120
2. Sea V un espacio vectorial de dimension n y U < V de dimension m, con m n. Se dene la relacion
de equivalencia sobre V como:
v v

v v

U
a) Pruebe que es una relacion de equivalencia.
Si es una relacion de equivalencia, debe cumplir:
i) Reexividad: Como U es un subespacio vectorial, 0 U, entonces v V se tiene que
0 = v v U
v v
ii) Simetra: Sean v, v

V relacionados seg un ; entonces v v

U, pero como U es un
subespacio vectorial, (1)(v v

) U, de donde
(1)(v v

) = v + v

= v

v U
v

v
iii) Transitividad: Sean v, v

, v

V tales que v v

y v

; se sigue que v v

U y que
v

U. Al ser U un subespacio vectorial, la suma de ambos tambien esta en U y

(v v

) + (v

) = v v

U
v v

De esta forma, es en efecto una relacion de equivalencia.

b) Determine V/U (conjunto cuociente de todas las clases de equivalencia modulo U)
Se caracterizaran primero las clases de equivalencia. Sea la clase u V de modo que
u = v V / v u
= v V / v u = k U
= v V / v = u + k, k U
= u + k V / k U
= u + U
As, V/U queda denido por
V/U = u / u V
2
c) Demuestre que V/U es un subespacio vectorial.
i) Suma: Sean x, x

, y, y

V tales que x x

e y y

. De la denicion de se tiene que

x x

U e y y

U. Como U es un subespacio, la suma de ambos elementos esta en U,

luego
(x x

) + (y y

) U (x + y) (x

+ y

) U (x + y) (x

+ y

)
Como x, x

estan relacionados, pertenecen a x; asimismo y, y

y. Por lo tanto, podemos

concluir que
x + y = (x + y)
ii) Producto Escalar: Sean w, w

V relacionados, es decir, pertenecen a w, y R. Se tiene

entonces que w w

U; como U es un subespacio vectorial, tambien (w w

) U. Por lo
tanto (w w

) U y w = w.
De la propiedad reexiva de se inere la existencia del neutro en V/U, y la existencia de inversos
se concluye de la propiedad simetrica.
V/U es un subespacio vectorial.
d) Demuestre que dim(V/U) = dimV dimU
Sea B una base de U tal que B = e
1
, . . . , e
m
. Ampliaremos la base de manera que genere a V
como sigue
/ = e
1
, . . . , e
m
, e
m+1
, . . . , e
n

De aca, es claro que e

m+1
, . . . , e
n
/ U.
Cada x / U puede representarse como x = a
1
e
1
+ a
2
e
2
+ . . . + a
n
e
n
.
Como x V/U se cumple que
x = a
1
e
1
+ a
2
e
2
+ . . . + a
n
e
n
Sin embargo, como e
1
, e
2
, . . . , e
m
U, se tiene que e
1
, e
2
, . . . , e
m
= 0. Luego
x = a
m+1
e
m+1
+ a
m+2
e
m+2
+ . . . + a
n
e
n
De esta forma, la base ( = e
m+1
, e
m+2
, . . . , e
n
es generadora de V/U.
Ademas, sabemos que si
0 = a
m+1
e
m+1
+ a
m+2
e
m+2
+ . . . + a
n
e
n
entonces a
m+1
e
m+1
+a
m+2
e
m+2
+. . . +a
n
e
n
U y podra generarse como combinacion lineal de
los elementos de la base B; pero esto ultimo solo es posible si a
m+1
= a
m+2
= . . . = a
n
= 0.
En consecuencia, ( = e
m+1
, e
m+2
, . . . , e
n
es un sistema linealmente indepediente, base de V/U,
de dimension n m.
HBT/L
A
T
E
X
3