Đang tải... (xem toàn văn)
1 MÖC LÖC Trang Mð �¦u 5 Ch÷ìng 1 Sì l÷ñc v lþ thuy¸t tªp hñp 9 §1 Tªp hñp v c¡c ph²p to¡n tr¶n tªp hñp 9 §2 �nh x¤ 11 §3 Quan h» 13 §4 Tªp hñp t÷ìng �÷ìng 16 §5 Ti¶n � chån v c¡c m»nh � t÷ìng �÷ìng 19 B i tªp 23 Ch÷ìng 2 Nhâm 25 §1 �ành ngh¾a v v½ dö v nhâm 25 §2 Nhâm con, �ành lþ Lagrange 29 §3 Nhâm con chu©n tc 33 §4 �çng c§u nhâm 36 §5 Ph¤m trò v h m tû 42 §6 Nhâm Abel húu h¤n sinh 56 B i tªp 68 Ch÷ìng 3 V nh, tr÷íng v v nh �a thùc 75 §1 C¡c �ành ngh¾a v v½ dö 75 §2 I�¶an v �çng c§u v nh 80.
✶ ▼Ö❈ ▲Ö❈ ❚r❛♥❣ ▼ð ✣➛✉ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❈❤÷ì♥❣ ✶✳ ❙ì ❧÷đ❝ ỵ tt t ủ Đ ủ ✈➔ ❝→❝ ♣❤➨♣ t♦→♥ tr➯♥ t➟♣ ❤ñ♣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ §✷✳ ⑩♥❤ ①↕ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶ §✸✳ ◗✉❛♥ ❤➺ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✸ §✹✳ ❚➟♣ ❤đ♣ t÷ì♥❣ ✤÷ì♥❣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✻ §✺✳ ❚✐➯♥ ✤➲ ❝❤å♥ ✈➔ ❝→❝ ♠➺♥❤ ✤➲ t÷ì♥❣ ✤÷ì♥❣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✾ ❇➔✐ t➟♣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ữỡ õ Đ ❞ö ✈➲ ♥❤â♠ ✳ ✳ ✳ ✳ ✳ ✳ ✳ Đ õ ỵ ▲❛❣r❛♥❣❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ Đ õ t Đ ỗ ❝➜✉ ♥❤â♠ ✳ ✳ §✺✳ P❤↕♠ trị ✈➔ ❤➔♠ tû ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✸ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✻ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✷ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✺✻ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✽ §✻✳ ◆❤â♠ ❆❜❡❧ ❤ú✉ ❤↕♥ s✐♥❤ ❇➔✐ t➟♣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❈❤÷ì♥❣ ✸✳ ❱➔♥❤✱ trữớ tự Đ ✈➔ ✈➼ ❞ö ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✺ §✷✳ ■✤➯❛♥ ✈➔ ỗ ✳ ✳ ✳ ✳ ✳ ✳ ✽✵ §✸✳ ❱➔♥❤ ❣✐❛♦ ❤♦→♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✻ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✹ ✳ §✹✳ ❱➔♥❤ ❝→❝ ♣❤➙♥ t❤ù❝ §✺✳ ❱➔♥❤ tự Đ ò t ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✾ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✹ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ữỡ ổ Đ ✈➼ ❞ö ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ Đ ỗ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✷✷ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✷✻ ✳ ✳ ✳ ✳ ✳ §✸✳ ❚ê♥❣ ✈➔ t➼❝❤ trü❝ t✐➳♣ §✹✳ ❉➣② ❤đ♣ t❤➔♥❤ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✸✷ §✺✳ ❚➼❝❤ t❡♥ ①ì ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ Đ ợ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✹✺ ❇➔✐ t➟♣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✺✸ ✳ ✳ ✷ ữỡ ổ tr Đ ổ ①↕ ✳ ✳ ✳ ✳ §✷✳ ▼ð rë♥❣ ❝èt ②➳✉ ✈➔ ❜❛♦ ♥ë✐ §✸✳ ▼ỉ✤✉♥ ①↕ ↔♥❤ ✳ ✳ ✳ ✳ §✹✳ ▼ỉ✤✉♥ ◆♦❡t❤❡r ✳ ✳ ✳ ✳ §✺✳ ▼ỉ✤✉♥ ❆rt✐♥ ✳ ✳ ✳ ✳ §✻✳ P❤➙♥ t➼❝❤ ♠ỉ✤✉♥ ♥ë✐ ①↕ ✳ ❇➔✐ t➟♣ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ❚➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦ ✳ ✳ ✳ ✳ ❚r❛ ❝ù✉ tø ❦❤♦→ ✳ ✳ ✳ ✳ ✳ ✳ ①↕ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✺✼ ✶✺✼ ✶✻✺ ✶✼✷ ✶✽✵ ✶✽✼ ✶✾✺ ✷✵✵ ✷✵✺ ✷✵✼ ▼ð ✤➛✉ ❈â t❤➸ ♥â✐ r➡♥❣ ♠å✐ ♥❣➔♥❤ t♦→♥ ❤å❝ ❤✐➺♥ ✤↕✐ ♥❣➔② ♥❛② tr♦♥❣ q✉→ tr➻♥❤ ♣❤→t tr✐➸♥ ✤➲✉ ❝➛♥ tỵ✐ ❝→❝ ❝➜✉ tró❝ ✤↕✐ sè ✈➔ t➜t ♥❤✐➯♥ ❝↔ ♥❤ú♥❣ ❤✐➸✉ ❜✐➳t s➙✉ s➢❝ ✈➲ ❝→❝ ❝➜✉ tró❝ ♥➔②✳ ✣✐➲✉ ♥➔② ❝ô♥❣ ❞➵ ❤✐➸✉✱ ✈➻ t❛ ❜✐➳t r➡♥❣ ❤❛✐ ✤➦❝ tr÷♥❣ ❝ì ❜↔♥ ♥❤➜t ❝õ❛ t♦→♥ ❤å❝ ❧➔ t➼♥❤ trø✉ t÷đ♥❣ ✈➔ t➼♥❤ tê♥❣ q✉→t✱ ♠➔ ❤❛✐ ✤➦❝ t➼♥❤ ♥➔② ❧↕✐ ❜✐➸✉ ❤✐➺♥ ♠ët ❝→❝❤ rã r➔♥❣ ♥❤➜t tr♦♥❣ ✤↕✐ sè✳ ✣➣ ❝â r➜t ♥❤✐➲✉ s→❝❤ ✈➲ ✤↕✐ sè ❝õ❛ t t tứ t ữợ ♥❣♦➔✐ ✤÷đ❝ ①✉➜t ❜↔♥ ð ❱✐➺t ◆❛♠✱ tr♦♥❣ sè ✤â ❝â ♥❤✐➲✉ q✉②➸♥ ✤➣ trð t❤➔♥❤ ❦✐♥❤ ✤✐➸♥ ✈➔ ✤÷đ❝ sû ❞ö♥❣ ❧➔♠ ❣✐→♦ tr➻♥❤ ❣✐↔♥❣ ❞↕②✱ t❤❛♠ ❦❤↔♦ ❝❤♦ s✐♥❤ ✈✐➯♥ ❤å❝ t♦→♥ tr➯♥ ❦❤➢♣ t❤➳ ❣✐ỵ✐✳ ❱➻ ✈➟②✱ ✈✐➳t ♠ët ❣✐→♦ tr➻♥❤ ♠ỵ✐ ✈➲ ✤↕✐ sè ❧➔ ♠ët ✈✐➺❝ ❧➔♠ r➜t ❦❤â ❦❤➠♥✱ ♥❤➜t ❧➔ ❦❤✐ t→❝ ❣✐↔ ❦❤æ♥❣ ♠✉è♥ r➟♣ ❦❤✉æ♥ ❤❛② s❛♦ ❝❤➨♣ ❧↕✐ tø♥❣ ♣❤➛♥ ❝→❝ ❣✐→♦ tr➻♥❤ ✤➣ ❝â✳ ❈✉è♥ s→❝❤ ♥➔② ✤÷đ❝ ✈✐➳t ❞ü❛ tr➯♥ ❝→❝ ❜➔✐ ❣✐↔♥❣ ✈➲ ✤↕✐ sè ❝õ❛ t→❝ ❣✐↔ tr♦♥❣ ✈á♥❣ ✶✵ ♥➠♠ trð ❧↕✐ ✤➙② ❝❤♦ ❤å❝ ✈✐➯♥ ❝❛♦ ❤å❝ ✈➔ ♥❣❤✐➯♥ ❝ù✉ s✐♥❤ t↕✐ ❱✐➺♥ ❚♦→♥ ởt số trữớ tr ữợ ụ ♥❤÷ ❝→❝ ❜➔✐ ❣✐↔♥❣ tr♦♥❣ ✹ ♥➠♠ ❣➛♥ ✤➙② ❝❤♦ ợ ỷ t tở rữớ ❑❤♦❛ ❤å❝ ❚ü ♥❤✐➯♥✱ ✣↕✐ ❤å❝ ◗✉è❝ ❣✐❛ ❍➔ ◆ë✐✳ õ ữủ t ữợ tợ t t ✤➛✉ t✐➯♥✱ ❣✐è♥❣ ♥❤÷ ♠å✐ ❣✐→♦ tr➻♥❤ ✈➲ ✤↕✐ sè✱ ❧➔ ♥❤➡♠ ❝✉♥❣ ❝➜♣ ❝→❝ ❝➜✉ tró❝ ✤↕✐ sè ❝ì ❜↔♥ ♥❤➜t ♠➔ ❦❤ỉ♥❣ ✤á✐ ❤ä✐ ♥❣÷í✐ ✤å❝ ♣❤↔✐ ❝â ❜➜t ❝ù ❦✐➳♥ t❤ù❝ ❝❤✉➞♥ ❜à ✈➲ ✤↕✐ sè ♥➔♦ trữợ õ trứ ởt út t t ▼ö❝ t✐➯✉ t❤ù ❤❛✐ ❝õ❛ ❝✉è♥ s→❝❤ ❧➔ tr➻♥❤ ❜➔② trú số ữợ ởt ổ ♥❣ú tê♥❣ q✉→t✱ t❤è♥❣ ♥❤➜t ✈ỵ✐ sü ❝❤ó trå♥❣ ♥❤✐➲✉ ❤ì♥ ❝→❝ t➼♥❤ ♣❤ê ❞ư♥❣ ❝õ❛ ❝→❝ ❦❤→✐ ♥✐➺♠✳ ◆â✐ ❝→❝❤ ❦❤→❝✱ t→❝ ❣✐↔ ♠✉è♥ ♥❣÷í✐ ✤å❝ ♥❤➟♥ t❤➜② ❝→❝ ♠è✐ q✉❛♥ ❤➺ q✉❛ ❧↕✐ ❣✐ú❛ ❝→❝ ❦❤→✐ ♥✐➺♠✱ ❝➜✉ tró❝ ✤↕✐ sè ✸ ✹ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ❦❤→❝ ♥❤❛✉ ✈➔ ❦❤✉②➳♥ ❦❤➼❝❤ ❝❤♦ ♥❤ú♥❣ t÷ ❞✉② tê♥❣ q✉→t✱ trø✉ t÷đ♥❣ ❤ì♥ ♥ú❛✳ ❉♦ ✤â✱ ❣✐→♦ tr➻♥❤ ♥➔② ✤÷đ❝ ✈✐➳t t❤❡♦ ♣❤÷ì♥❣ ♣❤→♣ ✤✐ tø trø✉ t÷đ♥❣ ✤➳♥ ❝ư t❤➸✱ ❧➔ ♠ët ✈✐➺❝ ❧➔♠ tr→✐ ✈ỵ✐ ❤➛✉ t ố s số trữợ ũ ♣❤÷ì♥❣ ♣❤→♣ ♥➔② ❝❤♦ ♣❤➨♣ t❛ ❝â ♠ët ❝→❝❤ ♥❤➻♥ tê♥❣ t❤➸ ❤ì♥✱ rót ♥❣➢♥ ✤→♥❣ ❦➸ ❝→❝❤ tr➻♥❤ ❜➔② ✈➻ ❞➵ ❞➔♥❣ ✤÷❛ ❝→❝ ❝➜✉ tró❝ ❦❤→❝ ♥❤❛✉ ✈➔♦ tr♦♥❣ ♠ët ❦❤→✐ ♥✐➺♠ ✈➔ ❣✐ó♣ ♥❣÷í✐ ✤å❝ ❧➔♠ q✉❡♥ ợ ữỡ tữ tự ữỡ q✉❛♥ trå♥❣ ♥❤➜t tr♦♥❣ ✤↕✐ sè✳ ❚✉② ♥❤✐➯♥ ✤➸ ❣✐↔♠ ợt t tự s ộ trứ tữủ ❝❤ó♥❣ tỉ✐ ❝è ❣➢♥❣ ✤÷❛ r❛ ♥❤✐➲✉ ✈➼ ❞ư ❦❤→❝ ♥❤❛✉ ♥❤➡♠ ❣✐ó♣ ❝❤♦ ♥❣÷í✐ ✤å❝ ❞➵ ❤➻♥❤ ❞✉♥❣ ✈➔ t ữủ ỗ ữỡ ữỡ tr tt ỵ tt t➟♣ ❤ñ♣✱ →♥❤ ①↕✱ ❝→❝ q✉❛♥ ❤➺ ♥❤➡♠ t❤è♥❣ ♥❤➜t ỵ t ữỡ t t r ữỡ ỵ tt õ ú tổ ọ q ♥❤ú♥❣ ❝➜✉ tró❝ ♥û❛ ♥❤â♠✱ t✐➲♥ ♥❤â♠ ♠➔ ✤✐ ♥❣❛② ✈➔♦ ✤à♥❤ ♥❣❤➽❛ ♥❤â♠✳ ❈❤ó♥❣ tỉ✐ ❝ơ♥❣ ❜ä q✉❛ ♣❤➛♥ ỵ tt õ ỳ tr ❤ì♥ ✈➲ ❝➜✉ tró❝ ♥❤â♠ ❆❜❡❧ ❤ú✉ ❤↕♥ s✐♥❤✳ ❑❤→✐ ♥✐➺♠ ♣❤↕♠ trị ✈➔ ❤➔♠ tû ❝ơ♥❣ ✤÷đ❝ ✤÷❛ ✈➔♦ ❝❤÷ì♥❣ ♥➔② ♥❤➡♠ ♣❤ư❝ ✈ư ♥❣❛② ❝❤♦ ✈✐➺❝ ✤à♥❤ ♥❣❤➽❛ ❝→❝ ❦❤→✐ ♥✐➺♠ q✉❛♥ trå♥❣ ♠❛♥❣ t➼♥❤ ♣❤ê ❞ö♥❣ ❝õ❛ ✤↕✐ sè tr♦♥❣ s✉èt ❣✐→♦ tr➻♥❤ ♠ët ❝→❝❤ ♥❤➜t q✉→♥✳ r ữỡ ỵ tt õ ởt ú þ ❧➔ tr♦♥❣ ✤à♥❤ ♥❣❤➽❛ ♠ët ✈➔♥❤ t❛ ✤á✐ ❤ä✐ sỹ tỗ t tỷ ỡ ụ ✤✐➲✉ ♠➔ ♥❤✐➲✉ ❣✐→♦ tr➻♥❤ ✤↕✐ sè ❦❤→❝ ❦❤æ♥❣ ✤á✐ ọ ỵ t ❣✐→♦ tr➻♥❤ ✤÷đ❝ ✈✐➳t t❤✐➯♥ ♥❤✐➲✉ ❤ì♥ ✈➲ ✈➔♥❤ ❣✐❛♦ ❤♦→♥✳ ❈❤÷ì♥❣ ✹ tr➻♥❤ ❜➔② ❝→❝ ✤à♥❤ ♥❣❤➽❛ ✈➔ ❝→❝ ỡ ỵ tt ổ trú q✉❛♥ trå♥❣ ♥❤➜t ❝õ❛ ✤↕✐ sè✳ ❍❛✐ ❤➔♠ tû q✉❛♥ trồ t ỵ tt ổ tỷ ✈➔ t❡♥ ①ì ❝ơ♥❣ ♥❤÷ t➼♥❤ ❝❤➜t ✤ì♥ ❣✐↔♥ ✤➛✉ t✐➯♥ ❝õ❛ ❝❤ó♥❣ ❝ơ♥❣ ✤÷đ❝ ①➨t ✤➳♥ tr♦♥❣ ❝❤÷ì♥❣ ♥➔②✳ ❈❤÷ì♥❣ ❝✉è✐ ❝ị♥❣ ❞➔♥❤ ❝❤♦ ✈✐➺❝ tr➻♥❤ ❜➔② ❝➜✉ tró❝ ởt số ợ ổ t q trồ ữ ổ ♥ë✐ ①↕✱ ♠æ✤✉♥ ①↕ ↔♥❤✱ ♠æ✤✉♥ ◆♦❡t❤❡r ✈➔ ❆rt✐♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥✳ ◆❤÷ ✈➟②✱ ❤❛✐ ❝❤÷ì♥❣ ❝✉è✐ ❝õ❛ ❣✐→♦ tr➻♥❤ ❝â t❤➸ ①❡♠ ♥❤÷ ❧➔ ♠ët sü ❝❤✉➞♥ ❜à tự ỳ õ ỵ ✤à♥❤ t✐➳♣ tö❝ ✤✐ s➙✉ ✈➔♦ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ ♥❣➔♥❤ q trồ số ữ ỵ tt ổ tr t ủ số ỗ số ❣✐❛♦ ❤♦→♥✳ ▼ð ✤➛✉ ✺ ❈✉è✐ ♠é✐ ❝❤÷ì♥❣ ❝õ❛ ❝✉è♥ s→❝❤ ✤➲✉ ❝â ♣❤➛♥ ❜➔✐ t➟♣ ✤÷đ❝ ❝❤å♥ ❧å❝✳ ❈→❝ ❜➔✐ t➟♣ ♥➔② ❦❤ỉ♥❣ ❝❤➾ ✤➸ ♥❣÷í✐ ✤å❝ ❣✐↔✐ ♥❤➡♠ tü ❦✐➸♠ tr❛ sü t✐➳♣ t❤✉ ♥❤ú♥❣ ✤✐➲✉ ✤➣ ❤å❝✱ ♠➔ ♥❤✐➲✉ ❜➔✐ t➟♣ ❧➔ ♥❤ú♥❣ ❜ê s✉♥❣ ❤❛② ♠ð rë♥❣ ❦✐➳♥ t❤ù❝ ❝❤÷❛ ❝â tr♦♥❣ s→❝❤✳ ❱➻ ✈➟②✱ s➩ t❤ü❝ sü ❝â ➼❝❤ ♥➳✉ ♥❣÷í✐ ✤å❝ ❣✐↔✐ ✤÷đ❝ ♥❤✐➲✉ t ố s ữủ t r ợ ✤➼❝❤ ❝â t❤➸ ❞ò♥❣ ❧➔♠ ❣✐→♦ tr➻♥❤ ✤↕✐ sè ❝❤♦ ❝❤♦ ❝→❝ ❧ỵ♣ ❝❛♦ ❤å❝ ❤♦➦❝ ❞ị♥❣ ❧➔♠ s→❝❤ t❤❛♠ ❦❤↔♦ ❝❤♦ ♥❤ú♥❣ s✐♥❤ ✈✐➯♥ ❤å❝ ✈➲ ❝→❝ ♥❣➔♥❤ t♦→♥ ỵ tt ự s ❦❤→✐ ♥✐➺♠ ✤➲✉ ✤÷đ❝ ✤à♥❤ ♥❣❤➽❛ tø ✤➛✉✱ ♥➯♥ ♥â ❝ô♥❣ ❝â t❤➸ ❜ê ➼❝❤ ❝❤♦ t➜t ❝↔ ♥❤ú♥❣ ❛✐ ♠✉è♥ ❤å❝ t❤➯♠ ✈➲ ✤↕✐ sè✳ ❱ỵ✐ ♠♦♥❣ ♠✉è♥ ❣✐ó♣ ❝❤♦ ✤å❝ ❣✐↔ ♥❤➟♥ ✤÷đ❝ ♥❤✐➲✉ ❦✐➳♥ t❤ù❝ ✈➲ ✤↕✐ sè ✤↕✐ ❝÷ì♥❣ ❜➡♥❣ ♠ët ♥❣ỉ♥ ♥❣ú ❤✐➺♥ ✤↕✐ tr♦♥❣ ♠ët ❝✉è♥ s→❝❤ ♥❤ä ❧➔ ♠ët ✈✐➺❝ ❧➔♠ ❦❤â tr→♥❤ ❦❤ä✐ ❝â ♥❤✐➲✉ t❤✐➳✉ sât✳ ❱➻ ✈➟②✱ t→❝ ❣✐↔ ♠♦♥❣ ố ữủ ỳ t õ ỵ ỗ ỳ t sõt ❝✉è♥ s→❝❤ ♥➔②✳ ❚→❝ ❣✐↔ ①✐♥ ❝❤➙♥ t❤➔♥❤ ❝↔♠ ì♥ P●❙✳ ❚❙❑❍✳ ▲➯ ❚✉➜♥ ❍♦❛ ✤➣ ✤å❝ ❦ÿ t♦➔♥ ❜ë t õ õ ỵ qỵ ✤➸ ❝✉è♥ s→❝❤ ✤÷đ❝ tèt ❤ì♥✳ ❚→❝ ❣✐↔ ①✐♥ ❝❤➙♥ t❤➔♥❤ ❝↔♠ ì♥ ●❙✳ ❱❙✳ ◆❣✉②➵♥ ❱➠♥ ✣↕♦ ✤➣ q✉❛♥ t➙♠ ✤➳♥ ❜ë s→❝❤ ❝❛♦ ❤å❝ ❝õ❛ ❱✐➺♥ ❚♦→♥ ❤å❝✱ ỡ ỗ ỹ ①✉➜t ❜↔♥ ✣↕✐ ❤å❝ ◗✉è❝ ❣✐❛ ❍➔ ◆ë✐ ✤➣ ❣✐ó♣ ✤ï ✤➸ ❝✉è♥ s→❝❤ ✤÷đ❝ ①✉➜t ❜↔♥✳ ❍➔ ◆ë✐✱ t❤→♥❣ ✶✵ ♥➠♠ ✷✵✵✷ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✻ ▲í✐ tü❛ ❝❤♦ t→✐ ❜↔♥ ❧➛♥ t❤ù ♥❤➜t ❚♦➔♥ ❜ë ♥ë✐ ❞✉♥❣ ❝õ❛ ❝✉è♥ s→❝❤ ✤÷đ❝ t→✐ ❜↔♥ ❧➛♥ ♥➔② ❤♦➔♥ t♦➔♥ trị♥❣ ✈ỵ✐ ❧➛♥ ①✉➜t ❜↔♥ ✤➛✉ t✐➯♥✳ ❚→❝ ❣✐↔ ❝❤➾ ❝❤➾♥❤ sû❛ ♠ët sè ❧é✐ s♦↕♥ t❤↔♦ ✈➔ ✐♥ ➜♥✳ ▼ët ✈➔✐ ❞✐➵♥ ✤↕t ✈➲ t♦→♥ ✤÷đ❝ t❤❛② ỹ õ ỵ ỗ ❣✐ó♣ ♥❣÷í✐ ✤å❝ ❞➵ ❤✐➸✉ ❤ì♥✳ ◗✉❛ ✤➙② t→❝ ❣✐↔ ①✐♥ ❝↔♠ ì♥ P●❙✳ ❚❙✳ ▲➯ ❚❤❛♥❤ ◆❤➔♥ ✈➲ ♥❤ú♥❣ õ ỵ sỷ tr ①✐♥ ❝↔♠ ì♥ P●❙✳ ❚❙❑❍✳ P❤↕♠ ❍✉② ✣✐➸♥ ✤➣ ❣✐ó♣ ✤ï ✈➲ ❝→❝ t❤õ tö❝ ❤➔♥❤ ❝❤➼♥❤ ✤➸ ❝✉è♥ s→❝❤ ✤÷đ❝ t→✐ ❜↔♥ ❧➛♥ ♥➔②✳ ❍➔ ◆ë✐✱ t❤→♥❣ ✶✷ ♥➠♠ ữỡ ỡ ữủ ỵ tt t➟♣ ❤đ♣ ❚r♦♥❣ ❝❤÷ì♥❣ ♠ð ✤➛✉ ♥➔②✱ ❝❤ó♥❣ t❛ s➩ tr➻♥❤ ❜➔② ♠ët ❝→❝❤ ❧÷đ❝ ✈➲ t➟♣ ❤đ♣✱ →♥❤ q tố t ỵ ❤✐➺✉ ✈➔ t❤✉➟t ♥❣ú ✤÷đ❝ ❞ị♥❣ tr♦♥❣ s✉èt ❜➔✐ ❣✐↔♥❣ ♥➔②✳ P❤➛♥ ❝✉è✐ ❝õ❛ ❝❤÷ì♥❣ ❜➔♥ ✈➲ ❝→❝ ❞↕♥❣ t÷ì♥❣ ✤÷ì♥❣ ❦❤→❝ ♥❤❛✉ ❝õ❛ t✐➯♥ ✤➲ ❝❤å♥✳ ❱➻ ❝❤÷❛ t➻♠ t❤➜② t➔✐ ❧✐➺✉ ❜➡♥❣ t✐➳♥❣ ✈✐➺t ♥➔♦ ❝â ❝❤ù♥❣ ♠✐♥❤ ✤➛② ✤õ ❝❤♦ ❝→❝ t÷ì♥❣ ✤÷ì♥❣ ♥➔②✱ ♥➯♥ ❝❤ó♥❣ t❛ s➩ ✤÷❛ r❛ ♠ët ❝❤ù♥❣ ♠✐♥❤ ✤➸ ❜↕♥ ✤å❝ t❤❛♠ ❦❤↔♦ t❤➯♠✳ § ✶✳ ❚➟♣ ❤đ♣ ✈➔ ❝→❝ ♣❤➨♣ t♦→♥ tr➯♥ t➟♣ ❤ñ♣ ✶✳✶✳ ✣à♥❤ ♥❣❤➽❛✳ ❚➟♣ ❤ñ♣ ❧➔ ♠ët ❦❤→✐ ♥✐➺♠ ❝ì ❜↔♥ ❝õ❛ t♦→♥ ❤å❝✱ ♥❤÷♥❣ ❧↕✐ ❧➔ ♠ët ❦❤→✐ ♥✐➺♠ ❦❤ỉ♥❣ ✤÷đ❝ ✤à♥❤ ♥❣❤➽❛✳ ▼ët ❝→❝❤ trü❝ q✉❛♥✱ t❛ ❝â t❤➸ ❤✐➸✉ ♠ët t➟♣ ❤đ♣ ♥❤÷ ❧➔ sü tư t➟♣ ♥❤ú♥❣ ✈➟t✱ ♥❤ú♥❣ ✤è✐ t÷đ♥❣ ❤❛② ♥❤ú♥❣ ❦❤→✐ ♥✐➺♠ t♦→♥ ❤å❝ ✳✳✳ ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ ♠ët ❤❛② ♥❤✐➲✉ t➼♥❤ ❝❤➜t ❝❤✉♥❣✳ ❚❛ t❤÷í♥❣ sû ❞ư♥❣ ❝→❝ ❝❤ú ❝→✐ ▲❛ t✐♥❤ A, B, C, , X, Y, Z ❤♦➦❝ ❝❤ú ❝→✐ ❍② ▲↕♣ ❝ê ♥❤÷ Γ, Ω, Λ, ✤➸ ❝❤➾ ♠ët t➟♣ ❤ñ♣✳ ❈→❝ ✈➟t ❝õ❛ ♠ët t➟♣ ❤ñ♣ X ❣å✐ ❧➔ ❝→❝ ♣❤➛♥ tû ❝õ❛ t➟♣ ❤ñ♣ ✤â✳ ▼ët ♣❤➛♥ tû x ❝õ❛ t➟♣ ❤ñ♣ X ữủ ỵ x X tt ❝↔ ❝→❝ ♣❤➛♥ tû ❝õ❛ ♠ët t➟♣ ❤ñ♣ X ✤➲✉ ❧➔ ♣❤➛♥ tû ❝õ❛ ♠ët t➟♣ ❤ñ♣ Y t❤➻ t❛ ♥â✐ t➟♣ ❤ñ♣ X ❧➔ ♠ët t➟♣ ❤ñ♣ ❝♦♥ ❝õ❛ t ủ Y ỵ X Y ❤❛② Y ⊇ X ❚r÷í♥❣ ❤đ♣ X ⊆ Y ✈➔ Y ⊆ X t❤➻ t❛ ♥â✐ r➡♥❣ t➟♣ ❤ñ♣ X t ủ Y ỵ X = Y ◆➳✉ X ⊆ Y ✈➔ X = Y t❤➻ X ✤÷đ❝ ❣å✐ ❧➔ t➟♣ ❤đ♣ ❝♦♥ t❤ü❝ sü ❝õ❛ Y ỵ X Y tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✽ ❳→❝ ✤à♥❤ ♠ët t➟♣ ❤ñ♣ ❧➔ ①→❝ ✤à♥❤ t➜t ❝↔ ❝→❝ ♣❤➛♥ tû ❝õ❛ ♥â✳ ❈â ♥❤✐➲✉ ❝→❝❤ ✤➸ ①→❝ ✤à♥❤ ♠ët t➟♣ ❤ñ♣✳ ✣ì♥ ❣✐↔♥ ♥❤➜t ❧➔ ❧✐➺t ❦➯ t➜t ❝↔ ❝→❝ ♣❤➛♥ tû t➟♣ ❤ñ♣ ✤â ✈➔ ✤➸ tr♦♥❣ ❤❛✐ ❞➜✉ ♠â❝ { }✳ ❈→❝❤ t❤ỉ♥❣ ❞ư♥❣ t❤ù ❤❛✐ ❧➔ ♠ỉ t↔ ♠ët t➟♣ ❤đ♣ q✉❛ ❝→❝ t➼♥❤ ❝❤➜t ✤➦❝ tr÷♥❣ ❝õ❛ ❝→❝ ♣❤➛♥ tû ❝õ❛ t➟♣ ❤ñ♣ ✤â✳ ❈❤➥♥❣ ❤↕♥ t❛ ✈✐➳t X = {x | P (x)} ✤➸ ♥â✐ r➡♥❣ X t ủ ỗ tt tỷ x t❤♦↔ ♠➣♥ ♠➺♥❤ ✤➲ P (x) ❚➟♣ ❤đ♣ ❦❤ỉ♥❣ ❝❤ù❛ ♠ët ♣❤➛♥ tû ♥➔♦ ✤÷đ❝ ❣å✐ ❧➔ t➟♣ ❤đ♣ rộ ỵ t tr➯♥ t➟♣ ❤ñ♣✳ ✶✮ ❍ñ♣✳ ❍ñ♣ ❝õ❛ ❤❛✐ t➟♣ ❤ñ♣ X Y, ỵ X Y, t ❤đ♣ ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ X ∪ Y = {x | x ∈ X ❤♦➦❝ x ∈ Y } ✷✮ t ủ X Y, ỵ ❤✐➺✉ X ∩ Y, ❧➔ t➟♣ ❤đ♣ ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ X ∩ Y = {x | x ∈ X ✈➔ x ∈ Y } ✸✮ ❚➼❝❤ ❉❡s❝❛rt❡s✳ ❚➼❝❤ ❉❡s❝❛rt❡s t ủ X Y, ỵ X ×Y, ❧➔ t➟♣ ❤đ♣ ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ X × Y = {z = (x, y) | x ∈ X, y ∈ Y } ✹✮ ❍✐➺✉✳ ❍✐➺✉ ❝õ❛ ❤❛✐ t➟♣ ủ X Y, ỵ X \ Y, t➟♣ ❤đ♣ ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ X \ Y = {x | x ∈ X ✈➔ x ∈ / Y } ú ỵ t ủ t ❉❡s❝❛rt❡s ❤♦➔♥ t♦➔♥ ❝â t❤➸ ♠ð rë♥❣ ❝❤♦ ♠ët ❤å tũ ỵ t ủ {(Xi ) | i I}, ð ✤➙② I ❧➔ ♠ët t➟♣ ❝❤➾ sè ♥➔♦ ✤â✳ ❑❤✐ ✤â t❛ ①→❝ ✤à♥❤✿ Xi = {x | ∃i ∈ I, x ∈ Xi } i∈I Xi = {x | x ∈ Xi , ∀i ∈ I} i∈I Xi = {z = (xi )i∈I | xi ∈ Xi , ∀i ∈ I} i∈I ❈❤÷ì♥❣ ✶✳ ❙ì ▲÷đ❝ ✈➲ ỵ tt t ủ t t t X n ỵ t srts n t ủ X Đ ũ ợ ♥✐➺♠ t➟♣ ❤ñ♣✱ →♥❤ ①↕ t❤✉ë❝ ✈➔♦ ♠ët tr♦♥❣ ♥❤ú♥❣ ❦❤→✐ ♥✐➺♠ ❝ì ❜↔♥ ♥❤➜t ❝õ❛ t♦→♥ ❤å❝✳ ✷✳✶✳ ✣à♥❤ ♥❣❤➽❛✳ ✭✐✮ ▼ët →♥❤ ①↕ f : X −→ Y tø t➟♣ ❤ñ♣ X ✤➳♥ t➟♣ ❤ñ♣ Y ❧➔ ♠ët ♣❤➨♣ t÷ì♥❣ ù♥❣ ♠é✐ ♠ët ♣❤➛♥ tû x ∈ X ❞✉② ♥❤➜t ♠ët ♣❤➛♥ tû f (x) ∈ Y ❚➟♣ ủ X ữủ t ỗ f ✈➔ t➟♣ ❤ñ♣ Y ❣å✐ ❧➔ t➟♣ ✤➼❝❤ ❝õ❛ →♥❤ ①↕ f ✭✐✐✮ f : X −→ Y ✤÷đ❝ ❣å✐ ❧➔ ✤ì♥ →♥❤ ♥➳✉ ✈ỵ✐ ❤❛✐ ♣❤➛♥ tû x, x X tũ ỵ f (x) = f (x ), s✉② r❛ x = x ✣➦❝ ❜✐➺t ❦❤✐ X ⊆ Y t❤➻ ✤ì♥ →♥❤ f : X −→ Y ①→❝ ✤à♥❤ ❜ð✐ f (x) = x, ∀x ∈ X ✤÷đ❝ ❣å✐ ❧➔ ♣❤➨♣ ♥❤ó♥❣ tü ♥❤✐➯♥ ✈➔ ỵ X Y f : X Y ữủ t ợ ộ tỷ tũ ỵ y Y ổ tỗ t ➼t ♥❤➜t ♠ët ♣❤➛♥ tû x ∈ X s❛♦ ❝❤♦ f (x) = y ✭✐✈✮ f : X −→ Y ✤÷đ❝ ❣å✐ ❧➔ s♦♥❣ →♥❤ ♥➳✉ f ✈ø❛ ❧➔ ✤ì♥ →♥❤ ✈ø❛ ❧➔ t♦➔♥ →♥❤✳ ✭✈✮ ❈❤♦ f : X −→ Y ✈➔ g : Y −→ Z ❧➔ ♥❤ú♥❣ →♥❤ ①↕✱ t❛ ❣å✐ →♥❤ ①↕ h : X −→ Z ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ h(x) = g(f (x)), ∀x ∈ X ❧➔ →♥❤ ①↕ ❤ñ♣ t❤➔♥❤ ❝õ❛ ❤❛✐ →♥❤ f g ỵ h = g f ú ỵ f : X −→ Y ✈➔ A ❧➔ ♠ët t➟♣ ❤ñ♣ ❝♦♥ ❝õ❛ X ❚❛ ❣å✐ t➟♣ ❤ñ♣ f (A) ⊆ Y ①→❝ ✤à♥❤ ❜ð✐ f (A) = {f (x) ∈ Y | x ∈ A} ❧➔ ↔♥❤ ❝õ❛ A q✉❛ →♥❤ ①↕ f ❱➟② →♥❤ ①↕ f ❧➔ t♦➔♥ →♥❤ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ f (X) = Y ❜✮ B ởt t tũ ỵ Y, t❛ ❣å✐ t➟♣ ❤đ♣ f −1 (B) ⊆ X, ✤÷đ❝ ①→❝ ✤à♥❤ ❜ð✐ f −1 (B) = {x ∈ X | f (x) ∈ B}, ❧➔ ♥❣❤à❝❤ ↔♥❤ ❝õ❛ B q✉❛ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✶✵ →♥❤ ①↕ f ❇➙② ❣✐í✱ ❣✐↔ sû f ❧➔ ♠ët s♦♥❣ →♥❤✳ ❑❤✐ ✤â✱ ✈➻ f (X) = Y, t❛ ❧✉æ♥ ❝â t❤➸ ①➙② ❞ü♥❣ ✤÷đ❝ ♠ët →♥❤ ①↕ f −1 ♥❤÷ s ợ y Y tũ ỵ tỗ t x ∈ X s❛♦ ❝❤♦ f (x) = y, t❛ ①→❝ ✤à♥❤ f −1 (y) = x ❉ü❛ ✈➔♦ t➼♥❤ ✤ì♥ →♥❤ ❝õ❛ f t❛ ❞➵ ❝❤ù♥❣ ♠✐♥❤ ✤÷đ❝ r➡♥❣ f −1 ✤÷đ❝ ①→❝ ✤à♥❤ ♥❤÷ tr➯♥ ❧➔ ♠ët →♥❤ ①↕✱ ❣å✐ ❧➔ →♥❤ ①↕ ♥❣÷đ❝ ❝õ❛ f ❑❤✐ ✤â t❛ t❤➜② ♥❣❛② r➡♥❣ f −1 ◦ f = 1X ✈➔ f ◦ f −1 = 1Y , ð ✤➙② 1X ữủ ỵ ỗ t tr t ❤ñ♣ X, tù❝ 1X (x) = x, ∀x ∈ X ✷✳✸✳ ❇ê ✤➲✳ ❈❤♦ f : X −→ Y ✈➔ g : X −→ Z ❧➔ ❤❛✐ →♥❤ ①↕ ❣✐ú❛ ❝→❝ t➟♣ ❤ñ♣✳ ❑❤✐ ✤â ❝→❝ ✤✐➲✉ ❦✐➺♥ s❛✉ ✤➙② tữỡ ữỡ ỗ t ởt h : Y −→ Z s❛♦ ❝❤♦ g = h ◦ f ✭✐✐✮ ❱ỵ✐ ❝→❝ ♣❤➛♥ tû x1 , x2 ∈ X tũ ỵ f (x1 ) = f (x2 ) s✉② r❛ g(x1 ) = g(x2 ) ❈❤ù♥❣ ♠✐♥❤✳ (i) =⇒ (ii)✿ ●✐↔ sû f (x1 ) = f (x2 ) ❚ø g = h ◦ f t❛ s✉② r❛ g(x1 ) = h ◦ f (x1 ) = h(f (x1 )) = h(f (x2 )) = h ◦ f (x2 ) = g(x2 ) (ii) =⇒ (i)✿ ❳➨t t÷ì♥❣ ù♥❣ h : Y −→ Z ✤÷đ❝ ①→❝ ✤à♥❤ ữ s y f (X) tự tỗ t↕✐ x ∈ X s❛♦ ❝❤♦ f (x) = y, ❦❤✐ ✤â t❛ ✤➦t h(y) = g(x) ✲ ◆➳✉ y ∈ / f (X)✱ t❛ ❝❤å♥ ♠ët ♣❤➛♥ tû z Z ố rỗ t h(y) = z ❞➔♥❣ s✉② r❛ tø ❣✐↔ t❤✐➳t ❝õ❛ ✭✐✐✮ r➡♥❣ t÷ì♥❣ ù♥❣ tr➯♥ ❧➔ ♠ët →♥❤ ①↕✱ ❤ì♥ ♥ú❛ tø ❝→❝❤ ①➙② ❞ü♥❣ t❛ ❝â g = h ◦ f ✳ ❇ê ✤➲ ✷✳✸ ❣✐ó♣ t❛ ♥❤➟♥ ✤÷đ❝ ♥❤ú♥❣ ✤➦❝ tr÷♥❣ ✤ì♥ ❣✐↔♥ ❦❤✐ ♥➔♦ ♠ët →♥❤ ①↕ ❧➔ ✤ì♥ →♥❤✱ t s ữ s ỵ ❈❤♦ f : X −→ Y ❧➔ ♠ët →♥❤ ①↕ ❣✐ú❛ ❤❛✐ t➟♣ ❤ñ♣✳ ❑❤✐ ✤â ❝→❝ ♠➺♥❤ ✤➲ s❛✉ ✤➙② ❧➔ ✤ó♥❣✿ ✭✐✮ f ❧➔ ✤ì♥ →♥❤ ❦❤✐ ✈➔ tỗ t ởt g : Y −→ X s❛♦ ❝❤♦ g ◦ f = 1X f t tỗ t↕✐ ♠ët →♥❤ ①↕ h : Y −→ X s❛♦ ❝❤♦ f ◦ h = 1Y ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✶✽✵ ▲↕✐ t❤❡♦ ✭✐✮✱ t❛ ❝❤➾ ❝á♥ ❝➛♥ ♣❤↔✐ ❝❤ù♥❣ ♠✐♥❤ r➡♥❣ M ⊆ Γm1 (M ) + + Γmn (M ) ❚❤➟t ✈➟②✱ ❝❤♦ x ∈ M ❧➔ ♠ët ♣❤➛♥ tû ❦❤→❝ ❦❤æ♥❣ tý ỵ ủ : x = {a R | ax = 0} rã r➔♥❣ ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R, ❤ì♥ ♥ú❛✱ t♦➔♥ ❝➜✉ f : R −→ xR ①→❝ ✤à♥❤ ❜ð✐ f (a) = ax ❝↔♠ s✐♥❤ ♠ët R✲✤➥♥❣ ❝➜✉ ✭❞♦ Ker f = : x✮ R/(0 : x) ∼ = xR ❚❛ s✉② r❛ R/(0 : x) ❧➔ ♠ët ✈➔♥❤ ❆rt✐♥✳ ❑❤✐ ✤â✱ t❤❡♦ ▼➺♥❤ ự ỵ tỗ t↕✐ ❤ú✉ ❤↕♥ ✐✤➯❛♥ ❝ü❝ ✤↕✐ mi1 , , mik ❝❤ù❛ ✐✤➯❛♥ : x ✈➔ ❤ì♥ ỳ tỗ t số tỹ t s (mi1 mik )t x = ỵ r➡♥❣✱ ♥➳✉ m ❧➔ ♠ët ✐✤➯❛♥ ❝ü❝ ✤↕✐ ✈ỵ✐ Γm (M ) = ✈➔ (mmi1 mik )t x = ❧✉æ♥ ❦➨♦ t❤❡♦ (mi1 mik )t x = ❱➟② t❛ s✉② r❛ ❝â t❤➸ ❣✐↔ t❤✐➳t t❤➯♠ r➡♥❣ t➟♣ {mi1 , , mik } ❧➔ ♠ët t➟♣ ❤ñ♣ ❝♦♥ ❝õ❛ t➟♣ {m1 , , mn } ❇➙② ❣✐í t❛ s➩ ❝❤ù♥❣ ♠✐♥❤ x ∈ ni=1 Γmi (M ) ❜➡♥❣ q✉② ♥↕♣ t❤❡♦ k ❑➳t ❧✉➟♥ ❧➔ ❤✐➸♥ ♥❤✐➯♥ ❦❤✐ k = 1, ✈➔ ❣✐↔ sû ♠➺♥❤ ✤➲ ✤➣ ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤ ❝❤♦ tr÷í♥❣ ❤đ♣ k − ❱➻ mti1 + (mi2 mik )t = R, tỗ t tỷ a mti1 ✈➔ b ∈ (mi2 mik )t s❛♦ ❝❤♦ a + b = ❚ø ✤➙② s✉② r❛ mti1 bx ⊆ (mi1 mik )t x = 0, tù❝ bx ∈ Γmi1 (M ) ✈➔ (mi2 mik )t ax ⊆ (mi1 mik )t x = ❙û ❞ö♥❣ ❣✐↔ t❤✐➳t q✉② ♥↕♣ ❝❤♦ ♣❤➛♥ tû ax t❛ ✤÷đ❝ ax ∈ ni=1 Γmi (M ) ✈➔ ❦➨♦ t❤❡♦ x = ax + bx ni=1 mi (M ) ỵ ữủ ❝❤ù♥❣ ♠✐♥❤✳ § ✻✳ P❤➙♥ t➼❝❤ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❚r♦♥❣ t✐➳t ❝✉è✐ ❝ị♥❣ ♥➔② t❛ s➩ ♥❣❤✐➯♥ ❝ù✉ ♥❤ú♥❣ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❝â t➼♥❤ ❝❤➜t ❦❤ỉ♥❣ t❤➸ ♣❤➙♥ t➼❝❤ ✤÷đ❝ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝õ❛ ❤❛✐ ♠æ✤✉♥ ❝♦♥ t❤ü❝ sü✳ õ ự ỵ t ởt ổ tý ỵ t tờ trỹ t ỳ ổ rữợ t t s❛✉✳ ✻✳✶✳ ✣à♥❤ ♥❣❤➽❛✳ ✭✐✮ ▼ët R✲♠æ✤✉♥ ❦❤→❝ ❦❤æ♥❣ M ✤÷đ❝ ❣å✐ ❧➔ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✱ ♥➳✉ M ❝❤➾ ❝â ❞✉② ♥❤➜t ❤❛✐ ❤↕♥❣ tû trü❝ t✐➳♣ ❧➔ ✈➔ M ❈❤÷ì♥❣ ✺✳ ▼ỉ✤✉♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✶✽✶ ✭✐✐✮ ▼ët R✲♠ỉ✤✉♥ ❝♦♥ N ❝õ❛ M ✤÷đ❝ ❣å✐ t q ổ tỗ t ổ ❝♦♥ N1 , N2 ❝❤ù❛ t❤ü❝ sü N s❛♦ ❝❤♦ N = N1 N2 ỵ E ❧➔ ♠ët R✲♠æ✤✉♥ ♥ë✐ ①↕ ❦❤→❝ ❦❤æ♥❣✳ ❑❤✐ ✤â ❝→❝ ♠➺♥❤ ✤➲ s❛✉ ❧➔ t÷ì♥❣ ✤÷ì♥❣✿ ✭✐✮ E ❧➔ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ✭✐✐✮ E ❧➔ ❜❛♦ ♥ë✐ ①↕ ❝õ❛ ♠å✐ R✲♠æ✤✉♥ ❝♦♥ ❦❤→❝ ❦❤æ♥❣ ❝õ❛ E ✭✐✐✐✮ ▼æ✤✉♥ ❦❤æ♥❣ ❝õ❛ E ❧➔ ❜➜t ❦❤↔ q✉②✳ ❈❤ù♥❣ ♠✐♥❤✳ (i) =⇒ (ii) : ●✐↔ sû E ❧➔ ❦❤æ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ✈➔ N ❧➔ ♠ët R✲♠ỉ✤✉♥ ❝♦♥ ❦❤→❝ ❦❤ỉ♥❣ ❝õ❛ E ú ỵ tỗ t ởt ổ ♥ë✐ ①↕ E = ❝õ❛ E s❛♦ ❝❤♦ E ❧➔ ❜❛♦ ♥ë✐ ①↕ ❝õ❛ N ▼➦t ❦❤→❝ tø ✣à♥❤ ỵ t E ởt tỷ trỹ t ❝õ❛ E ❉♦ E ❧➔ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✱ t❛ s✉② r❛ E = E ✈➔ ✤✐➲✉ ❦✐➺♥ ✭✐✐✮ ✤÷đ❝ t❤ä❛ ♠➣♥✳ (ii) =⇒ (iii) : ●✐↔ sû ✤✐➲✉ ❦✐➺♥ ✭✐✐✮ ✤÷đ❝ t❤ä❛ ♠➣♥ ✈➔ N1 , N2 ❧➔ ❤❛✐ ♠æ✤✉♥ ❝♦♥ ❝õ❛ E s❛♦ ❝❤♦ N1 ∩ N2 = ◆➳✉ N1 = t❤➻ E = E(N1 ) ❚ø ✤➙② t❛ s✉② r❛ E ❧➔ ♠ët ♠ð rë♥❣ ❝èt ②➳✉ ❝õ❛ N1 , ❞♦ ✤â N2 = ✣✐➲✉ ♥➔② ❝❤ù♥❣ tä ❧➔ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉②✳ (iii) =⇒ (i) : ●✐↔ sû E ♣❤➙♥ t➼❝❤ ✤÷đ❝ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝õ❛ ❤❛✐ R✲ ♠ỉ✤✉♥ ❝♦♥ ❦❤→❝ ❦❤æ♥❣ N1 , N2 , tù❝ E = N1 N2 õ t ỵ ữỡ ✹✱ t❛ ❝â N1 ∩ N2 = ❱➟② ♥➳✉ ♠æ✤✉♥ ❦❤æ♥❣ ❝õ❛ E ❧➔ R✲♠æ✤✉♥ ❜➜t ❦❤↔ q✉② t❤➻ E ổ t ữủ ỵ ữủ ❝❤ù♥❣ ♠✐♥❤✳ ✻✳✸✳ ❍➺ q✉↔✳ ❈❤♦ M ❧➔ ♠ët R✲♠æ✤✉♥ ✈➔ N ❧➔ ♠ët R✲♠æ✤✉♥ ❝♦♥✳ ❑❤✐ ✤â✱ ❜❛♦ ♥ë✐ ①↕ E(M/N ) ❧➔ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ N ❧➔ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ❝õ❛ M ❈❤ù♥❣ ♠✐♥❤✳ ●✐↔ sû N1 , N2 ❧➔ ♥❤ú♥❣ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M ✈➔ ❝❤ù❛ N ❚❛ ♥❤➟♥ t❤➜② r➡♥❣ N1 ∩ N2 = N ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ (N1 /N ) ∩ (N2 /N ) = tr♦♥❣ M/N ◆â✐ ❝→❝❤ ❦❤→❝✱ N ❧➔ ❜➜t ❦❤↔ q✉② tr♦♥❣ M ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♠æ✤✉♥ ❝♦♥ ❦❤æ♥❣ ❝õ❛ M/N ❧➔ ❜➜t ❦❤↔ q✉②✳ ❱➟② t❛ ❝❤➾ ❝➛♥ ❝❤ù♥❣ ♠✐♥❤ ❤➺ q✉↔ ❝❤♦ ✶✽✷ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ tr÷í♥❣ ❤đ♣ N = ◆➳✉ E(M ) ❧➔ ❦❤ỉ♥❣ t ữủ t t ỵ ổ ổ ❝õ❛ E(M ) ❧➔ ❜➜t ❦❤↔ q✉②✳ ❙✉② r❛ ♠æ✤✉♥ ❦❤ỉ♥❣ ❝õ❛ M, ❝ơ♥❣ ❧➔ ♠ỉ✤✉♥ ❦❤ỉ♥❣ ❝õ❛ E(M ), ❤✐➸♥ ♥❤✐➯♥ ♣❤↔✐ ❧➔ ❜➜t ❦❤↔ q✉②✳ ◆❣÷đ❝ ❧↕✐✱ ❣✐↔ sû ♠æ✤✉♥ ❦❤æ♥❣ ❝õ❛ M ❧➔ ❜➜t ❦❤↔ q✉②✱ t❛ ❝➛♥ ❝❤➾ r❛ ♥â ❝ô♥❣ ❜➜t ❦❤↔ q✉② tr♦♥❣ E(M ) ❚❤➟t ✈➟②✱ ❝❤♦ E1 , E2 ❧➔ ❤❛✐ ♠æ✤✉♥ ❝♦♥ ❝õ❛ E(M ) ❝â t➼♥❤ ❝❤➜t E1 ∩ E2 = ❱➻ E(M ) ❧➔ ♠ð rë♥❣ ❝èt ②➳✉ ❝õ❛ M ❞♦ ✤â✱ ♥➳✉ E1 = t❤➻ E1 ∩ M = ❚÷ì♥❣ tü✱ ♥➳✉ E2 = t❤➻ E2 ∩ M = ❚ø ✤➙② s✉② r❛ (E1 ∩ M ) ∩ (E2 ∩ M ) = E1 ∩ E2 ∩ M = 0, tr♦♥❣ ✤â E1 ∩ M ✈➔ E2 ∩ M ❧➔ ❤❛✐ ♠æ✤✉♥ ❦❤→❝ ❦❤ỉ♥❣ ❝õ❛ M ✣✐➲✉ ♥➔② ♠➙✉ t❤✉➝♥ ✈ỵ✐ t➼♥❤ ❜➜t ❦❤↔ q✉② ❝õ❛ ♠æ✤✉♥ ❦❤æ♥❣ ❝õ❛ M ❱➟② ♣❤↔✐ ❝â ❤♦➦❝ E1 = ❤♦➦❝ E2 = 0, tù❝ ♠æ✤✉♥ ❦❤æ♥❣ ❝õ❛ E(M ) ❧➔ ❜➜t ❦❤↔ q✉②✳ ❍➺ q✉↔ ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤✳ ◆❤➢❝ ❧↕✐ r➡♥❣ ♠ët R✲♠ỉ✤✉♥ M ❧➔ ♠ỉ✤✉♥ ✤ì♥✱ ♥➳✉ ♥â ❝❤➾ ❝â ❤❛✐ ♠ỉ✤✉♥ ❝♦♥ ❞✉② ♥❤➜t ❧➔ ♠æ✤✉♥ ❦❤æ♥❣ ✈➔ ❝❤➼♥❤ ♥â✳ ❱➟②✱ ♠æ✤✉♥ ❦❤æ♥❣ ❝õ❛ ♠ët ♠ỉ✤✉♥ ✤ì♥ ❧✉ỉ♥ ❧➔ ❜➜t ❦❤↔ q✉②✱ ❞♦ ✤â ❍➺ q✉↔ ✻✳✸ ❝❤♦ t❛ ♥❣❛② ❧➟♣ tù❝ ❤➺ ❧✉➟♥ s❛✉✳ ✻✳✹✳ ❍➺ q✉↔✳ ❇❛♦ ♥ë✐ ①↕ ❝õ❛ ♠ët R✲♠ỉ✤✉♥ ✤ì♥ ❧✉ỉ♥ ❧➔ ♠ỉ✤✉♥ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ❑❤✐ ✈➔♥❤ R ❧➔ ◆♦❡t❤❡r t❤➻ R✲♠æ✤✉♥ ♥ë✐ ①↕ ❦❤æ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ❝â t❤➸ ✤➦❝ tr÷♥❣ ✤ì♥ ❣✐↔♥ q✉❛ ✐✤➯❛♥ tố R ữ s ỵ ▼æ✤✉♥ ♥ë✐ ①↕ E tr➯♥ ♠ët ✈➔♥❤ ◆♦❡t❤❡r R ❧➔ ổ t ữủ tỗ t ♠ët ✐✤➯❛♥ ♥❣✉②➯♥ tè p ❝õ❛ R s❛♦ ❝❤♦ E∼ = E(R/p) ❈❤ù♥❣ ♠✐♥❤✳ ●✐↔ sû E ❧➔ ♠ët R✲♠æ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ❳➨t t➟♣ ❤đ♣ Σ ♥❤ú♥❣ ✐✤➯❛♥ I ❝õ❛ R ❝â ❞↕♥❣ I =❆♥♥R (x) = {a ∈ R | ax = 0} ✈ỵ✐ x ởt tỷ ổ tý ỵ E ❱➻ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ♥➯♥ ❈❤÷ì♥❣ ✺✳ ▼ỉ✤✉♥ tr➯♥ tỗ t tr ởt tû ❝ü❝ ✤↕✐✱ ❝❤➥♥❣ ❤↕♥ ♠ët tr♦♥❣ ♥❤ú♥❣ ♣❤➛♥ tû ✤â ❧➔ p =❆♥♥R (x), = x ∈ E rữợ t t ự p tố ❝õ❛ R ❚❤➟t ✈➟②✱ ❣✐↔ sû t➼❝❤ ab ∈ p a p ú ỵ r p ỹ ✤↕✐ tr♦♥❣ Σ ✈➔ ❆♥♥R (x) ⊆❆♥♥R (ax), s✉② r❛ p =❆♥♥R (ax) ▼➦t ❦❤→❝ t❛ ❝â b(ax) = abx = 0, tù❝ b ∈❆♥♥R (ax) = p ❱➟② p ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè✳ ❇➙② ❣✐í✱ ❞➵ ❞➔♥❣ ❦✐➸♠ tr❛ ✤÷đ❝ r➡♥❣✱ →♥❤ ①↕ f : R/p −→ xR ①→❝ ✤à♥❤ ❜ð✐ f (a + p) = ax, ∀a ∈ R ❧➔ ♠ët R✲✤➥♥❣ ❝➜✉✳ ◆â✐ ❝→❝❤ ❦❤→❝✱ t❛ ❝â t❤➸ ①❡♠ R/p ♥❤÷ ❧➔ ♠ët R✲♠ỉ✤✉♥ ❝♦♥ ❝õ❛ E õ t ỵ t s r E ∼ = E(R/p) ◆❣÷đ❝ ❧↕✐✱ ❝❤♦ p ❧➔ ♠ët tố R tỗ t I1 , I2 ❝õ❛ R s❛♦ ❝❤♦ I1 ∩I2 = p, t tứ ỵ tr tố ữỡ ✸✱ t❛ s✉② r❛ ♠ët tr♦♥❣ ❤❛✐ ✐✤➯❛♥ I1 , I2 trị♥❣ ✈ỵ✐ p ✤✐➲✉ ♥➔② ♥â✐ ❧➯♥ r➡♥❣ p ❧➔ R✲♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ❝õ❛ R ❱➟②✱ t❤❡♦ ỵ E(R/p) ởt Rổ ổ t ữủ ỵ ữủ ự ú þ✳ ◆❤÷ t❛ ✤➣ ❜✐➳t✱ ♠ët ♥❤â♠ ❆❜❡❧ ❧✉ỉ♥ ❝â t❤➸ ①❡♠ ❧➔ ♠æ✤✉♥ tr➯♥ ✈➔♥❤ sè ♥❣✉②➯♥ Z ✈➔ Z tr ỵ ♣❤➨♣ t❛ ❝❤➾ r❛ t➜t ❝↔ ❝→❝ ♥❤â♠ ❆❜❡❧ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✱ ❝ư t❤➸ ♥❤÷ s❛✉✳ ❚❤❡♦ ❱➼ ❞ư ✸✳✸✱ ✶✱ ❈❤÷ì♥❣ ✸ t❤➻ ♠ët ✐✤➯❛♥ p ❧➔ ♥❣✉②➯♥ tè tr♦♥❣ Z ❦❤✐ ✈➔ ❝❤➾ p = ❤♦➦❝ p = pZ, ✈ỵ✐ p ❧➔ ♠ët sè ♥❣✉②➯♥ tè✳ ❳➨t ❝→❝ tr÷í♥❣ ❤đ♣ s❛✉✳ ❚r÷í♥❣ ❤đ♣ ✶✿ p = ❚❤❡♦ ❱➼ ❞ö ✷✳✽ t❤➻ E(Z) ❧➔ tr÷í♥❣ sè ❤ú✉ t✛ Q ❚r÷í♥❣ ❤đ♣ ✷✿ p = pZ ❈❤♦ Z(p∞ ) = ∪∞ i=1 Zpi ❧➔ ♥❤â♠ t tr ợ ú ỵ r➡♥❣ ♠å✐ ♥❤â♠ ❝♦♥ t❤ü❝ sü ❝õ❛ ♥❤â♠ ♥➔② ❝❤➾ ❝â ❤ú✉ ❤↕♥ ♣❤➛♥ tû✳ ❉➵ ❦✐➸♠ tr❛ ✤÷đ❝ Z(p∞ ) ❧➔ ♥❤â♠ ❝❤✐❛ ✤÷đ❝✱ ♥➯♥ t❤❡♦ ❍➺ q✉↔ ✶✳✶✶ t❤➻ Z(p∞ ) ❧➔ Z✲♠æ✤✉♥ ♥ë✐ ①↕✳ ❚❛ s➩ ❝❤➾ r❛ E(Z/p) ∼ = Z(p∞ ) ❚❤➟t ✈➟②✱ ✈➻ Z(p∞ ) Zổ t ú ỵ t❤➻ ❜❛♦ ♥ë✐ ①↕ ❝õ❛ Z/pZ ❝â t❤➸ ①❡♠ ❧➔ Z✲♠æ✤✉♥ ❝♦♥ ❝õ❛ Z(p∞ ) ▼➦t ❦❤→❝✱ ✈➻ ♠å✐ Z✲♠æ✤✉♥ ❝♦♥ t❤ü❝ sü ❝õ❛ Z(p∞ ) ❧➔ ❤ú✉ ❤↕♥✱ tù❝ ❝â ❞↕♥❣ Zpn ✈ỵ✐ ♠ët sè tü ♥❤✐➯♥ n ♥➔♦ ✤â✳ ❍✐➸♥ ♥❤✐➯♥ ❝→❝ ♥❤â♠ ❝â ❞↕♥❣ Zpn ❧➔ ❦❤æ♥❣ ❝❤✐❛ ✤÷đ❝✱ s✉② r❛ ♠å✐ ♥❤â♠ ❝♦♥ t❤ü❝ sü ❝õ❛ Z(p∞ ) ❦❤æ♥❣ t❤➸ ❧➔ Z✲♠æ✤✉♥ ♥ë✐ ①↕✳ ❱➟② E(Z/p) ∼ = Z(p∞ ) ❚â♠ ❧↕✐✱ t❛ ✤➣ ❝❤ù♥❣ ♠✐♥❤ ✤÷đ❝ ♠➺♥❤ ✤➲ s❛✉ ❝❤♦ ♣❤➨♣ ❧✐➺t ❦➯ t➜t ❝↔ ♥❤â♠ ❆❜❡❧ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ✶✽✹ ●✐→♦ tr số ỵ ởt õ ❆❜❡❧ ❧➔ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♥â ❧➔ ♥❤â♠ ❝ë♥❣ ❝→❝ sè ❤ú✉ t✛ Q ❤♦➦❝ ❝â ❞↕♥❣ Z(p∞ ) ✈ỵ✐ p ❧➔ ♠ët sè ♥❣✉②➯♥ tè ♥➔♦ ✤â✳ ❚r♦♥❣ ♣❤➛♥ ❝✉è✐ ❝õ❛ t✐➳t ♥➔② t❛ s➩ ❝❤ù♥❣ ♠✐♥❤ ❦➳t q✉↔ q✉❛♥ trå♥❣ ❝õ❛ ❊✳ ▼❛t❧✐s ✭✶✾✺✽✮ ✈➲ sü ♣❤➙♥ t➼❝❤ ✤÷đ❝ ❝õ❛ ♠ët ♠æ✤✉♥ ♥ë✐ ①↕ tr➯♥ ✈➔♥❤ ◆♦❡t❤❡r t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ♥❤ú♥❣ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ✻✳✽✳ ✣à♥❤ ỵ ổ tr tr ổ t➼❝❤ ✤÷đ❝ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ♥❤ú♥❣ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ❈❤ù♥❣ ♠✐♥❤✳ ❈❤♦ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ✈➔ E ❧➔ R✲♠ỉ✤✉♥ ♥ë✐ ①↕✳ ❳➨t t➟♣ ❤đ♣ Ω t➜t ❝↔ ❝→❝ R✲♠æ✤✉♥ ❝♦♥ ❝õ❛ E ♣❤➙♥ t➼❝❤ ✤÷đ❝ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝→❝ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ❘ã r➔♥❣ Ω = ∅, ✈➻ ∈ Ω ❈❤♦ E1 ⊆ E ⊆ ⊆ En ⊆ ❧➔ ♠ët ❞➣② t➠♥❣ ❝→❝ ♠ỉ✤✉♥ ❝♦♥ tr♦♥❣ Ω ✈ỵ✐ En = ⊕i∈In Ni ❧➔ ♠ët ♣❤➙♥ t➼❝❤ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝→❝ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ Ni ❝õ❛ En ❇➙② ❣✐í✱ ❦❤✐ ✤➦t I = ∪∞ n=1 In ✈➔ E0 = ⊕i∈I Ei , t❛ s✉② r❛ E0 ∈ Ω ✈➔ ❧➔ ♠ët ❝❤➦♥ tr➯♥ ❝õ❛ En , ∀n = 1, 2, ❱➟②✱ t❤❡♦ rtsr tỗ t ởt tỷ ỹ ✭t❤❡♦ q✉❛♥ ❤➺ ❜❛♦ ❤➔♠✮✱ ❝❤➥♥❣ ❤↕♥ E0 , tr♦♥❣ õ ỵ ữủ ự t ❝❤➾ r❛ E0 = E ❚❛ s➩ ❝❤ù♥❣ ♠✐♥❤ ✤✐➲✉ ♥➔② ❜➡♥❣ ♣❤↔♥ ❝❤ù♥❣✳ ●✐↔ sû E0 = E ❱➻ R tr t ỵ E0 ❧➔ R✲♠æ✤✉♥ ♥ë✐ ①↕✱ s✉② r❛ E0 ❧➔ ♠ët ❤↕♥❣ tỷ trỹ t E ỵ sû E = E0 ⊕ E ✈ỵ✐ E ❧➔ ♠ët R✲♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤→❝ ❦❤ỉ♥❣ ♥➔♦ ✤â✳ ❇➙② ❣✐í✱ t❤❡♦ ự ỵ tỗ t ởt ♥❣✉②➯♥ tè p ❝õ❛ R ✈➔ R✲♠æ✤✉♥ ❝♦♥ N ❝õ❛ E s❛♦ ❝❤♦ N ∼ = R/p ❱➟②✱ t❤❡♦ ✣à♥❤ ỵ E õ ởt ổ ợ ♠ỉ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ E(R/p) ✣✐➲✉ ♥➔② ❝❤♦ ♣❤➨♣ ①❡♠ E(R/p) ♥❤÷ ❧➔ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ E ❚ø ✤➙② t❛ s✉② r❛ R✲♠æ✤✉♥ E0 ⊕ E(R/p) ∈ Ω ✈➔ E0 ⊂ E0 ⊕ E(R/p) ❚➼♥❤ ❝❤➜t ❝✉è✐ ❝ị♥❣ ♥➔② ♠➙✉ t❤✉➝♥ ✈ỵ✐ ❝→❝❤ ❝❤å♥ E0 ❧➔ ❝ü❝ ✤↕✐ tr♦♥❣ Ω ❉♦ ✤â E0 = E ỵ ữủ ự t q q✉❛♥ trå♥❣ t✐➳♣ t❤❡♦ ❝❤➼♥❤ ❧➔ t➼♥❤ ①→❝ ✤à♥❤ ❞✉② ♥❤➜t s❛✐ ❦❤→❝ ✤➥♥❣ ❝➜✉ ❝õ❛ sü ♣❤➙♥ t➼❝❤ ♠ët ♠æ✤✉♥ ♥ë✐ ①↕ r❛ tê♥❣ trü❝ t✐➳♣ ♥❤ú♥❣ ♠æ✤✉♥ ♥ë✐ ①↕ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝✳ ❑➳t q✉↔ ♥➔② ✤÷đ❝ ❝❤ù♥❣ ♠✐♥❤ ❜ð✐ ❈❤÷ì♥❣ ✺✳ ▼ỉ✤✉♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✶✽✺ ▼❛t❧✐s ✈➔ ✤÷đ❝ ♣❤→t ❜✐➸✉ ð ❝✉è✐ t✐➳t ♥➔② ♠➔ ❦❤æ♥❣ ❝â ❝❤ù♥❣ ♠✐♥❤ ✤➸ ❜↕♥ ✤å❝ t❤❛♠ ❦❤↔♦✳ ✻✳✾✳ ỵ E ởt ổ tr ✈➔♥❤ ◆♦❡t❤❡r R ●✐↔ sû E = ⊕i∈I E ✈➔ E = ⊕i∈I E ❧➔ ❤❛✐ ♣❤➙♥ t➼❝❤ ❝õ❛ E t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ❝õ❛ ♥❤ú♥❣ ♠æ✤✉♥ ♥ë✐ ①↕ ❦❤æ♥❣ t ữủ õ tỗ t ởt s σ : I −→ I s❛♦ ❝❤♦ Ei ∼ = Eσ(i) , ∀i ∈ I ❇➔✐ t➟♣ ✶✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ tê♥❣ trü❝ t✐➳♣ ❤♦➦❝ t➼❝❤ trü❝ t✐➳♣ ❝õ❛ ♠ët ❤å ❝→❝ ♠ỉ✤✉♥ ❝❤✐❛ ✤÷đ❝ ❧↕✐ ❧➔ ❝❤✐❛ ✤÷đ❝✳ ✷✮ ❈❤♦ M ❧➔ ♠ët R✲♠ỉ✤✉♥ ❝❤✐❛ ✤÷đ❝ ✈➔ N ♠ët ♠ỉ✤✉♥ ❝♦♥ ❝õ❛ M ❍➣② ❝❤ù♥❣ ♠✐♥❤ ♠ỉ✤✉♥ t❤÷ì♥❣ M/N ❝ơ♥❣ ❧➔ ❝❤✐❛ ✤÷đ❝✳ ✸✮ ❈❤♦ R ❧➔ ♠ët ♠✐➲♥ ♥❣✉②➯♥ ✈➔ M ❧➔ ♠ët R✲♠ỉ✤✉♥✳ M ✤÷đ❝ ❣å✐ ❧➔ ❦❤æ♥❣ ①♦➢♥ ♥➳✉ ax = s✉② r❛ a = ❤♦➦❝ x = ✈ỵ✐ ♠å✐ a ∈ R ✈➔ x ∈ M ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ♠ët R✲♠æ✤✉♥ M ❦❤ỉ♥❣ ①♦➢♥ ✈➔ ❝❤✐❛ ✤÷đ❝ ❧➔ ♥ë✐ ①↕✳ ✹✮ ❈❤♦ E ❧➔ ♠ët ♠ð rë♥❣ ❝õ❛ ♠ët R✲♠æ✤✉♥ M ●✐↔ sỷ E ự r ổ tỗ t↕✐ ♠ët ♠æ✤✉♥ ❝♦♥ ❝õ❛ E ❧➔ ♠ët ♠ð rë♥❣ ❝èt ②➳✉ ❝õ❛ M ✺✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ E ❧➔ ❜❛♦ ♥ë✐ ①↕ ❝õ❛ ♠ët R✲♠æ✤✉♥ M ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ E ❧➔ ♥ë✐ ①↕ ✈➔ ♥➳✉ N ❧➔ ♠ët ♠æ✤✉♥ ❝♦♥ t❤ü❝ sü ❝õ❛ E ❝❤ù❛ M t❤➻ N ❦❤æ♥❣ ❧➔ ♥ë✐ ①↕✳ ✻✮ ❈❤♦ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R ✈➔ a ❧➔ ♠ët ♣❤➛♥ tû ♥➡♠ tr R E(R/I) ự r ổ tỗ t ởt ♣❤➛♥ tû b ∈ R \ I s❛♦ ❝❤♦ ab = ✼✮ ❈❤♦ R ❧➔ ♠ët ♠✐➲♥ ♥❣✉②➯♥ ✈➔ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ❆♥♥R (E(R/I)) = ✽✮ ❈❤♦ P ❧➔ ♠ët R✲♠æ✤✉♥ ①↕ ự r ổ tỗ t ởt Rổ tỹ ❞♦ F s❛♦ ❝❤♦ F ∼ = P ⊕ F ✾✮ ❈❤♦ I ❧➔ ✐✤➯❛♥ tr♦♥❣ ♠ët ♠✐➲♥ ♥❣✉②➯♥ R ❈❤ù♥❣ ♠✐♥❤ r➡♥❣✱ ♥➳✉ I ❧➔ ✶✽✻ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ R✲♠æ✤✉♥ ①↕ ↔♥❤ t❤➻ I ❧➔ ✐✤➯❛♥ ❤ú✉ ❤↕♥ s✐♥❤✳ ✶✵✮ ❈❤♦ M ❧➔ ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ tr➯♥ ♠ët ✈➔♥❤ ✤à❛ ♣❤÷ì♥❣ R ❍➣② ❝❤ù♥❣ ♠✐♥❤ r➡♥❣ M ❧➔ R✲♠æ✤✉♥ ①↕ ↔♥❤ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ M ❧➔ tü ❞♦✳ ✶✶✮ ❈❤♦ R ❧➔ ♠ët ♠✐➲♥ ✐✤➯❛♥ ❝❤➼♥❤✳ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ♠ët R✲♠æ✤✉♥ ❧➔ ①↕ ↔♥❤ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♥â ❧➔ R✲♠æ✤✉♥ tü ❞♦✳ ✶✷✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ♥➳✉ P, Q ❧➔ ♥❤ú♥❣ R✲♠æ✤✉♥ ①↕ ↔♥❤ t❤➻ t➼❝❤ t❡♥ ①ì P ⊗R Q ❝ơ♥❣ ❧➔ ♠ët R✲♠æ✤✉♥ ①↕ ↔♥❤✳ ✶✸✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ♠ët ✈➔♥❤ ❣✐❛♦ ❤♦→♥ R ❧➔ ◆♦❡t❤❡r ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♠å✐ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❝õ❛ R ❧➔ ❤ú✉ ❤↕♥ s✐♥❤✳ ✶✹✮ f : M M ởt Rtỹ ỗ ❝➜✉ ❝õ❛ R✲♠æ✤✉♥ M ❈❤ù♥❣ ♠✐♥❤ ❝→❝ ♠➺♥❤ ✤➲ s❛✉✿ ✭✐✮ ◆➳✉ M ❧➔ ♠æ✤✉♥ ◆♦❡t❤❡r t❤➻ f ❧➔ ♠ët ✤➥♥❣ ❝➜✉ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ f ❧➔ t♦➔♥ ❝➜✉✳ ✭✐✐✮ ◆➳✉ M ❧➔ ♠æ✤✉♥ ❆rt✐♥ t❤➻ f ❧➔ ♠ët ✤➥♥❣ ❝➜✉ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ f ❧➔ ✤ì♥ ❝➜✉✳ ✶✺✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ tr♦♥❣ ♠ët ✈➔♥❤ ◆♦❡t❤❡r ♠å✐ ✐✤➯❛♥ ❜➜t ❦❤↔ q✉② ❧✉ỉ♥ ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ sì✳ ✶✻✮ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ♠ët R✲♠ỉ✤✉♥ M ❝â ❞➣② ❤đ♣ t❤➔♥❤ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ M ❧➔ ♠ỉ✤✉♥ ◆♦❡t❤❡r ✈➔ ❝ơ♥❣ ❧➔ ♠æ✤✉♥ ❆rt✐♥✳ ✶✼✮ ❈❤♦ M ❧➔ ♠ët R✲♠æ✤✉♥✳ ✣➦t T = R/❆♥♥R (M ) ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ M ❝â t❤➸ T ổ ợ ổ ữợ s✐♥❤ tø ❝➜✉ tró❝ R✲♠ỉ✤✉♥ ❝õ❛ M ❍ì♥ ♥ú❛✱ ♠ët t➟♣ ❤đ♣ ❝♦♥ N ❝õ❛ M ❧➔ T ✲♠ỉ✤✉♥ ❝♦♥ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ ♥â ❧➔ R✲♠ỉ✤✉♥ ❝♦♥✳ ✶✽✮ ❱ỵ✐ ỵ ữ tr t ự ♠✐♥❤ r➡♥❣ ♥➳✉ M ❧➔ R✲♠æ✤✉♥ ◆♦❡t❤❡r ✭❤♦➦❝ M ❧➔ R✲♠æ✤✉♥ ❆rt✐♥ ❤ú✉ ❤↕♥ s✐♥❤✮ t❤➻ T ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ✭❤♦➦❝ ❆rt✐♥✮✳ ✶✾✮ ▼ët ✐✤➯❛♥ ♥❣✉②➯♥ tè p ✤÷đ❝ ❣å✐ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ❝õ❛ ♠ët R✲ ♠æ✤✉♥ M, tỗ t tỷ ổ x M s❛♦ ❝❤♦ p = ❆♥♥R (x) = {a ∈ R | ax = 0} ❈❤ù♥❣ ♠✐♥❤ ❝→❝ ♠➺♥❤ ✤➲ s❛✉ ✤➙②✿ ❈❤÷ì♥❣ ✺✳ ▼ỉ✤✉♥ tr➯♥ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✶✽✼ ✭✐✮ p ❧➔ ♠ët ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ❝õ❛ M tỗ t ởt Rổ N ❝õ❛ M s❛♦ ❝❤♦ R/p ∼ = N, ð ✤➙② t❛ ①❡♠ R/p ♥❤÷ ❧➔ R✲♠ỉ✤✉♥✳ ✭✐✐✮ ▼å✐ ♣❤➛♥ tû ❝ü❝ ✤↕✐ ✭t❤❡♦ q✉❛♥ ❤➺ ❜❛♦ ❤➔♠✮ tr♦♥❣ t➟♣ ❤ñ♣ Σ = {❆♥♥R (x) | ∀0 = x ∈ R} ❧✉æ♥ ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ❝õ❛ M ✷✵✮ ỵ ssR (M ) t ủ tt ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ❝õ❛ R✲♠æ✤✉♥ M ✭①❡♠ t ỵ (R) t tt tỷ ữợ ổ R ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ❩❞✈(R) = ∪p∈Ass( R) p ✷✶✮ ợ ỵ ữ tr t ❝❤♦ −→ M −→ M −→ M −→ ❧➔ ♠ët ❞➣② ❦❤ỵ♣ ♥❣➢♥ ❝→❝ R✲♠ỉ✤✉♥✳ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ❆ssR (M ) ⊆ ❆ssR (M ) ⊆ ❆ssR (M ) ssR (M ) ợ ỵ ❤✐➺✉ ♥❤÷ tr♦♥❣ ❜➔✐ t➟♣ ✷✵ ✈➔ ❣✐↔ t❤✐➳t r➡♥❣ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r✳ ❍➣② ❝❤ù♥❣ ♠✐♥❤ r➡♥❣ ❆ssR (M ) = ∅ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ M = ợ ỵ ữ tr t ỵ R (M ) = {p | p ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè ✈➔ Mp = 0}, ❣å✐ ❧➔ t➟♣ ❣✐→ ❝õ❛ M ❈❤♦ −→ M −→ M −→ M −→ ❧➔ ♠ët ❞➣② ❦❤ỵ♣ ♥❣➢♥ ❝→❝ R✲♠æ✤✉♥✳ ❍➣② ❝❤ù♥❣ ♠✐♥❤ r➡♥❣✿ ✭✐✮ ❙✉♣♣R (M ) ⊆ ❙✉♣♣R (M ) = ❙✉♣♣R (M ) ∪ ❙✉♣♣R (M ) ✭✐✮ ❆ssR (M ) ⊆ ❙✉♣♣R (M ) ❍ì♥ ♥ú❛✱ ❣✐↔ sû R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r t❤➻ ♠é✐ ♣❤➛♥ tû ❝ü❝ t✐➸✉ ✭t❤❡♦ q✉❛♥ ❤➺ ❜❛♦ ❤➔♠✮ ❝õ❛ ❙✉♣♣R (M ) ❧✉æ♥ t❤✉ë❝ ✈➔♦ ❆ssR (M ) ✷✹✮ ❱➝♥ ợ ỵ ữ tr t ợ ❣✐↔ t❤✐➳t t❤➯♠ r➡♥❣ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ✈➔ M ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤✳ ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ❦❤✐ ✤â t➟♣ ❤ñ♣ ❆ssR (M ) ❧➔ ♠ët t➟♣ ❤ú✉ ❤↕♥✳ ✶✽✽ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✷✺✮ ❈❤♦ M ❧➔ ♠æ✤✉♥ tr➯♥ ♠ët ✈➔♥❤ ◆♦❡t❤❡r R ✈➔ p ❧➔ ởt tố tý ỵ R ự ♠✐♥❤ r➡♥❣ E(R/p) ✤➥♥❣ ❝➜✉ ✈ỵ✐ ♠ët ❤↕♥❣ tû trü❝ t✐➳♣ ❝õ❛ E(M ) ❦❤✐ ✈➔ ❝❤➾ ❦❤✐ p ∈❆ssR (M ) ✷✻✮ ❈❤♦ M ❧➔ ♠ët R✲♠æ✤✉♥ ❆rt✐♥ ✈➔ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R ❈❤ù♥❣ ♠✐♥❤ r➡♥❣ ❧✉æ♥ tỗ t ởt ỳ s J tr I s❛♦ ❝❤♦ :M I = :M J ✭①❡♠ ❜➔✐ t➟♣ ✶ ❝õ❛ ❝❤÷ì♥❣ ✹✮✳ ✷✼✮ ▼ët R✲♠ỉ✤✉♥ ❆rt✐♥ M = ✤÷đ❝ ❣å✐ ❧➔ ✤è✐ ♥❣✉②➯♥ sì✱ ♥➳✉ ✈ỵ✐ ♠å✐ ♣❤➛♥ tû a ∈ R t❤➻ R✲tü ỗ fa : M M fa (x) = ax, ∀x ∈ M ❤♦➦❝ ❧➔ t♦➔♥ tự tỗ t ởt số tü ♥❤✐➯♥ n s❛♦ ❝❤♦ fan = 0✮✳ ❈❤♦ M ❧➔ ♠ët R✲♠ỉ✤✉♥ ✤è✐ ♥❣✉②➯♥ sì✳ ❑❤✐ ✤â ❤➣② ❝❤ù♥❣ ♠✐♥❤ ❝→❝ ♠➺♥❤ ✤➲ s❛✉✿ ✭✐✮ ❚➟♣ ❤ñ♣ q = {a R | fa ỗ } ❧➔ ♠ët ✐✤➯❛♥ ♥❣✉②➯♥ sì✳ ●å✐ p ❧➔ ✐✤➯❛♥ ❝➠♥ ❝õ❛ q, ❦❤✐ ✤â M ❝ơ♥❣ ✤÷đ❝ ❣å✐ ❧➔ p✲✤è✐ ♥❣✉②➯♥ sì✳ ✭✐✐✮ ▼å✐ ♠ỉ✤✉♥ t❤÷ì♥❣ ❝õ❛ ♠ët R✲♠ỉ✤✉♥ ✤è✐ ♥❣✉②➯♥ ❧↕✐ ❧➔ ✤è✐ ♥❣✉②➯♥ sì✳ ✷✽✮ ▼ët ♠ỉ✤✉♥ ❝♦♥ N ❝õ❛ ♠ët R✲♠ỉ✤✉♥ ❆rt✐♥ M ✤÷đ❝ ❣å✐ ❧➔ t q tờ ổ tỗ t ổ ❝♦♥ N1 , N2 ❝❤ù❛ t❤ü❝ sü tr♦♥❣ N s❛♦ ❝❤♦ N1 + N2 = N ❈❤ù♥❣ ♠✐♥❤ ❝→❝ ♠➺♥❤ ✤➲ s❛✉✿ ✭✐✮ ▼å✐ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ❝õ❛ ♠ët R✲♠ỉ✤✉♥ ❆rt✐♥ ❧✉ỉ♥ ❧➔ ✤è✐ ♥❣✉②➯♥ sì✳ ✭✐✐✮ ▼ët R✲♠ỉ✤✉♥ ❆rt✐♥ ❧✉ỉ♥ ❝â t❤➸ ❜✐➸✉ ❞✐➵♥ ✤÷đ❝ t❤➔♥❤ ♠ët tê♥❣ ❤ú✉ ❤↕♥ ❝→❝ ♠ỉ✤✉♥ ❝♦♥ ✤è✐ ♥❣✉②➯♥ sì✳ ❚➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦ ❬✶❪ ▼✳ ❆t✐②❛❤ ✈➔ ●✳ ▼❛❝❞♦♥❛❧❞✱ ■♥tr♦❞✉❝t✐♦♥ t♦ ❈♦♠♠✉t❛t✐✈❡ ❆❧❣❡❜r❛✳ ❆❞❞✐t✐♦♥ ✲ ❲❡s❧❡②✱ ❘❡❛❞✐♥❣✱ ▼❛ss✳ ✶✾✻✾✳ ❬✷❪ ●✳ ❇✐r❦❤♦❢❢ ✈➔ ❙✳ ▼❛❝❧❛♥❡✱ ❚ê♥❣ q✉❛♥ ✈➲ ✣↕✐ sè ❤✐➺♥ ✣↕✐✳ ◆❤➔ ①✉➜t ❜↔♥ ✣↕✐ ❤å❝ ✈➔ ❚r✉♥❣ ❤å❝ ❝❤✉②➯♥ ♥❣❤✐➺♣✱ ❍➔ ◆ë✐ ✶✾✼✾✳ ❬✸❪ ❋✳ ❑❛s❝❤✱ ▼♦❞✉❧♥ ✉♥❞ ❘✐♥❣❡✳ ❇✳ ●✳ ❚❡✉❜♥❡r ❙t✉tt❣❛rt ✶✾✼✼✳ ❬✹❪ ❆✳ ❑✉r♦✟s✱ ❱♦r❧❡s✉♥❣❡♥ ✉ ☎❜❡r ❛❧❧❣❡♠❡✐♥❡ ❆❧❣❡❜r❛✳ ❇✳ ●✳ ❚❡✉❜♥❡r ❱❡r✲ ❧❛❣s❣❡s❡❧❧s❝❤❛❢t ▲❡✐♣③✐❣✱ ✶✾✻✹✳ ❬✺❪ ◆❣✉②➵♥ ❍ú✉ ❱✐➺t ❍÷♥❣✱ ✣↕✐ sè ✣↕✐ ❝÷ì♥❣✳ ◆❤➔ ①✉➜t ❜↔♥ ●✐→♦ ❞ö❝✱ ❍➔ ◆ë✐ ✶✾✾✽✳ ❬✻❪ ❙✳ ▲❛♥❣✱ ✣↕✐ sè✳ ◆❤➔ ①✉➜t ❜↔♥ ✣↕✐ ❤å❝ ✈➔ ❚r✉♥❣ ❤å❝ ❝❤✉②➯♥ ♥❣❤✐➺♣✱ ❍➔ ◆ë✐✱ ✶✾✼✹✳ ❬✼❪ ❉✳ ❲✳ ❙❤❛r♣❡ ❛♥❞ P✳ ❱➠♠♦s✱ ■♥❥❡❝t✐✈❡ ♠♦❞✉❧❡s✳ ❈❛♠❜r✐❞❣❡ ❯♥✐✈❡rs✐t② Pr❡ss ✶✾✼✷✳ ✶✽✾ ✶✾✵ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ❚r❛ ❝ù✉ tø số ỗ ✶✷✸ ✤➥♥❣ ❝➜✉ →♥❤ ①↕ ✳ ✳ ✳ ✳ →♥❤ ①↕ ❤ñ♣ t❤➔♥❤ ↔♥❤ ❝õ❛ →♥❤ ①↕ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✾ ✳ ✸✻✱ ✸✾✱ ✽✸✱ ✶✷✷ ✳ ✳ ✶✶ ✤✐➲✉ ❦✐➺♥ ❝ü❝ ✤↕✐ ✳ ✶✽✵ ✳ ✳ ✶✷ ✤✐➲✉ ❦✐➺♥ ❝ü❝ t✐➸✉ ✳ ✶✽✼ ✳ ✳ ỵ ỡ s ố s t t ỵ r rr ỵ trrst ỵ ỡ s rt ỵ r ỵ tr tè ❝➜♣ ❝õ❛ ♣❤➛♥ tû ✳ ✳ ✳ ✸✵ ✤ë ❞➔✐ ✭♠æ ✤✉♥✮ ✳ ✶✸✷✱ ✶✸✺ ❝➠♥ ✳ ✳ ✽✼ ✤ë ❞➔✐ ❤ú✉ ❤↕♥ ✳ ✳ ✶✸✺ ✳ ✳ ✶✼✶ ❝➜♣ ❝õ❛ ♥❤â♠ ✳ ✳ ✳ ❝➠♥ ❧ô② ❧✐♥❤ ❝➜✉ ①↕ ✳ ✳ ✳ ✳ ✳ ✳ ✽✼✱ ✾✵ ✤è✐ s✐♥❤ ♥ë✐ ①↕ ✳ ✳ ✹✷✱ ✹✸ ✤è✐ t➼❝❤ ✳ ữợ tr ỡ s ỗ s ỗ ỗ ợ ✤ì♥ ❝➜✉ ❞➣② ❦❤ỵ♣ ❝❤➫ r❛ ✳ ✶✹✺✱ ✶✹✽ ✤ì♥ ❝➜✉ ❝❤➼♥❤ t➢❝ ❞➣② ❤đ♣ t❤➔♥❤ ✳ ✶✸✸✱ ✶✸✹ ✤ì♥ →♥❤ ✣ ❍ ✳ ✳ ✹✽✱ ✹✾ ✳ ✳ ✽✺ ỗ rở ợ ✾✸ ✳ ✳ ✶✺✽ ✳ ✶✼✸ ✳ ✸✻✱ ✽✸✱ ✶✷✸ ✳ ✺✸✱ ✶✷✼ ✳ ✳ ✳ ✶✶ ✤❛ t❤ù❝ ✤è✐ ①ù♥❣ ❝ì ❜↔♥ ✶✶✹ ❤❛✐ ♣❤➛♥ tû s♦ s→♥❤ ✤÷đ❝ ✶✺ ✤↕✐ ❞✐➺♥ ❤❛✐ ♣❤➛♥ tû ❧✐➯♥ ❦➳t ✳ ✳ ✳ ✳ ✳ ✸✷ ✳ ✳ ✳ ✳ ✳ ✶✷✵ ✤↕✐ sè ❝♦♥ ✳ ✳ ✳ ✳ ✶✷✶ ✤↕✐ sè ✶✵✹ ❤❛✐ ♣❤➛♥ tû ♥❣✉②➯♥ tè ❝ò♥❣ ♥❤❛✉ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✺ ✶✾✶ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✶✾✷ ❤➔♠ tû ❜✐➸✉ ❞✐➵♥ ✳ ✳ ✹✼ ♠æ✤✉♥ ❆rt✐♥ ✳ ✳ ♠æ✤✉♥ ❜➜t ❦❤↔ q✉② ❤➔♠ tû ❦❤ỵ♣ tr→✐ ✭♣❤↔✐✮ ✶✹✻ ❤➔♠ tû ♠ð rë♥❣ ✳ ✶✽✼ ✶✾✺ ♠æ✤✉♥ ❜➜t ❦❤↔ q✉② tê♥❣ ✷✵✸ ❊①tiR (−, −) ✶✹✾ ♠æ✤✉♥ ❝→❝ ♣❤➙♥ t❤ù❝ ✶✹✷ ❤➔♠ tû ♥❣❤à❝❤ ❜✐➳♥ ✭❤✐➺♣ ❜✐➳♥✮ ✹✻✱ ✹✼ ♠æ✤✉♥ ❝♦♥ ✶✶✾ ❤➔♠ tû q✉➯♥ ❤➔♠ tû ①♦➢♥ ✳ ✳ ✳ ❤↕♥❣ ❝õ❛ ♥❤â♠ ✳ ✳ ✳ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ✶✾✺ ✳ ✹✼ ❚♦rR i (−, −) ✳ ♠æ✤✉♥ ❝♦♥ ❜➨ ✶✹✾ ✳ ✳ ♠æ✤✉♥ ❝♦♥ m− ①♦➢♥ ✺✾✱ ✻✽ ✶✾✸ ✳ ổ ố sỡ ổ ỗ ✶✹✺ ♠æ✤✉♥ ✤è✐ ♥❣➝✉ ✳ ✳ ✶✷✺ ❤➺ ❜➜t ❜✐➳♥ ✤➛② ✤õ ♥❤â♠ ✻✽ ♠æ✤✉♥ ✤è✐ s✐♥❤ ♥ë✐ ①↕ ✶✼✶ ❤➺ s✐♥❤ ♠ỉ✤✉♥ ✤ì♥ ❤↕♥❣ tû trü❝ t✐➳♣ ✳ ❤↕t ỗ ổ ữủ ✶✷✸ ✳ ✸✶✱ ✽✶✱ ✶✶✾✱ ✶✷✶ ❤➺ s✐♥❤ ❝õ❛ ✐✤➯❛♥ ✳ ■ ✳ ✽✶ ✶✶✾✱ ✶✼✷✱ ✶✾✼ ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ✶✶✾ ♠ỉ✤✉♥ ❦❤ỉ♥❣ ♣❤➙♥ t➼❝❤ ✤÷đ❝ ✐✤➯❛♥ ✭tr→✐✱ ♣❤↔✐✮ ✽✵✱ ✽✶ ✐✤➯❛♥ ❜➜t ❦❤↔ q✉② ✐✤➯❛♥ ❝❤➼♥❤ ✳ ✶✽✸ ✶✾✻ ♠æ✤✉♥ ♥ë✐ ①↕ ✳ ✳ ✶✺✼ ✳ ✳ ✳ ✳ ✽✶ ♠æ✤✉♥ ◆♦❡t❤❡r ✳ ✳ ✶✽✵ ✐✤➯❛♥ ❝ü❝ ✤↕✐ ✳ ✳ ✳ ✳ ✽✻ ♠æ✤✉♥ ♣❤↔♥ ①↕ ✳ ✳ ✶✷✺ ✳ ✶✼✼ ♠æ✤✉♥ s♦♥❣ ✤è✐ ♥❣➝✉ ✶✷✺ ✐✤➯❛♥ ❦❤↔ ♥❣❤à❝❤ ✐✤➯❛♥ ♥❣✉②➯♥ ✳ ✳ ✳ ✽✻ ♠ỉ✤✉♥ t❤÷ì♥❣ ✐✤➯❛♥ ♥❣✉②➯♥ tè ✳ ✳ ✳ ✽✻ ♠æ✤✉♥ tü ❞♦ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ✷✵✶ ❑ ❦➳t ❤ñ♣ ✳ ✳ ✳ ✳ ❦❤ỉ♥❣ ❣✐❛♥ ✈➨❝ tì ▲ ✳ ✳ ✷✺ ✳ ✶✶✽ ✳ ✳ ✶✷✸ ✳ ✳ ✶✸✵ ✳ ✳ ✶✼✸ ♠ð rë♥❣ ❝èt ②➳✉ ✳ ✳ ✶✻✺ ✳ ♠ỉ✤✉♥ ①↕ ↔♥❤ ◆ ♥❣✉②➯♥ tè ❝ị♥❣ ♥❤❛✉ ♥❤â♠ ✳ ✳ ✶✵✻ ✳ ✳ ✳ ✳ ✷✺ ❧✉➟t ♣❤➙♥ ♣❤è✐ ✳ ✼✺✱ ✶✶✽ ♥❤â♠ ❆❜❡❧ ✳ ✳ ✳ ✳ ✷✻ ợ õ ữủ ✳ ✳ ✶✻✷ ✳ ✳ ✳ ✸✷ ♥❤â♠ ❆❜❡❧ ❤ú✉ ❤↕♥ s✐♥❤ ✺✻ ❧ỵ♣ ❣❤➨♣ tr→✐ ▼ ✳ ♠✐➲♥ ♥❣✉②➯♥ ✳ ✳ ✳ ✳ ✼✽ ♠æ✤✉♥ ✭tr→✐✮ ✳ ✳ ✳ ✶✶✼ ♥❤â♠ ❆❜❡❧ tü ❞♦ ✳ ✳ ✺✼ ♥❤â♠ ❝→❝ ♣❤➨♣ t❤➳ ✳ ✳ ✸✵ ♥❤â♠ ❝♦♥ ✳ ✳ ✷✾ ✳ ✳ ✳ ❚r❛ ❝ù✉ ✶✾✸ ♥❤â♠ ❝♦♥ ❝❤✉➞♥ t➢❝ ữợ t ✳ ✸✸ ♥❤â♠ ❝♦♥ ❝❤✉➞♥ ❤♦→ ♣❤➨♣ ❣✐↔✐ ♥ë✐ ①↕ ❝ü❝ t✐➸✉ ✶✼✵ ♣❤➨♣ ❣✐↔✐ ①↕ ↔♥❤ ✳ ✼✶ ✳ ✶✼✾ ♣❤➨♣ ♥❤ó♥❣ tü ♥❤✐➯♥ ✶✶✱ ✶✻✻ ♥❤â♠ ❝♦♥ s✐♥❤ ❜ð✐ ♠ët t➟♣ ✸✶ ♣❤õ ①↕ ↔♥❤ ♥❤â♠ ❝♦♥ ❙②❧♦✇ ✳ ✳ ✳ ✼✷ ♣❤ù❝ ♥❤â♠ ❝♦♥ t❤ü❝ sü ✳ ✳ ✷✾ ◗ q✉❛♥ ❤➺ ❜❛♦ ❤➔♠ ✶✻✱ ✽✽✱ ✾✵✱ ♥❤â♠ ❝♦♥ ①♦➢♥ ✳ ✳ ✳ ✻✻ ♥❤â♠ ✤è✐ ①ù♥❣ ✳ ✳ ✳ ✷✽ ♥❤â♠ t❤÷ì♥❣ ✳ ✳ ✳ ✳ ✳ ✶✼✽ ✳ ✳ ✳ ✶✹✺ ✶✻✼ q✉❛♥ ❤➺ 2−♥❣æ✐ ✳ ✳ ✳ ✶✸ ✳ ✳ ✸✵ q✉❛♥ ❤➺ n−♥❣æ✐ ✳ ✳ ✳ ✶✸ ✳ ✳ ✸✺ q✉❛♥ ❤➺ t❤ù tü ❜ë ♣❤➟♥ ♥❤â♠ t✉②➳♥ t➼♥❤ ✤➛② ✤õ ♥❤â♠ ①②❝❧✐❝ ✳ ✳ ✷✻ ♥❤â♠ ❤ú✉ ❤↕♥ ✭✈æ ❤↕♥✮ ♥❤â♠ t❤❛② ♣❤✐➯♥ ✳ ✳ ✳ ♥❤â♠ ①②❝❧✐❝ ♥❣✉②➯♥ P ✷✽ ✳ ✷✽ ✻✷ q✉❛♥ ❤➺ t❤ù tü tèt ✳ ✶✺ ✳ ✶✺ q✉❛♥ ❤➺ t❤ù tü t✉②➳♥ t➼♥❤ ✶✺ q✉❛♥ ❤➺ t÷ì♥❣ ✤÷ì♥❣ ✳ ✶✹ ❙ ✳ ✳ ✳ ✹✷ s♦♥❣ →♥❤ ✳ ✳ ✳ ✳ ✳ ✶✶ ♣❤↕♠ trò ✤è✐ ♥❣➝✉ ✳ ✳ ✹✻ s♦♥❣ ❝➜✉ ✳ ✳ ✳ ✳ ✳ ✹✸ ✳ ✳ ✳ ✳ ✷✵✷ ✳ ✳ ✳ ✳ ♣❤↕♠ trò ✳ ✳ ♣❤➛♥ tû ❜➜t ❦❤↔ q✉✐ ✶✵✺ ❚ ♣❤➛♥ tû ❝ü❝ ✤↕✐ ✭❝ü❝ t✐➸✉✮ ✶✺ t➟♣ ❣✐→ ♣❤➛♥ tû ✤↕✐ ❞✐➺♥ ✳ ✳ ✳ ✸✷ t➟♣ ❤ñ♣ ✳ ✾ ✳ ✳ ✳ ✷✻ t➟♣ ❤ñ♣ ữủ s tự tỹ tỷ ỗ t ✳ ✹✸ t➟♣ ❤đ♣ t÷ì♥❣ ✤÷ì♥❣ ♣❤➛♥ tû ✤è✐ ✳ ♣❤➛♥ tû ✤ì♥ ✈à ✳ ✷✻✱ ✼✻ t➟♣ ♥❤➙♥ ✤â♥❣ ♣❤➛♥ tû ❦❤ỉ♥❣ ✳ ✷✻✱ ✼✻ t➟♣ t❤÷ì♥❣ ♣❤➛♥ tû ❧ô② ❧✐♥❤ ✳ ✳ ♣❤➛♥ tû ♥❣❤à❝❤ ✤↔♦ ✶✸✷ ✳ ✶✵✷ ✳ ✶✸✷ ✳ t➼❝❤ ✳ ✳ t➼❝❤ ✭✐✤➯❛♥✮ ✳ ✳ ✳ ✳ ✽✾ t➼❝❤ t❡♥ ①ì ✳ ✳ ✳ ✶✸✽ t➼❝❤ trü❝ t✐➳♣ ✳ ✳ ✺✷✱ ✶✷✻ t✐➯♥ ✤➲ ❝❤å♥ ✳ ✳ ✳ ✳ ✶✾ t✐➯✉ ❝❤✉➞♥ ❇❛❡r ✳ ✳ ✶✺✾ ✳ ✷✽ ♣❤➙♥ t➼❝❤ t❤➔♥❤ tê♥❣ trü❝ t✐➳♣ ✺✸✱ ✶✷✼ ♣❤➙♥ t➼❝❤ t✐➯✉ ❝❤✉➞♥ ❝õ❛ ♥❤â♠ ✻✻ ♣❤➨♣ ❝❤✐➳✉ tü ♥❤✐➯♥ ✳ ✳ ✳ ✳ ✳ t❤÷ì♥❣ t❤ù i ♣❤➛♥ tû s✐♥❤ ✳ ✳ ✾✹ ✳ ✷✻ ✶✵✺ ♣❤ê ♥❣✉②➯♥ tè ✳ t❤✉➟t t♦→♥ ❊✉❝❧✐❞ ✳ ✳ ✳ ✳ ✽✼ ♣❤➛♥ tû ♥❣✉②➯♥ tè ✳ ✳ ✳ ✶✻ ✳ ✳ ✳ ✹✽✱ ✹✾ ✶✶✸ t➼♥❤ ❝❤➜t ❜➢❝ ❝➛✉ ✳ ✳ ✶✹ ✶✷✸ t➼♥❤ ❝❤➜t ✤è✐ ①ù♥❣ ✳ ✳ ✶✹ ●✐→♦ tr➻♥❤ ✤↕✐ sè ❤✐➺♥ ✤↕✐ ✶✾✹ t➼♥❤ ❝❤➜t ♣❤↔♥ ✤è✐ ①ù♥❣ t➼♥❤ ❝❤➜t ♣❤↔♥ ①↕ ✳ ✶✺ ✳ ✳ ✶✹ ✳ ✳ ✶✶ t♦➔♥ →♥❤ ✳ ✳ t♦➔♥ ❝➜✉ ✳ ✳ ✸✻✱ ✽✸✱ ✶✷✸ t♦➔♥ ❝➜✉ ❝❤➼♥❤ t➢❝ ✸✻✱ ✶✷✼ tæ ♣æ ❩❛r✐s❦✐ ✳ ✶✶✸ ✳ ✶✷✵ ✳ ✳ ✳ ✽✾ ✳ ✺✸✱ ✶✷✻ ✳ ✳ ✳ ✳ ✼✻ ✳ ✳ ✳ ✳ ✽✵ ✳ ✳ ✾✽ ✳ ✳ ✸✻ ✳ ✳ ✸✼ ✳ ✶✵✹ ✳ ✳ tê ❤đ♣ t✉②➳♥ t➼♥❤ tê♥❣ ✭✐✤➯❛♥✮ ✳ tê♥❣ trü❝ t✐➳♣ tr÷í♥❣ trữớ trữớ tự tỹ ỗ tỹ tr ì ữợ ữợ ợ t ữợ ❝õ❛ ❦❤æ♥❣ ✳ ✳ ✳ ✼✼ ✳ ✳ ✳ ✳ ✼✺ ✳ ✳ ✳ ✶✽✼ ❱ ✈➔♥❤ ✳ ✳ ✈➔♥❤ ❆rt✐♥ ✈➔♥❤ ❝→❝ ♣❤➙♥ t❤ù❝ t♦➔♥ ♣❤➛♥ ✾✽ ✈➔♥❤ ❝♦♥ ✳ ✳ ✳ ✳ ✳ ✽✵ ✈➔♥❤ ✤❛ t❤ù❝ ✳ ✳ ✳ ✳ ✾✾ ✳ ✳ ✽✾ ✈➔♥❤ ✤à❛ ♣❤÷ì♥❣ ữỡ õ ò ✳ ✳ ✶✵✹ ✳ ✳ ✳ ✼✻ ✳ ✳ ✽✶ ✳ ✳ ✶✽✵ ✳ ✳ ✳ ✽✷ ✈➟t ✤➞② ♣❤ê ❞ö♥❣ ✳ ✳ ✺✵ ✈➟t ❦➨♦ ♣❤ê ❞ö♥❣ ✳ ✳ ✺✵ ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ✈➔♥❤ ✐✤➯❛♥ ❝❤➼♥❤ ✈➔♥❤ ◆♦❡t❤❡r ✈➔♥❤ t❤÷ì♥❣ ✳ ❳ ①➼❝❤ ✳ ✳ ✳ ①➼❝❤ ❝ü❝ ✤↕✐ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✾ ✶✾ ... t❤ù❝ ❦❤ð✐ ✤➛✉ ❝❤♦ ♥❤ú♥❣ ✤å❝ ❣✐↔ ❝â þ ✤à♥❤ t✐➳♣ tö❝ ✤✐ s➙✉ ✈➔♦ ♥❣❤✐➯♥ ❝ù✉ ❝→❝ q trồ số ữ ỵ tt ổ tr t ủ số ỗ sè ❣✐❛♦ ❤♦→♥✳ ▼ð ✤➛✉ ✺ ❈✉è✐ ♠é✐ ❝❤÷ì♥❣ ❝õ❛ ❝✉è♥ s→❝❤ ✤➲✉ ❝â ♣❤➛♥ ❜➔✐ t➟♣ ✤÷đ❝... ✭✐✐✮ ▼é✐ ①➼❝❤ ❣✐↔♠ ❝→❝ ♣❤➛♥ tû ❝õ❛ X x1 ≥ x2 ≥ ≥ xn ≥ ✤➲✉ ứ tự tỗ t ởt số tỹ k s ❝❤♦ xk = xk+1 = ✷✶ ✷✷ ●✐→♦ tr➻♥❤ số ữỡ õ ỵ tt õ tở ởt tr ỵ tt ữủ t tr sỵ♠ ♥❤➜t✱ ❞♦ ✈➟② r➜t ♣❤♦♥❣ ♣❤ó... , , ar−1 } t tỗ t số i < j, ≤ i, j ≤ r − s❛♦ ❝❤♦ = aj ❚❛ s✉② r❛ aj−i = e ✣✐➲✉ ♥➔② tr→✐ ✈ỵ✐ t➼♥❤ ❜➨ ♥❤➜t ❝õ❛ r ✈➻ j − i < r, ✈➟② = aj ❇➙② ❣✐í ❣✐↔ sû ak ∈ G ✈ỵ✐ k ❧➔ ởt số õ õ tỗ t ỳ sè