Professional Documents
Culture Documents
Atiyah McDonald Commutative - Algebra PDF
Atiyah McDonald Commutative - Algebra PDF
Atiyah McDonald Commutative - Algebra PDF
G2+G" +0 be an exact sequence of cing the subsoodules &°M lt hv ep dy cage oat | rug fea onde M un ae ene ie 6 he ced lopli, by the eee (0.63 9 | gn aga) i ae Ma N= Ma es bmodales of M, is called a filtration of Mand dented by (80D (1 fea doe ‘Bleonog © Maa or ain ans so pon meee ty pen Ti Nn ale ema Lemma 106, If(My, (Mo) ar sabe firations of Tne erence ss, there ests tegen ae Terie for all > 0. Hoe al stable fratns done Sve toplogy on M, mae he otpology: rie Proof Enough to take Mi = ML Sis a8, & Maes fo so akle = Maex for all n > me say, hence Mf," yi ‘GRADED RINGS AND MODULES ‘a rae ing ing A topetbe with aly Aden of subgroups ‘ane group of 4, such hat A = ie Ayan day eo Faas sea subeing o A and each, is an demodule Example. 4 = As, deere ava fFal man eh Aa = set of all homozencous polyoma o I Aisa graded rng a graded A-module isan A-module ftps funy (Me patsubyroups Mauch hat M = @ino Myand An Fam tes oe Ty cach Mis an A-module. An clement x of Mh sere tce Ma for some m (a= depee of 8) Any elnent ye Mase see Hiya te sum 3 where Yu Me forall > Oana ba rien uniguly enya are O. "ie nonsero components ya cal Be Iomageneous components 0 Tree ae mach A-module, a homomorphism of graded A>mois's2 “dome uomemorphiam i M ~> N such that M4) © Ne forall > 0 Aiba pred ing, let A, = Qrve Aw dy ianidea of 4 Propoion 10.7. The following ae quis, fora eae ne 4 i) Ate a Noetherian ns: Fi) Ante Noetherian and A ts fiiely generated as an Aan. Proof Diy do % Ady, hence is Nowberian, isan eal in Nee Hei benratad ey By yaw we ay take 1 be HORHEESA aay ret depoe eg... fs ay (all > 0), Lt 4 be he stat So ere pt Aa We sal show tat Ay = 4 ON?! aa STs cerny tee form =O. Let > O06. inka oF line combination ofthe 8 7 ~ Beat ie Sine 76 eto da = Oi <0), Sz each > OMe Ce ae aca vaplyoml in the #4 wih oe Ae Hapa re ncn ye Hone a = A eA i) = i): by Hilbert’ basis theorem (7.0). ing (nt ade, 0 eof 4, The "Say, a nan Amador nas El at = Dees ais a eae ‘ae ete ese Sal at St ual we Noctis, iy eer ye 8 Nests Noetherian by C7. as, Let A bea Noto ring, M a ey se ion oH nn erie Me yond 4° 2 ie lation (8 tb r,t eeu, ach 0 = Qin Mi i a tan te 28 i oe ae Sesame Mz = Mo QO Ma @ eM MA. ovo ely gee 2a ME ly ar sr ut Fm nad ci ven Sw ‘oti Ty gee on mde eal Keri fr soe Ro = Mager ™ Ma (al 73 Oo ‘cui ee pasion 103. (Orio-Res lemma, Let 4 te « Nor Pepi Sa felgeerated Aon, (oa fli ort ese of Ma hen OH) 8 a fin er no, WabavedtM My) © aM" Falta SMO Means OM re fence dfs a ded Amol wh a ebe ct oon ore nly generated lace 4*s Nothin). Nowe (00) {PM we obtain wha sual own a he Ai Rt Taking My en Comalry 10.10. Thee eis an integer K ik that Gear a = arr(eunnwe) foralin> kw (nthe other hand, combining (109) _weobtain te realy sigan version with the eenay men (108) Tae ta, erate ocr eh Tecate eal A mote of MT ie oH Co sede agree re sm ety acy melll 108 communis tamara ehapier we sal aply the ast part (101) concer Reva Se ats bat Sr Se ON A abo ‘erences wil be ved ct tat appenion of 1) we combine With (103) 0 gt ort eee oper of ome: ‘Propo 1012. Let ooM +0 se on exe sequence of tegrated modes oer @ Noten rig 4 ean ae of A then the segue of eae completions Oo M+ Mom 0 Soce we have 4 natural homomorphism A d we ean resard ok an “sas Malt for any amodule M we conform an A-module 4 @, fatten and ow tscompre wth he A-module A, Now the Anode Amtergiom Mf» A defines an A-module homomorphism AeM+A OMA OM = M grow for sbicary A and M, this it iter netve no sete but we dohwe Proposition 10.13. Forony rng A, if M sfiely-generated, A @, M => tame. I, moreover Ai Noctheran then A @), M > Mis on morph ‘Proof, Using (103) or oterwie i i lear that adie completion coms Miter sums, Hensel F x Av wehave 4 @, F= F, Now aswme Taney generated so that we have an exact sequence 04 Nor P+ M0. “This iver is to the commutative diagram Beemer position. Assume now that A is Noetherian, then NV is also finitely generated fe eecteeeeccce or es a, os (012) 08 1013) topeter ase ‘ re the net) of ype nent elvan sent 1g nin Gore te “A a ve Todt fA ts 8 Nocthron ig, on toes ftt” 2 Sea mt cnt vot 069th ing Ain oe ge, Fit om neay ion 105. 148 Noshrn, As ba comp, ey Lgioe Wis comaied tthe Jacobson ra of 4 Soca i Noetherian, «+ Bl-gnete (019) ngs te = ho inage is, isan isomorphism This proves). Now apy os nd edad hat . wy ior Pry 0. Ang (104) we now deduce ‘which i follows by taking quotients. By i) an (105) weet ieample frit topology. Hence for any x68 Qaatelerett carps ind, that 1 — xin unit By (1.9) impi ta &conaied inte acobson radical of 4. ‘Prpnon 10.16, Let Abe Nowhere i, ymin Th th adic completion A of Ais oa ring ih matin BY Ar By 10051 me have Ah A, eee Ah ta nase ie alos aie amir ie AE ‘eithe nique maximal eal. Thos 4 isaocl 6s # aftingrian: quan ofhow msh wel sn om isan ts Thorens|} 10 conpuerioss Ate aot ene ofa er a i ona tise M Ftv, Moe Mt cons of thse 8M anhted by some omens eet Hof ‘Proof, Sice E's the intersection ofall neighborhoods of Oe Mr nef, Ce net ne say sean iy {duced topology on Eoineider wth is topology. Sica ing Myla te i ore alma tae Sac Wisc geeed See erm ericd mde wear eee anta fiom af = Ethat (1 ~ aJE = 0 for tome «ea, The convene yee frgena en cant anh 1) She linet sed (10 be " * bee dan da 04 have the sme kernel. Moreover for any a & Wagtalteres converges in d 40 that every element ofS becomes a unit in 4 By the wine property of SA this means that thre i natural homomoephita $14 =f id 0.17) implies that this Injective. Thus S74 can be ented wih subring of. 2) K,ulls Toren (10.7) may be fab if 4is aot Noetherian. Let Adee ring of all C* functions on the rea line, and let eb te ideal of al fwich x: ish atthe origin (ei maximal since ajo xR). In fact ois penerated byte “dent function x and [esa the st of al fe Ay ll of whose deat vanish a the origin. On the other hand fis aniilated by some clement 1 +» (ee )fand only if vanishes identically in some neighborhood of 0. The vel Known fonction ¢"2", which isnot identically zero near 0, but kas vane derivatives a 0, then shows thatthe Kernels of AeA and A> S74 donot coincide. Thus A is not Noetherian Krull's Theorem has many corollaries: CCoellery 10.18. Let A be a Noetherian domain, « # (1) an tea! of 4 Then (\e" = 0. Proof. 1 + ©coniains no 2eo-visors. Coolary 10.19, Let A be a Noetherian ring, an ideal of A conti Jacobson radical and let M be a fniely-generated A-modsle. TH eiopology of Mts Hausdorff ie. (\a°M = 0. (ates Be syeny dome + cea ey meron tt an 00) See ph, Lt Mckee egy 2 re ed doh Th te ea Msn se mop oA asap! 1 hae ee (102 hy ey te ea Ws jos any ideal consid between m and cane at 8 inary ele AH) es be ae ea th re nay ecient i os clei tr erect Bs ce (48) between b-primary deals nse oetone aie ait aaa (afew m = Ws) we deduce: ry ie hy Ber tad ta Kine venice th ce ee ni tld ‘He ASSOCIATED GRADED RING Let Abea rng and aan ideal ofA, Define GM(~ 64d) = Berio” =o. ‘isin graded ring, in which the multiplications dened ftom: Far enchs, © let denote the image of x in et dae #10 be Fa i the image of x im ")e"*** check that 5,8 de ot deen cee particular representatives chosen, Simla, fH Ts an 4-module and (Mian Satin of M, dine GM) = @ MMos hich sa graded G(4)-module ia a natural way. Let Gs(M) denote Malas Proposition 10.22. Let be a Noetherian ing a eo ofA. Then 4) GAA) is Noetherian; 5) G(A) and Ga(A) are isomorphic as graded ring 1) ia finely-generated A-module ond (M) isabel of Me then G(M) i a fntely-generated graded G(A)-maie. Pra) Sine is Noeteran, i Sniey genet 90 285 A ‘beth image of min aly then GUA) = (AiO 3h SE AE ian, G(A) is Noetherian by the Hilbert basis A far w anjar* by (10.19 ii).i eee Se 12 conmuenos en Be sity Eh Gil) = "Mrs Nosberan sour Or ONE deel modes eee a ed ntact (na Memos) ei) seem ans cum Fee of as capri tthe wii cosa of ec ree cee we con poe fo the Po tea Se ons fn) ee Ben td ea Sepa ooo Fe ra fs a0 be « lonenphio of ftael gr ic ade Band let (8): (A) > GB), $: A B be the induced home Cee ered et coped ergs. Then i) Gi) injective > $ injective: i) () surjective = $ surjective. Frey, Coane comnante Sapa fat ques 0 A dges > Aldav > Alda 28 ‘Thies he eat sequence 0 Ker Gf) > Kee ayas + Ket oy > Coker Gl) -» Coker ones Coker oy 0 From tis we se, by induction on» that Ker ay = 0 (ase) oF Coker a, = 0 (ce) Manor in asi) ao ave Kes > Kern use the inven linitof the homomorphisms, and spying (10.2) the enna Mastek pong 10.) Wecan now form result which a partlconverse of (10.22 i and isthe instep in showing tha dis Noetherian. Proprtion 1024. Let A bearing, «amie of A, M on Aomodle, (M38 fltion of M. Supose that A ts complete tthe e-tpology ond that Heel nits flan topology (that (x M, = 0). Suppore as th! G0 i intel geeraedG{A)medle. Then M is a fntelraeneoel Prof. Vick «Gite set of generators of G(M), and thi L nerators and split them up int the Vamowesetcomponents ay f(t 1 < ») where has degree) mst Ihave ihe mage of ay 246 May. Let be the module 4 wit the ste ee ee Feensr Isle Pics s toners 3 ce groups, 80 6): CUP) GEM) i 4 ls gram 1 is a now the ia how oa aud A= Aton tat fai afer, Sa ty 128, Whe pies of 0025 G0) ee ie Na a ‘= Aen show tha mee a i ts ty st 2 Me en ise en te jes Sante oo oe brace ae sit Mc tranembesine Ci) nA). a en ee etd ty se Mf Heal a 7 ee 9 AF ny et Wecan now deduce the result we ae ater: Theorem 10.26, If A is Noetherian rng, © on lof 4th he anpetin d of A ts Noetherian. Prof. By (1022) we know that GAA) = GAA) is Noetherian. Now apply (1025) to the complete sing dy ting M= 4 (Gre by, and so Hausdorff), Corollary 10.27. If A is a Noetherian rin, th poet sr rg B> Se ea totes Roan ote (afield) ir Noetherian. Pref Alsn. yl is Noetherian by the Hier completion fo the sy. adic topoloey. # is tre and Bi unaises 1 Lata: pt nie the into alan Boe A we eT Ree i tant ett Son ae eats of fy ho eae oe oi of 20, an 8 ae on A Cee yon wnt ees mt oy ah ‘hat padie completion is not right-xact Foster ale— ing coumeions ttn n= 17 Fl cme ne Sow at in ot gh aah compte in A Aen Q,Ker(tr—>ato, tre roe el cna als contsning ‘beat M1 = 0 = sup 009 ¥0) ti ene should hak of MY a the “Taylor expansion” of A anseral Ton ce yt the above rev then shows that AF 1 termined ‘isberood of M6) by i Taylor expansion] 2 Gonspeecy, 4: Let Abe a Noctian ing a0 idea in 4, and the eal completion. Foe ye dst beth age fia Stow that -xnotazeodviorin A = £ ot azero-visor ind ect is ipl tat Ais anneal domsin = 4's an nepal domain? {sly he exces of completion to the sequence 0+ AS A] 4. Lat Ate a Nosthera ng ad et, be ideas in A. ICs any Anode ‘Me MS dente is wade and bac completions respectively. IM i fits zeae, prove that (MS [Take the wade completion othe exact seauense 0M + aroeM 0 tnd apply (101). Then wi the womorpit lim im aera + 00) tim ators + 640) tale nnn + 9H S$ HG ON Lede Nostra 4. Prove at atin eke ada 4 and on toy mil a of cl sie (Nap ina ete ‘ie vata cicts coo Ba _ inoeatoiti) ext conpce) Lt Aes Nene ne teas ant 4 an di nati comin. i fitter dame Sar otc ase oie jane Fintan ASHE oy 4 cv Mtinjctve fr ty pnt 4 sow we 019) 200 EXC 6 ras oe pon ay of he tn Ce a ie ac innate eerste werekenata fogand Cream, rove tat B's dat (Ux Caney tai faecne 7 above} so Sn eg mt rants mmc ano ete tomit 3) ¢ALs] kt lie ence ae se ents fei (2) is monk of depee nad tee nat Sone poms #0 ope (Ami) oes wn ak ey rer tj ke tak cant a fay eros one ta ee am mr wemrae! 060 Atel SE Ce er a caat Tes ora ee ae Hn ind afah Oh x topes C1 =n rege mn Eatin, mer Pk oy emer ta epee See en ot ten tte eres BEA any eb vou) HO) 1. Wit the notation of Exercie 8, dese fom Hens km tat i) fas a simple r00t we Am, then Cx) Bas asl rot we ds a ‘mod {ip Show that 2 is «square inthe eng of 7a, ai) Latex abe Rs, where is a Hl and asune tat 1,7) sy = fa snple root Prove tht here exits «formal power ss 79 = ‘Berea suc that f(s, 909) (nis ges the “analyte brane i the cure f~ O trough te alt 8) 1, Sow thatthe converse of (1026) fae, even if we asm ht Ais an that dea intl generated. Aodule a [Make to be the ing of secs of = fusions of ax = 0a alt Theorem that every power series occurs asthe Taylor expan of function | RAC Ais Noetherian, then Atel nay Bot Ate, EO val asa compostion of fat exesionut Dimension Theory ‘on te bs nto in lebralegeomety tht of he dinesin a fh ay rl ntin, ad, 88 We Shall show nts ape kt, Ta ty thy of dinesion for grea! Nota pe th erent ule of thee erent dis i of hs elton have a fairy obvious geomet! come inet gvlving be Hilbert enetion is ss conceptual. Ithas, howe, aa rea adanees a he whole theory becomes more steaine oe ings in stan ey tg Ate desing with dimension we give a bref account of regula as ig, sich corapon! to the notion ofnonsngulaety in algebraic yeomety. We ‘Dats te equates of thre detains of regulary. ily we nate bow, in the case of algebraic varieties over a fl the Joc dines we ave defined coincide with the transcendence dare oh fama el. mugeRr FUNCTIONS Let = Bina As bea Noetherian graded ring. By (1.7) doi &Nocteras fing and isnt (sn Aralgchra) by 39a» which we mn ake 10 be bomipteus of depres.» fy (ll > 0. Let M bea finely generated praded A-module. Then Mis gneraedby2 fae numberof homogeneous cements, say m,(1-< J = 1); ltr ~ 65%, Ens dene’ of My the homogeneous component of M of epee mths eta 3am wh ed bnogecns of degen serif n'< It follows tat Nf fitely generated 8 30 de ‘dee une is pnratd by all), where gs) 4 mono Sie By all fs) where gd) 7 be an adie fnton (with values in) onthe clas of al Sit Fine was Ariodules (Chapter 2). The Poincaré series of M (with resret ©) hg ction of 0) et the pone srs PK) = Sarge eziw. ne Md (ESE). POM 1) rai fe Af fem ree oye eh On 085 the umber of ert t re, 2 c= Slory > Gotan PEt hice Me Ula hy ao A Sa cyanate, ener TE mame ry oe nM a. 0 Ke Me Mast + Lave, 0 ® = Geko, L= Gils: then an bob Rtpgemaet = Nm aod La qulent modes erat ee Tp bance Mey APE Aly %-tP module Apjig Is ae oa dn MK) — MM) + MMos) = Moyea) = 05 Gomer anc ercbtm oe I te pt Rl) a eal Sts na Tena = nie dont rr yee a= ean ra 2 cee. pve my se = dank) #8 Sao = Bi aS Es (atn-bl) oe n> sun = Sa (ET) ate tad the sum onthe righthand side is «polo it# ih id Soe i (a is nite FO Aenea 1) Fra pam) 1b sh at ES eaters is i nary fort ave ie SSBCayo THEORY van 11.28 lye the HIB Stony, me ode eso» une rep 0 ee cite ata, an = Bo me =m ween show aa) = 40-1 me ne pot pale Ce 1) in the case where Ay is an Artin ring (in part eee ah Ph Rl eee, Bhi eae oe i A ae tomo fi coor tM then ais) = Bete a te un ("")') of t,t nage" We aw cone he iter food rom ein neat ye sigs tm Chap 10. Powe IA Lt 4b Nothin ri, 1 mine Pe erat fucrtomretel hmthte (Mt) «abe = Bion of. Ten D Mai effte gh occ > 0 oc indy rg ts eg a ayn) of dee < + etl Tesla amr of rereserer i heen gwen of x) pnd nly on M ad, oe * of (n) depe Pre et Gd) = Bee", GM) ~ Qa ann G4) = 40 8 8 Ae el gy any) i forte yak GUbmodue (1022) Each O02) = Mens & Nec om sna by gence a Nocbntan Anal. tho tg me Artes ia ve 4, = 10seg = 310, 60, © i) My 25 pnt 9 th ay . 4 the images of the x a lo? generate 4) Algal, ua cach has degre |. Hence by (1.2) we hve al Ma) = Jia)‘, where 0) ix polynomial in m of degree < — 3 forall are” ont) we ba as = a an Yor Te Gi ante sale on oad yee to eats ave ound ese eg te see oh #0 + 0) 2, oe yd He eave ites AOE) = 100 ete Benge tonal (0) COrEPoRSN ote Sk me een (6 dy a $00, ons ta (ptm 6) a aan neemes AG) = NOM) oe atten, car = As we title) for x40) and al tthe hrc se riny ie Techies (14) gee mi ‘Conlry 15. For ll lrze th nth (AIS) i pon Grace < i where ithe es mnber of emo ofa en SO “The poyoomials fn for dierent coe of he iar le ah the bin egen asthe nex proposition shows: : Proposion 11.8, If A. 89 4re a aboe eg at) ~ des of, Weave m2 9 2 fOr some rby (718, bese w 2 2 wan terre ae) fe) le o al Now tn 2, remembering that thes are polynomial in The common degre of the a(n) wl be dnote ty dA ia vw of (112) tis mean ware putting. (A) = 4(Ga(4) whee (Gal) is eae (doc ear asthe pleat ~ 1 of the bert acon of Gl DIMENSION THEORY OF NOETHERIAN LOCAL RINGS Let Abe a Noetherian loca rng, its axial a TeCs() = lens number of generators ofan evisu uramiien i teprove tat A) = aa) = di 4. West tl roving (4) > a) > dim A > H(A). (15) and (1.8) Ast ink inthis hain Propston 11.7. A) > dA). a Next we sal prove the analogs or al ng (12, Ne tah song version othe ret ea (ot ut it q— opens THY . a bear hore, Let M be afte serrated oe Mand Mi= Mist Then Tira xa 4 ano east < dest - | “3 “Amodaes byWite of he asamp aM then M8 vs on Pe Lt Ten we ae ea ON se = 1H DE foto +80 ~ 0 fear ces at) ad) Bee ae ng Siem © ay he Nork ean, onset Gaye rol Outen « Wea aw per hcl el Pov it, 40) > id ae yd = 0h He eam Bi howe = 9 Nake en Wh he dum saa cis dm 40 tee abc tote mae ofa 4. To Fe Ea i sot, hey G19 we hve a(a'fee)) < a4) = 1. At mail ed ma omomorpiimago A, Merten ler) od eon fs) ace). Gono AAI) < HA) = Ve d= 1, Hes te nacn Iypot nt of any cin f rime en Miami oy 4 os a ie Si, be ried) and commqeny red Ho toh Beetles «< ory HAs Nena gi ini. ® IFA is any rng, » a prime ideal in A, then the height of p is defined to be the + of prime ideals be
1).
SPU Myo a iil
of Cons¥e i 8 sch way
eaten os a) at heht> foreach Sep
ce, "Le py (1