✣❸■ ❍➴❈ ✣⑨ ◆➂◆● ❚❘×❮◆● ✣❸■ ❍➴❈ ❙× P❍❸▼ ✲✲✲✲✲✲✲ ✲✲✲✲✲✲✲ ◆●❯❨➍◆ ❚❍➚ P❍Ó❈ ▼■◆❍ ❈⑩❈ ▼➷ ✣❯◆ t✲◆Û❆ ✣❒◆ ❱⑨ ❱⑨◆❍ t✲◆Û❆ ✣❒◆ ▲❯❾◆ ❱❿◆ ❚❍❸❈ ❙➒ ❚❖⑩◆ ❍➴❈ ✣⑨ ◆➂◆● ✲ ◆❿▼ ✷✵✶✽ ✣❸■ ❍➴❈ ✣⑨ ◆➂◆● ❚❘×❮◆● ✣❸■ ❍➴❈ ❙× P❍❸▼ ✲✲✲✲✲✲✲ ✲✲✲✲✲✲✲ ◆●❯❨➍◆ ❚❍➚ P❍Ĩ❈ ▼■◆❍ ❈⑩❈ ▼➷ ✣❯◆ t✲◆Û❆ ✣❒◆ ❱⑨ ❱⑨◆❍ t✲◆Û❆ ✣❒◆ ❈❤✉②➯♥ số ỵ tt số số ữớ ữợ ❤å❝ P●❙✳ ❚❙✳ ❚❘×❒◆● ❈➷◆● ◗❯Ý◆❍ ✣⑨ ◆➂◆● ✕ ◆❿▼ ✷✵✶✽ ▼Ư❈ ▲Ư❈ ▲í✐ ♥â✐ ✤➛✉ ✶ ✶ ❑✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ✸ ✷ ❈⑩❈ ▼➷✣❯◆ t✲◆Û❆ ✣❒◆ ✼ ✶✳✶ ✶✳✷ ✷✳✶ ✷✳✷ ✷✳✸ ❈→❝ ❦❤→✐ ♥✐➺♠ ❝ì ❜↔♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❈→❝ ❦➳t q✉↔ ❧✐➯♥ q✉❛♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✣à♥❤ ♥❣❤➽❛ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❱➼ ❞ö ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ▼ët sè t➼♥❤ ❝❤➜t ❝õ❛ ❧ỵ♣ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸ ✹ ✼ ✼ ✽ ✸ ❈⑩❈ ❱⑨◆❍ t✲◆Û❆ ✣❒◆ ✶✼ ❑➳t ❧✉➟♥ ✸✸ ❚➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦ ✸✹ ✸✳✶ ✸✳✷ ✸✳✸ ❱➔♥❤ t✲♥û❛ ✤ì♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ▼ët sè t➼♥❤ ❝❤➜t ✈➔ ❦➳t q✉↔ ❧✐➯♥ q✉❛♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❈→❝ ✈➔♥❤ t✲♥û❛ ✤ì♥ ✈➔ ❝→❝ ✤✐➲✉ ❦✐➺♥ ❞➙② ❝❤✉②➲♥ ✳ ✳ ✳ ✳ ✳ ✳ ✶✼ ✶✼ ✷✺ ▲❮■ ❈❆▼ ✣❖❆◆ ❚æ✐ ①✐♥ ❝❛♠ ✤♦❛♥ ❝→❝ sè ❧✐➺✉✱ ❦➳t q✉↔ ♥➯✉ tr♦♥❣ ❧✉➟♥ tr tỹ õ ỗ ố ró r ✈➔ ❝❤÷❛ tø♥❣ ✤÷đ❝ ❛✐ ❝ỉ♥❣ ❜è tr♦♥❣ ❜➜t ❝ù ♠ët ❝ỉ♥❣ tr➻♥❤ ❦❤♦❛ ❤å❝ ♥➔♦ ❦❤→❝✳ ◆❣✉②➵♥ ❚❤à P❤ó❝ ▼✐♥❤ ▲❮■ ❈❷▼ ❒◆ ▲✉➟♥ ✈➠♥ ❝õ❛ tỉ✐ ✤÷đ❝ t❤ü❝ ữợ sỹ ữợ tú t t ❝õ❛ t❤➛② ❣✐→♦ P●❙✳❚❙✳ ❚r÷ì♥❣ ❈ỉ♥❣ ◗✉ý♥❤✳ ❚ỉ✐ ①✐♥ ❜➔② tọ ỡ s s t ỗ tớ tỉ✐ ❝ơ♥❣ ①✐♥ ❣û✐ ❧á✐ ❝↔♠ ì♥ ❝❤➙♥ t❤➔♥❤ tỵ✐ ❝→❝ t❤➛② ❝ỉ ✤➣ ❣✐↔♥❣ ❞↕② ❡♠ tr♦♥❣ s✉èt t❤í✐ ❣✐❛♥ ❤å❝ t➟♣ ❝õ❛ ❦❤â❛ ❤å❝✳ ❈✉è✐ ❝ò♥❣ ①✐♥ ❣û✐ ỡ ữớ t ỗ ❜➧✱ ✤➦❝ ❜✐➺t ❧➔ ❝→❝ ❜↕♥ tr♦♥❣ ❧ỵ♣ ❝❛♦ ❤å❝ õ số ỵ tt số ✤➣ ✤ë♥❣ ✈✐➯♥ ❣✐ó♣ ✤ï ✈➔ t↕♦ ✤✐➲✉ ❦✐➺♥ t❤✉➟♥ ❧đ✐ ❝❤♦ t→❝ ❣✐↔ tr♦♥❣ s✉èt t❤í✐ ❣✐❛♥ ❤å❝ t➟♣ ✈➔ ❤♦➔♥ t❤➔♥❤ ❧✉➟♥ ✈➠♥✳ ◆❣✉②➵♥ ❚❤à P❤ó❝ ▼✐♥❤ ệ ị ỵ R End(M ) M ≤N K ≤e M K ≤tes M K ≤tc M Z(M ) Z2 (M ) K M E(M ) M N ann(X) ị ỵ ✿ ✿ ✿ ✿ ✿ ✿ ✿ ✿ ✿ ✿ ❱➔♥❤ ❝â ✤ì♥ ✈à = ❚➟♣ ❝→❝ tü ỗ M M ổ N K ❧➔ ♠æ✤✉♥ ❝♦♥ ❝èt ②➳✉ tr♦♥❣ M K ❧➔ ♠æ✤✉♥ ❝♦♥ t✲❝èt ②➳✉ tr♦♥❣ M K ❧➔ ♠æ✤✉♥ ❝♦♥ t✲✤â♥❣ tr♦♥❣ M ▼æ✤✉♥ ❝♦♥ s✉② ❜✐➳♥ ❝õ❛ M ▼æ✤✉♥ ❝♦♥ s✉② ❜✐➳♥ ❝➜♣ ❤❛✐ ❝õ❛ M K ❧➔ ♠æ✤✉♥ ❝♦♥ ✤è✐ ❝èt ②➳✉ tr♦♥❣ M ❇❛♦ ♥ë✐ ①↕ ❝õ❛ M ❚ê♥❣ trü❝ t✐➳♣ ❝õ❛ ❤❛✐ ♠æ✤✉♥ M ✈➔ N ▲✐♥❤ ❤â❛ tû ❝õ❛ X tr♦♥❣ R✱ ann(X) = {r ∈ R | xr = 0, x ∈ X} ✶ ỵ t trú ổ t tr t ỵ tt t♦→♥ ❤å❝ ❤✐➺♥ ✤↕✐✱ ♥â ❝â ❦❤↔ ♥➠♥❣ t❤è♥❣ ♥❤➜t ♠ët ❝→❝❤ ❜↔♥ ❝❤➜t ❝→❝ ❝➜✉ tró❝ ✈➔♥❤✱ ✐✤➯❛♥✱ ♥❤â♠ ❛❜❡❧ ✈➔ ❦❤ỉ♥❣ ❣✐❛♥ ✈❡❝tì✳ ❚➼♥❤ ❧✐♥❤ ❤♦↕t ✈➔ ♣❤ê q✉→t ❝õ❛ ✈➔♥❤ ✈➔ ♠æ✤✉♥ ✤➣ ♠❛♥❣ ❧↕✐ ♥❤ú♥❣ →♣ tr ỵ tt ổ ổ q ỵ t❤✉②➳t ✈➔♥❤ ✈➔ ♠ỉ✤✉♥✱ ❝❤ó♥❣ t❛ t➻♠ ✤÷đ❝ ♠ët sè ❝➜✉ tró❝ ✈➔♥❤ ❧✐➯♥ q✉❛♥✳ ●â♣ ♣❤➛♥ ❧➔♠ ♣❤♦♥❣ ♣❤ó t❤➯♠ ❝➜✉ tró❝ ✤↕✐ sè✳ ❚r♦♥❣ ♥❤ú♥❣ ♥➠♠ ❣➛♥ ✤➙② ỵ tt ổ ỷ ỡ ỷ ỡ ✤➣ ♣❤→t tr✐➸♥ r➜t ♥❤✐➲✉✱ ✤â♥❣ ♠ët ✈❛✐ trá q✉❛♥ trồ tr ỵ tt ổ ởt ♠ỉ✤✉♥ ✤÷đ❝ ❣å✐ ❧➔ ♠ët ♠ỉ✤✉♥ ♥û❛ ✤ì♥ ♥➳✉ ♠é✐ ♠æ✤✉♥ ❝♦♥ ❝õ❛ ♥â ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ ❝❤➼♥❤ ♥â✳ ❑❤→✐ ♥✐➺♠ ✈➲ ✧♠ỉ✤✉♥ t✲ ♥û❛ ✤ì♥✧ ❧➔ tê♥❣ q✉→t ❤â❛ ❝→❝ ♠ỉ✤✉♥ ♥û❛ ✤ì♥✳ ◆❤➡♠ t➻♠ ❤✐➸✉ ❝→❝ t➼♥❤ ❝❤➜t ❝õ❛ ❝→❝♠ỉ✤✉♥ t✲ ♥û❛ ✤ì♥ ✈➔ ✈➔♥❤ t✲ ♥û❛ ✤ì♥ tỉ✐ ❝❤å♥ ✤➲ t➔✐ ❝❤♦ ❧✉➟♥ ✈➠♥ t❤↕❝ s➽ ❝õ❛ ♠➻♥❤ ❧➔ ✿ ✏❈⑩❈ ▼➷✣❯◆ t✲◆Û❆ ✣❒◆ ❱⑨ ❱⑨◆❍ t✲◆Û❆ ✣❒◆✑✳ ✷✳ ▼ö❝ ✤➼❝❤ ✈➔ ♥❤✐➺♠ ✈ư ♥❣❤✐➯♥ ❝ù✉✿ ✲ ◆❣❤✐➯♥ ❝ù✉ t➼♥❤ ❝❤➜t ❝õ❛ ♠ỉ✤✉♥ t✲❝èt ②➳✉✱ ♠ỉ✤✉♥ t✲✤â♥❣ ✈➔ ♠è✐ q✉❛♥ ❤➺ ❣✐ú❛ ❝❤ó♥❣✳ ✲ ◆❣❤✐➯♥ ❝ù✉ t➼♥❤ ❝❤➜t ❝õ❛ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ✈➔ ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ ♠ỉ✤✉♥ t✲ ♥û❛ ✤ì♥✳ ✲ ❚➼♥❤ ❝❤➜t ❝õ❛ ♠æ✤✉♥ t✲❇❛❡r ✈➔ ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ ♠æ✤✉♥ t✲❇❛❡r✳ ✲ ◗✉❛♥ ❤➺ ❣✐ú❛ ♠æ✤✉♥ t✲✤è✐ ❦❤æ♥❣ s✉② ❜✐➳♥ ✈➔ ♠æ✤✉♥ ❝èt ②➳✉✳ ✲ ◗✉❛♥ ❤➺ ❣✐ú❛ ♠ỉ✤✉♥ t✲✤â♥❣✱ ♠ỉ✤✉♥t✲♥û❛ ✤ì♥✱ ♠ỉ✤✉♥ t✲❇❛❡r ✈➔ ♠ỉ✤✉♥ t✲✤è✐ ❦❤ỉ♥❣ s✉② ❜✐➳♥✳ ✲ ❱➔♥❤ ✲t✲♥û❛ ✤ì♥✱ ♠è✐ q✉❛♥ ❤➺ ❣✐ú❛ ✈➔♥❤ t✲♥û❛ ✤ì♥ ✈ỵ✐ ♠ỉ✤✉♥ ①②❝❧✐❝✱ ♠ỉ✤✉♥ ①↕ ↔♥❤✳ ✸✳ ✣è✐ t÷đ♥❣ ✈➔ ♣❤↕♠ ✈✐ ♥❣❤✐➯♥ ❝ù✉✳ ✣è✐ t÷đ♥❣ ❝❤➼♥❤ ♠➔ ❧✉➟♥ ✈➠♥ ♥❣❤✐➯♥ ❝ù✉ ❧➔ ♠ỉ✤✉♥ t✲ ♥û❛ ✤ì♥ ✈➔ ✈➔♥❤ ✷ t✲ ♥û❛ ✤ì♥✳ ❚r♦♥❣ ✤â t➟♣ tr✉♥❣ ❝→❝ t➼♥❤ ❝❤➜t ❝õ❛ ♥â✳ ❇➯♥ ❝↕♥❤ ✤â ❧✉➟♥ ✈➠♥ ❝á♥ tr➻♥❤ ❜➔② ❤➺ t❤è♥❣ ❝→❝ ❦❤→✐ ♥✐➺♠ ❜ê trñ ❝â t❤➸ ❝♦✐ ♥❤÷ ❦✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ♣❤ư❝ ✈ư ❝❤♦ ✈✐➺❝ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ✤è✐ t÷đ♥❣ ❝❤➼♥❤ ✈➔ ❤➺ tố ố ỵ tt ✹✳ P❤÷ì♥❣ ♣❤→♣ ♥❣❤✐➯♥ ❝ù✉ ✲ ❚❤✉ t❤➟♣ ✈➔ ❤➺ tố t ỵ tt ổ õ ❧✐➯♥ q✉❛♥ ✤➳♥ ♥ë✐ ❞✉♥❣ ❧✉➟♥ ✈➠♥✳ ✣➦❝ ❜✐➺t ❧➔ t➔✐ ❧✐➺✉ ✈➲ ♠ỉ✤✉♥ ♥û❛ ✤ì♥✱ t✲♥û❛ ✤ì♥✳ ✲ ❑❤↔♦ s→t t➼♥❤ ❝❤➜t ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥✱ ✈➔♥❤ t✲♥û❛ ✤ì♥ ✲ r t ợ ữớ ữợ tró❝ ❧✉➟♥ ✈➠♥ ◆ë✐ ❞✉♥❣ ❧✉➟♥ ✈➠♥ ❞ü ❦✐➳♥ ✤÷đ❝ ❝❤✐❛ t❤➔♥❤ ❜❛ ❝❤÷ì♥❣ ✭tr♦♥❣ ✤â ❈❤÷ì♥❣ ✷ ✈➔ ❈❤÷ì♥❣ ✸ ❧➔ ♥ë✐ ❞✉♥❣ ❝❤➼♥❤ ❝õ❛ ❧✉➟♥ ✈➠♥✮ ❈❤÷ì♥❣ ✶✳ ❑✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ❈❤÷ì♥❣ ♥➔② tr➻♥❤ ❜➔② ♠ët ❝→❝❤ ❝â ❤➺ t❤è♥❣ ♥❤ú♥❣ ❦✐➳♥ t❤ù❝ ❝ì ❜↔♥✱ ❧÷đ❝ ởt số t q ỵ tt ♠ỉ✤✉♥ ✤➸ ❧➔♠ ❝ì sð ❝❤♦ ❝→❝ ❝❤÷ì♥❣ s❛✉✳ ✶✳✶✳ ❈→❝ ❦❤→✐ ♥✐➺♠ ❝ì ❜↔♥ ✶✳✷✳ ❈→❝ ❦➳t q✉↔ ❧✐➯♥ q✉❛♥ ❈❤÷ì♥❣ ✷✳ ▼ỉ✤✉♥ t✲♥û❛ ✤ì♥ ❚r➻♥❤ ❜➔② ♠ët sè ✤à♥❤ ♥❣❤➽❛✱ t➼♥❤ ❝❤➜t ✈➔ ✈➼ ❞ư ❝õ❛ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ✷✳✶✳ ✣à♥❤ ♥❣❤➽❛ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ✷✳✷✳ ❱➼ ❞ư ✷✳✸✳ ▼ët sè t➼♥❤ ❝❤➜t ❝õ❛ ❧ỵ♣ t✲♠ỉ✤✉♥ ♥û❛ ✤ì♥✳ ❈❤÷ì♥❣ ✸✳ ❱➔♥❤ t✲♥û❛ ✤ì♥ ❚r➻♥❤ ❜➔② ♠ët sè t➼♥❤ ❝❤➜t ❝õ❛ ✈➔♥❤ t✲ ♥û❛ ✤ì♥✱ ♠ỉ✤✉♥ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ✈➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ✈➔ ✤✐➲✉ ❦✐➺♥ ❞➙② ❝❤✉②➲♥✳ ✸✳✶✳ ❱➔♥❤ t✲♥û❛ ✤ì♥ ✸✳✷✳ ▼ët sè t➼♥❤ ❝❤➜t ✈➔ ❦➳t q✉↔ ❧✐➯♥ q✉❛♥✳ ✸✳✸✳ ❱➔♥❤ t✲♥û❛ ✤ì♥ ✈➔ ✤✐➲✉ ❦✐➺♥ ❞➙② ❝❤✉②➲♥✳ ✣➔ ◆➤♥❣✱ t❤→♥❣ ✽ ♥➠♠ ✷✵✶✽ ❚→❝ ❣✐↔ ✷✽ ❈❤ù♥❣ ♠✐♥❤✳ (1) ⇒ (2)✳ ❉♦ R ❧➔ ✈➔♥❤ ❧✐➯♥ tö❝ ♣❤↔✐✱ Rad(R) ❧➔ Z2 ✲①♦➢♥✳ ▼➦t ❦❤→❝ R ❧➔ ✈➔♥❤ ❆rt✐♥ ♣❤↔✐ ❞♦ ✤â t❤❡♦ ❍➺ q✉↔ 3.3.4✭✶✮✱ R ❧➔ ♠ët ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❍ì♥ ♥ú❛✱ Z2 (RR ) ❧➔ ♠ët R✲♠æ✤✉♥ ❆rt✐♥ ♥ë✐ ①↕ ❞♦ ♥â ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ R✳ (2) ⇒ (1)✳ ❉♦ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✱ R = Z2 (RR ) ⊕ R tr♦♥❣ ✤â R ❧➔ ♠ët ✈➔♥❤ ♥û❛ ✤ì♥✳ ❱➻ ✈➟② t❤❡♦ ❣✐↔ t❤✐➳t R ❧➔ ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ ❆rt✐♥ ♣❤↔✐✱ ♥❣❤➽❛ ❧➔ R ❧➔ ♠ët ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s✳ ❈❤ù♥❣ ♠✐♥❣ t÷ì♥❣ tü t❛ ❝â tữỡ ữỡ ợ ❍➺ q✉↔ ✸✳✸✳✻✳ ●✐↔ sû R ❧➔ ♠ët ✈➔♥❤ ❦❤æ♥❣ s✉② ❜✐➳♥ ♣❤↔✐✳ ❑❤✐ ✤â R ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ R ❧➔ ✈➔♥❤ ♥û❛ ✤ì♥✳ ❍➺ q✉↔ s tữỡ ữỡ ố ợ ♠ët ✈➔♥❤ R✳ ✭✶✮ R ❧➔ ♠ët ✈➔♥❤ tü❛ ❋r♦❜❡♥✐✉s✳ ✭✷✮ R ❧➔ ♠ët ✈➔♥❤ ❆rt✐♥ ♣❤↔✐ tr♦♥❣ ✤â Rad(R) ❧➔ Z2 ✲①♦➢♥ ✈➔ Z2 (RR ) ❧➔ ♥ë✐ ①↕✳ ❈❤ù♥❣ ♠✐♥❤✳ (1) ⇒ (2)✳ ❘ã r➔♥❣ R ❧➔ ✈➔♥❤ ❆rt✐♥ ♣❤↔✐ ✈➔ Z2 (RR ) ❧➔ ♥ë✐ ①↕ ❞♦ R ❧➔ ✈➔♥❤ tü❛✲ ❋r♦❜❡♥✐✉s✳ ❚❤❡♦ ▼➺♥❤ ✤➲ ✹✳✺✱ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❉♦ ✤â Rad(R) ❧➔ Z2 t ỵ 3.3.2 (2) (1) q✉↔ 3.3.4✭✶✮✱ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❱➻ ✈➟② t❤❡♦ ▼➺♥❤ ✤➲ 3.3.5✭✷✮ t❛ ❝â R ❧➔ ✈➔♥❤✲❋r♦❜❡♥✐✉s✳ ✷ ◆❤➢❝ ❧↕✐ r➡♥❣ ♠ët ✈➔♥❤ R ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♠å✐ R✲♠ỉ✤✉♥ ❝â t❤➸ ♥❤ó♥❣ ✤÷đ❝ ✈➔♦ ♠ët R✲♠æ✤✉♥ tü ❞♦ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♠å✐ R✲♠æ✤✉♥ ①②❝❧✐❝ tr→✐ ✈➔ ♣❤↔✐ ❝â t❤➸ ♥❤ó♥❣ ✤÷đ❝ ✈➔♦ tr♦♥❣ ởt Rổ tỹ t ỵ ✼✳✺✻❪✳ ❑➳t q✉↔ t✐➳♣ t❤❡♦ ✤÷❛ r❛ ♠ët sè ✤✐➲✉ tữỡ ữỡ ố ợ ởt tỹrs ✈➲ t➼♥❤ ❝❤➜t Z2 ✲①♦➢♥✳ ❍➺ q✉↔ ✸✳✸✳✽✳ ❈❤♦ R ❧➔ ♠ët ✈➔♥❤ ✈➔ ❦➼ ❤✐➺✉ t➟♣ S = R/Z2 (RR )✳ ●✐↔ sû ✈➔♥❤ T ❤♦➦❝ ❧➔ ✈➔♥❤ R ❤♦➦❝ ❧➔ ✈➔♥❤ S ✳ ❈→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ ❧➔ tữỡ ữỡ ố ợ R R ởt ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s❀ ✭✷✮ ▼å✐ T ✲♠æ✤✉♥ Z2 ✲①♦➢♥ ❝â t❤➸ ✤÷đ❝ ♥❤ó♥❣ tr♦♥❣ ♠ët T ✲♠ỉ✤✉♥ tü ❞♦❀ ✭✸✮ ▼å✐ T ✲♠æ✤✉♥ Z2 ✲①♦➢♥ ①②❝❧✐❝ tr→✐ ✈➔ ♣❤↔✐ ❝â t❤➸ ✤÷đ❝ ♥❤ó♥❣ tr♦♥❣ ♠ët T ✲♠ỉ✤✉♥ tü ❞♦ ✷✾ ❈❤ù♥❣ (1) (2), (3) ỵ ✼✳✶ ✈➔ ✼✳✺✻❪✱ t❛ ❝❤➾ ❝➛♥ ①❡♠ ①➨t tr÷í♥❣ ❤đ♣ T = S ✳ ❚❤❡♦ ▼➺♥❤ ✤➲ 3.3.5 t❛ ❝â R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✱ ❞♦ ✤â t❤❡♦ ✣à♥❤ ỵ 3.2.2 S ởt ỷ ỡ S ❦❤æ♥❣ ❝â ♠æ✤✉♥ Z2 ✲①♦➢♥ ❦❤→❝ ✵✳ (2) ⇒ (1)✳ ●å✐ M ❧➔ ♠ët S ✲♠æ✤✉♥✳ ❉➵ t❤➜② ♥➳✉ Z(MR ) = t❤➻ Z(MS ) = 0✳ ❉♦ ✤â S ❧➔ ♠ët ✈➔♥❤ ❦❤æ♥❣ s✉② ❜✐➳♥ ♣❤↔✐ ❞♦ S ❧➔ ♠ët R✲ ♠æ✤✉♥ ❦❤æ♥❣ s✉② ❜✐➳♥✳ ❱➻ ✈➟② ♠å✐ S ✲♠ỉ✤✉♥ tü ❞♦ ❧➔ ❦❤ỉ♥❣ s✉② ❜✐➳♥✳ ◆❤÷♥❣ ♠å✐ S ✲♠ỉ✤✉♥ Z2 ✲①♦➢♥ ♥❤ó♥❣ tr♦♥❣ ♠ët S ✲♠ỉ✤✉♥ tü ❞♦✳ ❱➻ ✈➟② S ❦❤æ♥❣ ❝â ♠æ✤✉♥ Z2 ✲①♦➢♥ ❦❤→❝ 0✳ ❉♦ ✤â S ❧➔ ♠ët ✈➔♥❤ ♥û❛ ✤ì♥ ✈➔ ❞♦ ✤â R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ●å✐ M ❧➔ ♠ët R✲♠æ✤✉♥✳ ❚❤❡♦ ❍➺ q✉↔ 3.2.6 t❛ ❝â R ❧➔ ✈➔♥❤ ✲t✲♠ð rë♥❣ ♣❤↔✐ ✈➔ ❞♦ ✤â M = Z2 (M ) ⊕ M tr♦♥❣ ✤â M ❧➔ ởt Rổ t ỵ ❣✐↔ t❤✐➳t Z2 (M ) ❝â t❤➸ ♥❤ó♥❣ ✤÷đ❝ tr♦♥❣ ởt Rổ tỹ tữỡ tỹ ữ ợ M ✳ ❉♦ ✤â R ❧➔ ♠æ✤✉♥ tü❛✲❋r♦❜❡♥✐✉s t❤❡♦ ❬✶✷✱ ✣à♥❤ ỵ (3) (1) ự tữỡ tỹ ❱➼ ❞ư s❛✉ ✤➙② ❝❤➾ r❛ r➡♥❣ ❧ỵ♣ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉ss ữủ ự tr ợ tỷ ỡ ❞ö ✸✳✸✳✾✳ ❈❤♦ T ❧➔ ♠ët ✈➔♥❤ Z2 ✲①♦➢♥ ♣❤↔✐✱ ✈➼ ❞ư T = Z/p2 Z ✈ỵ✐ p ❧➔ sè ♥❣✉②➯♥✳ ❚❤❡♦ ❇ê ✤➲ 3.2.10✱ t➼❝❤ trü❝ t✐➳♣ R = ∧ T ❧➔ ♠ët ✈➔♥❤ Z2 ✲①♦➢♥ ♣❤↔✐ tr♦♥❣ ✤â ∧ ❧➔ ♠ët t➟♣ ✈æ ❤↕♥✳ ❚✉② ♥❤✐➯♥ R ❦❤æ♥❣ ♣❤↔✐ ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ♣❤↔✐ ✈➔ ❞♦ ✤â R ❦❤æ♥❣ ♣❤↔✐ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s✳ ▼ët ✈➔♥❤ R ✤÷đ❝ ❣å✐ ❧➔ ✈➔♥❤ F GF ♣❤↔✐ ♥➳✉ t➜t ❝↔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ❝â t❤➸ ♥❤ó♥❣ ✤÷đ❝ tr♦♥❣ R✲♠ỉ✤✉♥ tü ❞♦✳ ▼å✐ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s ❧➔ ♠ët ✈➔♥❤ F GF ♣❤↔✐✳ ❚❤❡♦ ❣✐↔ t❤✉②➳t F GF ✏▼å✐ ✈➔♥❤ F GF ♣❤↔✐ ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s✑✳ ✣➙② ❧➔ ♠ët ✈➜♥ ✤➲ ♠ð✱ ♥❤÷♥❣ ✈✐➺❝ ✤➦t t❤➯♠ ✭❝→❝✮ ✤✐➲✉ ❦✐➺♥ ❜ê s✉♥❣ ✈➔♦ ♠ët ✈➔♥❤ F GF ♣❤↔✐ R ✤↔♠ ❜↔♦ r➡♥❣ R ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s❀ ①❡♠ ỵ t q t✐➳♣ t❤❡♦ ❝❤ó♥❣ tỉ✐ ❝❤➾ r❛ r➡♥❣ ❝â t❤➸ t✐➳♣ ❝➟♥ ❣✐↔ t❤✉②➳t F GF ✤è✐ ✈ỵ✐ ♠ët ✈➔♥❤ ❜➡♥❣ ❝→❝❤ ♥❣❤✐➯♥ ❝ù✉ ❤➔♥❤ ✈✐ ❝õ❛ ✐✤➯❛♥ s✉② ❜✐➳♥ t❤ù ❝➜♣✳ ▼➺♥❤ ✤➲ ✸✳✸✳✶✵✳ ❈→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ ❧➔ t÷ì♥❣ ữỡ ố ợ R R ởt ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s❀ ✭✷✮ R ❧➔ ✈➔♥❤ F GF tr→✐✱ R/Z2 (RR ) ❧➔ ✈➔♥❤ ❤♦➔♥ ❝❤➾♥❤ tr→✐✱ ✈➔ Z2 (RR ) ❧➔ ♠ët R✲♠æ✤✉♥ ❆rt✐♥ ♥ë✐ ①↕❀ ✸✵ ✭✸✮ R ❧➔ ✈➔♥❤ F GF tr→✐✱ R/Z2 (RR ) ❧➔ ✈➔♥❤ ❤♦➔♥ ❝❤➾♥❤ tr→✐✱ ✈➔ Z2 (RR ) ❧➔ ♠ët R✲♠æ✤✉♥ ◆♦❡t❤❡r ♥ë✐ ①↕✳ ❈❤ù♥❣ ♠✐♥❤✳ (1) ⇒ (2)✳ ❉♦ ♠å✐ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✱ R/Z2 (RR ) tr t ỵ 3.3.2 ✤✐➲✉ ❦✐➺♥ ❦❤→❝ ❧➔ ❤✐➸♥ ♥❤✐➯♥✳ (2) ⇒ (1)✳ ▼å✐ ✈➔♥❤ F GF tr→✐ ❧➔ ✈➔♥❤ ✤è✐ ♥❣➝✉ tr→✐✳ ❉♦ ✤â t❤❡♦ ❍➺ q✉↔ 3.3.4✭✷✮✱ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❉♦ ✤â R ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s t❤❡♦ ▼➺♥❤ ✤➲ 3.3.5✭✷✮✳ (1) ⇔ (3)✳ ❈❤ù♥❣ ♠✐♥❤ t÷ì♥❣ tü ✷ ▼➺♥❤ ✤➲ ✸✳✸✳✶✶✳ ❈→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ ✤➙② ❧➔ t÷ì♥❣ ✤÷ì♥❣ ✤è✐ ✈ỵ✐ ♠ët ✈➔♥❤ R✿ ✭✶✮ R ❧➔ ♠ët ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐❀ ✭✷✮ ▼å✐ ✐✤➯❛♥ ♣❤↔✐ ①✐❝❧✐❝ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ✈➔ R/Z2 (RR ) t❤ä❛ ♠➣♥ t➼♥❤ ❝❤➜t ACC ✤è✐ ✈ỵ✐ ✐✤➯❛♥ ♣❤↔✐❀ ✭✸✮ ▼å✐ ✐✤➯❛♥ ♣❤↔✐ ❤ú✉ ❤↕♥ s✐♥❤ ❦❤æ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ✈➔ R/Z2 (RR ) t❤ä❛ ♠➣♥ t➼♥❤ ❝❤➜t ACC ✤è✐ ✈ỵ✐ ✐✤➯❛♥ ♣❤↔✐✳ ❈❤ù♥❣ ♠✐♥❤✳ (1) ⇒ (2)✳ ❚❤❡♦ ✣à♥❤ ỵ 2.3.1 ỵ 3.2.2 (2) (3) t❤➜② ♥➳✉ ♠å✐ ✐✤➯❛♥ ♣❤↔✐ ①②❝❧✐❝ ❦❤æ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣✱ ❦❤✐ ✤â ♠å✐ ✐✤➯❛♥ ♣❤↔✐ ❤ú✉ ❤↕♥ s✐♥❤ ❦❤æ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣✳ ❚❛ ❞ò♥❣ ❦ÿ t❤✉➟t tr♦♥❣ ♣❤➨♣ ❝❤ù♥❣ ♠✐♥❤ ❝õ❛ ❬✶✷✱ ❇ê ✤➲ ❇✳✹✸❪✳ ●å✐ I = a1 R + a2 R + + an R ❧➔ ♠ët ✐✤➯❛♥ ♣❤↔✐ ❤ú✉ ❤↕♥ s✐♥❤ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ✈ỵ✐ n > 1✳ ❚❤❡♦ ❣✐↔ t❤✐➳t✱ ❣✐↔ sû a2 R + + an R = eR ✈ỵ✐ ♣❤➛♥ tû ❧ơ② ✤➥♥❣ e ∈ R✳ ❘ã r➔♥❣ (1 − e)a1 R ❧➔ ❦❤æ♥❣ s✉② ❜✐➳♥✱ ❞♦ ✤â t❤❡♦ ❣✐↔ t❤✐➳t (1 − e)a1 R = e R ✈ỵ✐ ♣❤➛♥ tû ❧ơ② ✤➥♥❣ e ∈ R✳ ❚✉② ♥❤✐➯♥ I = eR + e R ✈➔ ee = 0✳ ❉♦ ✤â e = e + e − e e ❧➔ ♠ët ♣❤➛♥ tû ❧ô② ✤➥♥❣ ✈➔ I = e R✱ t❤❡♦ ②➯✉ ❝➛✉✳ (3) ⇒ (1)✳ ●å✐ I ❧➔ ♠ët ✐✤➯❛♥ ♣❤↔✐ ❦❤æ♥❣ s✉② ❜✐➳♥ ❝õ❛ R✳ ❉♦ R/Z2 (RR ) t❤ä❛ ♠➣♥ t➼♥❤ ❝❤➜t ACC ✤è✐ ✈ỵ✐ ✐✤➯❛♥ ♣❤↔✐✱ t❛ ❦➳t ❧✉➟♥ r➡♥❣ I/Z2 (RR ) ❧➔ ❤ú✉ ❤↕♥ s✐♥❤✳ ❉♦ ✤â I ❤ú✉ ❤↕♥ s✐♥❤ ❞♦ ♥â ❦❤æ♥❣ s✉② ❜✐➳♥✳ ❑❤✐ ✤â t❤❡♦ ỵ tt I ởt tỷ trỹ t R ✈➔ ❞♦ ✤â R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐ t ỵ 2.3.1 q 3.3.4 ởt ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ R/Z2 (RR ) ❧➔ ❆rt✐♥ ♠ët ♣❤➼❛ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ R/Z2 (RR ) ❧➔ ✈➔♥❤ ❤♦➔♥ ❝❤➾♥❤ tr→✐✳ ❍➺ q✉↔ t✐➳♣ t❤❡♦ ❝❤➾ r❛ ♠ët t✐➯✉ ❝❤➼ ❦❤→❝ ✤è✐ ✈ỵ✐ ✸✶ ♠ët ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ ✤➸ trð t❤➔♥❤ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❇ê ✤➲ s❛✉ ✤➙② ❧➔ ❝ỉ♥❣ ❝ư ✤➸ ❝❤ù♥❣ ♠✐♥❤ ❦➳t q✉↔ tr➯♥✳ ❇ê ✤➲ ✸✳✸✳✶✷✳ ●å✐ K ❧➔ ♠ët ✐✤➯❛♥ ❤❛✐ ♣❤➼❛ ❝õ❛ ♠ët ✈➔♥❤ R s❛♦ ❝❤♦ K ❧➔ Z2 ợ tữ ởt R/K ❧➔ ♠ët ✈➔♥❤ ❝❤➼♥❤ q✉② ✈♦♥ ◆❡✉♠❛♥♥ t❤➻ ♠å✐ ✐✤➯❛♥ ♣❤↔✐ ①②❝❧✐❝ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ✭t÷ì♥❣ ù♥❣✱ ❤ú✉ ❤↕♥ s✐♥❤✮ ❝õ❛ ❘ ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣✳ ❈❤ù♥❣ ♠✐♥❤✳ ●å✐ I ❧➔ ♠ët✐✤➯❛♥ ♣❤↔✐ ①②❝❧✐❝ ❦❤æ♥❣ s✉② ❜✐➳♥ ✭t÷ì♥❣ ù♥❣✱ ❤ú✉ ❤↕♥ s✐♥❤✮ ❝õ❛ R✳ ❘ã r➔♥❣ I/Z2 (RR ) ❧➔ ♠ët ✐✤➯❛♥ ♣❤↔✐ ①②❝❧✐❝ ✭t÷ì♥❣ ù♥❣✱ ❤ú✉ ❤↕♥ s✐♥❤✮ ❝õ❛ R/Z2 (RR ) ✈➔ ❞♦ R/Z2 (RR ) ❧➔ ✈➔♥❤ ❝❤➼♥❤ q✉② ✈♦♥ ◆❡✉♠❛♥♥ t❛ ❦➳t ❧✉➟♥ r➡♥❣ R/Z2 (RR ) = I/Z2 (RR ) ⊕ J/K ✳ ❉♦ ✤â R = I ⊕ J ❞♦ I ❦❤æ♥❣ s✉② ❜✐➳♥✳ ✷ ❍➺ q✉↔ ✸✳✸✳✶✸✳ ❈❤♦ ❘ ❧➔ ♠ët ✈➔♥❤✳ ❑❤✐ ✤â✿ ✭✶✮ ◆➳✉ R ❧➔ ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ t❤➻ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ R/Z2 (RR ) ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ♣❤↔✐✳ ✭✷✮ ◆➳✉ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ♣❤↔✐ t❤➻ ❝→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ ✤➙② ❧➔ t÷ì♥❣ ✤÷ì♥❣ ✭✐✮ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐❀ ✭✐✐✮ ▼å✐ ✐✤➯❛♥ ♣❤↔✐ ①✐❝❧✐❝ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣❀ ✭✐✐✐✮ R/Z2 (RR ) ❧➔ ✈➔♥❤ ❝❤➼♥❤ q✉② ✈♦♥ ◆❡✉♠❛♥♥✳ ❈❤ù♥❣ ♠✐♥❤✳ ✭✶✮✳ ❚❤❡♦ ❬✶✵✱ ❍➺ q✉↔ ✶✸✳✷❪✱ ❇ê ✤➲ 3.3.12 ✈ỵ✐ K = Rad(R) ✈➔ ▼➺♥❤ ✤➲ 3.3.11 ✭✷✮✳ (i) (iii) ú t ỵ 3.2.2 (iii) ⇒ (ii)✳ ✣➦t K = Z2 (RR ) tr♦♥❣ ❇ê ✤➲ 3.3.12✳ (ii) ⇒ (i)✳ ❚❤❡♦ ▼➺♥❤ ✤➲ 3.3.11✳ ✷ ❍➺ q✉↔ ✸✳✸✳✶✹✳ ❈→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ ❧➔ t÷ì♥❣ ữỡ ố ợ ởt R ởt ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s❀ ✭✷✮ R ❧➔ ♠ët ✈➔♥❤ ◆♦❡t❤❡r ♣❤↔✐✱ R/Z2 (RR ) ❧➔ ♠ët ✈➔♥❤ ❝❤➼♥❤ q✉② ✈♦♥ ◆❡✉♠❛♥♥ ✈➔ Z2 (RR ) ❧➔ ♠ët R✲♠æ✤✉♥ ♥ë✐ ①↕✳ ❈❤ù♥❣ ♠✐♥❤✳ (1) ⇒ (2)✳ ❚❤❡♦ ▼➺♥❤ ✤➲ 3.3.5 t❛ ❝â R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❉♦ ✤â R/Z2 (RR ) ❧➔ ✈➔♥❤ ♥û❛ ✤ì♥ ✈➔ ❞♦ ✤â ♥â ❧➔ ✈➔♥❤ ❝❤➼♥❤ q✉② ✈♦♥ ◆❡✉♠❛♥♥✳ ❈→❝ ✤✐➲✉ ❦✐➺♥ ❦❤→❝ ❧➔ ❤✐➸♥ ♥❤✐➯♥✳ ✸✷ (2) ⇒ (1)✳ ❚❤❡♦ ❍➺ q✉↔ 3.3.13✭✷✮ t❛ ❝â R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ❱➻ ✈➟② t❤❡♦ ▼➺♥❤ ✤➲ 3.3.5✭✸✮ t❛ ❝â R ❧➔ ✈➔♥❤ tü❛✲❋r♦❜❡♥✐✉s✳ ✷ ❚❤❡♦ ♠ët ❦➳t q✉↔ ♥ê✐ t✐➳♥❣ ❝õ❛ ❖s♦❢s❦②✱ ✤è✐ ✈ỵ✐ ♠ët ✈➔♥❤ R✱ ♠å✐ R✲♠æ✤✉♥ ❧➔ ♠æ✤✉♥ ♥ë✐ ①↕ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♠å✐ R✲♠æ✤✉♥ ①✐❝❧✐❝ ❧➔ ♠æ✤✉♥ ♥ë✐ ①↕ tữỡ ữỡ ợ R ỷ ✤ì♥✳ ❱➼ ❞ư t✐➳♣ t❤❡♦ ❝❤➾ r❛ r➡♥❣ ♥➳✉ ❝❤ó♥❣ t❛ ❣✐ỵ✐ ❤↕♥ t➼♥❤ ❝❤➜t ♥ë✐ ①↕ ✤è✐ ✈ỵ✐ R✲♠ỉ✤✉♥ ①✐❝❧✐❝ ❦❤ỉ♥❣ s✉② ❜✐➳♥ t❤➻ q✉❛♥ ❤➺ t÷ì♥❣ ✤÷ì♥❣ t÷ì♥❣ tü s➩ ❦❤ỉ♥❣ ❝á♥ ✤ó♥❣✳ ◆❣❤➽❛ ❧➔✱ ♥❤â♠ ❝→❝ ✈➔♥❤ R tr♦♥❣ ✤â ♠å✐ R✲♠æ✤✉♥ ❦❤æ♥❣ s✉② ❜✐➳♥ ❧➔ ♠æ✤✉♥ ♥ë✐ ①↕ ✭❧➔ ❝→❝ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✮ ✤÷đ❝ ❝❤ù❛ tr♦♥❣ ♥❤â♠ ❝→❝ ✈➔♥❤ R tr♦♥❣ ✤â ♠å✐ R✲♠æ✤✉♥ ①②❝❧✐❝ ❦❤ỉ♥❣ s✉② ❜✐➳♥ ❧➔ ♠ỉ✤✉♥ ♥ë✐ ①↕✳ ❱➼ ❞ư ✸✳✸✳✶✺✳ ●å✐ T ❧➔ ♠ët ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ ❦❤æ♥❣ s✉② ❜✐➳♥ ♣❤↔✐ ✈➔ Λ ❧➔ ♠ët t➟♣ ✈æ ❤↕♥✳ ❚❤❡♦ ❇ê ✤➲ 3.2.10 ✈➔ ❬✶✵✱ ❍➺ q✉↔ ✸✳✶✶❇❪✱ R = Λ T ❧➔ ♠ët ✈➔♥❤ tü ♥ë✐ ①↕ ♣❤↔✐ ❦❤æ♥❣ s✉② ❜✐➳♥ ♣❤↔✐ ✈➔ rã r➔♥❣ ♥â ❦❤æ♥❣ ♣❤↔✐ ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ♣❤↔✐✳ ❱➻ ✈➟② t❤❡♦ ❍➺ q✉↔ 3.3.13✭✶✮ t❛ ❝â R ❦❤ỉ♥❣ ♣❤↔✐ ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐✳ ▼➦t ❦❤→❝✱ t❤❡♦ ▼➺♥❤ ✤➲ ✶✳✷✳✼ ♠å✐ R✲♠æ✤✉♥ ①✐❝❧✐❝ ❦❤æ♥❣ s✉② ❜✐➳♥ ❧➔ ✤➥♥❣ ❝➜✉ tỵ✐ R/C tr♦♥❣ ✤â C ❧➔ ♠ët ✐✤➯❛♥ ♣❤↔✐ t✲✤â♥❣ ❝õ❛ R✳ ❍ì♥ ♥ú❛✱ RR ❧➔ ✈➔♥❤ t✲♠ð rë♥❣✱ ♥❣❤➽❛ ❧➔✱ ♠å✐ ✐✤➯❛♥ ♣❤↔✐ t✲✤â♥❣ ❝õ❛ R ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣✳ ❉♦ ✤â ♠å✐ R✲♠æ✤✉♥ ①②❝❧✐❝ ❦❤æ♥❣ s✉② ❜✐➳♥ ❧➔ ♠æ✤✉♥ ♥ë✐ ①↕✳ ✸✸ ❑➌❚ ▲❯❾◆ ▲✉➟♥ ✈➠♥ ✤➣ t❤✉ ✤÷đ❝ ❝→❝ ❦➳t q✉↔ s❛✉ ✭✶✮ ❚r➻♥❤ ❜➔② ❦❤→✐ ♥✐➺♠ ✈➲ t✲♠æ✤✉♥ ♥û❛ ✤ì♥ ✈➔ ♠ët ✈➔✐ ✈➼ ❞ư ❧✐➯♥ q✉❛♥✳ ✭✷✮ ❈❤ù♥❣ ♠✐♥❤ ✤÷đ❝ ♠è✐ q✉❛♥ ❤➺ ❣✐ú❛ ♠ỉ✤✉♥ ♥û❛ ✤ì♥✱ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥✱ ♠ỉ✤✉♥ t✲♠ð rë♥❣✱ ♠ỉ✤✉♥ t✲❇❛❡r✳ ✭✸✮ ❚ê♥❣ trü❝ t✐➳♣ ❝→❝ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ ❧➔ ♠ỉ✤✉♥ t✲♥û❛ ✤ì♥✳ ✭✹✮ ❚r➻♥❤ ❜➔② ❦❤→✐ ♥✐➺♠ ✈➲ ✈➔♥❤ t✲ ♥û❛ ✤ì♥✳ ✭✺✮ ▲ỵ♣ R✲♠ỉ✤✉♥ t✲♥û❛ ✤ì♥ trị♥❣ ✈ỵ✐ ♠ët ❧ỵ♣ R✲♠ỉ✤✉♥ t✲♠ð rë♥❣ ♥➳✉ ✈➔ ❝❤➾ ♥➳✉ R ❧➔ ♠ët ✈➔♥❤ t✲ ♥û❛ ✤ì♥ ♣❤↔✐✳ ✭✻✮ R ❧➔ ✈➔♥❤ t✲♥û❛ ✤ì♥ ♣❤↔✐ ♥➳✉ ✈➔ ❝❤➾ ♥➳✉ Rad(R) ❧➔ Z2 ✲①♦➢♥ ✈➔ R/Z2 (RR ) ❧➔ ♠ët ✈➔♥❤ ❤♦➔♥ ❝❤➾♥❤ tr→✐✳ ✸✹ ❚⑨■ ▲■➏❯ ❚❍❆▼ ❑❍❷❖ ❚✐➳♥❣ ❱✐➺t ❬✶❪ ◆❣✉②➵♥ ❍ú✉ ❱✐➺t ❍÷♥❣ ✭✶✾✾✾✮✱ ✣↕✐ sè ✤↕✐ ❝÷ì♥❣✱ ◆❤➔ ①✉➜t ❜↔♥ ●✐→♦ ❞ư❝✳ ❬✷❪ ❚r÷ì♥❣ ❈ỉ♥❣ ◗✉ý♥❤✱ ▲➯ ❱➠♥ ❚❤✉②➳t ✭✷✵✶✸✮✱ ●✐→♦ tr➻♥❤ ỵ tt t ❍✉➳✳ ❬✸❪ ▲➯ ❱➠♥ ❚❤✉②➳t✱ ▲➯ ✣ù❝ ❚❤♦❛♥❣ ✭✷✵✶✼✮✱ ●✐→♦ tr➻♥❤ ✈➔♥❤ ✈ỵ✐ ✤✐➲✉ ❦✐➺♥ ❤ú✉ ❤↕♥✱ ◆❤➔ ①✉➜t ❜↔♥ ✣↕✐ ❤å❝ ❍✉➳✳ ❚✐➳♥❣ ❆♥❤ ❬✹❪ ❙❤✳ ❆s❣❛r✐✱ ❆✳ ❍❛❣❤❛♥② ✭✷✵✶✶✮✱ t✲❊①t❡♥❞✐♥❣ ▼♦❞✉❧❡s ❛♥❞ t✲❇❛❡r ▼♦❞✉❧❡s✱ ❈♦♠✉♥✐❝❛t✐♦♥s ✐♥ ❆❧❣❡❜r❛✱ ✸✾✿✺✱ ✶✻✵✺✲✶✻✷✸✳ ❬✺❪ ❙❤✳ ❆s❣❛r✐✱ ❆✳ ❍❛❣❤❛♥② ❨✳❚♦❧♦♦❡✐ ✭✷✵✶✸✮✳ t✲❙❡♠✐s✐♠♣❧❡ ▼♦❞✉❧❡s ❛♥❞ t✲❙❡♠✐s✐♠♣❧❡ ❘✐♥❣s✳❈♦♠✉♥✐❝❛t✐♦♥s ✐♥ ❆❧❣❡❜r❛✱ ✹✶✿✺✱ ✶✽✽✷✲✶✾✵✷✳ ❬✻❪ ❈❧❛r❦✱ ❏✳✱ ▲♦♠♣✱ ❈✳✱ ❱❛♥❛❥❛ ◆✳✱ ❲✐s❜❛✉❡r✱ ❘✳ ✭✷✵✵✻✮✳▲✐❢t✐♥❣ ▼♦❞✉❧❡s ✳ ❋r♦♥t✐❡rs ✐♥ ▼❛t❤❡♠❛t✐❝s✱ ❇❛s❡❧✿ ❇✐r❦❤❛✉s❡r ❱❡r❧❛❣✳ ❬✼❪ ❉♦❣✞r✉☎♦③✱ ❙✳✱ ❙♠✐t❤✱ P✳ ❋✳ ✭✶✾✾✽✮✳ ❇❛❡r ❛♥❞ q✉❛s✐✲❇❛❡r ♠♦❞✉❧❡s✳ ❈♦♠♠✳ ❆❧❣❡❜r❛ ✸✷✿✶✵✸✕✶✷✸✳ ❬✽❪ ❉✉♥❣✱ ◆✳ ❱✳✱ ❍✉②♥❤✱ ❉✳ ❱✳✱ ❙♠✐t❤✱ P✳ ❋✳✱ ❲✐s❜❛✉❡r✱ ❘✳ ✭✶✾✾✹✮ ❊①t❡♥❞✐♥❣ ♠♦❞✉❧❡s✳ P✐t♠❛♥ ❘❡s❡❛r❝❤ ◆♦t❡s ✐♥ ▼❛t❤❡♠❛t✐❝s ✸✶✸✳ ❍❛r❧♦✇✿ ▲♦♥❣♠❛♥✳ ❬✾❪ ❑♦s❛♥✱ ❚✳✱ ❍❛r♠❛♥❝✐✱ ❆✳ ✭✷✵✵✹✮✳ ▼♦❞✉❧❡s s✉♣♣❧❡♠❡♥t❡❞ r❡❧❛t✐✈❡✳ ❚✉r❦ ❏✳ ▼❛t❤✳ ✷✽✿✶✼✼✲✶✽✹✳ ❬✶✵❪ ▲❛♠✱ ❚✳ ❨✳ ✭✶✾✾✽✮✳ ▲❡❝t✉r❡s ♦♥ ▼♦❞✉❧❡s ❛♥❞ ❘✐♥❣s✳●r❛❞✉❛t❡ ❚❡①ts ✐♥ ▼❛t❤❡♠❛t✐❝s✱ ❱♦❧✳ ✶✽✾✳ ◆❡✇ ❨♦r❦✴❇❡r❧✐♥✿ ❙♣r✐♥❣❡r✲❱❡r❧❛❣✳ ❬✶✶❪ ◆✐❝❤♦❧s♦♥✱ ❲✳ ❑✳✱ ❩❤♦✉✱ ❨✳ ✭✷✵✵✺✮✳ ❙tr♦♥❣ ❧✐❢t✐♥❣✳ ❏✳ ❆❧❣❡❜r❛ ✷✽✺✿✼✾✺✲✽✶✽✳ ❬✶✷❪ ◆✐❝❤♦❧s♦♥✱ ❲✳ ❑✳✱ ❨♦✉s✐❢✱ ▼✳ ❋✳ ✭✷✵✵✸✮✳◗✉❛s✐ ✲ ❋r♦❜❡♥✐✉s ❘✐♥❣s✳ ❈❛♠❜r✐❞❣❡ ❚r❛❝ts ✐♥ ▼❛t❤❡♠❛t✐❝s✱ ❱♦❧✳ ✶✺✽✳ ❈❛♠❜r✐❞❣❡ ❯♥✐✈❡rs✐t② Pr❡ss✳ ❬✶✸❪ ❘✐③✈✐✱ ❙✳ ❚✳✱ ❘♦♠❛♥✱ ❈✳ ❙✳ ✭✷✵✵✹✮✳ ❇❛❡r ❛♥❞ q✉❛s✐✲❇❛❡r ♠♦❞✲ ✸✺ ✉❧❡s✳❈♦♠♠✳ ❆❧❣❡❜r❛ ✸✷✿✶✵✸✕✶✷✸✳ ❬✶✹❪ ❩❤♦✉✱ ❉✳✱ ▲✐✱ ❉✳✱ ●✉♦✱ ▲✳ ✭✷✵✶✵✮✳ ▲❛r❣❡ ❛♥♥✐❤✐❧❛t♦r ❝♦♥❞✐t✐♦♥s r❡❧❛t✐✈❡ t♦ ♠♦❞✉❧❡s ❝❧❛ss❡s✳ ❚❤❛✐ ❏♦✉r♥❛❧ ♦❢ ▼❛t❤❡♠❛t✐❝s ✽✿✷✶✼✲✷✷✻✳ ... ♥➯♥ tM (tS (N )) ❧➔ ♠? ?t ❤↕♥❣ t? ? trü❝ t? ??➳♣ ❝õ❛ M ✳ ❚❤❡♦ ❣✐↔ t? ??✐? ?t N ❧➔ ♠? ?t ❤↕♥❣ t? ? trü❝ t? ??➳♣ ❝õ❛ M ✤✐➲✉ ♥➔② ❦➨♦ t? ??❡♦ N ❧➔ ♠? ?t ❤↕♥❣ t? ? trü❝ t? ??➳♣ ❝õ❛ M ✳ ❚ø ✤â s✉② r❛ M ❧➔ ổ ỷ ỡ õ t ỵ 2.3.1 t? ??... ❚r♦♥❣ tr÷í♥❣ ❤đ♣ r = t? ?? t t T s = tt ∈ ✣✐➲✉ ♥➔② ❝â ♥❣❤➽❛ ❧➔ I N S ≤e TT s✉② r❛ L ∩ L Z2 (MS ) Z2 (SS ) x 0 I N S ✳ ∈ Z2 (TT )✳ ❱➻ ✈➟② ≤ Z2 (TT ) x m ∈ Z2 (TT ) t? ?? t ? ?t y x m ♣❤↔✐ ❝? ?t ②➳✉... 1.2.11✭✹✮ t? ??➻ ♠æ✤✉♥ ❝♦♥ K tr♦♥❣ ✭✸✮ ❧➔ ♠? ?t ❤↕♥❣ t? ? trü❝ t? ??➳♣ ❝õ❛ M s K tes N ú ỵ ? ?t ỵ tt tr trữợ M od − R ✈ỵ✐ ❤➔♠ t? ? ①♦➢♥ τ ✱ t? ??❡♦ ❬✾❪ ♠ỉ✤✉♥ M ✤÷đ❝ ❣å✐ ❧➔ ♠ỉ✤✉♥ τ ✲♣❤ư ♥➳✉ ợ ổ N M t? ?? t ? ?t ❤↕♥❣