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