}1=A®A-A

/.

M E HonlK (A ®A, A)

I.

p.=A®A-A

;..

}1 j.lH _ 1 K

p.=A®A-

k

}1p) en H ,;m

J.l=A A-A

,.

M E HOITIK (A ®A, A)

II

!1=A®A-A

j,

M t Hom , (A®A, A)

I

,u=A A-A

I.

f ITIK(A®A A)

~ I,

j..t=A®A-A

"

~lA4® )

k 'Ii

J1=A~A-A

l

J.1 E Horn , (A ® A, A)

k

J.L=A~A-A f.l=A®A-A

l I

JlfHonlK(A®A,A) j.LEHomK(A A,A)

I }

por

ESTRUCTURAS ALGEBRAICAS VII (ESTRUCTURAS DE ALGEBRAS)

Artibano Micali

Institut de Mathematiques Universite de Montpellier II Montpellier, FRANCIA

Secretaria General de la

Organlzacl6n de los Estados Americanos

Programa Regional de Desarrollo Cientifico y Tecnol6glco Washington, D.C. - 1983

© Copyright 1983 by

The General Secretariat of the Organization of American States Washington, D.C.

Derechos Reservad os, 1983 Secreta ria Genera 1 de la

Orga nizacio n de los Estados Americanos Washington. D.C.

Esta monografia ha sido preparada para su publicacion en el Departamento de Asuntos Cientificos y Tecnol6gicos de la Secreta ria General de la Organizaci6n de los Estados Americanos.

Editora: Eva V. Chesneau

Asesor Tecnlco:

Dr. Hector A. Merklen

Instituto de Matematica e Estatistica Cidade Unlversitaria "Armando de Salles

Oliveira"

Sao Paulo. Brasil

El programa de monograHas cientfficas e s una faceta de la vasta labor de La Organizaci6n de los Estados Americanos, a cargo del Departamento de As unt o s Cientific05 y Tecno16gicos de Ia Se c r e ta r Ia General de dieha Organizacion, a cuyo financiamiento contribuye en forma i rrrpo r t a nt e elPrograma Regional de Desarrollo Cientifico y T'e c no Iog i c o ,

Concebiclo par los J'e Ie s de Estado Am oric a.no s en su Re mi o n c e lebrada en Punta del Este, Uruguay, c n 1967, y c r i s ta Ii z a do en las deliberaciones y !nanda t05 de la Quinta Reul1i6n del C onsejo In te ra rrie r l ca no CuLtural, llevada a cabo e n Ma ra cay Ven ez ue.Ia , en 1968, e I Programa Regional de Desarrollo CientHico y TCCDOl6pco e s Ia e xp re s i o n de las a s pi r a ci one s preconizadas po r los Jefes de Estado An .. e r l ca no s en 01 s cn ti do de poner la cicneia y Ia rec no logfa 0.1 s e r vi.c i o de los pueb lo s ia t inoa m c r i ca nc s .

Dorrio s t r an do gran v i s Ion , d ic h o s dignatarios r cc ono c i e r on que 10. c i eric ia y la te.c n.o Iogfa e s tan t.ra n s Io r n .. ando Ia e s cr uc ru r a e c o norrii c a y social de mucha s na c i on o s y que, en e s ta h o ra , por 581' m s t r um en co indispensable de progreso on Arrie r i c a Latina, nc c c s Ita n un irrrpu l s o sin preceden teo,

III

El P rograma Regional do Desarrollo C Lentfft co y 'I'e c no Iog i co "5 un complemento de los e s Iu e r z o s nacionales de los pa I's e s latinoamerica!"lOS y so orienta ha c ia Ia adopei6n de rrvecl i da s que p e r rn ira n e I Iorne nto de 10. investigaci6n, Ia e n s ejta nz a y la ch Iu s i o n de la c i enc ia y La te c no , Iug Ia: la Io r.ma.cl on y pe rIec c ioria nvi e n to de personal c i entff'i co; ellntercambio de tnfo r-rna.c i one s , y La t r an s Ie rcn c ia y a.da pta c l Sn a los parses Ia bi noarn e r i ca no s del c ono c irrri e nto y las te cuo Icgfe s g ene ra da s en ot ra s r egiones,

En el c unvpfi rrii e nto de e s ta s p r errri s a s fun.da m en ra Le s , el p r o g r a ma de monog r affa s r op rc s cnta una cont r lbuc ion di r e c ta a La en s e ha n za de las c i cnc Ia s en niv e le s e.duc a ti vo s que a h a rc a n i rnpo r ta n tfs i rno s s e c to , res de la pob la c i o n y, a I rn l s rno t i e rripo, propugna la di fus ,6,1 del s a be r c i e nfffi c 0,

La coLecei6n de rr orio g r-a.Ha s cientfficas consta de c ua tr o series, en e a pafto I y po r tu g ue s , s o bro t e rrra s de Ifs lc a, qu.Irrric a , b i o l og Ia Y'l'llatwma ti ca . Desde sus c o rn i e n z o s , e s ta.s ob r a s se destina ron a p r o fe s o r e s y e lurnno s de c i cn c ia s de Los pr irn e r o s a n o s de 10. un l ve r s i da d; de e s to s s c bene t e s t i rriorri o de s u buena a cog ida ,

Este p r e fa c io brinda a l Programa Regional de Desarrollo Ci e ntf!ico y Tecnot6gico de l a So c r e ta r fa General de la Organizaci6n de Los Estados Americanos Ia ocasi6n de a g r-a d ec e z- a I doctor A r fi ba no evlicall, autor de e s ta rrio.no g r a ffa , y a quienes t e n ga n e L i n te r Es y buena voluntad de corit r ibu i r a s u di vu lga c i on ,

n ov i e rrrb t-e de 1983

INDICE

A los Lectores...... .••••••••. • ••••••• .•• •••••.•••.•••.• iii

Fagina

Int r oducc ion •••••••••••••••••••••••••••••••••••.••••••.•

CAPITULO 1. MODULOS SEMlSIMPLES

I. ), 1. Z. 1. 3. 1. 4. l. 5. 1. 6. l. 7.

Modulos Sj rrip l.e s ••••••••••••••••••••••••••••••• Modulos Sernt s Irnpl.e s ..•.•.•...•..•••••••...•••• Anillos Se rni s i mp ie s •..•••••••.•..••••••..••...• Sobre el Radical •.•••..••••.•..•..••••.........• Anillos Artinianos ................•••.••..••••.• Anillo s Srrnp le 5 •••••••••••••••••••••••••••••••• Ejercicios .••••••••••••••••••••••••••••.••••..•

CAPITULO Z. ALGEBRAS SEMISIMFLES

2. 1. Z.2. 2.3. 2.4. 2.5. 2.6. 2.7.

Definiciones y Ejemplos •..........•••.......•••• Producto Tensorial de ALgebras .•..•••••••••••... Algebras can Division y el Teorema de Frobenius .•

.Alg eb ra s de Cuaternios •..•••..•••••••••••.•.•••

Algebras Simples y Sernisimples ...•••.......•••• Algebras Centrales Simples .•.....••••••••.••••. Representaci6n Regular y una Caracterizacion

de las Algebras Centrales Simples .••...........

Eje r c ic ioe y C omplementos .••..••.•••..••..••.••

CAPiTULO 3. EL GRUPO DE BRAUER

2.8.

3. 1. 3.2. 3.3. 3.4.

Grupo de Brauer ......•.........•••••••••...••.

Subcu e i-po s Maxj rna Ie s •••••••••••••••••••••••••• El Teorema de Skolem-Noetber .••••••••••••••••• Grupo de Brauer de un Cue rpo Algebraicamente

Cerrado ••••••••••••••••.•••.••.••••••....•••

Grupo de Brauer de un Cuerpo Separablernente

Cerrado .••••......•.••.••...•••••••••..•...•

Grupa de Brauer de un Cuerpo Finito .

Grupa de Brauer de los Nurne r o s Reales y Caracterizaciones del Cuerpo de los Cuaternios .• Al.g una s Informaciones Co mp le rrien ta r ia s •••••••••• Eje rcicios y Compiemen,as ••••••••••••••••••• , , •

3 4 5 9

11 14 17

21 25 ;::6 28 29 30

v

3.5.

3.6. 3.7.

3.8. 3.9.

32 35

39 41 42

44

45 46

47 49 50

Indice de Notac:iones. .•••...••••••••••. ••••••••••• ...•. .• 55

Indice Alfa be t ic o , • . . .•••. . . . . • • •••• • • • • • . . • • ••••• •• • • . • • 57

Bibliografta •• • •• • • • • • • • • • • • • • • . • • . • •• • • . . • • •• • • • •• . • . . . 61

1

as rrian g ue i r a s do Pj c i,

INTRODUCCI6N

$i tuv i e r a m o s que f'i ja r una f e c ha para e l o r i g en de las ma terna tl ca s qlle se presentan en este fa s cf'c'ul o , no hay Ia rn en o r duda de que 10 situarfamos ell !843, a partir de Ia corrs t r uc c i on , par W. R, Hamilton (1805-1865), (1) del primer ej e mp lo de un euerpo no c on rrru ta t.i vo ; e1 euerpo de los cuaternios. Las ideas de Harni Iton tuvieron Lmpo rta nte s consecuenclas como, por ej ernp Io, Ia e la bo r a ci on a xtorna.tl ca del algebra lineal, CUyOE principios Iu e r on enunclados en forma ~'meral pOl' B. Pierce, en 1870, Ad e rria s , el ca r a.cee r no c onrrruta ti vo de las operactone s de Ha rn i l.ton ha c on s trtu.i do un va Ii o s o a po r te ala no c i on de ley de c ornpo s l c i on ,

El paso a tgui ent.e fue dado po r F. G. F'r ob cn lu s (1849-1917). (~) uno de los rna t erria tt co s n'as o ri gi r.a l e s de Ia s e g un da mitad del s Ig lo pasado. F'robenius dcrno s t r o q ue el c uc rpo de los cuaternios e s Ia 6nicu. algebra a s oc Ia tl va , pero no c on rrrut.a t i va , s ob r e R de rango £inito y sin di vi s o r e s de c e r o, Estc r e s ul ta do ta mbi Sn fu e demostrado de rna n e r a independiente po r Cha de s Sander s Peirce 0839- 1914). Pei Tee, hombre de c u ltu r a universal, era hijo del rna te rnzi tl c o Benjamin Pelree, qui e n dc s c r-ub r Io una i rrrpo r ta.n te identidad, La id"ntidad de Peirce. a saber: en un algebra alternatlva A, para tocto Ide rnp o te n tc e Ii: .:j, s e fi un e X = e xe ... (ex - e xe t + (xe - exe', ... (x - ex- xe +exe) y e s to , pa r a todo x E -: "I. Tal identidad pe r rrn t c dar W1a des compos ici6n natural del algebra A y s u s c cn s e c ucn ci a s son i m.po r te nt e s para e l e e tudi o do la os ; tructura de algebras a It e rn a tlva s semlsimples. (0) Es la demostraci6n dada po r Dickson del teorema de F'r cbc ni us Ia que se consigna en e s t e texto (d. e l teo r erna 2,3. 1. l.

Con La c on s t r'uc c i on del algebra de Cayley [Ar thur Cayley, 1821- 1895), (04.) que constituye e I primer e je rrip.Io de algebra a l tc r na ti vu ,10 asociativa, fue posible an un c ia r Ia fo r rria general del t e o r e rna de Frob erri us (cf. e l teorema 2.3.2.). (9) Subsiguienternentc, los t r aba.jo s rundamentales de Ia Es<;;uela No r te a rric r-i c aria , cuyo max irno representante e s A. A. Albert, hicieron 10 que fa Ita ba 0 sea 1a forrnulaci6n de una teo r Ia coherente de algebl·as centrales simples. E1 libro de Albc r t, (0) pub Ii ca do en 1939, e s Ia s Int e si s de Io qu e ha s ta c s e errton c e s s e corio-. cfa s o o r c e I torria , Una r e Io r rriu la ci Sn de Ia ce o rfa Ia cia:N. Bourbaki(") anos D,as tarde (1958i, paro hay que e s pe r a r haste. 1967(0) para c on ta r c on una teo rfa completa de algebras c nnt r a l e s s e pa r a b l e s 0 algebras de Azurnaya s o b r e un anillo c ua Iq ui e r a , Por s upue s to, no Be pueden o lv i - dar los irrrpo r ta nt e s t r a b aj o s de M. Auslander(s) que cont r ibuyc r on "dar forma definitiva ala te o r Ia de :il!>eb,as de Azurnaya.

Para p r ofun di z a r recomienda a I lector Bourbaki. (0)

en el tema, d c s dc e1 pun to de vista hist6rico, so c on s ul.ta r 10. nota hist6rica del libro de :'-1.

Est a rnonog r-affa e s una introducci6n ala teor!a de algebras centrales simples 0 algebras de Azu:maya sobre un cue r po, destinada a despe rta r en algunos j6venes e1 des eo de conacer una de las mas be rrno sa s teorfas rnatemi1ticas hasta hay canstruida.: La teor!a de i11gehras de Azumaya ,

Deseo ag ra de ce r a todos los que de una mane ra u otra contrihuyeron ala pubHcaci6n de e s ta monografra y, muy particularmente, a los a s esores U\cnicos de Ia Organizaci6n de los Estados Ame r icano e , que me llevaron a es c r ibt r un texto ma e apropiado a la realidad latinoameri - cana.

Bibliogra£ra Hist6rica

(1) HAMILTON, W. R. Elements of Quaternions. Chelsea Publ. Co., Nueva York, N. Y., 2 vol s. (1969).

(G) FROBENIUS, F. G. Gesanunelte Abha.ndlungen, Springer-Verlag, Berlrn, 3 vo l s, (1968).

(3) SCHAFER R. D. An Introduction to Nc na s s oc i a t'iv a Algebras.

Academic Press, Nueva York, N. Y. (1966).

(4) CAYLEY. A. The Collected Mathematical Papers, Cambridge Univ. Press, Cambridge. J4 vols. (1889-1898).

2

(5) ALBERT. A. A. Structure of Algebras, AMS Colloquium Publications. N° 24. Providence, R. I. (1939).

(6) BOURBAKI, N. Arg'eb r e, Hermann, Pads. cap. 8 (1958).

(7) BASS. H. Lectures on Topics in Algebraic K-Theory, Tata In s t, Fundamental Research, Bombay (1967).

(8) AUSLAN DER, M. Y GOLDMAN, O. The Brauer Group of a Commutative Ring, 1'r':ll1s. Am. Mcdh. SO(!., 97, 367-409 (1960).

(9) ALBERT, A. A. Absolute Valued Real Algebras, Ann. Maf;:h.,48, 495-501 (1947).

M6DULOS SEMISIMPLES

1

En e s te c a pf'tu Io se e xp orid r a n algunos c o nc e p tc s co rnp Ie rn e nta r-i o s sabre 190 t eo efa de mo du Ios simples y s e mt s r mp le s , Se supone que e I lector c o noc e los elementos de Ia te o r Ia de anillos V mcduto e , a s f como

Larrrbi e n 108 pr odu c to s tensoriales. (00) .

En 10 que sigue, po r el termino a n i l l o se e nte nde r a anillo con elemento unidad y que to do modulo es urri ta r i o. Ad e ma s , salvo rrie nc i on c ont r a r ia , e l termino m6dulo significa modulo a 1a izquierda.

1.1. MOnULOS SIMPLES

Sean A un a rri l lo y M un A-m6dulo (a la izquierda). Se dice que /I, es un A"'MC-du1..c olmp"!e 0 -,'~.r·1:jedt~r:.~iL,~eJ $i /II. es distinto do c e r o y si los unicos subm ddu lo s de M son 11. y el modulo cera. Es c la r o que s i N es un subm6dulo de un ,J-m6dulo N, entonces el jl-rn6dulo cociente M/N e s simple si, y 8610 si, N es un subrn6dulo maximal de;lf. De c i r que N e s un wub~r-d~··;?'() ,rna.ri-!nal de lJ q u i e r e d e c i r que i.Y 'f }4~ e s t o e s, N es un

subrn6dulo p r o pi o de M, y 9i}.f' e s un subm6dulo de ill tal que 11 eM' <u, 3

entonces N", .1(' 0 N' =,If. La s i g u i e nt.e proposici6n vale para m6dulo de

t i po finito:

Proposici6n 1. L 1. sec» ,( '/A)·I. en '"' ~,V uri ,.~._~~,{F];_.._t() ,.:}e t{~ .. o .-r£n.{-tr?

Todo .[nJ;·r7,'o.~-iU:o ,'_'!'Cp'/o de Jif ~~~~:::,j (jDnterd{~,~"J (':rI. uri .:T'..:O.'r'!I{lc/UZ.C ,1-"'1a.;:d.!":·".i,:: de J(.

51 M es un A-m6dulo de tipo finito, La familia de todos los subm6dulos propios de JJ e s ~,'n.d··ct{!)G. I;;) En efecto, s i !Ndu:r c s una familia totalmente ordenada de subrn6dulos p r op io s de ).f, e nt o nc e s U 1f, e s un IE!

subm6dulo propio de N, pue s 51 se supone que U .lf1 = N, existe un fnd ic e

I Er

m tal que N. = N. Para d erno s r r-a r esto s e r e c u r r e a I h e c h c de que M e s

de tipo finito. En e f'e ct o , s i Xl, ... ,Xo as un sisterna de gene r a d o r e s de N, para c ada Ind Ic e i, 1,;; 1, ,;; r'., ex i s t e un Ind i.c e J( t) tal que XI E J.f'(1l Y s i m = max(J( 1), ... ,j(n}), e nt.o nc e s XI E H. para to do t., 0 sea,.lf =\ N~. Par el l ema de 2m.,., {ct. 15\ La familia de todos los subm6dulos propio s de N admite un e lemento maximal. Dado ahora un subm6dulo pro. pia N de N, basta considerar Ia fa rni l ia , no va c Ia., de subm6dulos propios de)f que contienen a Iv" Y aplicar a tal familia un argurnento an,Hogo.

La siguiente p ro po s ic i on rnue st ra ot r a rn an e r-a de e xp r e s a r el hecho de que un m6dulo sea silnple:

Proposici6n 1. 1. 2. . .s'~!.:.1r.~.4. 'u.n, (;p1.1~.tI(.l ,'1 M uri A-.'r!'c(i'uZc. LaB [rr9"IA-t(;~n-

tee corU.11.(!lQr/ec-; son equ'i.:).:r~eY!.tes: (i) 11. f:.~· un. A-~6(TIA~() e irn»l e ; (H) tcdo apZ1:cQf.·//:6ri f...- l.i neo.L 1= N ~ /J1 de V en: iAn· A-.'·'16d,'.d.~) lifT ~3 'i-VUf:r.··n>;a. 0 ~':~d :~9

En efecto, f :.If «, If' inyectiva equivale a Kerlf) '" a y f nula equivale a Ker(f) '" 14, a 1rn(/) ::0 D.

Si M e s un A-m6dulo y X e s un elemento de N, s e de no ta par AX el AsUbm6dulo a la izquierda de )f genorado par x, a sea AX ~ [ax I (l E A j 01 conjunto de los mUltiplos de x, La p r opo s lc Idn que sigue ofrece tambien ot r a forrna de expresar e1 hecho de que un rnodu lo sea simple:

Proposici6n 1. 1. 3. PQ!'4 un A-modulo M, I.as 3igui(mtes condi.aionea SOn eoui.ua l.enbee : (i) /if ee 7171 A-r,,6dulD s1.r.",,·Ze, !! (H) papa todo e i.ement.o X de M, x r! 0 iienemoe Ax::o M.

102. M6DULOS SEMISiMFLES

Soan A un anillo y N un fl-m6dulo (a 1a izquierda). Se dice que M e s un A-madufo semiwimp7e si,lf e s Is sums directs de subm6- dubs simples de M. Es c la r o que todo m6dulo simple e s semisimple. pero hay ej cmp l.o s de m6du1os semisimplcs que no son simples.

Ejemplo 1. 2. 1. Sean K un cuerpo conmutativo y II = M.(K) e1 aniUo de matrices cuadradas rlXI"; con c oe fi c i e nt e s en K, donde 1";", I e s un entero. E1 A - m6dulo A e s se rrrl s irnpl e , En efecto, sea I. e1 conJunto de matrices (au) de A, donde al~ = 0 para t: = 1, ... ,n, y para J = 1, ... , n, J;i k , Es facil vel' que I. es un ideal a La izquierda de A, 0 sea lin Asubrnodu lo a Ia izquierda de A, que;; '" 11 e ... e In yquecada I. es un A -m6dulo s i rnp Ie, En c cns e cue nc ia , A e s un ~ -m6dulo semisimple.

4

Proposici6n 1. 2. Z. Scan A iJ..rI ani l7.o ,Ii AI -I',m· A-1JI6c~v.!.o~ L;~[; 81:c(ui,en-

te~:.~ uond1·-.~-·tDne8 son eauival.ent.ee .. (i)}If ee ·un Jl.,._mdduZo ~emiwf.ryrle; (ii) M es 8"U~a. de A-subm6a~r.-f.Z.os siJ.1Y!!e8, if (iii) t-::::O'o A-submodv.Zo /e l.{ es 814-

mandc d1:rJ(~(-t(l de M. '

La condici6n (ii) dice que ,If e s suma, no nee e sa r ta rne nre direeta, de subrn6dulos simples y r e s u Ita c l a r o que La condici6n (i) impUca (iil.

Sup6ngase ahara que la condici6n (iii s e cumple y e s c r i ba mo s M = IN"

lEI donde cada M, es un;' - subm6dulo simple de N. Sea N u n A - sUbm6dulo de

J.f y mostremos que N es un su.ma ndo dlrecto de M. En efecto, sea F(l) La familia, no vac Ia , de los subconjuntos,7 de I tales que La surna H +

+ L N, sea directa. La familia ra, e s inductiva Y. par ,,1 lema de

!EJ

Zorn. F'(1) achnite un == iT til e 11, ee d i r e c ta ,

IEJo

pues si f'ue r a M~ n P", D. entonces .r, U ttl pertenecer:Caa F(I) y, par 10 tanto, Jo no s e r Ia maximal. Como].f, e s simple, resulta s e r .1(, n P = 0:::: ./.fl' 0 sea 14, c t- para todo t en I. Estosignificaqua.lf cp, esto es M== F. Se ha mostrado as} qua M ~ JT$ r:J M! 0, Io que es e qu i va Ie nbe , que

!€Jo

e l ern ent o maximal .To. 0 sea Ia suma P Es obvio que e i t. E J - Jo, entonces .\f( i1 P ri D"

N es un sumando directo de M. Esto demuestra que 1a condici6n (H) trnplica (iii). Sup6ngase ahora que la c ond i c i o n (iii) s e cumple y mostrerno s que e1 A-m6dulo /if as samisimple, 0 sea que (iii) implica (i). Para e s tc , se mostrara. inicialrnente que 11 posee un subm6dulo simple. Sea x un elemento no nulo de M yconsideremos la familia F'(X) de los subm6-

dulos II de N tale s que X ~ N. Una ta I familia e s no va cfa y e s inductiva V, po r 10 tanto, admite un elemento maximal No. Ex i s te , entonces. por hip6te 5 is, u n subm6dulo P de ;If ta 1 que No $ ? = M. Se afirma que a l Am6dulo P e s simple. En efe cro, sea P1 F 0 un subm6dulo de F; po r hip6- tesie, A. es sumando directo de F, 0 sea que existe un A-s\lbm6dulo p. de Ptal queP"'?l $ POI 'f la maximalidad de No implica que X E P1 (£) No y que X ~ p~ tJJNo• esto ee, s e puede e sc r ib i r X='Xt ~ lh '" X:; + li:;, donde Xl EPI ('I, '" 1, i!) e 111 e No (i.- = 1,2.1. La c orid i c i Sn Yl - b':a '" - Xl + Xa E No n P = 0 estabLece que Xl '" x~ '" 0 'I, po r 10 tanto, x= b1 = 11, E No, 10 que e s abBurdo. Esto demuestra que P e s un A.m6dulo simple. Cons ide r e se ahara Ia familia (P, )it! de los subm6dulos simples de 'v. de manera tal que la

surna I P, sea directa y que, ad erna s, I sea maximal can e s a propie-

i E'l

dad. Una v e z mas e s to es po sible po r ellerna de Zorn. Resulta s e r N = '" ® P" pue s 5i no 10 fu e r a, s e be nd r Ia ilf = ( 1> PI) $ Q, donde Q -j 0 e s un

'EI lEI

subm6dul0 de M. Por 10 d i c ho , Q contiene un subm6dulo s i.rnpl e p., con

k ~ I, yes [aei! v e r que la su ma )' F, e s directa, loquecontradice 'Elut. J

Ia maximalidad de I.

Corolario 1.2. 3. Sean A «":1 eXn.-l Z· Z.o "!:I 0 ... /t(I -}o(. _. fill _. 0 lA.r..a ~ru~e[d6r.'.

\21"'/.:eta de. A-modu.ZOH. En t.oncen ei A-'r7'Io(r1i(O),f e s 3(-J"11:S- .. r.~~~<.e sl, U er5TG ei,

l.OD A-rnoduZ·QB M' l1 ,,~.j" G()n. fjemfst-::rrZ@.$ h l.a 3t~r...~~{]1:cm eo eeci.ndida,

En vi r tud del co r o la r io , todo subm6dulo y todo m6dulo c c c ie nte de un rn6dulo s erni s i mp le e s s erni ai mp le ,

5

Pr ... opo aici6n 1. 2..,4" ~ean ,f::. "1_.l11 ... :1.Y!'/ 1./-0 N .v, un A-''7Icd~'Z(l de t'i;~")O .. fi.rdto.

E7. A-mod!." to ,11 88 cem: e um: i·e ,1'I~ J jA ~t) to B1~ ~ AI ee [l /APiQ di :pee to elf: 'un 11.Un:exjo fIn.ito de A-mt.·dv_?o8 ui-I1:pTc[L

Como N e s e emi efrrrple, e s surna d i r e c ta de una familia (Mdw de iI-m6duJos simples. Sea {;>;''l. •••• x. J un c onjunto finito de g ene r ado re s de M; ex.i s te entonees un subconjunto finito J de 1 tal que x, E $ MJI t: '"

= 1, ... ,1», luegoM'" $Af~. ~EJ

~EJ

1.3. ANILLOS SEMISIMPLES

Se dice que un aniUo iI can elementounidades ee,w(,d"U,t" s i 4, considerado c orrio un A-m6dulo a la izquierda, es unA-rn6dulo semisimple. E1 teorema siguiente ca r ac te r i za los anillos se rni ai mp lc s r

TeOr(UT1a 1. 3. L Fo:r~ iA.ri. anl. ll o 11 ·:·an e l ement.o uni.dad., [.CU_~ f>1~(rl!It:t'~toes eondi eionee son €/{u1:pal,entes: (i) A es tal. arril ].c seuTi.'s1:'r'!iPZrJ.; (ii~ «cdc A-mod-u1.o es serr1isi!'1pZe; (iii)to.::lo 4 .... t"lcch ... do 198 r-~l)oy~~~t:I-~;Q~1 (iv) todo AmoduZo en 'i.'f1ye.r!t-i-I)Oj :i1 (v ) t oda euceeion exact:a o~ A-m6J\ .. <·Cls 0 ..... /r/I -N~ ~ M" - 0 GS eeci.ndida,

La demostraci6n de e s te importante teo r e rna sabre anillos semisimples e s ba s tant e s anc Il la s i se tiene en cuenta 10 d i cho en los pa r a-. grafos anteriores yalgunos resultados elementales sobre m6dulos.

De he cho , 81 il e s un a n i l l o s e rn i s Lrnp Ie , e st o e s lin A-modulo semisimple, todo A -modulo libre e s s arrri s i rrip Ia , pu e s una surna d i r e c ta de modulos sernisimples es t a m hi e n s e rrri s i rnp.Ie (d. e I eje r crc io 1. 7.1. ). C0IT10 t od o modulo e s cociente de un modulo Lib r e , s rg ue que todo Amodulo e s s emisimple. Se demuestra a e f que (i)=> {i i }, Sup6.1ga s e ah ora que 1a c c nd i c ib n [i i ) s e c urnpl a y sea V un A-m6dl1lo. Se sabe q ue e xi s tc una s uc e s i Sn e xa c ta de A-modulos 0 - R - L -!.f - 0, donde L e s Hb r e y R e s un s u brno du lo de L. Por e1 c o r o le ri o 1. 2. 3. , Una tal s uc e - sion s e eseinde y, po r 10 tanto, ,!,f e s p r o ye c t i vo , pues e s s urna nd o directo del A-modulo libre L. Esto dice qlle (ii) '" (iii). Admftase ahora que se cumple la condici6n (iii) y sea !,f un li-m6dulo. Se s a be que e xi s ; te una sucesi6n e xa c ta d e iI-modulos 0 ~M - Q - S ~ 0, donde Q e s uri hm6dulo inyectivo. Como to do ;- rn odu.lo e s proyectivo, una tal s uc e s i Sn s e esdnde y N r e s u.Ita ser sumando d i r-e c t o de q, luego inyectivo. Vamos as! que (iii) .,. (iv). Es c Ia r o, a dorria s , que (iv) (0 (iii)) implica trivialm.ente (v) y que (v) implica inmediatamente (iii) y (iv). Sup6ngase, finalrnente. que s e cumple Ia condici6n (iii), 0 sea que to do ~.-m6dulo e s p r oye ct.i vo , y sea .T un ideal a Ia rz qu i e r da de 4. La su c e s Ion exact" de A-modulos a la i z qu ie r da 0- I ~ A - AlI - 0 e s , e nt o nc e s , e s c i nd id a y, por 10 tanto, I as s u rna rrdo dj r e c to de :1. La pr opo s ic ion 1. 2.2., (iii), dice que ;1 es uri anillo s e m i s i rrip le , Se ha mostrado qlle (iii) = (1), con 10 que terrnina l a derno s t r a c i o n del teore ma .

En 10 q.re sigue se d a r an algunos e j errrpl o s de a nt Llo s s e rrri si rrrp l e s ,

6

Ejemplo 1.3,2. TodD cuerpo es un anillo sem.isirnple. Sin embargo e xi s te n ejemplos rrre no s tr-l vra lc s de arri IIo s s e mi s i rnp le s ql1e e s ta n dados en los eje mp lo s siguientes.

Ejemplo 1.3.3. Se a n r; un cu e r po c onrnut at ivo yA==N.lKJ e La ni Ho de matrices c ua d r ada s T'.)(r. con c oef i c i e nte s en /':. Entonces A e s un aniUo semisimple (cf. el ejernplo 1. 2.. 1. i. s i bien mas adelante se vera (cf. 1. 6. ) que. en r-e a Iid ad, t1 es un aniHo simple. Afin mas, la conmutatividad de l( no e s e ae nc l.a l, 0 "eavale aquiun resultado ma s general: s i K e s un anillo COn divisi6n, entonees M.U() es un anillo s i rnp Ie y, recfprocamente, 51 A es un a ni l.lo s i mp le existe un anf l lo con divl s ion z' tal que A e s isomorio a ,.'/. (K) para algun entero "I (Teorema de ArtinWedderburn; d. e1 t eo r e ma 1. 6. 5, ).

E1 ejemplo siguiente muestra un caso i rnpo r-t.a nt e y no t r tv ia l de ani. 1105 semisimp1e5. Para eilo, hay que recordar antes a Ig u na s noeiones indispensables para e.n te nd e r eJ. UvPe",-, de l'iCi.C;~,j.J',e.

Sean, en efecto, U un g r upc y K un ani tlo con e le merrto un.id a.d y cons id e r e mo s el conjunto K[O]de las c ornbi nac i one s lineales forrnales L /..dJ,

O"E~ donde los ).,cr e s ta n en.l{ y son ca s i to d o s nu Io s , 0 sea en tal suma existe solamente lin nurrie r-o finito de elementos (J de c,', tales que AJ F O. As i - mismo cabe d e s c r i bi r K[G] COlTlO sigue: para toda a p l i ca c i.o n U : G - r., e1 &Cpu.t" de u es e l co njunto SOP\u) = i c] c E G, 11(0) ,. OJ y r.LG] es 01 conjunto de las a p lac ac i one st- : G - K con <laporte finito. Es c Ia r o que K[G) e s unK-modulo a Ia i2quierda libre y una base de KLcJ sobre K

o(x) = ~ n

esta dada par las aplicaciones eo::) - K, donde 0 E I), definidas po r Bo(T) = oo'! para todo 'J" en IJ ydonde 00T vale 1, s i 0 = '!, Y c e r o , s i 0 r' T (simbolo de Kronecker). La estructura de anillo con elemento unidad

de K[O] e 5 dada par la rnultiplicaci6n (!.<u') (T) = I u( o ) u' (0') para tcid o

crO'~ III 'T'

Ten G y cualesquiera que sean u v U' en KL~]. En terrninos de combinaciones Lineales fo r ma l.c s , la rnu Itii pl i c a c i Sn de K[G] s e escribe (LAJeo)

(~"aecr) = ~ A'J""eaeT, donde los Aoy los "" e s ta n en K v donde eJ e.r"= eerT,

{] c , T

cualesquiera que sean 0 Y .. en G. Do e s t e modo, s e define s o b r e K[IJ] una cstructura de an i l lo can elemento unidad. Ade ma s , at ani tl o K[G) (::~~ oonr.r4tcrti·'i)o B-( ~ :~t .s:~ l.: e i, K e.~ 1A.~. arri 1. l.c ("on.';i':,~·~:atr)\') :;.1 G ee !. .. {y,l. :r'!l.rr? al.e l im:», Se dice que K[a] e s e l a>:!U-io .. ;i('! ",'u,"c de G sabre if,

EI tercer ejempla de anillo semi simple esta dado por e I s ig u ie ntc teorema:

Teorema L. 3. 4 (Teorema de Ma s ch ke}, Ceari i( tAn. L"iA.erpc- ("./)( .. "'{!":,,d·(!i.ico ,(~ G un. Jj'"1i.~'O _f{'1.J /;·0 de O!,,-i'CYI n,~ ,:">/ l~ e,J_!'cIL'tc-_{'-{st'I~(_Y: de K nc L7"_t"o[(je "J n, en·!'or(e,w KeG] en un-mi.::''') r~,;~.'i"!1:rrr;_t" (a Ia iz.qute rd a ya Ia de r e c h a ).

Sea },' un ideal a Ia i z qu i e r d a de X[G']; basta rnostrar que IV e s uri surna ndo directo de K[G] y a pltc a r la p r o po s ic i cn 1. 2. 2. (iii). En o t r a s

pa la br a s , K[O] es un anillo s e rrri s i rn p l e , Si se consideran,'''yX[J], K- 7

e s pa c io s ve c to r ia l e s , N e s un su ma ndo directode K[GJ, luego e xi s tc una

apl ica c ion K -lineal! : K[G] - N tal que fIx) = x para todo x en;Y. Por

otra parte, e l hecho de que la c a r ac te r Lst.i ca de K y n s ea n nu me r-o s pri-

mos entre sf lmplica que n tiene Inve r s o en K 0" p r ec i s a.ndo aun rna s ,

que n·1 t ierie i nve r so en K, donde 1, e s el elemento unidad de K. Cabe entonees considerar Ia aplicaci6n ~, : K[G] - N d e ff rrid a par

para todo X en KeG]. Mo s t r ern o s que :0 e s lI[G}-Lineal. En efecto, pa-

G' 1 \' ! -1) 1 \' -, of -1 -1 \

ra todo T en ,se tlene ",(Txl = n L C (:I TX = T(r, /_, r «T o ) x

a EQ "Eo

= 1"(.! \L!J/(O-l X));;;::: 'T tp(X), cua lqute r a que sea X enff[GJ4 Como qJcs f{n

'lEG

lineal, r e su lta que .y:; e s ta mbi.en K[G J -lineal. Finalmente, como para

todo x en N se t i e n e ",(X) = ~ \'0 0-1 X ., ~ ') X = x, s e c onc lu ye que N e~

n L " L,

C'Eo oEo

un K(G]-sumando direeto de KeG].

A continuaci6n se e s tud ia r a can mas detaUe la teorfa de arri Il o s semisimples, para de s pue s pasar a los anillos s i rnp l e s ,

Propoiici6n 1.3.5. Sea A un ani l.lo semisimole. Todo A-modulo a t.a {..zq·/.t't,eij&;z b'i~le eD -~tJcHi1CXpf(} <'l IA_Y! ideat a l.a {zqu{el1da rnrdmal· de A.

Sean M un A.- modulo a La i z qu i e r da simple y X ~ 0 un elemento de N.

La ap l i cac i.Sn A-lineal A -.'1. definida por Q. - ax, "5 s ob r e ye c ri va y e u nucleo I e s un ideal a Ia izquierda de A, luego e s un sumando directo de A, 0 Sea existe un ideal a la i z qu i e r da c/ de A tal que I ill J ~ A. Esto dice que e xi s te n isomorfismos de A-no6dulos 8 La rz.qu i e r da J ""AI 1",,/'1 y que J e s minimal. pues!J e s simple.

Corolario 1,3,6. Sea A JirJ o.Y1.~tZ(} 8(m,i8~"''Ple. Todo A-" .. odl.do a 10. i.zoid evda ell iao!7loPfc ~ UY'4 suma ct"I-pe'_:!'ta de ideal ea a La 1::!quiG!Jda l'm:_ rrlmal.ee de A. En pa11tl.(!u!.C1.2:.1, tiodo A-module a La i-zcui.erda de tipo flni.t.c e.~ iSf)~no~,o a ·~.rl/.a SU~'1k'l. dlr-e(_1!:a d.e un. n~'11tH~" fYn/to de idea lee a l-a {.zqr.d (~'Pda mi.{1.'l.'.males de il.

E1 corolario re S ul ta de La pr o po s ic ion anterior y de las propos iciones L 2. 2. Y 1.2..4,

Propoaic16n l, 3.7. Sean A un on/no ,JmmS1.mpl" !, A ~ ill ~.,. ~ A. una d~s'-"~?JrPo[Jl,.-:...~Lorl de: A . en SUm(l _ d{ 't:G(~1>! de /de._a;·~.efJ a 2·(1. i.zq·!Ai.e~'d.a rrri.nf~7.es. Ent onece , t{)~1.Q i dec ! G ta t za: ... rierda 11r~,n.L!·.~,'aZ de A 13..13 t eomorj.», (,.~QmQ A-rtiodu~Q a: La i.eoui er-da , a aZgu7"','. AI'

8

5i I es u n ideal a La izquierda rnininoal de A, no puede s e r A.l'; 0 para todo t , pues en tal ca s o s e te nd r Ia AI'" 0, luego I", o. Existe. par consiguiente un fndice i, 1" t ,. n, tal que All" 0, luego, en virtud

del lema 1. 3. 8. I e s isomorf A ambos s

1a izquierda. E1 lerna siguiente f i na Li.z a Ia demostraci6n de 18 propos ici6n:

Lema. 1.3. 8. SeQ~7. II un ani l l-c u·)n, ~~Zc-m(:irltc: uni.dad ~ a 10. i equi erda ~rrr.~ni~rla~.es de A. BI1,"to71de~ Id = 0 (, I ~ J_, A-mOdlllos a La i.zqui erda

~ :!.J 1~;d'f';o.7..{!S .!. [U. .. 1rr1Cl~.r'UJrf1.0 de

$i 1 y J son ideales a 1a izquierda del anilio A, e1 producto 1J es tambien un ideal a 1a izquierda de A contenido en J, y por 1a minirnalidad de J. r e au Ita s e r IJ:=. 0 oIJ""J. si IJ = .7, ex i et e un elemento li E .1'. II "f- 0 tal que III 'f 0, luego 1y =- J. pues Iii e s un ideal a La izquierda de A contenido en J. La aplicaci6n I - oJ, definida po r X ~ Xli. e s A -lineal. sobreyectiva y su nric le o e s un ideal a 1a izquierda de A contenido en I. e orno tal mic leo no puede s e r igual 8 I, pue s en tal c a s o se t e nd r-Ia Iii '" 0, 61 e s necesariamente nu l o , debido a 1a mininoalidad de I, Luego Ia aplicaci6n I - J definida e 8 un isornorfismo de A -m6dulos.

En r e a l.Idad , 18 proposici6n 1. 3. 7. vale en condiciones IT1a.s ge ne cales y su dernostraci6n e s similar a la que se a c a ba de dar:

Fropoaici6n 1.3.9. SBWl Aloin ani i lc 8eml:s',:myIB., ,"/ /'11'1: il-rriodulo .:;< La lzq-U·CQ}lda. de t1~PO fi.ni.1;~ N /1 = A 1 ® ... ~ A~ W1Q deB(~(!mr)o<~l~~·1:6n. de M en. i.dea lea a La inowierda nrt~11.i..mCT.?e$ de A. Entioncee "tOM A-Bv-:hm6d1A.lc 8i·,'17p~e de M es ~i.Gori'l:"?pf'.:~, d·:"Jm::; A-~Qdto:ZQ a l-a -':2qu.·,:eY'd2~ a aZ.gl""';.n. A i-

1.4. SOBR.E EL RADICAL

Se ha dicho ya que s i A e s un anillo can elemento unidad y M un Am6dulo a la izquie rda de tipo finito, entonces 11 tiene subrn6dulos maximales (cf'. Ia proposici6n 1. 1. 1.). Dado un A-m6dulo a La Izqu i e r da ,\f, no necesariamente de tipo finito, ell"adl:aaZ deN e s el subm6dulo R(N) de M, intersecci6n de los subm6dulos max ima le s de /(. Pero puede ocurrir que un rnodu lo .II. no tonga subm6dulos rnaxfrna le s y en e s te caso se pondra R(,I./) = ;If. Si ,.." e s un A- module de tlpo finito, neceaariamente Fi(il) '1 eM. E1 radical de un a rri l l o A e s e1 radical de /1 considerado COmO A~6d ulo a la izquie rda ,

Proposici6n 1.4. 1. Ei radical. de Uri old flo A ee un idea! bi. !.5te'·o de A.

Es claro que s i A es un anillo, R(A) es un ideal a Ia izquierda de A, pue s se trata de una inte rs e e c i Sn de ideales a la izquierda de A. Probemos que R(A) es ta rriba e n un ideal a La de r e cha de A y para e s to rnostrernos quo cualesquiera que scan a en R{A) y l; en A, s e t i en e all E R(A). En efe c to , sean a E R(4) y b E A, Y c on s id e r e s e e l eonjunto ,] = [0 IcE n, ob E 1), dande 1 e s un ideal a Ia izquierda maximal de A. Es e v id e rrte que J e s un ideal a Ia izquierda de ~. y, par 10 tanto, surgen do s posibilidades: 0 bien.]" "1 )" en este c a s o , a E J, 0 sea ab E I, 0 bien ,,7 c ,1)" por 10 tanto, J esta contenido en un ideal a Ia rz qwi.e r da max irna l 'M de A. Mostremos que J = N. Sea X EN y c cn s ide r erno s el ideal a la izqiri ez-d a I + Axb. Por la maxirnalidad de I re su lta I + Axe ~ 1 0 1+ Axb:

'" A. En cl p r irn e r ca so, se tiene xl; E 1, Iueg o w E ,.T, yen el segundo 9

ca so, s e escribe b '" ,,1o 0.;(0 con" Iii. I y ex. EA. Esto pone de rnani-

fiesta que (I - o.;()b '" "y, par 10 tanto, 1 - cu» E J, 0 sea 1 - o.x E M.

Corno a.x E g, resulta 1 EN, 10 que e s ab su r do, Asf, hay que elirninar

e l segundo ca so, esto e s , vale solamente la primera posibilidad y ella

e s que M = J. Como a E R(/l), resulta ser a E J, luego all E I. Pero

esto Hene validez cua.Iqui e r a que sea el ideal a la i.zquierda maximal I

de A, 10 que implica que ilb E ,11(11).

Proposici6n 1. 4. Z. Bean. A un. oni.l l o U !~/ ur. A-rn6d~~'!~o 0 Entionoee R(A ).\f C }i(M).

. ~ ..

.. : a 1.· J'~q"id- e.tl()(].

Sean a E R(A), x EM Y rnostremos que ax E R(M), 0 sea que para toda s ubrriodu Io maximal N de .11., ax Ell. Para esto, c o ns i de r e s e la aplieaci6n A-lineal Cjl :.4. ~NIN, definida pot' a"" ax, donde x enM/N es la c la s e de X m6dulo N. COn>o 1.' es maximal en iV, e1 A- m6dulo c cc ie nte MIN eo; simple y, por lo tanto, ((:(,1) =: 00 cp(A) = NIN. En e l p r irne r c a s o , x EN, Iue g o ax EN, y en el segundo c a s o, ((: es s o bj-e y e c t i va , Su nucleo .1.- es un ideal maximal de A y cp induce un isomorfismo de A-modulus a la izquierda AI 1>;;; /If IN dado por c - ex, donde 3 en A( I e s Ia c Ia s e de C modulo I. Como c: = 0 en 4/ I, pues a E I, entonces aX = 0 en Nil.', luego a» EN.

Advie r ta se que s i eIA·m6dulo.v no t ie ne su.brnodu lo s maximales, 1a p r opo s ic Ion L 4.2.. es trivial pues en este c a s o R(N) = M.

Ejemplo 1.4.3. £1 Z-m6dul0 Q no admite n i subm6dulos simples ni m6dulos c oc ie ncc s simples y, por 10 tanto, el Z -m6dulo (Q no tiene subrnodu lo s maximales. Esto implica R(Q) = 00; Q s e considers como Z-m6dulo.

Propo9ici6nl.4.4. (Lema de Nakayama). Sean. A un onitlo, !i! W1 11- modul.o a I:.Q i.n.qu{eFda de t~ipc; ..,T1:i1.·ttC l1 ~~' un A-s·ubm'.:5'dIA.Z.c, de M tal qv.e. M = = lv~ + LV~londe I ee ~n i-deal. de .4 ccntienido en e i J'Od7~r:aY R(A) de A. Enton-sea J.j = N.

Si s e supone que N s« entonce s V e s ta contenido en algun aubmodulo maximal P de M; un tat subm6dulo e xi s te , pue s ,If es un A-modulo de tipo finito. Luego, iV ;- LV cp;- R(AW eN, 0 sea P + R(A)M = }1. Como, por Ia proposici6n anterior, R(AW cP, eritonc c s P = M, 10 que e s absurdo. Esto dernucstra la p r-o po si c ion ,

Otra v e r 5i6n del lema de Na.ka va rna e s La que sigue y es de utilidad para o bte ne r resultados ult e r io r e e.

Propoaici6n 1.4.5. (Lema de Nakayama). Sean A '·.rn am rIO> ,If IAn Ar!6d)".(.Z-o a l.--: 1~·::.-:t!),"ieI'da de ti,r'-o f'/ydto /r N Lm. A-s·u1_1m6i.1t:·,-,-Z.-:..~ de l4 t al q'ue !1] .f-

+ Fi(Ml = M. i':>1tm1MS N"" N.

Su pcnga s e que H ;: N, cx is t e LIn s u brnod u l.o maxima 1 P de N tal que N C <P, luego II. '" N + AUf) r::p + }1(M) cN, 0 sea P + B(N) == l( y como R(NI cP, sigue que P '" 11., 10 que no e s po e ib le, pue s P e s maximal.

Esto permite d e rno s t ra r ahora el siguiente teorema, el cua l es una ca r ac te r l aac Ifm muy util del radical de LIn m6dulo:

10 Teorema.l .. 4.6 .. 8ea~~.4. t-lri .-:;'r1.i~!_·oJ ,.141-(.1. A-m((i'u{O a loa icouleraa de

tipo rl"dto ~1 [XI ~ 4 ~ • t XIl.} "i.-m. (_·c-n . ./:·'..i.nt,~:· f"·F-,,-.lto ....16 get'!e~.';\:dC':re6 de IV. Un.: oond-tcI6n neeesari.a u 8!A.f/c/en-r~ [~()~}a q"l_...:e un fE_·2.,f..;mp.r"!.to X E .,if pel~t.qr~e'?':'-:'~Q Q Fi(/{) e.s que (rlA.a[_~$qu{e;la (rUe sej.n t.08 e2.e~I'entOG ~) ~ •• ~ , au}e Ii) "los el.ement.oo Xl + ~X, ••• , X;c. + a.x J::,l;':~.i(;-y), ;",1.11,' S7.DLf! ...... ?Ci a« 9G;!n.el~adolVtG d8 ,.'4,

En efe ct o , s upo ng a s e que x E Ji(,'() y sea 1/ el A-subm6dulo de M generado pOl' los elementos -'1 + '4,x, ••• ,x. + Q..x. La identidad (Xl + Q.1X) - - a,X = X, (t = 1, ••• , r.) dice que 11 + Run"" M, luego A' ~ M. Redprocamente. sup6ngase que so cumple la hip6tesis del teorema, pero que x ~ ~ Ji(N). Existe, errton c e s , un 11- subm6dulo a 1a i zqu ie r da maximal N de M tal que x ~ Ny, por 10 tanto, Ax + N == M. Luego, para c a da Ind i c e t. 1 s t s n, cx is te un e Ie rn cn to a, en A ta l quc x, + (_ajlx E N (i~ 1, ... , n). Puesto que los elementos XI + (.a,)x (t = 1, ... , n) generan /.f como A_ m6dulo a la izquierda, entonc e s M = N, 10 que e s absu rdo.

Co r o l ar io 1 .. 4$' 7. Sea A t~n .xni l Lo , -p'1 radi ea]. R;"'A) del ;::tp:Zz.o A

ee e/ con.iuni» de ~OG e i.ementoe x de A ta::'.83 que] - ax eea 1r,'.,')€rs/bZ€a La I;:;:TIA.'/eixj':;J. ~?r,'. A_, PQ!\::L tecto el emerit:o a en· A.

POl' s ez- 1 generador del A-m6dulo a laizquicrda A> basta aplicar el ceo r e ma anterior, que dice que una condici6n necesaria y suCiclente para que un elemento X de ;, este en R (A) es que 1 - ax sea LIn generador delA-m6dulo ala izquierda Ii, para todoelemento a EA. Enconsecuencia, esto ocurre s i , y s610 51, s e puede e s c r i bi r 1 I: Cl( 1 _ aX)con Cl E A> o sea s i , y 5610 s i , 1 - ax es i rrve r s i bl e a Ia izquierda en A, para todo a EA.

Corolario 1. 4 .. 8. f.l :t·'a,:U~~Q.Z. R(.4) de lAY,'. anil.l o A eC e7 ma~ ?p(~.~de

de los fdeo7.(~s bi. !~t"e~os I de A ·r:a7.eG q·ue 1 - x S{?a i noevsrib t e ert A PLJ:P::' todo e Zemen-to X E I.

Sea X E R( ill. Par e1 corolario anterior, I - X e s inversi ble a la izquierda en A, a sea existe un e Ie merito a E .4 tal que Q;( 1 - x) = 1. Sea b = 1 - C1; c o rno b = 1 - a = - C1X E R(A), cx i s t e un elementa cEil talque 1 = c( 1 - b) en CQ" es dcc i r-, Q, e s inversible tambien a 1a i z qu le r da., luego Q, e s i nve r s i bl.e en.4. As I, 1 - X = ,,-l e s tarnbi e n inversible en A. Esta demuestra el c o r o Ia r i o,

1,5, ANILLOS ARTINIANOS

La no cio n de a rri Il.o artiniano aparece po r' p r i rne r a ve z en el trabajo fundamental de Artin, (3) y s e define a partir del siguiente resultado:

S'llp6ngase que se cu mp la la c ond icl on (1) y c on s id e r e s e e l c on jun to C= (Ii ••••• In, ••• ,); C, ri e ne , por hip6tosis, un e Le rrrerrto minimal I., a sea I.::J I. para todo k , P'e r-o, par otra parte, I. GI. para toda k .. m,

a sea, I. '" I. para todo k, ;;, I'l. Esto d e rnuo s t r a la c ond ic lon (i i}, Si 11

ahara s e cumple La condicl6n (iii, c o n s icle r-e s e u n c onj urrto Bnovacfo de

i de a Ie s a la izquierda de A. T6mese It E c.. 0 bien Il e s rn i ni rna I en C

a II c ont.iene a Igun elemento I;; de C. De nuevo, a bien I. e s rrnrii rna l

01. c o nt.i e ne un elemento Ia de C. Se construye as} una c a.de na descen-

dientc II ~ 12 ::J ••• ::J I. ::) . .. de ideale s a la izquierda de ,.; y, par 10

tanto, existe un entero m ~ 1 tal que I~ = I. para todo h <: '7l. El elemen-

to I. es un elemento rni ntrna l de 6. Queda de rnostrado as! q ue Ia candi-

ci6n (i) se verifica.

Un an i.Ilo que v e r i fi c a las condiciones equivalentes de Ia proposici6n anterior s e deriorrnna arn:·l-Z . .:_:· !).!·t.:1.~n.1;a:no c. tn izauier-da , Una definici6n ana":,, loga pued c s e r dada para un: i :'.0 ,,~rr'/'1';unQ <1 /0: devech«: y un a ni l Io se dice aJ'd·>J1>FW s i e s , a l a v ez , artiniano a 1a i z qu i e r'd a ya Is derecha .

.... Prop.o sic i6n 1+. ~ .. 2.. tlV/. "·:':~11~.1 L.: .2"(Jy!' G I.~!.·1~;iYl. ic uni. dad ~;~:{ [: (~"11~n'tlr)!) ::'.~~; [1/.) ~.' soru sr, ee aFtL111.,.D:O t·! ein ~·/_~·I!.<',,".l7..

Re cue rd e s e que un anillo ,I con e le rne nto urrlda.d s e dice 81:11 '·cJ.H.:'oJ. s i R(Il) ~ O. Suponga s e que A sea un anillo s e rni s irnpl e, Es c la r o que ,I es a r tinta no y s e dernostra ra que R(A i '" O. Sean a ,. 0 un e l e rrre nto de A y A. = ill $ ... $ A. Ia de scomposici6n de II en una BUrna dire eta de ideaLe s a laizquierdarninirnales. EntoncesQ;="l + ... + a., do nd e <11 ~fi.tlt ~ = t , •.•• l""i), Y s e puede suponer, po r ejemplo, que ao;l:-O. Resulta, entonc e s, q ue u t/1l$ ... (tlA.-1 ycornoA,(tl ... elin-1 es un ideal a la izquierda maximal de A, s e tiene a t Run. Reclprocarnente, sup6ngaseque !l sea artiniano (a Ia Izqu ie r da l y que R(A) '" 0 y mue s t r es e que II c s s e rni s i rrrp lo, Para e s t o , sea I un ideal a la i zq uie rda de A y rrrue s t r e s e q ue I e s sumando directo de A. Cansiderese e nto nc e s e l conjunto de 106 ideales

a La izquierda J de A taLe s que I + J ~ A. Tal conjunto e s no va c fo, pues I + A ~ A, luego admite un o Lsrn e nto rrri rrirraa I J y basta rn o at r-a r ahara que I n J ~ O. Sup6ngase que I n J'f 0 y sea E i 0 un ideal ala izquierda minimal de A eontenido en I n J. ComoR(A) = 0, existe un idealmaximal M de A C,Jue no contiene a B y, porlo tanto, A = B + M. Por s e r B c: J, e nt onc e s J f i.f Y en consecuencia J' = .11 n J l' J, y como se tiene tarribf en (B + .11) n ,J c. B + J', re sulta A'" I + .; = I + (E .j.. M) n ,J c I + B + .,)-, = I + J'. a sea A = I + .1', 10 que e s c orit r a r io a que .1 sea minimal con La prop iedad A = .t + J. Luego, In J = 0, 10 que demuestra la p ropo s Ic Ion,

Corolario 1. 5. 3. Sf A ee un ani i l.o Qi'tiniano, el. ani Tl c eocient:e A/R(A) ,)I; eemieimp le,

Como e1 anillo c oc ie nt e A/li(A) e s artiniano yR(A/.R(;l))'" 0, entone e s AJ.R(A) e s un anillo semisirrlple.

V6ase ahara c orn o La rioc i Sn de nilpotencia i nt.e r-v i e ne e n Ia t eo r Ia de anilLos a r tiriiano s. Si A e s un an il.Io, un e Ierrierito c de A s e dice n,iZ,~'ot.ent:e si existe un onte ro m"" 1 tal quo 0;" = 0 y un ideal a Ia izquierda I de A se dice ni.Loct.en te ai existe un enter a m", I tal que I" = 0, dond e 1" e s e~ ideal a La izquierda de A definido indue t iv arn ante po r J' = 1 e 1" = ~ r-l 1. Advi e r ca s e que de c i r que In ~ 0 equiva le a dec it" que para toda familia a1, . , . ,a. de elementos de I s e tiene a1 • ,. a. ~ O. Resulta clar o que s i un ideal es nilpotent". sus elementos son todos nilpotentes. pe r o la r ec Ip r oc a e s fa l sa,

12

Ejemplo 1. 5.4. Sean Z e1 ani no de num"ros ente r o s y p "' 2 uri nume ro pr irno, y cons i de r e s e, en e l anilla producto ,J .. n Z'/(P"), elideal .~

I de£jnido porI = -$ (p)/ (po). Es iicil vel' que los elementos de I son ."=l.

todos ni lpote nte s , pe r o el ideal I no 10 e s ,

Un ideal I de un anillo A s e dice un ni l i-deal. si todo elemento de I es nilpotente. Asi, si bien todo ideal nilpotente e s un nilideal, un nilideal na es nec e s a r.ia me nte nilpotente, co rno muestra el ejemplo dado (ejempia 1.5.4.). Sin embargo, hay un e a s o en que esto e s c i e r to , a saber:

Lerna 1.5.50 Bean A uri anii io e J un ideal a La izqu .. te:raa de A de ti._ p0 f'ini·ta. S-{ I ee un ru~ t.ideat , 6YU:O:1.':'.:>:ee I eQ un idea : r!i.Zpotr;:;~nt(3.

Sea, en eiecto, (Xl, ..•• X.} un conjunto de generadorea del ideal I; para eada Indi c e i , 1';; t. So r., cx i.s tc un entero m,"' 1 tal que 41 = 0 (t = = 1, .• ,. n). Basta tarnal' m ~ m,_ + . .. + 11"", para vel' que r ~ D. 0 sea el ideal I es nilpotente.

Para un aniUo A can elementa unidad, sea J(A) la s urria de tod o s los ideales a La i.z.qui.e r da nilpotentes de A. Es claro que ,r(A) e s un ideal a la i.zqu.ie rda de A y se tiene La siguiente proposici6n:

Propasici6n 1.5.6. Sea A un ani no c~on e lemento uni·daJ. Todo ntt> ideal a La 'i2q·V.J erda de A e6ta oont eni-do en. R(A) th en par·ti(_':?A.Z,Ol' J(A) <;; C.R(A).

La prop05ici6n r e su lta inmediatarnente del siguiente lema:

Si I es un ideal a la izquierda de A tal que I <FR(A), ex.i s te un ideal a 1a izquierda maximal lJ de A tal que I <FM, luego I + tJ ~ A. 5e puede entonces escribir 1 == a + b can a Ely 0 EM y. par- ende, ab ~ a( 1 - (1) ~ = (1 - ct)Q.. = ba y, por tanto , para to do entcro n':2 1 se tiene 1 = (a + b)l!. ;;.

! (~) akon-<. Si a fuera nilpotente, ax i s t i r fa un enter-a m " 1 tal que a~ ~

(J:IIQ •

o y esto implicarfa 1 = \' ('!') a<;:"-o = (b"-l + t'J ab""" +

L ~ 1

'='Q

Lema. 1. 5. 7. Sean A /J.n anill.o (_°on eZementolAn.1:dad e I ·un. i deal: a. La i2Qui(rI'da de A tal qlw I4=R(A). gntorl.crM I ooritriene e iement.oe no rdlpotentes.

a sea 1 EN, 10 que es a b su r do ,

Pz opo s ic ion 1. 5. 8. ET £'Jeiica!:1(;W1 ani t.io aTHnla>1D <is Ui1 i.dca i nfZ.~::ot(mte •

Sean A un a ni l lo artiniano y R BU radical. La c ad e na descendiente R ~!f'::> ••• ::> li'::> " . de ideales bi Ia te r-o s de A es estacionaria, e s decir e xi ate un cntero m :;, 1 tal q ue jI," = R", para todo !r :;, m. Sea 1== R' y s up6ngase que R no sea nilpotente. E1 conjunto C de los ideales a la izqui e r da J de A tales que IJ rOc LJ C 1 e s no vado, pue s 1 tOe I" = I y. par 10 tanto, admite un e1emento minimal J. Como I(I,l) = IJ l' 0 e I(IJ)=I..r C I, entonces IJ pertenece a un a1 conjunto C. y, por la mini-

malidad de J y el hccho de que IJ < J, r e s ul.ta ]J ~ J. Si s e muestra 13

que J es un A -m6dulo ala izquierda de tipo f'in i to , como IJ'" J e 1 C R(A),

por el lema de Nakayama J'" 0, 10 que es absurdo. Sean entonces a E I

y b E J tales que ab sea un elemento no nuLo de J. £1 ideal a la izquier-

da Ab esta contenido en J y, a d e rrifi s , I(Jlo) l' 0 e I(Ab)C IJc 1,0 sea AD pertenece a I conjunto e. Por Ia rrrirn ma Lida d de J se concluye que J '"

'" Ab Y J e s un A-modulo a la izquierda de tipo finito. Esto conduye Ia

demo straci6n de la proposici6n.

Corolario L 5. 9. E1'E -un ."J11i Z 2.0 (1};,ti ni·uno _, e I. !>,-y_df::,~aZ en- L.:A_ a-,')}1?[1 (J:e todos tOG i.dea Lee a !a i·zq-ui.(n··da (0 c2 La de recha ) n-t Z'.;_'of:e"1,I_-88 .

El co r ol.a r io dice que s i ,1 e s un anillo artiniano, el radical de ;1 se e s c r i be R(/l) '" J(A). Ade ma s , La proposici6n L 5. B. ta rnbl en puede enunciarse de Ia siguiente manera: el vadi.cal. de ·un. anJ2.Zo aI't1~n.1~ai/j.() A es el. m(z8 [Jpande {deal bi lateoo ,..d. Lpot ent:e _~'i:'j~ A. En el ca so de un a nf l lo canrnutativo s e pueden dar resultados 1TIas p r e c i s o s , a saber:

Gorolario 1.5 .. 10", }J.:Z '{'n:aical. de fA_:'-:' anil.l.o ax-t ini:xno r: .. )r':rmA·~:O·~~{"/.)C- eo 61 con..funto de ~ur-:- e Lemen t;CS nt lpot.enree ,

FinaLrnente, para te r mi na r e s te parfigrafo se menciona ra el »coreme de e8tpuuh . .tra de ani.l.loe actinianoe aorttr"[uto.ti.v:-;s., pero sin demostrarlo. Su d errio s t r a cio n requiere tecnicas de algebra conrnueat.iva cuyo pl.a.nt e arn Ierrto serfa rnuy largo de exponer a quf (cf. (4), t e o r erria 8.7.).

Teorem<l. 1,5.11. (Teorema de Estructura). Un anil.lc artinicmc (..'orurrut('rti"I-'o e8~ de manera rin.'tao. a mana£: de un 1:scmcrpfi.smo.~ un prOdii.cto divect:o de un numepo l1:nrto de arii.l.Lon avti·n,{Gno[J C:OY/..."7!·ui:a.t:'i-,')OS la(!a~e3.

E1 T'no r-errra de Estructura tiene una consecuencia muy itYlportante, parte de la eual e s ta dada pOl' la p r o po s i c ifin 1.5. Z. ,

Coroiaria L 5. 12~ Patte.:: un u.·r"1/1~77-o aon ... rr,'1.,1;a.tL/)() d aon oienenic urddo/l, l.a« tdcnd-ent8[J C'OYf..,j{·C1.-CYie.S scn. equi sal en.tes: (i) t1 es 'un (lTd 7.. ;,"·0

~~;1::~:':e ~ : u (~~~f ~o A e ~:''7;;':~'u::'~j'~;-;':~~,o e ~'c e~~,),~u,~.~::;') A,,~~o i<~£ C(~,:;~~

,L(:U.

1,6, ANILLOS SIMPLES

Un anillo artiniano /l se Llama wi'~1e 51 A f 0 Y S1 A. no t i e ne ideales bi la te r o s propios, a sea los unico5 ideales b i la te r o s de A s o n 0 y Ii. Como e l radical de un anillo e s u n ideal biHitero, s e sigue (cf', proposici6n L 5. 2. ) que tCJd() ,,)r,'.i;':',I:c si .. ~'Ze el] ~.~G"I'!;.'!Jb~r!?2e. Sin embargo~ hay e je rnp lo s de anilloe semislmp1es que no son simples (ef. e1 teorema 1. 3_ 4.). Ob s e r ve s a que u n anlllo simple II no e s necesariamente un 11- m6duLo a La izquierda (0 a La derecha) simple (d. e l e je rnp.lo 1. 6. 4, ).

Teorema 1. 6. 1. 1.1" 01 .... 1·:' lQ A e,~ Fone como euma d/pe:::t:;. de ideai.cc ~ ~!7.01~.rOS e"rlt'!'e a1 ~··;J-r:>JD t1-_rT,'cd:·A..~.~8" a 7'i~

i!{r~~~!e ~'/~ J1 ~87c w/~ t~ ~;i.~ deecori .... :,.:;[. 1'·'~-7IAte!la.Q: /rn~.')~{.'I77a7en~ t:(l!"l.~--:'~i /30- -tz7u.tepda.

Sea c1 u n a ni Il o s erni si.mp loj s i A admite una d e s c orn poe ic i e n A '" ,11$, •• ®Ao como s urrra d i r ec ta de ideales ala izquierda minimaIe s dos a dos no i s orrio r'Io e (c f', 1a p r opo sici6n 1. 3. 7. ), entonc e s A, A l '" ~ 0, paratjJ, yA,A=A,A,cAI, 0 sea AlA = AI para f,~ 1" •• ,1" .. Esto qu.l e r e de c i r que ca da Ih es ta rn bi e n un ideal a La derechay, pOl' c on s ig ui e nte , u n ideal biIatero de A_

14

Re s ul ta entonces de esta o bs e r-va c i Sn que si it e s un a m l lo simple, pue dn escribirse A = 41® ... $(;n C0010 s uma directa de ideales a La lzquierda rn in i rria Ie s (puo s A es semisirnpleJ todos i s o mo rf o s entre e l lo s , puesto que A bene C0IT10 unlcos id e a Ie s bil5:teros a 0 Y ,"" La recfproca del teorema es in me d ia ta.

Corolario 1.6.2.

2.'] ;~<e!'J/fJ-/,r!jJ2.e (i1 .. , li ,<)\)/.Q ;:;~:, e(:- 8/ 'i,:~ ani ! /<J, ... ~ o1"1~?7I.I':,'~GG.

,'_-'1'0-

Sea ,i un anillo semi simple. Hernos visto que'; admite una desc orn po s iclo n j: '" A~ ttl ... $A .. d ond e cada ,11 OS un ideal bilatero de ,; y r.IA~ -;:: 0 para 1, f J. Ad ern a s , e s c Ia r o que cada III es un anillo simple y que A '" "1l®' _. $/0 es un producto d i r oc to de a rri l lo s. La re c Ipr oc a e s Inrn ed ia ta.

El pa SO siguiente e s e1 1'';'(;[',"'''0 de :i"ij'el'b·~l·'! que dice e s onc la lmente que todo aniUo simple e s e I anillo de eudomorfismos de un rn6- du.Io libre de rango f'i m t o s o br e un anillo con d1visi6n, Obs e r ve e e que un anillo A s e dice un a:ni ll.: '-" . .'n]{"isfC-n. 51 cualesquiera que sean a y b en A, C r o. las e cuac.icne s ax = b y.:ca = b t i e ne n e o luc io ne s unicas en A.

Lerna L 6. 3. S~h)'fi J; "A:U ~~n·,I~Z.1(J ~:~C)),I_ d'r,'.}",::s'ton i~ M un A ..... l?!o:!u/a l ibve

d~ r~r--:~f/o ~j. Ent once» e ~ on.i l (() End ... (l\!) de ~~-·~.;s A-p.n.doi'1C'l·~~~i S,"!()~:i de tf e,s 81 ·'1}r) }:.!~ •

Sean A un anillo con clemente un ida d , N un ,"~ rn6dule a la izquierda y cons ide r c s e 01 a.rii l lo /' = End.{/lfl de il~endomor£1smos de ,/If, La ley de composici6n a' x = C' (xi c ua Ie s qu i e r a que sean <1' E A' Y x E 11 define sobre N una c s t ru c tu r a de A'~m6dulo a Ia izquierda y, po r 10 tanto, se puede considerar e1 ani l lo Ii" = End., (,I{) de los A'~endornorfismos de J{, Sea L ; A - A" ia aplicaci6n deflnida por Q. - L., donde L.(xi = <1X para to do x EN, Cualesquiera que scan (l; E ,:., b' E ~,' y x EN se tiene ':'.(b'.;.;) = = L.(b' (X») '" :lb' (X) = b' (:lXI = b'ax '" o'L.(x), 0 sea L. E A" para todo a E A, Resulta facil ver que cualesquiera que sean c, y b en ;" L'b '" L. 0 Lb; en o er a s pa.la br a s , L : A - A" es un morfismo de anilios.

15

Como End.(.I1) es t s o rrio r-fo a1 anillo .. 11.(4) de matrices cuadradas 'loX,. con c o ef i c i.e nte s en .1., donde n e s e1 rango de /1, es suficiente rrio s t r a r que e1 anilio .11.(11) es simple. Para esto, designemos por il, el conjunto de las matrices r,xn de M.(!!), cuya s co Iurnna s distintas de la t-i':silTla san todas nu l.a s , y donde 1 :<; t- :<; n. Es ev ide nte que il1 e s un ideal a Ia izquierda de M.(A) y que V.(/il = A1$ •• , $A •• Adc rna s , cada ,Ai e s un ideal rrri n irria I de M.(Al. En efecta, s i Q, Y b son elementos de ,)" con a. 'f 0, existe uri elemento X en N. (A) tal que xa '" b, pue s 8i se supane, par ej erriplo , que <1 '" (Ct.) y que existen Ind.i c e s i y jtaies que at.! f' 0, basta def'in i r x = (XOI I par x.I '" 0 si 1 f t. Y X"Q,1, '" b z , , donde b'" (b •• ). Eoton~ c e s X·:1 = b, 10 que demuestra 1'1 minimalidad de ';1('[. '" 1" " ,n). Se d e rno s t.r a r'a ahora que los AI son tod o s 'i s o rno rfo s cuando se consideran i de a Ie s a. la izquierda de No(A). Con s id e r e s e pa.ra e s to Ia a p l i c a.c i Sn / : A, -+ 11., definida par C! .... /(Q,), dande I(a)kl '" 0 s11 1" j y/(C!J., '" a ••• deride indicam.o$ con Q, '" (aiO). Es i nrrie d ia to verificarque j(Q.b) = aJ'(b), c ua Ie s qu i e r a que sean a E N.(A) y bEll, .0 sea f es una a p li ca c Ion M"(AJ~ lineaL. Ade ma s , f : '"1 -+ t1. c a un Ls o rno r fi s rno de Nn(/l)~m6dulos a la izquierda, con 10 que te r mina la demostraci6n del Lerna,

Eje mpko 1. 6.4. EI lema anterior expresa, eo particular, que s i K e s u.n c ue r p o conmutativo, el anillo A'" ./.f.(K) de rna t r i c e s cuadradas nXn con coeficicntes en;: es un anillo s i rnp l e , es decir no tiene ot ro s i.d e a , les bl la te ro s que 0 y ;!, aunque s r tiene ideale 5 a. la izquierda no nulos propios. Esto muestra que A e s s i rnp l e COmO a n i l Lo , pero no co mo Am6dulo a Ia izquierda.

Veamos ahora bajo que condiciones L : A - ,1" es un isomorHsmo de a rri Ho s , Se aa be que Ker(L) e s un ideal bil;Herode,~ yKer(l.);< h., a sea L r 0 pues L(I) " ide" Lucgo, s i A e s un anHlo simple, neccsa~ riamente Ker(L) = O. Esto dice que s i I. esunanillo s Irnp lc , el morfis- 1TIO do a.n i Ilo s L : A - A" 05 inyectivo.

Respecto a la sobreyectividad de L : ,1 ~ i!", sup6ngase que id sea un ideal a 101 izquierda de 1;, ;'1. f 0, pues s i M " 0, L es t r rvta l me nte sabreyectivo. Entonces L(l.f) e s un ideal a Ia izquierda de [[,I) y se mo s t r a ra que, de he c ho , L(II) e s un ideal ala Iz qu Ie r da de ,: II, En efecto, o bs e rve s e que cualesquiera que sean a E": Y x, Y E IJ, se hene li.lay) ~ = (ay)x '" --(!IX) = aR.(!/), 0 sea R. E 4' para todo X EM. AS1, para todo CI" Ell" y cualquiera que sea X E.If, s e tiene (all 0 Lx)(Y) '" (,:.II(L,(Y))'" = all(Ry(';>;») = all(Ryx) '" Ryall(x) = <1"(x)if = L.,,(.J(biJ, para todo Y E ,/If. esto e s (,:." o[."'L.II(,) cua Ie s qui er a que sean (111 EA" yxEN. Se ha de mo atrado a sf que LW) e s un ideal a la i aqui.e rda d e vt". Es sabido ya que AN cM, pues.lf e s un ideal a la izquierda de t1 y sea MA e l ideal a ia de-

recha de A definido par N. Cua1esquiera que sean yEA y xa ENA s e tiene y(xa) ~ (YX):J. EMA, e s decir MA e s ta rnb i en un ideal a 1a izquierda, esto e s un ideal bilatero de A. Como A es un ani Ilo simple y idA ,. 0,

rrec e s a r Ia rne nt.e NA = A. Esto pe r rrri te e s c r i bi r 1 = LX1(1' (s urna £inita),

1

donde los x~ e s ta n en N y 10 s (1~ e sta n en A. Se mostrara que, para todo

e Ie rne nto a" E Afl, se tiene Q.fl = L(I (I"(x.)ad, c on Io que s e demue area que

I

el rno r fi s rno L : ,1 - !lfl e s sobreyectivo y, po r 10 tanto, e s un isomorfisIl10 de ani1109. Para demostrar 1a ultima f6rIl1ula basta observar que

L ~ (l.1 f(X,)Q.d = LL.,,(,!) 0 L., y que. para todo x E'.N. se tiene <2:L.II('t) ·L.1)(x)=

, , 1

= IL.II(,,) «(1,x) '" I«(1" 0 L~, )(a,x) == ~a" (x,(1,x)= (2.11 ( (LXlct,jX) = Q.II(X), esto

'! •

es Q.fI = L(Ial1(x.)a,).

,

Esta demostrad6n, debida aM. A. Rieffel.<~) da una parte delsiguiente teorema (de Wedderburn a de Artin-Wedderburn):

Teorerna 1. 6.5 (Teorerna de Wedderburn). Sean A un ani.I.Lo simp?", A = Al $ ... $ A. l.a des('ompom:ei5n de A como tiuma d':l'e('(a de ideates a La 1:zquie1'da mi.rrimal.ee isom(;,"fos, M 'f 0 un i deal. a l-a i;:quie:rda de A y A' = EndA(M) e I. arriLl o de A-endomol'fil3mos de N. Entioncee , el: mo:r},i8mo L : A _, End.oI (tJ) ee un isom01'fismo de ;;niUes. Si, ade1.1aa, M (!S minimd, A I es un anii.io C?on di·(!isi8n 11 N es ./<n A' -modulo libve de 1'anJo n.

1B

Parte del teorema ya Iu e demostrada. Sup6nga se a.ho r a que N sea un ideal a La i.zq aie r da rrrin i rna I de A y sean a;1, a' € ill, a;1 r' 0. Se trata de resolver, en A', Las ecuaciones (II. X' = /)' y X' 0 (II '" a'. Ve arn o s La primera e cu ac f Sn , a saber: al 0 X' == /)1. 0 bien b' -= 0 y, en este ca s o, una soluci6n de la ecuaci6n a' 0 X' -= ° e s X' = 0 0 b' 'f 0 y, en este ca s o, una s o luc ion de (I' 0 X' == b'• si ta Ls o Iuc i Sn e xi s te , e s X' r' o. Asf, dado X E !.{, ex.i s te y E M tal que (II (y) '" 0' (x), puesM es minimal y (II 'f 0 y 0' 'I ,. O. 5isedefine;t':N ~N par XI(X) = 1/, e s c Ia r o que x' E AI Y (110 X' -= b'• Una consideraci6n analoga perrnite resolver, en A', La ecuaci6n X' • (II = = a'. Para mostrar que tales s o luc ione s SO>1. tmiC'Qs, sean Q.I, b' E A' tales que a' • 0' = O. 5i se supone que 0' " 0, existe un eLemento X EM tal que b' (xl i 0, luego Ker (al )" 0, pues b' (x) E Ker (al). La Il1inimalidad de N dice que Ke r (a') = M, 0 sea a' == 0, Esto demuestra que A I es un arri Llo can divisi6n. FinalIl1ente, la descomposici6n A = A",. $ •.• $A. expresa que 1 = el + ••• + e., clonde e, E A1 (t = 1, ••• , n), ef = e1 (1, == -= 1, ... , n) y e,e. = 0 para i: f J(t,J = 1, ... , n). Como, para todo x EM se tiene X -= elx" .•• T e.x, entoncesM':o eJ{ $, •• e eoN y se deIl10Btrara que esta e s una descomposici6n de 14 C0Il10 su ma directa de A'_ mod ul o s. En e fe c to, para todo (11 E A' ypara todo X EN, ale,x:. (II (e,x)= .. e,a' (x) E e,M(i.. "" 1, ..• , n), 10 que mue s t ra que cada e~M e s un A'_ m6dulo. Ad erna e , e s evidente que Ia aurna i.{ == elM + ..• + e.N e e directa.

Vamos a de rrio at r a r que cada e,M e s i s orrio r'fo a AI, isoIl1oriismo de A'-Il16duloa. Fara e s to, C0Il10 todos los ideates a 1a izquierda de A son

Segtin el teorema de Wedderburn, dado un anillo simple A, existe un anillo eon division J) y un entero ll", 1 tales que A "",N.(J)), isomorfismo de arri l Io a. A6.n mas, se ha demostrado que r. y D son determinados de manera unica con tal prapiedad, 0 5 ea S1 existe un anilla can division])' y un e nt e r o r.' :. 1 tales que A "" ,lin' (D'), entonce s r; = 1",' y]) "" II'. isomorfismo de anit lo a.

17

isamorfos, sea, para un fndi ce i: £ijo, b:: t,; 1'1, y h : M 'O:t A, un_tal isomorfisrno de A-m6dulos. Resulta entonces que la apUcaci6n h : Ho rri, (AI,N) - Hom~(N,N) = End",{Ilfl = AI, definida par (J'" (J 0 h, e s ta mbren un isamor£ismo de A-modulos. Par otra parte, cabe supone t- (ef. ellema 1. 6. 6. ) que A,I sea generado, como ideal ala izquierda, par e1 {"dempotente e. y la aplicaci6n f : e,N - Hom.1 A" }fl, definida po r f (e ,X)We Il = = o-e,x. cualesquiera que sean a'E A y x E 11, e s un isomorfismo de Amodul o s, Luego, h. f : el M - A' e s un isom.orfismo de A-m6dulos, para i. == 1, ••. ,1".. Sin ern ba r go e s facil ver que ii • f e s ta rn b'ie n un isomorfismo de A' -m6dulos. Esto demuestra que M e s un A' -m6dulo libre de rango n. El lema siguiente termina la de rno straci6n del teorema:

Lema 1. 6, 6. Sea A W1 ani-no se,ddmple, Todo i.dea! a t.a Leoui.erda de A er; p!'inci-pat !J e e gene"I'odc pOl' un f'.dempotente. ;1.18"155, fit e 8$ ur. idempotent" de II y M e$ un Ldeal: a La i.zoui.erda de A, esci otie un l:[]OmCr[isma de g:t'I.;poa eM ~ HOffi,,(Ae,M).

5i I e s un ideal a Ia izquierda de A, les surnando d i r e cto de A, 0 sea exts te un ideal a La izquierda I' de A tal que A '" 1<11 1'. E sto dice que 1 = e + e' con eEl y el E II. luego ee' = e - e" E I n l' = 0, 10 que se puede ta rribi en escribir ee' = 0 y e"' = e. Ade rna s , para todo elemento a E I, Be tiene a = ce y de e s t o sigue que I es g erie r a.d o, como ideal a la izquierda de A, por el {dempotente e. FinallTIente. s i e e s un fdempotente de A y N un idea 1 a Ia izquierda de A, 1a aplicad6n eM - Horn, (Ae,N), definida por ex - (ae ... aex), e s un is omorfismo de grupos.

Sean A un anillo s erru s irnp le a la izquierda y A = ill )( ... X A, La de scomposici6n de A en producto de nu me r o finito 1". de anillos simples (d. el corolario L 6. Z.). Por e l Teorema de Wedderburn, para cada indice t, l" t :s: n, existe un entero "'I "' 1 Y un anillo con divisi6n'vj, unfvocamente determinados, tales que Aj ""N.I(DI)(t = 1, •.• , n). Como cada anillo de matrices M.ltDd es un anillo simple a la izquierda ya Ia derec ha , resulta que todo anillo s e rrri s i rripke a la izquierda 10 es tambien a Ia derecha, y r ec Ipr oca rnente , La s e rni s irnpt ic id ad a ia derecha implica Ia semisimplicidad a la izquierda. Por consiguiente, a partir de este momento, se dira sencillamente anillo semisim.ple, sin mencionar a Ia derecha 0 a la izquierda.

1.7. EJERCICIOS

Los ejercicios que s e ofrecen a continuaci6n responden a 10 dicho anteriormente en este capltulo, si bien algunos de e Ilo s complementan Ia teor:la expue ata ,

1. 7.1. Muestre que una su.ma directa de m6dulos semisimples e s un modulo s e rru s i mp le.

1. 7.2. Sean A un anillo y J un ideal a la h:quierda de II. Muestre que e1 A -modulo A I I e S s irrrpl e s i , y solo s i , el ideal I es maximal en A.

L 7. 3. Sean A un an i l.Io y.lt un A-m6dulo a Ia i e.qui e rda simple.

Muestre que el anuladm' Ann (X) ~ (aj a E; A, ax = OJ de un elemento X F 0 de M e s un ideal a Ia izquierda maximal de A. Adernas , Ia ap Hc ac lon Alineal A "'N, definida por a .... ax, es sobr evect.iva; su nuc Ie o e s e1 anulador de X y exl sre un isomorfismo de A -m6dulo s A/Ann(x) '::; ,V.

1. 7. <I. Sean A un anillo y M F 0 un A -m6dulo de t i.po finito. Mue stre que ex i s t e un ideal bilate ro I de A tal que IM 'f N. 8uge:r>endo: Como j,J es un A -modulo de tipo finito, adnrite un A - subm6dulo maximal},' y sea leI anulador del A -m6dulo simple N I N. La relaci6n IWI N) ~ 0 i rrip.l i c a IN <::-l1.

1. 7.5. Sean /, un anillo, M y N dos A- rnod ulo s y f ! • .o,: - N una aplicaci6n A-lineal. Demue stre las siguiente s propiedades: (1) 8i M e s s i rn , ple , j e s tnye c tivo 0 nulo; (2) s i N e s simple, / e e sobreyectivo onulo; (3) siN yIr son simples, f e s un r sornc rf'i s rno 0 nu lo,

1. 7.6. Sea K un cuerpo conmutativo y c oris Ide r e s e e1 p r-oduc t o directo de a ni Ilo s A'::: X x K. Mu e s t r e que 11 es un anillo semisimple, pero que A no e s simple. S1<JeN;~""'1>".' El anillo;i sedescompone en una surna directa 11 =0 I'itlJ de ideales rn ln irna le s I= [(a, o)la E:K] yJ= [(G,a)1 I a E xJ y e s to s dos ideales son isomorios a K COlYlO anillos, pero I y J no son rs orno rfo s COlYlO i.de a Ie s , a sea como A-m6dulos.

18

1. 7.7. Lema de Schur. Muestre que Is proposici6n 1. 1.2., tambien conocida par lema de Schur, puede t.r aduc i.r s e d e Ia s i gui ent e manera: s i I! e sun an ll.lo y N e s un A- modulo simple, el aniUo End. (N) de los A -endomorfismos (lineales) de Nes uncuerpo nonecesariamente conrnutativo.

1. 7.8. Sean Ii un an i Il o con clen.ento unidad y N(A) e I conjunto de los e le mento s ni lpot.erite s de A. Mucstre que s i c: es c onmutatrvo , N(AJ e s un ideal de A y XU) Cj?(A), pero que si A no o s c on.mucat ivo , un e1emcnto nilpotente de ,,; no pe r te ncc e ne c e sa r ia rne nte a R(A), AGn mas, todo elemento nilpotente de A que pertenece alcentro de A e stx ne ces aria mente en R(A). Se dice que H(lI) e s el ,d>o(h:eaZ de Ii.

1. 7. 9. Mue st.r e que si /i e s un a m l l o COn e Le rne nt,o unidad no conmutattvo , todo e1emento nilpotente de A e sta contenido en un ideal a La izquie rda nilpotente de A,

1.7. 10, A partir de Ia pr opos ic i Sn 1. 5. 8" rrrue at r e que si A e s u.n ani l lo conmutativo con elemento unidad yartiniano, entonces N(A )=R(A).

1. 7.11. De un ej e rr.p Io de un am l lo c on rmrta t i.vo n COn e Ie.rrierito un i , dad, necesariamente no artiniano, para e1 cua l se tiene N(,l) F 11(;\).

1. 7.12. Muestre que si AO e s e Larri l Io opuestode unanillo! condementa uni dad , entonces H(Ao) = R(A),

1. 7.13. Mu e s t r e que e I radical de un anillo no e s necesariarnente un ideal nilpotente ni un nilideal. Muestre, por e je rnpl o , que s i Ii '"

=K[[X" ..• ,X.JJ e s elanillo de series formales en las indeterminadas Xl,' .• ,An can c oefac ie nte s en un cuerpo conrrmtativo K, el unico nilpotente de R(A) e s el c e r o,

1. 7. 14. Sea (A')i£l una. fa rrri Li a de arri l lo s can elemento unidad.

Mue at.r e que J1( !l Ad = n R(Ad.

iE' iE:!

1. 7.15. Sean K un, c ue r po con muta rivo y A = K[X1, ••• ,X.] el anillo de po l inorrrio s en las indeterminadas X., ••. ,Xo c on coeiicientes en K. Mue st r e que R(A) = O.

1. 7. 16. Sean A un anillo s e rrri s l rnp Ie e I un ideal a la izquierda de ;,. Muestre que existe un ldempotente e de 11 tal que l' = A e '" Le .

1. 7. 17. Sean ,4 Un anillo can e l e rrie nt o unidad e I un ideal a la iz. quierda minimal de A tal que Ii> r O. Muestre que e xi e te un Ide mpct.crite e de A tal que I = A e.

1. 7,18. Muestre que e l anillo opuesto de un anillo semisimple e s un a ni l lo ac mi s i mpl e ,

1. 7. 19. Para un ideal bi Ia te r o pro pio P de un anillo A con eleITlento unidad, las siguientes condiciones son equtva.lenee s r Ii) cualesquiera que sean a y b en A, La relaci6n aAb c;: F imphca a E P 0 b E F; (ii) c ua Ie s qu i e r a que sean los i de a Ie s billite r05 I yJ de A, Ia relaci6n I,} c; P implica I cpo ,] c; P, Un ideal bi Iat.e r o p r op io P de un arri l l o 11 can elemento unida.d que verifica las condiciones equivalentes dad.a s se denomrna 'rde~~7.- :':::r)i-.~:'c. Uri anillo A s e denomina .;;..~_'C-I Z(.J ~)~{.m(.J s i e l ideal (o) e s primo.

19

l. 7.2.0. Muestre que e1 centro de un anillo primo e s un anillo de integridad.

1.7.2.1. Sean A un anillo can elementounidadyM.(A)eianillodernatrices cuadradas T))(n can coeficientes en r<l. Mu.e s t r e que todo ideal p r i» mo de N.(A) e s de Ia forma M.(F), donde P es un ideal primo de A y que RW.(A») "" /(n(.R(A»).

1. 7. 2.2.. Sean A un anillo conmutativo con elemento unldad y;i [X" •.. .•• • X.J el aniLLo de polinoITlio5 en las rnde t e r rruriada s X" .•.• X. can coeficientes en It. Pvue be que R(A[X1, ••• ,X.)) '" R(iI)[X" •.• ,X.J. i.Es tal resultado verdadero s i e1 a m l lo J no es c orrrrru ta.t'i.v o ?

1. 7.2.3. Sean A un anillo can cuyo elemento unidad e s e1 de A. esta contenido en e1 centro de A,

ele menta unidad y B un subanillo de A Mue stre que B r. }i(A I c P(B) y que s i B entonces B n R(A) = !i(B).

1. 7.2.4. Sean K un cuerpo c orrrriu ta t i vo y K - A un morfismo de ani- 110s unitarios. Muestre que s i L e s una. exten 5i6n (de cue r po s ) deK. enton c e s RIA p L) n A = R(A) Y que s i L e s una extensi6n separable de K, se tiene R(A ~ L) = R(A) ~ L.

1.7.25. Forma.a c ua.driticas. Sean K un a ni Il o conmutativo con elernento unidad yM un K-:m6dulo. Se d ic e que una aplicaci6n! : N - !( es una fOFma auadratiaa s ob r e M si/(ax) '" (l,~/(x) cualesquiera que sean (l, en K y X en J( y si la aplicaci6n ~ : 11. )(,If _. K definida po r (X, 11) - fix T + y) -fix) - !(1I) e.s K-bilineal, necesariarnente sitnetrica. Se dice que cp e s la Forma K-bnii1eal simet1'ic;Q aeooi.ada a I. Decimos que! : N _. K e s una forma cuad rdt ic a riO degp-nerada si la aplicaci6n X-lineal 11. - M'~ ... = HomdM, X) definida por x ... (Ii ,.. CP(X, ill 1 e s un isomorfismo de K-rn6dulos. Si N e a un K-m6dlllo libre de base [eh ••• , e.l. Ia matriz cuad r ada (I:,'(e 11 e 1)h$l, ~;:;n se llama ma:triz de! relativamente a la base (el, ...• en). Dernue st ce los siguientes resultados:

1. 5i M e s un K-rn6dulo libre de t lpo rinito, una condici6n necesaria y suficiente para que una forma cuadr at ica I : M - K sea no degenerada e s que lao matriz de I relativamente a una base cualquiera de M sea inversible.

2.. Si M es un K-rn6dulo p r oy ect ivo de tipo £inito, una c ond lc Ion necesaria y suficiente pa ra que una forma cuad ratica ," : M .. K sea no degenerada es que para todo ideal primo p de K, la forma c ua d r.a t ic a,

JC I(x)

Ip :NIl-K'p definidapors"'-;r-sea nodegenerada(Np e s unKp-m6dulo

libre ).

3. 5i A e s el ~lgebra de los corn plc jo s 0 de los c uat.e r nio s 0 el ,H-

2O gebra de Cayley y siN: A _, R es la no rrrra (v ea n ae los eje:mplos 2.. 1. 2.. , 2. 1. 3. y 2. 1. 4. 1, entonc es ]V e s una forma cua d ratica no d eg ene r ada y multiplicativa.

1.7.26. Sean Kun cuerpo conrnutat ivo yA=K[[X1, •••• Xn)} el anilio de series forma1es en las variables a Ind e te r rn i na da s Xi , ••• ,X, con co ef'ic i ent e s en K. Calcule e1 radical y e1 nilradical de A.

2

ALGEBRAS SEMISIMPLES

En este c apftulc s e denota r a por r. un c ue r po ccnrnutaclvc y toda algebra eS un algebra sobre K 0 una X-algebra. 5e da ran a.Iguna s nocione s indispensables s ob r e algebras y Ia estructura de algebras semisimples y. en e1 ca pfrul o siguiente. s e a bo r da r a Ia c on st r uc c Idn del grupo de Brauer de un cuerpo. Par supuesto, rrruc ho s de 108 conceptoa que ae van a expreSaren este caprtulo y e n Io s siguientes acerca de algebras sobre cuerpos son v:Hidos 81 se reemplaza e1 cu e r po base por un ani l lo conmutativo con elemento unidad.

a.r, DEF[NICIONES Y EJEMPLOS

Sean II un c ue rpo conroutativo y A un K-espacio vectorial. Se dice

que A e s unaK-i'llgebpa 0 un :i?geoPG ::lOD.t'8 K si existe una aplicaci6n K-

biUneal 1-1 : A )( A - A que s e denominara mUhi.ccUc;;:eiCin de A y que se d enota ra IJ.(X, II) = XII. cualesquiera que sean X e II en A. Asf, dar una estructura de algebra sobre un K-espacio vectorial A e s 10 mismo que

dar una aplicaci6n r.-lineal 1-1 : it 1 A - A, 0 sea un elemento 1-1 €

€ BomdA eo A. A). Como existe un isomorfis:mo natural de K-espacios 21

vectorial:" Ho:m~(A ~ fl, A) "" HomdA, End~(A)) (d. (20), proposici6n 2.9.4.), dande End.(A) es e Larri l l.c deK-endOTI1odiem05 (lineales) de A,

81 h ec ho de dar una estructura \.l : AXA - ;l de ilgebra sobre A equivale a

dar un elemento 1-1 E Hom,(A, EnddA)).

Una K-:Hgebra A s e dice aaooi.at.tva ; S1 11'1 multiplicaci6n de !l es a soc tattva, e s de c i r S1 c ua le sq iri e r a que sean x, y,::1 en.4, s e tiene I-I(X, I-I(Y. zll '" \.l(f.I(X, Y), Z). En tlirminos de multiplicaci6n (yuxtaposici6n de elementos), se puede tambilin eacribir X(yz) '" (Xy)z. Esto lleva a considerar la aplicaci6n K-trilineal a. : AXAXA - A, definida par o.(X, 1/, z) = X(Y;:;) - (X1/);:;, que denominaremos accciodcr del algebra A. As!, decir que un algebra e s asociativa equivale a d ec i r que BU a scc ie.dar e s nulo. Pero hay ejemplos de algebras para las cuales su a80- c la do r e s nulo 8610 sobre derto tipo de elementos. La p ropos ic ion siguiente airece un ejemplo de tales algebras.

Propo.ici6n l.l.!, Sean K un c'uel'po c()rIrmdati,)o iJ A fma K_ai.ge_

hl~a:. Las $ffJ"l~f_e'1.bt[J (_:'Qn.df..(,~i-onG8 '::-)""1 eqici.oal.ent-ee : (i) e l GnooiadoY'

0. : AXA)(A - A de A ce una ap l i oaeibn K-1;ddr/(;al cltenjada: (ii) cua l.ee »

quiel'a que <Wan X e 11 en A IN tiene X(X1l) '" x'Y if (XYHI = XY~.

En efecto, como o.(X, x, 1/) '" .x(xy) ~ X"lI, Y o.(X, II, y) = x!/'- (xy)y, ellalesquie ra que sean X e y en A, e s ev id e nt e que (i)" (iiJ. Reclprocamente, las condiciones de (H) irn pl ic a n que o.(X, X.II) = Oy que o.(X, y, y) '" .. 0 y mostra r em o s que se hene tarnbi en o.(x, 1/, xl :: 0, eua lesquiera que sean X e 11 en A. Para e sto, basta obae rva r que 0 = o.(x+y. x+y. x) := :::0 o.(x, x, x) + o.(x, 1/, X) + 0.(1/, x, x) + o.(y. V, x) '" o.(x, Y. X), 10 que demue at r a la p r cpo s tc i dn.

Uri algebra que ve r if'ic a las condiciones equivalentes de la pr opo s i-. ci6n anterior se llama 1cgebi'u cu:tepnuJ,ivu.. Claro esta que toda alge. bra a aoc iat lva e s alternativa, pero hay ej ern p.lo s de algebras a lt e r natdva s que no son a.sociativas (d. el ejemplo 2. I. 4. ; algebras de Cayley).

Si, para una If'-algebra A. existe un e lerrie nto de )1, que se designa por 1 y que verifiea xl = Ix = x para todo x E.4, s e dice que A e a un (H?et'pc ¢')'1 c16m.mtD wl'idady que I e s el 8/81';6'1.'.':0 uni.dad de A. Si un tal eIernento existe, es Unieo. Hay ejemplos importantes de algebras que no tienen elemento unidad (ef. e1 ej<nnplo 2, 1. 5.). Por otra pa rte, dada un algebra sin elemento urrida.d, existe una manera natural de agregarle un e lernento unidady e l a lg eb ra de partida s e au me r g e en e ata como ideal bilo1tero (ef, e l eje r c tc l o 2. 8. 1. ).

A continuad6n nos reieriremos a Ia c onrnurat i'vid ad. Se d i c e que una K-algebra A e s oonmurarii»: s i XlI = u», eualesquiera que sean X e 11 en A. Esto nos Il eva a c on a id e r a r Ia a pl.Ic a c i6n K_ bilineal Y : ;l XA - A, definida po r (x, Y) ... XlI - yx, que se denomina ,oor/muwoo]' d el algeb ra A. Es evidente que A £8 -:_~on~I·!A_t.:.-:rti ,)J a : '. ~ j so /'C r,{) Btl C'OYUn~~ b~':-7"ol" ee Y!Ui.D. Esta observaci6n trivial muestra que hay Inte r es en e1 estudio del c onmutado i- de un ilgebra (ef. el ejercieio 2. 8,4, ).

22

Ejemplo Z.l,l. LoCI num e r o e c ornpl ejoe , Sean r el R-espacio vectorial de los mirrre r o s c orn p Iejo s y [l,t J Ia base natural de C sabre R, donde e = -I. Todo nllinero complejo, D sea todo elementa de C se esc r lbe; de rna ne r a uniea, en 10. fo rrria a + t·t, donde a y b e sta n en R. La estruetura de algebra c onmutat lva y ae oe iattva con cl ernc nto un i da d de C esta dada po r 10. rnu lfip l ic ac irin

(0; + btl (a' + b't) = (aa' - bb') + (ab' + 2'b)t,

c ua l a aqu ie r a que sean 0;, i'. a' y b' en R. Aderna s, el algebra C e s de integridad, 0 sea sin divisores de cero. La n,,"""o de un nfunero complejo (l + bt. e s, por definici6n, el num e r o real NrO; + btl ., (0; + btl ((2 - bt) = a" + c/" y e s ev idc nte que I'(l + btl ., 0 s i, Y 5610 s i, a = b = 0, Se c on cluye que s i x = a + bf, e s un nfunero c om p lejo no nu l o y X = a -ot

1

s u ,-'cmJu'_'adc-. entonces e'l Irrve r s o de x en C s e escribe 11'(:,:);' 10 que de-

rnuestra que C e s un c ue r po llamado e l (1,;,.,:e:r";Oc ere· :.\)3 '1.ur>!~';!r'~· . ."[{" ·'~G.;-;-i:::~{~':;0$. Ob s c rv e a e a.dorrra s que la aplicaci6n X : C - R. definida po r x r- il"(x), Hene las siguientes propiedades: OJ N(ax) = "aN(X), cualesquiera que sean a en R y x en C; (ii) Ia a plicaci6n ii : C I( C - R, definida por (x,lIJ-il·(x+y) - J'(x) .1,,(y), e s R-bilineal s irn et r ic a, pues 1(X.Y) ,.., '" xi} + Xy c ualesquiera que sean x e 11 en C; (iii) i\'(X';;,) '" !/(x) lIT{y I, c uaIe squi e ra que sean X e 11 en C, Las propiedades (i) y (i i ) s e traduc en diciendo que .if : C - R es una fopma·.TAcd!":X!'1~m). sabre C y La propiedad (iii) dice que 10. forma cuadratica X e s m"Itip,:ic,·;;;tha (ef. 1.7. 1.!5).

Adv ie rta e e que C, COmO extensi6n de R, es una e xt.enei on. d6 '~,,<c-i[J de R, cuyo grupo de Galois e s el grupo c Ic I'ic o de orden 2. En ef'ec t o, si a : C - C es un R-alltomorfisnto de C, entonces ora) = a para. t odo 2 en R y aplicando o a 1a identidad t",.., _I, s e t i e ne O(t)2 = -I, 0 sea cr(t),.., = ±t, 5i cr{t.) = t. entonces a eslaidentidad sobre C, y s i art) = -"I., en-

tonc e s o(x) = x para todo x en L Aer, el unico R-automorfis:rno cr de C distinto de la identidad es el que l Iev a todD ntirn e r o complejo x en s u conj ug ad o X yes evidente que Gal(C/R),. [ide' er} can era,. ide

Ejemplo ~.l. 3. El c ue rpo no conmutativo de loe c uat e rrrio e , Sea Hun R-espacio vectorial de dirnensi6n 4, pOl' ejemplo, H = R". y sea {1. 6t• ea, eGJ una base de 1H sabre K Deffna s e s ob r e H una e st r uc tura de algebra a soc iaeiva con elemento unidad, pe r o no c o nrnuta t iva, rned ia nte 1a siguiente tabla de multiplicaci6n relativa a la base menc Ionada :

1 e1 ea 63
I 1 e. e" 6a
61 e1 - 1 63 -6"
e~ 62 -e" -I e1
ee ea 6a .e1 - I 3

Si x '" tlo + I "-,e, e s un elemento de H, d orid e los 0-. e ata n en R, el 23

~l ~

"O'1,iU(lClJ.) de x e s e l vector X =: "0 - L "-,e, y la i'1op.,.;a; e s la aplica-

PI 3

Claro esta que }i(ao'" ') a,e,)~ I....

~=1

a~. donde los ::I, e s ta n en R y gue, par 10 tanto, N(x):; 0 can X en

N : IH - 1<, definida par x - xx.

lH si, y s610 s i, x = O. Luego, todo elemento X 10 de H tiene un in-

verso en H, a saber N(~) x. Esto .d errru e s t r-a que H es un c ue r-po, s i bien no c onrnutatfv o. Se dice que lH e s el cue rp-: ],' .(0" cuat.errii :e y es el primer ej errrpl o de c u e r po no c onrnutat.rvo (ci. el teorema de Wedderburn sabre cuerpos finitos; te o r e ma 3.6. L. ).

Es£acilverquel1:H-R e s unaiorma c ua d rat ic a multiplicativa, c uya forma R-bilineal simetrica asociada 11: HX H - R se es cribe q,(X, Y) ~ '" xii + YX'" Xl1 + '[jx cualesguiera que sean X e y en H. Observe s e gue, en H, Ia c onjuga c Ion H - H, x ... x es una a pl ic a c i dn !l-lineal gue c urn p le las siguientes condiciones: x", X para todo x en IH y :q.. = yxcualesq ui e ra que sean x, y en lH.

Ejemplo 2.1. 4. Algebra de Cayley. La c onat.rucc tdn del algebra de Cayley a de los oct omo s s e ha c e de modo similar a 10. de los compl ejo s 0 de 10$ cuaternios. Sea, pues, C un R-espacio vectorial de dirnensi6n 8 y den6tese par (I, el' .. " e71 una base de 0 sabre R. La estructura de algebra de 0 sabre P e sta dada conforme a la siguiente tabla de nlultiplicaci6n:

1 61 6" e" 6" e5 Ilo e?
I 1 III Il~ Il .. 6 .. e5 86 67
61 III -1 ea -Sa e5 -64, -e« es
e" e; -s" - 1 el 66 67 -64. -Ils
e3 e3 e~ -SI - 1 67 - I)" 65 -e.
e .. e ... -65 -68 -67 - 1 III Il~ "'3
es 65 114 -67 6e -61 - 1 -6" e ..
S'" 116 117 e .. -es -e:< Il" - 1 -el
67 e; -Ill'; 66 e~ -1l3 -e,:;! 61 - 1 24

El R-espacio vectorial, C resulta s e r una R-algebra con elemento unidad, no corunutativa ni asociativa. Pero C es un algebra alternativa. Ad erna s, es f~ci1 ver que to do elemento x f 0 de C tiene un tnve r so en C. En ef'ec to, si x :::

7

= an + I aiel e s un elemento de 0, clonde los 21 estin en R, el ,-,on,Juga-

1"1 7

do de X s e define po r :; ee (10 - I alP, Y la norma de)ll s e escribe N(x) =

7 ~l

'" XX = XX '" L O~. Claro es!a que zr(xJ ,. 0 s i , y 8610 s i , X = 0 y. pal" 10

a ... 0 1 _

tanto, el i.ncereo de X ;J 0 en C e s Nri)X' Ob ae r ve s e que zr: CJ ~ pes una

forma oua dr ari ca multiplicativa y no degenerada. La ap li ca ci dn C! - r::. definida par X"')7, e s R-lineal y ve rifica x;; zo y x1/ = iii, cua Ie squie-. ra que sean X e yen 0 (ef. el ejercicio 2.8.6. J.

Ejernplo 11..1.5. El algebra 0*, Sea C el R-espacio vectorial de los c ornp l ejoa y corrs id e r e s e e I algebra (}~, sobre R, que coincide con C como espacio vectorial, pero cuya e s t r uc tu r a de algebra esti dada pal" x*Y '" xii c:ualesquiera que sean X e y en C*, donde X. par ejemplo, designa el conjugado de x y e l producto Xy es tornado en C. El ~lgebra C* no es a s o cta tiva ni ta mpo co tiene elemento unidad. Es f~cil ve r que O~'

. -1+!3t

hene 8610 t r e s Iderriporont e s no nulo s, a saber, I, e, => 2 Y e" '"

-I -13 t t'l t'~' )

=> 2 .donde =-lyquel,q=l.l'~="~l=-t.v*"=-l.l'>e\""

""e1~'1 =e2• l,~e~ =e,,*1 ::Ie1 y 1 +el-1"e2'" O. Adema s, [I,ell, (l,e,,} y (eb ea) son bases de c= sabre R.

Ejernplo 2.1. 6. Sean K un cuerpo conmutativo y A = .M. (to el anino de matrices cua d r ada s nXn, con c:oeficientes en K. donde 71:;' 1 e s un entero. Se sabe que A tiene una estructura natural de K-espacio vectorial para el cual una base es fo r rriada po r las matrices ~IJ' 1,; t, J,; n. donde 611 es la matriz que tiene len el cruce de la ~-~sima fila y de Ia

J-€>sirna. co lurrina y cero en todas las ot ra s pos i ci one s , La estructura de K-~lgebra de A cst6: dada pOl' Ia tabla de m.ultiplicaci6n e lJekl = Ojke n

(t, J, k, l = 1, ... ,7\). El elemento unidad de A as la rnatriz e ., I ell'

I~I

Ejemp10 2.1. 7. Sean K un cuerpo c onrnuta trvo, G un grupo y K1(0) e1 arri Ilo de grupo C sobre K (ef. 1. 3.). Es inrnediato que K[ GJ tiene una

estructura natural de K-espado vectorial par La rnultiplicaci6n ).,. I I-lae:;= oEo

'" I ().,.I-lC'le~, cua Ies qui e ra que sean Io s X y u" en K. Luego , K[O] hene

~EG

una estructura de K-algehra y se Ha rna ii1.(!ebY'C! de gP'ctp:> C s ob r e K con

coeficientes en K.

Ejemplo 2.1.8. Sean K un cuerpo comnutativo y K[Xl' .•. ,X.) e1 ani- 110 de polinomios en las indeterminadas Xl' •.•• X~ can coeficientes en K; K(Xl'" •• X.] tiene una e s c ructur a natural de K-espacio vectorial y pOl' consiguiente de 6:lgebra sobre K. Se dice que,r([X1, •••• X.J e s e1 aZgebl'a de pa!bwrrri·os en 1a s indetertninadas Xl' ... ,X. can coeficientes en K.

Z. Z. PRODUCTO TENSORIAL DE ALGEBRAS

Sean K un cuo r po conrnutativo yAy E do s K-algebras. Sabre e1 K-

espacio vectorial II. ® E (ef. (~O) l s e define una e s t r uc tur a de K-,Hgebra 25

mediante la rnul tlp n ca cron b: ® yl (x' ® y') = xx' ® !lY' para »v x' en A e

y e y' en B. Se abtiene a s f s ob r e el K-espacia vectorial A ~ B una es-

tructura de algebra que Be llama ps-oduct:» t.ennovl.al. de las K-algebras il y 8.

5i K"-' ii' es una extensi6n de cuerpos y,1 es una K-~lgebra, existe sabre e I K' -espado vectorialIf' 0 J\ una e s rr uc tu r a de K' -algebra po r la

~

multiplicaci6n (a' ® xl (b' 8 y) = a' b' ® xy para a' y 1;' en K' v » e yen A.

Obs e rve s e que Ia estructura de X' - espacio vectorial de ,rr' .~ A es dada

par a' (b' ® y) = a' b' ® Y para:1' Y 1;)' en }(' e 11 en A, Se dice queK' ~ Ii e s Ia K' -~lgebra obtenida a partir de ill. K-~lgebra A POl' ex ti'I1.;J1: f) 11. de? ,--'ue:r:ro de .es(~ala~e8.t a saber" Kt:.. r .

Ejemplo Z. Z.l. Sean G y H dos g rupo s y K un cuerpo conrnuta ti vo,

La aplicaci6n K(GJ x K(E] - 1«0 x H] defi.nrda par (I ),_cre", L i-l-;er) -

~EG rE"

.... I XoIJTe«l' ,.), donde G X H e s el producto directo de los g r upce G y H.

(1'" r

~8 K-bilineal. y define, po r tanto, una aplicaci6nK-lineal KrO] WK[HJ~

- Klc X In. que es , a derna s , un isornorfismo de K-algebras. Re s ult'a que. a rne no s de un isolUOrfismo, s e puede escl"ibir K[G )(H) = K[G]® ®K[HJ. (

Ejernplo Z. Z. Z. Sean K uri cuerpo conrnutativo y X e Y dos indeterrrri na da s sobre K. La aplicaci6n K -biEneal K(X] X K[ Y] ~ K[X, rJ defi-

n i da par (L. !..IX', I I-l.yl) - L f.ll-l;ctyJ se extiendea un isomorfismo de

I::tO 1;;:0 I. Jl!: 0

K-<11gebras r.cXJ, KCy) ~ K(X, Y). Advicrta e1 lector que se sabra ya

que el arri.l lo de polinomios K[X, YJ Be cons t ruye como el aniUo de polinorni o s en La indeterminada Yean coeficientes enX[X]. e s to es K[X, y] '" = K[X] [n 0 tarnbl Sn K(X, y] '" K[Y] [X] (construcci6n tnduc ttva I, Otra mane ra de construir1o es mediante e1 producto tensorial, a sea K[X, YJ '"

= K[X) , K[Y].

26

Ejernplo 2.2.3. Sean K un cuerpo conmutativo yAy B dos K -espacias vectoriales. La aplicaci6n K-bilineal End.(A) x End.(B) - End~(A eEl definida par if, (JJ -1 ® ~ induce un rrio r fi s rrio inyectivo de K-<ilgeb~as End.(Al 0 End~{B)" End. (A ® BJ. La derno s t r a cron de e s te hecho, bas-

< •

tante iacil, s e deja al lector. En particular, s i AyE son e spaci o s ve ctoriales de dlmensi6n Fi ni ta sabre K, entonces End.(;U ~ End~(B) y

Endl(A~B)tienen rrri s rna dirnensi6n, a saber, m~n~sim,"dim.(AJ y r) ::= dirn.(B) y, par 10 tanto, End. (AJ ~ End.(B) ~ End,{;, ~ B) e s un i sorno r , fi:nno de K-algebras. Un c a s o particular es cl isornorfisrno de las algebras de matrices M.(X) ~ M~{X} ~ M •• (K), cualesquiera que sean los enteros m. n:;, 1.

Ejemplo 2.2.4. Sean ahara F. un cuerpo c onrnuta trvo y A una ,,-algebra. Laaplicaci6nl(-bilinealM.l>:) xA -M.(;;), deiinidapor(o,'lJ)'X)"'" .... (\,~), induce un morfismo inyectivo de [(-algebras N.VO ~ A - M.(A),

que e s , a derna s , un i s orno r Ii s rno . En efecto, h a s ta p r o ba r que tal rno r-Ii e mo es sobreyectivo y pa r a e st.o den6tese po r el J 1,. t. J :;; 11"

Ia base can6nica del A -m6dulo Hb r e M~(~.J. Un elemento L x!Jell de J~ J=l

Mo(tl), donde 105 X'J e s ta n en A, proviene del ele=ento ~~ ell ®XLI de 1. fr~t_

Mol.!;) ® ,1 po r e1 rnorfismo Un Or! Ii A _ M.(A). E sto prueba que N. V() ® ,\ ':;J

. , "

'=',1(.(,,) es un isom.orfismo deK-6.lgebras. Este ejemplo e s de utilidad

para 10 que s ig ue , Par supuesto, A e s un algebra asociativa.

2.3, ALGEBRAS CON DIVISION Y EL TEOREMA DE FROBENIUS

Sean K un cuerpo conmutativo y /; una x-algebra. Para to do elementa x: de A, consid6rense las aplicaciones ((-lineales fI, : A - A, deHni.da pOl' y _ yx (t;l'ClHca,-,'t3>!1 1." dm'.;., ... ha de£inida par x), y Lx : A - Ii, definida pOl' Y ,_ X/j (n'as 7-ao'io;;, a La l:':quifi!lOa definida po r x), Es evidente que cualesquiera que sean Cl y b en fl can a: f D. las e cua ctone s ax = b y xa '" b tienen soluciones 6.nicas en A s i; Y 8610 s i., las aplicaci.cnes K-linealcs fl. y L. tienen inversas Jr.l y L:l, Un<ilgebra que cumpl e tales condiciones se llama un aZ:;ecy>u; ,-,o>! div[st.on.

, Te0:r:.em~ 2.3. 1, (T~o:r~ema, de,~rob~l3iul!ll: ,SUJi)O 7:som~r't~m"'O", las un'~(J'a!l; al-ce.o~'la3 oon. d~!_..1'J7 .. '.YronJ de a.1Ai'~nG·,~'~)ii f'!.Yl.1 .. i:o., 7-j" as!)C1.·at1.·'IJ::.7.~ acbpe

103 !lUm!?l';;m r>e::d&8 GCn R, C y 11-1. -,

La demostraci6n del teorema de Frobcnius que s e da a continuaci6n s e debe a L. E, Dickson. (1~) Sea, pues, A una R-!Ugebra y ~ = diIl),(A). 5i 11, ~ I. necesariarnente A ~ R. isomorii5mo de R-,Hgebras, 5up6ngase entonces que 11,;' 2 Y que RCA como s uba Ige br a, y demuestrese que ex i s te un elemento el en A tal que e~ = -1. En eiccta, como 11, ::. Z, e",iste un clemento X en A tal que X * R y c orno los vectores 1, x •. , .• :;t son R-linealmente dependientes exi s ten nurne r o s reales Ao. A1"'" An no to-

e

do s nul o s tales que ~ )'_jX ~ o.

.

Consid€rese el polinornia f = I).,I..r can

coeficientes reales y ~ ea! =! l' •• f m s u de s corrrpo s i c i on en [R[X1 en factares 11 de g r a do 16 2, Como ° =/(x) = f~(x)" .f. (,:.-.)y como A e s un algebra can di vi s i6n, ex.i s te un In di ce L, 1 s; t s; m, tal que II Cd = 0, 0 sea X e s r afz de un polinoroio de segundo grado X" + aX + B con a. y Ben R. Luego za + Cl.X + :3 = 0 con (2x +oJ~ = o:.a - 4fl < 0, pue s x f R, Si se to-

mael=~;:; (2x+o:.) enA, re8ultae~=-1. Sin= 2, [l.ell esuna

e - 0:.

base de A s ob r e R y, par 10 tanto, A e s i s orno rfo a C,

Sup6ngase ahora qLle se tenga n ;,_ 3, Existen ve c to r e s e. y e~ en It tales que e~ '" - 1 Y 8~'" -1 Y como todo vector de 11 que no esta en R e s

r afz de un polinornio de segundo grado con coeficientes en R. s e tiene 21

(61 + e'l)a + o.{e, + e,,) + ~ '" 0 y (e~ - 801):; + Y(8, -efl_) + I) '" 0 con 0., S. y Y

5 en R. Sumando e s ta s dos ecuaciones se tiene (a. + y)e •... (a - Y )e~ + p +

+ 6 - 4 = O. 0 sea a. = y = 0 y S + 6 '" 4, Se puede escribir entonces e,ea +

+ e#. = Z - S = 2A.. con )._ = 1 -1.e. luego (el + e~)a = 2(;.. - 1) < 0 y (el-

i'.

- ea)3 = -2()1. + 1) < 0, a sea -1 < A < 1. Las In e.c ua ciorie s j, - 1 < 0 yA.",

+ 1 > 0 dicen ta rnbi Sn que 1- )._2> 0 Y corrio (; I! A" (xe , +6"»a,,, -I, reemplazando ell par /1 ! ;.." (Ae1 + e~) ca be suponer que d = - 1. e~ = -1 Y ele~ '" -e#l' Po r cierto que e,e" no puede escribirse corno corribiria-. ci6n lineal con coeIicientes en R de los vectores I, elY e". pues si as! £uera existirfan ntirne r o s reales a., B y y tales que ele" = a. + i.\e 1 + ye,a' Multiplicando a la izquierda par e~ s c tiene -e,\l = a.e1 - S ... ,(e1 ea. a sea 6li = -a.e .... S - y(o.'" 1361'" Y6'l) y esto dice, en particular. que ya = - I, 10 que es a bau.r do , Queda dern.ostrado a sf que n;, 4 Y e s claro que s i 'I. = 4, (1, 61, e"" elea) e s una base de A sabre fl y A es i s crnc rfa al ~lgebra H de los cuaterni05,

Se dernos tr a ra que no puede ser n,;;,;5. En eiecto, sea!"!<;1 '" e.ellYsup6ngas e que exis ta un vector e .. enA tal que 82'" - 1 Y que (I, e., eJi)' 63, eo;,} e s un conjunto R-linealrnente independiente de vectores de,J, Sean los n6.rn.eroB reales a. ~ 8,e4 + e.e" IS = e<l1r" + e"e~ Y Y = eee" + e.e", Se liene e4ee = e .. (e,e',<l) = (e~e,)e:.J = (0. - e,e .. )ea'" a.e" - e~(~ - e#.) = o.e;o-Se. + + f!J3e ... 0 sea Ze .. e3 = y - Be, ... o.e". 5i se multiplica ala derecha par f!Ja• s e tiene -2e4 = ae, + Be .. + yes' 10 que es abs u rdo, pues los vectores

1. e,. eli' e3 ye., son R-linea1mente independientes y esto demuestra el te o r erna .

En e1 ca s o de <ilgebras alternativas. e1 teorema de Frobenius tiene un enunciado mas corrrpl e to y para BU demostraci6n s e recomienda la obra citada en ( 1. ) .

Teorerna 2.3.2. (Teorema de Frobenius). sal»o {somor';fYrmos,

Lae un1:eaD algebras con divi.ci.o», de dimenci cn j"'ii1i·ta~ y alte'cnati'Vas 80- bre Loe !'eales son R. C, H Y C.

Uno puede preguntarse 31 el teorema de Frobenius sigue siendo verdadera cuarrdo s e reemplaza la hip6tesis de que e1 algebra e s al. tel'nadva po r J'Iex{bl.e (d. el ejercicio 2.8,5.). Este ha sida un tema de in .... estigaci6n en 10$ 6.1timos afio s , (l.!!, 19)

2.4. ALGEBRAS DE CUATERNIOS

La construcci6n de un algebra de cuate rmo s puede hac e r s e sobre un cuerpo conmutativo cualquiera 0 10 que e s 10 mismo sabre un ani- 110 conmutativo con elemento un i da d, Sean pue s K un cuerpo conmutativo, a y b elementos de K yconsidlirese e l a Ig eb r.a a sobrel( de dirnensi6n 4 definida sabre una base (1, e1, e:;> ea 1 por Ia siguiente tabla de multiplicaci6n:

28

1 f!l e;o ea
1 1 e, e. ea
el e, a eo ae:l
e~ ez -e~ b -bel
e3 e3 -ae:. Ile~ -ab Se dice qu e j; e s e L .57.lJebra de L'1"at:m'i1'iOIl sobre K correspondiente

a I par (c. Ill, que algunas ve c e s ta mbi en s e denota (.~ ... 12.l.

, _I( "

El algebra de c ua te r ni.o s a s f d efi.rri da no e s neceBariarnente un cuerpo ni tampoco e s un algebra con divisi6n. Por ej e mp lo, la construcci6n dada en el ejemplo 2. 1. 3. en e1 ca s o de los ntirrie r-o s reales puede repeti r s e para los nfunero s comp1ejos (algebra de bl cua te r n.io s }, pero en este ca s o s e obtiene un algebra en Ia cua I la divisi6n po r elementos no nulos no siempre e s posible. En efe cto, 51 A e s un tal algebra, A e s de dimensi6n 4 s o b r e C y ti erie una base Io r rria da par (1. e~, e .. , e,e"l con e~ = - 1, e2 = -1 Y e,ell = -e..e,. Es mrne di ato "eri£icar qlle (i.e,- e,e",) (t. + e,,) = 0 y, no obstante, tel - e~ez! 0 e t + e e J O.

En realidad, en e1 ca s o de los cornp lejo s 0 de un cue r po a Ig eb r a i-. carnente c e r ra do, tal fen6meno se explica mediante el siguiente r e s ul .. tado:

Propoaki6n 2.4.1. Seem K un eue1'po al.qebrai camente cel'rado !J A una K-algebl'a aeooi at.iuc con el.emeni.o uni.dad iJ de dimension finita. 5i A as W1 algebm eon division, eniioncee A es i eomorfo a K como algebra.

Sean 10 '" d irne t A) y x en A. Crrmo I. x •...• X' SOn K-lineahnente dependientes, existen escalares Ao' "1. •... , "n en 1(, no todo s nulos, ta-

• •

les que I )",IXI.: 0 y considerese e1 polinomio I'" I )",1.r en ,1([X]. Por

:l,:;:;:(] 1"=1:0

cie rto que e s posible s upone r que ". '" 1 y. sin perder Ia generalidad requerida, que K sea una subal geb ra de A, 0 sea s e identifica todo elemento " de K a.I elemento A.. 1 de A, donde 1 es e1 elemento unidad de A. Como K e s aLgebraicamente cerrado, exi s ten elementos GIl" ··,a enf( tales que I '" n (X - all. Lue.g o 0", /(x) = II (x - ally

'"' iCi &=.

como A es un <ilgebra con divisi6n, necesariarnente x - al '" 0 para un fndice t conveniente, I;;: t;;: n,. Se cancluye que x '" al Ef(, esto e s A;;; K.

Vea rno s a.ho r a bajo que condiciones un Hgebra de cuaternios (~) e s un cuerpo (no conrnutativa). La respuesta a esta pregunta esta dada par eL siguiente resultado:

"(1 f. Z,!l /1 b e t"l'mmtO[l de I( Y A ;;; (T) e l. azgebrc de C'uaternias sobre I( aar':t'espondie:<!te at pap (c, b): Una condi ci dn neoe eari.a U SlA.[l: ei.en tie para qWi' A [lea un aue!'f'o es que La relaeio'l o.E - SaO, - y~b + 52Gb;;; 0, eon a" S, Y '.1 6 en 1(, sea equ icalenie a (l ;: 8 ;;; Y ;: 6 ;;; O.

29

En cfecto, sea (1, el' e", ele,,) 1a base natural de A s ob r a [(, esto es e~ .. cr.. e!l"' b y (els2)11 = -abo Para todo vector x;;; a. + Be, + ye,. + + lie'l.e~ de A donde a., 8, y y {j es Mn en K, e1 (!on.ju"oJo de X e sta definido por x;;; a -Sel - yer. - oel.ea Y 1a nm"na es N(x) = xx =';;;x = rr~ - Saa - - y21;i + 8aab. La bip6tesis becha dice que N(X) = 0 s i , y s610 si, X= O. Por 10 tanto, $i X ~ 0 e s un vecto r de A, su inverso en A s e escribe

_1 i (ef. 2.8.15.).

N(x)

,

2.5. ALGEBRAS SIMPLES Y SEMISIMPLES

La teorfa de anillos e erru s impl e s introducida en 1. 3. se aplica de inmediato al ca s o de algebras. Precisanda arin ma s, si f( e s un cuerpo conrnutativo y A una I(-.Ugebra con elemento unidad, s e dice que A e s una f(- algebra eemi z imal e si A es sernisimple como aniHo. Una definici6n aria lo ga vale para 6.ZgeO!'!l simple. Par supuesto, en e1 ca so de la simplicidad, s e supone que elanilla sea artiniano (c f, 1.6.) Y euto s e as egura suponiendo que 131 algebra sea de dimensi6n finita. A6n rna s , s I A e s una f(-algebra de dimensi6n Unita, entonces A es a la ve z un anillo artiniano y noetheriano. Recfprocamente, $i A es un ~lgebra sabre K y s i A e s noetheriana, entances A e s de dimensi6n Hni ta y, por 10 tanto, e s tarnbi.en artiniana. P'e r o la artinianidad de un algebra no implica que 131 algebra sea de dimensi6n finita. Asr, por ej errrp l o, el algebra de cuaternios H sabre R correspondiente a1 par (- 1, - 1)

PQ~ti·ar~7a!·J.) 2d A ec 1A.n.aK-GZg(iDll:f_ eentival., 87tt,:':f'!oe}.i . .1 {lebll{'f C$nt"f'(f. Z_

01 t(

"6 una [. -oJ-

Propo,aic i6n 2 .. 6.5. S'ean. ~r: U~y dIU:-!ll[!:::::., =r=": y ~ ~A.na K _5~.geb .. :rra ceYl.tP~J1. :n,mpI,8. P:U"li"1 tala K-Ol..geDP:J. Bte.;::!._.ote una {);_·y8(.~~~1:m entre. La Ja'Tri·ti·a de lOB i.deal.ee bi..r::f!.:F-r'o~ dP..B :1/ 701 ",7"('~r1il.i.a de tOR ideal es iri l dte roe de A? B. Ademac-, eGa b{~1er..~(~{.·,f7! pre eevrc: e 1. Q1:\.:t'e;..-:·,,

En efecto, cons ide r ens e la s aplicaciones 1,... A P I (1 ideal de B) y J ,.. J n B (J ideal de h ~ 5), don de 5 esta inme r s o en A ® Ben virtud do Ia

• •

aph ca cton natural X'" 113 X. Se mostrari que tales aplicaciones son in-

ve r s a s una de la o t ra , Si I es un ideal de B, ;1 ~ 1 es un ideal de A 0 B

( <

Y (4 01J n B ~ I. Par otra parte, sea J un ideal de A ® B y escrfbase

J tl B" ~ 1 (ideal de 51. Claro e s ta que A f 1 c J, pue s s i z·~ Lal ® Xt (su-

I

rna £lnita), e s un elemento de II l' 1, donde los "I e s ta n en A y 108 XI

cs tan en I. entonces los elementos 1 ® Xl estin en ,} y como J e s un ideal de II p B y z '" I<al ® 1) < 1 ® XI)' s e s i gu e que z E ,J. Se mos tr a rji

1

que, cf'ecttvarnente, se tiene .'1 ~ 1= J. Sea, para e s to, [e'),e A una base de E s ob r e 1(. Todo elemento II de J Be escribe, de manera unica, en La forma 11 '" I Yj® ej• dande las 1/j es tari en A Y fin e s un subcon-

IE 110

junto finito de f.. Para todo If E flo. Be define I~ = {xl X E 11. :ily E J. 11 '" 31

e. I 1I1® ej Y 11k'" Xl; 1< e s un ideal biLitero de Ii y como Aes una [(-

lEAo

51gebra simple. resulta I, = 110 Ik '" D. Como el c a s o Ik '" ° se puede de s ca r-; tar £Acilmente, sup6ngase que ex i s ta un i'ndice If E flo pa ra el cuall. '" A. En este caso, si Z 11 J® e l e s un e Ierrient o de Jy S1 11k F D. entonces exis te un

JEAD

elemento I: 11J ® eJ en J para el cualYk = 1. Se pue de elegir La base (elll€ fI

JEIID

de B sabre 1(. suponiendo que (e,) c' Sea una base de 1 don de f. = fI). U j 0 , .••

U .~2 Y II, n 1\" = 0. Sup6ngase que exists un elemento Y en J tal que 11 * * A8lI y e s c r-Iba a e II '" \' 1;1 ® ej con Acminimal. Entonc"s.ll, n 1\0 '" 0.

, L.,

JEAo

En efecto. supaniendo que exista un Ind i ce .Jr en fl. nAG' e l elementa

tradice Ia rrrirri rna Ii da d de Ao' AsC. 11k i 0, entonces existe v = ') 111 ®

IE10

L 111 ® el estarfa en J. pero no en A ® I, 10 que con-

lEAo\lk\ •

s i existe un fndice Ii: en 110 tal que ej can 11, '" 1, 1uego 11 = 18l e. +

11 - lik ® e.

111* el es"l ° y pa r a to do elemento x de

;1, tenernos yx - xy =

(y ~ - X!ll) ® e 1 en J. 0 sea, po r 1a rrrirri.rna Ii da d de 110, 1/x-

- XII = 0, 10 que 5 e pue de tambi~n e s c r i bi r !I~X = XII 1 para todo X en A.

Caralaria Z. 6.9. 8{6n fInlta, en toncee un mirrre r o ent e r o},

:::u· A ea una K .. /iZr.rebJ.~o centrral. s/mt,)?a de dimen- 3/A. di~rierwrL~7l soD.pe K es un CJiA.ad-PQd~ (c uad r a do de

De este 1T1Odo. 'II J E Zk(A) = K para todo J en l\., Y c orn o Y = )' 1J I ® e I =

J;-Ao

= 1 ® \' YJe~ e J. s e sigue que )' JjJeJ e I. Pero el hecho de que

L c:

JEllo ~E"o

[eJ}J EA. sea una base de I, que Ill. n fto '" 11 y que (eJ}JEA. U 110 Io rrna

parte de una base de B sobre 1(. contradicen Ia independencia lineal de los e J s ob r e K.

Carolario 2.6,6. Seem A ·rma 1(-t;ZgebY'Q aeninra]. 31:rnpl.e y LW1a exre>18i.:'in (de cuerpos) de K. Ento'1<"€'" A ® L e", una L -,HgebPQ aentiral: aim-

pk. ~

Corolat"io 2.6.7. Sea A una K-tiJge"bI'Q centival. S1:mr:-;·Ie. Par-a -toda

K-i'i7.e"b~'a simple B, l.a K-ai'.?eD/>a A ® B 'is si"lpZe.

. ,

Coralario Z. 6. B. Sean K "y, U",i/'po C'o>1m""tativo Ii A "na K-5.tgeb1>a cen.tval. $i.frrple de dimeneiin n.. Exi.e :« entioncee u.n i somorf'iero de KG Z·G'-ebras A ,A e ';::,j Mit fJ:)J donde A Q ee e L a 7.-geb"pa opues to de A..

Con s Ide r enae las aplica.ciones K-lineales 0. :;; - End~(A). a ... ex ... - ax) y ~ : A 0 - End,(,1), Q. ... (x .. xa) (r epr ee ente ctone e de A). Es Inrne-. dta to verificar que las imfigenes de (l. Y i3 conmutan en End.(A), y en consecuencia s e puede definir un mor£ismo de K-<11gebra.s a. a ;! : A ®

• ® AO ... End.(A), dado pora ® b .. a.(a) 13 (b). Como A a A 0 e s aimpl e, re-

~ ,

s ul ta que 0; ® 9 e s inyectivo y, por r az.un e 5 de dirnensi6n, 0; ® S e B un isomorfismo de K-<1lgebras.

32

En efecto, si}f C6 una cla.us ur-a algebraica de f(, La K-iilgebra A f K e s central simple y. por e l ccor cma de Wedderburn (ef. el te o r erna 1. 6. 5.), exi.s te una f.-a.lgebra can divisi6nD y un entero n.., 1 tales que A f K "" M.I.]) (Ls orno r-Hs mo de i?- algebras J. Por la proposici6n 2.4. 1 ••

s e tiene que D .., Po. luego di~ (A) eo dirn:;( A ® 'jfJ = ~~ •

2,7, REPRESENTACION REGULAR Y UNA CARACTERIZACI6N DE ALGEBRASCENTRALESSDMPLES

Sean K un cuerpo conmutativo y A una 1(-a.lgebra asociativa can elemento unidad. Recuetdea e que la multiplicaci6n a. 1a izquiel'da de II e s Ia aplicaci6n K- lineal r. : A - End.(AJ. definida po r a ... L., donde L. (x) = ::: ex para todo X en A. Aderoas, L es un rno rf'i s rno de K-:Hgebras, 0 sea LOb = L.Lb' cua.lesquiera que sean a y ben A. El morfismoL : A - EndK(A) es inv ecttvo, pues 6i L. '" Lb con e y b en A, entonces ax = bxcua1qlliera que sea X en A. En particular, para x::: 1 s e tiene Q. ::: b. De e s te modo por el rno r-fi.s rno inyectivo [, : I! _ End~(A), A e s Ls orrro r fa a unaK-subfilgehra de End~(AJ. Si A e s de dimensi6n firri ta s ob r e K de base

(el •••• , e.}, e1 Laornc rfi s rno menc ionado esM: dado por L ( t )"lel) ::

lal

Una. construcci6n an~loga. perm.ite construir Ia pepP8$8ntam;C;n pc/aula» a Ia dBPBL'ha de A, que se denota.r a po r A~. En efecto, basta considerar Ia aplicaci6n K-lineal R : A - En~(A), definida pOl' a - R., donde J1.t:c) = xa. para todo X en A. Pero, en este caso, s e tiene J1~b = R-.R., cualesquiera que sean a y b en A. Se deja al lector Ia tarea de term.inar la descripci6n del algebra A~.

33

"

L: /"~L." Adem.as, 81 Via son las co n s tarrte s de estructura del ;Hgebra

'''l

A respecto ala base [el •..• ' e.). o s ea s i siel = :z Yo"e. ft,J= 1, •••• 7'!) •

. -~

la mat.r iz de L.1 respecto a la base (e1, ••• , e.) s e escribe

( ;::~ :'::.:.:::. ~~ )

Yll. Yiii. Yin.

pues L.,(el) '" e'SJ = ! Y1Jk Sir. (1" J = 1, ••• , n.). Esto muestra que A es

.'"1

i aorno rfa a la K-suba:lgebra de NnUO generada pOI' las m.atrices que se ae aban de describir. Esta suba:l.gebra de Mn(}(} s e denota AL y se llama la i'8ppe8entac{.!5n pegu[QP a La i zoui enda de A respecto a Ia base {Sl.···' e.)·

Ejemplo Z. 7.1. La aplicaci6n L : C _, End.(e} = Ma~R), definida pOI' a + ~t .. (; ~S), e s Ia representaci6n regular del algebra c de los nt1- meros complejos como R-subo11gebra del a:lgebra M,iR) de matrices cuadradas 2x2 con coeficientes en R. Como C es un algebra. conmutatava, las representaciones a la izquierda y a la derecha coinciden.

Ejemplo Z. 7. 2. Sea H Ia R-,Hgebra de los cuaternios relativa a1 pat (-1, - U y den6tese por [1, e1' ea' e,,] una base de H sobre FI, dande e~ = -I (1, = 1.2, 3), ele~ = -e~el para t f. J y e.e" = e3, eae" = e1 y e3el = ea' La aplicaci6n L : H .. En<\r.(H} = Mo(R}. definida par

C -c, -~ -~)
0.1 0.0 -o.a 0.;;)
0.0 + <It 81 + aae,. + 0.3eS ... ~ 0.0 -CIa
0.2
0.3 -Q,~ al 0.0 es la representaci6n regular a Ia izquierda de IH como R- subJlgebra del algebra M .. (R).

El teorema. que sigue e s una caracterizaci6n de las ~lgebras centrales simples mediante el centralizador del Jlgebra.

Teorema 241 7~3jj Sean. K un CU6YJpO C'OT/lriUi:;aTt·'IY::; i-l B una K-atgecrrc

aeoci.atriva cCrn. e:~ementG uni.dad, Sci. E 6!S de dimene i/m f'in?~.ta, "/.lYlQ COTL-

n

1, ... ,11), 1uego ql( I Xu ® e.J) = 1, ~ C"l

! eklxeJ>elJ 1" J, k =1

d-laion r.e.ce.sari.a. ~i1 $i,.(.f-£·e1.~6nt:e para que B sea una K -algebll:r oentFal si,mp l.c es qus ;qara "toda x-s: ;?ebijQ. aeoeiaci -!Hr. A que aon t.enqa. B como I( "R1J_Ialgebra;l el. nri.amo el emerit-o uni dad que B, se t:engQ A = GAW) P B.

La demostraci6n de e st e teorema requiere d o s lema. preliminares, e1 p r irn e r o de los cual e s es susceptible de s e r demostrado de i.n me di ato,

Lema 2.",7.4. Sean. K 'u.n L·I~eY'.r-:\~ C:Q~·U1iA."t~i.ti,'l.)c· :';' A if E dOB K- 3:7..gebY)aB

aeociat iuas ~Ot1. e7emen.ta unidad. S{ A f B es un.:l K- .~1gebl~a sin-~ple

(f'especoT/-tuame11.te. centa-al stttrl_ ...... Le l, Z,,-::u;. K-,1tgebY'ca A:J E 8.:-;r.: sirrrr-les

(pe.spe~t{"I-:orle1ttf.: cen h"ates sIrtr:.;;- l.ee ) .

Lema 2 .. 7 .. 5~ Sean. K ','A.Y:. clA-ex'po z:~o71.fiI' ....... ratioo y A N B ded K-aZgebYjUB aeoci.at.i., . .'QS con eZemen.tc; uni.dad, don-de E eB una: K-3·~<ba/(Je.bra. de A c·:) 11. eZ .'I!'I;S'11? el.ement.o uni.dad que A_ Sf exi et e un rmteY',·' "'e;" 1 Teal que B "" ""M.Ue) (Lsomo r ti s mo de 1(-iUgebras), Gn!oniJ"S A = C'.(8) 1P 8.

Sup6ngase que B = ./.,foU() y sea (elJ)I~I' ~:;;. ia base can6nica del tilgcbra de matrices B [cf, el ejemplo 2. 1.6.). La. aplicaci6n ql : 0,(8) ® B ~ ~

-ii, de£inida par ~ XI ® !I, - ~ XIY. (s urna Hnita), es un morfismo de K-

algebras que, en v e r da d , e s un i a orno rf i s rrro , Para de rno s t ra r lo , da-

34

~

do un elemento x en ii, consid€rense los elementos x~1 ~ L ek1xe jk (t,J '" .~I

1, ..• ,1"1) de 11. Teniendo en cuenta Ia tabla de multiplicaci6n e'Je~l = oJv;eu (t. J. 11:,1 := 1, ••. ,1"1), se obtienex~lero '" er1xel• Y e"XI~ = e,lxel"

o sea xIJe •• = e"xlJ (r,8 = I, ... ,1"1). Esto significa que xlleO.(E) (t, J =

Ilo 1:1 no

I e'lx5kLejJ = I eUxeJJ:= x, pues \' ell = 1. Queda demostra-

I, J, k~l I, J=l I{:-l

do a a I que e l rno rfismo ql e s sob r evcc t iv o, Vamos a demostra r que

to e s inyectivo y para ello sea ') XII ® e'l un elemento de G.IB) ~ E tal

:L~ '1'=1

Demostraci6n del Teorema 207.3. Sean pues E una K-ilgehra central simple y sea Ii. una K-ilgehra asociativa que contiene a E como una K-subaigebra y cuyo s elementos unidades coinciden. 5i s e escribe A' = = A ® BO y B' = B ® BO, donde 8' e s el algebra opue s ta de B, entonces B'

. ~

e s una K-subalgebra de A' y tiene el rni s rna e1emento unidad que A'. Por el corola rio 2. 6. 8., exis t e un .. ntero 1"1 <": ] tal que P' "" M. (I(), is omorff s rno de 1(-.11ge bras, donde n = dim, IB). Por ellema 2. ? 5. , il' = (JA' IB') ~

• ® B'. Pero, por Ia proposici6n 2.6. 1., cr., (E') = O.(E) ® G~o(BO) = G.{BJ ® , ~ ~

® 1(= GA(E)y, par 10 tanto, Ii. ® 8'= ,1' 01\ (E) ® E ® BO, a sea ;; = O.(E) 1P s.

iii I( II; "

Z. 8,4. Algebras de Lie y de Ma lc ev , Sean K un cuerpa conmutativa y A una K-.'ilge bra. El j(J_(.'obicmc de A es la aplicaci6n K-trilineal J: A xAXA - A definida par (x. y. z} ... {xylz + {yzlx + (zxly. Se dice que A e s un Sl,NbrG de Iri e (respectivamente Ma k,., " ) si ~ = 0 para. todo X en A y s i au jacobia.no verifica J(x. y. z} = 0 (respectivamente J(x. y, xs) = ",J(x.y.z)x) cua.lesquiera. que sean x.y y z en A. Es claro que to da &1- geb r a de Lie e s de Ma Ic ev, pero 8i!( e s un cuerpo de caracterfstica t 3 y A es la K- <ilgebra de dim.ensi6n 4 cuya tabla de multiplicaci6n relativa mente a una base tel' ell' ~. e~) csta dada por

Rec!procamente. en v i r tu d de Ia representaci6n regular a La 1Zqui e r-da de Ese puede euponer qlle B sea unaK-subalgebra del algebra de rna trices M. vO, donde r:~ dim(B) y que e1 e l errierrto unidad de B coinci de can el de M.V(). Por hip6tesis s e ri ene M.Un ~ O~.(.)(B)f By corno

_/.fo(K) e s una K-algebra central simple, e l Lerria Z. 7.4. dice que B e s una X-algebra central Simple.

2, B. EJERC[CIOS Y COMPLEMENTOS

En e s te pa r Sg rafo 5 e dan algunos ej e r c i c i.o s que SOn mas bien complementos a la teoda enunciada. En ot r o s ca s o s s e trata de s Irnpl e s eje r c i cio s ,

Z.8,l, Algebras sin elemento unidad, S ean J( un anillo conrnuta ti , vo con eleITIento unidad, It una..K-algebra sin elemento unidad y c on s i-. d€rese e1 h'-m6dulo A' = /( X A (p r oduc to directo). Sobre A' s e define la siguiente ITIultiplicaci6n: (il, x) (b. y) = (a:b. coy + bx + XiI), cua le squi e ra que sean los elementos il Y Ii en K y X e II en ii. Muestre que s e define a sf sobre A' una estructura de /(-,Hgebra can elemento unidad y que Ia aplicaci6n A - A' definida par X _ (0, x) es un rno rft s rno inyectivo de J(.-l:lgebras. 5i s e identifica l: con au i1nagen en Il' por tal mor£ismo, 10 que equivale a hacer la identificaci6n X = (0, xl para todo X en II, en toricas A e s un ideal bilatero de A' y ext ate un isomorfismo de r.-;1lgebras

A '/r1 '" .f. Aderria s , A e s un ideal bilatero maximal de A' s I, y 5610 s i , 35

K es un cue r po , Es evidente que A' es tID algebra c orrrrnrta tfva s i , y 86"

10 s i , A tarnbil:n 10 es. Dar las condiciones necesarias y s i posible suficientes s ob r e A y K para que A' sea a s o c i a ti va (respectivarnentealter-

na t iva, flexible. de Lie. de Male ev, etc.).

2. B, 2, ldentidad de TeichmlilleT. Sean K un cuerpo conrnutativo, A una /(-algebra yo.: AXAXA ~ A su a s o ci a do r , Muestre quecua.lesquiera que sean X, y. Z y t en A se tiene cdxy, z, t) - a.(x, y;:, t) + CL(';':. y. z-t) = = 0.(,;>;, y. eit + Xo.(y. z- t). E s ta identidad vale, en general, sin nrnguna hip6tesis s ob r e e1 algebra. Por supuesto que s l e1 .-l:lgebra e s a s oc ia ti va , 1a i den ti da d es trivial.

Z. 8. 3. Mue s t r e que s i Y : l )(l. - ;l e s el_con"nlutador de una K "alge: bra A. existe una (mica aplicaci6n J( -lineal Y : ~.A_ .. A tal qU"e y(X A y) - y(X,Y), cualesquiera que sean x e iJ en A, 0 sea, Y € Hom~(h,l.A).

I!h_ e", e" ea
61 0 -~e<4. e1 0
e", ie4 0 e2 0
C:; -e1 -e., 0 e ..
!!:4 0 0 -e .. 0 entonces A es un algebra de Malcev y no de Lie. Muestre para esta que J(e!' c", Ca) = e ...

1) Muestre que toda ;Hgebra de Malcev de dimensi6n:> 3 e s de Lie.

2) Sea A una K-algebra y modiffque se la rnultipHcaci6n de A escribiendo X • Y = XlI - yx (=: conrrmtador de X e y), cualesquiera que sean X e y en A. Muestre que s i A e s asociativa {r e spe celvarnente alternativa), entonces A e s de Lie (respectivamente Malcev) para esta nueva multiplicaci6n.

N. B. La clasificaci6n de algebras de Malcev de dimensi6n finita es un problema no r e s ue l to , (17)

36 a.8.5. Algebras flexibles. Sa dice queunaK-a1gebra A esfte:rib""

9i su asociador verifica 1a condici6n 0.(;.;. y. x) ~ 0 0 (XlI J X '" X (yx) cualesquiera que sean x e y en A. To da :Hgebra alternativa e s flexible, as( como toda algebra conmutativa es flexible. Mue s tre que el algebra A de dimensi6n 2 sobre un cue rpo K de ca.r ac te rfs ti ca je 2. cuya tabla de muitiplicaci6n ao br e una ba Be tel' e;)J esta. dada par e~ =: ev e1e,. = e.,el '" ~l + ~e.:. y e~ '" t';p e s flexible. pero no e s a Ite r na ti va ,

Z. 8, 6. Algebras de Cayley. Sea 0 el ilgebra de Cayley construida en el ejemplo 2. 1. 4. y den6tese 0 X 0 - 1\ lx. y) ... (xly) e1 producto esca Ia r c a norii c o, a sea (el I t'jJ.,6.1(t, l= 1, •..• 7), (116,).,0 ((..= 1, .•.• 7) Y ( II 1) = 1.

1) Muestre que cua Ie s qui e r a que sean x, 11 Y zen O. se tiene x(yzl + + y(xa) '" 2(xly)z. (.;.;I.:diizJ).,llxlla (y\zl. (ylx{yz» = -Ilylia (xlz) + 2(xlbll (y\z), (al X(yz) = IlzliJil (x\y), donde Ilxll. por e jernpl.c , es La '1O!'l"a de x, o sea Ilx:l =~.

a

2) Mu e s t r e que la aplf.cacton iz r AC'- C, definidaporxlIlJAz", -x(yzl+

+ (y I z Ix - (xl z)y + (xiII )z. as p-lineal y cumple las condi ci one s (1o(x" 11 r; "z)lx)",Oy

Ilu(x 1\ Y 1\ z)ll:! '" det

((xIx) (xly) (xlz)

(xl11) (xl Z») (y 111) (11 I z ) (11\%) (.1lz)

cualesquiera que sean X, 11 Y z en C.

2.8.10. Sean!( un cuerpo conmutativo yAy B dos !(-<Hgebras.

Muestre que s i A y B son j(-§;Igebras de tipo fi rri to , 10 rrri s rrrc ocurrecon A ® B. Muestre que 8i A Y B son !(-§;1gebras con elemento unidad y s i "

A ® B es a s octa ttva, entonces A y B son asociativa.s.

~

Z. 8.7. Sea C el algebra de los comp1ejos sabre R y { 1. t J au base natural. Una base de la R-algebra C ~ C esta dada par t 1 ® I, 1 ® t, t® I,

~

t®t)yconsid1erense 105 elementos el =~(l® 1+t-at) yeQ=i{l® 1 - - £ ® t). Muestre que el Y Ils veri£ican las condiciones e~ = ell' e~ = Els' el + e,. = 1 ® 1 y Illea '" 0, 0 sea el Y e2 son rdempotentes ortogonales de cae. Muestre que todo elemento 0'.10 1 + S 1 0 t + y 1.. 0 1 + <5 to 0 t. de

..

C ® C, donde los elementos 0-, II, y Y II e atan en R, s e escribe en 110 forma

IR

(0.10 1 + <51 ® I - IIM~ 1 - Y 1 ® t)el + (0'.1 @ 1 - fi I ® 1+ Ilt ® 1 + Y 1 ® t.)e~ y, po r 10 tanto, ca be escribir c: c = c ~ C • el e C f C . eI", donde po r

C 0 C . el s e indica e1 ideal de C ® C genera-do pOl' el (t. = 1,2). Mue s -

~ ~

tre, a.derna s , que C 0 C. el '" C [t. = l,2)es unisomor£ismo de R-algeIR

bras. Esto demuestra que C ® C e s i s orrro r fo, como R-algebra, a un

"

producto di r ec to de dos ltlgebras isomor£as con C.

2.8. S. Sea H e1 algebra de cuaternios s ob r e R (d. el ejemplo 2. 1. 3.) Y cons i de rens e las aplicacionesll-lineales L : H _, EndR(H) y R : lH _, - End,(IH) definidas, respectivamente, por x'" L. Y x'" R,. donde L.Iy) = ... xy y R.(y) = yx para to do y en H. Muestre que cualesquiera. que sean ;;; e y en H, s e tiene L •• Ry =Rr c L" luego L y R inducen un morfismo de R-iHgebras !H f H - EneJ.,,(H), definido po r ;;;8 y - L •• R~. Muestre que tal :morfismo e s un isomorfismo de R-<ilgebras. Si ahara s e considera el hecho que IH e s un R-espacio vectorial de dimensi6n 4, resulta el i80-

mo rfl erno de R-Hgebras H ~ H <>I M~,(R). 31

2.8,9. Muestre que existe un isomorfismo de R-algebras y ta.m-

bien de c-<11gebras C ® H ~Mo(C).

/R

2.8.11. Sea 2( tJ el ani Ll.c de enter-oe de aauee , e suo e s, el arri.l Io obtenida a partir de Z, pOl' adjunci6n del nfunero complejo t (f} = - I). Muestre que R ® Z[t] = c.

1l.

2.8.12. Pruebe que el centro de un algebra simple A e s un subcuerpo conmutativo de A.

2.8.13, Sean AyE dOB !(-iUgebras asodativas con elemento unidad, E una j(-suba:1gebra de A y sup6ngase que los elementos unidades de AyE coinciden. Muestre que O~(8) n B = Z~(B). donde O. (8) e s el cent r-a Ii za do r de B en A y Z.(D) e s el centro de la K-algebra B. En pa rticula.r, C. (A) = Z. (A).

Z.8,14. Algebras artinianas. Sean K un cue rpo conmutativo y A una K-algebra a ao ctattva con ele:mento uni dad, Pruebe que una condici6n necesaria y suiiciente para que A sea una !(-iUgebra artiniana e s que A sea de dimensi6n finita.

2.8.15. Es evidente que Ia proposici6n 2.4.2. e s verdade ra sin ninguna hip6tesis sobre Ia ca r a.c t e r f'atri c a del cu e r po K. Pero, si X e s

de caracter{stica 2, e1 algebra de cua te rntos A = (a.~b) es conrnuta tt , va y, par 10 tanto, A deja de s e r central, como e s el ca.s o en la c a ra c» terrstica ti 2.

2.8.16. Las algebras A(A). Sean j( un cuerpo c onm uta t ivo de caractcrrstica r 2, A una ii_algebra a s oc Iat iva y A un clemento de if. Sabre elK-espacio vedorialA s e define una nueva e st r uc tu r a dell-algebra mediante la £6rrnula x * y .. )..xy + (1 - )..)yx. cualesquiera que sean x e II en A. Par A(A) s e denota el iilgebra a sf definida sabre e1 K-espacio vectorial A. De rn u e s t r e los siguientes resultados:

1. Para todo i.. E K. A(\) es un algebra de Jordan. 0 sea (X j' 11) ,~ -r- (X ., Xl =" x ., (II * (X ':' X)I y (x .. x) ,~ (11 " Xl '" «(X * X) * iI) * X, c ua l e s , quiera que sean X e Y en il ().._).

2. Sea A una X-algebra simple. Una c ond ic ion ne c e sa r ia para que A()..) sea un algebra con divisi6n es que A ta rnb i Sn 10 sea.

3. De un ejemplo en que A e a un algebra can d iv i s ion, pero .4(~) no 10 e s.

38 4. Sea 11 un algebra con divisi6n. Erito nc o s A(tl no e s un ,Hgebra

can d iv i s ion S1. y 66lo 51, ex i st e un elementoxenAtalqueA.fll~. dond e A. e s el K-espacio vectorial definido por A." [ .... 1 II E ,1, Xii '" y;d_

EL GRUPO DE BRAUER

3

E ste capitulo tiene par finalidad construir e 1 grupo de Brauer de un cuerpo conrnutativo, a s f como ta rrib ie n indicar como lograr la construcei6n del grupo de Brauer de un aniUo. Ad erria s , s e presentan algunos ejn rnp l o s de grupo s de Brauer.

3. 1. GR UPO DE BRAUER

Sean K un cuerpo conmutativo y A una K_ algebra central simple de dimensionfinita. Se sa be que existenunentero n<: lyuna K-Hgebracentral de dimensi6n £inita y can division IJ tales que A "",Mn(D) "" M.(?) fi IJ (isomorfismos deK-algebras). Ade ma s , n eeta determinadode manera frnica y:D e s <mica saLvo un isomorfismo de K-algebras. .Se dice que dOB Kalgebras centrales simples A y B de dbnensi6n finita son eemeiiantee s i existe una K-aLgebra central de dimensi6n fin ita y con division IJ yenteras m, n:z: 1, tales que A "",M.(ll) y B "'" M.(IJ). $e ind ica r'a Ia reLaci6n de se mejariaa entre dos algebras A y B po r A ~ B.

ASI, para toda K -algebra central J) con divisi6n yde dimensi6n finita 39

s e tiene M.(IJ) ~ J) y e s to para todo ente ro n:z: 1. 5i A Y B 80n dos Kalgebras simples de misma dimension y sernejantes, entonees A yB son isomorfas como K -algebras. En e£ecto. Be sabe que existen enteros m,

r. 2; 1, Y una K - alge bra central IJ can divisi6n y de dimensi6n finita tale s

que A", M.(K) ~ IJ y B", M.(K) r D. La condicion dim.(A) = dim,dB)impli-

ca m = 71., luego A y B son isom.orfas.

Sean J) y D' do s K -algebras centrales de dimensi6n finita y con divisi6n. 5iD-:D', entoncesDyD'sonisomorias como K-algebras. La verificaci6n de este hecho e s inmediata.

La definici6n de s e rrrej a.nz.a entre algebras centrales si:mples puede formularse tarrrbi en de la siguiente manera:

Proposici6n 3. 1. 1. Sean K un cuerpo conmutiatri oo yAy B dos Kalgebras Jent1'2ZeS simples de dimension f'ini.ta. Ent.oncee A ~B ei , y s6to Id, exifJten enteroa r, S 2; 1, tales que A jlIM,(K) "",E fi M,(K), icomorf'i.amo dB K-al-gebl'ao.

En eieeto, s i A ~B, existen enteros m, n 2; 1, Y una K -algebra J) de dimension finita y con divisi6n tales que A"" M.(K) ~ ]) y B "" Mn(K) r IJ, luego A "M.(K) ",,}j ~M.(K}, isomorfismo de K-algebras.

Redprocarnente, suponga s e que A ~ Nr(K) "'" B ~ 1(,(10. isomorfismo de K -aLgebras. Como A y B 50n K -Ugebras centrales simples de dimension finita, existen enteros m,n." 1, y do s K-algebras centrales con division J) yIJt de dimension finita tales que A ""M.(K) 'fJ) y B "" Mo(K) ~J)',

isomorfismos de K -alge bras. Se tiene a sf un isomorfismo de K -algebras M .. (D) ""U •• (!J'), luegomr= ns ylJ ""Il', isarnorfismodeX-a.lgebras. Esto implica que A ~B.

C o r o Ia r i o 3. 1. 2.. Sean K!An eUeJ'P6 a()r.mtdari9() :" A ,3,A' i! 3' euatl'O aiql?b!'as oentrraleo oimrieo, Si A ~ B'i A' - B' > entoncee A ® At ~ 38 B",

- 'K )(

En efecto, decir que A ~ B y A' ~ 3' equivale a decir que existen eneer o s m, n y r, S '" 1, tales queA~M.(}r)""B~Mn(K)yA'~M.(X)""B'~N.(K), luegoA ®A' ®N •• (.iO""BIEB' ®M.,(J(), a sea A®A' ~3®B'_

I( I( ~ I( l I(

E6 lacil ve r que La relaci6n de semejanza e s una relaei6nde equivalencia sabre e1 conjunto de c la se s de i s o mor-Hs mo s de a Ig e br a s centrales s i rrip l e s , De no te s e (A] 1a clase definida po r una K-atgebra central simple A m6dulo la reLaci6n r«, Denotese, ad erna s , Br(.'r) e1 c orij unt o de los armbolos [A], para toda K-1ilgebra central simple A. Sabre e1 conjunto Br(X) se define la ley de co rnp o s i c i Sn C ... J + (A'] == (A P II' J. cuaIe s qure r a que sean las K-algebras centrales simples A y A'. El cc ro lario 3. 1. Z. mue stra que tal ley de cornpo s ic ion e s bien definida. Ad e rna s , la conmutatividad y la asociatividad de esa leyresultan, r e spec tivarue nte, de Ia c cnrnuta t ivtdad y asociatividad del producto tensoria!. E1 ,,1erne nto ne ut r o para e s a ley de c ornpo sIc ISn es representado por [X]. Obs';rvese que, par s e r K -,.'.!.(K) para todo entero n <: 1, entonces [M.(K)J == "'" un. Finalmente, para toda X-algebra central simple A, e x i s t.e un isomorfismo de K -algebras A 0 AO '" M.(l{) , donde n == dim. (A) < .. y A~ es el alge bra opue sta de A. Se 8 (gue que [A] + [AO] == [M. (K)] == 0, 0 sea el opue s to del elemento [A] e s [AO]. Se d e rriu e s t r a a s f e1 siguiente r e s u L, tado:

40

Proposici6n 3. 1_ 3. Sea Kl.<n C"4ilrt'O (eonror,.da:tivo. EZ pvoduct.c 1;"''100- y>1:at eobve K def{>J(l sobve $1. c'o>l.hm:oo Br(K) i.ma 8St'r>u(.,tur>o: de .:;rur,o 0»"Li.ano:

Se dice que Br(K) e s e1 gru.,:o de Bl'<)",,,· del cuerpo conmutativo K.

A c onemua c i.Sn s e daran algunas propiedades del grupo de Brauer.

Sean K un c ue r-po conmutativo y L una extension (de cuerpos) de K.

Para toda K-algebra central simple A> A IE L es una L-aLgebra central simple y, po r 10 tanto, la aplicaci6n t1 ..... l ® L induce un morfismo de

~

g ru po s abelianos Bl'(K) - Br{L). El nucleo de este rrio r f i s rno , que se de-

nota ra Br(LIK), Be Llama el fJ!'U~:'<; de Bi-auev reZat'''>'JO, y consiste de las c Ia s e s CAJ para las c ua l e s A' L "'" M.(L), i so mo rf'i srno de L.Hgebras, para algun entero I']. :;, 1. Se dice que 1a c Ia s e (AJ se eeci.nde par L y L se llama un (!uel'po de deDl)on;posic:ii'3>1 (splitting field) para 1a clase (A) o para e l algebra Il. Y cabe la pregunta s i toda K -algebra central simple de dimension finita tiene un cuerpo de de s cornpc s rc ion que es una extensi6n finita de K- La respuesta Ia da Ia siguiente proposici6n:

Pl'oposici6n 3. 1. 4. Seem K un {'ur'I?o ,~onmutativo -" A une K-6lpelH'O central Di1.l1pZe de dimBY!${on. f1~ni.ia. &i.ste 'Una exte17.s'lon (de cuerpos) F~wita L de K y un <3ntero n :;, ° tales "lte A ~ L ,., Mn(L), iSGI7!QY'fismo de Li5.l.geDt·as.

~i r. es_una c lau su ra algeb£_aica de K, existe un entero 11 l< 1 tal que A ~ K ""Un(K), Is orno r Hs mo de K-algebras (cf. elcorola!J.o 2.6.9.), Considerese el mor£ismo inyectivo de K -algebras A - 1l ~ K = N.(!?) definido

par X'" x 0 1. Sean [el, ... ,e.} una base de A sabre K y u, en M.(K) la imagen de <11 par tal morfismo, e s to es U, '" 810 l(i.= 1, ..• ,mI. Si YlO" son las constantes de estructura del algebra A relativamente a la base

(l'h, .... e.J a sea elel'" IY1~)(ek(i-,J~ l, ... .m), se tiene. en M.tK).

n ~~l

U,U. = LY1<k u.(i., J '" 1 ••• , ,.'Ill. Por otra parte, si (eU),';;'.J';;. e a Ia base kal

natural de la X-algebra M.(K) (d. e1 ejernplo z. 1. 6.), s e puede escribir

~, '-1 'K- '"

Uk == L r; ... e .. (!'1 - , ••• ,m), donde 10$ )..'11< estan en . Sea ahora " e l

11 ~.l

conjunto finito fo r ma do po r los Y". Y los }..I~" Como K es a lg e br a ic o sabre K. e l conjunto S genera, en 7(, una extensi6n f'in i ta L deK y e s evidente que A f'L ""Mo(L), Lso mo rfr s mc de L-.Ugebras (d. e l t e o r , 3,2.2. L

Para toda K -iilgebra central simple A de dirrtensi6n finita, se sabe (cf. el co r o la r i o 2.6.9. ) que dim, (A) e s un cuadrado y el enter a j dirrt,,(A )' se denominara fl,'ad<? del algebra A y r e pr e s e nta r a po r lI(A), Pot' otra parte, ex i s te n un e nt e r o m;;: 1 y unaK-algebra central con divisi6n D de dimensi6n Hnita tales que A ..,1!.{.T(j ~ J), isomor£ismo de K-algebras.

Luego, diffiJ(A) = m~ dim,; (D) y si s e ext rae 1a ra Iz cuadrada, se tiene

~(A) = mg(D). EI. grado de D se denomina [na'ioe del algebra A, y s e de- 47

notal's. t(A). Observese que s i A -E. e nt onc e s t-(A) = t{E)y, par lotan-

to, s e define c l (ndice de Ia clase [Aj como el fndice de A. As!,

t , Br(K) ~ N" e s una aplicaci6n definida en el grupo de Brauer de K can

va Io r e a en el rnono id c multiplicativo N* de los ente ros:': I (d. 3. 9. ]3).

3. Z, SUBCUERP05 M.AXlMALES

Sean T( un cuerpa conmutativo y J) una K -alge bra con divisi6n. Un subcuerpo conmutativo L de]) se dice un subeuGY'pc ,,'ax'i .. nal. de J) s i la condici6nL eL';_-lJ conL' un subcuerpoconmutativodeDimplicaL-=L'.

Nc c e aa r ia rne nt e 'Z.(D) <:: L, pue s en c a s o C ontrario L estarla contenido propiarnente en Z<(li)(L), que e s e l c ue r po obtenido por adjunci6n de los elementos de L a Z,(J).

Lema. 3. 2. I. Eeon K UI1· ;,1A.ePOa ClOYl,nr-.{ tasi.»: -' D "l.--:n.a K -a7.gebpa {~on· af.'!)'tai6r:. uL un su.b(.!wa:t'oo oonnn~tat{".J{) de]). ['(48 S1~.gu .. {e'f!t-eg condiri.onee son 6q:A.1:"ai~nte6: (i) L .;,; un $ulx~uei'pc maximal: de; .D, (ii) L -= Co(L).

Sup6ngase que L sea un subcuerpo maximal de J) Y5ea X E ObIL). Entonc e s L <::L(x), cuerpo obtenido por adjunc ion de x a L, luego L '" L(x) y. por 10 tanto, X E L. Esto dernuestra que Coil) <::L y, como s e tiene trivialmente CoIL} ~ E, se sigue que CD(L) = L.

Reclprocamente, sea L un su bcu e rpo conmutativo de J) y sup6ngase que L = Coil). 5i L' es un subcuerpo c orrmu ta trv o de D que contiene a L.

necesariamente L' C GD(L) '" L, luego r' rria x irrra l ,

L. Esto demuestra que L e s

A partir de e s to se puede demostrar el teorema: todo subcuerpo max irna l de un algebra con divisi6n e s un euerpo de deseomposici6n (splitting field) para e1 algebra. Precisando atin mas, tenemos e l s igui enre teorema:

Teore.~a. 3:~2.. 2 ... Sea~ l(w.'! ... _C"icie.1J~' (_~(_mJ1.rld~ati'·I)o~ n una K-a:~]"Bbpu ·~'entl'.::.1.r con dytJ"u,ton H ae dimenei Sn. f1 .. rnt-a y F un s'UDcuerpo max;_.rnal de IJ, Existe eritonceo un isor>;orjisrr'o de F-fiZ2"bnuJ E ~ F "" /1/. (F), donde "'" '" dim,,(D).

Obs e r ve s e iniciaLmente que s i II" e s el algebra opuesta de D, entoric e s F e s un subcuerpo maximal de]) s i , y s610 s i , F' as Ull su bcue r po maximal de ])c, Por 10 tanto, s i F 85 un subcuerpo max irna l d e D, por el lema 3.2. 1. se tiene C~(li', .. F. En c a rrrbl o , C0l:l10 Ii es una K -a.lgebra central simple, se tiene un isomoriismo de X-algebras J) ~ 1)" "" End.:(li) y La imagen de 1 ~ Fen End.(D) po r esc isornorfisrno e s e l cuerpo Fl. "" "" {La I ::L E F, La(x) = (IX, V x ED}, Lucgo E P F = E ® (}DOO" = C'000{ 1 ® P) =

" "

'" CEnd,{D)(-"'l.)' Mo s t r e m o s que C'Enddcl(FL) = EnddD). En efecto, f E:

E CEnd,dol(F;.) s i , y 8610 s i , paratodo t.. E P, s e t i cne fa L.'" Li o f. Luego, fUx) = f(L).(x)) = L).(/(;I:» '" \f(x), cualesquiera que sean A E F y X E ED, 0 sea, f E EnddD). En particular, s i n :: dim;(El, se sigueque J) if!

42 ~ F ""Nn(F), isomorfisrno de F-algebtas.

Corola.ri~ ~..: 2.~ 3\ :;e_:~'rfl K ~;; ~',~~1~~? t10ri,rr!Ut(r'ti"l-Y!.~ D ·~~na l( -al{/ebr:a ee,:: t.ra]. :.-"en. d?,"u1_fn·on y ae Q"L,7Jen81Cn Ji-nt.1;Q. Papa L04c· 8UDCl..tf:?1iL\? mcscimal. !I

de :D, se ti cne dlm,.(D) = diOl~(F) = .; dirn,,(D) '.

Par el teorerna anterior, s t dirn;(D) '" r" existe un isomorfisrno de F-algebras]) ~ F<>:N.(F), luego di=.(J) "" dim;(E f F) '" 7'1" Y como 7'1'" =-

= dirn, (!l) :: d im, (F) dim. W l '" n dim.: (F) r e s u Ita d i m, (F) :: n.

3.3. EL TEOREMA DE SKOLEM-NOETHER

Sean K un cuerpo y A una K -a lg eb ra , Se dice que un K -a utorno rf i arrio de algebras a : il ~ A e s interior si existe un vector x en A, x inversible, tal que ole) '" xzx-1 para todo z EA. En 10 que s Igue , s e pr oba ra que s i 4. es una K.algebra central Simple, todo K-automorfismo de ,1 85 inte rior.

'I'eo r erna 3.3. 1. (T'e o r e ma de Skole=-Noetherl. Seem K un (,,,(;>1)0 eonnut at ivc U A Y B dos K _ 67..gebpaa s-tm_17Z_~s~ donde A en eent i-al y B (:]8 de ::11:m(jrt.si.6n fb/i t t.a, s: f, g : B =t A 8:.')n doe mot)f'f~mrJB Lny€ct:i.o;C':t rie KaJJebl~as, ex i.st.e ·un :::tlAtornc)'P,fismo 1.n.t{!!r1.or o daA tal que (I = 0" ~ l ,

POl' ser A una K -a 1ge bra central simple, ex i s t e n un a ni Il o con drvi - si6nD yun.D-m6dulo do la derecha libre M de rango finito tales quell .. Endo(I!). Ademas,!J e s isomorfo a. un ideal a La izquierda minimal de II (d. el te o r e rna 1. 6. 5. J. Si ED e s la K -algebra opue s ta de D, s e sa be que ])" f B e s ta rnb i en una K -a Ige bra simple. 5e definen sobre 11 las s i-

·W·,I.,). K - ·~\,.Tf?bl'(·" ({}-t_(-: :.- .. hi-J ... ~ t(··~·:-II~

43

guientes do s estructuras de ~. ~ B->n6dulo a la i~quierda: (~Q.~ ® b~)x = = Lf(bdxa! y iLa~8 b,):;: = Lg(b.J,xa. (sumas finitas), cualesquiera que

• !

sean 105 af en DO, los O. en B v » en M. Es imnediato verificar que quedan de£inidas a s I S obre M dos estructuras de DO ~ B -m6dul0 ala izquierda mediante f y Q, y M dorado de tales estructuras sera denotado M! y N~, r-e spec tivamente. Como.D°fBesunaK-algebra simple, entonc e s Nt (resp. M,) e s unDo rpB-m6dulo semisimple v, po r ta nto, se descompone en suma directa de m6dulos simples, 0 s e a Nr ~ f M: y {If. =, N~', donde

los M: y los Mi' son DO ~ E-m6duloa simples a Ia izquierda. Como, en a mba s representaciones Nt y M, hay e1 rni s mo ntirnez-o de componentes simples, se deduce que Nt ",N" isomorfis:mo de .Do , B-m6dulos a la

izquierda. Esto dice que existe un isomorfismo I:L : Nt '" N. de DO ~ Ern6dulos talquc cua le s qui e r a que seand" E])o. 0 EB y x EN, s e tiene 0.( (a, 0 ® e o)x) = (aPe b)o.(:x:), 0 seaCl(f(o)xa)= Q(b)o.p:p.. En pa r ti.cu ia r , paraD = 1, a(xo.) = a(:X:):l y esto signifiea que a. E EndoW)"" A. Exj s te e ntcnce e un elemento Ii: E A tal que a.(x) = ax para todo x E Ny como a. e s un isornor£ismo, el elernento z e s Inve r s ib le en A. La relaci6n Cl(f (b).xa)= g(b )a.(x)Z puede escribirse entonces zf(bp;a = g(o)R.xa, luego (zf(o) - g(b)z)xa = O. En particular, (a = 1) s e ti ene (zf(b) - g(b)z)x = 0, cualesquiera que sea b E By para todo x EN. Como N es un A -m6dulo Ii e l , resulta st (b)= '" g(b)a, 0 sea g(o) = :::f(b)':;-L, para todo b € E.

Como A es semisitnple, A se de s c ornpone en un produeto directo £inito deK-algebras sirnple$Il~(i = 1, .•• ,n.) y cada h. es g ene r ada po r uu !dempotente central e., 0 sea e, E Z, (Il) (i = 1, ••• , n J. Si (J : ;; - ,~ e aun f( -automorfismo de A que deja fi jo s a los elementos de Z, (iI), s e Hene a(ed = e.(i- = 1,.,. ,n) y, por 10 tanto, a(il!l CI ih(t = 1" •. ,n), GOIno

dim.(A)= Ldim.(il,Jydim,,(A)< ", entonces diJTI,«,,!l<" ('I, = 1, ... ,n).

''"1

Pero, por otra parte, Ke , <:: Z, (A.d c; ;1., luego ;'. e s de dimensi6n £lnita

sobre Z, (A.) (t = 1" •• , n). De esta rnanera s e demuestra que (J : A, - il, e s un Z.(A1)-automorfismo y 4, e s una Z,(!d-algebra central dedimensi6n finita. Luego, por e1 teorerna de 8kolem-Noether, (J e s interior, o sea e xi s te llil elernento inversible "'1 E r1. tal que O(x) = a.xa;~ para to-

dox E A.(i. = 1", . ,n). 8i e c to rna ahora a = '\ a. E All< ••• Xii. ~ ii, en-

G

."1

tonces a e 8 un elernento inversible de ,; y BU inver so se escribe a-1 ==

n

., ~'all, Adernas , para todo:x: E A, O'(x) '" (:1.;,;0-"

1-1

Corolario 3.3.3. He.::;,'!! K ·:...;n L::Ae{'t)·Q .:'!cn.n~-!;,:_;;rJ~c ;j A y]!'~ K ~ SI·0'I~i:.ll;7 ., :~@i1tflo.l- ~~i.ml?t(:t. Lode K -q:·'..i.tC.'1C-Y'f'·!:3~~iO de .4 e.G frl't~H·ri.·(J"P.

E ate coro1ario e s un ca s o particular del corolario anterior, pero teniendo en cuenta Ia Lrrrpo r-ta.nc i a de BU r e s u Ita do , s e enuncia apa rte,

Teorema 3, 3, 4. 8ean. K un c.uerpa co'yllt"[u (a t.i.vo !~ A una K-t1l.gebl·a. cen!;1'aL simp1.", de dimensi.on [Enita. Pm'atoda K-Buhi'il.geD1'a.8i.."'Pte 3deAque ,'entiane a K, 0" 'tirme: (i ] In central.inadov C.{B) cs una X-algebra simple. (ii) El- dupl.o centa-al i sadcr de E aoi.noi.de ",:m B, .') Her.< O,(G,{B» = E. (iii) Si 0'" c,.. (E), dilTlj(A) '" dilTlj( (E) d i rn, (0).

La aplicaci6n K -lineal E ~ End,(B), deCinida por 0 - 'S, donde Epn '" ox para todo X E E, e s un morfismo inyectivo de K -aIg ebr e s y, por 10 tanto, E e s isomorfa a una K - subilgebra B de End,dB). El centralizador de Ben End,{E) esta dado por f E 0End~(.)iB) s i , y s610 s i , para todo bEE

se tiene fb=bf, 0 sea S1, y s610 s i , fib) = U.b)(l)=(bo!J(l)= bU(l))'" '" bi( I) = Rr(. )(b), para todo b E B. Esto significa que OEndK(E)(S) e s la

K -subalgebra de End,(B) de las nmltiplicaciones a la derecha por elementos de B. Considerense los morfismos mye ct ivos deK -a Ig ebz-a s , B - - 11 f End~(B) definido por b .... b ® 1, y B - A, End,(E) d ef irrid o par b ... 1 ®

® F. Como A" End,(B) e s una K -algebra central simple existe, por e1 teorema de Skolem-Noether (ef. e l teorema 3.3.1.), un X -a utorno r fl s-, rna (de X-algebras) e de A f End,. (E) tal que (];B, 1 ~ 1, E, rs o rno r fi amo de X-algebras. Por lotanto, (] induce un isomorfisrno deK-Ugebras (entre los centralizadoresl o ; C,® End (E)(B 0 1) "" O.® End,: (B)( l ® B)' 0

L I( II( PC 11(_

sea CA(E) f End,(B) ::: A , CEnd,(B)(BJ. Como la K -a lg e b ra A P GEnd,(B) (B)

es central Simple, s e sigue (d. eLlema 2.7.4. ) que la K ~algebra G.(E) e s central SImple y e sro demuestra (i), Caleu1ando las dimensiones de

44 O.(B) ~ Enct.(B)_::;' A :f GEnd,.(E)(E), resulta din1<c(C) (di~ (E»),a '" dilTlj(ll)

lIn,( ~End,(B) e ntoric e s dim,(A) ~ dim,(B) d1ffiK(C). Se demuestra a s f Ia eondici6n {i i l, Finalrnente, como O,(B) as unaK-sub~lgebra s rmpfe de ii, La condici6n (ii) dice que dilTlj(A) .. dim,(C.(B») dilTlj((''.(G,(B)), luego diffiK(B) .. "dilTlj(C.(C,(B»). El he c ho de que B c, (;\(O.(B»), po r s e r una s uba Ig cbra, i mp l ic a que E" C,(C.(B» =t eor-ers: del. Ju,.c·l.e: C8>1.'ti'ol£"G.,L.·,'.: y e s to demuestra La c orid.ic i cn (iii).

Corol~ri"o 3~ 3.:: H~:n X ... ·u.~, -:::uel'~}--o uor::mut.:zt-l·,'}() U A una K --al.qeixPA

r:_'en-tl'Q 1 BP!7,Di..e ~)(~ a"1·men81.on f~.-"·1.1- ta, Pa2~a t.od.: 3"!.~be1(.€1)po (,~c~~rr.I·l_...Imt'tvo L de J! que L~.)n"ti..e:Y,'e a K~ tab' JJf,[n: .. icnree condiri onee s·:~n equioaien t.ea: (1) L= '::\(L); Hi) L ,% un /3/,J.DCU$PDO conmut.at.i.vo ,oc:x1:"ol de A; (iii) dim.(A) '"

(dim,(L »<l.

La equivalencia (i)" (i i) e s inmediata (d. e1 lema 3.2.1.) y (i)=> .. rHi) e s un a consecuenc ia del teorema 3. 3.4. Most:remos que (iii) .. .. ( i ), En efecto, las condiciones (iii) del c o r o Ia r i o 'I (iii) del teorema anterior imp1ican que dirn.(L) = diffiK{C'.(LJ) 'I como L c C,(L) (como Ks ubd.Igeb r a] , pues L e s conmutativo, e e sigue que L = Q,(L).

3.40 GRUPO DE BRAUER DE UN CUERPO ALGEBRAICAMENTE CERRADO

Sean K un euerpo a Lg e braicarnen te cerrado. 8i A es una K -algebra central simple de dimensi6n Hnita, exi s te un entero n ... 1 (determinado de manera unica) y una K -algebra can divisi6n lJ (determinada de mane ra unica salvo un isomorfismo) tales que A "",M~(J), isomorfisrno de

Un cuerpo conmutativo K e s eepm'ao"/.-emente cel'1'ado 5i toda extan-, si6n separable de K coincide can K. POl' ej e mp lo, C de 108 co mpl.ejo s e s un c ue rpo separablemente cerrada. Un ejem.plo rne no s trivial de cuerpa separablemente cerrado s e da a continuaci6n.

K-algebras. P'e r o , porIa p r opo s ac ron 2.4.1., D '" K. isomorfisrrlo de X-algebras, luego A ... )f.(K) y, po r 10 tanto, [A] '" 0 en Br(K). Esta demuestra que Br(K) = 0 (grupo trivial). En particular. Br(C) = O.

3.5. GRUPO DE BRAUER DE UN CUERPO SEPARABLEMENTE CERRADO

Ejemp103.5.1. Sea Fp e1 cuerpofinitodecaracter!sticap > Oycon p elementos, y sea Fp(t) e l cuerpo obtenido a partir de IF ~ por adjunci6n de una indeterminada t. 5i [1 e s una c lau sur a algebraica de IF~ y K e s e1 conjunto de dos elementos de [1 que son separable" so b r e 1F.(t), entoncas K es un cuerpo separab1emente ce r r a do. Ob a e r-v e ae que K ~>l, pues t1IP EO, pero t1/p j: 1(.

Para ca1cu1ar e1 grupa de Brauer de un cue r po s e pa r a b.l e rne nt e cerrado s e requiere e1 siguiente resultado:

Teorema~~ .. ~ -. ~. Se~n ~ '&m. ;;:ePJ?? . ccm.miA.T:c:-t(:'}c y ~ i-irtJ. K-6l;?ebrta cen.t nal. .::.."on en .. 'iJ1.S1..,on !! ae d1me)'/,$1'.,on ft.·n,!,"t~·_ EX'I,ste ent.oncee un Su.ht.nAe'P-

po maximal. L de 1J tal. que L es una ext.enei.An :~G:.t_:·a!lo..b1.e de K.. En parl-

tl-';]iA.Z.:7,!~.J L ~8 un CtA.Bf1pO de deeoompoeieiSr: ,L-_{1!~(l E. 45

Co zo la r i c 3 .. 5.3. Sean, K un. (.~ueY'PQ -;.:on.miA.t ... Tt'/:)O C:Gr)a"1~a.bZe"!'e!tte (~€.-

x>~pad[·.;· y D 'Una K_aZaeb:rQ cent-ral 3-i.r1J',;;'(e de. dIrr;ensI5n .. /,"/,rdt:.:. Exi s t e IA.?<~

e~rtero n ~ 1 tat que D R!. Mn(K), 1:somo~I{$~() de K_5JgeotY{f..

Si L OS un subcuerpo maximal de D, extensi6n separable de K, existe un entero 1"_ <: 1 tal que D f' L "" M.(L). isomorfismo de L-:Hgebras.

Como Xes s epa r ab le rnent e ce r r ado , r.::: L, luego D "" M"(K).

Corolario 3 .. 5~ 4~ '~'"','I~ if e8 un r:..~lA.eY'PQ ~ortJ-m.{"t"(l1;1~'~.) nepor-ab temenre ~e- 1'1'udo, e"tone''''" Br(K) == o.

Para demostrar e1 teo:rem.a 3.5.2. es n e c e s a r i.o e 1 siguiente lema. cuya demostraci6n si bien se omite aquf, puede c on s u Ita r s e en 1a obra citada en (11) en la bibliogl.'afi'a.

Lema 3.5.5. S(;J,j','J? K Uri. L'U121'P0 aonmut.a t-iro i/ D "Un.~1 K_aZ(j£.b!"a cen.tV .. zl. eon. ,i1»-tfJ·tOrl y de dE.meYls{6~ rr:rdta ~ 2. E:.t"1·B~:e ent oncee u1"/· e l.emento x € D, » ~ K ta Z c7ue X es oeparab 7 F 8('01'<> K.

En particular, eI1ema dice que e1 cuerpo K(x) es una extension separable de K.

De mo atz ac Ion del teorema 3.5. Z. £1 teorema resulta se r trivial ai:D e s un algebra conmutativa, pues en e s te c a s o Ii = K. Sup6ngase entance e que dim. (D) 2: 2. Por el lema 3.5.5., existen cuerpos intermediarios entre K y:D que son separables sobr e Z, Sea, pues, L un sub-

cue rpo conmutativo de II que contiene a K y maximal con tal propiedad; L e e un subcuerpo maximal de D y paraesto bastarnostrarque Colli = L (d. ellema 3.2.1.). Si se muestra que Q'Q(L) as una L-iUgabra central (de centro L) can divisi6n y s i se supone que L c;; Call), el lerna 3.5.5. dice que eXlste un elemento x E Cc(L). x ~ L. x s~parablc sobre L. Pero, entonces, L(xl as una extensi6n separable deL yL(X)1L, loque e s

absurdo ya que es to contradice La maximalidad de L COmo extension separable de K contenida enll. Se demuestra asf que L = O'D(L).

Resulta claro, ad e rria s , que S1 Ti = diillj_(ll), entonces J) ~ L "" ,II. (L), isomorfismo de L-algebras, 0 sea L e8 un cu e r po de descornposici6n para D. Con el lema siguiente se conc1uye la demostraci6n del teorerna 3.5.2.

Lema 3 .. 5~ 6. Sean X un euerpc .~:()r...rnutG-ti·,)o :.,. 11 una K _ a7-gebra centiro l e-/m.;,!.e de dime11.B{.~"5r! f/nI'f;(J~ PQPd todo ~~uboue1JPc COrU'1hto·t:/1)C Fde A cue {_"on .: h~e.n.e .~ 1(, e i. cen i.ral.i zarios: O,dF) 6~J::; ltna F-6J.gebl'a (~e?"/.trJ{/,Z 31:rr.ple.

46

Se sabe ya (d. el corolario Z. 6.8. ) que $i AO as el algebra opue s ta de A y si dim.(A) = "!, existe un i s orrio r Hs rno de r.-ii.igebras A 'f A 0 "'"

"" "'RAe = M.(K), donde A, y,lL son, rcspectivamente, las reprcsentacione s regulates a Ia derecha y a la izquierda (cf. 2.7. I. Resulta, entonc e s , que Ft 1 ""F., s uba lg e hr-a de fl. formada por las multiplicaciones a ia derecha 11k: A ~ A, x .... x), c on X E F. So VO a sf que / E C'End,.(Aj(FR) s i, y s610 s i, para todo )" € F, / Oil. '" i!, .f, 0 sea fix),) '" !(R,(x) = = RAiJ'{x)) =f(x)).. y eato vale c ua le squ ie r a que sean). E F y x E A, 0 sea C'En~( .. )P.) = EndF (AI. S'i m = dirn,(.i_J, resulta M.(F) Ri Endr(/i) '" CAf"o(Ff'

f' 1)= G,'F'!~ ']0. Como F~ AD es una F-algebra central Simple, suba.lg e br a de ~\(FJ ~ AO. po r 01 teorema 2.7.3. 50 obtiene OA(F) ~ AO = (F~ 'AoJ~C".(,)p •• U1' ,AO)= (F~ ;;O)~ (:JcA(d(F)~ G.\o(Ao)). Obs e rve s e , de

paso, que s e apiiea a quf ta rrrbi e n La propo sicion Z. 6. 1. F'Lna Irne nre , como C •• (Ao) '" Z~(h·) '" K y Cc,(F)(F) = C.(F), r e s u Ita N.(Fl "" (F'f AO) ~ CA(F),

V par ellerna Z. 7.4 .• La F-aLgebra C.(F) es central simple.

3.6. GRUPO DE BRAUER DE UN CUERPO FINITO

Para el c a Ic ul.o del g r upo de Brauer de un c ue r po finito e s necesario e I siguiente teorerna:

Teorema 3.6. I (Teorerna de Wedderburn). I'cda JTgeD!'() "0>1 J[;)I- 81.~.5rl .fi:ni.to. eel" oonmui at-i »a,

En efecto, sean A un algebra can divisi6n finita de centro K7 L un subcuerpo conrnutativo rnax'irna I de A; e ata claro que L contiene a F. como s ubc ue r po (d. 3.2.). Se s a be que todo s los subcuerpos maximales de A t ie ne e la rnisma dimensi6n (d. el corolario 3.2.3. ) ysea r taldimensi6n, Iue go 108 subcuerpos rnaxirnales de A son todo s isomorfos como cuerpos de descomposici6n del po l.i no rni.o _xq' - X, donde q = card(K). Par el teorema de Skolem-Noether (d. elteorem.a 3.3.1),106 s ubc ue r=

47

pos maxirna1es de A son todos conjugados con L, 0 sea at L' es otro sub. cuerpo conmutativo maximal de A, exi s te un e1emento a r' 0 de A tal que Lt = (lL(I-1, Sin embargo, todo elemento de A pertenece slempre a a lgtin subcue r po rrrax-i rria l de E, luego A = eU OoLa-1• SeanL" e1 g rupo rrmltipli •

• • \0

cativo de los elementos no nulos de L y f,'l< e I grupo multiplicativo de los elementos no nulos de A. Entonces If" == U a,L ~'a-ly L" == A* n L. Pero •

• E.\o

un grupo finito no puede s e r la reunion de las conjugados de un subgrupo propio (cf', ellema 3.6. Z.), luego ,j== L '" K. El lema que siguc concluye la d c rrro.s t r-a c io n del te o r e rna de Wedderburn:

Le ma 3Q 6, 2. SeaY! G :un. 2~~(tC f'irdt,:-; ,f-! H i.~n si.ib:7Y"ii.[!C· pro/:_"/o de () Entionoee G nQ puede eeoi-iiri ree 00'"0 La Y'f';,"m:[-n de! Zo" (,,;n.;u~'adD" de H

Si h = card(H) y ri '" (0 : H) es e1 fndice de J! en G, entonces T'h = card(J). Por otra parte, cad a conjugado de H se escribe de la forma alf.ia~l(t= I •••.• Tl) Y cada conjugado Hene como cardinal a h. Luego

card( U.a .. 'ia~l) .;; (h • 1) n + I, pue 8 el elemento neutro de G e atii c on te ni « I"'·

do en todos los conjugados. Coma r; "' 2, necesariamente (h. 1) 1'1+ 1 < < hr., y esto nme stra que existen e le mo nto s de G que no e s tan en U a,J!a:j: 1=1

Podemos ahora e nun c i a r Ia siguiente con s ec ue nc ra del teorema de Wedderburn (cf', e1 tc o r e rna 3.6.1. ):

Como c a s o particular de e s te corolario resulta que para todo nurne « 1'0 primo P ;;, 2, s e tiene Br(Z/ (p)) = o.

3.7. GR UFO DE BRAUER DE LOS NUMEROS REALES Y CARACTERIZAClONES DEL CUERPO DE LOS CUATERNIOS

Se sabe (cf, el teorema 2.3.1.) gue, salvo isomorfismos, las unicas algebras c on division, de d i.rrren s i o n finita y asociativas son R, C Y IH, a sea los reales, los comp1ejos y los cuaternios. Aderna s, de e s ta s tros algebras, las Unieas que son c e nt r a.Ic s son R y H. Luego, el grupo de Brauer Br(ll) 5010 dene un elemento distinto del elemento neutro, a saber la clase de H. Esto demuestra e l siguiente teorema:

Teorema 3. 7. 1. Hi qruco real ee 63 "W1· Jt'"U:~Q de (]rden 2 mop.t1: sm:> de rjl'-UpO[3 ODe ~1.iano3 .

d~ B.P::XU{~ {I d~':i I. (_'YA.tiPP::':

• -; J _/

.:).~ pt'e{~1 . .,f-t.:2rk;r.J Q.:;.tr.! ~:'!un.J

R de 108 rUJ.I'Y,e r·0.'-':

Br(!R) "'Z/(2), i eo-

Pe r o , c a br Ia freguntarse aq uf 10 que o c u r r-e con un cuerpo ordena. do maximal (cf, (8, § 2) que, ha s ta cicrto purrto , es una generalizaci6n natural del cuerpo de los niime ro s reales. Para esto, conviene e xa m i , nar ante todo algunos de 105 resultados que caracterizan cl c ue r po de las cua.te r nio a,

Proposici6n 3. "7" 2. si K es un o::'u£!';_L.\) eor{!'.7utoti:!.).) de '-:,~Q.jj,'J.:1t:elq[3"h:.:::·.i. f. 2, toda.~-8.Z~,~~SI·a ,.Jon ~h)i~i-.sn. Ii no :~~on·.'1;,...;tati::}·1 (_'iA.:;_JC" ~e!i.TflD cant.iene c. K y de dirnenei.on 4 $:-::!)"l'e K eo :·:An (!t.-l(.:::jj;t-Cl de r:~uate:rjni·os acbre K.

Como dim!~ (D)(Z1) e s un cuadrado (cf. e I corolario 2.6. 9. ) y dim. (Z1) = = 4, necesar1amente Z.(.P) = K. S1 L e s un subcuerpo conmutativo maximal de », entonces diIl'lj( (L) = 2 (ef. el corolario 3. 3. 5. ) y, po r 10 tanto, L es una extensi6n cu.ad r-at ica de r. de la forma [((x) con X" E K, pue s to que [( es de caracterfstica j Z. Par e l to o r erria do Skolem-Noother (d. el teorema 3.3.1.), e l K-autornorfisrnoK(x)~ K(x), definido po r ;I, + iJ,l; .... ... ;I, - \..IX (A, ~ E K), es Ia restricci6n a K(x) de un automoriismo interior e : II - II, Z .... IIzy-"· de II. Por consiguiente, II ~ L = r.(;>;), pues Ia r e s-. tricci6n de 13 a L no es e1 autornorfisrno identidad, pero como 82 restringido aLes la identidad, cntonce s II" E C~(LJ ~ L. Por otra parte, II'" E EX, pues S1 Iii; t K se tendria L ~ K(lI2) Y 8 restringido a L serfa la ident ida d , 10 que no es po s i b.le , Se c s c r ibe ;:1;2 = '", 1/ = b, donde c , bEY. y como IIxlI-l = a(x) = -x, entonces XII = -lix. Se tiene asf 1a siguiente tabla de rnultiplicaci6n:

1 » II Xli
I I x 11 XII
X x a XII all
11 11 -Xii 0 _bx
xI/ xI/ -all bx _ab 48

Finalrnente, s e va a demostrar que (1, X, II", xy) es una base de D sabre K. 5i as f no fuer-a, ext s ri r Ian elementos a., fl y y en Y., no todos nulos, tales que Xli:= a. + iSx +yy, y por tanto (X - Y)II' = a. + ~x E K(x). Multiplicando tal relaei6n por X + Y a la i z.qu ie r da , se obtiene (a _ y'l)y E K(x) y s i fuera a - y~"f 0, s e te nd r Ia II E K(x), 10 quc es absurdo. Luego a := '" y", pero esta relaci&n tarnbi.en conduce facihnente a un absurdo. Se ha demostrado que (I, », y, xy) e s una base de D sabre t:.

El algebra Des e I c ue r po de cuaternios sobre K correspondiente al par (a, oj.

Corolario 3", 7 iI' 3<;> Se."7n K un. .~.~ijrn~;r/C1 ''-~QY'J"1!Utat;ivo :i€:.' ~Jrr.r([_::_~ter1.$t-i(_ra,. 2 y D un.~ K -a?gebl~a e8nt~::z;~, con: d'l:01. . .s-[.Qn, nQ t_~on""m~ ,~:Q t-ioa }_~ de dimerisi6n f1',ni,ta 3c:bpeK, DI, .... 'arQ todo X E.D~ K(x) 8S de .iimene i/rn :s;,2 8cope K~ ;Jy~ton.es.£: ~ f?,n 'un. (·ue:rpo de ouaterni oo Et.-j})J:·)8 K.

En efeeto, se sa be ya (c f, elteorema3.5. 2. )queexiste un subcuerpo connmtativo maximal L de II tal que L e s una extension separable de K. Pero, e nton ce s , L es una extensi6n mon6gena de K (eI. (7), § 11, n' 4, proposici6n 4) y, por 10 tanto, diIl'lj(L):> Z, luegodirn,,(D) '" (dim.(LJ)"& 4 (ef. el coro1ario 3.2.3.). Necesariamente, diIl'lj((D) = 1 0 dim.(Z1) '" 4. En e l primer caso, se tendria iJ = r., 10 que e s absurdo, pue s IJ no e s conmutativo. Luego, dim.(Zi) = 4 Y Ia proposici6n 3.7.2. indica que D e s un cuerpo de cua te rn io s sabre K.

N6tese que S1 K e s un euerpo ordenado, e1 algebra de cuaternios sobre K correspondiente al par (-1, -1) e s un cuerpo, pue s la relaci6n 0'." + + fj;! Ty;J or O;J", 0, eon 0.,13, Y y" en K, implica ('L = i:l = y '" 0 = 0 (ef. Ia proposici6n 2.4.2.). Recfprocamente, se tiene e l siguiente resultado:

Teorerna 3.7.4. (Teorerna de FrobeniuB). S"on.K '''I cwe'"'Po ovde-: nado masrimo.l , 1J "/.<lnc. X_algebra no (_'Qnmut:at1~'Va con di·viwi.·On~ de dirnen-

Los ejemplos dado s muestran euan diflcil es c a Icu la r e1 grupo de Braue r de un cuerpo. Ante todo, s e requiere conocer la estructura de las ;"(lgebras c e nt r a l e s simples sobre tal c u e r po , problema que no

siernpro s e puede resolver. Pero igual, s i s e c onoc ie ra Ia r e epue sta 49

a este ultimo problema, bien pue de ocurrir que e l grupo de Brauer no

se pr e ate a ser de sc r ito de manera sencilla.

si.On linit;a BOOro€ K U C·UJ_10 t?entI'O (!Qntiene a K. snroncee J) es ·{g()~l.Opfa~ como X-algebra" ai al.geb~a de (_I·u..a:te:tjnios J;obn~ K a0"1"12~eB!?Qyt.die.nte a]. pa:r-

(- 1, - O.

Como K e s un cuerpo ordenado maximal, tod a extensi6n algebraica L de K (L cuerpo canmutativo) verifiea dimc(L) = 10 dilUf«L) 0::: 2 (cf. (8), § 2., n' b, p r opo s ic ion 9). Luego, en virtud del corolario 3.7.3., D e s un algebra de cuat e rrrio s sobre s u centro ZdD). Por Ia pr opo s ic Icn 2.4.1., e I cuerpo 2.(7)) no puede s e r aigebraicamente cerrado, luego ZdD) '" K. Pero, to do elemento de f. e s de la forma J! a -x'" con X e K (d. (9), § 2., n' 5, proposki6n 6), luego e1 algebra de cuaternios D sabre K correspondiente a l par (a, b) es un cue r po s l, solo s i; CI = -"/..'" y b = = _1-1" (d. la ~roposicion 2.4.2..). ya que en este ca e o, la relaci6n a;' + + (13)..)" T (YI-I) T 6"'" = 0 can A., P, y Y i> en K i.rrip l.i c a 0. = 1'3 = Y '" 6 = 0, pal' el hecho de s e r K un cuerpo ardenado. Esto Irnp Irc a que D, como K-6lgebra, es Is omo rfa at algebra de cuaternios sabre K c o r r-e s pond ierite al par (-1, -1).

Corolario 3.7.5. El. JPur'o de B)"'IQ,u .. 12Y' de un. DUell?O o1.1de~ad(· tn::;xi-~~,' .. ),7 es un grupo <~f..(!UCo de ;~·Jen 2..

3.8. ALGUNAS INFORMACIONES COMPLE.MENTARIAS

As I, por eje rnpl.o , .;:i K es un cue r po de nurne ros algebraicos y K9 e s s u completaci6n p-adica, existe Ulla suce sian ex ac ta de g ru.po s abelianos 0 - Br{K) ~ il Br(K~) ~ Q/ Z - 0 (d. ( :l.'l).

Sea K un cuerpo conmutativo completo para una valorizaci6n disc reta, cuyo cuerpo residual es finito. Un e je rnp lo de tal cuerpo e s e1 cuerpo Qp de numeros p-adicos. Errtonc e s Br(K) "" Q/Z, isomorfismo de g ru po s abeHanos (of. Ill), § 10.8).

Se dice que un cuerpo conmutati vo K tiene la tl·op.,'eJc!d Cl 5i todo polinomio hornog ene o ! .;; K (Xl, .•. ,XoJ de grado d < n. tiene un cero no trivial en K, 0 sea existe un elem.ento (a., •••• a.) e K". donde los a, son no todos nulo s, tal que rial, .•• ,cr.) = O. POl' e je rnp lo , todo c ue r po algebraicamente cerrado ti e ne Ia propiedad CL pe r o hay ot r os ejemplos de tales cuerpos. Asf, toda extensi6n finita de un c ue r po con Ia propiedad C\ tiene a un la propiedad C\.. Todo cuerpo finito Hene la propiedad C\. Todo cue rpo completo para una va Io r iz ac tdn discreta, cuyo cuerpo residual e s algebraicamente cerrado, tiene Ia propiedad 01 (Teorema de Lang). Sea K un euerpo algebraicamente cerrado y sea L una extensi6n (de cue.r po s con mu tat ivo s ) de K, cuya grado de transcendencia so bre K e s 1. Entonce s L tiene la propiedad 01 (Teorema de T's en ), S1 K as un c ue r po con Ia propiedad 01, se pued e mostrar, mediante 1'1 norma reducida, que Br(K) '" 0 (d. (lol). § 10.8).

Se podrfa d ec i r rnucho mas sabre el grupo de Brauer y, muy particula r mentc, sobre e l g rupo de Brauer de un anillo. Pero, en este ca so,

Ia t eo r Ia de algebras c e ner-a Ie s simples (sabre un c ue r po conmutativoKj debe s e r reemplazada por 1a te.o r Ia de algebras" entrales s epa r ab'le s (sobre un anillo K, conmutativo can elementa unidadJ a algebras de Azurnaya. Para una Le c tu r a mas a fondo se r-e co rnae nd a Ia obra citada en (11) S 10. 10., 0 Ia c rtada en( 1.6).

3.9. EJERCIClOS Y COMPLEMENTOS

Se da r an a.quf no 5610 cjercicios, sino ta mbferi resultados que complementan la teorla.

3.9.1. Sea II W1a R-algebra con divisi6n de dimensi6n finita que contiene a R como subcue rpo, Muestre que, 0 bien J) es central yen e s te caso dirn,:,(l'j '" n", donde n e s un entero conveniente, 0 bien el centro 21l(11) as distinto de il, luego ZlR(.D)es unaextensi6n finitade R Y» por 10 tanto, Z,,(.D) = C, cuerpo de los c ornp.le jo s , De e s tc modo, I! es una C-iilgebra central can division de dimensi6n finita y demuestre que necesariamente D = C, Ap Iiqu e e I Teo r e ma de Frobenius y rnuestre que 10 = 2, luego]) es el c ue r po de los cuaternios sabre R relativo al par r , 1, -1).

50

3,9. Z. Sean 0 e l cuerpo de los nurne r o s r ac i ona Ie s y 11 una Ci-algebra as oc iati va no conmutati va con elemento unidad generada par x e Y. Si x" = -x'" + 2x + 1, xy = lI(x" - 2) e v3 = y, donde Y e 5 un entero par no divisible par 8, p r u e be que dim~(A) = 9 y que A e s una Ci-,Hgebra con division (d. =. cap. V, § 48).

3.9.3. Sean!( un cuerpo conmutativo, L una extension (de cuerpos canmutativos) f irii ta de K y A una K_ alge bra c ent ra l s irnple, Si din1,«(L) = = r y s i Ji Y A ~L son de indices my n, r e s pe c ti varrien te, entonces r,lm/

Inr.

3.9.4. Sean K un cuerpo c onmutat ivo y,1 una K-algebra central simple. Muestre que s i e1 grado de ;_ e s igual al Ind ic e de A, entonces II e s una F.-algebra can divisi6n.

3.9.5. Muestrc que e l producto tensorial de dOB iilgebras con division no es necesariamente un algebra can division, De un ejemplo.

3.9.6. Sean K un cuerpo conmutativo yAy B das K-algebras centrales con d ivi s ion, Muestre que s i los g rados de A v B son primos entre sf, entonces II 'f B e s una X-algebra central con d i vi s i.Sn,

3.9.7. Muestre que s i K c s un cuerpo conmutativo y 8i]) es una K_ algebra central can division de g rado vi = J'~1 ••• p~', eritonc e s Ii "".Dl~ \? ... p.D .. isomorfismo de X-algebras, donde D~ e s una X-algebra central can divisi6n de grado p~ (i, = 1, •.• , r) y donde los PI Son los factores primos distintos de m,

3.9.8. Sean K un cu e r po conmutativoyA una X-algebra central simple. Se dice que el algebra A es .'/pim"Y'iQ si Ii. r K y 5i A no contiene X_ su ba Ig e bz-e a centrales simples pr opia s , Mue s tr e , a partir del teorema 2.7,3., que toda X-algebra central simple de dimension fin ita e s un pr oducto tensorial finito de algebras p r irna r ia s ,

3.9.9. Productos c ruz ado e, Sean K un cue r po conrnutativo y A una K -algebra central simple. Se dice que A. e s un. p".!')cd·,'A.e7;O (,'!l~?";.<3ado s i A contiene a un subcuerpo conrnuta.tivo maximalL tal que L(K sea una exten5i6n de Galois. Sea Gel grupo de Galois de L sabre K. Se sabe que s i dimdL) '" n, entonces di~(A) = n<l y e1 orden de (} e a n, Mucstre que para todo cr E (), e xi s te un elemento inversible x~ E;.": tal que cr(lI) = Xo lIX;l para todo Ii E L. Mue st r e que elconjunto {X,,)crEG e s una base de" sobre Li para e s to basta mo st.r a r que los XCI sonL_lineabnente indepcndientes, pue 5 e I orden de G e s n = dimd 4). Cualesquiera que sean 0, T E G, X~TlIX:rlX~l", xClTyx;';. 0 sea X;i:XcrXTY = IIX;;XcrXT. para todo II E L, luego x"iJXcrJ:r E G,(L) "'L, Si se denota h(cr, T) = x;f;xClXryf(r:r, T) QxCiTh(a, T)Xaf, p ru ebe que f(a, '1") e L, t t», '1") ;'- 0 cualesquiera que sean 0, T E ,J. Ademas, cualesquiera que sean a, T, \I E a, muestre que !(a, T) t to«, v) = = a(f (1, 'Ii)) i (a, 'J"V). ASI, la e s t r uc tu r a del algebra A que da completamente definida par L. K y el (:NI,1411/;0 de j"ucf;ore6lt(CI, T)}la. rJEcxG de L sabre 1(. En efecto, dos elementos de la ba se Xcr Y X-r se multipl.ican mediante la formula X(]Xr '" I(cr, T)Xor.

Reelprocanwnte, muestre que dados un c ue r po conrnutarivo K y una extension de Galois L de K de grupo de Ga Ici s P y s i f : G X (; - L'~ e s un conjunto de fac tor e s de L sobre K, 0 sea f e s una apHcaci6n de conjuntos que verifiea u», T) J (aT, 'V) ~ aU (T, \I) f (a, T'V), cualesquiera que sean (T, T, v EO G, existe una K -,Hgebra il que eontiene a L como subcuerpo eonmutativo rnaxi ma.I, Muestre que A e s una K-i1gebra simple con e Ie rne rrto unid ad, Determine el c e nt r o de A.

3.9.10. Sean K un c ue r po eonmutativo y A una K-algebra central s lm pl e, Muestre que si B, e s una K- auba lg eb r a simple de /,> entonc as existe una K- suba lgeb r a simple Ba de A tal que .4 '" El ~ B~, Ls orn c rf'i smo de K-atgebras, BI = 0.(3,,) yEo = C'(.~l).

51

3.9. 11. Algebras c fc l i ca s , Sean j( un cue r po conmutativo y f >:: e r.[X) un polinomio de grado n. f irreductib1e. Se dice que f e s un p<:>'J.no', .. io deUoD sobre K si existen una extensi6n (de cuerpos conrnutat.ivas) L de K, un polinomio e e K[X] y una r afz X E L de f tales que tod a s las r a Ic e s de f en L s e escriben x, B{x), 6"(x), .•• , e"-\x) y e"(x) = x, dorid e e"(x)'" 9(9'-1(;.:» (i1: :< 1,2 •... 1. Ad, en el arri l lo L[X], el po l'inomio f se escribe f = (X - X}(X - 8(x}) ••• (X - e·-1(x». Si, como polinomio de K[,f), f se c sc r ibe f = X" "'" a1X"-1 + ••. + "'._1X + an, d ond e los a, e s tan en K, e s c r iba las r e la c ion e s entre los eoeficientes al y las taices \0;1(;.:) del pol.inomio f. Por ejemplo, el poUnomio f = X""," 1 E R[J] e s c Ic Hc o s obr e R y escriba el polinomio e eorrespondiente. De otros ejemplos de po1inomios c Ic Hc o s,

Sean ahora f E K[X] un polinoroio c Ic l i c o sabre K de g r ado n y veamas como s e puede a s oc i a r a f una K-aJgebra, que se denorriina ra 51-?eDPJ (''i.-,:''·i-ea. (no cion que s e debe a L.E. Dickson(12l; consiiltese ta rnb i e n (1) para un estudio exha us ttvo del problema). En e£ecto, sea X" - c un polinomio irreductible de K[XJ y sea II una r a Iz de e st e polinomio en una extens icn conveniente de K, quo puede suponerse sea L. Los elernentos lIixJ(O .. t , J s, n - 1) son K -linealmente independientes y sea ,I e l K-espa c io vectorial de base {v'XI)O';;I, ~";.-l.

La tabla de multiplicaci6n de A relativaITlente a Ia base dada e s (lIIX')(Y'XI) = l.r«9"(x)Jx\ para 0 .. t, J, ii, 1 s n - 1. Muestre que se

obtiene as! sobre A una estructura de X-algebra asociativa con e Ie rrie n to unidad. De un ejemplo de algebra dcliea con division. Muestre que las algebras cfc Hc a s son un c a so particular de producto cruzado.

Los trabajos de Albert y otros, alrededor de 1930, l1evaron a la conclusion de que toda Q-.ilgebra central can divisi6n e s un producto cruzado. Sin embargo, en 1972, Arnitsur';') di o ejemplos de algebras centrales con divisi6n que no son productos cruzados.

3.9. 12, Algebras ae.pa r ab le s , La extensi6n de la teo ria de algebras centrales simples a1 c a s o de algebras sabre un anilIo d i o origen a la noci6n de algebra c ent r-a l separable. AS1, si K es un anillo conmutativo (y asociativo) con elemento unidad y A es una X-algebra asociativa can elemento unidad, se considera e1 algebra opue s ta AO y sabre el X_m6dulo A, AO s e define, de manera. natural, una estructura de K-fllgebra asociativa con e Ie me nro umda.d, La leyde co:mposici6n (a® tDjz= .. azb, cualesquiera que sean a E Ii, b" € 110 Y z E A, define sobre Ii una estructura de A ~ l-m6dulo ala izquierda y se dice que A c s una K_ a/gGbl'a eepazable s i 11 e s un A ~ AO -m6dulo proyectivo, necesariamente de tipo finito, pue s la multiplicaci6n f.1 : A r If _. A, a ® :00 .... all e s una aplicaci6n A ~ II a -lineal so breye ctiva. Si J(fi.) e s el nfic Ie o de la multiplicaci6n, se tiene una s uce s i.on e xac ta de 111 A"-m6dulos ala i z - quierda

52

Se dice que A e s un "iZgebnx de Am<l1'aya s i A e s un algebra central separable Y BOn las algebras de Azumaya las que reempiazan las algebras centrales simples en Ia construcci6n del grupo de Brauer de un anillo. \)8)

(i) Muestre que 51 Pes un il-m6dulo proyectivo de tipo £inito y fiel, entonces Ia X-algebra A'" EnddPj de los K-endomoriismos (lineales) de P e s un algebra de Azu:maya.

(ii) En particular, para todo entero n ;:, 1, la K-algebra M.(K)de las matrices cuadradas nxn can coe fi c Iente s en X e s un algebra de Az u-, maya.

(iii) Sea (eIJh';;l, l":. la base can6nica del algebra de matrices A '" N.(K) y •

c on s l.de r e s e e I elemento e'" L ell ® eL, del algebra A f l. Mue s t re

I.."

que s i ~ : A ® if - A e s la multiplicaci6n de A y s i J(4) = Ke r(>1), entonces e2=~, >!(e) = 1 yJ(A)e= o.

Esta ultima propiedad sugiere una definici6n equivalente de algebra separable, a saber: Se dice que una K-ftlgebra A es un atgebN) sepcrab l.o s i existe un elemento e E A~ AO, necesariamente Ide mpote nte , tal que ~(e) '" 1 Y J(/i)e = 0, donde J(A} = Ke rtu ),

Se e atud.ia r a a ho r a cual e s la idea de construcci6n del grupo de Brauer de un ani11o. Sean K un anillo conmutativo can elemento unidad y II Y B dos algebras de Az urnaya sabre K, Se dice que AyE son seme,jarnes !Ii

exi sten do s K-m6dulos fielmcnte proyectivosPy Q tales que A ~End~(P)"" ""B~EndtdQ), isomar£ismo de X-algebras. Es £acil ve r que se define asf una relaci6n de equivalencia entre algebras de Azumaya y sea Br(K) eL canjunta de las c la se s de equivalencia de algebras de Azurnaya s ern ej arrt e s. Como e1 producto te n so r ia.l de algebras de Az.urrra.ya OS un algebra de Azumaya, ese rni s mo producto tensorial define sabre Br(K) una estructura de grupa abeliano Hamada de gl'U'(:O de BpQue!:' del aniUo K. Para un estudio mas co.rnp Let o , v€ase 1a obra citada en(lE) Sin embargo, s e puede adelantar, para beneficia del lector interesado en La teoria, que Br(Z) ~ 0, a sea el grupo de Brauer del a n i l Io de enteros e s trivial.

3.9.13, Sabre ,,1 grado y ,,1 fndtc e, Se ha vista ya que el grado (} : BrUO .. N* Y ,,1 I'ndice t : Er(K) - N* son a plfc ac iono s definidas en e1 grupo de Brauer del cuerpo K can va Io r e s en a1 monoide lnultiplicativD rN* de los enteros .. 1 (ef. 3. 1.). Muestre que tales aplicaciones son mo r Hsrno s para las e s t ruc tu ra s de rnono id e s de Br(K) y de IN*, 0 sea cualesquiera que sean A y B. algebras centrales simples s ob r e K, g([A} '" [B]) '" (}((A) 11([B J) e t([AJ + (B]\ ~ t{[A}) t([B])_ Con las notaciones de 3.1.. tales f6rmulas se escriben Q(A:ilI B) '" Q(AI Q(B.) e

t(A f B) ::: iotA) t(B), cualesquiera que s e an A y B dos K-algebra.s cen-

t ra lo s simples.

53

1H

algebra de c ua te r-n i o s (sabre ~ co r r e s pon di errte a I par (-1. -1»).

55

fNDICE DE NOTACIONES

IN

monoide aditivo de 105 nfirrie ros e nt e r os "' O.

monoide multiplicativo de los nfuneros enteros :;, 1.

z

ani.Ilo de ntirne ros ent e r o s ,

cuerpa de nfuneros racionales.

R

cuerpa de nfirrre r o s r ea l e s ,

c

cue r po de nume r o s complejos.

algebra de nvrr-n e rOS complejos "torcidos".

o

algebra de Cayley.

( .9..!..l2)

\ K

algebra de cuaternios sobre e1 cuerpo a a n i Il o K carrespondiente al par \e, b).

a nl l lc de enteros m6dulo p» p nfunera entero "' O.

cuerpa finito de c a r-a c te r Is ri c a p > 0 yean p ele=entOB.

5 uma di recta.

il

producto dr r e c to ,

rrio r-fi s rno,

efecto de rno rf'i s rr.o 5 obre elementos.

i s orrio r fo,

i s orno rfa s mo.

algebra de matrices cuadradas n,)(n, can coeficientes en ,,1 anUla conmutativa 7..

K[G]

algebra del grupo G can coeft ctente s en e1 anilLo conrnuta ti VO K.

Ii(U)

radical del i(-rn6dulo 1(.

't! coeficiente binomial, igual a ~---

.1t"!(n-kl!

s i 0 ~ II ,; n y

N(A)

nilradical del arri Il.o A.

grupo aditivo de K-endomorfismos del K-m6dulo /,{.

g r upo multiplicativo de K-endomorfismos del l(-m6du- 10//.

Ann(x)

Anulador del elemento X de un K-m6dulo 1(.

K[Xl'" .• Xo)

anillo de po l irrorrri.o s en las variables Xl ••••• X. con coeficientes en K.

K[[X1 ..... X,,]]: anillo de series fo r ma le s en las variables Xl' .... X. con coeficientes en l(.

l(-m6dulo de las aplicaciones K-lineales de Men N.

p r oduc to tensorial s ob r e el anillo l(.

GxH

producto de los grupos G pOl' H.

dimensi6n dell(-espacio vectorial M.

centro de la K -alge bra A.

56

o.(s)

centralizador de S en A donde S e s un s ubconjurito del :tlgebra j_.

clausura a Ig e br-a i c a del cuerpo K.

mu1tiplicaci6n a Ia derecha definida po r ;X;.

multiplicaci6n a 1a izquierda d ef'irri da po r x-

61~" 0, s i i. F J. e igua1 a 1. s i t" J (6 de Kronecker).

xl\y

producto exterior de X por y.

p r oduc to e s ca Ia r de X po r y.

producto vectorial de X par y.

BrUO

g rupo de Brauer del cue r po 0 anillo conmutativo K.

:ilgebra opuesta del i1ga bra A,

completado p -adieo de un cuerpo de nfuneros algebraicos, p enter a primo> 1.

nlm L/K

cera sik>,.,.0 sill<O.

e1 entero n divide al entero m,

e1 cuerpo L e s una extensi6n del cuerpo K.

Algebra

alta rnativa, 22 artiniana, 37

a soc iaelv a, 21 de Azurna ya, 52

de bicuate rnt o s, 28 de los cornpl.ejc s, 22

0* (c ornp l.ejo s to rc ido a), 24 de Cayley. 2.3

c Ic l ic a, 51

central simple, 30, 32 c uace r nto s, 28

c onrnutat.iva, 22 can d iv i s ion, 26

can elomento unidad, 22 flexible, 36

de grupo, 25

de Jordan, 38

de Lie, 35

de Ma.l c ev, 35

de pol inorruo s, 26 prima ria, 50

s erni s lrn pl.e, 29 simple, 2.9

sepa r a.bl e, 52.

51

fNOICE .ALF .ABETICO

Algebras

p r oduc to tensor ia I, 25 semejantes, 39

AniUo

artiniano, II

artiniano c onmutat ivo, i3 artiniano a la d e r e c ha , Jl artiniano a Ia izqu i e rda, II a rtiniano local, J 3

con divisi6n, 14

de endomorfismos, 14 de ente 1'09 de Gau s 5. 37 de grupo, 7

opue ato, 18

primo, 19

de matrices, 6 semisimple, 5 alrnpke, 14

s in radical, 11

Cu e r po

algebraicamente c e r r a d o, 29, 44 mirn e r o s algebraic oe, 49

Ol. 49

mirn e r o s compiejos, 22 de c uat.e r ni o s; 23

de de ac crrrpo s ic i Sn, 4-0

de escalares (extensi6n), 25 finito, 46

niirn e r o s P-adicos, 49 nurneros reales, 47

s e pa r a b.l ern e nt e c e r r-ad o, 45

Anulador, 18

Aplicaci6n alternada, 21 Asoc ia dor-, 21

Autorno r-Ham o interior. 42 Cadena de sc endente, II

Cadena e seac ionaria, I 1 Caracterfstica de un cuerpo, 29 Central. 30

Centralizador, 30

Centro, 18, 30

ClausLlra algebraica, 32 Conjugado, 22

Conjunto de iactores, 51 Crrnrnu ta do r , 22

58

ElelTIentos inversibles. ]0 Elemento rri l pot e nt e, 12 ElelTIento unidad, 22 51 Extensi6n de Galois. 2.2 Familia inductiva, 3

Forma cuad r at ica mu lt ipl ic at iva, 20, 22 Grado de un algebra, 4 I

Grupo de Brauer. 40 anillo, 53

c ue r po algebraicamcnte c e r r ad o, 44- cuerpo finito, 46

cuerpo ordenado maximal. 4-9 c ue r p o de los r ea le s, 47

cuerpo separablemente c o r r ado, 45 r e lat rvo, 40

Gr upo de orden finito, 47

Ideal a Ia izquierda minimal, 8 Ideal nilpotente, I Z

Ideal p r irn o, 19

fdernpotente, 17

ldentidad de 'I'e ic hrriii.l Ie i-, 35 Indice de un algebra, 41

Inv e r s o, 22

.Ja.c o b ia no, 35

Lema

de Nakayatna, 10 de Schur, 18

de Zorn, 3

M6dlllo

a La izquierda simple, 3 inyectivo, 5

libre, 16

pr-oy ec t ivo, 5

s ern l s irn pl.e, 4

simple 0 irreducible. 3 fiel, 52

Multiplicaci6n. 21 Nilideal, 12 Nilradi~al, 18

No rrna, 22

Polinomio cfclico, 51 P'r odu c to cruzado, 51

Radical anillo, 9 rnrid u Io, 9

Rcpresentaci6n regular a la i z qu ie r da , 33 ala derecha, 33

59

Sopo rt.e, 6

Subc ue r po s rrrax i.rrra Ie s , 41

Subrnodufo maximal, 3 propio, 3

Sucesi6n cxac ta escindida, 5

Sumando d i r ect c, 4

Teorema

de Amitsur (de 1972), 52. de Artin-Weddel'bllrn, 16 del duplo c errt r-a l i z ad o r , 44 de F robenius, 27

de Frobenius (dem. de Dickson), 27 de Lang, 49

de Maschke, 7

de Skolem-Noether, 42 de Taen, 49

de Wedderburn, 14, 46

de Wedderburn (dem. de Ri effe l l, )6

Traslaci6n

a la i zqtri e r-da , 26 a la de rec ha, 26

60

BIBLIOGRAFiA

(1) ALBERT, A. A. Structure of Algebras, AMS Colloquium Publications N' 24, Providence, R. I. (1939).

(~) Al\1lTSUR, S.A. On Central Division Algebras, Israel J. Math., 12., 408-420 (1972).

(3) ARTIN, E., NESBITT, C. J. y THRALL, R. M. Rings with Minimum.

Condition, University of !vIichigan Press, Ann Arbor, Mich. ( 1944).

(4) ATIYAH, M.F. yMACDONNALD,I.G. IntroductiontoCommutative Algebra, Addison-Wesley, Reading, Mass. (1969).

(5) BOURBAKI, N. Tb eo r ie des Ensembles, Fascicule des Re aultat a, Hermann, Paris (1958).

(6)

BOURBAKI, N. A1gebre, Hermann, Parts, Ca pfeulo Z (1962).
BOURBAKI, N. Algebre, Hermann, Paris, Capitulo :, ( 1950).
BOURBAKI, N. Algobre, Hermann, Parrs, Capitulo 6 \1964).
BOURBAKI, N. Al ge b r e , Hermann, Pa r fs , Ca pftu lo 8(958). 61

(7)

(8)

(9)

(10) CARDENAS, H. y LLUIS, E. M6dulosSemisimpies yRepresentaci6n de Grupos Finitos, EditorialF. TrillasS. A., Mexico (1970).

(Il) COHN. P. M. Algebra, Wiley. Nueva York, N. Y .• Vol. 2 (1979).

(12) DICKSON. L. E. Algebras and Their Arithrnetics. University of Chicago Press, Chicago, Ill. (192.3).

(13) FELZENSZ'NALB, B. Algebras de Dim.ens1l:o Finita, IMPA, Rfo de Janeiro (19791.

(14) GENTILE, E. R. Notas de Algebra, Algebras Asociativas (Nota s no P'uhl ica.da s 1.

(15) HERSTEIN, 1. N. Noric o rnrrruta t.i ve Rings, The Carus Mathematical Monographs N° 15, The Mathematical Association of America (1968 ).

(16) KNUS, M. A. y OJANGUREN, M. Th eo r Ie de Ia Descente et Algebres d' Az.umaya , Lecture Notes in Mathematics N° 389, Springer- Verlag, Berlfn (1974).

(21) RENAULT, G. Algebre non cornrnuta t ive, Gauthier-Villars, Parrs (1975).

(17) KUZMIN, E. N. l\1alcev Algebras of Dimension Five over a Field of Characteristic Zero, Alg. L:;;g., 9,691-700 \1971).

(18) EL :MALLAH, M. L. Y MlCALI, A. Sur les Dimensions de Alge hr e s a.b so Iurrre'nt va Iue e s , ,T. Ai.g., 68, 237-246 (1981).

(19) EL MALLAH. M. L. Y MICALI, A. Sur les Algebres no rrnce s sans Diviseurs topologiques de Zero. Bal. SaL'. Mex:. Mat., 25, 23-28 (1980).

(20) MICALI, A. v VILLAMAYOR, O. E. Estructuras Algebraicas IV (Algebra Multilineall, Monograffa N° 16, Serie de Ma.trrrnri+ic a., OEA, Washington, D. C. (976).

(22) RIEFFEL, M. A. A General Wedderburn Theorem, ."1'Oe. .v,,!. ;i,'ad. 3('., 54, 1513 (1965).

(23) WElL, A. Basic Nurnb e r Theory, Springer-Verlag, Berlfn (1967).

62

Publicadas

COLEccr6N DE MONOGRAFfAS CIENTfFICAS

N° 1.

Serie de matematica.

N° 2.

N° 3. N° 4.

N' 5.
N' 6.
N° 7.
N° 8.
N' 9.
NO- io,
N' Il.
N° 12.
N' n.
N' 14.
N° 15.
N° 16.
N' 17.
N° 18.
N' 19.
N° 20.
N' 21.
N' 22.
N' 23.
N° 24. Serie de Heica

La Rcvoluci6n en las Ma.ternattca s Escolares, par e I Cons ej o Nacional de Maestro" de Ma t errra t'ic a s de los Estados Urrldo s de Arn~rica.

Espados Vectoriales y Ge orn ot rfa AnaHtica, pal" Luis A. Santa16.

Estructuras Algebraicas I, po r' Enzo R. Gentile.

Historia de las Ideas Modernas en Ia MateIT1atica, p o r .Tos~ Babini.

Algebra Lineal, pOl' Orlando E. Villamayor.

Algebra Linear e Geometria Euclidiana, par Alexandre Augusto Martins Rodrigue s.

El Conc epto de Nfunero, par Cesar A. Trejo. Funciones de Variable Compleja, po r J066 1. Nieto. lntroducci6n a la T'opo log Ia General. pOl' Juan Horvath. Funo;:5es Reais, po r Djairo G. de Figlleiredo.

Prababilidad e Inferencia Estadr'stica, par Lui s A. Santal6. Estructuras Algebraicas II (jl.lgebra Lineal). po r Enzo R. Gentile.

La Revoluci6n en las Ma t ern at ic a s Escolares (Segunda Fa- 63

se ), pOl' Howard F. Fehr, John Camp y Howard Kellog. Estructuras Algebraicas III (Crupos Finitos), pOl' Horacio

H. O'Brien.

Introducd6n ala 'Le o r Ia de G'ra.fo s , po r Fausto A. To r a nz o s , Estructuras Algebraicas IV (Algebra Mu.It'i.Hrrea.I}, po r Artibano MicaH y Orlando E. VilLamayor.

lnt r oduca o a Ana l i s e Funcional: Espac;:os de Banach e Calcula Diferencial, par Leopolda Nachbin.

Int r oducc Ion a la Integral de Lebesgue en la Recta, po r Juan Antonio Gatica.

Int r cducc i Sn a los Espacios de Hilbe rt, po r Jose 1. Nieto. Elementos de Bf.crna.terna t ic a, po r Alejandro B. Engel.

Int r oducc i on a la Cornputaci6n. p o r JaiIT1e Michelow.

E et ruc tura s Alg cb r a'ic a 5 V (Teorfa de Cuerpo 5), par Hector A. Merklen.

Estructuras Algebraicas VI (Formas Cuadraticas), po r Francisco M. Pisc oya.

Estructuras Al.g eb r a i c a s VII (Estructuras de Algebras), por Artibano MicaH.

N° I. Concepto Moderno del Nric Ie o, porD. Allan Bromley.
N° 2.. Panorama de la As t ronornfa Mod e r na , po r Felix Cernuschi
y Sayd Codina.
N° 3. La Estructura Electr6nica de los S6lidos, pOl' Leopoldo M.
Falicov.
N' 4. F[sica de Pa r tfc u la s , pOl' 19 or Saaved r a , N° 5.
N° 6.
N' 7.
N° 8.
N° 9.
N° 10.
N° Il.
N° 12.
N° 13.
N° 14. Experimento, Ra aonarn lc.nto y C r e a c i dn en Ffsica, par F61ix Ce rnuec hi,

Seml conduc tor-e s, por George Bern ski,

Aceleradores de Partfculas. por Fernando Alva Andrade. Ffsica Cua nti.c a, por Onofre Rojo y Harold V. Mclntosh. La Radiaci6n C6smica, po r Gast6n R. Mejfa y Carlos Aguirre.

Astroffsica, par Carlos laschek y Mercedes C. de Ja schek. Onda s, pOl' Oscar J. Bressan y Enrique Gaviola.

El Laser, por Mario Garavaglia.

Teorfa E stad!stica de La Mate ria, por Antonio E. Rodrfguez y Roberto E. Caligaris.

Aplica<;:~es da Teoria de Grupos na Espectroscopia Ram an e do Infra-Vermelho, par Jorge Humberto Nicola y AnUdo Bristoti.

Serie de qufmica

Cinetica Qufmica ElelTlental. par Harold Behrens LeBas. Bioenerg6tica, po r IaaIa s Raw y Walter Colli.

Mac rarnol6culas. pOl' Alejand 1'0 Paladini y Moi s e s Burachik. Mecanismo de las Reacciones Or g a ni ca s , par Jorge A.

Brieux.

N° 5. Elementos Enc:adenados, pOl." Jacobo G6rrtez Lara.

N' 6. Ensef'lanza de la Qufrnica Experimental, pOl' Francisco Giral.

Fotoqufmic:a de Gases, po r Ralf-Dieter Pe nz ho r n. Introducci6n ala Geoqufmica, par Felix Gonzalez-Bono rino. Resonaneia Mag net ic a Nuclear de Hidr6geno- 1 y de Carbona- 13, po r Pedro Joseph- Nathan.

Cro=atograffa Lfquida de Alta Presi6n. pOI." Harold M. McNair y Benjamfn Esquivel H.

Actividad 6ptic:a. Dispersi6n Rotatoria Optica y Dicrofsmo Circular en Qurmica Organica, po r Pierre Crabbe. Espectroscopia Infrarroja, par Jesus Mc rc iflo Rubio. POlarografra. pOI." Alejandro .T. Ar vfa y Jorge A. Bolzan. Pararnagnetismo Electr6nico, po r Juan A. McMillan. Introducci6n a la Estereoqurrnica, pOl' Juan A. Garbarino. Cromatograifa en Papel y en Capa Delgada, pOl." Xorge A. Dornfngue z.

Introducci6n a la Espectrometrfa de Masa de Sustancias Organicas, por Otto R. Gottlieb y Raimundo Braz Filho. Cinetica. Qufmica, pOI." Rodolfo V. Caneda.

F'ue t-za s Inte r m o'le cu.la r e a, por Ma.te o Dfa z Pef'la. Ffsic:o-Qufmica de Superficies, po r TIbo r Rabockai. Corrosi6n, par Jose R. Galvele.

Introducei6n a la Electroquf:rnica, po r Dionisio Posadas. Cromatograffa de Gases. por Harold M. McNair.

Cinetica de Disoluci6n de Medicamentos, par Edison Cid carcamo.

N° 25. Introducci6n a la Qufrrlica de Suelos, po r Elemer Bo r n ern i s z a ,

N° 26. Elementos de Catalisis He te r og erie a , par Sergio E.

Droguett.

N° 1. N° 2. N" 3. N~ 4.

64

N° 7. N" 8. N° 9.

N° 10.

N° 11.

N" 12. N° 13. N" 14. N" 15. N° 16.

N° 18. N" 19. N" 20. N" 21. N° 22. N" 23. N" 24.

N° 27. Introducci6n a Ia ElectrocataIis is, po r Alejandro J. Ar-vfa y Marfa Cristina Giordano.

Sel'ie de bioLog!a.

N° l. La Gen6tica y Ia RevoIuci6n en las Ciencias Bio16gicas, par Jose Luis Reissig.

N° 2. Bases Eco16gicas de la Explotaci6n Agropecuaria en La Arne rica Latina, pOl' Guillermo Mann F.

N° 3. La Taxonomra y la Revo1uci6n en las Ciencias Bio16gicas, po r Elfas R. de 1a Sota.

N' 4. Principios Basieos para Ia Ensei'lanza de la Biologra, pOl'

Oswaldo Frota-Pessoa.

N° 5. A Vida da C elula, po r Renato Ba s i.l o ,

N° 6. Mi c roorganismos, po r J. M. Gutierrez-Vazquez.

N° 7. Prine ipios Ge n e r a.l e s de Mic r cb'io log fa, po r Norberto J.

Palleroni.

Los Virus, pOl' Enrigueta Pizarro-Suarez y Gamba. Introducci6n a la Ecolog!a del Be ncos Marino, po r Ma.nuel Vegas V61ez.

Bios!ntesis de Protefnas y el C6digo Gen6tico, po r Jorge

E. Allende.

F'undarriento s de Inrnuno log ta e Inmunoqu!mica, pOl' Felix C6rdoba Alva y Sergio Estrada.Parra.

Bacteri6fagos, pOl' Romilio Espejo T.

Biogeograffa de Am6rica Latina, po r Angel L. Cabrera y Abraham Willink.

N° 14. Relaci6n Hos pedante- Pa r<:'l sito. Me ca ni srn o de P'at og e ni « cidad de los Microorganismos, par Manuel Rodrfgucz-

N° 8. N' 9.

N" 10.

N" 11.

N° 12. N" 13.

Leiva.

N° 15. Genetica de Poblaciones Huma na s , Rothhammer.

N' 16. Introducci6n a 190 Eco£isiologfa Vegetal, po r Ernesto

Medina.

Aspectos de Bto log Ia Celular y Ia Transformaci6n Maligna, po r Manuel Rieber,

'I'r a ns po r-te a T'r av e s de la Membrana Celular, par P. J. Garrahan y A. F. Rega.

Duplicaci6n Cl'omos6mica y He te r oc r orria.t ina a Nivel Molecular y CitoL6gico, po r N"'stor O. Bianchi.

Citogen";tica Basica y Bto logfa de los Gr crno sorna a, po r Franc Lso o A. S<iez y Ho r a c i o Ca r d o s o,

Ecologfa de Poblaciones Animales, par Jorge E, Rabinovich. Matodologfa para el Estudio de La Vegetaci6n, po r Silvia D. Matteucci y Aida Colma.

Los Sistemas Ecol6gicos yia Humanidad, po r Ariel E. Lugo y Gregory L. Morris.

A Ge r mrnac ao da s Se rne nte s , par Luiz Gouvs a Labouriau. Introducci6n ala Farmacocinl!tica, par Edison Cid Ca rcarno. Introducci6n ala Teorfa y Practica de Ia Taxonomfa Nume. rica, pOl' Jorge V, Crisci y Marfa Fernanda L6pez ArmengoL ~Que e s la Diferenciaci6n Celular? par Roberto B. Garcia

y Susana Pereyra-Alfonso.

N° 17.
N° 18.
N" 19.
N' 2.0,
N° 21.
N° 22.
N" 23.
N° 24.
N' 25.
N' 26.
N° 27. par Francisco

65

En preparaci6n

Serie de mat emactc a

Ecuaciones en Derivadas Parciale s , par Lorenzo La ra-Carrero. Geometrfas Finitas, par Oscar Barriga.

Algebra Elemental. par Leopolda Nachbin.

Sede de£feica

Teodade Fluidos en Equili brio, par An ton io E. Rodriguez y Ro be r to E. Caligaris.

Fundamentos de C'r i ata log r affa Ffsica, par Jaime Rodriguez Lara. Tuc r Ia Cuan ti ca dellmpulso Angular, po r Manuel de Llano y Mauricio Fortes.

Serie de qurmic:a

Fisicoquimica de Inte r-fa ae s , par Francisco Javier Garfias. Quimica de S61idos, por Julio Cesar Bazan.

Qufmica Bi o ino r g Sni c a , por Henrique E. Toma.

Introducci6n 0.1 Estudio de los Producto$ Naturales, par Eduardo O. Gras.

Serle de biolagi'a

66

Etologia: E1 Estudio del Gomportamiento Animal, par Raul VazFerreira.

F'o to s fnte s i s , par Ruben H. Vallejos.

Cromoso:mas Humanos y de Primates, par Max irno E. Drets y H6ctor Seuanez.

Lirn no Icg Ia Sanitaria, Estudio de la Poluci6n de Aguas Continentales, po r Samuel Murge1 Branco.

Aprovechamiento de Aguas Dulces y el Cu1tivo de Peces, par Argentino Boneto y Hugo P. Castillo.

Nota: Las personas interesadas en adquirir e s ta s o b r a s deben dirigirs e a 1a Unidad de Ventas y Pro:moci6n, Organizaci6n de lOB Eatados Arne r Ica no s , Washington, D. C., 2.0006 - 4499 a a las Oficina s de 10. OEA en e l pars r e s pe c t i vo ,