Espacios vectoriales, endomorfismos y formas canónicas racional y de Jordan para
una matriz.
1. Página 202. Capı́tulo 3. Módulos sobre un DIP. Basic Algebra I, Ja-
cobson. Verificar que el polinomio caracterı́stico de la matriz
1 0 0 0
0 1 0 0
A= −2 −2 0
1
−2 0 −1 −2
es un producto de factores lineales de Q[λ]. Determinar las formas canónicas
racional y de Jordan para A en M4 (Q). También encontrar matrices las cuales
demuestren que A es semejante a estas formas canónicas.
Solución. Primero hallamos la forma normal de la matriz λI − A considerando
el espacio vectorial V = Q4 como Q[λ] − modulo. Esta forma normal es
1 0 0 0
0 1 0 0
P · (λI − A) · Q = D =
0 0 λ − 1
(1)
0
0 0 0 (λ − 1)(λ + 1)2
Y las matrices P, Q son
0 0 1 0
2 2 −λ − 2 −1
P =
1
(2)
1 0 0
2λ + 6 2λ + 4 −λ2 − λ + 2 λ − 1
2
− 12 −3 − λ2 − λ − 1
0 2
1 λ2 1
0 4 +λ+
2 2 2
Q=
(3)
0 0 0 1
−1 0 2 λ
Los factores invariantes de λI − A son
d1 (λ) = λ − 1, d2 (λ) = λ3 + λ2 − λ − 1 = (λ − 1)(λ + 1)2
Y los divisores elementales
p1 = p2 = λ − 1, ( doble ) p3 (λ) = (λ + 1)2
1
Nos hace falta encontrar la matriz inversa de la matriz cuadrada Q.
2 2 λ −1
−8 −6 −(λ + 1)2 0
Q−1 = 1
(4)
1 0 0
0 0 1 0
Calculamos una nueva base ordenada (v1 , v2 , v3 , v4 ) para V con las relaciones:
v1 = 2u1 + 2u2 + λu3 − u4 = 0
v2 = −8u1 − 6u2 − (λ + 1)2 u3 = 0
v3 = u1 + u2
v4 = u3
Siendo (u1 , u2 , u3 , u4 ) la base canónica usual en Q4 .
Entonces los Q[λ]-módulos cı́clicos asociados a la matriz A son
V = Q[λ]z1 ⊕ Q[λ]z2
Donde z1 = v3 , z2 = v4 . Una base para Q[λ]z1 es {z1 } y una base ordenada para
Q[λ]z2 es {z2 , λz2 , λ2 z2 }. La matriz que nos proporciona la semejanza de A con la
forma canónica racional es
1 1 0 0
0 0 1 0
S= −2 −2 0
(5)
1
−4 −2 −1 −2
La forma canónica racional es
1
0 1 0
S · A · S −1 = B =
(6)
0 0 1
1 1 −1
El polinomio caracterı́stico de A es f (λ) = (λ − 1)2 (λ + 1)2 = λ4 − 2λ2 + 1 y el
polinomio mı́nimo es m(λ) = λ3 +λ2 −λ−1 = (λ−1)(λ+1)2 . La forma canónica
de Jordan es
1 0
0 1
J = (7)
−1 1
0 −1
2
Y una matriz que proporciona la semejanza de A con la forma canónica Jordan es
la matriz
1 0 0 0
0 1 0 0
R= 0 1 0 −2
(8)
4 2 2 2
Comprobar que R · A · R−1 = J
2. Sea Zn el Z-módulo libre con base canónica (e1 , e2 , . . . , en ). K el submódulo ge-
nerado por los elementos
n
X
fi = aij ej , aij ∈ Z
j=1
y d = det(aij ) 6= 0. Probar que |Zn /K| = |d|.
Solución. Sea A = (aij ) la matriz de relaciones del sistema de generadores dado.
Y sea
D = diag{1, 1, . . . , 1, d1 , . . . , ds }
La forma normal de la matriz A. Los factores invariantes son los enteros di . La
matriz A es equivalente a la matriz D, esto es existen P, Q ∈ M4 (Z) invertibles o
regulares, tales que P ·A·Q = D. Pero, si P es una matriz cuadrada con coeficientes
enteros y es invertible entonces det(P ) = ±1 (¿por qué?). Por lo que
| det(D)| = | det(P · A · Q)| = | det P · det A · det Q| =
| det P | · | det A| · | det Q| = | det A| = |d|
Como det(D) = d1 · d2 · · · ds = ±d 6= 0 entonces todos los di 6= 0 y Zn /K es
un Z-módulo de torsión, por tanto finito. Tenemos la descomposicón en módulos
cı́clicos
M = Zn /K = Zx1 ⊕ Zx2 ⊕ · · · ⊕ Zxs
El anulador de cada xi es el ideal di Z (podemos suponer di positivo) , entonces
Zxi ∼
= Z/(di ) y el cardinal de M es d1 · d2 · · · ds = det(D) = |d|,
√ √
3. Sea a + b −1 un elemento no-nulo del anillo de los enteros de Gauss Z −1 .
Demostrar que √
Z −1 / a + b −1 = a2 + b2
√
(9)
3
√
Solución. Sea K el ideal generado por a+bi donde i = −1. Y sea M = Z[i]/K.
Entonces, los elementos de K se obtienen como
(c + di) · (a + bi) = (ac − bd) + (ad + bc)i (10)
Si considramos Z[i] como un Z-módulo libre entonces tenemos que éste se identifica
con Z2 . La base canónica en Z[i] serı́a e1 = (1, 0) = 1, e2 = (0, 1) = i. El producto
de la fórmula (10) se reescribe como
a b
(c, d) · = c(a, b) + d(−b, a)
−b a
Es decir, f1 = (a, b) = a + bi y f2 = (−b, a) = −b + ai son los generadores de K
como Z-submódulo. La matriz de relaciones asociada es
a b
A=
−b a
con det(A) = a2 + b2 6= 0, luego el cardinal de M es |M | = | det(A)| = a2 + b2 si
aplicamos el resultado del ejercicio anterior..
√
4. Sea D el anillo de enteros de Gauss Z[ −1 ]. Determinar la estructura de D3 /K
donde K es el submódulo generado por
f1 = (1, 3, 6)
f2 = (2 + 3ı, −3ı, 12 − 18ı) (11)
f3 = (2 − 3ı, 6 + 9ı, −18ı)
Demostrar que el modulo M = D3 /K es finito (de orden |M | = 352.512).
Solución. La matriz de relaciones asociada a los generadores del submódulo K
es
1 3 6
A = 2 + 3ı −3ı 12 − 18ı (12)
2 − 3ı 6 + 9ı −18ı
Es fácil hallar la f orma normal de la matriz A que es:
1 0 0
D = 0 6i 0 (13)
0 0 24 + 96i
Por tanto, la estructura del módulo M es M = Dz1 ⊕ Dz2 con
Dz1 ∼
= D/(6i), Dz2 ∼
= D/(24 + 96i)
De modo que M es finito (ver ejercicios anteriores, 2 y 3) es un módulo de torsión,
y su cardinal es
62 × (242 + 962 ) = 352.512