Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)Chỉ số khả tổng trong phạm trù môđun artin trên vành giao hoán (tt)
✣❸■ ❍➴❈ ❚❍⑩■ ◆●❯❨➊◆ ❚❘×❮◆● ✣❸■ ❍➴❈ ❑❍❖❆ ❍➴❈ ❇⑩❖ ❈⑩❖ ❚➶▼ ❚➁❚ ✣➋ ❚⑨■ ❑❍❖❆ ❍➴❈ ❱⑨ ❈➷◆● ◆●❍➏ ❈❻P ✣❸■ ❍ ❈❍➓ ❙➮ ❑❍❷ ❚✃◆● ❚❘❖◆● P❍❸▼ ❚❘Ò ▼➷✣❯◆ ❆❘❚■◆ ❚❘➊◆ ❱⑨◆❍ ●■❆❖ ❍❖⑩◆ ▼➣ sè✿ ✣❍✷✵✶✺✲❚◆✵✻✲✵✷ ❈❤õ ♥❤✐➺♠ ✤➲ t➔✐✿ ❚❤❙✳ ◆❈❙✳ ❚r➛♥ ✣ù❝ ❉ô♥❣ ❚❤→✐ ◆❣✉②➯♥✱ ✸✴✷✵✶✽ ✣❸■ ❍➴❈ ❚❍⑩■ ◆●❯❨➊◆ ❚❘×❮◆● ✣❸■ ❍➴❈ ❑❍❖❆ ❍➴❈ ❇⑩❖ ❈⑩❖ ❚➶▼ ❚➁❚ ✣➋ ❚⑨■ ❑❍❖❆ ❍➴❈ ❱⑨ ❈➷◆● ◆●❍➏ ❈❻P ✣❸■ ❍ ❈❍➓ ❙➮ ❑❍❷ ❚✃◆● ❚❘❖◆● P❍❸▼ ❚❘Ò ▼➷✣❯◆ ❆❘❚■◆ ❚❘➊◆ ❱⑨◆❍ ●■❆❖ ❍❖⑩◆ ▼➣ sè✿ ✣❍✷✵✶✺✲❚◆✵✻✲✵✷ tờ ự tr ỵ t õ t ỵ t ◆❈❙✳ ❚r➛♥ ✣ù❝ ❉ô♥❣ ❚❤→✐ ◆❣✉②➯♥✱ ✸✴✷✵✶✽ ✐ ❉❆◆❍ ❙⑩❈❍ ◆❍Ú◆● ❚❍⑨◆❍ ❱■➊◆ ❚❍❆▼ ●■❆ ◆●❍■➊◆ ❈Ù❯ ✣➋ ❚⑨■ ❱⑨ ✣❒◆ ❱➚ P❍➮■ ❍ÑP ❈❍➑◆❍ ■✳ ❚❤➔♥❤ ✈✐➯♥ t❤ü❝ ❤✐➺♥ ✤➲ t➔✐ ❚❚ ❍å ✈➔ t➯♥ ✶ ✷ ✸ ✣ì♥ ✈à ❝ỉ♥❣ t→❝ ❱❛✐ trá ❚❤❙✳ ❚r➛♥ ✣ù❝ ❉ơ♥❣ ❑❤♦❛ ❚♦→♥ ✲ ❚✐♥✱ ❚r÷í♥❣ ✣❍❑❍ ❈❤õ ♥❤✐➺♠ ●❙✳❚❙✳ ▲➯ ❚❤❛♥❤ rữớ ữợ ỗ t P ỗ rữớ ữ ỵ ỡ ố ủ tỹ ✤ì♥ ✈à ◆ë✐ ❞✉♥❣ ♣❤è✐ ❤đ♣ ✣↕✐ ❞✐➺♥ ❱✐➺♥ ❚♦→♥ ữ ú ù ữợ ự ●❙✳ ❚❙❑❍✳ ◆❣✉②➵♥ ❍➔♥ ❧➙♠ ❑❤♦❛ ❤å❝ ✈➔ ❚ü ❈÷í♥❣ ❈ỉ♥❣ ♥❣❤➺ ❱✐➺t ◆❛♠ ✣↕✐ ❤å❝ ❙÷ P❤↕♠ ❍đ♣ t→❝ ♥❣❤✐➯♥ ❝ù✉✱ ✈✐➳t ❝❤✉♥❣ ❜➔✐ ❜→♦ ❚❙✳ ❚r➛♥ ✣é ▼✐♥❤ ❈❤➙✉ ❚❤→✐ ◆❣✉②➯♥ ✐✐ ▼ư❝ ❧ư❝ ❚❤ỉ♥❣ t✐♥ ❦➳t q✉↔ ♥❣❤✐➯♥ ❝ù✉ ✐✐✐ ■♥❢♦r♠❛t✐♦♥ ♦♥ r❡s❡❛r❝❤ r❡s✉❧ts ✈✐✐ ▼ð ✤➛✉ ✶ ❈❤❛♣t❡r ✶✳ ❑✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ✻ ❈❤❛♣t❡r ✷✳ ✣♦ t➼♥❤ ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ✼ ✷✳✶ ❑✐➸✉ ✤❛ t❤ù❝ ❞➣②✿ ✣à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ t ố trữ ỗ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵ ❈❤❛♣t❡r ✸✳ ❱➲ ❝❤➾ sè ❦❤↔ q✉② ✈➔ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ✶✸ ✸✳✶ ❈❤➾ sè ❦❤↔ q✉② ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✸ ✸✳✷ ❈❤➾ sè ❦❤↔ tê♥❣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✹ ❑➳t ❧✉➟♥ ✶✻ ✐✐✐ ✣❸■ ❍➴❈ ❚❍⑩■ ◆●❯❨➊◆ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❑❤♦❛ ❤å❝ ❚❍➷◆● ❚■◆ ❑➌❚ ◗❯❷ ◆●❍■➊◆ ❈Ù❯ ✶✳ ❚❤æ♥❣ t✐♥ ❝❤✉♥❣✿ ✲ ❚➯♥ ✤➲ t➔✐✿ ❈❤➾ sè ❦❤↔ tê♥❣ tr♦♥❣ ♣❤↕♠ trò ♠ỉ✤✉♥ ❆rt✐♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✲ ▼➣ sè✿ ✣❍✷✵✶✺✕❚◆✵✻✕✵✷ ✲ ❈❤õ ♥❤✐➺♠✿ ❚❤❙✳ ◆❈❙✳ ❚r➛♥ ✣ù❝ ❉ô♥❣ ✲ ❚ê ❝❤ù❝ ❝❤õ tr➻✿ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❑❤♦❛ ❤å❝ ✲ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥ ✲ ❚❤í✐ ❣✐❛♥ t❤ü❝ ❤✐➺♥✿ ✵✾✴✷✵✶✺ ✲ ✵✾✴✷✵✶✼✳ ✷✳ ▼ư❝ t✐➯✉✿ ✲ ●✐ỵ✐ t❤✐➺✉ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❦❤→✐ ♥✐➺♠ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ✤♦ t➼♥❤ ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ♥➔♦ ✤â ❝õ❛ M ✈➔ ✈ỵ✐ ♠ư❝ ✤➼❝❤ M ✳ ❈❤ó♥❣ tỉ✐ ♥❣❤✐➯♥ ❝ù✉ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② t❤ỉ♥❣ q✉❛ ✤à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ ①✉è♥❣✑ ❝õ❛ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❣✐ú❛ M M/xM m✲❛❞✐❝✱ ✈ỵ✐ x t➼♥❤ ❝❤➜t ✏❧➯♥ ✕ ❧➔ ♣❤➛♥ tû t❤❛♠ sè M r ợ tt R tữỡ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✱ ❝❤ó♥❣ tỉ✐ ♠✐➯✉ t↔ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ❦❤✉②➳t t❤✐➳✉ ❝õ❛ M t❤æ♥❣ q✉❛ ❝→❝ ♠æ✤✉♥ M✳ ✲ ❈❤ù♥❣ ♠✐♥❤ ❦➳t q✉↔ ✈➲ sü ❜➜t ❜✐➳♥ ❝õ❛ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❝õ❛ ♠æ✤✉♥ ❈♦❤❡♥✕▼❛❝❛✉❧❛②✳ ✲ ❳➙② ❞ü♥❣ ✤à♥❤ ♥❣❤➽❛ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ t➼♥❤ ❝❤➜t ✈➲ ❦❤→✐ ♥✐➺♠ ♥➔②✳ ✲ ◆➙♥❣ ❝❛♦ ♥➠♥❣ ❧ü❝ ♥❣❤✐➯♥ ❝ù✉ ❝❤♦ ❝→♥ ❜ë ❣✐↔♥❣ ❞↕② ✣↕✐ sè ✈➔ ỵ tt số t Pử ❤✐➺✉ q✉↔ ❝❤♦ ✈✐➺❝ t❤ü❝ ❤✐➺♥ ❧✉➟♥ →♥ ❚✐➳♥ s➽ ❝õ❛ ❝❤õ ♥❤✐➺♠ ✤➲ t➔✐❀ ▼ð rë♥❣ ❤ñ♣ t→❝ ♥❣❤✐➯♥ ❝ù✉ ❦❤♦❛ ❤å❝ ❣✐ú❛ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥ ✈ỵ✐ ❝→❝ ỡ s tr ữợ ♠ỵ✐✱ t➼♥❤ s→♥❣ t↕♦✿ ✲ ❑✐➸✉ ✤❛ t❤ù❝ ❧➔ ❦❤→✐ ữủ ỹ ữớ ợ t ✤➸ ✤♦ t➼♥❤ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❝õ❛ ♠æ✤✉♥✳ ❚r♦♥❣ ✤â✱ ❦✐➸✉ ✤❛ t❤ù❝ ✤÷đ❝ ♥❣❤✐➯♥ ❝ù✉ t❤ỉ♥❣ q✉❛ ✤à❛ ♣❤÷ì♥❣ ❤â❛✱ ✤➛② ✤õ m✲❛❞✐❝✳ ❚r♦♥❣ ✤➲ t➔✐ ♥➔②✱ ❝❤ó♥❣ tỉ✐ ✤➣ ❣✐ỵ✐ t❤✐➺✉ ♠ët ❦❤→✐ ♥✐➺♠ ♠ỵ✐ ❧➔ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ✤➸ ✤♦ t➼♥❤ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ♠ỉ✤✉♥✳ ◆❣♦➔✐ r❛✱ ❝❤ó♥❣ tæ✐ ✤➣ ♥❣❤✐➯♥ ❝ù✉ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② t❤æ♥❣ q✉❛ ✤à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ ①✉è♥❣✑ ❝õ❛ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❣✐ú❛ ♥➔♦ ✤â ❝õ❛ M✳ M ✈➔ ▼➦t ❦❤→❝✱ ✈ỵ✐ ❣✐↔ t❤✐➳t M/xM R m✲❛❞✐❝✱ ✈ỵ✐ x ❧➔ ♣❤➛♥ tû t❤❛♠ sè ❧➔ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✱ ❝❤ó♥❣ tỉ✐ ♠✐➯✉ t↔ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠æ✤✉♥ ❦❤✉②➳t t❤✐➳✉ ❝õ❛ t➼♥❤ ❝❤➜t ✏❧➯♥ ✕ M t❤æ♥❣ q✉❛ ❝→❝ M✳ ✲ ❑➳t q✉↔ ✈➲ sü ❜➜t ❜✐➳♥ ❝õ❛ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❝õ❛ tr➯♥ ✈➔♥❤ ❈♦❤❡♥✕▼❛❝❛✉❧❛② ✤➣ ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤ ❜ð✐ ◆✳●✳ ◆♦rt❤❝♦tt✳ ❚r♦♥❣ ✤➲ t➔✐ ♥➔②✱ ❝❤ó♥❣ tỉ✐ ♠ð rë♥❣ ❦➳t q✉↔ ♥➔② ❝❤♦ ♠æ✤✉♥✳ ✲ ✣➣ ❝â ♥❤✐➲✉ ♥❣❤✐➯♥ ❝ù✉ ❝õ❛ ❝→❝ ♥❤➔ t♦→♥ ❤å❝ tr➯♥ t❤➳ ❣✐ỵ✐ ✈➲ ❝❤➾ sè ❦❤↔ q✉②✳ ❚r♦♥❣ ✤➲ t➔✐ ♥➔②✱ ❝❤ó♥❣ tỉ✐ ❣✐ỵ✐ t❤✐➺✉ ♠ët ❦❤→✐ ♥✐➺♠ ♠ỵ✐ ❧➔ ❝❤➾ sè ❦❤↔ tê♥❣ ✤è✐ ✈ỵ✐ ♠ỉ✤✉♥ ❆rt✐♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✈➔ ♠ët sè ❝→❝ t➼♥❤ ❝❤➜t ❧✐➯♥ q✉❛♥✳ ✹✳ ❑➳t q✉↔ ♥❣❤✐➯♥ ❝ù✉✿ ❈❤♦ (R, m) ❧➔ ♠ët ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✤à❛ ♣❤÷ì♥❣ ◆♦❡t❤❡r✱ M R✲♠æ✤✉♥ ❧➔ ♠ët ❤ú✉ ❤↕♥ s✐♥❤✳ ❈→❝ ❦➳t q t ữủ t ỹ ✤à♥❤ ♥❣❤➽❛ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠æ✤✉♥ M✱ ❦➼ ❤✐➺✉ ❧➔ sp(M )✳ • ◆➳✉ R r❛ ❦❤✐ ❧➔ ❝❛t❡♥❛r② t❤➻ R sp(M ) ≥ dim(nSCM(M ))✳ ❧➔ ❝❛t❡♥❛r② tợ tự ❈❤♦ ❉➜✉ ❜➡♥❣ ①↔② p ∈ Supp M ✈➔ R ❧➔ ❝❛t❡♥❛r②✳ R ❧➔ ❈♦✲ ✈ dim(R/p) ≥ sp(M ) ✭✐✮ ◆➳✉ t❤➻ Mp ❧➔ Rp ✲♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣②✳ ✭✐✐✮ ◆➳✉ dim(R/p) ≤ sp(M ) t❤➻ sp(Mp ) ≤ sp(M ) − dim(R/p)✳ • sp(M ) ≤ sp(M )✳ ❉➜✉ ❜➡♥❣ ①↔② r❛ ❦❤✐ R/p ❧➔ ✉♥♠✐①❡❞ ✈ỵ✐ ♠å✐ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t • p ❝õ❛ M✳ ●✐↔ sû sp(M ) > ✈➔ x ∈ m ❧➔ f ✕❞➣② ❝❤➦t ❝õ❛ Di−1 /Di ✈ỵ✐ ♠å✐ i ≤ t✳ ❑❤✐ ✤â sp(M/xM ) ≤ sp(M ) − 1✳ ❉➜✉ ❜➡♥❣ ①↔② r❛ ❦❤✐ R ❧➔ ❝❛t❡♥❛r② ♣❤ê ❞ö♥❣ ✈➔ tợ tự R t♦→♥ • ❈❤ù♥❣ ♠✐♥❤ t➼♥❤ ❜➜t ❜✐➳♥ ❝õ❛ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❝õ❛ sp(M ) t❤æ♥❣ q ổ t t M ổ ữ r❛ ✤à♥❤ ♥❣❤➽❛ ✈➲ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ♠ët sè t➼♥❤ ❝❤➜t ❧✐➯♥ q✉❛♥ ✤➳♥ ❦❤→✐ ♥✐➺♠ ♥➔②✳ ✺✳ ❙↔♥ ♣❤➞♠✿ ✺✳✶✳ ❙↔♥ ♣❤➞♠ ❦❤♦❛ ❤å❝✿ ✲ ❳✉➜t ❜↔♥ ✶ ❜➔✐ ❜→♦ t❤✉ë❝ ❞❛♥❤ ♠ư❝ ❙❈■✳ • ▲❡ ❚❤❛♥❤ ◆❤❛♥✱ ❚r❛♥ ❉✉❝ ❉✉♥❣✱ ❚r❛♥ ❉♦ ▼✐♥❤ ❈❤❛✉ ✭✷✵✶✻✮✱ ✧❆ ♠❡❛s✉r❡ ♦❢ ♥♦♥✲s❡q✉❡♥t✐❛❧ ❈♦❤❡♥✲▼❛❝❛✉❧❛②♥❡ss ♦❢ ❢✐♥✐t❡❧② ❣❡♥❡r❛t❡❞ ♠♦❞✉❧❡s✧✱ ❏✳ ❆❧❣❡❜r❛✱ ✹✻✽✱ ♣♣✳ ✷✼✺✲✷✾✺✳ ✲ ❳✉➜t tr ữợ r ự ụ ✭✷✵✶✺✮✱ ✧❖♥ t❤❡ ✐♥✈❛r✐❛♥t ♦❢ t❤❡ ✐♥❞❡① ♦❢ r❡❞✉❝✐❜✐❧✐t② ❢♦r ♣❛r❛♠❡t❡r ✐❞❡❛❧s ♦❢ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ♠♦❞✉❧❡s✑✱ ❚↕♣ ❝❤➼ ❑❤♦❛ ❤å❝ ✈➔ ❈æ♥❣ ♥❣❤➺ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥✱ ✶✹✼✭✵✷✮✱ ♣♣✳ ✶✾✾✕✷✵✷✳ ✺✳✷✳ ❙↔♥ ♣❤➞♠ ✤➔♦ t↕♦✿ ✲ ❈â ✵✶ ❑▲❚◆ ✣↕✐ ❤å❝ ✤➣ ♥❣❤✐➺♠ t❤✉✳ ✈✐ • ◆❣✉②➵♥ ❇→ ▲♦♥❣ ✭✷✵✶✼✮✱ ▼ët sè t➼♥❤ ❝❤➜t ❝õ❛ ♥û❛ ♥❤â♠ sè✱ ❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣✱ ❚r÷í♥❣ ✣↕✐ ❤å❝ ❑❤♦❛ ❤å❝ ✲ ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥✳ ✻✳ P❤÷ì♥❣ t❤ù❝ ❝❤✉②➸♥ ❣✐❛♦✱ ✤à❛ ❝❤➾ ù♥❣ ❞ư♥❣✱ t→❝ ✤ë♥❣ ✈➔ ❧ñ✐ ➼❝❤ ♠❛♥❣ ❧↕✐ ❝õ❛ ❦➳t q✉↔ ♥❣❤✐➯♥ ❝ù✉✿ ✲ ❈→❝ ❜➔✐ ❜→♦ ❦❤♦❛ ❤å❝ ❧➔ s↔♥ ♣❤➞♠ ♥❣❤✐➯♥ ❝ù✉ ❝õ❛ ✤➲ t➔✐ ✤÷đ❝ ①✉➜t ❜↔♥ tr➯♥ t tr ữợ ữủ tợ t❤ỉ♥❣ q✉❛ t❤÷ ✈✐➺♥ tr✉②➲♥ t❤è♥❣ ✈➔ t❤÷ ✈✐➺♥ ✤✐➺♥ tû✳ ❈→❝ ❜➔✐ ❜→♦ ✤â ❧➔ t✐➲♥ ✤➲ ♥❣❤✐➯♥ ❝ù✉ t✐➳♣ t❤❡♦ ❝❤♦ ❝→❝ ♥❤➔ t♦→♥ ❤å❝ ♥❣❤✐➯♥ ❝ù✉ ✈➲ số ỵ tt số t q ❝õ❛ ✤➲ t➔✐ ❝ô♥❣ ❧➔ t➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦ ❝❤♦ s✐♥❤ ✈✐➯♥✱ ❤å❝ ✈✐➯♥ ❝❛♦ ❤å❝✱ ❣✐↔♥❣ ✈✐➯♥✱ ♥❣❤✐➯♥ ❝ù✉ s✐♥❤ ✈➔ ❝→❝ ♥❤➔ t♦→♥ ❤å❝ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ✣↕✐ số ỵ tt số t ự tr ỵ t õ t ỵ t➯♥ ✮ ✭ ❚❤❙✳ ◆❈❙✳ ❚r➛♥ ✣ù❝ ❉ô♥❣ ✈✐✐ ■◆❋❖❘▼❆❚■❖◆ ❖◆ ❘❊❙❊❆❘❈❍ ❘❊❙❯▲❚❙ ✶✳ ●❡♥❡r❛❧ ✐♥❢♦r♠❛t✐♦♥✿ ✲ Pr♦❥❡❝t t✐t❧❡✿ ❚❤❡ s✉♠ ✕ ✐rr❡❞✉❝✐❜✐❧✐t② ✐♥❞❡① ♦❢ ❆rt✐♥✐❛♥ ♠♦❞✉❧❡s ♦♥ ❝♦♠♠✉t❛t✐✈❡ r✐♥❣ ✲ ❈♦❞❡ ♥✉♠❜❡r✿ ✲ ❈♦♦r❞✐♥❛t♦r✿ ✣❍✷✵✶✺✕❚◆✵✻✕✵✷ ▼❙❝✳ P❤❉✳ ❙t✉❞❡♥t ❚r❛♥ ❉✉❝ ❉✉♥❣ ✲ ■♠♣❧❡♠❡♥t✐♥❣ ✐♥st✐t✉t✐♦♥✿ ✲ ❉✉r❛t✐♦♥✿ ❚◆❯ ✲ ❯♥✐✈❡rs✐t② ♦❢ ❙❝✐❡♥❝❡s ✵✾✴✷✵✶✺ ✲ ✾✴✷✵✶✼✳ ✷✳ ❖❜❥❡❝t✐✈❡✭s✮✿ ✲ ❲❡ ✐♥tr♦❞✉❝❡ t❤❡ ♥♦t✐♦♥ ♦❢ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ ♦❢ ❞❡♥♦t❡❞ ❜② sp(M )✱ ✐♥ ♦r❞❡r t♦ ♠❡❛s✉r❡ ❤♦✇ ❢❛r M M✱ ✇❤✐❝❤ ✐s ✐s ❞✐❢❢❡r❡♥t ❢r♦♠ t❤❡ s❡q✉❡♥t✐❛❧ ❈♦❤❡♥✲▼❛❝❛✉❧❛②♥❡ss✳ ❲❡ st✉❞② t❤❡ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ ✉♥❞❡r ❧♦❝❛❧✐③❛t✐♦♥ ❛♥❞ m✲❛❞✐❝ ❝♦♠♣❧❡t✐♦♥✳ ❲❡ ✐♥✈❡st✐❣❛t❡ ❛♥ ❛s❝❡♥t ✕ ❞❡✲ s❝❡♥t ♣r♦♣❡rt② ♦❢ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ ❜❡t✇❡❡♥ ❝❡rt❛✐♥ ♣❛r❛♠❡t❡r M ❛♥❞ M/xM ❢♦r x ♦❢ M ✳ ▼♦r❡♦✈❡r✱ ✇❤❡♥ R ✐s ❛ q✉♦t✐❡♥t ♦❢ ❛ ●♦r❡♥st❡✐♥ ❧♦❝❛❧ r✐♥❣✱ ✇❡ ❞❡s❝r✐❜❡ sp(M ) ✐♥ t❡r♠ ♦❢ t❤❡ ❞❡❢✐❝✐❡♥❝② ♠♦❞✉❧❡ ♦❢ M✳ ✲ Pr♦✈❡ r❡s✉❧t ❛❜♦✉t t❤❡ ✐♥✈❛r✐❛♥t ♦❢ t❤❡ ✐♥❞❡① ♦❢ r❡❞✉❝✐❜✐❧✐t② ♦❢ ♣❛r❛♠❡t❡r ✐❞❡❛❧s ♦❢ ❈♦❤❡♥ ✕ ▼❛❝❛✉❧❛② ♠♦❞✉❧❡s✳ ✲ ❲❡ ✐♥tr♦❞✉❝❡ t❤❡ ♥♦t✐♦♥ ♦❢ t❤❡ s✉♠ ✕ ✐rr❡❞✉❝✐❜❧✐t② ✐♥❞❡① ♦❢ ❆rt✐♥✐❛♥ ♠♦❞✉❧❡s ❛♥❞ ❛♣♣❧✐❝❛t✐♦♥s ❛♥❞ ✇❡ st✉❞② s♦♠❡ ♣r♦♣♦s✐t✐♦♥ ♦❢ t❤✐s ♥♦t✐♦♥✳ ✲ ❉❡✈❡❧♦♣ ❛❜✐❧✐t② r❡s❡❛r❝❤ ♦❢ ❛❧❣❡❜r❛✐❝ ❛♥❞ ❛r✐t❤♠❡t✐❝ t❡❛❝❤❡rs ♦❢ ❚❤❛✐ ◆❣✉②❡♥ ❯♥✐✈❡rs✐t② ♦❢ ❙❝✐❡♥❝❡s❀ ❛tt❡♥❞ ❡❢❢✐❝✐❡♥t❧② ✉♣ t♦ ❝♦♦r❞✐♥❛t♦r✬s t❤❡s✐s❀ ❡①t❡♥❞ s❝✐❡♥t✐❢✐❝ ❝♦♦♣❡r❛t✐♦♥ ❜❡t✇❡❡♥ ❚❤❛✐ ◆❣✉②❡♥ ❯♥✐✈❡rs✐t② ❛♥❞ ♦t❤❡rs❀ s❡r✈❡ t♦ ❣r❛❞✉❛t❡ ♣r♦❣r❛♠ ✐♥ tr❛✐♥✐♥❣ ❛♥❞ r❡s❡❛r❝❤ ♦❢ ❚❤❛✐ ◆❣✉②❡♥ ❯♥✐✲ ✈❡rs✐t②✳ ✸✳ ❈r❡❛t✐✈❡♥❡ss ❛♥❞ ✐♥♥♦✈❛t✐✈❡♥❡ss✿ ✈✐✐✐ ✲ P♦❧②♥♦♠✐❛❧ t②♣❡ ✐s ❛ ❝♦♥❝❡♣t ✐♥tr♦❞✉❝❡❞ ❜② Pr♦❢❡ss♦r ◆❣✉②❡♥ ❚✉ ❈✉♦♥❣ ✐♥ ✶✾✾✷ t♦ ♠❡❛s✉r❡ t❤❡ ❈♦❤❡♥✲▼❛❝❛✉❧❛②♥❡ss ♦❢ ♠♦❞✉❧❡s✳ ■♥ ✐t✱ t❤❡ ♣♦❧②✲ ♥♦♠✐❛❧ t②♣❡ ✐s st✉❞✐❡❞ t❤r♦✉❣❤ ❧♦❝❛❧✐③❛t✐♦♥✱ m ✲ ❛❞✐❝ ❝♦♠♣❧❡t✐♦♥✳ ■♥ t❤✐s ❛rt✐❝❧❡✱ ✇❡ ❤❛✈❡ ✐♥tr♦❞✉❝❡❞ ❛ ♥❡✇ ❝♦♥❝❡♣t t❤❛t ✐s s❡q✉❡♥t✐❛❧ ♣♦❧♦②♥♦♠✐❛❧ t②♣❡ t♦ ♠❡❛s✉r❡ t❤❡ ❈♦❤❡♥✲▼❛❝❛✉❧❛②♥❡ss ♦❢ ♠♦❞✉❧❡s✳ ■♥ ❛❞❞✐t✐♦♥✱ ✇❡ ❤❛✈❡ st✉❞✐❡❞ t❤❡ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ t❤r♦✉❣❤ ❧♦❝❛❧✐③❛t✐♦♥ ❛♥❞ m ✲ ❛❞✐❝ ❝♦♠♣❧❡t✐♦♥✱ t❤❡ ❛s❝❡♥t✲❞❡s❝❡♥t t❤❡♦r❡♠ ♦❢ t❤❡ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ ❜❡t✇❡❡♥ M ❤❛♥❞✱ ✐❢ R ❛♥❞ M/xM ❢♦r x ✐s ❛ ♣❛r❛♠❡t❡r ❡❧❡♠❡♥t ♦❢ M✳ ❖♥ t❤❡ ♦t❤❡r ✐s t❤❡ ❧♦❝❛❧ ●♦r❡♥st❡✐♥ r✐♥❣✱ ✇❡ ❞❡s❝r✐❜❡ t❤❡ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦✲ ♠✐❛❧ t②♣❡ ♦❢ M ✐♥ t❡r♠ ♦❢ t❤❡ ❞❡❢✐❝✐❡♥❝② ♠♦❞✉❧❡ ♦❢ M✳ ✲ ❚❤❡ r❡s✉❧t ♦❢ ✐♥✈❛r✐❛♥t ♦❢ t❤❡ ✐♥❞❡① ♦❢ r❡❞✉❝✐❜✐❧✐t② ♦❢ ♣❛r❛♠❡t❡r ✐❞❡❛❧s ♦❢ ❈♦❤❡♥✕▼❛❝❛✉❧❛② r✐♥❣ ❤❛s ❜❡❡♥ ♣r♦✈❡❞ ❜② ◆✳●✳ ◆♦rt❤❝♦tt✳ ■♥ t❤✐s t♦♣✐❝✱ ✇❡ ❡①t❡♥❞ t❤✐s r❡s✉❧t t♦ t❤❡ ♠♦❞✉❧❡✳ ✲ ❚❤❡r❡ ❤❛✈❡ ❜❡❡♥ ♠❛♥② st✉❞✐❡s ♦❢ ♠❛t❤❡♠❛t✐❝✐❛♥s ❛r♦✉♥❞ t❤❡ ✇♦r❧❞ ♦♥ t❤❡ ✐♥❞❡① ♦❢ r❡❞✉❝✐❜✐❧✐t②✳ ■♥ t❤✐s ❛rt✐❝❧❡✱ ✇❡ ✐♥tr♦❞✉❝❡ ❛ ♥❡✇ ❝♦♥❝❡♣t t❤❛t ✐s t❤❡ s✉♠ ✕ ✐rr❡❞✉❝✐❜❧✐t② ✐♥❞❡① ♦❢ ❆rt✐♥✐❛♥ ♠♦❞✉❧❡s ♦♥ t❤❡ ❝♦♠♠✉t❛t✐✈❡ r✐♥❣ ❛♥❞ s♦♠❡ r❡❧❛t❡❞ ♣r♦♣❡rt✐❡s✳ ✹✳ ❘❡s❡❛r❝❤ r❡s✉❧ts✿ ▲❡t (R, m) ❜❡ ❛ ◆♦❡t❤❡r✐❛♥ ❧♦❝❛❧ r✐♥❣✱ M ❜❡ ❛ ❢✐♥✐t❡❧② ❣❡♥❡r❛t❡❞ R✲♠♦❞✉❧❡✳ ❚❤❡ r❡s✉❧ts ♦❢ t❤❡ ♣r♦❥❡❝t ❛r❡✿ • ■♥tr♦❞✉❝❡❞ t❤❡ ♥♦t✐♦♥ t❤❡ s❡q✉❡♥t✐❛❧ ♣♦❧②♥♦♠✐❛❧ t②♣❡ ♦❢ ❜② • ■❢ M✱ ❞❡♥♦t❡❞ sp(M )✳ R ✐s ❝❛t❡♥❛r② t❤❡♥ tr✉❡ ✇❤❡♥ R sp(M ) ≥ dim(nSCM(M ))✳ ❚❤❡ ❡q✉❛❧✐t② ❤♦❧❞s ✐s ✉♥✐✈❡rs❛❧❧② ❝❛t❡♥❛r② ❛♥❞ ❛❧❧ ❢♦r♠❛❧ ❢✐❜❡rs ♦❢ R ❛r❡ ❈♦❤❡♥✕▼❛❝❛✉❧❛②✳ • ▲❡t p ∈ Supp M ✭✐✮ ■❢ ❛♥❞ R ✐s ❝❛t❡♥❛r②✳ dim(R/p) ≥ sp(M ) t❤❡♥ Mp ✐s s❡q✉❡♥t✐❛❧❧② ❈♦❤❡♥✲▼❛❝❛✉❧❛② ✷ ▼æ✤✉♥ M ❣å✐ ❧➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ✭♠ỉ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② rë♥❣ ❞➣②✮ ♥➳✉ ♠ỉ✤✉♥ t❤÷ì♥❣ Di−1/Di ▼❛❝❛✉❧❛② s✉② rë♥❣✮ ✈ỵ✐ ♠å✐ ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ✭❈♦❤❡♥✲ i = 1, , t ữớ ợ t ❜➜t ❜✐➳♥ p(M ) ❝õ❛ M ✱ ❣å✐ ❧➔ ❦✐➸✉ ✤❛ t❤ù❝ ❝õ❛ M ✱ ♥❤➡♠ ♠ö❝ ✤➼❝❤ ✤♦ t➼♥❤ ổ M t q ữợ ❝õ❛ ✤❛ t❤ù❝ ❦❤æ♥❣ ❧➔ p(M ) = −1 ✈➔ ❝❤➾ ❦❤✐ ✈➔ M −1 t❤➻ M ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❦❤✐ p(M ) ≤ 0✳ ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② rë♥❣ ♥➳✉ ❄ ❚ê♥❣ q✉→t✱ t❤❡♦ ❬ ❪✱ p(M ) = maxj sp(M ) ❝❤ó♥❣ tỉ✐ ❝❤ù♥❣ ♠✐♥❤ ✤÷đ❝ ♥➳✉ Mp ✤➸ ♥❣❤✐➯♥ ự ự tự ữợ t ữỡ õ ợ tt p SuppR (M ) M M ✈➔ ❞➜✉ ❜➡♥❣ ①↔② ❧➔ ✉♥♠✐①❡❞✳ ◆➳✉ ♥❤÷ ❜ä ❣✐↔ sp(M ) ❝â t❤➸ r➜t ♥❤ä tr♦♥❣ ❦❤✐ sp(M ) ❧ỵ♥ ❜➜t ❦ý✳ ❱ỵ✐ x ❧➔ ♠ët ♣❤➛♥ tû t❤❛♠ sè✱ ❝❤ó♥❣ tỉ✐ ❝❤ù♥❣ ♠✐♥❤ ✤÷đ❝ t➼♥❤ ❝❤➜t ✧❧➯♥✲①✉è♥❣✧ ❣✐ú❛ M ✈➔ M/xM ✳ ❑➳t q✉↔ ữỡ trữ ỗ ✤❛ t❤ù❝ ❞➣②✱ ❝ö t❤➸ ♥➳✉ K j (M ) R ❧➔ t❤÷ì♥❣ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣ ✈➔ ❧➔ ♠ỉ✤✉♥ ❦❤✉②➳t t❤✐➳✉ t❤ù tr♦♥❣ ✤â j ❝õ❛ M t❤➻ sp(M ) = max {q1 , q2 }✱ j j q1 = maxj ∈D(M / ) dim K (M )✱ q2 = maxj∈D(M ) p(K (M )) ✈➔ D(M ) = {dim(R/p) | p ∈ AssR M }✳ ✲ ❈❤ù♥❣ ♠✐♥❤ ✤÷đ❝ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❜➜t ❦ý ❝õ❛ ♠æ✤✉♥ ❈♦❤❡♥✕▼❛❝❛✉❧❛② ❝❤➼♥❤ ❧➔ ❦✐➸✉ ❝õ❛ ♠æ✤✉♥✱ tr♦♥❣ ✤â ❦✐➸✉ ❝õ❛ ❧➔ r(M )✱ ✤÷đ❝ ❝❤♦ ❜ð✐ r(M ) = dimk ExttR (k, M ) ✈ỵ✐ M✱ ❦➼ ❤✐➺✉ t = depth M ✳ ✲ ❈❤ù♥❣ ♠✐♥❤ t➼♥❤ ❜➜t ❜✐➳♥ ❝õ❛ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❝õ❛ ♠ỉ✤✉♥ ❈♦❤❡♥✕▼❛❝❛✉❧❛②✳ ✺ ✲ ✣÷❛ r❛ ✤à♥❤ ♥❣❤➽❛ ✈➲ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ♠ët sè t➼♥❤ ❝❤➜t ❧✐➯♥ q✉❛♥ ✤➳♥ ❦❤→✐ ♥✐➺♠ ♥➔②✳ ❚➯♥ ✤➲ t➔✐ ❝õ❛ ❝❤ó♥❣ tỉ✐ ❝ơ♥❣ t❤➸ ❤✐➺♥ r➡♥❣ ♠ư❝ t✐➯✉ ❝❤➼♥❤ ❜❛♥ ✤➛✉ ❧➔ ✤÷❛ r❛ ✤à♥❤ ♥❣❤➽❛ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✈➔ t❤✐➳t ❧➟♣ ❝→❝ ❦➳t q✉↔ ✈➲ ❝❤➾ sè ❦❤↔ tê♥❣ ❝❤♦ ợ ổ t ữ ợ ổ ố ✤è✐ ❇✉❝❤s❜❛✉♠✱ ✤è✐ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② rë♥❣✱✳✳✳ ❙❛✉ ♠ët t❤í✐ ❣✐❛♥ ❞➔✐ ♥❣❤✐➯♥ ❝ù✉✱ ❝❤ó♥❣ tỉ✐ ❝❤÷❛ t➻♠ ✤÷đ❝ ♥❤ú♥❣ ❦➳t q tỹ sỹ ữ ỵ ố tữủ ♥❤✐➯♥✱ s♦♥❣ s♦♥❣ ✈ỵ✐ ❝→❝ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ❝❤➾ sè ❦❤↔ tê♥❣ ❝❤♦ ♠ỉ✤✉♥ ❆rt✐♥✱ ❝❤ó♥❣ tỉ✐ ❧↕✐ t❤✉ ✈➲ ♥❤ú♥❣ ❦➳t q✉↔ r➜t tèt ✈➲ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠æ✤✉♥ ✈➔ ❝❤➾ sè ❦❤↔ q✉②✱ tr♦♥❣ ✤â ❝â ❤❛✐ ❜➔✐ ❜→♦ ✭✶ ❙❈■ ❝❤➜t ❧÷đ♥❣ ❤➔♥❣ ✤➛✉ ✈➲ số tr ữợ r❛✱ ❝❤ó♥❣ tỉ✐ ❝ơ♥❣ ✤➣ s✉❜♠✐t ♠ët ❜➔✐ ❜→♦ ð t↕♣ ❝❤➼ ❙❈■ ✉② t➼♥ ✈➲ t➼♥❤ ❝❤➦♥ ✤➲✉ ❝❤♦ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè tèt ❝õ❛ ♠ỉ✤✉♥ ❝â ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❦❤ỉ♥❣ ✈÷đt q✉→ ✶✳ ✶✳ ❚r❛♥ ❉✉❝ ❉✉♥❣✱ ▲❡ ❚❤❛♥❤ ◆❤❛♥ ✭✷✵✶✼✮✱ ✧❆ ✉♥✐❢♦r♠ ❜♦✉♥❞ ♦❢ r❡❞✉❝✐❜✐❧✲ ✐t② ✐♥❞❡① ♦❢ ❣♦♦❞ ♣❛r❛♠❡t❡r ✐❞❡❛❧s ❢♦r ❝❡rt❛✐♥ ❝❧❛ss ♦❢ ♠♦❞✉❧❡s✧✱ ♦❢ P✉r❡ ❛♥ ❆♣♣❧✐❡❞ ❆❧❣❡❜r❛✱ ❙✉❜♠✐tt❡❞✳ ❏♦✉r♥❛❧ ✻ ❈❤÷ì♥❣ ✶ ❑✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ❚r♦♥❣ ❝❤÷ì♥❣ ♥➔②✱ ❝❤ó♥❣ tỉ✐ ♥❤➢❝ ❧↕✐ ♠ët sè ❦✐➳♥ t❤ù❝ ✤➣ ❜✐➳t ✈➲ t➟♣ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❣➢♥ ❦➳t✱ ♠æ✤✉♥ ✤è✐ ỗ ữỡ ổ ổ s rë♥❣✱ ❜✐➸✉ ❞✐➵♥ t❤ù ❝➜♣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥✱ ❦✐➸✉ ✤❛ t❤ù❝ ✈➔ ❧å❝ ❝❤✐➲✉ ♥❤➡♠ t❤✉➟♥ t✐➺♥ ❝❤♦ ✈✐➺❝ t❤❡♦ ❞ã✐ ❝→❝ ❝❤÷ì♥❣ s❛✉✳ ✼ ❈❤÷ì♥❣ ✷ ✣♦ t➼♥❤ ❦❤ỉ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ♠ỉ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ❚r♦♥❣ s✉èt ❝❤÷ì♥❣ ♥➔②✱ t❛ ❧✉ỉ♥ ❣✐↔ t❤✐➳t ✈ỵ✐ ✐✤➯❛♥ ❝ü❝ ✤↕✐ ❞✉② ♥❤➜t dim M = d✳ ❝õ❛ R ❝❤ù❛ ❱ỵ✐ ♠é✐ ✐✤➯❛♥ I✳ ❑➼ ❤✐➺✉ R ✈➔ m I✱ ✈➔ M ❦➼ ❤✐➺✉ M (R, m) ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ✤à❛ ♣❤÷ì♥❣ ❧➔ ♠ët Var(I) R✲♠ỉ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ✈ỵ✐ ❧➔ t➟♣ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧➛♥ ❧÷đt ❧➔ ✤➛② ✤õ m✲❛❞✐❝ ❝õ❛ R ✈➔ M✳ ▼ët ♠ð rë♥❣ q✉❛♥ trå♥❣ ❝õ❛ ❦❤→✐ ♥✐➺♠ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❧➔ ❦❤→✐ ♥✐➺♠ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ữủ ợ t ũ ú t trữớ ❤đ♣ ✈➔♥❤ ♣❤➙♥ ❜➟❝ ✈➔ P✳ ❙❝❤❡♥③❡❧ tr♦♥❣ tr÷í♥❣ ❤đ♣ ữỡ ợ t t ❜✐➳♥ p(M ) ❝õ❛ ♠æ✤✉♥ M✱ ❦✐➸✉ ✤❛ t❤ù❝ ❝õ❛ M ✤➸ ✤♦ t➼♥❤ ❦❤ỉ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❝õ❛ M ✳ ▼ư❝ t✐➯✉ ❝õ❛ ❝❤÷ì♥❣ ♥➔② ❧➔ ✤÷❛ r❛ ❦❤→✐ ♥✐➺♠ ✈➲ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠æ✤✉♥ M ❣å✐ ❧➔ ✤➸ ✤♦ t➼♥❤ ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ M ✳ ◆❣♦➔✐ r❛✱ ❝❤ó♥❣ tỉ✐ ♥❣❤✐➯♥ ❝ù✉ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠ỉ✤✉♥ t❤ỉ♥❣ q✉❛ ✤à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ m✲❛❞✐❝✳ ❚✐➳♣ t❤❡♦✱ ❝❤ó♥❣ tỉ✐ ♥❣❤✐➯♥ ❝ù✉ ✈➲ t➼♥❤ ❝❤➜t ✧❧➯♥✲①✉è♥❣✧ ❝õ❛ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❣✐ú❛ M ✈➔ M/xM ✈ỵ✐ x ❧➔ ♣❤➛♥ tû t❤❛♠ sè ♥➔♦ ✤â ❝õ❛ ❚r♦♥❣ ♣❤➛♥ ố ữỡ ợ tt R tữỡ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✱ ❝❤ó♥❣ tỉ✐ ♠✐➯✉ t↔ ❦✐➸✉ ✤❛ t❤ù❝ ❝õ❛ ❦❤✉②➳t t❤✐➳✉ ❝õ❛ M✳ M✳ M t❤æ♥❣ q✉❛ ❝→❝ ♠ỉ✤✉♥ ✽ ✷✳✶ ❑✐➸✉ ✤❛ t❤ù❝ ❞➣②✿ ✣à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ ❈❤♦ Hm0 (M ) = Dt ⊂ ⊂ D1 ⊂ D0 = M di := dim Di ✈ỵ✐ ♠å✐ ❧➔ ❧å❝ ❝❤✐➲✉ ❝õ❛ M✱ t❛ ✤➦t i ≤ t✳ ❇➙② ❣✐í ❝❤ó♥❣ tỉ✐ s➩ ợ t ố tữủ ữỡ ợ ✤♦ t➼♥❤ ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ tr➯♥ ✈➔♥❤ ✤à❛ ♣❤÷ì♥❣✳ ✣à♥❤ ♥❣❤➽❛ ✷✳✶✳✶✳ ❑✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ M ✱ ❦➼ ❤✐➺✉ ❧➔ sp(M ) ①→❝ ✤à♥❤ ❜ð✐ sp(M ) = max{p(Di−1 /Di ) | i = 1, , t} ú ỵ r ❞➣②✳ ◆❣♦➔✐ r❛✱ sp(M ) = −1 sp(M ) ≤ s✉② rë♥❣ ❞➣②✳ ❚ê♥❣ q✉→t✱ ♠æ✤✉♥ M✳ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ sp(M ) M ❧➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② M ❧➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ✤♦ t➼♥❤ ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ ❈ư t❤➸✱ ❝❤ó♥❣ tỉ✐ ❦➼ ❤✐➺✉ nSCM(M ) ❧➔ ▼❛❝❛✉❧❛② ❞➣② ❝õ❛ M ✱ tù❝ ❧➔ nSCM(M ) := {p ∈ Spec(R) | Mp ❦❤æ♥❣ ◆❤➻♥ ❝❤✉♥❣ q✉ÿ t➼❝❤ ❦❤æ♥❣ ❈♦❤❡♥✲ ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣②} nSCM(M ) ❦❤æ♥❣ ❧➔ t õ SpecR ợ tổổ rs ữ õ ❧✉ỉ♥ ê♥ ✤à♥❤ ✈ỵ✐ ♣❤➨♣ ✤➦❝ ❜✐➺t ❤â❛✱ tù❝ ❧➔ ♥➳✉ ♥❣✉②➯♥ tè ❝õ❛ R s❛♦ ❝❤♦ q ∈ nSCM(M ) t ữủ tợ t❤ù❝ ❝õ❛ R t❤➻ q ⊂ p ❧➔ ❤❛✐ ✐✤➯❛♥ p ∈ nSCM(M )✳ ❱➻ t❤➳ t❛ ❝â nSCM(M )✳ ◆➳✉ R ❧➔ ❝❛t❡♥❛r② ♣❤ê ❞ö♥❣ ✈➔ ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛② t❤➻ ❚➼♥❤ ❝❤➜t s❛✉ ✤÷❛ r❛ ♠è✐ q✉❛♥ ❤➺ ❣✐ú❛ ❦❤ỉ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ nSCM(M ) sp(M ) ❧➔ ✤â♥❣✳ ✈➔ ❝❤✐➲✉ ❝õ❛ q✉ÿ t➼❝❤ M✳ ◆➳✉ R ❧➔ ❝❛t❡♥❛r② t❤➻ sp(M ) ≥ dim(nSCM(M ))✳ ❉➜✉ ❜➡♥❣ ①↔② r❛ ♥➳✉ R ❧➔ ❝❛t❡♥❛r② ♣❤ê ❞ư♥❣ ✈➔ ♠å✐ t❤ỵ ❤➻♥❤ t❤ù❝ ❝õ❛ R ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛②✳ ❚➼♥❤ ❝❤➜t ✷✳✶✳ ✾ r ≥ −1 ❈❤♦ ❧➔ sè ♥❣✉②➯♥✳ ❚➼♥❤ ❝❤➜t s❛✉ ❧➔ ❝æ♥❣ ❝ö q✉❛♥ trå♥❣ ✤➸ ❝❤ù♥❣ ♠✐♥❤ ❝→❝ ❦➳t q✉↔ ❝❤➼♥❤ tr♦♥❣ ❝❤÷ì♥❣ ♥➔②✳ ❚➼♥❤ ❝❤➜t ✷✳✷✳ ❈❤♦ t(r) ✈➔ D(r) ✤÷đ❝ ①→❝ ✤à♥❤ ð ❦➼ ❤✐➺✉ tr♦♥❣ ❝❤÷ì♥❣ ✶✳ ❑❤✐ õ sp(M ) r tỗ t↕✐ ❧å❝ D(r) = Nk ⊂ ⊂ N1 ⊂ N0 = M ❝→❝ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M s❛♦ ❝❤♦ dim Ni < dim Ni−1 ✈➔ p(Ni−1 /Ni ) ≤ r ợ i = 1, , k r trữớ ❤đ♣ ♥➔②✱ k = t(r) ✈➔ dim(Di/Ni) ≤ r ✈ỵ✐ ♠å✐ i ≤ t(r)✳ ◆❣♦➔✐ r❛✱ maxi≤t(r) p(Ni−1/Ni) = r ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ max {sp(M ), max dim(Di /Ni )} = r i≤t(r) ❇➙② ❣✐í ❝❤ó♥❣ tỉ✐ ♥❣❤✐➯♥ ❝ù✉ tự ữợ t ữỡ ❤â❛✳ ❈❤♦ p ∈ SuppR M ✳ ●✐↔ sû R ❧➔ ❝❛t❡♥❛r②✳ ✭✐✮ ◆➳✉ dim(R/p) > sp(M ) t❤➻ Mp ❧➔ Rp✲♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣②✳ ✭✐✐✮ ◆➳✉ dim(R/p) ≤ sp(M ) t sp(Mp) sp(M ) dim(R/p) ỵ P❤➛♥ ❝á♥ ❧↕✐ ❝õ❛ ♠ư❝ ♥➔②✱ ❝❤ó♥❣ tỉ✐ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② t❤æ♥❣ q✉❛ ✤➛② ✤õ m✲❛❞✐❝✳ ú ỵ r p(M ) = p(M ) t t ổ õ q ữ ợ (R, m) 1✳ ❉♦ ✤â ✈➔ sp(M )✳ ❧➔ ♠✐➲♥ ♥❣✉②➯♥ ◆♦❡t❤❡r ✤à❛ ♣❤÷ì♥❣ ❝❤✐➲✉ ❋❡rr❛♥❞ ✈➔ ▼✳ ❘❛②♥❛✉❞ s❛♦ ❝❤♦ ❝❤✐➲✉ sp(M ) t❤❡♦ ❜ê ✤➲ ✷✳✶✳✶✭✐✮✱ ❑❤✐ ✤â sp(R) = 1✳ R ❈❤➥♥❣ ❤↕♥✱ ①➙② ❞ü♥❣ ❜ð✐ ❉✳ ❝â ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ♥❤ó♥❣ ◆❣♦➔✐ r❛✱ R P ❧➔ ♠ỉ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣②✳ sp(R) = −1✳ ❇➙② ❣✐í✱ ❝❤ó♥❣ tỉ✐ s➩ ✤÷❛ r❛ ✤➦❝ tr÷♥❣ ❦❤✐ ♥➔♦ sp(M ) sp(M ) ỵ sp(M ) ≤ sp(M )✳ ❉➜✉ ❜➡♥❣ ①↔② r❛ ❦❤✐ R/p ❧➔ ❦❤ỉ♥❣ trë♥ ❧➝♥ ✈ỵ✐ ♠å✐ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t p ❝õ❛ M ◆➳✉ ❜ä ✤✐ t➼♥❤ ❦❤æ♥❣ trë♥ ❧➝♥ ❝õ❛ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t✱ sp(M ) sp(M ) ✈➔ ❝â t❤➸ ❦❤→❝ ♥❤❛✉✳ ❚❛ ❝â t❤➸ ①➙② ❞ü♥❣ ✤÷đ❝ ♠✐➲♥ ♥❣✉②➯♥ ◆♦❡t❤❡r✱ ✶✵ ❝❛t❡♥❛r② ♣❤ê ❞ư♥❣ s❛♦ ❝❤♦ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♥â ❧➔ ❧ỵ♥ tũ ỵ tr tự ✤õ ❧↕✐ r➜t ♥❤ä✳ ✣➸ ♠✐♥❤ ❤å❛ ✤✐➲✉ ♥➔②✱ t❛ ❝➛♥ ❜ê ✤➲ s❛✉✳ ❈❤♦ r ≥ ❧➔ sè ♥❣✉②➯♥✳ ✣➦t T = R[[x1, , xr ]] ❧➔ ✈➔♥❤ ❝❤✉é✐ ❧ô② t❤ø❛ ❤➻♥❤ t❤ù❝ r ❜✐➳♥ tr➯♥ R✳ ◆➳✉ R ❦❤æ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② t❤➻ p(T ) = p(R) + r✳ ❇ê ✤➲ ✷✳✶✳✶✳ ❱ỵ✐ ❜➜t ❦ý sè ♥❣✉②➯♥ r ≥ tỗ t tr (R , m ) ❧➔ ❝❛t❡♥❛r② ♣❤ê ❞ö♥❣ s❛♦ ❝❤♦ sp(R∗ ) = −1 ✈➔ sp(R∗ ) = r + 2✳ ❱➼ ❞ö ✷✳✶✳✶✳ t ố trữ ỗ r ♣❤➛♥ ♥➔②✱ ❝❤ó♥❣ tỉ✐ s➩ ❝❤ù♥❣ ♠✐♥❤ ❦➳t q✉↔ ✤÷đ❝ ❣å✐ ❧➔ ✧t➼♥❤ ❝❤➜t ❧➯♥✲①✉è♥❣✧ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ♠è✐ q✉❛♥ ❤➺ ❣✐ú❛ ✤â x sp(M/xM ) ✈➔ sp(M )✱ tr♦♥❣ tỷ t số trữợ õ t ❞➵ ❞➔♥❣ ❝❤ù♥❣ ♠✐♥❤ ✈➜♥ ✤➲ tr♦♥❣ tr÷í♥❣ ❤đ♣ ❈❤♦ dim Di sp(M ) ≤ ✈➔ x ❧➔ ♣❤➛♥ tû ❧å❝ ❝❤➼♥❤ q✉②✳ Hm0 (M ) = Dt ⊂ ⊂ D0 = M ✈ỵ✐ ♠å✐ ❧➔ ❧å❝ ❝❤✐➲✉ ❝õ❛ M✳ ✣➦t di := i ≤ t✳ ❈❤♦ x ❧➔ ♣❤➛♥ tû ❧å❝ ❝❤➼♥❤ q✉② ❝õ❛ M ✳ ✭✐✮ ◆➳✉ sp(M ) = −1 t❤➻ sp(M/xM ) = −1✳ ✭✐✐✮ ◆➳✉ sp(M ) ≤ t❤➻ sp(M/xM ) ≤ ú ỵ M ♥❣÷đ❝ ❝õ❛ ❜ê ✤➲ ✷✳✷✳✶ ❦❤ỉ♥❣ ✤ó♥❣ ❦➸ ❝↔ ❦❤✐ q✉②✳ ❈❤➥♥❣ ❤↕♥✱ ❝❤♦ (R, m) ❝â ❧➔ ❧➔ ♠✐➲♥ ♥❣✉②➯♥ ◆♦❡t❤❡r ✤à❛ ♣❤÷ì♥❣ ❝❤✐➲✉ ✷ ①➙② ❞ü♥❣ ❜ð✐ ▼✳ ◆❛❣❛t❛ s❛♦ ❝❤♦ ♥❤ó♥❣ ❝❤✐➲✉ ✶✳ ❈❤♦ x R ❝â ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t x ∈ m ❧➔ ♣❤➛♥ tû ❦❤→❝ 0✳ ❑❤✐ ✤â x ❧➔ R✲❝❤➼♥❤ q✉②✳ ❚❛ sp(R/xR) = −1✱ tr♦♥❣ ❦❤✐ ✤â sp(R/xR) = 1✳ ✶✶ ❑❤✐ sp(M ) > t❛ ❝â ♠è✐ q✉❛♥ ❤➺ s❛✉ ❣✐ú❛ sp(M/xM ) ✈➔ sp(M )✳ ●✐↔ sû sp(M ) > 0✳ ❈❤♦ x ∈ m ❧➔ f ✲♣❤➛♥ tû ❝❤➦t ❝õ❛ Di−1 /Di ✈ỵ✐ ♠å✐ i ≤ t✳ ❑❤✐ ✤â sp(M/xM ) ≤ sp(M ) − 1✳ ❉➜✉ ❜➡♥❣ ①↔② r❛ ❦❤✐ R ❧➔ ❝❛t❡♥❛r② ♣❤ê ❞ö♥❣ ✈➔ tợ tự ỵ sp(M/xM ) ≤ sp(M ) − ✣➥♥❣ t❤ù❝ ❝á♥ ✤ó♥❣ ♥➳✉ t❛ ❜ä ✤✐ ❣✐↔ t❤✐➳t t❤ù❝ ❝õ❛ sp(M ) R R tr ỵ õ t ổ ❝❛t❡♥❛r② ♣❤ê ❞ư♥❣ ✈➔ ♠å✐ t❤ỵ ❤➻♥❤ ❧➔ ❈♦❤❡♥✲▼❛❝❛✉❧❛②✳ ❑❤✐ ✤â✱ sp(M/xM ) ❝â t❤➸ r➜t ♥❤ä ♥❤÷♥❣ ❝â t❤➸ ợ tũ ỵ ợ ộ số r tỗ t tr (R , m ) a ∈ m ❧➔ f ✲♣❤➛♥ tû ❝❤➦t ❝õ❛ R∗ s❛♦ ❝❤♦ sp(R∗ ) = r + ✈➔ sp(R∗ /aR∗ ) = −1✳ ❱➼ ❞ö ✷✳✷✳✶✳ ❱➜♥ ✤➲ t❤ù ữ r trữ ỗ ✤✐➲✉ ❝❤♦ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣②✳ ✣➦t ❦❤✐ Dt = 0✳ ✣➦t dim Di = di ✈ỵ✐ i = 0, 1, , t✳ D(M ) = {d0 , , dt } q ữợ dim Dt = ú ỵ r➡♥❣ D(M ) \ {−1} = {dim(R/p) | p ∈ AssR M } ●✐↔ sû R ❧➔ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✳ ❈❤♦ j ≥ d ❧➔ sè ♥❣✉②➯♥✳ ❑❤✐ ✤â ✭✐✮ AssR K j (M ) = AttR Hmj (M )✳ ◆❣♦➔✐ r❛✱ dim K j (M ) ≤ j ✳ ✭✐✐✮ dim K j (M ) = j ✈ỵ✐ ♠å✐ j ∈ D(M )✳ ❇ê ✤➲ ✷✳✷✳✷✳ ●✐↔ sû R ❧➔ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✳ ✣➦t D(M ) = j j {d0 , , dt }✳ ✣➦t q1 := maxj ∈D(M / ) dim(K (M )) ✈➔ q2 := maxj∈D(M ) p(K (M ))✳ ✣à♥❤ ỵ s t q ỵ r r õ t t t tổ q ổ t t ỵ sp(M ) K j (M )✳ ◆➳✉ R ❧➔ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣ t❤➻ sp(M ) = max{q1 , q2 } ứ ỵ t t ữủ trữ ỗ ổ M ✈ỵ✐ sp(M ) ≤ r✳ ❍➺ q✉↔ trü❝ t✐➳♣ s❛✉ ❝❤♦ t❛ ✤➦❝ tr÷♥❣ ✤➣ ❜✐➳t ✈➲ ♠ỉ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ✈➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② rë♥❣ ❞➣②✳ ❈❤♦ r ≥ −1 ❧➔ sè ♥❣✉②➯♥✳ ●✐↔ sû R ❧➔ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✳ ❑❤✐ ✤â sp(M ) ≤ r ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ dim K j (M ) ≤ r ✈ỵ✐ ♠å✐ j ∈/ D(M ) ✈➔ dim K j (M ) = j tr♦♥❣ ✤â p(K j (M )) ≤ r ✈ỵ✐ ♠å✐ j ∈ D(M )✳ ❍➺ q✉↔ ✷✳✷✳✶✳ ✶✸ ❈❤÷ì♥❣ ✸ ❱➲ ❝❤➾ sè ❦❤↔ q✉② ✈➔ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠ỉ✤✉♥ ❚r♦♥❣ s✉èt ❝❤÷ì♥❣ ♥➔②✱ t❛ ❧✉ỉ♥ ❣✐↔ t❤✐➳t ✈ỵ✐ ✐✤➯❛♥ ❝ü❝ ✤↕✐ ❞✉② ♥❤➜t ❑r✉❧❧ dim M = d✱ A ❧➔ m ✈➔ M ✤õ m✲❛❞✐❝ ❝õ❛ R ✈➔ ❧➔ ♠ët R✲♠æ✤✉♥ ❧➔ t➟♣ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❝õ❛ R (R, m) ❧➔ ✈➔♥❤ tr ữỡ Rổ ỳ s ợ rt ❱ỵ✐ ♠é✐ ✐✤➯❛♥ ❝❤ù❛ I✳ ❑➼ ❤✐➺✉ R ✈➔ I✱ M ❦➼ ❤✐➺✉ Var(I) ❧➛♥ ❧÷đt ❧➔ ✤➛② M✳ ✸✳✶ ❈❤➾ sè ❦❤↔ q✉② ▼ët tr♦♥❣ ♥❤ú♥❣ ❦➳t q✉↔ q✉❛♥ trồ số ỵ t➼❝❤ ❜➜t ❦❤↔ q✉② ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤ ❜ð✐ ❊✳ ◆♦❡t❤❡r ♥➠♠ ✶✾✷✶✳ ❚r♦♥❣ ❜➔✐ ❜→♦ ♥➔②✱ ❜➔ ❝❤ù♥❣ ♠✐♥❤ ✤÷đ❝ ❜➜t ❦➻ ✐✤➯❛♥ I ❝õ❛ ✈➔♥❤ ◆♦❡t❤❡r R ✤➲✉ ❝â t❤➸ ❜✐➸✉ ❞✐➵♥ t❤➔♥❤ ❣✐❛♦ t❤✉ ❣å♥ ❝õ❛ ❝→❝ ✐✤➯❛♥ ❜➜t ❦❤↔ q✉② ✈➔ sè ✐✤➯❛♥ ❜➜t ❦❤↔ q✉② ①✉➜t ❤✐➺♥ tr♦♥❣ ♣❤➙♥ t➼❝❤ ❧➔ ❦❤ỉ♥❣ ♣❤ư t❤✉ë❝ ✈➔♦ ❜✐➸✉ ❞✐➵♥✳ ❇➜t ❜✐➳♥ ♥➔② ✤÷đ❝ ❣å✐ ❧➔ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ I ✳ ◆➠♠ ✶✾✺✼✱ ❉✳●✳ ◆♦rt❤❝♦tt ❝❤➾ r❛ r➡♥❣ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè tr♦♥❣ ✈➔♥❤ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ✤à❛ ♣❤÷ì♥❣ ♣❤ư t❤✉ë❝ ❞✉② ♥❤➜t ✈➔♦ ✈➔♥❤ ✈➔ ❦❤ỉ♥❣ ♣❤ư t❤✉ë❝ ✈➔♦ ❝→❝❤ ❝❤å♥ ✐✤➯❛♥ t❤❛♠ sè✳ ❚r♦♥❣ ♣❤➛♥ ♥➔②✱ ❝❤ó♥❣ tỉ✐ s➩ ♠ð rë♥❣ ❦➳t q tr rttt ổ ỵ ✸✳✶✳✶✳ ❈❤♦ M ❧➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛②✳ ❑❤✐ ✤â ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè q ❝õ❛ M ✤ë❝ ❧➟♣ ✈ỵ✐ ❝→❝❤ ❝❤å♥ ✐✤➯❛♥ t❤❛♠ sè✳ ✸✳✷ ❈❤➾ sè tờ ỵ tt tự ổ ữủ ợ t õ t ố ỵ tt t sì✳ ◆❤➢❝ ❧↕✐ r➡♥❣ ♠å✐ t✐➸✉ R✲♠ỉ✤✉♥ A = A1 + + An , ❆rt✐♥ tr♦♥❣ ✤â A Ai ✤➲✉ ❝â ♠ët ❜✐➸✉ ❞✐➵♥ t❤ù ❝➜♣ tè✐ ❧➔ pi ✲t❤ù ✤ë❝ ❧➟♣ ✈ỵ✐ ✈✐➺❝ ❝❤å♥ ❜✐➸✉ ❞✐➵♥ tè✐ t✐➸✉ ❝õ❛ ♥❣✉②➯♥ tè ❣➢♥ ❦➳t ❝õ❛ A ✈➔ ❦➼ ❤✐➺✉ ❜ð✐ ❝➜♣✳ ❚➟♣ ❤ñ♣ {p1 , , pn } A✳ ❚➟♣ ✤â ❣å✐ ❧➔ t➟♣ ❝→❝ ✐✤➯❛♥ AttR A✳ ▼ỉ✤✉♥ ❝♦♥ B ❝õ❛ A ✤÷đ❝ ❣å✐ ❧➔ ❜➜t ❦❤↔ tê♥❣ ♥➳✉ B ❦❤æ♥❣ t❤➸ ❜✐➸✉ ữợ tờ ổ tỹ sỹ tù❝ ❧➔ ♥➳✉ B = C + D, ✈ỵ✐ C, D ❧➔ ❝→❝ ♠æ✤✉♥ ❝♦♥ ❝õ❛ B t❤➻ B = C ❤♦➦❝ B = D✳ ✣à♥❤ ♥❣❤➽❛ ✸✳✷✳✶✳ ▼å✐ ♠æ✤✉♥ ❆rt✐♥ A ✤➲✉ ❝â ❜✐➸✉ ❞✐➵♥ ❜➜t ❦❤↔ tê♥❣ tè✐ t✐➸✉ A = A1 + + An ✱ tr♦♥❣ ✤â ♠é✐ Ai ❧➔ ❜➜t ❦❤↔ tê♥❣ ✈➔ ❦❤æ♥❣ t❤ø❛✳ ◆❣♦➔✐ r❛✱ sè t❤➔♥❤ ♣❤➛♥ ❜➜t ❦❤↔ tê♥❣ tr♦♥❣ ❜✐➸✉ ❞✐➵♥ ✤ë❝ ❧➟♣ ✈ỵ✐ ❝→❝❤ ❝❤å♥ ❜✐➸✉ ❞✐➵♥ tè✐ t✐➸✉ ❝õ❛ A✳ ❇ê ✤➲ ✸✳✷✳✶✳ ❚ø ❜ê ✤➲ tr➯♥✱ t❛ ❝â t❤➸ ✤à♥❤ ♥❣❤➽❛ ✈➲ ❝❤➾ sè ❦❤↔ tê♥❣ ❝❤♦ ♠ët ♠æ✤✉♥ ❆t✐♥✳ ✣à♥❤ ♥❣❤➽❛ ✸✳✷✳✷✳ ❙è t❤➔♥❤ ♣❤➛♥ ❜➜t ❦❤↔ tê♥❣ tr♦♥❣ ♠ët ❜✐➸✉ ❞✐➵♥ ❜➜t ❦❤↔ tê♥❣ tè✐ t✐➸✉ ❝õ❛ A ✤÷đ❝ ❣å✐ ❧➔ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ A ✈➔ ❦➼ ❦✐➺✉ ❧➔ irR (A)✳ ❇ê ✤➲ s❛✉ ❝❤➾ r❛ r➡♥❣ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✤➛② ✤õ m✲❛❞✐❝✳ ❇ê ✤➲ ✸✳✷✳✷✳ irR (A) = irR (A)✳ A ❜↔♦ t♦➔♥ q✉❛ ✶✺ ❚❛ ❣✐↔ sû E = E(R/m) HomR (−, E) ❞÷ ❝õ❛ R✳ R✲♠æ✤✉♥ ❧➔ ❜❛♦ ♥ë✐ ①↕ ❝õ❛ ❧➔ ❤➔♠ tû ố ts ú ỵ r M R✲♠æ✤✉♥ R/m✳ ❑➼ ❤✐➺✉ k = R/m DR (−) = ❧➔ tr÷í♥❣ t❤➦♥❣ ❤ú✉ ❤↕♥ s✐♥❤ t❤➻ DR (M ) ❧➔ ❆rt✐♥✳ ❈❤♦ M ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ✈➔ A ❧➔ R✲♠æ✤✉♥ ❆rt✐♥✳ ✣➦t k = R/m✳ ❑❤✐ ✤â ✭✐✮ dimk Soc(M ) = dimk DR(M )/mDR(M ) ✭✐✐✮ ◆➳✉ B ❧➔ ♠æ✤✉♥ ❝♦♥ ❝õ❛ A s❛♦ ❝❤♦ R(A/B) < ∞ ✈➔ B + mA = A t❤➻ B = A ✭✐✐✐✮ ◆➳✉ A ❝â ✤ë ❞➔✐ ❤ú✉ ❤↕♥ t❤➻ irR(A) = dimk (A/mA) ❇ê ✤➲ ✸✳✷✳✸✳ ❈❤♦ A ❧➔ R✲♠æ✤✉♥ ❆rt✐♥✱ ❝õ❛ t➟♣ t➜t ❝↔ ♠æ✤✉♥ ❝♦♥ ❝➜♣ tè✐ t✐➸✉ ❝õ❛ A✳ ♥➳✉ Q p✲t❤ù ❝➜♣ ❝õ❛ A ❚❛ ❦➼ ❤✐➺✉ ∗ p (A) ❧➔ ❦➼ ❤✐➺✉ ①✉➜t ❤✐➺♥ tr♦♥❣ ❜✐➸✉ ❞✐➵♥ t❤ù ♣❤➛♥ ∗ p (A)✱ ✈➔ Q ❣å✐ ❧➔ t❤➔♥❤ ♣❤➛♥ ♥❤ó♥❣ tè✐ t✐➸✉ ❝õ❛ ❚❛ ❣å✐ ♠æ✤✉♥ ❝♦♥ t❤ù ❝➜♣ ❝õ❛ A ♥➳✉ Q ∈ A p ∈ AttR (A)✳ ❧➔ tè✐ t✐➸✉ tr♦♥❣ t➟♣ p✲t❤ù ❝➜♣ Q ❝õ❛ A ❧➔ p✲t❤➔♥❤ ∗ p (A)✳ ❇ê ✤➲ ✸✳✷✳✹✳ ❈❤♦ A ❧➔ R✲♠æ✤✉♥ ❆rt✐♥ ✈➔ AttR (A) = {p1 , p2 , , pn }✳ ●✐↔ sû A = Q1 + Q2 + + Qn ❧➔ ❜✐➸✉ ❞✐➵♥ t❤ù ❝➜♣ tè✐ t✐➸✉ ❝õ❛ A✱ tr♦♥❣ ✤â Qi ❧➔ pi ✲t❤ù ❝➜♣ ✈ỵ✐ ♠å✐ i = 1, , n✳ ❑❤✐ ✤â irR (A) = irR (Q1 ) + irR (Q2 ) + + irR (Qn ) ♥➳✉ Qi ❧➔ pi ✲t❤➔♥❤ ♣❤➛♥ ♥❤ó♥❣ tè✐ t✐➸✉ ❝õ❛ A✳ ❈❤♦ N ❧➔ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M ✳ ❈→❝ ♣❤→t ❜✐➸✉ s❛✉ ❧➔ ✤ó♥❣✿ irR N ✳ ✣à♥❤ ỵ irR(N ) irR DR(M/N ) = irR DR(M/N ) = irRDR(M /N ) ✭✐✐✐✮ ◆➳✉ R(M/N ) < ∞ t❤➻ irR (N ) = irR N = irR D(M /N ) = irR D(M/N ) ❈❤♦ A ❧➔ R✲♠ỉ✤✉♥✳ ▼ỉ✤✉♥ ①↕ ↔♥❤ P ❝ò♥❣ ✈ỵ✐ t♦➔♥ ❝➜✉ → A ❣å✐ ❧➔ ♣❤õ ①↕ ↔♥❤ ❝õ❛ M Ker ổ ọ P ú ỵ :P ỵ Ker P tự ✈ỵ✐ ♠å✐ ♠ỉ✤✉♥ ❝♦♥ t❤ü❝ sü Q ❝õ❛ P ✱ t❛ ❝â Q + Kerϕ = P ✳ P❤õ ①↕ A P (A) ú ỵ r➡♥❣ ♥➳✉ P ✈➔ P ❧➔ ❤❛✐ ♣❤õ ①↕ ↔♥❤ ❝õ❛ A t❤➻ P ∼ =P✳ ◆❤➢❝ ❧↕✐ r➡♥❣ ♠ët M =0 R✲♠æ✤✉♥ M ✈➔ ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ M ✤÷đ❝ ❣å✐ ❧➔ ❧➔ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ♥➳✉ ✈➔ ❝❤➼♥❤ ♥â✳ ❚❛ ♥❤➢❝ ❧↕✐ ♠ët ❦➳t q✉↔ ❝õ❛ ■✳●✳ ▼❛❝❞♦♥❛❧ ✤÷đ❝ sû ❞ư♥❣ tr♦♥❣ ❝❤ù♥❣ ♠✐♥❤ ❝õ❛ ❜ê ✤➲ t✐➳♣ t❤❡♦✳ ❈❤♦ A ❧➔ R✲♠ỉ✤✉♥ ❆rt✐♥ ✈ỵ✐ P (A) ❧➔ ♣❤õ ①↕ ↔♥❤ ❝õ❛ A✳ ❑❤✐ ✤â ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ A ❜➡♥❣ sè t❤➔♥❤ ♣❤➛♥ tr♦♥❣ ♣❤➙♥ t➼❝❤ P (A) t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝→❝ ổ ổ t ữủ ỵ ▲❯❾◆ ✣➲ t➔✐ ✤➣ t❤✉ ✤÷đ❝ ❝→❝ ❦➳t q✉↔ s❛✉✿ ✲ ●✐ỵ✐ t❤✐➺✉ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❦❤→✐ ♥✐➺♠ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ❧➔ M✱ ❦➼ ❤✐➺✉ sp(M ) ✈ỵ✐ ♠ư❝ ✤➼❝❤ ✤♦ t➼♥❤ ❦❤ỉ♥❣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② ❞➣② ❝õ❛ M ✳ ◆❣❤✐➯♥ ❝ù✉ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② t❤ỉ♥❣ q✉❛ ✤à❛ ♣❤÷ì♥❣ ❤â❛ ✈➔ ✤➛② ✤õ ❝❤➜t ✏❧➯♥ ✕ ①✉è♥❣✑ ❝õ❛ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❣✐ú❛ tû t❤❛♠ sè ♥➔♦ ✤â ❝õ❛ M ✈➔ M/xM M ✳ ◆❣♦➔✐ r❛✱ ✈ỵ✐ ❣✐↔ t❤✐➳t R ợ x t tữỡ ✈➔♥❤ ●♦r❡♥st❡✐♥ ✤à❛ ♣❤÷ì♥❣✱ ♠✐➯✉ t↔ ❦✐➸✉ ✤❛ t❤ù❝ ❞➣② ❝õ❛ ♠æ✤✉♥ ❦❤✉②➳t t❤✐➳✉ ❝õ❛ m✲❛❞✐❝✱ M t❤æ♥❣ q✉❛ ❝→❝ M✳ ✲ ❈❤ù♥❣ ♠✐♥❤ ❦➳t q✉↔ ✈➲ sü ❜➜t ❜✐➳♥ ❝õ❛ ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè ❝õ❛ ♠æ✤✉♥ ❈♦❤❡♥ ✕ ▼❛❝❛✉❧❛②✳ ✲ ❳➙② ❞ü♥❣ ✤à♥❤ ♥❣❤➽❛ ❝❤➾ sè ❦❤↔ tê♥❣ ❝õ❛ ♠æ✤✉♥ ❆rt✐♥ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ t➼♥❤ ❝❤➜t ✈➲ ❦❤→✐ ♥✐➺♠ ♥➔②✳ ... ♥❣❤✐➯♥ ❝ù✉ ✈➲ ✣↕✐ số ỵ tt số t q ✤➲ t➔✐ ❝ô♥❣ ❧➔ t➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦ ❝❤♦ s✐♥❤ ✈✐➯♥✱ ❤å❝ ✈✐➯♥ ❝❛♦ ❤å❝✱ ❣✐↔♥❣ ✈✐➯♥✱ ♥❣❤✐➯♥ ❝ù✉ s✐♥❤ ✈➔ ❝→❝ ♥❤➔ t♦→♥ ❤å❝ ♥❣❤✐➯♥ ❝ù✉ ✈➲ ✣↕✐ sè ỵ tt số t ự tr ỵ... ❆rt✐♥ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ t➼♥❤ ❝❤➜t ✈➲ ❦❤→✐ ♥✐➺♠ ♥➔②✳ ✲ ◆➙♥❣ ❝❛♦ ♥➠♥❣ ❧ü❝ ♥❣❤✐➯♥ ❝ù✉ ❝❤♦ ❝→♥ số ỵ tt số t ✣↕✐ ❤å❝ ❚❤→✐ ◆❣✉②➯♥❀ P❤ö❝ ✈ö ❤✐➺✉ q✉↔ ❝❤♦ ✈✐➺❝ t❤ü❝ ❤✐➺♥ ❧✉➟♥ →♥ ❚✐➳♥ s➽ ❝õ❛ ❝❤õ ♥❤✐➺♠... ❧➔ ♠æ✤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛②✳ ❑❤✐ ✤â ❝❤➾ sè ❦❤↔ q✉② ❝õ❛ ✐✤➯❛♥ t❤❛♠ sè q ❝õ❛ M ✤ë❝ ❧➟♣ ✈ỵ✐ ❝→❝❤ t số số tờ ỵ tt tự ổ ữủ ợ t❤✐➺✉ ❜ð✐ ■✳ ●✳ ▼❛❝❞♦♥❛❧❞ ❝â t❤➸ ①❡♠ ❧➔ ✤è✐ ỵ tt t sỡ r➡♥❣ ♠å✐