Tải bản đầy đủ

Iđêan nguyên tố liên kết

❚❘×❮◆● ✣❸■ ❍➴❈ ❙× P❍❸▼ ❍⑨ ◆❐■ ✷
❑❍❖❆ ❚❖⑩◆

P❍❸▼ ◆●➴❈ ❉■➏P

■✣➊❆◆ ◆●❯❨➊◆ ❚➮ ▲■➊◆ ❑➌❚

❑❍➶❆ ▲❯❾◆ ❚➮❚ ◆●❍■➏P ✣❸■ ❍➴❈

❍➔ ◆ë✐ ✕ ◆➠♠ ✷✵✶✽


❚❘×❮◆● ✣❸■ ❍➴❈ ❙× P❍❸▼ ❍⑨ ◆❐■ ✷
❑❍❖❆ ❚❖⑩◆

P❍❸▼ ◆●➴❈ ❉■➏P

■✣➊❆◆ ◆●❯❨➊◆ ❚➮ ▲■➊◆ ❑➌❚

❑❍➶❆ ▲❯❾◆ ❚➮❚ ◆●❍■➏P ✣❸■ ❍➴❈
❈❤✉②➯♥ ♥❣➔♥❤✿ ✣↕✐ sè


◆●×❮■ ❍×❰◆● ❉❼◆ ❑❍❖❆ ❍➴❈✿

❚❤❙✳ ✣➱ ❱❿◆ ❑■➊◆

❍➔ ◆ë✐ ✕ ◆➠♠ ✷✵✶✽


❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

▲í✐ ❝↔♠ ì♥
❚r÷î❝ ❦❤✐ tr➻♥❤ ❜➔② ♥ë✐ ❞✉♥❣ ❝❤➼♥❤ ❝õ❛ ❦❤â❛ ❧✉➟♥✱ ❡♠ ①✐♥ ❜➔② tä
❧á♥❣ ❝↔♠ ì♥ tî✐ ❝→❝ t❤➛② ❝æ ❦❤♦❛ ❚♦→♥✱ tr÷í♥❣ ✣↕✐ ❤å❝ ❙÷ ♣❤↕♠ ❍➔ ◆ë✐
✷✱ ❝→❝ t❤➛② ❝æ tr♦♥❣ tê ❜ë ♠æ♥ ✤↕✐ sè ❝ô♥❣ ♥❤÷ ❝→❝ t❤➛② ❝æ t❤❛♠ ❣✐❛
❣✐↔♥❣ ❞↕② ✤➣ t➟♥ t➻♥❤ tr✉②➲♥ ✤↕t ♥❤ú♥❣ tr✐ t❤ù❝ q✉þ ❜→✉ ✈➔ t↕♦ ✤✐➲✉
❦✐➺♥ t❤✉➟♥ ❧ñ✐ ✤➸ ❡♠ ❤♦➔♥ t❤➔♥❤ tèt ♥❤✐➺♠ ✈ö ❦❤â❛ ❤å❝ ✈➔ ❦❤â❛ ❧✉➟♥✳
✣➦❝ ❜✐➺t✱ ❡♠ ①✐♥ ❜➔② tä sü ❦➼♥❤ trå♥❣ ✈➔ ❧á♥❣ ❜✐➳t ì♥ s➙✉ s➢❝ tî✐ t❤➛②
❣✐→♦ ✲ ❚❤↕❝ s➽

✣é ❱➠♥ ❑✐➯♥ ✱ ♥❣÷í✐ ✤➣ trü❝ t✐➳♣ ❤÷î♥❣ ❞➝♥✱ ❝❤➾ ❜↔♦

t➟♥ t➻♥❤ ❣✐ó♣ ✤ï ✤➸ ❡♠ ❝â t❤➸ ❤♦➔♥ t❤➔♥❤ ❦❤â❛ ❧✉➟♥ ♥➔②✳
❉♦ t❤í✐ ❣✐❛♥✱ ♥➠♥❣ ❧ü❝ ✈➔ ✤✐➲✉ ❦✐➺♥ ❜↔♥ t❤➙♥ ❝á♥ ❤↕♥ ❝❤➳ ♥➯♥ ❜↔♥
❦❤â❛ ❧✉➟♥ ❦❤æ♥❣ t❤➸ tr→♥❤ ❦❤ä✐ ♥❤ú♥❣ s❛✐ sât✳ ❱➻ ✈➟②✱ ❡♠ r➜t ♠♦♥❣ ♥❤➟♥
✤÷ñ❝ ♥❤ú♥❣ þ ❦✐➳♥ ❣â♣ þ q✉þ ❜→✉ ❝õ❛ ❝→❝ t❤➛② ❝æ ✈➔ ❝→❝ ❜↕♥✳

❍➔ ◆ë✐✱ t❤→♥❣ ✺ ♥➠♠ ✷✵✶✽
❚→❝ ❣✐↔

P❤↕♠ ◆❣å❝ ❉✐➺♣




❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

▲í✐ ❝❛♠ ✤♦❛♥
❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣

✧■✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t✧ ✤÷ñ❝ ❤♦➔♥

t❤➔♥❤ ❞♦ sü ❝è ❣➢♥❣✱ ♥é ❧ü❝ t➻♠ ❤✐➸✉ ✈➔ ♥❣❤✐➯♥ ❝ù✉ ❝ò♥❣ ✈î✐ sü ❣✐ó♣ ✤ï
t➟♥ t➻♥❤ ❝õ❛ t❤➛② ❣✐→♦ ✲ ❚❤↕❝ ❙➽

✣é ❱➠♥ ❑✐➯♥ ✳

❚r♦♥❣ q✉→ tr➻♥❤ t❤ü❝ ❤✐➺♥ ❡♠ ✤➣ t❤❛♠ ❦❤↔♦ ♠ët sè t➔✐ ❧✐➺✉ ♥❤÷ ✤➣
✈✐➳t tr♦♥❣ ♣❤➛♥ t➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦✳ ❱➻ ✈➟②✱ ❡♠ ①✐♥ ❝❛♠ ✤♦❛♥ ❦➳t q✉↔
tr♦♥❣ ❦❤â❛ ❧✉➟♥ ♥➔② ❧➔ tr✉♥❣ t❤ü❝ ✈➔ ❦❤æ♥❣ trò♥❣ ✈î✐ ❦➳t q✉↔ ❝õ❛ t→❝
❣✐↔ ♥➔♦ ❦❤→❝✳

❍➔ ◆ë✐✱ t❤→♥❣ ✺ ♥➠♠ ✷✵✶✽
❚→❝ ❣✐↔

P❤↕♠ ◆❣å❝ ❉✐➺♣




▼ö❝ ❧ö❝
▼ð ✤➛✉



✶ ❑■➌◆ ❚❍Ù❈ ❈❍❯❽◆ ❇➚



✶✳✶

❱➔♥❤

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✳✷

❱➔♥❤ ❝♦♥

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳



✶✳✸

■✤➯❛♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳



✶✳✹

❱➔♥❤ t❤÷ì♥❣

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✵

✶✳✺

✣ç♥❣ ❝➜✉ ✈➔♥❤ ✈➔ ❝→❝ ✤à♥❤ ❧➼ ✤ç♥❣ ❝➜✉ ✈➔♥❤ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✵

✶✳✻

❱➔♥❤ ◆♦❡t❤❡r ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✸

✶✳✼

▼æ✤✉♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✸

✶✳✽

▼æ✤✉♥ ❝♦♥

✶✺

✶✳✾

▼æ✤✉♥ t❤÷ì♥❣

✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳



✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✶✻

✶✳✶✵ ✣ç♥❣ ❝➜✉ ♠æ✤✉♥ ✈➔ ❝→❝ ✤à♥❤ ❧➼ ✤ç♥❣ ❝➜✉ ♠æ✤✉♥ ✳ ✳ ✳ ✳ ✳

✶✼

✶✳✶✶ ✣à❛ ♣❤÷ì♥❣ ❤â❛ ❝õ❛ ✈➔♥❤ ✈➔ ♠æ✤✉♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳

✷✵

✷ ■✣➊❆◆ ◆●❯❨➊◆ ❚➮ ▲■➊◆ ❑➌❚

✷✹

✸ ❙Ü P❍❹◆ ❚➑❈❍ ◆●❯❨➊◆ ❙❒

✸✾

❑➳t ❧✉➟♥

✹✼



❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

▼Ð ✣❺❯
✶✳ ▲þ ❞♦ ❝❤å♥ ✤➲ t➔✐
❈❤♦ R ❧➔ ♠ët ✈➔♥❤✱ M ❧➔ R✲♠æ✤✉♥✳ ▼ët ✈➜♥ ✤➲ ✤➦t r❛ tr♦♥❣ ✤↕✐
sè ❣✐❛♦ ❤♦→♥ ❧➔ ❦❤✐ ♥➔♦ ♠ët ✐✤➯❛♥ ♥❣✉②➯♥ tè tr♦♥❣ ✈➔♥❤ R ❧➔ ♠ët ✐✤➯❛♥
♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ❝õ❛ ♠æ✤✉♥ M ✳ ❚ø ✤â ❙❤✐r♦ ●♦t♦ ✲ ♠ët ♥❤➔ ❚♦→♥
❤å❝ ♥❣÷í✐ ◆❤➟t ✤➣ ♥❣❤✐➯♥ ❝ù✉ ✈➔ ✤÷❛ r❛ ❝→❝ ❦➳t q✉↔ ✈➲ t➟♣ ❝❤ù❛ t➜t
❝↔ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ✈î✐ ♠ët ♠æ✤✉♥✳ ◆❣♦➔✐ r❛ æ♥❣ ❝á♥ ♥❣❤✐➯♥
❝ù✉ ✈➲ ✤à♥❤ ❧➼ ❧å❝ ❇♦✉r❜❛❦✐ ✈➔ ❤➺ q✉↔ ❝õ❛ ♥â ❧➔ t➟♣ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè
❝õ❛ ♠ët ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ tr➯♥ ✈➔♥❤ ◆♦❡t❤❡r ❧➔ t➟♣ ❤ú✉ ❤↕♥✳ P❤➙♥
t➼❝❤ ♥❣✉②➯♥ sì ❝ô♥❣ ❧➔ ♠ët ✤è✐ t÷ñ♥❣ q✉❛♥ trå♥❣ tr♦♥❣ ✤↕✐ sè✳ ❍✐❞❡②✉❦✐
▼❛ts✉♠✉r❛ ✤➣ ♥❣❤✐➯♥ ❝ù✉ ✈➔ ①✉➜t ❜↔♥ ❝✉è♥ s→❝❤ ❈♦♠♠✉t❛t✐✈❡ r✐♥❣
t❤❡♦r②✱ tr♦♥❣ ✤â ✤÷❛ r❛ ❝→❝ ❧➼ t❤✉②➳t ✈➲ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❧✐➯♥ ❦➳t ✈➔ ♣❤➙♥
t➼❝❤ ♥❣✉②➯♥ sì✳ ❚➔✐ ❧✐➺✉ ♥➔② ✤÷❛ r❛ ✤à♥❤ ❧➼ q✉❛♥ trå♥❣ ✈➲ t➼♥❤ ❝❤➜t ❝õ❛
❝→❝ ♠æ✤✉♥ ❝♦♥ ❝õ❛ ♠ët ♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ tr➯♥ ✈➔♥❤ ◆♦❡t❤❡r✱ ✤â ❧➔
♠å✐ ♠æ✤✉♥ ❝♦♥ t❤ü❝ sü ✤➲✉ ❝â ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥ sì ✈➔ ♠æ✤✉♥ ❝♦♥ ❜➜t
❦❤↔ q✉② t❤➻ ♥❣✉②➯♥ sì✳
◆❤ú♥❣ ✈➜♥ ✤➲ tr➯♥ ❝â ✈❛✐ trá q✉❛♥ trå♥❣ tr♦♥❣ ✤↕✐ sè ✈➔ ✤÷ñ❝ ♥❤✐➲✉
♥❤➔ t♦→♥ ❤å❝ q✉❛♥ t➙♠✳ ▼ö❝ ✤➼❝❤ ❝õ❛ ❦❤â❛ ❧✉➟♥ ♥➔② ❧➔ ❤➺ t❤è♥❣ ❧↕✐
♠ët sè ❦✐➳♥ t❤ù❝ ❝ì ❜↔♥ tr♦♥❣ ✤↕✐ sè ❣✐❛♦ ❤♦→♥ ❝â ❧✐➯♥ q✉❛♥ ✤➳♥ ✈➜♥ ✤➲
♥❣❤✐➯♥ ❝ù✉✱ s❛✉ ✤â tr➻♥❤ ❜➔② ❧↕✐ ❝❤✐ t✐➳t ❝→❝ ✤à♥❤ ❧➼ tr➯♥✳ ❇➯♥ ❝↕♥❤ ✤â
❝ô♥❣ s➩ ✤÷❛ r❛ ❤➺ t❤è♥❣ ❝→❝ ✤à♥❤ ♥❣❤➽❛✱ ❜ê ✤➲✱ ♥❤➟♥ ①➨t ✤➸ ✤÷❛ ✤➳♥ ❝→❝
❦➳t q✉↔ ♥➯✉ tr➯♥✳



õ tốt ồ

P ồ

ố tữủ ự
t ự tr ổ ữỡ
õ ừ ổ tố t t t ừ
õ sỹ t sỡ

Pữỡ ự
ự tr s t t q
ở ự

trú õ
ỗ ữỡ

ữỡ 1 tự
ữỡ 1 tr ởt số tự ỡ s ừ số õ
tữỡ tr ỗ
ổ ổ ổ tữỡ ữỡ õ ừ ổ
ợ tự ử ử ự
ỵ ừ ữỡ s

ữỡ 2 tố t
ữỡ 2 ữ r tố t ũ
q t tố t
r tr ở ữỡ ỏ ợ t ự
ồ r tứ õ ữ r t t ỳ ừ t
tố t ừ ổ tr tr



❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

• ❈❤÷ì♥❣ 3✿ P❤➙♥ t➼❝❤ ♥❣✉②➯♥ sì
◆ë✐ ❞✉♥❣ ❝❤÷ì♥❣ 3 tr➻♥❤ ❜➔② ✈➲ sü ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥ sì✳ P❤➛♥
✤➛✉ ❝õ❛ ❣ç♠ ❝â ✤à♥❤ ♥❣❤➽❛ ♠æ✤✉♥ ♥❣✉②➯♥ sì✱ ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥
sì ✈➔ ♣❤➙♥ t➼❝❤ ❜➜t ❦❤↔ q✉②✳ ▼ët ✤à♥❤ ❧➼ q✉❛♥ trå♥❣ ✈➲ ♣❤➙♥ t➼❝❤
♥❣✉②➯♥ sì s➩ ✤÷ñ❝ ✤÷❛ r❛ tr♦♥❣ ♣❤➛♥ ❝✉è✐ ❝õ❛ ❝❤÷ì♥❣✳




ữỡ

ở ữỡ tr ởt số tự ỡ s ừ số
ử ử ỹ ự t
t ừ ữỡ s P t ừ ữỡ ỗ ởt số
tự P tự ừ ữỡ ỗ
ổ ổ ổ tữỡ ởt số t t ừ ổ
ởt số ữỡ õ ừ ổ ợ s ữủ
ố ừ ữỡ




R ởt t ủ rộ õ R ũ ợ

t ở (+) (.) ữủ ồ ởt
õ tọ s
R ũ ợ ở ởt õ
R ũ ợ ởt ỷ õ
P ố ố ợ ở tự ợ ồ x, y, z R



õ tốt ồ

P ồ

t (x + y)z = xz + yz z(x + y) = zx + zy
R ữủ ồ õ ỡ R ởt õ
R ữủ ồ ởt õ t t

R ữủ ồ õ ỡ R ởt õ


ử Z, Q, R, Z[x]
ú ỵ

r t ở tỷ ổ ừ ổ

ữủ ỵ 0 P tỷ ỡ ừ õ ổ ữủ ỵ
1
s ữ r ởt số t t ỡ tr

R ởt õ
0x = x0 = 0 ợ ồ x R
(x)y = x(y) = (xy) ợ ồ x, y R
(x)(y) = xy ợ ồ x, y R
x(y z) = xy xz; (x y)z = xz yz ợ ồ x, y, z R
(x)2n = x2n ; (x)2n+1 = x2n+1 ợ ồ x R, n N

ìợ ừ ổ R

ởt ồ

tỷ 0 = a R ữợ ừ tỗ t 0 = b R tọ q

ab = 0



ởt õ ỡ tỷ

õ ỡ ổ õ ữợ ừ ữủ ồ



õ tốt ồ


P ồ

số Z ởt

rữớ R õ ỡ õ ỡ
ởt tỷ ữủ ồ trữớ ợ ồ 0 = x R tỗ t
tỷ x1 tọ x1 x = 1


X

ởt A ởt ở ừ X ờ

ợ t tr X x+y A xy A ợ ồ x, y A

A ởt ừ X A ũ ợ t s
tr A ởt

ỵ A ởt ở rộ ừ X
s tữỡ ữỡ
A ởt ừ X
ợ ồ x, y A t x + y A, xy A, x A
ợ ồ x, y A t x y A, xy A


ở {0} ỗ õ tỷ ổ ở X
ừ X
ở mZ ỗ số ở ừ ởt số m
trữợ ởt ừ Z

ừ ởt ồ tũ ỵ rộ ừ ởt
R ởt ừ R



❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

✶✳✸ ■✤➯❛♥
✣à♥❤ ♥❣❤➽❛ ✶✳✶✸✳ ▼ët ✈➔♥❤ ❝♦♥ I

❝õ❛ ♠ët ✈➔♥❤ R ❧➔ ✐✤➯❛♥ tr→✐ ✭✐✤➯❛♥

♣❤↔✐ ✮ ❝õ❛ ✈➔♥❤ R ♥➳✉ t❤ä❛ ♠➣♥ ✤✐➲✉ ❦✐➺♥ xa ∈ I (ax ∈ I) ✈î✐ ♠å✐

a ∈ I, x ∈ R✳ ▼ët ✈➔♥❤ ❝♦♥ I ❝õ❛ ✈➔♥❤ R ❣å✐ ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R ♥➳✉
✈➔ ❝❤➾ ♥➳✉ I ✈ø❛ ❧➔ ✐✤➯❛♥ tr→✐ ✈ø❛ ❧➔ ✐✤➯❛♥ ♣❤↔✐ ❝õ❛ R✳

✣à♥❤ ❧þ ✶✳✶✹✳ ▼ët ❜ë ♣❤➟♥ I ❝õ❛ ♠ët ✈➔♥❤ R ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R ♥➳✉
t❤♦↔ ♠➣♥ ❝→❝ ✤✐➲✉ ❦✐➺♥ s❛✉
✭✐✮ I = ∅❀
✭✐✐✮ a − b ∈ I ✈î✐ ♠å✐ a, b ∈ I ❀
✭✐✐✐✮ ax ∈ I ✈➔ xa ∈ I ✈î✐ ♠å✐ x ∈ R, a ∈ I ✳

❱➼ ❞ö ✶✳✶✺✳
✭✐✮ ❇ë ♣❤➟♥ {0} ✈➔ ❜ë ♣❤➟♥ R ❧➔ ❤❛✐ ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✳
✭✐✐✮ ❇ë ♣❤➟♥ mZ ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ Z✳

▼➺♥❤ ✤➲ ✶✳✶✻✳ ●✐❛♦ ❝õ❛ ♠ët ❤å tò② þ ❦❤→❝ ré♥❣ ❝→❝ ✐✤➯❛♥ ❝õ❛ ✈➔♥❤
R ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✳

◆❤➟♥ ①➨t ✶✳✶✼✳

◆➳✉ R ❧➔ ♠ët ✈➔♥❤ ❝â ✤ì♥ ✈à ✈➔ ♥➳✉ I ❧➔ ♠ët ✐✤➯❛♥

❝õ❛ R ❝❤ù❛ ✤ì♥ ✈à ❝õ❛ R t❤➻ I = R✳

▼➺♥❤ ✤➲ ✶✳✶✽✳ ❈❤♦ X ✱ Y ❧➔ ❤❛✐ ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✱ t❛ ✤à♥❤ ♥❣❤➽❛
X + Y := {a + b | a ∈ X, b ∈ Y };
n

ai bi | ai ∈ X, bi ∈ Y, n ∈ N∗

XY :=
i=1




❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

❑❤✐ ✤â X + Y, XY ❧➔ ❝→❝ ✐✤➯❛♥ ❝õ❛ R✱ ❣å✐ ❧➔ tê♥❣✱ t➼❝❤ ❝õ❛ ❤❛✐ ✐✤➯❛♥✳

X :R Y = {x ∈ R | xY ⊆ X}
❝ô♥❣ ❧➔ ✐✤➯❛♥ ❝õ❛ R ✈➔ ❣å✐ ❧➔ ✐✤➯❛♥ ❝❤✐❛✱ tr♦♥❣ ✤â xY = {xb | b ∈ Y }✳

✣à♥❤ ♥❣❤➽❛ ✶✳✶✾✳

❈❤♦ S ❧➔ ♠ët ❜ë ♣❤➟♥ ❝õ❛ ✈➔♥❤ R✳ ❚❤❡♦ ✣à♥❤

❧➼ ✶✳✶✷✱ ❣✐❛♦ A ❝õ❛ t➜t ❝↔ ❝→❝ ✐✤➯❛♥ ❝õ❛ R ❝❤ù❛ S ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛
✈➔♥❤ R ❝❤ù❛ S ✱ ✐✤➯❛♥ ♥➔② ❣å✐ ❧➔ ✐✤➯❛♥ s✐♥❤ r❛ ❜ð✐ S ✱ ❦➼ ❤✐➺✉ ❧➔ S ✳
◆➳✉ S = {a1 , a2 , · · · , an } t❤➻ A ❣å✐ ❧➔ ✐✤➯❛♥ s✐♥❤ r❛ ❜ð✐ ❝→❝ ♣❤➛♥ tû

a1 , a2 , · · · , an ✱ ❦➼ ❤✐➺✉ A = a1 , a2 , · · · , an ✳ ■✤➯❛♥ s✐♥❤ ❜ð✐ ♠ët ♣❤➛♥ tû
❣å✐ ❧➔ ✐✤➯❛♥ ❝❤➼♥❤✳

◆❤➟♥ ①➨t ✶✳✷✵✳ X + Y

❧➔ ✐✤➯❛♥ ♥❤ä ♥❤➜t ❝❤ù❛ X ∪ Y ✳ ◆â✐ ❝→❝❤ ❦❤→❝

X +Y = X ∪Y ✳

▼➺♥❤ ✤➲ ✶✳✷✶✳ ●✐↔ sû R ❧➔ ♠ët ✈➔♥❤ ❣✐❛♦ ❤♦→♥ ❝â ✤ì♥ ✈à ✈➔ a1 , a2 , · · · ,
an ∈ R✳ ❑❤✐ ✤â ✐✤➯❛♥ s✐♥❤ ❜ð✐ S = {a1 , a2 , · · · , an } ❝â ❞↕♥❣
n

xi ai | xi ∈ R .

S =
i=1

✣➠❝ ❜✐➺t a = aR ✈î✐ ♠å✐ a ∈ R✳

✣à♥❤ ♥❣❤➽❛ ✶✳✷✷✳

▼ët ✐✤➯❛♥ t❤ü❝ sü P ❝õ❛ ✈➔♥❤ R ✤÷ñ❝ ❣å✐ ❧➔ ✐✤➯❛♥

♥❣✉②➯♥ tè ♥➳✉ xy ∈ P t❤➻ s✉② r❛ x ∈ P ❤♦➦❝ y ∈ P ✳
▼ët ✐✤➯❛♥ t❤ü❝ sü M ❝õ❛ ✈➔♥❤ R ✤÷ñ❝ ❣å✐ ❧➔ ✐✤➯❛♥ tè✐ ✤↕✐ ♥➳✉ ❝❤➾
❝â ❤❛✐ ✐✤➯❛♥ ❝õ❛ R ❝❤ù❛ M ❧➔ M ✈➔ R✳
❚➟♣ t➜t ❝↔ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❝õ❛ R ❦➼ ❤✐➺✉ ❧➔ Spec R✳




❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

❚➟♣ t➜t ❝↔ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❝õ❛ R ❝❤ù❛ I ❦➼ ❤✐➺✉ ❧➔ Var(I)✳

Var(I) = {P | P ∈ Spec R, P ⊇ I}

❇ê ✤➲ ✶✳✷✸✳ ✭❇ê

✤➲ ❩♦r♥✮ ❈❤♦ X ❧➔ t➟♣ s➢♣ t❤ù tü ❝â t➼♥❤ ❝❤➜t ✧♠å✐

t➟♣ ❝♦♥ s➢♣ t❤ù tü t♦➔♥ ♣❤➛♥ ✤➲✉ ❝â ❝❤➦♥ tr➯♥ t❤✉ë❝ X ✧✳ ❑❤✐ ✤â X ❝â
♣❤➛♥ tû ❝ü❝ ✤↕✐✳

◆❤➟♥ ①➨t ✶✳✷✹✳ ▼å✐ ✈➔♥❤ ❝â ✤ì♥ ✈à ✤➲✉ ❝â ✐✤➯❛♥ ❝ü❝ ✤↕✐ ✈➔ ❞♦ ✤â ❧✉æ♥
tç♥ t↕✐ ✐✤➯❛♥ ♥❣✉②➯♥ tè✳

✣à♥❤ ♥❣❤➽❛ ✶✳✷✺✳

❈❤♦ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✳ ❑❤✐ ✤â



I = {x ∈ R | ∃n ∈ N∗ : xn ∈ I}

❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ I ✈➔ ✤÷ñ❝ ❣å✐ ❧➔ ❝➠♥ ❝õ❛ I ✳
❚➟♣



I ❧➔ ❣✐❛♦ ❝õ❛ t➜t ❝↔ ❝→❝ ✐✤➯❛♥ ♥❣✉②➯♥ tè ❝õ❛ ✈➔♥❤ R ❝❤ù❛ I tù❝

❧➔✿


I=

P
P ∈Spec R,P ⊇I

◆➳✉ P ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè t❤➻

✣à♥❤ ♥❣❤➽❛ ✶✳✷✻✳



P = P✳

▼ët ✐✤➯❛♥ t❤ü❝ sü I ❝õ❛ ✈➔♥❤ R ✤÷ñ❝ ❣å✐ ❧➔ ✐✤➯❛♥

♥❣✉②➯♥ sì ♥➳✉ ✈î✐ ♠å✐ a, b ∈ R, ab ∈ I ✱ a ∈
/ I t❤➻ b ∈

◆❤➟♥ ①➨t ✶✳✷✼✳



I✳

◆➳✉ P ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè t❤➻ P ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ sì✳

✣à♥❤ ♥❣❤➽❛ ✶✳✷✽✳

❈❤♦ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✳ ❑❤✐ ✤â I ✤÷ñ❝ ❣å✐

❧➔ Q✲♥❣✉②➯♥ sì ♥➳✉ I ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ sì ✈➔

✣à♥❤ ♥❣❤➽❛ ✶✳✷✾✳



I = Q✳

❈❤♦ R ❧➔ ♠ët ✈➔♥❤✳ ✣➦t 0 :R x ❧➔ t➟♣ ❣ç♠ t➜t ❝↔

❝→❝ ♣❤➛♥ tû a ∈ R t❤♦↔ ♠➣♥ ax = 0✳ ❑❤✐ ✤â 0 :R x ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ R



❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

✈➔ ✤÷ñ❝ ❣å✐ ❧➔ ❧✐♥❤ ❤♦→♥ tû ❝õ❛ x tr♦♥❣ R✱ ❦➼ ❤✐➺✉ annR (x) ❤♦➦❝ ann(x)✳
❚ù❝ ❧➔

annR (x) = 0 :R x = {a ∈ R | ax = 0} .
✣➦❝ ❜✐➺t annR 1 = 0, annR 0 = R✳
❑❤→✐ ♥✐➺♠ ✐✤➯❛♥ ❝❤♦ t❛ ♠ët ✤è✐ t÷ñ♥❣ q✉❛♥ trå♥❣ tr♦♥❣ ✈➔♥❤ ❧➔
✈➔♥❤ t❤÷ì♥❣✳

✶✳✹ ❱➔♥❤ t❤÷ì♥❣
✣à♥❤ ♥❣❤➽❛ ✶✳✸✵✳
❤➺ ❤❛✐ ♥❣æ✐

❈❤♦ I ❧➔ ♠ët ✐✤➯❛♥ ❝õ❛ ✈➔♥❤ R✳ ❉➵ t❤➜② r➡♥❣ q✉❛♥

tr➯♥ R ❝❤♦ ❜ð✐ a

b ⇔ a − b ∈ I ✈î✐ ♠å✐ a, b ∈ R ❧➔ ♠ët

q✉❛♥ ❤➺ t÷ì♥❣ ✤÷ì♥❣✳ ✣➦t t➟♣ t❤÷ì♥❣ R/I = {x + I | x ∈ R}✳ ❚r➯♥ R/I
t❛ tr❛♥❣ ❜à ❤❛✐ ♣❤➨♣ t♦→♥

(x + I) + (y + I) = (x + y) + I ✈î✐ ♠å✐ x + I, y + I ∈ R/I
(x + I)(y + I) = xy + I ✈î✐ ♠å✐ x + I, y + I ∈ R/I
❑❤✐ ✤â R/I ❝ò♥❣ ✈î✐ ❤❛✐ ♣❤➨♣ t♦→♥ ♥➔② ❧➟♣ t❤➔♥❤ ♠ët ✈➔♥❤ ✈➔ ✤÷ñ❝ ❣å✐
❧➔ ✈➔♥❤ t❤÷ì♥❣ ❝õ❛ ✈➔♥❤ R t❤❡♦ ✐✤➯❛♥ I ✳

✶✳✺ ✣ç♥❣ ❝➜✉ ✈➔♥❤ ✈➔ ❝→❝ ✤à♥❤ ❧➼ ✤ç♥❣ ❝➜✉ ✈➔♥❤
✣à♥❤ ♥❣❤➽❛ ✶✳✸✶✳ ❈❤♦ X, Y

❧➔ ❤❛✐ ✈➔♥❤✳ ▼ët →♥❤ ①↕ f : X −→ Y ✤÷ñ❝

❣å✐ ❧➔ ✤ç♥❣ ❝➜✉ ✈➔♥❤ ♥➳✉ ✈î✐ ♠å✐ a, b ∈ X
✭✐✮ f (a + b) = f (a) + f (b)❀
✭✐✐✮ f (ab) = f (a)f (b)❀

✶✵


õ tốt ồ

P ồ

ỗ f : X Y õ f



t f ỡ t s
tữỡ ự r trữớ ủ f t t õ X
Y ợ ỵ X
= Y


A ởt ừ R

A R
a a
ởt ỡ ồ ỡ t
I ởt ừ R

: R R/I
x x + I
ởt ỗ tứ R tữỡ R/I ỗ
ỏ ởt t ồ t t ỡ ỳ Ker = I

ỗ f : A B õ
f (0) = 0
f (a) = f (a) ợ ồ a A
f (a b) = f (a) f (b) ợ ồ a, b A

f : X Y g : Y Z ỗ
t t i
n õ tỗ t si
/ Q s
r
1
si f (xi ) = 0 ợ ồ 1 i n
t s = s1 s2 ã ã ã sn t s
/ Q sf (xi ) = 0 ợ ồ 1

i

n.

r sf (x) = 0 ợ ồ x M, õ sf = 0 õ s 0 :R f = Q
t
õ RQ R f = 0 s r RQ HomR (M, N ) = 0
RQ HomR (M, N )
= HomRQ (MQ , NQ ) = 0 t õ MQ = (0)
ứ õ s r Q SuppR M õ AssR HomR (M, N ) SuppR M
AssR HomR (M, N ) SuppR M AssR N



õ tốt ồ

P ồ

ữủ sỷ Q SuppR M AssR N tự Q SuppR M

Q AssR N
Q SuppR M t õ MQ = (0) MQ RQ ổ ỳ s


x1 x2
xn
x1
x2
xn
,
, ã ã ã , õ MQ = RQ + RQ + ã ã ã + RQ
1 1
1
1
1
1

õ ỗ tỹ

h : M MQ


: MQ RQ /QRQ
a1 x 1 a2 x 2
an xn
ai
/ Q)
+
ããã +
+ QRQ , (ai R, si
s1 1
s2 1
sn 1
si
t
t

g = h : M MQ RQ /QRQ
ủ t
õ Im g RQ /QRQ =

bi + QRQ | bi RQ , i = 1, n tr õ bi =

ci
, ci R, ti
/ Q t t = t1 t2 ã ã ã tn
/ Q õ t Im g R/Q
ti
g tg t õ t sỷ Im g R/Q õ g t ởt


g : M R/Q
x g(x)




❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

❱➻ Q ∈ AssR N ♥➯♥ tç♥ t↕✐ ✤ì♥ ❝➜✉ ψ : R/Q −→ N ✳ ✣➦t
g

ψ

λ = ψ ◦ g : M −→ R/Q −→ N
x −→ g(x)
❑❤✐ ✤â 0 :R λ = Q✱ s✉② r❛ Q ∈ AssR Hom(M, N )✳

❇ê ✤➲ ✷✳✶✽✳ ❈❤♦ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r✱ M ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤✳ Q
❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè✳ ❑❤✐ ✤â ♥➳✉ AssR M = {Q} t❤➻ ✐✤➯❛♥ I = (0) :R M
❧➔ Q✲♥❣✉②➯♥ sì✳
❈❤ù♥❣ ♠✐♥❤✳ ❚❛ ❝❤ù♥❣ ♠✐♥❤



I = Q ✈➔ I ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ sì✳

❚❤❡♦ ❇ê ✤➲ ✷✳✶✹ t❛ ❝â SuppR M = Var(annR M ) = Var(I)✳ ❑❤✐ ✤â
✈î✐ ♠å✐ P ∈ SuppR M t❤➻ P ∈ Var(I) ♥➯♥ P ⊇ I ✳
❱➻ P ∈ SuppR M ♥➯♥ t❤❡♦ ▼➺♥❤ ✤➲ ✷✳✶✷ t❤➻ tç♥ t↕✐ Q ∈ AssR M s❛♦
❝❤♦ P ⊇ Q✳ ❉♦ ✤â t❤❡♦ ✤à♥❤ ♥❣❤➽❛



I t❤➻



I ⊇ Q✳

▼➦t ❦❤→❝ Q = AssR M ♥➯♥ tç♥ t↕✐ 0 = x ∈ M ✤➸ Q = annR x ⊇


I ✳ ❱➟② Q = I ✳

❱î✐ a, b ∈ R, ab ∈
/ I, b ∈ I t❛ ❝❤ù♥❣ ♠✐♥❤ a ∈ I ✳

annR M = I ❞♦ ✈➟② Q ⊇ I ⇒ Q ⊇



❱➻ ab ∈ I ♥➯♥ abM = 0✳ ▼➔ bM = 0 ✭❞♦ b ∈
/ I ✮ s✉② r❛ a ❧➔ ÷î❝
❝õ❛ 0 tr➯♥ bM ♥➯♥ ❝ô♥❣ ❧➔ ÷î❝ ❝õ❛ 0 tr➯♥ M ✳ ❚❤❡♦ ▼➺♥❤ ✤➲ ✷✳✻ t❤➻

P ♠➔ AssR M = {Q} ♥➯♥ a ∈ Q =

ZDR (M ) =



I ✳ ❉♦ ✤â I ❧➔

P ∈AssR M

✐✤➯❛♥ ♥❣✉②➯♥ sì✳
❱➟② I ❧➔ Q✲♥❣✉②➯♥ sì✳

✣à♥❤ ❧þ ✷✳✶✾✳ ❈❤♦ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r✱ M ❧➔ R✲♠æ✤✉♥ ❦❤→❝ (0)✳ ❑❤✐ ✤â
❝→❝ ❦❤➥♥❣ ✤à♥❤ s❛✉ t÷ì♥❣ ✤÷ì♥❣✿
✭✶✮ ❚➟♣ AssR M ❝â ❞✉② ♥❤➜t ✶ ♣❤➛♥ tû✳
✸✼


❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

✭✷✮ ❱î✐ ♠å✐ a ∈ R✱ →♥❤ ①↕ ♥❤➙♥

a
ˆ : M −→ M
x −→ ax
❧➔ ✤ì♥ ❝➜✉ ❤♦➦❝ ❧ô② ❧✐♥❤ ✤à❛ ♣❤÷ì♥❣ ✭tù❝ ❧➔ ✈î✐ ♠é✐ x ∈ M tç♥ t↕✐

n ∈ N∗ s❛♦ ❝❤♦ an x = 0✮✳
❈❤ù♥❣ ♠✐♥❤✳

(1) ⇒ (2)✳ ●✐↔ sû AssR M ❝â ❞✉② ♥❤➜t ✶ ♣❤➛♥ tû✳ ✣➦t AssR M = {Q}✳
❱î✐ ❜➜t ❦➻ a ∈ R✱ ♥➳✉ a ∈
/ Q t❤➻ t❤❡♦ ❍➺ q✉↔ ✷✳✼ t❤➻ a ❦❤æ♥❣ ❧➔ ÷î❝ ❝õ❛

0 tr➯♥ M ✳ ❉♦ ✤â a
ˆ ❧➔ ✤ì♥ ❝➜✉✳
◆➳✉ a ∈ Q✱ t❛ ❝❤ù♥❣ ♠✐♥❤ a
ˆ ❧➔ ❧ô② ❧✐♥❤ ✤à❛ ♣❤÷ì♥❣✳ ❚❤➟t ✈➟②✱ ✈î✐
♠å✐ 0 = x ∈ M ✤➦t N = Rx ⊆ M ✱ I = (0) :R N = {a ∈ R | aN = 0}✳
❚❛ ❝â ∅ = AssR N ⊆ AssR M = {Q}✳ ❉♦ ✤â AssR N = {Q}✳
❍ì♥ ♥ú❛ N ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤ ♥➯♥ t❛ ❝â I = (0) :R N ✈➔ ❧➔


Q✲♥❣✉②➯♥ sì✱ t❤❡♦ ❇ê ✤➲ ✷✳✶✽ t❤➻ I = Q✳

❉♦ ✤â a ∈ I ♥➯♥ tç♥ t↕✐ n > 0 s❛♦ ❝❤♦ an ∈ I ♥➯♥ an x = 0✳

(2) ⇒ (1)✳ ❱➻ M = 0 ♥➯♥ AssR M = ∅✳ ❱î✐ P, Q ∈ AssR M t❛ ❝➛♥
❝❤ù♥❣ ♠✐♥❤ P = Q✳ ❚❤➟t ✈➟②✳
❱➻ Q ∈ AssR M ♥➯♥ tç♥ t↕✐ 0 = x ∈ M s❛♦ ❝❤♦ Q = (0) :R x✳
❱î✐ ♠å✐ a ∈ P t❛ ❝❤ù♥❣ ♠✐♥❤ a ∈ Q✳ ❱➻ P ∈ AssR M ♥➯♥ a ❧➔ ÷î❝ ❝õ❛

0 tr➯♥ M ❞♦ ✤â a
ˆ ❦❤æ♥❣ t❤➸ ❧➔ ✤ì♥ ❝➜✉✳
❉♦ ✈➟② →♥❤ ①↕ ♥❤➙♥ a
ˆ ❧➔ ❧ô② ❧✐♥❤ ♥➯♥ tç♥ t↕✐ n > 0 ✤➸ an x = 0✳ ❙✉② r❛

an ⊆ 0 :R x = Q✳ ▼➔ P ❧➔ ✐✤➯❛♥ ♥❣✉②➯♥ tè ♥➯♥ s✉② r❛ a ∈ Q✳
❉♦ ✤â P ⊆ Q✳ ❱➻ P, Q ✈❛✐ trá ♥❤÷ ♥❤❛✉ ♥➯♥ t÷ì♥❣ tü t❛ ❝â Q ⊆ P ✳
❱➟② P = Q✳
✸✽


ữỡ
ĩ P
ở ố ừ ữỡ ợ t sỹ sỡ tr
P ừ ữỡ ổ
sỡ tữỡ ữỡ õ P t t õ ở
ỗ q t q ừ ởt ổ
tứ õ t t sỡ t t
q ởt q trồ ố q t q sỡ
ữủ r ố ừ ữỡ



R ởt M Rổ N Rổ

ừ M õ N ổ sỡ ừ M ợ ồ

x M \ N, a R tọ ax N t tỗ t n N s
an M N

M Rổ N ổ sỡ ừ M
õ s tữỡ ữỡ
ợ ồ x M \ N, a R tọ ax N t tỗ t n N s
an M N
a R ữợ ừ 0 tr M/N t a


annR (M/N )


õ tốt ồ

P ồ



(1) (2) sỷ õ (1) a ữợ ừ 0 tr M/N
õ tỗ t 0 = x + N M/N s a(x + N ) = N t t õ

x
/ N ax N (1) t s r n N s an M N s
r an M/N = 0 tr M/N õ a

annR (M/N )

(2) (1) sỷ õ (2) õ ợ ồ x M \ N, a N tọ
ax N t õ x + N = 0 tr M/N x
/ N
a(x + N ) = ax + N = 0 tr M/N s r a ữợ ừ 0
tr M/N (2) t a

annR (M/N ) tự n N s

an M/N = 0 õ an M N

ỵ R tr M Rổ ỳ s
õ N M ổ sỡ t AssR M/N
õ ởt tỷ tự |AssR M/N | = 1 ỡ ỳ AssR M/N = {P }

annR (M/N ) = I t I P sỡ I = P
ự sỷ AssR M/N = {P }
õ SuppR M/N = Var(annR (M/N )) = Var(P )
õ P =

annR (M/N ) Var(I) = Var(J)



I=



J

sỷ a ữợ ừ 0 tr M/N õ

a ZDR (M/N ) =

Q = {P } a P a

annR (M/N )

QAssR M

N ổ sỡ ừ M
ữủ sỷ N ổ sỡ ừ M t N = M
õ AssR M/N = t I = annR (M/N ) s r I P sỡ
õ



I = P ợ P Spec R AssR M/N = {P }

t ợ Q AssR M/N t t õ ợ a Q t a ZDR (M/N )
s r a

annR (M/N ) =



I õ Q





I


õ tốt ồ

P ồ

t Q AssR M/N tỗ t 0 = x
M/N tọ Q =

annR x annR (M/N ) = I õ Q

Q = I õ |AssR M/N | = 1



I

ố ũ t r I sỡ t ợ ồ

a, b R, ab I, b
/ I t t õ ab(M/N ) = 0 b(M/N ) = 0 õ

a ZDR (M/N ) s r a annR (M/N ) = I



M Rổ N Rổ sỡ

ừ M AssR M/N = {P } õ P =

annR (M/N ) t t õ r

N ổ P sỡ ừ M

ỵ N N ổ P sỡ ừ M t
N N ụ ổ P sỡ
ự ứ ỡ

M/(N N ) M/N M/N
x + N N (x + N, x + N )
r

= AssR M/(N N ) AssR M/N AssR M/N = {P }.
r

AssR M/(N N ) = {P }.
s r ự



N Rổ ừ M õ N q

N = N1 N2 tr õ N1 , N2 ổ tỹ sỹ ừ N r



❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

❧↕✐ t❤➻ N ❜➜t ❦❤↔ q✉②✳

◆❤➟♥ ①➨t ✸✳✼✳ N

❜➜t ❦❤↔ q✉② ♥➳✉ N = N1 ∩ N2 t❤➻ N = N1 ❤♦➦❝

N = N2 ✳

◆❤➟♥ ①➨t ✸✳✽✳

◆➳✉ ♠æ✤✉♥ (0) ❧➔ ❦❤↔ q✉② tr♦♥❣ M/N t❤➻ N ❦❤↔ q✉②

tr♦♥❣ M ✳
❚❤➟t ✈➟②✳ ❱➻ ✭✵✮ ❧➔ ❦❤↔ q✉② tr♦♥❣ M/N ♥➯♥ t❛ ❝â ❜✐➸✉ ❞✐➵♥

(0) = M1 /N ∩ M2 /N
tr♦♥❣ ✤â M1 , M2 = N ✳ ❉♦ ✤â N = M1 ∩ M2 ♥➯♥ N ❧➔ ❦❤↔ q✉② tr♦♥❣ M ✳

▼➺♥❤ ✤➲ ✸✳✾✳ ❈❤♦ R ❧➔ ✈➔♥❤ ◆♦❡❤❡r✱ M ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤✳
❑❤✐ ✤â ♠å✐ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M ✤➲✉ ✈✐➳t ✤÷ñ❝ t❤➔♥❤ ❣✐❛♦ ❝õ❛ ❝→❝ ♠æ✤✉♥
❝♦♥ ❜➜t ❦❤↔ q✉②✳
❈❤ù♥❣ ♠✐♥❤✳ ✣➦t ❚✲ ❧➔ t➟♣ t➜t ❝↔ ❝→❝ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M ♠➔ ❦❤æ♥❣ ❝â
❜✐➸✉ ❞✐➵♥ ♥❤÷ tr♦♥❣ ▼➺♥❤ ✤➲ ✸✳✾✳
◆➳✉ ❚
✲ = ∅ t❤➻ ♥â ❝â ♠ët ♣❤➛♥ tû ❝ü❝ ✤↕✐ N0 t❤❡♦ q✉❛♥ ❤➺ ❜❛♦ ❤➔♠
✭✈➻ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r ✈➔ t❤❡♦ ❇ê ✤➲ ❩♦r♥✮✳ ❱➻ N ∈ ❚
✲ ♥➯♥ N0 ❦❤↔ q✉②
tù❝ ❧➔ N = N1 ∩ N2 ✈î✐ N1 , N2 = N ❞♦ ✤â N

N1 , N2 ✳ ❉♦ t➼♥❤ ❝ü❝ ✤↕✐

❝õ❛ N0 s✉② r❛ N1 , N2 ∈
/ ❚✲ ♥❣❤➽❛ ❧➔ N1 , N2 ✤➲✉ ✈✐➳t ✤÷ñ❝ t❤➔♥❤ ❣✐❛♦ ❝õ❛
❤ú✉ ❤↕♥ ❝→❝ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ♥➯♥ N0 ❝ô♥❣ ✈➙② ✭♠➙✉ t❤✉➝♥✮✳ ❱➟②

✲ = ∅✳

❈❤ó þ ✸✳✶✵✳

❙ü ❜✐➸✉ ❞✐➵♥ ❧➔ ❣✐❛♦ ❝õ❛ ❝→❝ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ❧➔

❦❤æ♥❣ ❞✉② ♥❤➜t✳

❱➼ ❞ö ✸✳✶✶✳

❈❤♦ R ❧➔ ♠ët tr÷í♥❣ ✈➔ M ❧➔ ❦❤æ♥❣ ❣✐❛♥ ✈➨❝tì n ❝❤✐➲✉

tr➯♥ R✳ ❑❤✐ ✤â ❝→❝ ♠æ✤✉♥ ❝♦♥ ❜➜t ❦❤↔ q✉② ❝õ❛ M ❧➔ ❝→❝ ❦❤æ♥❣ ❣✐❛♥
✹✷


❑❤â❛ ❧✉➟♥ tèt ♥❣❤✐➺♣ ✣↕✐ ❤å❝

P❤↕♠ ◆❣å❝ ❉✐➺♣

✈➨❝tì ❝♦♥ n − 1 ❝❤✐➲✉ ✳ ❘ã r➔♥❣ ♠ët ❦❤æ♥❣ ❣✐❛♥ ✈➨❝tì tì n − 2 ❝❤✐➲✉ ❝â
t❤➸ ❜✐➸✉ ❞✐➵♥ t❤➔♥❤ ❣✐❛♦ ❝õ❛ ❝→❝ ❦❤æ♥❣ ❣✐❛♥ ❝♦♥ n − 1 ❝❤✐➲✉ t❤❡♦ ♥❤✐➲✉
❝→❝❤ ❦❤→❝ ♥❤❛✉✳

✣à♥❤ ♥❣❤➽❛ ✸✳✶✷✳

❚➟♣ N ❝â ❜✐➸✉ ❞✐➵♥

N = N1 ∩ N2 · · · ∩ Nr (∗)
tr♦♥❣ ✤â N =

Nj ✈î✐ ♠å✐ i = 1, r✳ ◆➳✉ Ni ❧➔ ❜➜t ❦❤↔ q✉② ✭♥❣✉②➯♥
j=i,i=1,r

sì✮ t❤➻ (∗) ✤÷ñ❝ ❣å✐ ❧➔ ♣❤➙♥ t➼❝❤ ❜➜t ❦❤↔ q✉② t❤✉ ❣å♥ ✭♣❤➙♥ t➼❝❤ ♥❣✉②➯♥

sì t❤✉ ❣å♥✱ t÷ì♥❣ ù♥❣✮ ❝õ❛ N ✳

◆❤➟♥ ①➨t ✸✳✶✸✳

❈❤♦ N = N1 ∩ N2 · · · ∩ Nr ❧➔ ♠ët ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥

sì t❤✉ ❣å♥ ❝õ❛ N ✈î✐ AssR M/Ni = {Pi } ✈î✐ i = 1, r ✳ ◆➳✉ Pi = Pj t❤➻
t❤❡♦ ✤à♥❤ ❧➼ ✸✳✺ Ni ∩ Nj ❝ô♥❣ ❧➔ ♠æ✤✉♥ ❝♦♥ Pi ✲♥❣✉②➯♥ sì✳ ❇ð✐ ✈➟② ♥❤â♠
❝→❝ ♠æ✤✉♥ ❝♦♥ ♥❣✉②➯♥ sì t÷ì♥❣ ù♥❣ ❝ò♥❣ ♠ët ✐✤➯❛♥ ♥❣✉②➯♥ tè t❛ ♥❤➟♥
✤÷ñ❝ ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥ sì ❝õ❛ N ♠➔ Pi = Pj ✈î✐ ♠å✐ i = j ✱ ❣å✐ ❧➔ ♣❤➙♥
t➼❝❤ ♥❣✉②➯♥ sì ♥❣➢♥ ♥❤➜t ✭❝ô♥❣ ❧➔ ♣❤➙♥ t➼❝❤ ♥❣✉②➯♥ sì t❤✉ ❣å♥ ❝õ❛ N ✮✳

❇ê ✤➲ ✸✳✶✹✳ ❈❤♦ R ❧➔ ✈➔♥❤ ◆♦❡t❤❡r✱ M ❧➔ R✲♠æ✤✉♥ ❤ú✉ ❤↕♥ s✐♥❤✳ N
❧➔ ♠æ✤✉♥ ❝♦♥ ❝õ❛ M ✳ ◆➳✉ N ♥❣✉②➯♥ sì tr♦♥❣ M t❤➻ ♠æ✤✉♥ ❝♦♥ (0) ❧➔
♥❣✉②➯♥ sì tr♦♥❣ M/N ✳
❈❤ù♥❣ ♠✐♥❤✳ ❱➻ N ❧➔ ♠æ✤✉♥ ❝♦♥ ♥❣✉②➯♥ sì tr♦♥❣ M ♥➯♥ ✈î✐ ♠å✐ ♣❤➛♥
tû 0 = a ∈ R ❧➔ ÷î❝ ❝õ❛ 0 tr♦♥❣ M/N t❤➻ t❛ ❝â a ∈

annR (M/N )✳

▼➔ M/N = (M/N )/(N/N ) ♥➯♥ ✈î✐ ♠å✐ a ∈ R ❧➔ ÷î❝ ❝õ❛ 0 tr♦♥❣

(M/N )/(N/N ) t❤➻ a ∈

annR (M/N )/(N/N )✳ ❑❤✐ ✤â N/N ❧➔ ♠æ✤✉♥

❝♦♥ ♥❣✉②➯♥ sì ❝õ❛ M/N ❤❛② ♥â✐ ❝→❝❤ ❦❤→❝ ♠æ✤✉♥ (0) ❧➔ ♠æ✤✉♥ ❝♦♥
♥❣✉②➯♥ sì ❝õ❛ M/N ✳
✹✸


õ tốt ồ

P ồ

ỵ R tr M Rổ ỳ s
õ
ởt ổ t q ừ M ổ sỡ
N = N1 N2 ã ã ã Nr t sỡ t ồ ừ
ổ tỹ sỹ N ừ M AssR M/Ni = {Pi } t AssR M/N =

{P1 , P2 , ã ã ã , Pr }
ồ ổ tỹ sỹ N ừ M õ t sỡ
ự sỷ N ổ ừ M

(1). ự N ổ sỡ tr M t N q
tr M õ t

N ổ sỡ tr M ổ (0) ổ sỡ tr
M/N s r tứ ờ
ổ (0) q tr M/N N q tr M s r
tứ t
õ t õ t sỷ N = (0) tự sỷ (0) ổ ổ
sỡ tr M õ |AssR M | = 1 M = (0) t s r

|AssR M |

2 sỷ P1 , P2 AssR M, P1 = P2 tỗ t ỡ
f

g

R/P1 M, R/P2 M
õ tỗ t K1 , K2 M s K1
= R/P1 , K2
= R/P2
õ K1 , K2 = 0 ỡ ỳ K1 K2 = (0) t tỗ t 0 = a + P1

R/P1 , 0 = b + P2 R/P2 tọ 0 = f (a + P1 ) = g(b + P2 ) K1 K2 .




Tài liệu bạn tìm kiếm đã sẵn sàng tải về

Tải bản đầy đủ ngay

×

×