Documentos de Académico
Documentos de Profesional
Documentos de Cultura
C3a1lgebra Moderna I N Herstein
C3a1lgebra Moderna I N Herstein
de 72".
D~PIHICI~H.
Si f(x) = a o P + a l P - l + ... +al?-'+ ... + a m - , x + a . cs
un polinomio en q x ] , cntonccs la derivada dc f(x), rcpresentada por f'(x),
es el polinomio f'(x) = n a o P - l + ( n - l ) a l P - l + ... +(n-i)a#-I-'+
... + o ; - ,
dc F [ x ] .
case
16.
116
1 (x-a,)
...
I- I
J*I
ticnm un factor comun no trivial, tiencn una raiz comlin, a saber, cualquicr
raiz dc cste factor comhn. El resultado ncto es que f(x) y /'(x) no ticncn
ningun factor comun no trivial, con lo quc el lcrna ha sido probado en la
otra dirccci6n.
COROLARH)
I . S i f ( x ) ~ F [ x ]es irreducible, enronces :
1 ) Si la caracferlsfiea de Fes 0,f(x) no tiene ralces rntikiple~.
2) Si la caracferlsrica de F es p # 0,f(x) Iiene una ralz mrilfiple sdlo si
es & la f o r m f(x) = g(xp).
Pruuba. Como f(x) cs irreducible, sus unicos factores en fix] son 1 y
f(x). Si f(x) ticnc una ralz multiple, cntonccsf(x) y f'(x) ticnen un factor
228
CAMPOS
- Cap. 6
D E F I N I C I ~LaNextensidn
.
Kde Fesunaexlensidn simple de F si K
para al@n a en K.
F(%).
55,
227
TEOREMA
S.P. Si F es de caracreristico 0 y si o y b son olgebroicor sobre F.
enronces exisre un elemento csF(a, 6 ) rolque F(a, b) = F(c).
Pruebo. Sean f ( x ) y g(x), de grados m y n, 10s polinomios irreducibles
sobre F satisfechos por a y b respectivamente. Sea K una extension de F e n
que lanto f ( x ) como g ( x ) se descomponen completamente. Como la
caracteristica de F es 0 todas las raices de f ( x ) son distintas. y lo mismo
ocurre con las de g(x). Sean las rakes de f ( x ) , a = a,. a,, ..., a. y las de
g ( x ) . b = b , , b2. ..., 6,.
Si j # I . entonces bj # b , = b. de donde la ecuacidn a,+&, = a , +
i b , = o+i.b tiene solarnente una solucion 1en K , a saber,
/.. =-.0 1 - 0
b-b,
1U1
UMPOS
- Cap. 6
= 0, pmCbese
119
TEOREMA
5 . ~ .Si K es un mmpo y si a , , ..., omson disrintos ouromorfismos de K, enlonces es imposible enconrrar elemenros a , , ..., am,no rectos 0.
en K, ralesquea,a,(u)+a,a,(u)+ ... +ama.(u) = Opararodo UEK.
Prueba. Supongamos que pudikramos encontrar un conjunto de eiemen10s a , , .... a, en K, no todos ccro, tales que a,a,(u)+ ... +4o,(u)
0
I30
CAMPOS
- Cmp. 6
para todo UEK. Enlonces podriamos encontrar una relacion la1 que tuviera
tan pocos terminos como fuera posible; renumerando, si fuera preciso.
podemos suponer que esta relacibn minima es
donde a,, . ..,a, son todos diferentes de 0.
Si m fuera igual a I enlonces a, ol (u) = 0 para todo UEK, lo que nos
llevaria a a, = 0, en coptra de lo supuesto. Podemos, pues, suponer que
1)r > I. Como 10s automorfismos son distintos hay un elemento C E K tal
que o, (c) # o.(r). Como cue K para todo ueK, la relacion ( I ) debe tambikn
verificarse para cu, es decir, a,o, (cu)+a,o,(cu)+
... +a,o.(cu)
=0
para todo UEK. Usando la hipdtesis de que las o son automorfismos de K.
esta relacion toma l a forma
5 6.
231
DEFINICI~N.
Sea K un campo y sea F u n subcampo de K. Entoncn, el
grupo de aulomorfrsmos de K relalivos a F, que representaremos por G(K, F),
es el conjunto de todos 10s automorfismos de K que dejan fijos todos 10s
elementos de F; es decir, el automorfisrno a dc K cstii en G(K, F ) si y 8610
si a(a) = a para todo LIEF.
Noes sorprendente, y es muy fhcil de probar, el siguicnte
LEMA5.8 G(K, F ) es un svbgrupo del grupo de lodos 10s oulomorfismos
de K.
Dejamos la pmeba de este lema a1 lector. Una observaci6n : K contiene
el campo de 10s ninneros racionales F,, ya que K es de caracteristica 0 y es
facil ver que el campo fijo de cualquier grupo dc automofismos de K ,
siendo un campo, debe contcncr a F,. De aqui quc todo numcro racional
permanece fijo en todo automorhsmo de K.
Hacemos una pausa para examinar unoscuantos ejemplos de 10s conceptos
que acabamos de presentar.
EJEMPLO
I . Sea K el campo de 10s n h e r o s complejos y sea F el campo
de 10s numeros reales. Calculamos G(K, F). Si a es un automorfismo cualquiera de K, como i' = - 1 , a(i)' = a ( i 2 ) = a ( - 1) = - I , de dondc
a(i)+ k i . Si, ademh, a deja fijos a todos 10s reales, entonces para cualquier
a+bi donde a y b son reales. a(a+bi) = a(a)+a(b)j = a f bi. Cada una
de estas posibilidades, es decir, la aplicaci6n a , (a+ bi) = a+ bi y a , (a+ bi) =
a-bi define un automofimo de K ; a , es el automorfismo identidad y a , La
conjugation compleja. Asi pues, G(K, F)es un grupo de orden 2.
LCuhl es el campo fijo de G(K, F)? Debe, ciertamente, contener a F,
Lpero contiene algo miis? Si a + bi estii en el campo fijo de G ( K , F) entonces
a+bi = a,(a+ bi) = a - bi de donde b = 0 y a = a+ b i ~ F .En este caso
vemos que el campo fijo de G(K, F)es precisamente el mismo F.
E J E M P2.~ Sea F, el campo de 10s numeros racionales y sea K = F o ( g )
donde $2 es la ralz cubica real de 2. Todo elemento en K es de la forma
a,+a, $?+a,(p)'
donde a,, a, y a, son n6meros racionales. Si.0 es un
232
CAMPOS
Cap. 6
TEOREMA
5 . ~ .Si K es una e.rrensidn ,Jiniro de F. ento~~res
G( K. F) rs
grupofinirn .I su orden. o ( G ( K. F)), sati.$are o(G(K. Fl) <[K: F].
r~ri
233
, = a,+,
en K
para i = 1, 2, . .., n.
Como cada uno de 10s ai deja fijo a todo elemento de F y como un
elemento arbitrario t de K es de la forma I = z , u , + ... +gnu, con z , , ..., z,
en F , entonces, por el sistema de ecuaciones (I), tenemos a , a, ( t ) + ...
a,,, a,+ ( t ) = 0 para toda ~ E K Pero
.
esto cont,radice el resultado del
teorema 5.q. Luego el teorema 5.r ha sido probado.
,,
234
CAMPOS
- Cap. 5
x,,,,) para todo U E S , . Pero estos son precisamente aquellos elementos enF ( x , , ..., x,) que se conocen como funciones racionales sirnktricas. Como
son el campo fijo de S, forman un subcampo de F ( x l , ..., x,) llamado el
campo de las funciones racionales simbtricas al que representaremos por S .
Nos ocuparemos de estos tres problemas :
a, = x , x2
x,.
Probar que estas son funciones simttricas se deja como ejercicio. Para
n = 2 , 3 y 4 las escribimos explicitamente a continuacion.
n = 2
a , = x,+x,.
5 6.
235
Notese que cuando n = 2, x , y x , son las raices del polinomio I' - a , ?+a,,
cuando n = 3, x , , x2 y x , son las raices de t 3 - a , f 2 + a 2 f- a 3 , y cuando
n = 4 , x , , x , , x 3 y x4son, todas, raicesdet4-a,t3+a,t2-a3f+a4.
Como a , , ...,a, estln, todos, en S el campo F(a,, ..., a,) obtenido por
la adjuncion de a , , . .., a, a F debe encontrarse en S. Nuestro 'objetivo es
ahora doble, a saber, probar que
I ) [ F ( x ] ...,
, x,):S] = n!.
2) S = F(al , . .., a,).
TEOREMA
5.s. Sea F un campo y F(x, , .. ., x,) el carnpo de las funciones
racionales en x , , ..., x, sobre F. Supongarnos que S es el carnpo de las funciones racionales sirne'tricas; entonces
I ) [F(x,, ..., x,):S] = n!.
2) G( F(x, , ..., x,), S ) = S,, el grupo sirne'trico de grado n.
3) Si a , , .... a, son las funciones sirne'tricas elernentales en x , , ..., x,,
entonces S = F(a, , ..., a,).
236
CAMPOS
4) F(x,,
..., x,)
- Cap. 6
delpolinomiotn-a,t"-1+a,t"-2
D E F I N I C IK
~N
es. una extensibn normal de F si K es una extension finita
de F tal que F es el campo fijo de G(K, F).
Otro modo de decir lo mismo: si K es una extension normal de F, entonces todo elemento de K que no esta en F sufre alteracion por alg6n
elemento de G(K, F). En 10s ejemplos discutidos, 10s ejemplos 1 y 3 eran
extensiones normales, mientras que el ejemplo 2 no lo era.
Una consecuencia inmediata de la hipotesis de normalidad es que nos
permita calcular con gran precision el tamaiio del campo fijo de cualquier
subgrupo de G(K, F) y, en particular, dar mhs fuerza al enunciado del
teorema 5.r, cambiando la desigualdad que en t l aparece en una igualdad.
TEOREMA
5 . ~ .Sea K una extensibn normal de F y sea H un subgrupo de
G(K, F ); sea K,, = {XEK ( u(x) = x para toda U E H) el campo fijo de H.
Entonces :
I ) [K:KH] = o(H).
2) H = G(K, K,)
(En particular, cuando H = G(K, F), [K: F] = o(G(K, F)).l
i6.
ELEMENTOS DE I
A TEORIA DE GALOlS
237
Prueba. Como todos 10s elementos de H dejan fijos a todos 10s elementos
de K H ,es claro que H c G ( K , KH).De acuerdo con el teorema 5.r sabemos
que [K:KH]2 o(G(K, K H ) ) ; y como o( G(K, K H ) )2 o ( H ) tenemos las
desigualdades [K: KH]2 o (G(K, KH))2 o ( H ) . Si puditramos demostrar que
[K:K H ]= o ( H ) se seguiria de inmediato que o ( H ) = o(G(K, KH)),y como
un subgrupo de G(K, K H ) con el orden de G(K, K H ) tendriamos H =
G(K, KH). Luego solo nos queda, por demostrar que [K:KH] = o ( H ) para
haber demostrado todo.
Segun el teorema 5.p existe un ~ E tal
K que K = KH(a);esta a debe, por
tanto, satisfacer un polinomio irreducible sobre KH de grado m = [K:KH]
y ninglin polihomio no trivial de grado mas bajo (teorema 5.c). Sean 10s
elementos de H 10s u , , u,, ..., uh donde u , es la identidad de G(K, F) y
donde h = o(H). Consideremos las funciones simttricas elementales de
a = ul (a), 0, (a), ..., a h(a),a saber :
4
TEOREMA
5.u. K es una wtensidn normalde F si y sdlo si K es el campo de
descomposicidn de algrin polinomio sobre F.
Prueba. En una direccion la prueba nos recordara mucho la del
teorema 5.t.
238
CAMPOS
- Cap. 5
16.
Como
EF.
sic G ( K , F), tal que a i ( a l ) = ai ; como Qte o i deja 8 y toda Aj fijas, aplicindolo a ( I ) obtenemos
2)
Ao+Alai+12ai
+...+i,_,a;-'
para i = 1, 2 , ...,r.
240
CAMPOS
- Cbp. 5
todo H ) . Entonces la asociacibn de T con G(K, T ) establece una correspondencia biyectiva del conjunto de subcampos de K que contienen a F sobre el
conjunto de subgrupos de G(K. F) tal que :
1) T = KG,,,,).
2) H = G(K, K,).
3) [K:TI = O ( G ( K , T)), [ T : q = indice de G(K, T ) en G(K, F).
4 ) T es una extensibn aormal de F si y sblo si G(K, T ) es un subgrupo
normal de G(K, F).
5) Cuando T es una extensibn normal de F, entonces G ( T , F ) es isomorjb
a G ( K F)IG(K, T ) .
aeG(K.F)
5 6.
241
Como T estti generado por a sobre F tenemos que a(T) c T, para todo
a G(K, F).
Asl pues, Tes una extensi6n normal de Fsi y s610 si para todo a G(K, F),
rG(K, T ) y ~ E Ta, ( t ) ~ y,
T por tanto, r(a(t)) = a(t); es decir, si y s610 si
a - 'ra(t) = t. Pero esto dice que Tes normal sobre Fsi y s610 si a - G(K, T )
a c G(K, T ) para todo a G(K, F). Siendo esta hltima condici6n precisamente la que define G(K, T) como un subgrupo normal de G(K, F),vemos
que la parte (4) queda probada.
Finalmente, si T es normal sobre F, dado aG(K, F), como a(t) c T,
a induce un automodismo a, de T definido por a,(t) = a(t) para todo
~ E TComo
.
a, deja a todo elemento de F fijo, a, debe estar en G(T, F).
Ademtis, como es evidente, para cualquier a, $E G(K, F), (a$), = a, $, de
donde la aplicaci6n de G(K, F)en G(T, F)definida por a -+ a, es un homomodismo de G(K, F)en G(T, F). i Q d h el nhcleo de este homomodismo 1
Consiste en todos 10s elementos a en G(K, F) tal que a, es la aplicaci6n
identidad sobre T. Es decir, el nhcleo es el conjunto de todos 10s a, G(K, F)
tales que t = a,(t) = a(t); por la misma debici6n, tenemos que el nhcleo
es exactamente G(K, T), La imagen de G(K,F) en G(T, F), se@n el
teorema 2.d, es isomorfa a G(K, F)/G(K, T), cuyo orden es o(G(K, F))/
o(G(K, T)) = [T:I;l (por parte 3) = o(G(T, F)) (como establece el teorema 5.t.). Asi pues, la imagen de G(K, F) en G(T, F) es todo G(T, F) y,
por tanto, G(T, F)es isomorfo a G(K, F)/G(K, T). Esto termina la prueba de
la parte (5) y con eUo completamos la prueba del teorema 5.v.
'
Problemas
1. Si K es un campo y Sun conjunto de homomodismos de K, demuestre
que el campo fijo de S y el de S (el subgrupo del grupo de todos 10s automorfismos de K generados por S) son idbnticos.
242
CAMPOS
- Cap. 5
8. Exprksense 10s siguientes corno polinornios en las funciones simetricas elernentales en x, , x2 y x,.
a) x , ~ + x ~ ~ + x , ~ .
6) x , ~ + x ~ ~ + x , ~ .
c) (XI - X ~ ) ~ ( X
- XI , ) ~ ( X-x3Y.
~
9. Si or, , or,, a, son las raices del polinornio clibico x3+ 7x2- 8x+ 3,
encukntrese el polinomid clibico cuyas raices son :
2
a) or, , a 2 , a 3
243
CAMPOS - Cap. 5
y sea
(con raices cubicas propiamente escogidas); entonces las raices de p(x) son
P+Q-(a,/3), oP+ozQ-(al/3) y 0 2 p + o ~ - ( a l / 3 )donde o f 1 es una
raiz clbica de 1. Estas formulas solo nos sirven para ilustrar que, se&n la
adjuncion de una cierta raiz cuadrada y luego una raiz cubica a F(a, ,a,, a3)
llegamos a un campo en el que p(x) tiene sus raices.
Para polinomios de cuarto grado, que no daremos explicitamente, mediante el uso de operaciones racionales y raices cuadradas podemos reducir
el problema al de resolver cierta raiz cubics, de mod0 que tambibn aqui
puede darse una formula que exprese las raices en tdrminos de combinaciones de radicales de funciones racionales de 10s coeficientes.
Para polinomios de grado quinto o mhs alto, no puede darse tal formula
universal radical, pues demostraremos que es imposible expresar sus rakes,
en general, de este modo.
Dado un campo F y un polinomio p(x) EF[x] decimos que p(x) es soluble
por radicales sobre F si podemos encontrar una sucesi6n finita de campos
F, = F(w,), F, = F, (o,), ..., Fk= F,-, (w,) tal que olrl
EF, o l r 2 ~ F 1..,.,
F, - tal que las raices de p (x) se encuentren todas en F, .
Si K es el campo de descomposici6n de p(x) sobre F, entonces p(x) es
soluble por radicales sobre F si podemos encontrar una sucesion de campos
como anteriormente tales que K c F,.Una observation importante y que
usaremoS posteriormente en la prueba del teorema 5.x, es que si puede encontrarse un tal F,, podemos, sin pdrdida de generalidad, suponer que sea una
extension normal de F; dejamos la prueba de esta afirmacion como problema
(problema 1).
Por polinomio general de grado n sobre F, p (x) = x" +a, x" - ' + ... +a,
entendemos lo siguiente : Sea F(a, , ...,a,) el campo de funciones racionales
en las n variables a, , ...,a, sobre F, y considbrese el polinomio particular
p(x) = x"+a,x"-'+ ... +a, sobre el campo F(a,, ..., a,). Decimos que
es soluble por radicales si es soluble por radicales sobre F(a, , ..., a,). Esto
expresa realmente la idea intuitiva de "encontrar una formula" para las
raices de p(x) que implique combinaciones de raices mCsimas para varias
m, de funciones racionales en a , , a,, ...,a,. Para n = 2, 3 y 4 seiialamos
que esto puede hacerse siempre. Para n k 5; Abel prob6 que no puede
hacerse. Pero esto no excluye la posibilidad de que un polinomio dado
sobre F pueda resolverse por radicales. En realidad, daremos un criterio
17
246
para esto en tCrminod del grupo de Galois del polinomio. Pero primer0
debemos desarrollar unos pocos resultados de teoria pura de grupos.
Algunos de estos aparecieron como problemas al final del capitulo 2; pero,
sin embargo, 10s haremos aqui oficialmente.
DEHNICI~N.
Un grupo G se dice que es soluble si podemos encontrar
una cadena finita de subgrupos G = No 2 N, 2 N, =, ... 3 Nk = (e) donde
cada Ni sea un subgrupo normal de N,-, y tal que ca& grupo factor
N,- ,INi sea abeliano.
Todo grupo abeliano es soluble, pues simplemente se toma No = G y
N, = (e) para satisfacer la anterior definicion. El grupo simttrico de
grado 3, S,, es soluble. En efecto, si tomamos N, = {e, (1, 2, 3), (1, 3, 2)),
N, es un subgrupo normal de S, y S,/N, y N,/(e) son, ambos, abelianos por
ser de 6rdenes 2 y 3, respectivamente. Se puede demostrar que S, es soluble
(problema 3). Para n 2 5 demostraremos en el teorema 5.w que S, no es
soluble.
Busquemos una descripci6n alternativa para la solubili&d. Dado el
grupo G y 10s elementos a y b de G, entonces el commufador de a y b es
el elemento a - ' b- ab. El subgrupo conmufador, G', de Gesel subgrupo de G
generado por todos 10s conmutadores de G. (No es necesariamente cierto
que el conjunto de 10s conmutadores mismo forme un subgrupo de G.)
Vimos en un ejercicio anterior que G' es un subgrupo normal de G. AdemBs,
el grupo G/Gf es abeliano, pues &dos dos elementos cualesquiera en dl, aG',
bG', con a, ~ E Gentonces
,
(aGf)(bG') = abG' = ba(b- 'a- ' ab) G' =
(como a - ' b - ' a b ~ G ' ) = baG' = (bG1)(aG'). Por otra parte, si M es un
subgrupo normal de G tal que G/M es abeliano, entonces M 3 G', pues
&dos a, ~ E G entonces
,
(aM)(bM) = (bM)(aM) de donde deducimos
abM = baM, luego a - b- 'abM = M y, por tanto, a- b- ' a b M.
~ Como
M contiene todos 10s conmutadores, contiene a1 grupo que estos generan, es
decir, a G'.
G' es un grupo por derecho propio, asi que podemos hablar de su grupo
conmutador G(2)= (GI)'. Este es el subgrupo de G generado por todos 10s
elementos (a1)- '(6')- a'b' donde a', b ' G'.
~ Es ficil probar que no solo es
G(,) un subgrupo normal de G', sino tambikn un subgrupo normal de G
(problema 4). Continuando de esta forma definimos 10s subgrupos conmutadores mBs altos G("' por G("' = (G("- ")'. Todo G'"' es un subgrupo
normal de G (problema 4) y G("- ')/G("' es un grupo abeliano.
En ttrminos de estos subgrupos conmutadores mis altos de G, tenemos
un criterio sucinto de solubilidad, a saber,
'
'
'
246
CAMPOS
- Cap. 5
Prueba. Si G ( ~=
) (e) sea No = -G, N, = G', N, = G(", ...,Nk = G ' ~ )= (e).
Tenemos G = No 2 N, =IN, 2 ... =IN, = (e); con cada Ni por normal en
G, ciertamente, tambien normal en Ni-, . Finalmente,
COROLARIO.
Si G es un grupo soluble ,y si G es una imagen homomdrfica de
G, entonces G es soluble.
Prueba. Como G es una imagen homom6rfica de G, es inmediato que
(G)(" es la imagen de G(k),Como G(" = (e) para alguna k, (G)'" = (e) para
la misma k, de donde, de acuerdo con el lema, C es soluble.
El siguiente lema es clave en la prueba de la familia infinita de grupos S,,
con n 2 5, no es soluble; aqui S, es el grupo simktrico de grado n.
LEMA5.1 1. Sea G = S, donde n 2 5; entonces G(') para k = 1, 2, ...,
contiene todo ciclo de orden 3 de S, .
Prueba. Observemos primer0 que para un grupo arbitrario G, si N es un
subgrupo normal de G entonces N' debe tambiCn ser un subgrupo normal
de G (problema 5).
Afirmamos que si N es un subgrupo normal de G = S, donde n 2 5, que
contiene todo ciclo de orden 3 en S,, entonces N' debe tambien contener
todo ciclo de orden 3. Pues supongamos a = (I, 2, 3), b = (1,4, 5) de N
(estamos aqui usando que n 2 5); entonces a - ' b- ab = (3, 2, I) (5,4, 1)
(1, 2, 3) (1,4, 5) = (1,4, 2), como conmutador de elementos de N debe
estar en N'. Como N' es un subgrupo normal de G, para cualquier ~ E S , ,
n- ' (l,4, 2)n debe estar tambiCn en N'. Escojamos n en S, tal que n(1) = i , ,
n(4) = i, y n(2) = i,, donde i, ,i, e i, son cualesquiera tres enteros distintos
en el rango de I a n; entonces n- ' ( I , 4, 2)n = (i,, i,, i,) estA en N'. Luego
N' contiene todos 10s ciclos de orden 3.
Haciendo N = G, que es ciertamente normal en G y contiene todos 10s
ciclos de orden tres, tenemos que G' contiene todos 10s ciclos de orden 3;
'
17.
247
como G' es normal en G, G(2' contiene todos 10s ciclos de orden 3 ; como
0 2es) normal en G, G ' ~contiene
)
todos 10s ciclos de orden 3. Continuando
de esta forma llegamos a la conclusion de que G"' contiene todos 10s
ciclos de orden 3 para cualquier k .
Una consecuencia directa de este lema es el resultado interesante para
la teoria de grupos de que
TEOREMA
5.w. Sn no es soluble para n > 5.
'
CAMPOS
- Cap. 6
Ndtese que el lema dice que cuando F tiene todas las raices n-tsimas de la
unidad, entonces, adjuntando una rdz de 2 - a a F, donde ~ E Ftenemos
,
todo el campo de descomposici6n de 2 - a, luego Qte &be ser una extension
normal de F.
Suponemos para el resto de la seccidn que F es un campo que contiene
todas las raices n-Psimas de la unidadpara todo entero n. Tenemos
TEOREMA
5.x. Si p ( x ) ~ F [ x es
] soluble por radicales sobre F, entonces el
grupo de Galois sobre F de )(x) es un gmpo soluble.
Prueba. Sea K el campo de descomposici6n de p(x) sobre F; el grupo de
Galois de p(x) sobre F es G(K, F). Como p(x) es soluble por radicales
existe una sucesi6n de campos
F c F, = F ( o , ) c F, = F,(w2)c ... c F, = Fk-,(ak),
donde wlrlEF, w Z n ~ F 1..,., OPE
Fk- y donde K c F,. Como dijimos
podemos suponer, sin @rdida de generalidad, que F, es una extensi6n normal
de F. Como extensi6n normal de F, Fkes tambitn una extensi6n normal de
cualquier carnpo intermedio, de donde Fkes una extension normal de cada
una de las Fi
Se@n el lema 5.12 toda Fi es una extension normal de Fi-, y como F,
es normal sobre Fi-,, de acuerdo con el teorema 5.v, G(Fk, Fi) es un subgrupo normal en G(Fk,Fi- ,). Consideremos la cadena:
1)
249
'
TEOREMA
5 . ~ . El polinomio general de grado n 2 5 no es soluble por
radicales.
Prueba. En el teorema 5.s demostramos que si F(a, , ..., a,) es el c a m p
de las funciones rationales en las ;variables a,, ..., a,, entonces el grupo de
Galois del polinomio p(t) = tn+a, tn- + ...+a, sobre F(al, ...,a,) era
S,, el grupo simCtrico de grado n. De acuerdo con el teorema 5.w S, no es
un grupo soluble cuando n 2 5, asl pues, segtin el teorema 5.x p(t) no es
soluble por radicales sobre F(a, , ..., a,) cuando n 2 5.
'
*l.Si p(x) es soluble por radicales sobre F, pruCbeseque puede encontrarse una sucesi6n de campos
F c F, = F(a,) c F, = F, (a,) c
... c Fk = Fk-,(ak)
de G.
5. Si N es un subgrupo normal de G, pruCbese que N' &be tambiCn ser
un subgrupo normal de G.
250
CAMPOS - Cap. 5
SIEGEL,
C. L., Transcendental Numbers, Annals of Mathematical Studies,
nlimero 16. Princeton University Press, Princeton, Nueva Jersey, 1949.
NIVEK,I., Irrational Numbers, Carus Monographs, nlimero 11. John
Wiley & Sons, Inc., Nueva York, 1956.
4 3.
MATRICES
265
.
3. MATRICES
Aunque ya llevamos algJn tiempo tratando de transformacianes, siempre
lo hemos hecho en una forma impersonal y un poco lejana; para nosotros,
una transformacion lineal ha sido un simbolo (muy a menudo T) que actua
en una cierta forma sobre un espacio vectorial. Vemos, cuando pensamos en
lo hasta aqui hecho, que fuera de 10s pocos ejemplos concretos con que
nos hemos encontrado en 10s problemas, nunca nos hemos enfrentado con
transformaciones lineales especificas. AI mismo tiempo, es claro que si hemos
de proseguir con el tema un poco mas lejos a menudo se presentara la
necesidad de hacer un estudio completo y detallado de una transformacion
lineal dada. Para mencionar un problema preciso, si se nos presenta una
transformacion lineal (y suponiendo por el momento que tenemos medios
para reconocerla), jc6m0 podemos arreglarnoslas para encontrar, de una
forma practica y calculable, sus raices caracteristicas?
Lo que primer0 buscarnos es una notacion sencilla o, quiza mas precisamente, una representacion sencilla para las transformaciones lineales.
Llegaremos a ello mediante el uso de una base particular del espacio vectorial
y por el uso de la acci6n de una transformacibn lineal sobre esta base. Una
vez que se ha conseguido todo esto, por medio de las operaciones en A ( V )
podemos inducir operaciones para 10s simbolos creados que hagan de ellos
un algebra. Este nuevo objeto, infundido de una vida algebraica propia.
puede estudiarse como una entidad matematica que tiene un interes por si
misma. Este estudio es lo que comprende la llamada teoria de matrices.
Pero ignorar el origen de estas matrices, es decir, investigar el conjunto
de simbolos independientemente de lo que representan, puede ser costoso,
porque estariamos desperdiciando una gran cantidad de informacion util.
En lugar de ello, nosotros siempre usaremos las interrelaciones entre el
abstract0 A(V) y lo concreto, el algebra de matrices, para obtener informacion de una sobre la otra.
Sea V un espacio vectorial n-dimensional sobre un campo F y sea
v, , ..., v, una base de V sobre F. Si TEA ( V) entonces T esta determinado
en cualquier vector tan pronto como conozcamos su accion sobre una base
de V. Como T transforma Ven V, u , T, c2 T, ..., c, Tdeben estar todos en V.
Como elementos de V cada uno de estos es realizable de un linico mod0 como
TRANSFORMACIONES LINEALES
266
combinaci6n lineal de v, ,
..., v,
- Cap. 6
don& c a b aijeF. Este sistema de ecuaciones puede escribirse mhs compactamente como
viT= zaijvj,
para
i=1,2,...,n
j= 1
DEFINICI~N.
Sea V un espacio vectorial de dimensi6n n sobre F y sea
v,, ..., v, una base para V sobre F. Si TeA(V) entonces la matriz de Ten la
base v, , ..., v,, a la que representaremos por m(T), es
..
4 3.
MATRICES
bien,
= (C- l ) v i - , +Ovb+
,+..
+Ovl~2+(i-l)v,~,+Ovl
v, Q = x n - I D = ( n - I ) X " - ~
rn, ( D ) =
0 :3
...
Q 0 0 ... ( n - I )
'
= Ow, +(n-
wi D =
x n - i ~=
= Ow,
W,
D = I
L) = 0
1)w2+Ow,
+ ... +OW,
(n-i)x"-i-'
+Owi+(n-i)wi+, +Owl+2+
= Ow, + O w 2 +
+Own,
+Ow,
268
TRANSFORMACIONES LINEALES
lbp. 6
(n- 1)
(n-2)
-...
...
...
...
/O
m2(D)=
0 O\
... 0
(n-3) .-. 0
.........
0
...
0
0
0 1
0 0
...+ Ou,
oo...
0 0
...
...
(n-1)
-2
2 10
-3
0 3
. . . .
.....
m3(D) =
-(n-1)
0 0
---
Por el ejemplo que hemos estudiado vemos que las matrices de D, para
las tres bases usadas dependfan completamente de las bases. Aunque
diferentes las unas de las otras representan, sin embargo, a-la rnisma trans-
5 3. MATRICES
269
Hemos visto que una vez que hemos escogido una base para V, a cada
transformaci6n lineal se le asocia una matriz. Reciprocamente, una vez que
hemos escogido una base fija v, , ..., v, de V sobre F, una matriz dada
1aijvj
j
270
TRANSFORMACIONES LINEALES
- Cap. 6
..
x a i j ~ j +x rlivj
= l(aii
+ rij)ui.
v, T =
x
k
1
k
Tk~-
13. MATRICES
272
TRANSFORMACIONES LINEALES - h p . 8
TEOREMA
6.~.El conjunto de todas las matrices n x n sobre F forma un
algebra asociatiua F, sobre F. Si V es un espacio vectorial de dimensidn n
sobre F, entonces A(V) y F, son isomorfos como algebras sobre F. Dada una
base cualquiera u, , ..., u, de V sobre F, si para TEA( V), m (T) es la matriz de
T en la base v, , . .., u, , la aplicacibn T + m(T) nos proporciona un isomorfismo
de algebras de A ( V) sobre F, .
El cero respccto a la adici6n en F, es la matriz cero todas cuyas entradas
son cero; a menudg la representaremos simplemente por 0. La matriz uno,
que es el elemento unitario de F, respecto a la multiplicacion, es la matriz
cuyas entradas estan en la diagonal I y fuera de la diagonal 0; la representaremos por I, I, (cuando queramos enfatizar las dimensiones de las matrices)
o simplemente como I. Para a F, las matrices
TEOREMA
6.~. Si V es de dimensidn n sobre F y si TeA(V) tiene la
matriz m, (T) en la base v, , ..., u, y la matriz m,(T) en la base w, ,..., w, de V
273
13. MATRICES
(ambas sobre F), entonces hay un elemenro CEF, tal que mz( T )= Cm, (T)C- '.
En realidad, si S es la transformacidn lineal de V dejnida por v,S = wi
para i = 1,2, ..., n, enronces podemos escoger como C a m, (S).
Prueba. Sea m,(T) = (a,,) y mz(T) = (Pi,); asi pues vIT = 1aljuj,
i
W I T= CBijw,.
i
'.
',
274
TRANSFORMACIONES LINEALES
- Cap. 6
Entonces
como debia ser, de acuerdo con el teorema. (Verifiquense todos 10s cilculos
usados.)
El teorema afirma que, si conocemos la matriz de una transformacibn
lineal en una base cualquiera, podemos calcularla en cualquier otra base,
siempre que conozcamos la transformaci6n lineal (o matriz) del cambio de
base.
Aun no hemos contestado la pregunta: &da una transformacibn lineal,
ic6m0 se calculan sus raices caracteristicas? Esto llegard un poco mis
tarde. Partiendo de la matriz de una transformaci6n lineal mostraremos
13.
275
MATRICES
'
TRANSFORMACIONES LINEALES
278
6. Sea V
- Cap. 8
= F ( , ) y supongamos que
a) u , = (I, 1, 1),
u2 = (0, 1,1),
u3 = (0,0, 1).
b) ul = (1,
u2 = (1,2,0),
u3 = (1, 2, 1).
para cualesquiera a,
BE F.
10. Usando el resultado del problema 9, pruCbese que solo las matrices
en F, que conmutan con todas las matrices de F, son matrices escalares.
13.
MATRICES
15. Definamos las matrices Eij en F, como sigue: Ei, es la matriz cuya
finica entrada distinta de cero es la (i, j) que es igual a 1. Prukbese que:
a ) Las Eij forman una base de F, sobre F.
b) EijEk, = 0 para j # k ; EIjEj[= E,,.
c) Dadas i y j, existe una matriz C tal que C E , , C - ' = E j j .
d ) Si i # j, existe una matriz C tal que C E I j C -' = E l , .
e ) Encudntrense todas las BEF, que conmutan con E l l .
f ) Encudntrense todas las B EF, que conmutan con E l l .
16. Sea F el campo de 10s numeros reales y sea C el campo & 10s n~meros
complejos. Para a e C sea T,: C + C dada por xT, = xu, para todo X E C .
Usando la base 1, i encudntrese la matriz de la transformaci6n lineal T,y
obtdngase asi una representacion isom6rfica de 10s numeros complejos
como matrices 2 x 2 sobre el c a m p de 10s numeros reales.
17. Sea Q el anillo con divisi6n & 10s cuaternios sobre el c a m p real.
Usando la base 1, i, j, k de Q sobre F, prockdase como en el problema 16
para encontrar una representaci6n isom6rfica & Q por matrices 4 x 4
sobre el campo de 10s numeros reales.
278
TRANSFORMACIONES LINEALES
- Cap. 6
20. Sea ?
como
ll en el problema 19. Pruebese que :
a) fli tiene n! elementos.
b) Si M E .m. entonces es invertible y su inversa esta tambien en 221.
c) Proporci6nese la forma explicita de la inversa de M .
d) Prukbese que
es un grupo respecto a la multiplication de
matrices.
e) PruCbese que nri es isomorfo, como grupo, a S,,el grupo simetrico
de grado n.
21. Sea A = (aij) tal que para todo i,
C aij =
1. PruCbese que I es
1 aij = I .
'
explicitamente.
14.
279
280
TRANSFORMACIONES LINEALES
- Cap. 6
LEMA6.6. Si W c V es invariante bajo T, entonces T induce una transformacidn lineal T e n V/ W definida por (v+ W)T = vT+ W. Si T satisface
el polinomio q ( x ) ~ F [ x ]entonces
,
tambibn lo satisface T, Si p, ( x ) es el
polinomio minimo para 'P sobre F y si p(x) es el polinomio rninimo para T,
entonces p, ( x ) 1 p (x).
Prueba. Sea 7 = V/W; 10s elementos de 7 son, por supuesto, las clases
laterales v+ W de W en V. Dados 6 = u+ W EP definimos 6T = vT+ W.
Verificar que T tiene todas las propiedades formales de una transformaci6n
lineal sobre V es una facil tarea una vez que se ha establecido que Testa bien
dejnida sobre V. Nos contentaremos, pues, con probar este hecho.
Supongamos que 6 = v, + W = v, + W donde v, , v2E V. Debemos
probar que v, T + W = v2 T + W. Como v,+ W = v,+ W, v,-v, debe
estar en W, y como W es invariante bajo T, ( v , -v,) T debe estar tambiCn
en W. Por consiguiente 0 , T-v, T E W, de donde se sigue que v, T + W =
u, T + W, como queriamos probar. Sabemos ahora que T define una transformaci6n lineal sobre V = V / W.
Si 6 = v+ WE^, entonces 6(p)= vTZ+ W = (vT)T+ W = (vT+
W) T = ((v+ W) T )T = 6 ( Q 2; asi pues (?) = (T)'. Anhlogamente
( T ) k para cualquier k 2 0. Por consiguiente, para cualquier polinomio
q ( x )F[x],
~ q(T) = q(T). Para cualquier
] q ( T ) = 0, como 6
-q ( x ) ~ F [ xcon
es la transformacibn 0 sobre V, 0 = q ( T ) = q ( T )
Sea p,(x) el polinomio minimo sobre F satisfecho por T. Si q ( T ) = 0
para q ( x )F[x],
~ entonces p , ( x )1 q(x). Si p(x) es el polinomio rninimo para
T sobre F, entonces p ( T ) = 0, de donde p ( T ) = 0; en consecuencia,
P l W I P(x).
m=
281
~1
TEOREMA
6.~. Si TEA( V) tiene todas sus raices caracteristicas en F, entonces hay una base de V en que la matriz de T es triangular.
Prueba. La prueba se hace por induccibn sobre la dimension de Vsobre F.
Si dimF V = I entonces todo elemento en A(V) es un escalar y, por
tanto, para tal caso el teorema es cierto.
Supongamos que el teorema es cierto para todos 10s espacios vectoriales
sobre F de dimension n - I, y sea V de dimension n sobre F.
La transformacion lineal T sobre V tiene todas sus raices caracteristicas
en F ; sea I,E F una raiz caracteristica de T. Existe en V un vector v, distinto
de cero tal que u, T = I, v,. Sea W = {av, 1 aEF}; W es un subespacio
unidimensional de V, y es invariante bajo 7:Sea V = V/ W ; por el lema 4.8,
dim V = dim V- dim W = n - 1. De acuerdo con el lema 6.6, T induce
una transformacion lineal Tsobre Vcuyo polinomio minimo sobre F divide
a1 po\inomio minimo de T sobre F. Asi pues, todas las raices del polinomio
minimo de Tpor raices del polinomio minimo de T, deben encontrarse en F.
La transformacion lineal T en su accion sobre V satisface la hipotesis del
teorema; como V es (n- 1)-dimensional sobre F, por nuestra hip6tesis de
induccion, existe una base i,, i,, ..., 6, de Vsobre F tal que:
5,
T = a,,
6,
i3T = a,, i,
+ a,,
6,
Sean v,, ..., u, elementos de V que se transforman en 6,...., fin, respectivamente. Entonces c , , v,, ..., v,, forman una base de V (ver el problema 3
282
TRANSFORMACIONES LINEALES
- Cap. 6
..a,
TEOREMA
6 . ~ .Si V es n-dimensional sobre F y si TEA(V) tiene todas sus
raices caracteristicas en F, entonces T satisface un polinomio de grado n
sobre F.
v,,
v, T = Alv,
v2 T =
v1 +A2u2
viT = allv,+
para i = 1, 2,
..,n.
14.
0 lo que es equivalente:
para i = I, 2, ..., n.
'Que es v2(T-A,) ( T - A , ) ? Como resultado de v 2 ( T - I , ) = a , , v , y
r , ( T - A , ) = 0,obtenemos r2(T-A,) ( T - R , ) = 0.Como
L'I(T--Ii)( T - A i - , ) ... ( T - A , ) = 0,
rz(T-Ai) (T-Ai-
.. ( T - I , )
1 ) .
= 0,
.. .,
ui ( T - I i ) ( T - l i -
... ( T - A , )
0.
284
TRANSFORMACIONES LINEALES
- Cap. 4
de dimension n sobre K. Una forma de hacer esto seria tomar una base
c , , ..., v, de V sobre F y considerar V, como el conjunto de todos 10s
a, v , + .. . +anon con las a,K, considerando las vi linealmente independientes sobre K. Este pesado uso de una base es antiestktico; todo puede
hacerse de mod0 independiente de toda base si introducimos el concept0 de
product0 tensorial de espacios vectoriales. No lo haremos aqui; en su lugar
argumentaremos con matrices (lo que es efectivamente el camino delineado
anteriormente usando una base fija de V).
Consideremos el algebra F,. Si K es cualquier extension del campo de F,
entonces F, c K,, el conjunto de las matrices n x n sobre K. Asi pues,
cualquier matriz sobre el campo F puede considerarse como una matriz
sobre K. Si TEF, tiene el polinomio minimo p(x) sobre F, considerada como
un elemento de K, puede concebiblemente satisfacer a un polinomio
diferente po(x) sobre K. Pero entonces po(x) 1 p(x), ya que po(x) divide
a todos 10s polinomios sobre K (y, por tanto, a todos 10s polinomios sobre F)
que son satisfechos por T. Especializamos ahora a K. Por el teorema 5.h
existe una extension finita K, de F e n la cual el polinomio minimo p(x),
para T sobre F tiene todas sus raices. Como elemento de K,, itiene T, para
esta K, todas sus raices caracteristicas en K? Como elemento de K, el
polinomio minimo de T sobre K, po(x), divide a p(x) de mod0 que todas las
raices de po(x) son raices de p(x) y, por tanto, se encuentran en K. Por
consiguiente, como elemento de K,, T tiene todas raices caracteristicas en K.
Asi pues, dada Ten F,, a1 irnos a1 campo de descomposici6n K, de su
polinomio minimo llegamos a la situacion en que las hip6tesis de 10s
teoremas 6.j y 6.k se satisfacen, no sobre F, sino sobre K. Por lo dicho, T
puede, por ejemplo, ser llevada a la forma triangular sobre K y satisface un
polinomio de grado n sobre K. A veces, cuando tenemos Yerte, sabiendo que
cierto resultado es cierto sohre K podemos limitarnos a'F y saber que el
resultado es tambikn verdadero sobre F. Pem llegar hasta $no es ninguna
panacea, pues hay situaciones frecuentes donde 10s resultados para K no
implican nada para F. Es por esto por lo que tenemos dos tipos de teoremas
de "formas canonicas", aquellos en que se supone en que todas las raices
caracteristicas de T se encuentran en F y aquellos en que no se hace tal
supuesto.
Una palabra fina1;'si TEF,, por la frase "una raiz caracteristica de T"
entenderemos un elemento A del campo de descomposici6n K del polinomio
minimo p(x) de T sobre F tal que A- T no es invertible en K,. Es un hecho
(vCase el problema 5) que toda raiz del polinomio minimo de T sobre F es
es una raiz caracteristica de T.
Problemas
14.
285
... (A-A,,)
= 0.
*5. Si TEF, tiene p(x) como polinomio minimo sobre F, pmebese que
toda raiz de p(x) en su campo de descomposicion K, es una raiz caracteristica
de T.
',
8. Sea W un subespacio de V invariante bajo TEA ( V). Cuando restringimos T a W, T induce una transformacion lineal T(definida por w T = wT
para toda we W). Sea p(x) el polinomio minimo de f'sobre F.
N
10. En el problema 9 probamos que M, es la matriz de una transformaci6n fi inducida por M sobre W, y que M2 es la matriz de la transformaci6n
lineal
inducida por M en V/ W.
*11. El conjunto no vacio 377 de transformaciones lineales en A(V) se
llama conjunto irreducible si 10s subespacios de V invariantes bajo 373 son
TRANSFORMACIONES LINEALES
286
- Cap. 6
es un conjunto irreducible.
b) Encutntrese el conjunto D de todas las matrices que conmutan
con
es un conjunto irreducible.
b) Encukntrense todas las AEF, tales que AM = MA para to&
ME fll.
C) Prutbese que el conjunto de todas las A de la parte (b) es un
anillo con division isomorfo a1 anillo con division de 10s cuaternios
sobre el campo real.
1 5.
287
'
5. FORMAS CAN~NICAS:
TRANSFORMACIONES NILPOTENTES
Una clase de transformaciones lineales que tienen todas sus raices caracteristicas en F es la clase de las nilpotentes, pues corno todas sus raices
caracteristicas son 0, es evidente que todas esdn en F. Por tanto, por el
resultado de la secci6n previa, una transforrnaci6n lineal nilpotente puede
siempre ser puesta en forrna triangular sobre F. Para algunos propcisitos,
esto no es suficientemente agudo, y corno veremos pronto, puede decine
bastante mas.
Aunque la clase de las transforrnaciones lineales nilpotentes es bastante
restringida, la verdad es que merece un estudio solo por sus propios rntritos.
Pero, lo que adn es mas importante para nuestros propbsitos, una vez que
288
TRANSFORMACIONES LINEALES
- Cap. 6
hemos encontrado una buena forma canonica para ellas, nos es facfi
encontrar una buena forrna canonica para todas las transformaciones
lineales que tienen todas sus raices caracteristicas en F.
Una palabra acerca del metodo que seguiremos en esta seccion. Podriamos
estudiar estos problemas "b8sicos" o podriamos basarnos en 10s resultados
acerca de la descomposicion de modulos que obtuvimos en el capitulo 4.
Nos hemos decidido por un compromiso entre ambas posibilidades;
estudiaremos el material en esta seccion y en la siguiente (sobre formas de
Jordan) independientemente de la nocion de modulo y 10s resultados acerca
de modulos desarrollados en el capitulo 4. Pero en la seccion que trata de la
forma candnica racional cambiaremos completamente de punto de vista,
introduciendo por medio de una transformacidn lineal dada una estructura
de modulo sobre el espacio vectorial bajo discusion; haciendo uso del
teorema 4.j tendremos, entonces, una descomposicion de un espacio vectorial, y la forma can6nica resultante correspondiente a una transformacibn
lineal dada.
Incluso aunque no usemos un enfoque basado en la teorla de modules,
por ahora, el lector debe darse cuenta de la analogia entre 10s argumentos usados en la prueba del teorema 4.j con 10s utilizados para probar el lema 6.10.
Antes de concentrar nuestros esfuerzos sobre transformaciones nilpotentes probemos un resultado de inter& que verifica transformaciones
lineales cualesquiera.
16.
289
+r l T + ... +am T m ,
NOTACION.
M, denotara la matriz t x t
D E F I N I C I ~SiNTEA(V)
.
es nilpotente, entonces a k le llamamos fndice
de nilpotencia de T si T k = 0 pero T k - ' # 0.
El resultado clave respecto a transformaciones nilpotentes es
TEOREMA
6 . ~ .Si TEA(V) es nilpotente, de indice de nilpotencia n,,
entonces puede encontrarse una base de V tal que la matriz de T en esta base
tenga la forma
"'
donden, a n 2 >
M,,
= dim, V.
TRANSFORMACIONES LINEALES
290
'
- Cap. 6
'
'
'
... + a n , T n l - 7 = 0.
Como a, # 0, por el lema 6.8, as+ a s + ,T + .. . +cxnl Tnl-"s
vTs-'(a,+a,+,T+
invertible y, por
tanto, vTS- = 0. Pero s < n , , luego esto contradice que cTnl - ' # 0.
Luego ninglin a, distinto de cero existe y v, cT, ..., v T n l - se ha mostrado
son linealmente independientes sobre F.
'
< n , , entonces
'
v=
1 5.
291
'.
TRANSFORMACIONES LINEALES
- Cap. 6
D E F I N I C ~LOS
~ Nenteros
.
n , , n, , ..., nr se llaman 10s invariantes de T.
DEFINIC~~N.
Si T E A ( V )es nilpotente, el subespacio M de V, de dimensi6n m, que es invariante bajo T, se llama ciclico con respecto a T, si :
1 ) MT'" = (0),MTm-I # (0);
2) hay un elemento ZE M tal que z, IT,
...,zTm-
TRANSFORMACIONES LINEALES - C ~ D
6
2 94
ATA-' =
%la
o o o .
...
+ ...
nilpotente
16.
295
COROLARIO.
Si V = V I @... @ V k , donde todo Vi es invariante bajo T
y si pi ( x )es polinomio minimo sobre F de T i , la transformacibn lineal inducida
por T sobre V i , entonces el polinomio minimo de T sobre F es el minimo
comun multiplo de p, ( x ) ,p2 ( x ) ,...,pk (x).
Dejamos la prueba del corolario al lector.
Sea T E A , ( V ) y supongamos que p(x) en F[x]es el polinomio minimo
de T sobre F. Seglin lema 3.21, podemos factorizar p(x) en F[x]en forma
linica como p(x) = q , (x)" q2(x)12... qk(x)Ik,donde 10s q,(x) son polinomios
irreducibles distintos en Fix] y donde I , , I,, ..., Ik son enteros positivos.
Nuestro objetivo es descomponer V en suma directa de subespacios invariantes bajo T tales que sobre cada uno de Cstos la transformaci6n lineal
inducida por Ttiene como polinomio minimo una potencia de un polinomio
irreducible . Si k = I, V mismo sirve a nuestro propcjsito. Supongamos pues
q u e k > 1.
Sea V , = { r e v oq, (T)I1= 0}, V, = { V E v vq,(T)12 = 0}, ..., Vk =
{ V E V rqk(T)Ik= 0). Es una trivialidad que cada Vi es un subespacio de V.
AdemPs, Vi es invariante bajo T, pues si U E V i , como T y q,(T) conmutan,
( u ~ ) q , ( T )=
" (uqi(T)ll)T = OT = 0 . Por la definicion de Vi esto sitlia a
uT en Vi. Sea Ti la transformaci6n lineal inducida por T sobre Vi.
TEOREMA~.N.
Paracadai = 1,2, ..,k,Vi # ( 0 ) y V = V,@V,@
Vk.Elpolinomio minimo de Tl es qi{x)lr.
... @
296
TRANSFORMACIONES LINEALES
- Csp. 6
4 2 ( ~ ) ' ~ q 3 ( ~ )4r(x)Ik,
I'...
Como k > I . li;(x) # p(x). de donde hi(T) # 0. Asi pues, dada i, hay un
1.e V tal que 11. = rlii(T) # 0. Pero u9qi(T)" = r(hi(T)qi(T)'i)= rp(T) = 0.
En consecuencia, 1 ~ '# 0 esta en Vi y por tanto Vi # (0). En realidad hemos
demostrado un poco mas, a saber, que VIii(T) # (0) esta en V,. Otra
observacion acerca de /ii(x) viene ahora a cuento, si
Vj para j # i,
como qj(x)'j lii(x).rilli( T) = 0.
Los polinomios lii(x). /12(x),. .., lik(x)son primos relativos. (ipruebese!)
De aqui que segun el lema 3.20 podemos encontrar polinomios a , (x), ...,
a,(.u) en F[x] tales que a , (x)h,(x)+ ... +a,(x)h,(x) = I . De donde
tenemos. a,(T)Ii,(T)+ ... +&(T)h,(T) = 1, de donde, dado r e v , r =
1.1 = i ( a , (T)li,(T)+... +ak(T)Ilk(T))= ra, ( T ) h , ( T ) +... +rak(T)hk(T).
Ahora bien, cada rai(T)Iii(T)esta en VIi,(T), y como hemos probado
anteriormente que VIii(T)c V,, hemos demostrado ahora LI como o =
I.,
... +r, , donde cada r i = [.ai(T)hi(T) esd en Vi. Luego V = V,
v2+ ... v,.
Debemos ahora verificar que esta suma es una suma directa. Para
mostrar esto es suficiente probar que si ui+u2+ ... +uk = 0 con cada
uie V,, entonces cada ui ='O. Supongamos, pues, que u, + u, + ... + u, = 0
y que algun ui, digamos u, , no es 0. Multipliquemos esta relacion por
h, (T); obtenemos u, h, ( T ) + ... +u,Ii, ( T ) = Oh,(T) = 0. Ademas.
ujh,(T) = 0 paraj # 1 yaqueujeVj; laecuacion sereduceasiau,h,(T)=
0. Pero u,q,(T)" = 0 y como 11,(x) y q,(x) son primos relativos, esto
implica que u, = 0 (ipruebese!), lo que es, desde luego, incompatible con la
hipotesis de que u, # 0. Hasta el momento hemos conseguido probar que
v = V,$V,@ ... @V,.
Para completar la prueba del teorema debemos todavia probar que el
polinomio minimo de Ti sobre Vi es q(x)';. Por la definicion de V,. como
Viqi(T)li = 0, qi(Ti)li= 0, de donde la ecuacion minima de Ti debe ser un
divisor de qi(x)Ii, luego de la forma q,(x)fi con f i <Ii. Por el corolario al
lema 6.12, el polinomio minimo de T sobre F es el minimo comlin miltiplo
de q,(x)", ..., q,(x)** y debe, por tanto. ser q, (x)lr.. . q,(x)/*. Como este
polinomio minimo es en realidad q, (x)'~... q,(x)Ik debemos tener que
16.
297
fl
COROLARIO.
Si toclas las distintas raices caracteristicas A , , . ., A, de T
se encuentran en F, entonces V puede escribirse como V = V , @
@ V,
donde V i = { C E V ( r ( T - Ai)" = 0) y donde Ti tiene solamertte una raiz
caracteristica, A, , sobre V i
. ..
'
TRANSFORMACIONES LINEALES
298
- Cap. 6
DEFINICION.
La matriz
TEOREMA
6 . ~ .Sea T EA F ( ~ tcon
)
todas sus distintas rakes caracteristicas
I., , . . ., i,,, en F. Entonces puede encontrarse una base de V en que la matriz T
sea de la,/'orma
donde cada
y donde Bi,
16.
299
como T-A es nilpotente, seghn el teorema 6.1, hay una base en que su
matriz es de la forma
'
300
TRANSFORMACIONES LINEALES
- Cap. 8
Problemas
1. Si S y T son transformaciones lineales nilpotentes que conmutan,
pruibese que ST y S + T son transformaciones lineales nilpotentes.
no son semejantes.
3. Si n , 2 q , y m , 2 m , , pruebese, mediante un calculo matricial
directo que
16.
FORMAS
CANONICAS. UNA
301
0 0 0
1 0
AP = 1 .
11. Si F ' tiene caracteristica 0, pruebese que A =
Am = 1 para m > 0 solamente si z = 0.
(A
(A
;)
satisface
;)
satisface
302
TRANSFORMACIONES LINEALES
- Cap. 6
es semejante a
17.
303
7. FORMAS CANONICAS:FORMA
CANONICARACIONAL
304
+ , +
+ ,
'+
'
'
z l r -
5 7.
306
D E F I N I C ISi
~ Nf(x)
.
= yo+ y1 X +
entonces la matriz r x r
... +y,-,
xr-' +xr
esth en F[x]
dondee = el > e,
306
es C(q(x)".) Asi pues, segim el teorema 6.n, podemos encontrar una base d e
V tal que la matriz de Ten esta base es
COROLARIO.
Si T en A F ( V )tiene el polinomio minimo p(x) = q , (x)" ...
qk(x)Iksobre F, donde q , ( x ) ,. .., q k ( x )son polinomios irreducibles distintos
en F[x],entonces puede enconrrarse una base de V en la que la marriz de T sea
de laforma
donde cada
..., qk(x)"'"
5 7.
307
DEFINICION.
Si dimF(V ) = n, entonces el polinomio caracteristico de T,
pT(x),es el producto de sus divisores elementales.
Podremos identificar el polinomio caracteristico que acabamos de
definir con otro polinomio que construiremosexplicitamente en la secci6n 9.
El polinomio caracteristicode Tes un polinomio de grado n que se encuentra
en F[x]. Tiene muchas propiedades importantes, una de las cuales es la
contenida en la siguiente
OBSERVAC~ON.
Toda transformacidn lineal T e A F ( V ) satisface a su
polinomio caracteristico. Toda raiz caracteristica de T es una raiz de pT(x).
Nota 1. La primera parte de la anterior observacion es el enunciado
de un teorema muy famoso, el reorema de Cayley-Hamilton. Pero llamarlo
asi en la forma en que lo hemos expuesto resultaria un poco abusivo. El
meollo del teorema de Cayley-Hamilton es el hecho de que T satisface pT(x)
cuando a pT(x) se le da una forma concreta muy particular, fhcilmente
construible partiendo de T. Pero incluso en la forma en que aparece, la
observacion tiene un contenido bastante interesante, pues como el polinomio
caracteristico es un polinomio de grado n, hemos probado que todo elemento
de A F ( V )satisface un polinomio de grado n que se encuentra en F[x].Hasta
ahora, solo habiamos probado esto (en el teorema 6. k) para transformaciones
lineales que tenian todas sus raices caracteristicas en F.
Nota 2. Tal como esta formulada, la segunda parte no dice nada, pues
siempre que T satisface un polinomio, entonces toda raiz caracteristica de T
satisface ese mismo polinomio; asi pues, p T ( x ) no seria nada especial si lo
que se enuncia en el teorema fuera todo lo que es valido en 61. Pero la
historia real es la siguiente: Toda raiz caracteristica de T es una raiz &
pT(x), y reciprocamente, toda raiz de pT(x) es una raiz caracteristica de T ;
ademas, la multiplicidad de cualquier raiz de pT(x),como una raiz del polinomio, es igual a su multiplicidad como raiz caructeristica de T. Podriamos
probar lo dicho ahora, pero diferimos la prueba hasta mhs tarde, cuando
seamos capaces de hacerla de una forma mas natural.
Prueba de la observacrdn. Solamente tenemos que demostrar que T
satisface a pT(x), pero esto es casi trivial. Como pT(x) es el producto de
ql(x)CI1,
q 1 ( ~ ) C ...,
1 2 ,qk(x)ckl,..., y como e l l = e , , e l l = e l , ...,ekl = e,,
pT(x) es divisible por p(x) = q , (e)"'. . . q,(x)'*, el polinomio minimo de T.
Como p ( T ) = 0 se sigue que p T ( T ) = 0.
Hemos llamado a1 conjunto de 10s polinomios que aparecen en la forma
racional can6nica de T 10s divisores elementales de T. Seria muy conveniente
que Cstos determinasen una semejanza en A F ( V ) , pues entonces las clases
de semejanza en A F ( V ) estarian en una correspondencia biyejctiva con
308
TRANSFORMACIONES LINEALES
- Cap. 6
5 7.
309
...
TRANSFORMACIONES LINEALES
310
- Cap. 6
~
, . . $ . . . @ V , ~ ( T ) ~ " 'y como
Por otra parte, V ~ ( T3) V,~ q(T)lm@
Viq(T)fmtiene dimension d(ei- fm) para i < m, tenemos que
COROLARIO
1 . Supongarnos que las dos matrices A y Ben Fnson semejantes
en Kn donde K es una extensia'n de F. Entonces A y B son ya semejantes en Fn.
Prueba. Supongamos que A, BEF, son tales que B = C - 'AC con
CEK,. Consideramos a Kn como si actuara sobre K'"', el espacio vectorial
de n-tuples sobre K. Asi pues, F'"' esth contenido en K'"' y aunque es un
espacio vectorial sobre F no es un espacio vectorial sobre K. La imagen de
F'"', en K'"', bajo C no necesariamente incidira de nueclo en F'"' per0 en
cualquier caso F'"'C es un subconjunto de K'"' que es un espacio cectorial
sobre F (pruebese). Sea V el espacio vectorial F'"' sobre F, W el espacio
V r$ = LC.Ahora bien, A E A ~(V) y
vectorial F'"'C sobre F y para ~ E sea
&A,( W ) y para cualquier
V, (rA)G = rAC = rCB = ( r $ ) B, de donde
las condiciones del teorema 6.r se satisfacen. Asi pues, A y B tienen 10s
mismos divisores elementales; de acuerdo con el teorema 6.s, A y B deben
ser semejantes en F,.
Una palabra de advertencia: el corolario no afirma que si A, BEF, son
tales que B = C - ' AC son CEKn entonces C debe necesariamente estar en
Fn;esto es falso. Lo que afirma simplemente es que si A, BEF, son tales que
B = C - 'AC con CEK,, entonces existe un DEFn(posiblemente diferente a
C) tal que B = D- 'AD.
5 7.
FORMAS
311
'
Problemas
1. Verifiquese que V se hace un F[x] modulo bajo la definition dada.
2. En la prueba del teorema 6.s proporcionense demostraciones completas de todos 10s puntos en que se sefiala (prukbese).
TRANSFORMACIONES LINEALES
31 2
- Cap. 6
8. TRAZA Y TRANSPUESTA
Desputs de la dificultosa marcha en las liltimas secciones, la falta de
complicaciones del material sobre el que ahora vamos a tratar va a llegarnos
como un agiadable respiro.
Sea F un 'camp0 y A una matriz en Fn.
DEFINICI~
LaNfraza
.
de A es la suma de 10s elementos de la diagonal
principal de A.
Representaremos a la traza de A por tr A; si A
(zij), entonces
I ) tr (;.A) = i. tr A;
2) tr (A+B) = tr A+tr B;
3) tr (AB) = tr (BA).
Prrreba. Establecer ( I ) y (2) (que aseguran que la traza es una funcional
lineal en Fn)es sencillo y se deja como' ejercicio para el lector. Solamente
presentamos la prueba de la parte (3) del lema.
Si A =
(2,)
y B=
'iij =
aspkj Y
k= 1
Bikzkj.
k= 1
x
i
; si intercambiamos el orden de
5 8.
TRAZA Y TRANSPUESTA
313
tr (AB) = tr (BA)
DEFINICI~N.
Si TEA(V) entonces tr T, la tram de T, es la traza de
m , (T) donde m, (T) es la matriz de Ten una base cualquiera de V.
Afirmamos que la definici6n tiene sentido y depende solamente de T y no
de cual sea la base de V que se emplee. En efecto, si m , ( T ) y m,(T) son
matrices semejantes, entonces, segun el corolario al lema 6.14, ambas
tienen la misma traza.
LEMA6.1 5. Si TEA ( V), er1tonce.v tr T es la slrrna de las raices caracteri ticas de T (usando-cada raiz caracteristica tantas 1-eces como su niultiplicid d ) .
..
en F2tiene traza 0 (pues I I = 0)al igual que todas sus potencias. per0 es
claro que la matriz unidad no es nilpotente. Pero si restringimos la
caracteristica de F a 0,el resultado es verdaderamente cierto.
314
donde
315
5 8. TRAZA Y TRANSPUESTA
'
'
'
'
1 ajkPki.
k=l
jk
k= 1
1 t i k y k j = 1 Pkia
k= l
t i j =p j i ,
1 a,ikPki=
k= I
p i j . Es decir, (AB)' = B'A', con lo que hemos verificado la parte (3)del lema.
316
TRANSFORMACIONES LINEALES
- Cap. 6
D E F I N I C ILa
~ Nmatriz
.
A se dice que es una matriz sir~iPtricasi A'
= A.
DEFINIC~
La~ Nmatriz
.
A se dice que es una matriz antisir?i&trica si
A' = -A.
0
D E F I N ~ CUna
~~N
aplicacion
.
de F,, en F, se llama adjunta sobre F,, si
I ) (A*)* = A;
3) (A+B)* = A*+B*;
3) (AB)* = B*A*;
para cualesquiera A, BEFn.
18.
317
TRAZA Y TRANSPUESTA
+ P2 CC* = 0.
318
TRANSFORMACIONES LINEALES
- Cap. 6
1) f ( A + B ) = f ( A ) + f ( B ) ,
2 ) f ( W = Af(A),
3 ) f ( A B ) = f(BA),
para todo A, BEF,, y para todo AEF. Prutbese que hay un
elemento a , ~ F t a lque f ( A ) = a, tr A para todo A en F,.
6 ) Si la caracteristica de F es 0 y si la f de la parte ( a ) satisface la
propiedad adicional de que f ( l ) = n, pruibese que f ( A ) = tr A
para todo A E F,,.
Notese que el problema 3 caracteriza la funci6n "traza".
*4. a ) Si el campo F tiene un numero infinito de elementos, pruebese
que todo elemento en F, puede escribirse como la suma de
matrices regulares.
6 ) Si F tiene un numero infinito de elementos y sif, definido sobre F,
y con sus valores en F, satisface
1) f ( A + B ) = f ( A ) + f ( B ) ,
2 ) f ( W = Af(A),
3) f ( B A B - = f(All
31 9
para toda AEF,, I,EF y todo elemento invertible Ben F,, pruebese
que f ( A ) = a, tr A para un ~ , E Fdeterminado y toda AEF,.
5. Pruebese que el lema de Jacobson para elementos A, B en F, si n es
menor que la caracteristica de F.
6. a) Si CEF,, definamos la aplicacion dc sobre F, por d,(X) =
XC- CX para coda XEF,. Pruebese que dc(XY) = (dc(X))Y+
X(dc(Y)). (;No le recuerda esto al lector la derivada?)
6) Usando la parte (a), pruebese que si AB- BA conmuta con A,
entonces para cualquier polinomio q ( x ) ~ F [ x q(A)B],
Bq(A) =
q'(A) (AB- BA), donde q l ( x )es la derivada de q(x).
*7. osese la parte (6) del problema 6 para dar una prueba del lema de
Jacobson. (Sugerencia: Sea p(x) el polinomio minimo para A y co~~siderese
0 = p(A)B - Bp(A).)
8. a) Si A es una matriz triangular, pruibese que las entradas sobre la
diagonal de A son exactamente todas las raices caracteristicas de
A.
6) Si A es triangular y 10s elementos en su diagonal principal son 0,
pruibese que A es nilpotente.
I)'
= (A')-
'.
'
320
'
'
'
'
'
5 9.
321
DETERMINANTES
...
de que las raices deben, por tanto, ser todas reales, y el resultado
del corolario del teorema 6.n, pruebese que A puede ser puesta en
forma diagonal; es decir, que hay una matriz P tal que PAP-'
es diagonal.
b) En la parte ( a ) prutbese que P puede escogerse de forma que
PP* = 1.
La traza define una funci6n importante y irtil del anillo de las matrices
F, (y de A , ( V ) ) en F; sus propiedades se relacionan en su mayor parte con
las propiedades aditivas de las matrices. lntroduciremos ahora la funcibn,
airn mas importante, conocida como el determinante, que transforma F,
en F. Sus propiedades eSan estrechamente ligadas con las propiedades
multiplicativas de las matrices.
Aparte de su efectividad como argument0 para probar teoremas, el
determinante es valioso para usos "practicos". Dada una matriz T, podemos
construir en ttrminos de determinantes explicitos un polinomio concreto
cuyas raices son las raices caracteristicas de T; a~inmas, la multiplicidad de
una raiz de este polinomio es igual a su multiplicidad com'o raiz caracteristica
de T. En realidad, el polinomio caracteristico de T, definido anteriormente,
puede exhibirse como este polinomio determinante explicitamentel
322
TRANSFORMACIONES LINEALES
- Cap. 6
19.
DETERMINANTES
323
rcS,
..-
@ ~ n
zn1
...
ann
a,,
Notese que el deterrninante de una rnatriz A es la surna (si prescindimos,
por el mornento, de 10s signos) de todos 10s productos posibles de entradas
de A en 10s que aparezcan uno y solo uno de cada rengl6n y colurnna. En
general es una labor pesada desarrollar el deterrninante de una matrizfijtrnonos que hay nada menos que n! tkrrnino;; en la expansi6n-mas para
al rnenos un tipo de matriz podernos hacer este desarrollo visualmente, a
saber
LEMA
6.19. El determinante de una matriz triangular es el producto de
sus entradas en la diagonal principal.
Prueba. Ser triangular irnplica dos posibilidades, a saber, o todos 10s
elernentos por encima de la diagonal principal son 0, o todos 10s elementos
por debajo de la diagonal principal son 0. Probarernos aqui el resultado
para A de la forrna
TRANSFORMACIONES LINEALES
324
- Cap. 6
... A,.
2) Si
Obskrvese tambiin que si un rengldn o columna de una marriz esrli compuesta solo de ceros, entonces el determinante es 0, pues cada ttrmino del
desarrollo del determinante serh un product0 en el que a1 menos uno de 10s
factores es 0, de donde cada ttrmino es 0.
Dada la matriz A = (a,,) en F, podemos considerar su primera fila
L', = (z, l , a,,, .. ., al,) como un vector en F'"), y antilogamente para su
segunda fila, u,, y las restantes. Podemos considerar entonces det A como
una funcion de 10s n vectores o,, ..., u,. Muchos resultados se pueden
enunciar mhs sucintamente en estos ttrmjnos, por lo que a menudo consideraremos det A = d(ul, ..., 0,); en este caso la notacibn siempre se
entiende que implica que u1 es el primer rengldn, u, el segundo, y asl sucesivamente, de A.
Una observaci6n miis: aunque estamos trabajando sobre un c a m p ,
podriamos sin la menor dificultad suponer que esthbamos trabajando sobre
un anillo conmutativo, except0 en las obvias ocasiones en que dividimos
por elementos. Esta observaci6n solamente vendrl a cuento cuando
discutamos determinantes de matrices que tengan entradas polinomiales, lo
que haremos dentro de poco en esta misma secci6n.
LEMA6.20. S i AEF, y y E F, entonces d(ul , ..., ui- l , yo,, v,+ ... 0,) =
yd(u1, ., ui- 1 , ui, U I + 1, .., 0,).
N6tese que el lema dice que si todos 10s elementos de un rengl6n de A
son multiplicados por un elemento fijo y de F, entonces el determinante
de A queda tambitn multiplicado por y.
Prueba. Como solamente las entradas de la i-tsima fila han cambiado,
el desarrollo de d(u, , ..., v,- , yo,, ui+ , ..., u,) es
1(-1)"
oes,
a,,(,,
...
... a,.(.),
es claro que es
326
entonces
si
(ziI,....!xi,,).....I;
(z,, ,...,z,,) y
illi
Las propiedades que aparecen en 10s lemas 6.19. 6.20 y 6.2 1. junto con
las que aparecen en el pr6ximo lema, puede demostrarse que caracterizan
a la funcion determinante (vkase el problema 13 al final de esta seccibn).
Asi pues, la propiedad formal exhibida en el siguiente lema es basica en la
teorla de determinantes.
1 (-
I)"z~,,(
l)
Zra(r1
zm(r)... zna(n).
ncS.
,,,,,
,,
,,
,,
,,
,,
COROLARIO.
Si la matriz B se obtiene de la A mediante una permutacidn
de 10s renglones de A, entonces det A = f det B, siendo el signo + 1 si la
permutacidn es par, y - 1 si la permutacidn es impar. ,
Estamos ahora !en position de unir piezas para probar la propiedad
algebraica bhsica & la funci6n determinante, a saber, que preserva 10s
productos. Como un homomorfismo de la estructura multiplicativa de F, en
F el determinante adquirirh ciertas caractedsticas importantes.
TEOREMA
6.f. Pura A, BEF, , det (AB) = (det A) (det B).
Prueba. Sea A = (a,,) y B = (&); Sean las filas & B 10s vectores
u, , u,, ..., u,. Introducimos 10s n vectores w, , ...,w, como sigue:
328
(i,
i,
u =
i,,)
d(wl , --.,4 ) =
aeS.
..., u,.)
a,,(,)(-
...,
= (- l ) a d ( ~ I , u,) =
1)' det B
Deseamos ahora identificar ahora -d(w, , ..., w,) como det (AB). Pero
cornow, = a , , u , + ... +a,,u,,
tenernos que d(w, , ..., w,) es det C, donde el primer rengl6n de C es w, , la
segunda es w, , etc.
Pero si desarrollamos w, en tCrminos de coordenadas obtenemos
'
'
COROLARIO
2. Si A es invertible, entonces para toda B, det (ABAdet B.
I)
Prueba. Usando el teorema en la forma en que se aplico a (AB)Atenemos det ((AB) A - I ) = det (AB) det ( A - I ) = det A det B det ( A - I ) .
Aplicando el corolario I esto se reduce a det B. Luego det ( A B A - I ) =
det B.
mientras que
pij
TRANSFORMACIONES LINEALES
330
,,,,
- Cap. 6
,,,,.
Per0 el tkrrnino ( - I )"z,,,,, . . . a,,,,, es igual a ( - I)'a,,.. . a,,(pruebese). Pero a y a - ' son de la rnisrna paridad, es decir, si a es irnpar,
entonces tarnbien lo es a - I , rnientras que si a es par entonces a - es par.
Luego
' E S,,
(-
'
l)n~'zln-~ll,~~~~nn-l,n~
= det A.
zIIxi
a - V
RIB
xiA =
anl
.-. a,, xi
- - a
an,
Pero corno una consecuencia de 10s lernas 6.21 y 6.22, podemos aiiadir
5 9.
DETERMINANTES
331
y usando a,, x ,
+... +a,,xn
2,.
Ai
TEOREMA
6.u. (REGLADE CRAMER).
Si es delemiinante A del sistema de
ecrracione.~lineales
Ai
A'
....
Ejeniplo. El sistema
x,+2xz+3x, = - 5
Ix,+x,+x,
x,+x,+x,
tiene determinante
= -7
= 0
TRANSFORMACIONES LINEALES
332
- Cap. 6
de donde
TEOREMA
6.v. A es inrerrible si +v sblo si det A # 0.
Prueba. Si A es invertible. hemos visto en el corolario I del teorema 6.t.
que det A # 0.
Supongamos ahora que el det A # 0 donde A = (zij). Segun la regla de
Cramer, podemos resolver el sistema
para x , .... x, dando /3,, ..., 3/, arbitrarios. Como una transformacion
lineal sobre F'"'. A ' es pues*suprayectiva, en realidad el vector ( P I , . ., 8,)
:(
2)
5 9.
333
DETERMINANTES
LEMA
6.25. det A es el producto, contando /as niultiplicidades, de las
raices caracteristicas de A.
DEFINICION.
Dada AEF,,, la ecuacidn secular de A es el polinomio
det ( x - A ) en F [ x ] .
Generalmente lo que hemos llamado la ecuacion secular de A se suele
llamar polinomio caracteristico de A. Pero hemos definido ya el polinomio
caracteristico de A como el producto de sus divisores elementales. Es un
hecho (rkase el problenia 8 ) yue el polinomio caracteristico de A es igual a su
ecuacidn secular, pero corno nosotros no necesitarnos desarrollar esto
en tonces
de donde d e t ( x - A ) = ( x - 1 ) x - ( - 2 ) ( - 3 )
ecuacion secular de
= x2-x-6.
Asi pues, la
es x 2 - X - 6 .
Unas cuantas observaciones acerca de la ecuacibn secular: Si i. es una
raiz de det ( x - A), entonces det (I.- A ) = 0;de donde, segun el teorerna 6.v,
1.- A no es invertible. Asi pues, I. es una raiz caracteristica de A. Reciprocamente. si i. es una raiz caracteristica de A, i.- A no es invertible, de donde
det (i.- A ) = 0 y. por tanto, i. es una raiz de det ( x - A). Asi pues, el
polinomio explicit0 y computable "ecuacion secular de A", nos proporciona
un polinonlio cuyas raices son exactamente las raices caracteristicas de A.
Necesitamos subir un escalon mis y probar que una raiz dada entra como
una raiz de la ecuacion secular precisamente tantas veces como sa multiplici-
TRANSFORMACIONES LINEALES
334
- Cap. 6
= x-BAB-'
TEOREMA
6.x. Toda A E Fn satis/ace su ecuacion secular.
Prueba. Dada cualquier matriz invertible B E K , , donde K es una
extension cualquiera de F, A E F y BAB- ' satisfacen 10s mismos polinomios.
Ademas, como det ( x - BAB- ' ) = det ( B ( x - A ) B - I ) = det ( x - A ) , BAB- '
y A tienen la misma ecuacion secular. Si podemos demostrar que algun
B A B - ' satisface su ecuacion secular, se seguira de ello entonces que A
tambien la satisface. Pero podemos escoger K 2 F y B E K , de mod0 que
BAB- sea triangular; en tal caso ya vimos bastante antes (teorema 6 . k )
que una matriz triangular satisface su ecuaci6n secular. Luego el teorema
queda probado.
2.
TRANSFORMACIONES LINEALES
336
- Cap. 6
:]
det
= (det A ) (det B ) .
[ 1)
det
A2
...
11. Para cada una de las matrices de problema 10, verifiquese, por
calculo matricial directo, que satisface su ecuaci6n secular. -
Pruebese que
primera fila de A,
..., 11,)
,f'(~5,,
L,,
teristica).
6) Proporcionese un ejemplo en donde AB y BA
110 tengan
el mismo
polinomio minimo.
16. Si A es triangular prukbese, por un calculo directo, que A satisface
su ecuacion secular.
17. usese la regla de Cramer para calcular las soluciones en el campo
real de 10s sistemas:
a) x+y+z
=t
2x+3y+4z = I
x-y-z = 0
b) x+y+z+w
= I
x+2y+32+4w
x+y+4z+5w
= I
x+y+5z+6w
= 0.
18. a) Sea GL(n, F ) el conjunto de todos elementos de Fn cuyo determinante es diferente de 0. PruCbese que GL(n. F ) es un grupo
338
Haremos tambidn un uso extensivo y constante de las nociones y resultados de la seccion 4, capitulo 4, sobre espacios con product0 interior.
Aconsejamos al lector que revise y asimile por completo tal material antes de
seguir mas adelante.
Una observation mas acerca de 10s numeros cornplejos: hasta ahora
hernos evitado usar resultados que no hubieran sido probados en el libro.
Ahora, sin embargo, nos vernos forzados a desviarnos de esta norma y a
ernplear un hecho basico referente al campo de 10s nurneros complejos, el
llarnado "teoreina fundamental del cilgebra", sin que aqui lo dernostrernos.
Nos desagrada sacar tal resultado corno quien dice del aire, enunciarlo
corno un hecho y pasar sin mas a hacer uso de dl. Desgraciadarnente, es
esencial para lo que sigue y hacer aqui una digresion para probarlo nos
llevaria dernasiado lejos. Esperamos que la mayoria de 10s lectores habran
estudiado ya su dernostracion en un curso sobre variables cornplejas.
339
V E V,
entonces
I I ~ I I = JIG? =
Jm)
IIVTII.
=
V E V,
entonces T es unitaria.
Prueba. La prueba tiene el mismo estilo que la del lema 6.26. Sean
por hipotesis ((u+ o) T, (u+ v) T) = (u+ v, u+ v). Desa~ollandoy
U E V;
340
TRANSFORMACIONES LINEALES
-C s a 6
simplificando, tenemos
1) (uT, oT)+(i?T,u T ) = (u. r ) + ( r , u),
gigi.
Per0 uT =
i= 1
1= 1
n
ri T , (uT, u7T) =
i= 1
110.
ortonormal de V ; definimos =
.
34 1
1 ( u i ~(')ui.
, Un facil calculo muestra que
i = 1
L.E V acabamos
w ) y prodriamos usar esta expresion para probar las distintas propiedades que
+
+
TRANSFORMACIONES LINEALES
342
- Cap. 6
TEOREMA
6.2. Si {ol,..., on) es una bare ortonormal de V y si la matriz
de TEA(V) en esta base es (alj), entonces la rnatriz de T* en esta base es
(Bij), dondeBij = ajl.
Prueba. Como las matrices de T y T* en esta base son, respectivarnente,
x
n
1x1
aijvj y v1 T* =
f Pijvj. Ahora
i=1
bien,
x
n
I= 1
n
/a,,/'
i= 1
DEFINICI~N.
TEA( V) se llama autoadjunta o herrnitiana si T* = T.
Si T* = - T, entonces llamamos a T antiherrnitiana. Dada cualquier
SEA(V),
2
+
'*
'
y como 2
son hermitianas.
En la secci6n 8, usando el chlculo de matrices, probamos que cualquier
raiz caracterlstica compleja de una matriz hermitiana es real; a la luz del
hecho 1, esto puede cambiarse para que diga: To& raiz caracteristica de
una matriz hermitiana es real. Volvemos ahora a probar esto desde el punto
de vista, mhs uniforme, de un espacio con producto interior.
343
TEOREMA
6.2,. Si T E A ( V ) es hermitiana, entonces todas sus raices
caracteristicas son reales.
Prueba. Sea A una raiz caracteristica de T ; hay pues una v # 0 en V
tal que uT = Ac. Calculamos: A(u, r ) = (Ar, 1') = (oT, o) = (v, oT*) =
(1: L ~ T=
) (L',Ac) = X(r,
como
# 0, como tenemos A = 1, 1 es real.
11);
( 1 3 , ~ )
Si T es hermitiana y V T =
~ 0 para k 2 1, entonces vT = 0.
COROLARIO.
Prueba. Mostramos que si vT2" = 0, entonces cT = 0; pues si S =
T2"-', entonces S* = S y SS* = T2", de donde (rSS*, r ) = 0 implica que
0 = vS = uT2"-'. Continuando hacia abajo en esta forma, obtenemos
vT = 0. Si vTk = 0, entonces rT2" = 0 para 2" > k, de donde vT = 0.
V E V, entonces
344
COROLARIO
I . S i I, es una raiz caracteristica de la transformacion normal
1.N = i.o, entonces r N * = l r .
jvsi
El corolario enuncia el interesante hecho de que si i. es una raiz caracteristica de la transformacion normal N , no solamer~tees
una raiz
caracteristica de N * , sino que cualquier vector caracteristico de N perteneciente a i. es un vector caracteristico de N* perteneciente a X y viceversa.
COROLARIO
2. Si T es unitaria y si 1. es una ,raiz caracteristica de T ,
etitonces (E.1 = 1 .
Hacemos una pausa para ver adonde vamos. Nuestro objetivo ininediato
es probar que una tiansformacion normal N puede llevarse a la forma
diagonal por una unitaria. Si i,,, ..., A, son raices caracteristicas distintas
de V. usando el teorema 6.n podemos descomponer V como V = V, ...
@ V,. donde para L.,E Vi, oi(N-A,)"' = 0.De acuerdo con esto, necesitamos
estudiar dos cosas, a saber: la relacion entre vectores que se encuentran en
distintos V,, y la naturaleza caracteristica de cada V,. Cuando estas dos
cosas hayan sido estudiadas, seremos capaces de reunirlas para probar el
teorema deseado.
LEMA6.33 Si N es normal y v N k = 0,entonces i!N = 0.
Prueba. Sea S = N N * ; S es hermitiana, y s e g h la normalidad de N ,
r S k = ~ ( N N * ) '= U N ' ( N * ) ~= 0.De acuerdo con el corolario al lema 6.31.
deducimos que U S = 0,es decir, o N N * = 0.Aplicando el lema 6.31 se tiene
que ilN = 0.
COROLARIO.
S i N es normal y si para I E F , ~ ( N - r l )=~ 0, entonces
r N = Ic.
Prueba. De la normalidad de N,se sigue que N - A es normal, de donde,
a1 aplicar el lema que acabamos de probar a N - A obtenemos el corolario.
1 10. TRANSFORMACIONES
HERMITIANAS. UNITARIAS
Y NORMALES
345
1 ) Una transformaci6n unitaria (teorema 6.y) cambia una base ortonormal por una base tambitn ortonormal.
2) En un cambio de base, la matriz de una transformacion lineal se
cambia por conjugacion por.la matriz del carnbio de base (teorema 6.h).
346
Los dos corolarios que siguen son casos muy particulares del teorema 6.2,.
per0 como cada uno de ellos es tan importante por si mismo, 10s enunciamos
como corolarios para subrayarlos.
COROLARIO
I . Si T es una transjbrmacidn unitaria, entonces hay una base
ortonormal en la que la matriz de T es diagonal; equiualentemente, si T es una
matriz unitaria, entonces hay una matriz unitaria U fa1 que UTU - (= U T U * )
es diagonal.
'
COROLARIO
2. Si T es una transformacidn lineal hermitiana, entonces
existe una base ortonormal en l a que la matriz de T es diagonal; equiualentemente, si T es una matriz hermitiana, entonces existe una matriz unitaria
U fa1 que UTU- ( = UTU*) es diagonal.
'
1.1
347
LEMA6.38. T 2 0 si y s61o si T
348
TRANSFORMACIONES LINEALES
- Cap. 6
Por otra parte. si 7 2 0 podemos encontrar una rnatriz unitaria U tal que-
fii
349
supongamos que Q =
1) a2+p2 = I,
2) y 2 + 6 2 = I ,
3) ay+p6 = 0 ;
. La ortogonalidad de Q implica :
350
como Q2 - 1 Q + I
5 10.
Problemas
2. Para aquellas matrices del problema I que sean normales, encuintrense sus raices caracteristicas y llevense a la forma diagonal por una
matriz unitaria.
+I
10. Por un calculo matricial directo, prutbese que una matriz real
sirnttrica 2 x 2 puede ser puesta en forrna diagonal por una ortogonal.
11. Cornpldtese la prueba delineada para la parte de equivalencia de
matrices del teorema 6.2,.
352
a 0, entonces
24. a ) Si A
A, = ( a 1 1
a,,
...
a.a
als)
a,
...,
1 11.
363
26. Prudbese que cualquier matriz compleja puede ser llevada a la forma
triangular por una matriz unitaria.
i< j
y, , x i 2 +
r<i
TRANSFORMACIONES LIN.EALES
354
- Cap. 6
D E F I N I C I ~DOS
N . matrices simttricas reales A y B son congruente3 si hay
una matriz real no singular T tal que B = TAT'.
LEMA6.39. La congruencia es una relacidn de equitlalencia.
Prueba. Escribamos, cuando A es congruente a B, A
r B.
1) A = A pues A = I A l ' .
1 11.
366
TEOREMA
6 . ~ Dada
~ . la matriz real simkrrica A hay una matriz inoerrible
T tal que
TRANSFORMACIONES LINEALES
- Cap. 6
'
Problemas
1. Determinense el rango y la signatura de cada una de las siguientes
formas cuadriiticas reales:
a)
X,
+'2xI xr + x Z 2 .
6) x , 2 + x , x z + 2 x , x 3 + 2 x 2 2 + 4 ~ 2 ~ 3 + 2 x 3 2 .
8 11.
367
pmdbese
HALMOS,
PAUL R. Finite Dimensional Vector Spaces, segunda edici6n.
D. Van Nostrand Company, Inc.. Princeton, Nueva Jersey, 1958.
Topicos selectos
360
TOPICOS SELECTOS
- Cap. 7
1. CAMPOS FINITOS
COROLARIO
I. Sea F un campofinito; entonces F tiene pmelementos donde
el nrimero primo p es la caracteristica de F.
Prueba. Como F tiene un numero finito de elementos, el corolario 2 al
teorema 2.a, f l = 0 donde f es el numero de elementos de F. Asi pues, F
tiene caracteristica p para algljn numero primo p. Por tanto F contiene un
campo Fo isomorfo a J p . Como Fo tiene p elementos, F tiene pm elementos
donde m = [ F : Fo] segun el lema 7.1.
COROLARIO
2. Si el campo finito F tiene pm elementos, entonces todo a F
satisface a
Pn =
a.
TOPICOS SELECTOS
302
- Cap. 7
COROLARIO.
Si el campo F tiene pm elementos, entonces F es el campo de
descomposicibn del polinomio xp" - x.
Prueba. Por el lema 7.2, xp"'-x se descompone en F. Pero no puede
descomponerse en un campo mas pequeiio. porque ese campo tendria que
tener todas las raices de este polinomio y, por tanto, tendria que tener al
menos pm elementos. De esta manera, F es el campo de descomposicion de
xP"'- X.
Asi pues, para cualquier entero m y cualquier numero primo p hay, salvo
isomorfismo, cuando mas un campo que tienepmelementos. El proposito del
proximo lema es demostrar que para cualquier numero primo p y cualquier
entero m hay un campo que tiene pm elementos. Cuando hayamos hecho
esto, sabremos que hay exactamente un campo con pm elementos, donde p
es un primo arbitrario y m entero arbitrario.
LEMA
7.4. Para todo numero primo p y todo entero posirivo m exisre un
campo con pm elementos.
Prueba. Consideremos el polinomio x P m - x en J,[x], el anillo de
polinomios en x sobre J,, el campo de 10s enteros mod p. Sea K el campo
a a~ } . Los
de descomposici6n de este polinomio. En K sea F = { a ~ K l =
elementos de F son, pues, las raices de x p - x que, seglin el corolario 2 a1
lema 5.6 son distintas, de donde F tiene pmelementos. Afirmamos ahora que
4 1.
CAMPOS FlNlTOS
363
TOPICOS SELECTOS
364
- Cap. 7
365
- 1 mod p es soluble si y
366
y litil. pues surge en 10s m b variados contextos. Para citar solo un ejemplo;
conmutatiro.
Primeraprueba. Sea K un anillo finito con division y sea Z = {zEKI
zx = xz para todo x e K ) su centro. Si Z tiene q elementos entonces, como
en la prueba del lema 7. I, se sigue que K tiene qnelementos. Nuestro objetivo
es probar que Z = K, o lo que es equivalente, que n = 1.
Si aeK, sea N(a) = {xeKlxa = ax). N(a) claramente contiene a Z, y,
como una simple comprobacion revela, N(a) es un subanillo con division
de K. Asi pues, N(a) contiene qn'"' elementos para algun entero n(a).
Afirmamos que n(a) divide a n. En efecto, 10s elementos distintos de cero de
N(a) forman un subgrupo de orden qn'"'- 1 del grupo, bajo la multiplication,
de elementos distintos de cero de K, que tiene qn- I elementos. De acuerdo
con el teorema de Lagrange (teorema 2.a) q n ( " ) - 1 es un divisor de q n - 1 ;
per0 esto obliga a que n(a) sea un divisor d e n (vease el problema I al final de
esta seccion).
En el grupo de elementos distintos de cero de K tenemos la relacion de
conjugacion usada en el capitulo 2, a saber, a es conjugado de b si a = x - bx
para algun x # 0 en K.
Segun el teorema 2.h el numero de elementos de K conjugados de a es
el indice del normalizador de a en el grupo de elementos distintos de cero de
'
qn - 1
12.
367
p')- 1
vez hecho esto, la ecuacion (I) sera imposible salvo para n = I y, por tanto,
el teorema de Wedderburn habra sido probado. El medio que emplearemos
con este proposito es la teoria de polinomios ciclot6micos. (Los hemos
mencionado en 10s problemas al final de la secci6n 6, capitulo 5.)
Consideremos el p'olinomio x" - 1 como elemento de C[x] donde C es el
campo de 10s nlimeros complejos. En C[x]
TOPlCOS SELECTOS
368
- Cap. 7
n
kid
n
kin
k +d
on(x)
I=
xd- l
y @,(q)I (qn- I ) ; luego por (I), @,(q) l(q - 1). Afirmamos, sin embargo., que
si n > 1 entonces I@,(q))> q- I . Pues @,(q) = n(q-8) donde 8 toma 10s
valores de todas las raices primitivas n-tsimas de la unidad y Jq- 8 ) > q- 1
para todo 8 # 1 una raiz de la unidad (prutbese) de donde IcDn(q)l =
12.
369
Prueba. iQue es X T , ~ ?xTa2 = (xTa)Ta= (xu-ax)Ta = ( x u - a x ) a a(xa-ax) = xu2 -2axa+a2x. iQui podemos decir acerca de X T , ~ ?
xTa3 = ( x T a 2 ) T a= ( x u 2 - 2 a x a + a 2 x ) a - a ( x a 2 - 2 a x a + a 2 x ) = xu33axa2 3a2xa-a3x. Continuando de esta forma o por induction. obtenemos
y como
para i < p , todos 10s tirminos medios desaparecen y nos quedamos con
xTaP = xuP-aPx = xTaP. Ahora bien, xTaP2= X(T,,,)~ = xTaP2.y asl
sucesivamente por las potencias mhs altas dep.
370
'
I. E P ( a )
'
COROLARIO.
En el lema 7.9, xax-
' = a'
Prueba. Sea a de orden s; entonces en el campo P(a) todas las raices del
polinomio u" I son I , a, a2. ..., a" ' ya que estas son, todas, raices
distintas y son s en total. Como (xax-I)"
xu"-'
= I, y como
xax- ' E P(a),xax- es una raiz en P(a)de u" I , de donde xax- ' = a'.
Tenemos ya todas las piezas que necesitabamos para efectuar nuestra
segunda prueba del teorema de Wedderburn.
Sea D un anillo finito con division y sea Z su centro. Por induccion,
podemos suponer que cualquier anillo con division que tenga menos
elementos que D es un campo conmutativo.
Hagamos notar primer0 que si a, ED son tales que b'a = ab' pero
ba # ab, entonces ~ ' E ZEn
. efecto, consideremos N(bl) = {xEDIb'x =
xb'). N(bl)es un subanillo con division de D; si no fuera D, por nuestra
hipotesis de induccion seria conmutativo. Pero tanto a como b se encuentran
en N(bl)y no conmutan, luego N(bl)no es conmutativo, luego debe ser todo
D. Luego ~ ' E Z .
5 2.
371
'
'
'
).
'.
'
'
372
TOPICOS SELECTOS
- Cap. 7
W = {xeDlx =
i=1
P"
1 pijaib'
j= I
$2.
373
TOPICOS SPLECTOS
374
- Cap. 7
3. TEOREMA DE FROBENIUS
En 1877, Frobenius clasifico todos 10s anillos que tienen el carnpo de 10s
numeros reales en su centro y que satisfacen, adernas. una condicion que
describiremos posteriorrnente. La finalidad de esta secci6n es presentar este
trabajo de Frobenius.
En el capitulo 6 sefialamos dos importantes hechos acerca del campo de
10s numeros complejos. Los recordarnos aqui :
a"-
'+
13.
TEOREMA DE FROBENlUS
375
- y ',
de donde
ar
(.Y ria>'
I. Asi pues si
U E D,
1.
a-a
donde a, y en F
- 1 de
376
Y E F .Por lo tanto. c 2 =
\i2;
Sea k = ii. Las i, j, k que hernos construido se cornportan corno las de 10s
cuaternios. de donde T = {z, + z , i + z2J+ 2, k 1 z, , 2 , , z2 , 2, E F ) forrna
un subanillo con division de D isomorfo a 10s cuaternios reales. iHernos
construido una rtplica T, del anillo con division de 10s cuaternios reales
en D!
Nuestro ultimo objetivo es dernostrar que T = D.
Si r e D satisface r 2 = - I, sea N ( r ) = { x e D l x r = r x } . N ( r ) es un
subanillo con division de D ; adernas, r , y por lo tanto todos 10s *,+a, r ,
zo , z , E F, estan en el centro de N ( r ) . Segdn el lerna 7.10, de ello se sigue que
N ( r ) = { z o+ z , r 1 a,, a , E F . Luego si x r = r x entonces x = a. + a , r para
algunas zo a , en F.
u-a
B E F, u1 = -sat isface
B
u12 =
I . Afirmamos que wi+iw conrnuta tanto con i corno con w ; para
i(uli+iw) = iu3i+i2w = iwi+ w i 2 = (iw+ w i ) i ya que i 2 = - 1. Analogamente. w(lci+iw) = (wi+iw)w. Por la observacibn del phrafo anterior,
u'i+iuT = z ; + z ; i = ao+a, W. Si w # T esta ultima relacion implica z , = 0
(pues de otra forma podriamos resolver para w en terminos de i). Luego
u>i+iui = Z ~ E F Analogarnente.
.
wj+jw = P,EF y w k + k w = ~ , E F . Sea
Entonces
14.
377
U-51
, u = /lu1+z y p o l lo tanto,
I I E 7'.
1)
elemento de D esth en T. Como T c D concluimos que D = T ; como T es
isomorfo a 10s cuaternios reales tenemos que D es isomorfo al anillo con
division de 10s cuaternios reales. Pero esto es. exactamente. el enunciado del
teorema.
Problemas
TOPICOS SELECTOS
378
- Cap. 7
DEFINICION.
Para x = r , r , i + r , j + r 3k en Q, el adjunto de x , al que
denotaremos por x*, estl definido por x* = r , - r , i - r 2j- r 3k .
LEMA7.1 1 . El adjunlo en Q satisface
I ) x** = x
+ yy*
2 r P 2 ) j - (6r3+ rP3)k =
(ax+ YY)* = ( r o o + y P o ) - (Sr,+ yP1)i - ( 6 ~ +
S(ao-a, i - r 2 j - a 3 k )
y ( p O - p , i - P 2 j - P 3 k ) = ax*+ yy*. LO que es
claro que prueba (2).
A la luz de (2), para probar (3) es suficiente hacerlo para una base de Q
sobre 10s reales. Lo probamos para la base 1, i , j, k . Ahora bien, i j = k , de
donde (ij)* = k* = - k = ,ji = ( - j ) ( - i ) = j * i * . Analogamente (ik)* =
k * i * , (jk)* = k * j * . Ademas, (i2)* = ( - 1)" = - I = ( i * ) ' , y analogamente
para j y k. Como (3) es cierto para 10s elementos de la base y (2) se verifica, (3)
Y E Q,
N(xy) = N(x)N(y).
4.
379
+ a , + a2 + a,
2,
(PO PI
P2 8, 2 , =
~ , P ~ - ~+(aoB2-a1
, B ~ ) ~
( ~ o P o - ~ I -a2P2-a3B3)'+(aoB1
PI
+~ I B O +
P , + a 2 P o + ~ 3 8 1 ) ~+ (ao83+a1 P2-a182+a3BoI2-
.
,
TOPICOS SELECTOS
380
- Cap. 7
LEMA7. I5 (ALGORTIMO
DE L A U I V I S I ~ NIZQUIERDA).
Sran a ?. h elenienros
rlr H cot1 h # 0. Etitonces existeti (lo.\ elrtilrtitos c ?. d m H. tales <lire a =
r . h + t l \ . N ( d )< N ( h ) .
Pnreha. Antes de probar el lema, veamos que es lo que nos dice. Si
observamos la seccion del capitulo 3 que trata de 10s anillos euclidianos,
podemos ver que el lema 7.15 nos asegura que, except0 por su falta de
conmutatividad, H tiene todas las propiedades de u n anillo euclidiano. El
hecho de que 10s elementos de H puedan fallar en cuanto a conmutatividad
se refiere, no nos preocupa. Ciertamente, debemos tener un poco de cuidado
para no saltar a conclusiones erroneas; por ejemplo, a = ch+r/, per0 no
tenemos ningun derecho a suponer que a es tambien igual a bc+c/, pues b
y c es posible que no conmuten. Pero esto no influira en ningun argument0
de 10s q ue usenios.
Debemos conienzar por probar el lema en un caso muy particular, a
saber, aquel en que a es u n elemento arbitrario de H, per0 h es u n entero
positivo n. Supongamos que a = to < + t , i + t z , j + t 3 k donde t,,. t , , t , y r ,
son enteros y que h = n donde ti es un entero positibo. Sea c = x , < + x , i +
s 2 . j + x , k donde .yo. .v, x , y .r3 son enteros auli por determinar. Queremos
escogerlosen tal forma que hagan que obligadamente N ( a - c t i ) < . N ( n ) = ti2.
Pero
<
y Ito+
que es el resultado deseado. Pero afirmamos que esto siempre puede hacerse:
I ) Hay u n entero x, tal que t o = x , n + r
este x , , ( t o - x , n J = ( r J<
-.
donde - 2
3 4.
381
LEMA
7.16. Sea L un irleal iiquierdo ile H. Entonces existe un elemento
/a/ c/ue toclo elentento en L es un 11iLltip10iztluierdo de 11 : en otras palabras,
existe L r n LIE L tal (/lie todo XE L es de la/ornia x = r u dotide r E H.
UE L
LEMA
7.17. S i a~ H entonces a -
'
382
'
5 4.
383
terminado.
Para terminar la prueba introducimos un viejo truco de Euler: Si
2a = xO2+ x I + x~~ + x j 2 , donde a, x,, x , , x2 y x, son enteros, entonces
a = yo2+ y , + y 2 2+ y 3 2 para algunos enteros y o , y , , y , , y,. Para ver
esto notese que corno 2a es par, 10s x son todos pares, todos impares, o dos
pares y dos impares. En cualquiera de 10s tres casos podemos renurnerar 10s
x y aparearlos de forma que
Problemas
TOPICOS SELECTOS
384
Cap. 7
1,ecturas suplementarias
Para ilna discusion niLs profunda de campos finitos: ALBERT, A. A.,
F ~ ~ ~ i c l a ~ ~ Coriceprs
i e ~ i r a l of' Higlier Algebra. University of Chicago Press,
Chicago, 1956. ,
Para muchas pruebas del reorema de 10s cuatro cuadrados y una discusi6n
del problema de Waring: HARDY, G. H. y WRIGHT, E. M., An Ilitrod ~ ~ c r i olo
n the Tlieory of Nir~~ibers,
segunda edicion. Clarendon Press,
Oxford, Inglaterra, 1945.
Para otra prueba del teorema de Wedderburn: ARTIN, E., "Ober einen Satz
von Herrn J. H. Wedderburn", Abhancll~ingen.Hamburg, Mathemarisches
Seminar, vol. 5 ( 1928). pags. 245-250.
lndice analitico
ABEL,229, 244, 249
Abeliano, grupo, 41
Adjunci6n de un elemento a un campo,
2111
Antihermitiana, 342
Antisimetrica, matriz, 3 16
Aplicacion(es) 21, 22
composition de, 24
conjunto de todos los, inyectiva, 26,
39
identidad, 22
igualdad de, 24
inverso de un, 26
producto de, 24
restrlcci6n a un subconjunto, 28
suprayectiva, 23
inyectiva, 23
ARTIN,229, 249, 384
Asociados, 129, 147
Asociativa(s), ley(es), 25, 34, 39
Asociativo, anillo, 104
Autoadjunta, matriz, 342
Automorfismo(s):
campo fijo de un grupo de, 230
de grupos, 72
de K relativos a T, grupo de los, 231
de un grupo, 72
del campo, 229
exteriores, grupo de 10s. 76
interiores, 73
interiores, grupo de 10s. 73, 74
Axioma de elecci6n, 120
~djunto(sj,317, 320
cuaternios, 377
hermitiana, 317, 320, 341, 342
ALBERT,360, 384
Algebra, 253
booleana, 20
con divisi6n algebraica sobre F,
de todas las matrices n X n sobre
272
de transformaciones lineales, 252
lineal, 252
teorema fundamental del, 338
Algebraica, extensi6n, 204
Algebraico, elemento, 200, 201
de grado n, 203
nlimero. 205-206
entero, 206
Algoritmo:
de divisi6n izquierda, 380
euclidiano, 29
Alternante, grupo, 249
de grado n, 86
Angulo, trisecci6n del, 222
Anillo(s), 103, 253
asociativo, 104
Base(s), 162, 166
booleano, 1 12
dual, 174
cociente, 117, 1 19
ortonormal, 340
con elemento unitario, 104
dadas, matriz de una transformaci6n
conmutativo, 104
de divisi6n, 109
lineal respecto a, 266
Bessel, desigualdad de, 187
de matrices rationales 2 X 2, 106
Binaria, relacibn, 22
de polinomios, 136
B ~ K H O F 36,
F . 367
de polinomios en n variables, 146
de todas las funciones reales conti- Biyectiva. correspondencia(s), 26
nuas, 121
conjunto de todas las, 26. 39
de transformaciones lineales. 158
Booleana, ilgebra, 20
euclidiano, 126, 377
Booleano, anillo. 112
Brauer-Cartan-Hua, teorema de. 373
' homomorfismos de, 113
BURNSIDE.102
isomorfismos de, 115
no asociativo, 104
po!inomio sobre un, 146
Campo(s), 105, 109
unldad de un, 128
adjunci6n de elementos a un, 200
Aniquilador de un subespacio, 175
automofismos de, 229
-
Campos,
de cocientes, 123. 125
de descompsici6n. 2 14. 2 16-219. 236.
238
-de h~ncionesracionales en n variables.
146
simktricas, 236
extension de un. 198
fijo de un grupo de automorfismos, 230
finito. 105. 361, 363. 364
perfecto. 228
Cancelacion, leyes de, 43
Canbnica(s) forma(s), 280
de Jordan, 298
racionales. 303, 306
Caracteristica, 333
de un dominio entero, 112
finita, l 12
Caracteristicas. rakes. 26 1, 28 1-282,284
multiplicidad de las, 300
Caracteristico, polinomio, 307
subgrupo, de C,76
vector, 263
Cardan, formulas de, 243
Cartesiano, producto, 16
CAUCHY.
92
Cauchy. teorema de. 67. 92
CAYLEY.
77
Cayley-Hamilton, teorema de, 255, 307,
335, 336
Cayley, teorema de, 77
Centralizador, 55
Centro de un grupo, 55, 74
Cero, divisores de, 109
matriz, 272
Cerrado respecto a una operaci6n, 39
Ciclica, descomposici6n, 94
Ciclico, 190
grupo, 42, 47
enerador de un, 55
m& ulo, 190
subespacio. 292
subgrupo. 47
Ciclotomico, polinomio, 243, 367
Clase(s):
de congruencia, 33, 257
de conjugados. 89, 95
de equivalencia, 18
de semejanza, 279
ecuaci6n de, 90, 366
lateral derecha, 54
izquierda, 54
Cociente, anillo, 1 15, 117, 119
espacio. 160
estructura, 58
grupo, 56, 58
m6dul0, 189, 194
Cocientes, c a m p de, 123, 125
Coeficientes, 1 37
Cofactor. 336
Columna de una matriz. 269
Comhinaci6n lineal, 163
Compa!era, matriz. 305
Complejo, espacio vectorial, 178
Complemento, 16
Complemento ortogonal. 182
Composici6n de aplicaciones, 24
Congruencia. clases de, 33, 357
mbdulo n, 33
m a u l 0 un subgrupo, 48
Congruente. 354
Conjugaci6n. 88
Conjugado(s). 84
clases de, 89. 95
elementos, 88
subgrupos. 101
Conjunto(s):
ajenos. 15
ajenos, 14
mutuamente. 15
de indices, 14
de 10s enteros m6dulo n: 34
de subconjuntos, 23
de todas las aplicaciones inyectivas. 26,
39
diferencia de, I5
jmagen de un. bajo un mapeo. 23
~nfinito.28
intersection de, 14
ortonormal, 183
teoria de, 12
uni6n de, 13. 15
vacio, I3
Conmutador(es), 245
de C. 71. 245
subgrupos, mih altos, 245
Conmutativas, leyes, 34
Conmutativo(s) anillo, 104
anillos de polinomios sobre anillos, 145
grupo, 40
Construcci6n con regla y comphs, 220
Construcci6n o prueba invariante, 174,
175
~onstr"ctible, 222
nlimero, 220
Contenido de un polinomio, 143, 147
Correspondencia biyectiva. 26
Cramer, regla de, 330, 331
Crilerio:
.~
de Eisenstein, 144, 232, 24 1
de Euler, 365
Cuaternio(s), 1 18, 2 12, 220, 286, 365,
375
adjunto de un, 378
enteros, 377
norma de un, 378
Cuatro cuadrados. teorema de los, 377
Cubo, duplicacion del, 222, 223
-
Derecho, ideal. I I9
Derivada, 142, 224
Desargues, teorema de, 366
Descomponible, conjunto de transformaciones lineales. 287
Descomposicicin en ciclos, 94
Desigualdad:
de Bessel. I87
de Schwarz. 18 1. 187
del triangulo, I87
Determinante(s), 32 1
de un sistema de ccuaciones lineales.
330
de una matriz. 323
de una transformacicjn lineal. 329
Diagonal, matriz, 276. 302
subconjunto, 16
Diagonalizable. 302
DICKSON.360
DiecisietePgono regular, 224
Diferencia. conjunto, I5
(O cociente), rncjdulo, I89
simttrica de dos conjuntos, 19
Ditdrico, grupo, 61
Dimension, 168
DIOFANTO,
360
Directa, suma:
de m6dulos. 190
exterior, 160
interior, 160
Distributiva(s) ley(es), 34. 104
Divisor(es), 29
elementales, 308. 309
Division algebraica, blgebra con. 374
algoritmo de la, para polinornios, 139
anillo con, 109
Divisibilidad, 127
Dominjo:
de factorizacihn linica. 148
entero, 109
Dual(es). base(s), 174
espacro(s). 17 1 , 173
seiundo, 174
Duplication del cubo, 222, 223
de clase, 90, 366
Eisenstein, criterio de. 144. 232. 241
Elecci6n. axioma de. 120
Elementales. divisores, de una transforrnacicin lineal, 306-309
funciones sirnttricas, 234, 236
F,lernento(s):
adjuncicin de un, a un carnpo, 200
algehraico, 200
conjugados, 88
en un rncjdulo, orden de, 195
identidad. 39
orden de un, 50
period0 de un, 50
primo. 130. 147
separable. 228
Eneiigono regular, 224
GALOIS,56. 198
Galois, grupo de. 229, 239. 247, 248
teoria de. 216, 229. 237
teorema fundamental de la teoria de,
239
Gauss, lema de, 143, 145, 147
Gaussianos, enteros. 133
GELFOND,
207
Generado por:
U, subgrupo, 7 1
W, subgrupo de G, 47
Generador de un grupo ciclico. 55
Grado n:
algebraic0 de, 203
de f ( x ) , 146
de un polinomio, 138
de una extensibn, 198
grupo alternado de, 86
grupo sirnktrico de, 40, 81, 233, 246,
249, 278
Gram-Schmidt, proctso de ortogonalizacion de, 183
Grupo(s), 39
abeliano, 40
alternante, 249
alternante de grado n, 86
autornorfismos de un, 72
centro de un, 55, 74
cicliw, 42, 47
cociente, 56, 58
conmutativo, 40
de automorfismos, c a m p fijo de un,
230
de automorfismos de K relativos a F ,
23 1
de automorfismos exteriores de G, 76
de automorfismos interiores, 73, 74
de Galois, 229, 239, 247, 248
de permutaciones, 81
dikdrico, 61
factor, 58
finito, 40
generador de un, ciclico, 55
homornorfismos de, 61
isomorfismo de, 64
isomorfos. 64
orden de un, 40
simktrico, 93, 323
simple, 66
soluble, 99, 246
( u , v ) , 158
(V,W), 172, 173, 351
HomogCneas, ecuaciones lineales, 177
Homomorfismo(s), 61, 1 13
de anillos, 1 13
de espacios vectoriales, I58
.
de grupos, 61
de m6dulos, 190, 194
ndcleo de un, 62. 114
HURWITZ,207, 360, 379
Isomorfismos.
Matriz(es),
de espacios vectoriales, 158
permutation, 278
de grupos, 64
semisimitrica, 3 16
de m6dulos, 194
simCtrica real, 348
Isomorfos, anillos, 115
teoria de las 252, 265
espacios vectoriales, 158
transpuesta de una, 315
.grupos, 64
traza de una, 312
Izquierdo(a), algoritmo de divisi6n. 380
triangular, 28 1-282
unidad, 272
clase lateral, 54
Mbximo. ideal, 120
ideal, 118
Mdximo comdn divisor. 29. 128
invertible, 255
McCoy, 153
JACOBSON,
360, 372
MCKAY,92, 102
Jacobson, lema de, 314, 319
Minimo, polinomio, 202. 256
teorema de, 372
Minimo comdn mdltiplo. 34. 132
Jordan, bloque de, 298
M6dulo(s), 188. 304
forma canonica de, 298
ciclico, 190
forma de, 299
de una congruencia. 33
diferencia o cociente de. I89
LAGRANGE,
49, 360, 377
finitamente generado. 190
Lagrange, identidad de. 379, 382
finitamente generados, teorema fr~ndi~teorema de, 50, 382, 383
mental sobre, 190
Lema:
homomorfismo entre. 190. 194
de Gauss, 143, 145, 147
irreducible, 194
de Jacobson. 3 14, 31 9
isomorfismo entre, 194
de Schur, 195
orden de un elemento en un, 195
Ley(es):
rango de un, 191
asoclativa, 25, 34, 39
sobre R, 189
conmutativa, 34
M6nic0, polinomio, 144
de cancelaci6r1, 43
Morgan, leyes de De, 19
de inercia de Sylvester, 354
MOTZKIN.127, 153
de las casillas, 110
Mdltiple, rafz, 225
de Sylvester, 354
Multiplicative, sistema, 125
distributiva, 34
Multiplicidad de una raiz, 21 1
doblemente distributiva, 104
Multiplicidad de una raiz caracteristica.
LINDEMANN,
207
300
Lineal(es):
Mdltiplo, minimo comdn, 34
blgebra, 252
Mutuamente ajenos, 15
com binacih, 163
ecuaclones;
n-variables:
determ~nantede un sistema de, 330
anillo de polimonios en. 146
homogkneas, 177
c a m p de las funciones racionales en.
rango de un sistema de, 177
146.
expansi6n, 163
polinomlos en, 233
funcional, 173, 188
Newton, identidades de, 242
independencia, 162
Nilpotencia, indice de, 289
Linealmente dependientes, vectores, 164 Nilpotentes, transformaciones lineales.
LIOUVILLE,
207
287, 288
Longitud, 178, 180
invariantes de, 292. 293, 294
NIVEN,207, 250
MACLANE.
36
No abeliano, 40
Matrices n X n sobre F. 271
No asociativos, anillos, 104
Algebra de todas las, 272
No negativas, transformaciones lineales.
Matriz(es), 265
347
columna de una, 270
No triviales, subgrupos, 46
compafiera, 305
Norma, 180
de una transformaci6n lineal respecto
de cuaternios, 378
a bases dadas, 266
Normal(es), extensi6n. 236, 237, 240
determinante de una, 323
subgrupo(s), 56, 57
diagonal, 276, 302
transformaci6n lineal. 338, 343, 34.5
escalar, 272
Nbcleo. 158
renglbn de una, 270
de un homomorfismo, 62, 1 14
hermitiana. 317, 321
Nbmero(s):
ortogonal, 349
algebraicos, 205-206
_
Ndmero(s1
constructible. 220
primo, 30
trascsndente, 205, 207
Primo. elemento.
raiz primitiva de un. 365
Primos relativos, 130
Principales, anillo de ideales, 127
Principio de las casillas, l I0
Producto:
cartesiano, 16
de aplicaciones, 24
interior, 178, 180
punto, 179
Propio, subconjunto, 13
Proyeccion, 22
Punto, producto, 178
Orhita de S respecto a e, 83
Orden:
de G , 40
de un elemento. 5 1
de un elemento en un m5dulo. 195
Operation, cerrado respecto a una, 39
Ortogonal(es), 182, 349, 350
complemento, 182
matrices, 349
Ortogonalizacion, proceso de Gram- R-modulo. 189
Schmidt, 183
unitario, 189
Ortonormal, base, 340
Racional(es), forma. can6nica. 303. 306
conjunto, 183
func~ones,139, 233
campo de, 235
psubgrupo de Sylow, 98
simttricas, 233. 234
Pappus, teorema de, 366
polinomios sobre un campo, 143
Par, permutaci6n. 85
Radical de un ideal, 152
Partici6n(es), 193, 294
Radicales, soluble por, 243, 244, 247,
de un entero, 93
249
Pentadecagono regular, 224
Raiz ti-2s-(ma primitiva de la unidad, 242
Pentigono regular, 223
Raiz(es), 2 1 1 , 224
Pequefio teorema de Fe~.mat,37 1
caracteristicas, 261, 28 1. 282. 284
Perfecto, campo, 228
de polinomios, 21 1
Periodo de un elemento. 5 1
multiples, 225
Permutacion(es), grupos de. 8 1
multiplicidad de una, 21 1
impar, 86
Rango, 356
matriz de una, 278
de un m6dul0, 191
par, 85
de un sistema de ecuaciones lineales,
Perpendicularidad, 178, 182
176
Pi (7). funcihn, de Eules. 5 1. 77. 2 19. 242
de una transformaci6n lineal, 257. 258
Pol~nomio(s):
Keal(es):
anillo de, 136
anillo de las funciones continuas, 121
anillos de, sobrc con~nutativos.145
cuaternios, 107
caracteristico, 307
espacio vectorial, 178
ciclot6mic0, 243, 367
formas cuadriticas, 353
contenido de un, 143
matriz simttrica, 348
en n variables, 233
Reflexividad de relaciones. 17
general de grado tr. 244
Regla de Cramer. 330. 33 I.,
grado de un, 138
Regla y compis. construcclon con, 220
irreducible, 140
Reglas de De Morgan. 19
minimo, 202, 255
Regular:
mbnico, 144
diecisieteigono. 224
primitivo, 143
heptigono, 223
raices de un, 210
hexigono. 223
simktrico, 236
n-igono, 224
sobre el campo racional. 143
pentadecigono, 224
sobre un anillo. 146
pentigono. 223
valor de un, 200
transformacion lineal, 255
POLLARD,
249
Relaci6n(es):
Positiva, transformacion lineal. 347,
binarias, 22
Positivamente definida. transformacron lide equivalencia. 17
neal, 347
reflexividad de una, 17
Primitiva, 148
simetria de una. 17
raiz n-tsima, de la unidad. 242. 367
transitividad de una. 17
Relativos, primos, 130
plinomio, 143
enteros primos, 30
r e de un primo. 365
Primo, elemento. 1 30. 147
Rengldn de una matriz, 269
Residuo cuadratico, 100, 365
ideal, 151
Res~duo,teorema de1,-200
numero, 30
Submodulo, 190
Suma:
directa exterior, 160
directa interior, 160
Suprayectivas, aplicaciones, 23
SYLOW.92, 97
Sylow, teorema de, 68, 97, 98 101,
82
Sylvester, ley de, 354
Sylvester, ley de inercia de. 354
Teorema:
de Brauer-Cartan-Hua. 373
de Cauchy, 67. 92
de Cavlev. 77
de caylei-~amilton,255, 307,
335, 336
de Desargues. 366
de factorizacibn Cnica, 31, 141
de Frobenius. 374
de Jacobson, 372
de la teoria de Galois, fundamental,
239
L'ransformaci6n (es)
not tnal. 343, 345, 347
p1~41\l\il,
347
Vacio, conjunto, 13
Valor de un polinomio, 200
Valor propio, 261
VANDER WAERDEN,
249
VANDIVER, 367
Vector(es). 157
caracteristicos. 263
linealmente dependientes, 164
Vectorial(es), espacio(s), 155
complejo, 178
homomorfismo entre, 158
isomofismo entre, 158
real, 178 ,
WAERDEN,VAN DER, 249
Waring, problema de. 383
WEDDERBURN,
359, 366
Wedderburn, teorema de 361, 365, 367,
382
WEISNG~~~~
WIELANDT,97
Wilson, teorema de, 99, 135
Unidad en un algebra de matrices, 272 WRIGHT,384
Unidad cn ud anillo. 128
,I-64ma raia. prirnitiva de, 242. 367
Unitin tie conjuntos, 13, 15
2 X 2, anillo de las matrices racional'es,
Unitwio, K-mdulo, 189
U ~ k a r i a ,transformaci6n. 338, 342, 346
106
hacer practicas sobre 10s resultddos obtenidos. Otrcip problerhas se han *luido
no tanto para ser resueltm en ,su totalidad, sino mas bien para que el estudiante, a1 intentar su soluci6n, maneje y se
ejercite en 10s diferentes aspedos del
tema, teniendo asi oportunidad, precisamente por la dikultad que ofrece la soluci6n, de conocer varios caminos hacia la
misma. Otros problemas se han incluido
como material preliminar o precursor de
conceptos que proseguirhn en el orden
del aprendizaje.
'
OBRA A F ~ N
Anhlisis matemhtieo
Curso de introdmi&
-'