Professional Documents
Culture Documents
D E F I N I C I ~LaNextensidn
. Kde Fesunaexlensidn simple de F si K = F(%).
para al@n a en K.
/.. =-.0 1 - 0
b-b,
Como F es de caracteristica 0 tiene un numero infinito de elementos, de
donde resulta que podemos encontrar un elemento y s F tal que a(+ ybj #
o+gh para todo i y para toda j # I . Sea c = o+yb; nuestra tesis es que
F(c) = F(o. b ) . Como csF(o, b) no hay duda de que F(c) c F(o. 6). De-
mostraremos que tanro o como b estan en F(c) de lo que se sigue que
F(a, b) c F(cJ.
Como h satisface al polinomio g ( x ) sobre F, lo satisface tambien mando
lo constderamos un polinomio sobre K = F(c). Ademas, si h ( r ) = f(c- yx).
entonces h ( x ) s K [ x ] y h ( h ) = f(c-;'b) = f(a) = 0, ya que o = c-76.
Luego en una extension de K. h(x), y g ( x ) tienen x-h como factor comun.
Aseguramos que x - b es, en realidad, su miximo comljn divisor. Pues si
b, # b es otra raiz de g(.O, entonces h(bj) = f(c-yb,) = 0, ya que, por
nuestra election de ;,, c - yb, para j # I esquiva todas las raices a j de f(x).
Ademas, como (x-b)'.+'g(x), (x-b)' no puede dividir al maximo comun
divisor de h ( x ) y g(x). Asi pues, x - b es el maximo comun divisor de h ( x ) y
g ( x ) sobre alguna extension de K. Pero entonces rienen un meximo comun
divisor no trivial sobre K , que debe ser un divisor de x-b. Como el grado de
I - b es I, vemos que el maxim0 comun divisor de g ( x ) y h(x) en K [ x ] es
exactamente x-b. Luego x - b ~ K [ x ] . de donde b e K : recordando que
K F(c), obtenemos que beF(c). Como a = c-yb, y como b. CEF(C),
~ E cFF(c), tenemos que a ~ F ( c )de , donde F(a, b) c F(c). Las dos relaciones
de contention opuestas nos dicen que F(a, b) = F(c).
-
I. Si F es de caracterlslica 0 y f ( x ) c F [ x ] es taI quef'lx)
que f ( x ) a e F.
= 0, pmCbese
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.
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. ELEMENTOS DE LA TEORIA DE GALOIS 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,). 4
D E F I N I C IK
~Nes. 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, en-
tonces 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.
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. 4
Si ~ ( x )F[x]
E se descompone en factores lineales sobre F, entonces K = F,
que ciertamente es una extension normal de F. Asi pues, supongarnos que
f ( x ) tiene un factor irreducible p ( x ) ~ F [ x de ] grado r > I . Las r raices
distintas a , , a,, . .., a, de p ( x ) todas se encuentran en K y K es el campo de
descomposicion de f ( x ) considerado como un polinomio sobre F(a,).
16. ELEMENTOS DE LA TEORIA DE GALOIS
Como
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),
T por tanto, r(a(t)) = a(t); es decir, si y s610 si
r€G(K, T ) y ~ E Ta, ( t ) ~ y,
'
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 precisa-
mente 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 a€G(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 homo-
modismo 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 teo-
rema 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
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, me-
diante 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 combina-
ciones 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 encon-
trarse 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 SOLUBlLlDAD POR RADICALES 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.
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 .
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.
NIVEN,I., "A simple proofpf the irrationality of IT", Bulletin of the American
Mathematical Society, vol. 53 (1947), pag. 509.
4 3. MATRICES 265
.
3. MATRICES
viT= zaijvj,
j= 1
para i=1,2,...,n .
El conjuntoordenado de n2 nlimeros a,) en F describe completamente
a T. Nos serviran como medio para representar T.
bien,
v, Q = x n - I D = ( n - I ) X " - ~
rn, ( D ) = 0 2 0
0 0 :3 ...
Q 0 0 ... ( n - I ) 0
W, D = I L) = 0 = Ow, + O w 2 + +Own,
268 TRANSFORMACIONES LINEALES - lbp. 6
/O (n- 1) 0 0 0 O\
0 0 (n-2) 0 ... 0 0
0 0 0 (n-3) .-. 0 0
m2(D)=
0
. -... ... .........
0 0 0 ... ... 0 1
0 0 0 ... 0 0
/ 0 oo... 0 0
1 0 0 ... 0 0
-2 2 10 ... 0 0
-3 0 3 0 0
I
m3(D) = . . . . 0 0
..... 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
i
= l(aii
i
i
+ rij)ui.
Pero entonces, por lo que se entiende por matriz de una transformacion
lineal en una base dada, m(S+ T) = (Aij) donde Aij = aij+ rlj para toda i y
toda j. Un chlculo de la misma clase muestra que para ye F, m(yS) = (piJ)
donde pij = raii para toda i y toda j.
El c~lculomis interesante, y tambitn el mhs complicado, es el de m(ST).
k
x
Tenemos ahora vi(ST) = (0,s) T = ( x aikvk)T = aik(vkT). Sin embargo,
k
v, T = 1rkivj ; lo que sustituido en la formula anterior, nos da
i
(Prutbese). Por tanto, m(ST) = (vii), donde para todo i y para toda j,
UiJ = 1
k
Tk~-
(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
Sea S la transformaci6n lineal -sobre V definida por viS = wi. Como
u , , ..., u, y w,, ..., w, son bases de V sobre F, S transforma V sobre V, de
donde, segun el teorema 6.d, S es invertible en A(V).
Ahora bien, w,T = FBijwj; como wi = viS, a1 sustituir esto en la
J
expresidn para w,T obtenemos (viS)T = 1Bij(vjS). Pero entonces
I
u,(ST) = ( 1 B,,v,)S; como S es invertible, esto se simplifica hasta obtener
i
v,(STS- ') = 1Bijvj. Por la misma definici6n de matriz de una trans-
i
formaci6n lineal en unas bases dadas, m,(STS-') = Vij) = mz(T). Pero
la aplicaci6n T+m,(T) es un isomorfismo de A ( V ) sobre F,; por tanto,
'.
ml (STS- ') = m, (S)m, (T)m, (S- ') = m, (S)m, (T)m, (S)- Reuniendo
todo lo que hemos estado estudiando, obtenemos m2(T) = m,(S)m,
',
(T)m, (S)- que es exactamente lo que se afirma en el teorema.
Ilustramos este irltimo teorema con el ejemplo de la matriz de D que
antes estudiamos, en varias bases. Para minimizar el c8lcul0, suponemos
que V es el espacio vectorial de todos 10s polinomios sobre F de grado 3 o
menor, y D serh, como antes, el operador diferencial definido pro (a,+
a1x+a2x2+a3x3)D= a1+2a2x+3a3xZ.
Como anteriormente vimos, en la base v, = 1, v2 = x, v3 = x 2 y
v4 = x3, la matriz D es
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. MATRICES 275
Problemas
para cualesquiera a, BE F.
9. Una matriz A E F, se dice que es una matriz diagonal si todas las
entradas fuera de la diagonal principal de A son 0, es decir, si A = (aij)
y a,j = 0 para i # j. Si A es una matriz diagonal tal que sus entradas
sobre la diagonal principal son todas distintas, encudntrense to&s las
matrices B E F , que conmutan cor. A, es decir, encutntrense todas las ma-
trices B tales que BA = AB.
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
DEFINICI~N.
El subespacio Wde V es invariante bajo T E A( V )si WT c W.
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 trans-
formaci6n 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 m=
( T ) k para cualquier k 2 0. Por consiguiente, para cualquier polinomio
~ q(T) = q(T). Para cualquier
q ( x )F[x], -q ( x ) ~ F [ xcon] q ( T ) = 0, como 6
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
~ entonces p , ( x )1 q(x). Si p(x) es el polinomio rninimo para
para q ( x )F[x],
T sobre F, entonces p ( T ) = 0, de donde p ( T ) = 0; en consecuencia,
P l W I P(x).
TEOREMA
.
veremos que despuCs de que T se ha llevado a la forma triangular, 10s
elementos de la diagonal principal de su matriz juegan el siguiente signifi-
cativo papel : son precisamente las raices caracteristicar de T.
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
Problemas
1. Prudbese que la relaci6n de semejanza es una relaci6n de equivalencia
en A ( V ) .
14. FORMAS CANONICAS: FORMA TRIANGULAR 285
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. FORMAS CANONICAS: TRANSFORMACIONES NILPOTENTES 287
5. FORMAS CAN~NICAS:
TRANSFORMACIONES NILPOTENTES
Una clase de transformaciones lineales que tienen todas sus raices carac-
teristicas 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 vec-
torial, 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 usa-
dos en la prueba del teorema 4.j con 10s utilizados para probar el lema 6.10.
Antes de concentrar nuestros esfuerzos sobre transformaciones nilpo-
tentes probemos un resultado de inter& que verifica transformaciones
lineales cualesquiera.
Prueba. Escojamos una base de V como sigue: v,( '),..., u, (') es una
base de V,, v , ( ~ ) ,..., G, es una base de V2, y asi sucesivamente. Como
cada V,es invariante bajo T, oi') TE Vi, luego es una combination lineal de
ul('), ..., on,('), y solamente de ellos. Asl pues, la matriz de Ten la base asi
escogida es de la forma deseada. Que cada A , es la matriz de Ti, la trans-
formacibn lineal inducida sobre Vi por TI es claro por la misma definicibn &
matriz de una transformation lineal.
16. FORMAS CANONICAS: TRANSFORMACIONES NILPOTENTES 289
M, denotara la matriz t x t
NOTACION.
.
cuyas entradas son 0, except0 en la superdiagonal donde todas son 1.
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.
"' M,,
donden, a n 2 > ... > n r y d o n d e n , + n 2 + ... +nr = dim, V.
LEMA 6.9. S i U E V l es ral que u T " ' - ~= 0, donde 0 < k < n , , entonces
u = uo T k para algtjn u , V~l .
TEOREMA 6 . DOS
~ transformaciones Iineales nilpotentes son semejantes
si y so'lo si tienen las mismas uariantes.
%la
un simple calculo muestra que
ATA-' = o o o .
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,
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. FORMAS CANONICAS. UNA DESCOMPOSICION DE V: FORMA DE JORDAN 297
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 .
Volvamos a1 teorema por un momento; usamos la misma notacion
T i , V i que en el teorema. Como V = V , @ ... @ V,, si la dimensi6n de V i
es n , , por el lema 6.7 podemos encontrar una base de V tal que en esa base la
rnatriz de T sea de la forma
DEFINICION.
La matriz
donde cada
como T-A es nilpotente, seghn el teorema 6.1, hay una base en que su
matriz es de la forma
Problemas
1. Si S y T son transformaciones lineales nilpotentes que conmutan,
pruibese que ST y S + T son transformaciones lineales nilpotentes.
2. Mediante un calculo matricial directo, demukstrese que
no son semejantes.
3. Si n , 2 q , y m , 2 m , , pruebese, mediante un calculo matricial
directo que
0 0 0 1 0
es semejante a
-
zable si es semejante a una matriz diagonal (tiene una base en la que su
matriz es diagonal).
*14. Si T esta en A(V) entonces T es diagonalizable (si todas sus raices
caracteristicas estan en F) si y solo si siempre que v(T-A)'" = 0, para
L'E V y A E F, entonces u(T- A) = 0.
D E F I N I C ISi
~ Nf(x)
. = yo+ y1 X + ... +y,-, xr-' +xr esth en F[x]
entonces la matriz r x r
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
donde cada
D E F I N I C ILa
~ Nmatriz
. de T en el enunciado del corolario anterior se
llama forma candnica racional de T.
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 polino-
mio, 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.
*
m k 0, de donde para cualquier polinomio f ( x ) ~ F [ xy]para cualquier V E V,
( ~ : f ( S ) )= (v*lf( T).
Si f ( S ) = 0, entonces ( v $ ) f ( T ) = 0 para cualquier U E V y coma $
transforma V sobre W tendriamos que W f ( T ) = (0). a consecuencia de lo
cual f ( T ) = 0. Reciprocamente, si g ( x )F[x]~ es tal que g ( T ) = 0, entonces
para cualquier r e V, (l.g(S)$ = 0 y como JI es un isomorfismo, esto nos dice
que [g(S) ='O. Esto desde luego implica que g ( S ) = 0. Asi pues, S y T
satisfacen el mismo conjunto de polinomios en F[x],de donde deben tener el
mismo polinomio minimo
Problemas -
8. TRAZA Y TRANSPUESTA
DEFINICI~ LaNfraza
. de A es la suma de 10s elementos de la diagonal
principal de A.
k= 1
Bikzkj.
+
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.
donde
La traza nos provee de una funcional lineal sobre Fn (y, por tanto,
sobre A,( V)) en F, extremadamente litil. lntroducimos ahora una impor-
tante transformaci6n de Fnen si mismo.
Prueba. Laspruebas de las partes (I) y (2) son muy sencillas y se dejan
como ejercicio para el lector; nos contentamos nosotros con la prueba de la
parte (3).
Supongamos que A = ( a i j ) y B = ( B i j ) ; entonces AB = (Aij) donde
n
Por tanto, por definition, (AB)' = ( p i j ) , donde p i j = ,Iji =
k=l
1 ajkPki.
Por otra parte, A' = ( y i j ) donde y i j = a j i y B' = ( t i j ) donde t i j =p j i ,
n n n
de donde el elemento (i, j ) de B'A' es 1 t i k y k j = 1 Pkia
k= 1 k= l
jk = 1 a,ikPki=
k= I
p i j . Es decir, (AB)' = B'A', con lo que hemos verificado la parte (3)del lema.
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. TRAZA Y TRANSPUESTA 317
Problemas
1. PruCbese que tr ( A + B ) = tr A +tr B y que para AEF, tr (AA) =
A tr A.
2. a ) Usando un argument0 basado en la traza pruebese que si la
caracteristica de F es 0 entonces es imposible encontrar A, BEF,
tales que AB- BA = 1.
6 ) En la parte (a), pruebese que en realidad 1 - ( A B - BA) no puede
ser nilpotente.
3. a ) Sea f una funcion definida sobre F,, con valores en F tales que:
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
18. TRAZA Y TRANSPUESTA 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.
9. Para cualquier A, BEF, y LEF prudbese que (A')' = A, (A + B)' =
A'+ B' y (IA)' = I A ' .
10. Si A es invertible, prutbese que ( A - I)' = (A')- '.
11. Si A es antisimttrica, prukbese que 10s elementos en su diagonal
principal son, todos, cero.
12. Si A y B son matrices simdtricas, prukbese que AB es simdtrica si y
solo si AB = BA.
13. Proporci6nese un ejemplo de una A tal que AA' # A'A.
*14. DemuCstrese que A y A' son semejantes.
15. Los elementos simktricos en F, forman un espacio vectorial;
encuentrese su dimensi6n y exhibase una de sus bases.
*16. Denotemos por S el conjunto de 10s elementos simitricos de F,;
pruebese que el subanillo de F, generado por S es, todo, F,.
*17. Si la caracteristica de F e s 0 y AEF, tiene traza 0 (tr A = 0) pruCbese
'
que hay una CEF, tal que CAC- tiene solamente 0 en su diagonal principal.
*18. Si F es de caracteristica 0 y AEF, tiene traza 0, pruCbese que existen
B, CEF, tales que A = BC-CB. (Sugerencia: Primer paso, sup6ngase,
por el resultado del problema 17, que todos 10s elementos diagonales de A
son 0.)
320 TRANSFORMACIONES LINEALES - Cap. 6
9 . DETERMINANTES
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
D E F I N I C I ~SiN A
. = (oij), entonces el determinante de A, lo que se
escribe: det A, es el elernento de F
rcS,
.
( - I )Qz,,(l,a2,(,, .. a,,,,,
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 matriz-
fijtrnonos 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
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.
entonces
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.
Prueba. Como hay dos renglones iguales, s e g h el lema 6.22, d(u, , ...,
01-1, Ui+uj, UI+I,..., uj-1, 17j+1,..., 0,) = 0. Usando el lema 6.21
u ~ + u j 9
varias veces po&mos desarrollar esto para obtener d(v,, ..., v,-, , v,, ...,
~ j - ~ , u...,
j , 0,)+ 1 , ..., ~ j - l , u i , ..-,0,) + d(ul,...,v1-l,
d(u1, ..., ~ ~ - uj,
u,, ..., uj- 01, ..., on) + ,,
d(u1, ..., 0,- uj, ..., uj- ,, uj, ..., 0,) = 0.
Pero ca& uno de 10s 6ltimos dos ttrminos tiene en tl dos renglones iguales.
de donde, seglin el lema 6.22, cada uno es 0. La anterior relacion se reduce
entonces a d(v,, ..., v,-, , u,, ..., vj-, , vj, ..., v,) + ,,
d(vl, ..., vl-
,,
uj, ..., vj- vi, ..., 0,) = 0, que es precisamente lo que el lema afirma.
Prueba. Sea A = (a,,) y B = (&); Sean las filas & B 10s vectores
u, , u,, ..., u,. Introducimos 10s n vectores w, , ...,w, como sigue:
328 TRANSFORMACIONES LINEALES - Cap. 6
d(wl , --.,4 ) = 1
aeS.
a,,(,)(- 1)' det B
Deseamos ahora identificar ahora -d(w, , ..., w,) como det (AB). Pero
cornow, = a , , u , + ... +a,,u,,
COROLARIO
2. Si A es invertible, entonces para toda B, det (ABA- I) =
det B.
Prueba. Sea A = (aij) y A ' = (bij): desde luego, pij = zji. Ahora bien
mientras que
330 TRANSFORMACIONES LINEALES - 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
Finalrnente, corno a recorre S,, a - ' recorre tarnbien por ello S,,. Luego
= det A.
Ai
De donde. .rj = -. Esto es
A
Ai
us dijkrente de cero, entonces la solucidn del sistema ~'ienedada por x i = -
A'
rlonde A , es el determinante obtenido de A a1 reemplazar en la i-hima columna
par P I , Dz. ....
fin.
Ejeniplo. El sistema
x,+2xz+3x, = - 5
Ix,+x,+x, = -7
x,+x,+x, = 0
tiene determinante
332 TRANSFORMACIONES LINEALES - Cap. 6
de donde
TEOREMA
6.v. A es inrerrible si +v sblo si det A # 0.
.
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)
..., - . Por ser suprayectiva, seglin el teo-
es la imagen bajo A' de -1,
rema 6.d, A' es invertible, de donde A es invertible (pru~bese).
Podemos ver el teorema 6.v desde un punto de vista alternarivo y
probablemente mas interesante. Dada A E F , podemos sumergirla en K,
donde K es una extension de F escogida de mod0 tal que en K,, A pueda ser
puesta en forma triangular. Hay, por tanto, un BE K, tal que
en tonces
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. Reciproca-
mente. 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-
334 TRANSFORMACIONES LINEALES - Cap. 6
B(x-A)B-' = x-BAB-' =
de modo que det ( x - A ) = det ( B ( x - A ) B - I ) = ( x - i . , ) m l ( x - j . l ) m l. . .
( x - l , ) " * , y, por tanto, cada i.,, cuya multiplicidad como raizcaracteristica
de A es m i , es una raiz del polinomio det(x- A ) de multiplicidad exactamente
igual a m i . Y hemos probado el
TEOREMA
6.x. Toda A E Fn satis/ace su ecuacion secular.
:]
6. a) Si A y B son submatrices ccadradas, prutbese que
[ 1)
h ) Generalicese la parte !a) a
det A2 ...
11. Para cada una de las matrices de problema 10, verifiquese, por
calculo matricial directo, que satisface su ecuaci6n secular. -
*12. Si el rango de A es r, prukbese que hay una submatriz cuadrada -
r x r de A de determinante distinto de 0, y si r <n, que no hay ninguna
+ +
submatriz ( r I ) x ( r I ) de A con esta propiedad.
*13. Seaf una funcion de n variables de F'") a F tal que:
a) ,f(r,, ..., c,) = 0 para r i = L;.EF(")con i # j.
6) f ( r l , ..., a r i , ..., r n ) = a f ( r I , .... r,) para toda i y ZEF.
Prueba. La prueba tiene el mismo estilo que la del lema 6.26. Sean
u, U E V;
por hipotesis ((u+ o) T, (u+ v) T) = (u+ v, u+ v). Desa~ollandoy
340 TRANSFORMACIONES LINEALES -C s a 6
simplificando, tenemos
1) (uT, oT)+(i?T,u T ) = (u. r ) + ( r , u),
para cualesquiera u; L:E V. Reem plazando en ( 1 ) I: pro ir y calculando esto nos
da
2) - ( u T , o T ) + ( r T , u T ) = -(u. r ) + ( r , u ) .
Sumando (I) y ( 2 ) obtenemos (uT. r T ) = (u, o) para cualesquiera
u, V E V, de donde T es unitario.
n
de donde por la ortonormalidad de las pi, (u, W ) = gigi. Per0 uT =
i= 1
ortonormal de V ; definimos =
.
1 ( u i ~(')ui.
i = 1
, Un facil calculo muestra que
(ui,w)=(uiT,c.), de donde el elemento tc. tiene la propiedad deseada.
Que u1es unico puede verse como sigue: Supongamos que (uT,v) = (u,ul,) =
(u, w,); entonces (u, ul, - 117,) = 0 para toda U E V, lo que obliga al poner
P
u = U ' ~ - U ' ~ a q u e r c , = u.,.
El lema 6.28 nos permite dar la siguiente
DEFINICION.
Si T E A (V ) , entonces el adjunto liermitiano de T , al que
representaremos por T*, se define por (uT, 1.) = (u, rT*) para cualesquiera
u, l l E v.
Dado L.E V acabamos de obtener una expresion explicita para rT* (como
w ) y prodriamos usar esta expresion para probar las distintas propiedades que
deseamos tenga T*. Pero preferimos hacerlo de mod0 que no tengamos
que depender de una base determinada.
1x1
aijvj y v1 T* =
1
f Pijvj. Ahora
i=1
bien,
I= 1
aljEik= 0 para j # k, mientras que
n
/a,,/' = 1. En ttrminos de productos punto sobre espacios vectoriales
i= 1
complejos, esto nos dice que 10s renglones de la matriz de T forman un
conjunto ortonormal de vectores en F'") bajo el producto punto.
DEFINICI~N.
TEA( V) se llama autoadjunta o herrnitiana si T* = T.
2
+
'*
'
y como - son hermitianas, S = A+iB, donde tanto A como B
2 y2i
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.
5 10. TRANSFORMACIONES HERMITIANAS, UNITARIAS Y NOAMALES 343
TEOREMA
6.2,. Si T E A ( V ) es hermitiana, entonces todas sus raices
caracteristicas son reales.
LEMA
6.3 1. Si S E A ( V )y si cSS* = 0, entonces rS = 0.
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.
COROLARIO.
S i N es normal y si para I E F , ~ ( N - r l )=~ 0, entonces
r N = Ic.
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.
como cada i i 2 0,cada pies real, luego S hermitiana. Por tanto U*SU es
hermitiana: per0
1) a2+p2 = I,
2) y 2 + 6 2 = I ,
3) ay+p6 = 0 ;
350 TRANSFORMACIONES LINEALES - Cap. 6
Problemas -
1. Determinese cuales de las siguientes matrices son unitarias, cuales
hermitianas. cuales normales.
A, = ( a 1 1 ... als)
a,, a.a a,
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'.
'
Luego hay 'una matriz de la forma requerida en la clase de congruencia de A.
Nuestra tarea es ahora demostrar que esta es la unica matriz en la clase
de congruencia de A de esta forma o. lo que es equivalente. que
Problemas
LEMA 7.3. Cualesquiera dos campos finitos 9ue tienen el mismo ntimero
de elementos son isomorfos.
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.
TEOREMA 7.A. Para todo nljmero primo p y todo entero positiro m, hay un
campo ljnico 9ue tiene pmelemenros.
LEMA 7.6. Sea K un campo y sea G un subgrupo finito del grupo multi-
plicatilio de elementos distintos de cero de K. Entonces G es un grupo ciclico.
Problemas
y litil. pues surge en 10s m b variados contextos. Para citar solo un ejemplo;
la unica prueba conocida del hecho puramente geomktrico de que en una
geometria finita la configuracion de Desargues implica la de Pappus (para
la definicion de estos terminos vCase cualquier buen texto de geometria
proyectiva) consiste en reducir el problema geomttrico a uno algebraico, y
este problema algebraico tiene una solucion basada en el teorema de
Wedderburn. Para 10s algebristas, el teorema de Wedderburn ha' servido
como trampolin para saltar a una gran Brea de investigacion, durante algunas
decadas, concerniente a la conmutatividad de anillos.
I=
k +d
on(x)
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. TEOREMA DE WEDDERBURN SOBRE ANILLOS FlNlTOS CON DIVISION 369
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.
LEMA 7.9. Sea D un anillo con dirlisidn de caracteristica p > 0 con cenfro 2,
y sea P = {O, 1, 2, . . ., (p- 1)) el subcampo de Z isomorfo a J,. Sapongarnos
370 TOPICOS SELECTOS - Cap. 7
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'.
TEOREMA 7 . ~ (JACOBSON).
. Sea D un anillo con dirisidn tal que para todo
a e D existe un entero positiro n(a) > 1, dependiente de a, tal q~rea"'"' = a.
Entonces D es un campo conmutatiro.
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 :
TEOREMA 7 . (FROBENIUS).
~ Sea D un anillo con divisidn algebraico
sobre F, el campo de 10s.ntimeros reales. Entonces D es isomorfo a uno de
10s siguientes: el campo de 10s n~imerosreales, el campo de 10s ntimehos
complejos, o el anillo con diuisidn de 10s cuaternios reales.
ria>'- =
I. Asi pues si
1.
U E D,
a-a
Si D es conmutativo, escojamos a e D, a$ F y sea i = - donde a, y en F
Y
se escogen de mod0 que hagan i2 = - 1. Por tanto, D contiene a F(i), un
campo isomorfo al campo de 10s numeros complejos. Como D es conmutati-
vo y algebraico sobre F es evidentemente tambien algebraico sobre F(i).
Segun el lema 7.10 concluimos que D = F(i). Luego si D es conmutativo
entonces es F o F(i).
Supongamos, entonces, que D no es conmutativo. Afirmamos que el
centro de D debe ser exactamente F. Si asf no fuera, habria un a en el centro
que no %ria de F. Pero entonces para algunas a, yeF, .-(I = - 1 de
i Y )
forma que el centro contendria un campo isomorfo al'& ios numeros
complejos. Pero, de acuerdo con el lema 7.10, si 10s numeros complejos
(o un campo isomorfo a cllos) estuviese en el centro de D entonces D = C,
luego D seria conmutativo. Por tanto, Fes el centro de D.
a-a
Sea asD, a#F; para algunas a, ~ E Fi ,= -satisface i2 = - 1. Como
Y
i#F, i no esta en el centro de D. Por lo tanto hay un elemento beD tal que
376 TOPICOS SELECTOS - Cap. 7
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
Supongarnos que u E D, u $ F . Para algunos 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. Analoga-
mente. 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. CUATERNIOS ENTEROS Y EL TEOREMA DE LOS CUATRO CUADRADOS 377
Problemas
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
+
2 ) (Sx yy)* = Sx* + yy*
4 ) (xy)* = y * x *
para todo x , y en Q y cualesquiera reales S y y.
.
particular debe conmutar con x*. Por consiguiente, N ( x y ) = x ( y y * ) x * = ,
( x x * ) (YJ*) = N ( x ) N ( y ) .
que es el resultado deseado. Pero afirmamos que esto siempre puede hacerse:
n
I ) Hay u n entero x, tal que t o = x , n + r donde - - < r. < ti- ; para
2 2
n
este x , , ( t o - x , n J = ( r J< -.
2
3 4. CUATERNIOS ENTEROS Y EL TEOREMA DE LOS CUATRO CUADRADOS 381
+ +
I ) Hay iln entero k lal que to I t , = k t i r y 0 < r < n. Si k - t o es par,
-
+ +
pcingase 2.r, = k - t,, ; entonces to 21, = (2x, to)n r y It,+ 21, - +
(2.\-, + t,,)tl( = r < ti. Si, por otra parte, k - to es impar, hagamos
I.\-, = k-t,,+1;entoncest0+Zt, =(2.rl+t,-I)n+r =(2x,+to)n+
r-ti. de donde I t o + 2 t , - ( I x , + t o ) t i ) = ( r - t i I C t i ya que O < r < t i .
Podemos, pues, encontrar un entero .r, que satisfaga 1to+2t, -
(I.r,+ t l , ) t l l < 11.
3) Corno en ( 2 ) . podemos encontrar enteros s2 y x, que satisfacen
+ + + +
1 to 2t2 - ( I x 2 tO)ti1 < t i y Ito 21, -(2.r3 to)nl < t i respectiva-
menle.
En el caso especial en que a es un elemento arbitrario de H y h es un
entero positico. hemos niostrado que el lema es cierto.
Vamos ahora al caso general en que a y b son elenientos arbitrarios de
H y h # 0. Segun el lema 7.14. n = hh* es un entero positivo. luego exisle
un CE H tal que ah* = oi+d, donde N ( d , ) < N(n). Luego N(uh* -cn) <
N(t1); pero t i = hh* de donde tenemos N(ab*-&be) < N(n) y, por tanto.
N ( ( a- ch)h") < NO?) = N(bh*). De acuerdo con el lema 7.12. esto se reduce
a N(a-ch) N ( b * ) < N(h)N(be);como N ( b * ) > 0 tenemos N(a-cb) < N(b).
+
Haciendo d = a - cb tenemos a = ch d donde N ( d ) < N(b). Y esto
completa la prueba del lema.
Como en el caso conmutativo, podemos deducir del lema 7.15 el
LEMA
7.17. S i a~ H entonces a - ' E H st' y solo s i N(a) = 1.
Prueba. Si tanto a como a - esthn en H, entonces. segun el lema 7.14,
tanto N(a) como N ( a - I ) son enteros positivos. Pero aa- = I. de donde, '
de acuerdo con el lema 7.12. N(a) N ( a - ') = N(aa- I ) = N ( I ) = 1. Luego
ha de tenerse N(a) = 1.
382 TOPICOS SELECTOS - Cap. 7
*
N(2u) = N ( 2 ) N ( u ) = 4p ya que N ( 2 ) = 4 y N(u) = p. Hemos demostrado
+ +
que 4p = mo2+ ( 2 m , + m o ) 2 (2m2+mo)2 (2m3+ m o ) 2 . Y ya casi hemos
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
1,ecturas suplementarias
Para ilna discusion niLs profunda de campos finitos: ALBERT, A. A.,
i e ~ i r a l of' Higlier Algebra. University of Chicago Press,
F ~ ~ ~ i c l a ~ ~ Coriceprs
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 Ilitro-
d ~ ~ c r i olo segunda edicion. Clarendon Press,
n the Tlieory of Nir~~ibers,
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
OBRA A F ~ N
Anhlisis matemhtieo
Curso de introdmi&
. . I