Về các đại số nguyên tốt và nửa nguyên tố thỏa mãn đồng nhất thức đa thức

1 BOÄ GIAÙO DUÏC VAØ ÑAØO TAÏO TRÖÔØNG ÑAÏI HOÏC SÖ PHAÏM TP. HOÀ CHÍ MINH --------------------------------- TRÖÔNG HUY HOAØNG VEÀ CAÙC ÑAÏI SOÁ NGUYEÂN TOÁ VAØ NÖÛA NGUYEÂN TOÁ THOÛA MAÕN ÑOÀNG NHAÁT THÖÙC ÑA THÖÙC Chuyeân ngaønh: Ñaïi soá vaø lí thuyeát soá Maõ soá : 60. 46. 05 LUAÄN VAÊN THAÏC SÓ TOAÙN HOÏC NGÖÔØI HÖÔÙNG DAÃN KHOA HOÏC: PGS.TS BUØI TÖÔØNG TRÍ Thaønh phoá Hoà Chí Minh – 2007 2 LÔØI CAÛM ÔN Lôøi ñaàu tieân, toâi xin gôûi loøng bieát ôn saâu saéc nhaát ñeán PGS-TS Buøi Töôøng Trí, ngöôøi thaày ñaõ taän tình höôùng daãn toâi hoaøn thaønh luaän vaên naøy. Xin chaân thaønh caûm ôn caùc Thaày: TS Traàn Huyeân, PGS-TS Mî Vinh Quang, PGS- TS Buøi Xuaân Haûi ñaõ trang bò cho toâi nhöõng kieán thöùc voâ cuøng quí baùo trong suoát quaù trình hoïc taäp. Cuoái cuøng, xin caûm ôn caùc Thaày Coâ khoa Toaùn – Tin cuûa Tröôøng ÑHSP ñaõ cung caáp cho toâi nhöõng taøi lieäu caàn thieát, caûm ôn caùc Thaày Coâ cuûa phoøng Khoa Hoïc Coâng Ngheä Sau Ñaïi Hoïc, caùc baïn beø, ñoàng nghieäp ñaõ chaân tình ñoäng vieân, giuùp ñôõ vaø taïo ñieàu kieän thuaän lôïi cho toâi trong suoát quaù trình hoïc taäp vaø trong quaù trình thöïc hieän luaän vaên naøy. Thaønh phoá Hoà Chí Minh – naêm 2007 Hoïc vieân Cao hoïc khoùa 15 Tröông Huy Hoaøng 3 MUÏC LUÏC MÔÛ ÑAÀU HEÄ THOÁNG KÍ HIEÄU Chöông 1: CAÙC KIEÁN THÖÙC CÔ BAÛN VEÀ MOÄT SOÁ ÑAÏI SOÁ ÑAËC BIEÄT 1.1. Toùm taét nhöõng kieán thöùc cô sôû……………………………….….…..…...…………………..1 1.2. Moät soá ñaïi soá ñaëc bieät ………………………………………………………….…….……………….8 1.2.1. Ñaïi soá nöûa nguyeân thuûy ………………………………………….….….……………….8 1.2.2. Ñaïi soá nguyeân thuûy ………………………………………………..………….…………….8 1.2.3. Ñaïi soá nguyeân toá …………………………………….……………………….…….………..12 1.2.4. Ñaïi soá nöûa nguyeân toá …………………………………….…….…………….………….14 1.2.5. Ñaïi soá thoûa maõn ñoàng nhaát thöùc ….…………..………………………….…….18 Chöông 2: CAÙC PI – ÑAÏI SOÁ NÖÛA NGUYEÂN TOÁ THOÛA MAÕN ÑOÀNG NHAÁT THÖÙC ÑA THÖÙC 2.1. Ñaïi soá nguyeân toá thoûa maõn ñoàng nhaát thöùc thöïc söï………………..………26 2.2. Caùc keát quaû cuûa Posner …………………………………………………….……………………..39 2.3. Ví duï .…………………………………………………………………………………………….………………..41 KEÁT LUAÄN…………………………………………………………………………………………………………………….………43 TAØI LIEÄU THAM KHAÛO……………………………………………………………………………………………….44 4 MÔÛ ÑAÀU 1. Lí do choïn ñeà taøi: Posner – Rowen ñaõ chöùng minh raèng, moät PI – ñaïi soá nguyeân toá treân moät tröôøng coù theå nhuùng vaøo moät ñaïi soá ñôn höõu haïn chieàu treân taâm cuûa noù nhö laø thöù töï phaûi vaø traùi trong ñaïi soá. Amitsur ñaõ khaùi quaùt ñieàu naøy cho nhöõng ñaïi soá treân vaønh, oâng ñaõ söû duïng ñònh lí Goldie ñeå laøm cô sôû cho nhöõng keát quaû cuûa mình. Rowen laø ngöôøi coù coâng khoâng nhoû trong vieäc laøm saùng toû vaán ñeà treân. OÂng ñaõ chæ ra moät hình aûnh roõ neùt veà vaønh thöông, trong ñoù taâm cuûa vaønh thöông laø tröôøng caùc thöông cuûa taâm cuûa vaønh nguyeân toá. Vaán ñeà treân ñaõ thu huùt raát nhieàu söï quan taâm cuûa caùc nhaø toaùn hoïc treân theá giôùi, trong ñoù coù Small, Martindale… Vaø taát caû ñeàu söû duïng ña thöùc cuûa Formanek. Maëc duø coøn haïn cheá nhieàu veà chuyeân moân neân khaø naêng bao quaùt kieán thöùc chöa ñuû lôùn nhöng khi nghieân cöùu vaán ñeà treân baûn thaân toâi cuõng chòu moät söùc haáp daãn nhaát ñònh. Choïn ñeà naøy giuùp chuùng toâi taäp laøm quen vôùi caùc phöông phaùp nghieân cöùu Toaùn hoïc ñöông ñaïi. Treân heát laø nhaèm phaùt trieån tö duy cuûa baûn thaân. 2. Muïc ñích nghieân cöùu: Chuùng ta bieát raèng, moät ñaïi soá laø nöûa nguyeân toá khi vaø chæ khi noù laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân toá, moät ñaïi soá laø nöûa nguyeân thuûy khi vaø chæ khi noù laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân thuûy (theo Kaplansky, neáu ñaïi soá nguyeân thuûy laø PI seõ trôû thaønh ñaïi soá ñôn). Caâu hoûi töï nhieân ñöôïc ñaët ra laø, lieäu keát quaû cuûa Posner – Rowen veà caùc PI – ñaïi soá coù theå môû roäng ra cho lôùp caùc PI – ñaïi soá nöûa nguyeân toá hay khoâng? Noùi moät caùch chính xaùc hôn, lieäu moät PI – ñaïi soá nöûa nguyeân toá treân moät tröôøng coù theå nhuùng nhö thöù töï traùi (phaûi) vaøo moät PI – ñaïi 5 soá nöûa nguyeân thuûy hay khoâng? Trong quyeån PI – Algebras An Introduction cuûa Nathan Jacobson (taøi lieäu tham khaûo soá 3 – tieáng Anh), taùc giaû noùi raèng, coù nhöõng thí duï chöùng minh raèng keát quaû cuûa Posner – Rowen khoâng theå môû roäng ra cho lôùp caùc PI – ñaïi soá nöûa nguyeân toá, tuy nhieân oâng khoâng chæ ra thí duï cuï theå naøo. Muïc ñích chính cuûa luaän vaên cuûa chuùng toâi laø ñi xaây döïng moät thí duï nhö vaäy. 3. Phöông phaùp nghieân cöùu: Trong luaän vaên naøy chuùng toâi khoâng trình baøy caùch xaây döïng ña thöùc cuûa Formanek maø chæ trình baøy caùc keát quaû cuûa Posner vaø Rowen ñoái vôùi caùc PI – ñaïi soá nguyeân toá thoûa maõn ñoàng nhaát thöùc thöïc söï . Vôùi löu yù raèng, ñeå ñi ñeán nhöõng keát quaû cuûa mình Posner vaø Rowen cuõng söû duïng ña thöùc cuûa Formanek. Hôn nöõa, ñeå hoaøn thieän thí duï maø chuùng toâi ñöa ra, chuùng toâi ñaõ boå sung vaø chöùng minh meänh ñeà 1.2.4 veà tính ñaày höõu tæ cuûa moät ñaïi soá. 4. Caáu truùc luaän vaên: Luaän vaên bao goàm hai chöông. Chöông 1 chuùng toâi trình baøy caùc kieán thöùc cô baûn veà lí thuyeát caùc vaønh khoâng giao hoaùn vaø lí thuyeát caùc PI – vaønh. Chöông 2 chuùng toâi ñi saâu vaøo nghieân cöùu veà ñaïi soá nguyeân toá vaø nöûa nguyeân toá thoûa maõn ñoàng nhaát thöùc thöïc söï, trong ñoù chuùng toâi trình baøy raát roõ caùc keát quaû cuûa Posner veà caùc PI – ñaïi soá nguyeân toá. Cuoái cuøng, chuùng toâi xaây döïng moät thí duï chöùng toû raèng keát quaû cuûa Posner – Rowen khoâng theå môû roäng cho lôùp caùc PI – ñaïi soá nöûa nguyeân toá. 6 HEÄ THOÁNG KÍ HIEÄU ` : Taäp caùc soá töï nhieân _ : Tröôøng soá höõu tæ annAM: Taäp nhöõng phaàn töû trong A linh hoùa M A(M): { a A Ma = 0,∈ M laø A – modun baát khaû qui} ( )E M : Taäp nhöõng töï ñoàng caáu treân M C(M): Giao hoaùn töû cuûa A treân M rad(A) hoaëc J(A): Radical Jacobson cuûa vaønh A sgnπ : Daáu cuûa pheùp theá π lnA: nil radical döôùi cuûa A Un(A): upper nil radical cuûa A L(A): Levitzki nil radical cuûa A K{X}: Ñaïi soá caùc ña thöùc aán x treân K Degf: Baäc cuûa ña thöùc f : Baäc cuûa ña thöùc f theo moät bieán xi deg ix f ht(f): Chieàu cao cuûa ña thöùc f ij fΔ : Toaùn töû sai phaân cuûa f .: Taâm taäp cuûa F trong C FΔ Δ MS : Ñòa phöông hoùa cuûa M taïi S [ : ]A C : Soá chieàu cuûa khoâng gian A treân tröôøng C mΔ Taäp taát caû caùc ma traän vuoâng caáp m treân Δ 7 CHÖÔNG 1: CAÙC KIEÁN THÖÙC CÔ BAÛN VEÀ MOÄT SOÁ VAØNH ÑAËC BIEÄT Trong chöông naøy, chuùng toâi trình baøy caùc khaùi nieäm vaø moät soá keát quaû cô baûn ñöôïc söû duïng ñeán trong luaän vaên. Vieäc chöùng minh caùc keát quaû khaù ñôn giaûn neân haàu heát seõ ñöôïc toùm taét hoaëc ñöôïc thoâng qua. 1.1 TOÙM TAÉT NHÖÕNG KIEÁN THÖÙC CÔ SÔÛ Tröôùc tieân, chuùng toâi nhaéc laïi caùc khaùi nieäm vaø moät soá keát quaû cô baûn, caàn thieát ñeå laøm cô sôû xaây döïng caùc ñaïi soá, nhö laø: ñaïi soá nguyeân thuûy, ñaïi soá nöûa nguyeân thuûy, ñaïi soá nguyeân toá vaø ñaïi soá nöûa nguyeân toá. Trong phaàn naøy, chuùng toâi kí hieäu A laø vaønh khoâng giao hoaùn, M laø A – modun thay cho M laø A – modun phaûi. ¾ Ñònh nghóa 1.1.1: • Nhoùm coäng aben M ñöôïc goïi laø modun treân vaønh A (hay M laø A – modun) neáu toàn taïi aùnh xaï: M A M× → ,( , vaø )m a ma6 , , ,m n M a b A∀ ∈ ∀ ∈ caùc ñieàu kieän sau luoân ñöôïc thoûa maõn: a) m(a + b) = ma + mb, b) (m + n)a = ma + na, c) m(ab) = (ma)b, d) Neáu A coù ñôn vò thì m1 = m. • A laø ñaïi soá treân vaønh giao hoaùn coù ñôn vò K khi vaø chæ khi A laø vaønh, A laø modun treân K, vaø thì k(ab) = (ka)b = a(kb). ∀ ∈ ∀ ∈, ,a b A k K • Cho M laø moät A –modun. Khi ñoù, taäp hôïp caùc phaàn töû cuûa A maø linh hoaù toaøn boä M ñöôïc kí hieäu laø annAM = { / 0a A Ma∈ = }. 8 ¾ Ñònh nghóa 1.1.2: • M ñöôïc goïi laø A – modun trung thaønh ⇔ (Ma = 0, a ∈A ⇒ a = 0). • M ñöôïc goïi laø A – modun baát khaû qui ⇔ MA ≠ 0 vaø M chæ coù ñuùng 2 modun con laø 0 vaø chính M. ¾ Meänh ñeà 1.1.3: Cho M laø moät A –modun. Caùc khaúng ñònh sau ñaây laø töông ñöông: i) M laø A –modun baát khaû qui. ii) M = xA, ,0x x M∀ ≠ ∈ . iii) M A/≅ ρ , trong ñoù ρ laø ideal phaûi toái ñaïi, chính qui trong A. (ρ laø ideal phaûi chính qui trong A sao choa A⇔ ∃ ∈ x A∀ ∈ thì x ax− ∈ρ). Baây giôø, cho M laø A – modun baát khaû qui. Vôùi a A∈ ta ñònh nghóa: Ta : M M, → amT ma= .Khi ñoù Ta laø töï ñoàng caáu nhoùm coäng treân M. Ñaët { }( ) : /E M M M laø töï ñoàng caáu= ϕ → ϕ , ( ), . Trong E(M) ta ñònh nghóa pheùp coäng vaø pheùp nhaân nhö sau: E M m M∀φ ϕ∈ ∀ ∈ thì ( ) ,m m mφ + ϕ = φ + ϕ . Khi ñoù E(M) laø moät vaønh. ( )m φϕ ( )m= φ ϕ Goïi caùi giao hoaùn töû cuûa A treân M laø { }( ) ( )/ ,a aC M E M T T a A= ϕ∈ ϕ = ϕ ∀ ∈ . Khi ñoù, . Suy ra C(M) laø vaønh con cuûa E(M). Ta coù tröôøng hôïp ñaëc bieät sau ñaây: 1 2 1 2 1 2 ( ) , ( ) . ( C M C M C M ϕ − ϕ ∈⎧∀ϕ ϕ ∈ ⇒ ⎨ϕ ϕ ∈⎩ ) ¾ Boå ñeà 1.1.4 :(Boå ñeà Schur) Neáu M laø A – modun baát khaû qui thì C(M) laø moät theå. Chöùng minh: Ñeå chöùng minh boå ñeà ta chæ vieäc chöùng minh moïi phaàn töû trong C(M) 0θ ≠ 9 ñeàu khaû nghòch trong C(M). Thaät vaäy, laáy 0 ( )C M≠ θ∈ )a , ñaët W . Suy ra , , maø ( M= θ a A∀ ∈ ( ) ( )a aWa WT M T MT= = θ = a θ MT M W Wθ ⊂ θ = ⇒ M laø modun con cuûa M. Vì vaø M laø A – modun baát khaû qui neân W M0θ ≠ = θ = . Suy ra θ laø toaøn caáu töø M M→ Kerθ vaø laø con thöïc söï cuûa M ( do 0θ ≠ ). Do ñoù 0Kerθ = . Suy ra laø ñaúng caáu. Vì vaäy laø nghòch ñaûo cuûa θ 1−∃θ θ ( 1 ( )E M−θ ∈ ). Hôn nöõa, vì θ coù khaû nghòch laø 1 ( )E M−θ ∈ neân töø ñaúng thöùc a aT Tθ = θ ta suy ra T T , hay . ª 1−θ = 1a a−θ 1−θ ∈ ( )C M ¾ Ñònh nghóa 1.1.5: • Radical Jacobson cuûa vaønh A, ñöôïc kí hieäu laø rad(A) hoaëc J(A), laø taäp hôïp taát caû nhöõng phaàn töû cuûa A maø linh hoùa ñöôïc moïi A - modun baát khaû qui. • Neáu A khoâng coù modun baát khaû qui naøo thì ta qui öôùc J(A) = A. Khi ñoù ta noùi A laø vaønh radical. Nhaän xeùt: + Neáu ñaët A(M) = { a A Ma = 0∈ , M laø A – modun baát khaû qui} thì theo ñònh nghóa ta coù: ( ) ( ) M baát khaû qui J A A − = ∩ M . + Neáu A laø vaønh coù ñôn vò thì A khoâng theå laø vaønh radical. ¾ Ñònh nghóa 1.1.6: • Moät phaàn töû a A∈ ñöôïc goïi laø töïa chính qui phaûi neáu toàn taïi a’ A∈ sao cho a + a’ + aa’ = 0. Khi ñoù a’ ñöôïc goïi laø töïa nghòch ñaûo phaûi cuûa a. Töông töï, a’ laø töïa nghòch ñaûo traùi cuûa a thì a’ + a + a’a = 0. • Moät ideal (moät phía hoaëc hai phía) cuûa A ñöôïc goïi laø töïa chính qui neáu moïi phaàn töû cuûa noù ñeàu töïa chính qui. 10 ¾ Boå ñeà 1.1.7: • A coù ñôn vò laø 1 thì a laø töïa chính qui phaûi ⇔ 1+ a khaû nghòch trong A. • rad(A) = { z / az laø töïa chính qui, a A∀ ∈ } = { z / za laø töïa chính qui, a A∀ ∈ } ¾ Meänh ñeà 1.1.8 : J(A) laø ideal phaûi toái ñaïi töïa chính qui phaûi duy nhaát cuûa A vaø chöùa taát caû caùc ideal phaûi töïa chính qui phaûi cuûa A. Ñeå laøm cô sôû cho vieäc xaây döïng vaønh caùc ña thöùc ñoàng nhaát thöùc, chuùng toâi nhaéc laïi moät soá khaùi nieäm vaø moät vaøi keát quaû sau ñaây: ¾ Ñònh nghóa 1.1.9: • Cho X laø vò nhoùm töï do sinh bôûi moät taäp ñeám ñöôïc caùc phaàn töû x1,x2,…. Khi ñoù X laø taäp 1, 1 2 ... ri i i x x x cuûa nhöõng ñôn thöùc khaùc nhau, trong ñoù: + 1 2 ... ri i i x x x = 1 2 ... sj j j x x x 1 1,...i j⇔ = + 1( 1 2 ... ri i i x x x ) = ( 1 2 ... ri i i x x x )1 = 1 2 ... ri i i x x x . + ( 1 2 ... ri i i x x x )( 1 2 ... sj j j x x x ) = 1 2 ... ri i i x x x 1 2 ... sj j j x x x . • Kí hieäu K{X} laø ñaïi soá cuûa X treân vaønh giao hoaùn coù ñôn vò K, khi ñoù K{X} ñöôïc goïi laø ñaïi soá töï do sinh bôûi taäp ñeám ñöôïc caùc phaàn töû xi, taäp caùc phaàn töû ñeám ñöôïc naøy goïi laø cô sôû cuûa K{X}. Khi ñoù X ñöôïc nhuùng vaøo K{X} vaø pheùp nhuùng coù tính phoå duïng, nghóa laø: vôùi A laø moät K – ñaïi soá baát kì vaø { }iX K⎯⎯→ X Aaùnh xaï , töø taäp caùc bieán x1, x2, ... vaøo A thì luoân toàn taïi ñoàng caáu : Xσ → : { }K X Aη → sao cho . iη = σ • Neáu ∈ ∈ 1{ }, { ,..., }mf K X f K x x - ñaïi soá con sinh bôûi taäp con höõu haïn {x1,…,xm} vôùi m naøo ñoù thì ta vieát f = f(x1,…,xm). Aûnh cuûa ña thöùc naøy qua : { }K X Aη → 11 bieán xi ai ( ) vieát laø f(a1,…,am), goïi laø giaù trò cuûa f taïi (a1,…,am). 6 ≤ < ∞1 i ¾ Ñònh nghóa 1.1.10: Cho ña thöùc f = f(x1,…,xm) ∈ K{X}. Khi ñoù: • Moät ñôn thöùc 1 2 ... ri i i x x x ñöôïc goïi laø coù maët trong f neáu noù coù heä soá khaùc 0 trong bieåu dieãn cuûa f döôùi daïng toång caùc ñôn thöùc. • f ñöôïc goïi laø tuyeán tính theo xi neáu moïi ñôn thöùc coù maët trong f ñeàu coù baäc nhaát theo bieán xi. Nhaän xeùt: + f laø ña tuyeán tính thì f coù daïng: π π π π π = α∑ 1 1,..., ...m mf x x vôùi vaø π πα ∈1,..., m K π chaïy khaép taát caû caùc hoaùn vò cuûa {1, 2, …, m}. + f laø ña tuyeán tính thì: f(x1,…,xj-1,xj + xm+1, xj+1,…, xm) = f(x1,…, xj,…, xm) + f(x1,…,xj-1, xm+1, xj+1,…, xm), f(x1,…,xj-1,βxj, xj+1,…, xm) = β f(x1,…, xj,…, xm). • f ñöôïc goïi laø thay phieân neáu f(x1,,xi-1,xi,xi+1,,xj-1,xi, xj+1,, xm) = 0, ∀ <i j . Nhaän xeùt: Cho f laø ña tuyeán tính vaø thay phieân. Khi ñoù: f laø ñoàng nhaát thöùc cuûa A khi vaø chæ khi f(ui1,…,uim) = 0, vôùi moïi söï löïa choïn uij ñoâi moät khaùc nhau trong taäp caùc phaàn töû sinh {uij} cuûa A treân K. • Ña thöùc chuaån baäc k laø: Sk (x1, …, xk) = (1) ( )( ) ... ksgn x xπ π π π∑ , toång naøy ñöôïc choïn treân toaøn nhoùm ñoái xöùng vaø coù (k!) ñôn thöùc. ¾ Ñònh nghóa 1.1.11 :( Baäc vaø chieàu cao cuûa ña thöùc) • Baäc cuûa ñôn thöùc 1 2 ... ,( 0)mnn nax x x a ≠ laø n1 + n2 + … + nm. 12 • Baäc cuûa f laø baäc lôùn nhaát cuûa caùc ñôn thöùc coù maët trong f, kí hieäu laø degf. • Baäc theo bieán xi cuûa f laø baäc cuûa f khi xem noù nhö laø moät ña thöùc theo moät bieán xi, kí hieäu laø deg ix f . • f ñöôïc goïi laø thuaàn nhaát theo xi neáu taát caû caùc ñôn thöùc cuûa noù coù cuøng moät baäc theo bieán xi. f laø hoaøn toaøn thuaàn nhaát neáu noù thuaàn nhaát theo moïi bieán xi. • f ñöôïc goïi laø troän ñeàu theo xi neáu xi coù maët trong moïi ñôn thöùc cuûa noù. f ñöôïc goïi laø troän ñeàu neáu f ñöôïc troän ñeàu theo moïi bieán xi coù maët trong f . • Chieàu cao cuûa moät ñôn thöùc ñöôïc tính baèng baäc cuûa ñôn thöùc ñoù tröø ñi soá caùc bieán xi coù maët trong ñôn thöùc ñoù. • Chieàu cao cuûa ña thöùc f laø chieàu cao lôùn nhaát cuûa caùc ñôn thöùc coù maët trong f, kí hieäu laø ht(f). Khi ñoù: f ña tuyeán tính ⇔ f troän ñeàu vaø ht(f) = 0. ¾ Ñònh nghóa 1.1.12: Cho A laø ñaïi soá treân K, G laø nhoùm con coäng cuûa nhoùm A. • f∈ K{X} ñöôïc goïi laø G – giaù trò 1( ( ,..., ) )i ma A f a a G⇔ ∀ ∈ ⇒ ∈ . • f = f(x1,…,xm) ∈ K{X} ñöôïc goïi laø ñoàng nhaát thöùc ñoái vôùi A khi vaø chæ khi f(a1,…,am) = 0, . ia A∀ ∈ Ví duï: 1) Neáu A laø vaønh giao hoaùn thì f(x1,x2) =[x1,x2] laø moät ñoàng nhaát thöùc cuûa A. 2) * Ñaïi soá A ñöôïc goïi laø haàu heát nil, coù baäc bò chaën ⇔ A coù daïng K.1 + N , trong ñoù N laø nil ideal vaø coù baäc bò chaën, nghóa laø , : nz N n z 0∀ ∈ ∃ ∈ =` * Khi ñoù, ∀ ∈,x y A , neáu A laø haàu heát nil suy ra ∈[ , ]x y N , N coù baäc bò chaën sao cho [ A thoûa maõn ñoàng nhaát thöùc f = [ ,n⇒∃ ∈` , ]nx y 0= ⇒ ]nx y . 13 3) * Neáu 2( ) vaø tr(a) = 0 thì a 2 laø ma traän voâ höôùng : Thaät vaäy, laáy a = a M K∈ 2 2 2 0 0 p q p rq a r p p rq ⎛ +⎛ ⎞⇒ = ⎜− +⎝ ⎠ ⎝ ⎠ ⎞⎟⎜ ⎟ - ma traän voâ höôùng * Vôùi a, b 1 1 2 22 1 1 2 2 ( ), , a b a b M K a b c d c d ⎛ ⎞ ⎛∈ = =⎜ ⎟ ⎜⎝ ⎠ ⎝ ⎞⎟⎠ ) , . 1 2 1 2 1 2 1 2 a a b c A ab B c b d d +⎛ ⎞⇒ = ⎜ ⎟+⎝ ⎠ 2 1 2 1 2 1 2 1 a a b c C ba D c b d d +⎛ ⎞= ⎜ ⎟+⎝ ⎠ Khi ñoù , vôùi A, B, C, D, X, Y , hay tr[a, b] = 0, . 1 2 2 1 1 2 2 1 b c b c X ab ba Y c b c b −⎛ ⎞− = ⎜ ⎟−⎝ ⎠ 2, ( )M K∀ ∈ K∈ a b Vaäy, ta luoân coù tr[a,b] = 0 laø ma traän voâ höôùng. Do ñoù, vôùi a, b, c tuyø yù 2, (a b M K∀ ∈ 2( 2[ , ]a b⇒ )M K∈ ta luoân coù [a,b]2c = c[a,b]2. Suy ra: f = f(x1,x2,x3) = (x1x2 – x2x1)2x3 – x3(x1x2 – x2x1)2 laø moät ñoàng nhaát thöùc ñoái vôùi M2(K). (ñaây laø ñoàng nhaát thöùc cuûa Wagner). ¾ Ñònh nghóa 1.1.13: Cho f = f(x1,…,xm) ∈ K{X}. Toaùn töû sai phaân ijfΔ trong K{X} ñöôïc xaùc ñònh nhö sau: Δij f (x1,…, xm) = f(x1,…, xi-1, xi + xj, xi+1,…, xm) - f(x1,…, xi-1, xi, xi+1,…, xm) - f(x1,…, xi-1, xj, xi+1,…, xm), vôùi ≤ ≤1 i m . ¾ Ñònh nghóa 1.1.14: Ña thöùc f = f(x1,…,xm) ∈ K{X} ñöôïc goïi laø ña thöùc taâm cuûa ñaïi soá A neáu f khoâng laø ñoàng nhaát thöùc cuûa A nhöng [f(x1,…,xm),xm+1] laø ñoàng nhaát thöùc cuûa A. ¾ Ñònh nghóa 1.1.15: Ña thöùc f = f(x1,…,xm) ∈ K{X} ñöôïc goïi laø ñoàng nhaát thöùc thöïc söï ñoái vôùi A khi vaø 14 chæ khi f laø ñoàng nhaát thöùc cuûa A vaø toàn taïi heä soá cuûa f khoâng linh hoaù A. Nhaän xeùt: + Neáu K laø moät tröôøng thì f laø ñoàng nhaát thöùc thöïc söï khi vaø chæ khi f khaùc 0. + Ñoàng nhaát thöùc f coù heä töû 1 thì f laø ñoàng nhaát thöùc thöïc söï cho moïi ñaïi soá. 1.2 MOÄT SOÁ ÑAÏI SOÁ ÑAËC BIEÄT 1.2.1 Ñaïi soá nöûa nguyeân thuûy: ¾ Ñònh nghóa 1.2.1.1: Ñaïi soá A ñöôïc goïi laø ñaïi soá nöûa nguyeân thuûy neáu J(A) = 0. ¾ Meänh ñeà 1.2.1.2: Neáu A khoâng coù nil ideal khaùc 0 thì A[λ ] laø nöûa nguyeân thuûy ¾ Meänh ñeà 1.2.1.3: Neáu A laø moät ñaïi soá thì A/J(A) luoân laø ñaïi soá nöûa nguyeân thuûy. ¾ Meänh ñeà 1.2.1.4: Neáu B laø ideal 2 phía cuûa ñaïi soá A thì J(B) = J(A) B. ∩ Heä quaû: Moïi ideal 2 phía cuûa ñaïi soá nöûa nguyeân thuûy ñeàu nöûa nguyeân thuûy. 1.2.2 Ñaïi soá nguyeân thuûy: ¾ Ñònh nghóa 1.2.2.1: Ñaïi soá A ñöôïc goïi laø nguyeân thuûy neáu A coù moät modun baát khaû qui trung thaønh. ¾ Meänh ñeà 1.2.2.2: Cho A laø moät ñaïi soá tuyø yù, M laø A – modun baát khaû qui. Khi ñoù, A(M) laø ideal 2 15 phía cuûa A vaø A/A(M) laø ñaïi soá nguyeân thuûy. ¾ Meänh ñeà 1.2.2.3: Neáu A laø ñaïi soá nguyeân thuûy thì J(A) = 0. Do ñoù, moïi ñaïi soá nguyeân thuûy ñeàu laø nöûa nguyeân thuûy. Nhaän xeùt: Vaønh nguyeân thuûy coù tính giao hoaùn laø moät tröôøng. Trong quaù trình nghieân cöùu ñeå thöïc hieän luaän vaên naøy, chuùng toâi caûm nhaän ñöôïc taàm aûnh höôûng cuûa ñònh lí daøy ñaëc ñoái vôùi vieäc chöùng minh caùc tính chaát cuûa vaønh caùc ña thöùc ñoàng nhaát thöùc laø khaù lôùn neân döôùi ñaây chuùng toâi seõ phaùt bieåu vaø chöùng minh laïi ñònh lí naøy theo caùch maø chuùng toâi cho laø deã tieáp nhaän nhaát. Ñoäc giaû coù theå tham khaûo pheùp chöùng minh ñònh lí naøy trong caùc luaän vaên cuûa nhöõng hoïc vieân cao hoïc nhöõng naêm tröôùc ñaây thuoäc ngaønh Ñaïi soá vaø lí thuyeát soá cuûa Tröôøng Ñaïi Hoïc Sö Phaïm Thaønh Phoá Hoà Chí Minh hoaëc trong quyeån “Noncommutative rings” cuûa I. N. Herstein. Ñeå ñi ñeán ñònh lí naøy chuùng toâi nhaéc laïi moät vaøi yù sau: + Giaû söû R laø vaønh nguyeân thuûy, M laø R – modun baát khaû qui trung thaønh. Ñaët Δ = C(M) thì theo boå ñeà Shur, Δ laø moät theå.Khi ñoù, chuùng ta coù theå xem M laø khoâng gian vectô phaûi treân , trong ñoù, Δ , ,m m Mα ∈ α∈Δ laø taùc ñoäng cuûa phaàn töû thuoäc E(M) leân m. + Hoï x1, x2, …, xn trong M ñöôïc goïi laø ñoäc laäp tuyeán tính treân Δ 1, ( 0i i i n x = ⇔ α = ,∑ 0, 1, , )i ii n⇒α = ∀ = α ∈Δ + R ñöôïc goïi laø taùc ñoäng daøy ñaëc leân M n⇔∀ , ∀ hoï x1, x2, …, xn trong M ñoäc laäp tuyeán tính treân vaø ∀ y1, y2, …, yn Δ ∈M, ∃r∈R sao cho xir = yi, 1,i n∀ = . 16 Ñònh lí daøy ñaëc: Cho R laø vaønh nguyeân thuûy, M laø R – modun phaûi baát khaû qui trung thaønh. Neáu Δ = C(M) thì R laø vaønh daøy ñaëc nhöõng pheùp bieán ñoåi tuyeán tính cuûa M treân Δ . Chöùng minh: * Tröôùc tieân ta chöùng minh boå ñeà sau baèng qui naïp theo n: “ Neáu V laø khoâng gian vectô con cuûa R –modun baát khaû qui M, dimV = n höõu haïn thì , sao cho nhöng r ,m M m V∀ ∈ ∉ ∃ ∈r R (0)Vr = 0≠ ”. Thaät vaäy • dimV = n = 0: Khi ñoù V = (0). Vì vaäy, ,m M m V∀ ∈ ∉ thì m≠ 0 vaø , 0r R r∃ ∈ ≠ sao cho mr 0 ( do ≠ 0MR ≠ ) vaø Vr = (0) (do V = (0)). • Giaû söû boå ñeà luoân ñuùng khi dimV < n. • Ta chöùng minh boå ñeà ñuùng khi dimV = n. Thaät vaäy, giaû söû V = V0 + wΔ ( trong ñoù dimV0 = dimV – 1 vaø w 0V∉ ). Theo giaû thieát qui naïp, 0 ,y V y M∀ ∉ ∈ thì toàn taïi nhöng yr:r R∈ 0 0V r = ≠ 0 hay 0,y V y M∀ ∉ ∈ , 0r A( )V∃ ∈ ( 0 0( ) AA V ann V= ) sao cho yr 0. Ñieàu naøy töông ñöông vôùi: ≠ 0 m V0( ) 0mA V = ⇒ ∈ ( do giaû thieát qui naïp), vôùi A(V0) = { }0/ 0x R V x∈ = . Suy ra, neáu 0 wA V0( ) (0)w V∉ ⇒ ≠ . Khi ñoù: ≠ ⊂r modun0 0A (V )< R,(0) wA(V ) M vaø M laø R – modun baát khaû qui . 0( )wA V M⇒ = Duøng phaûn chöùng , giaû söû raèng ,m M m V∃ ∈ ∉ ñeå cho r R∀ ∈ maø Vr = 0 thì mr = 0. Ta chöùng minh ñieàu naøy laø khoâng theå: Vì wA(V0) = M 0, ( ) :x M a A V x wa⇒∀ ∈ ∃ ∈ = . Xeùt 0 : ( ( )) M M wa x ma a A V τ → = ∈6 . Khi ñoù τ ñöôïc ñònh nghóa toát, vì neáu x = 0 a linh hoùa w vaø a linh 0wa⇒ = ⇒ hoùa V0⇒a linh hoùa V hay Va = 0⇒ ma = 0. 17 Maët khaùc, ( )E Mτ∈ vaø hôn nöõa, neáu x = wa vôùi a∈A(V0) thì (vì r R∀ ∈ 0( )ar A V∈ ) ( ) ( ) ( ) ( ) ( )xr wa r w ar xr w ar m ar⇒ = = ⇒ τ = τ = = 0( ) ( ) ( )a A V ma wa w a∀ ∈ ⇒ = τ = τ m w 0( )a A V∀ ∈ 0m w V ( ) ( ) (ma r x r x r= τ = τ 0( ) 0, (a a A Vτ = ∀ ∈ ) )⇒ τ∈Δ . Vì vaäy, ⇒ − . Ñieàu naøy ñuùng neân suy ra, − τ∈ m V 0 0V w+ Δ m V∈ m V hay , maø ⇒ ( maâu thuaãn vôùi 0 w∈ + τ V w+ τ ⊂ ∉ ). Boå ñeà ñaõ ñöôïc chöùng minh. * Aùp duïng boå ñeà ñeå chöùng minh ñònh lí: Ta chöùng minh raèng: Neáu { } 1,i i nv = laø moät hoï ñoäc laäp tuyeán tính treân M vaø { } 1,i i nw = laø moät hoï tuøy yù treân M thì : ,i ir R v r w i n∃ ∈ = ∀ =1, : Xeùt Vi laø khoâng gian vectô sinh bôûi hoï caùc vectô ñoäc laäp tuyeán tính { } 1,j ni j iv =≠ . Khi ñoù ta coù: . Vì M laø R – modun baát khaû qui vaø neân suy ra virR = M . dim 1 , 0 : 0, i i i i V n v M r R r Vr v r v V = − ⎫⎪∈ ⇒ ∃ ∈ ≠ ≠⎬⎪∉ ⎭ 0R ≠ i iw M s⇒∀ ∈ ∃ ∈ 0i i ≠ iiv r , : i iR v rs w= Ñaët ti = rsi, roõ raøng Viti = (Vir)si = 0. Goïi t = t1 + t2 + . . .+ tn. Khi ñoù, vit = vi(t1 + t2 +. . .+ tn) = viti hay wi = vit, 1,i∀ = n . Suy ra R daøy ñaëc treân M ª 1.2.3 Ñaïi soá nguyeân toá: ¾ Ñònh nghóa 1.2.3.1: • Moät ideal P cuûa ñaïi soá A ñöôïc goïi laø ideal nguyeân toá neáu BC ⊂ P thì hoaëc B⊂ P hoaëc C ⊂ P ( Vôùi B, C laø caùc ideal cuûa A). • Ñaïi soá A ñöôïc goïi laø nguyeân toá ⇔ ideal (0) cuûa A laø ideal nguyeân toá. Nghóa laø: BC = (0) ⇒ B = (0) hoaëc C = (0) ( Vôùi B, C laø caùc ideal cuûa A). 18 ¾ Meänh ñeà 1.2.3.2: Neáu A laø ñaïi soá nguyeân thuûy thì A laø ñaïi soá nguyeân toá. Chöùng minh: Vì A nguyeân thuûy neân toàn taïi M laø ideal baát khaû qui trung thaønh cuûa A. Neáu laáy B, C laø caùc ideal khaùc 0 trong A thì (BC)M = B(CM) = BM = M. Khi ñoù BC ≠ 0 hay A laø ñaïi soá nguyeân toá ª ¾ Boå ñeà 1.2.3.3: Caùc meänh ñeà sau ñaây töông ñöông: i) A laø ñaïi soá nguyeân toá. ii) bAc = 0 ∈ 0' , 0 b b c A c =⎡⇒ ∀⎢ =⎣ iii) Linh hoùa töû beân traùi cuûa moät ideal traùi baát kì khaùc khoâng thì baèng 0. iv) Linh hoùa töû beân phaûi cuûa moät ideal phaûi baát kì khaùc khoâng thì baèng 0. Chöùng minh: i) ⇒ ii): Neáu bAc = 0⇒ AbAcA = 0⇒ (AbA)(AcA) = 0⇒ AbA =0 hoaëc AcA = 0. Laáy B laø ideal chính sinh bôûi b. Suy ra , maø AbA =0 neân b = 0. 3B ⊆ AbA 0B = ⇒ Töông töï, neáu AcA thì c = 0. ii) ⇒ iii): Giaû söû 0 lI A≠  sao cho aI = 0. Ta chöùng minh a = 0. Thaät vaäy, laáy b , 0 0 0I b Ab b a⇒ ⊂ = ⇒ =I aA⇒∈ ≠ ( do ii) ). iii) ⇒ i): Laáy B, C  A sao cho BC = 0. Giaû söû C≠0 ⇒ B = 0 ( do iii)). Suy ra A nguyeân toá. Baèng caùch töông töï ta chöùng minh ñöôïc ii) iv) i). Vì vaäy boå ñeà ñöôïc chöùng minh ª ⇒ ⇒ 19 ¾ Tích tröïc tieáp con: Tích tröïc tieáp cuûa hoï caùc K – ñaïi soá { } IAα α∈ laø taäp hôïp I Aα α∈ ∏ maø treân I Aα α∈ ∏ ta ñònh nghóa pheùp coäng vaø pheùp nhaân nhö sau: (f + g)( ) = f( ) + g(λ λ λ ), (f.g) (λ ) = f(λ ).g(λ ). Khi ñoù I Aα α∈ ∏ cuøng voùi 2 pheùp toaùn treân laäp thaønh moät vaønh laø moät K – ñaïi soá. Ñaët laø pheùp chieáu απ I Aα α∈ ∏ Aα→ . Ñaïi soá A ñöôïc goïi laø tích tröïc tieáp con cuûa hoï caùc ñaïi soá { } IAα α∈ neáu toàn taïi ñôn caáu : I A Aα α∈ μ →∏ : , .A A Iα αμπ = ∀α∈ Töø ñònh nghóa ta suy ra tröïc tieáp keát quaû sau ñaây: ¾ Meänh ñeà 1.2.3.4: Neáu ñaïi soá A laø tích tröïc tieáp con cuûa hoï caùc ñaïi soá { }Aα vaø /B Ker Aα απ= (vôùi laø pheùp chieáu απ I Aα α∈ ∏ Aα→ ) thì AA Bα α≅ vaø . Ngöôïc laïi, neáu A laø moät ñaïi soá baát kì, { I Bα ∈ ∩ α =∅ } IBα α∈ laø hoï caùc ideal trong A sao cho thì A ñaúng caáu vôùi tích tröïc tieáp con cuûa hoï caùc ñaïi soá Iα∈ ∩Bα =∅ AA Bα α = . 1.2.4 Ñaïi soá nöûa nguyeân toá: ¾ Ñònh nghóa 1.2.4.1: Cho ñaïi soá A: • Phaàn töû a A∈ ñöôïc goïi laø luõy linh neáu ∃ ∈ `*m sao cho am = 0. • Moät ideal cuûa A ñöôïc goïi laø nil neáu moïi phaàn töû cuûa noù ñeàu luõy linh. • Ideal ρ cuûa vaønh A ñöôïc goïi laø ideal luõy linh neáu *m∃ ∈` : a1.a2…am = 0 20 vôùi ai∈ρ =, 1,i m . Nghóa laø *m∃ ∈` sao cho m 0ρ = . • A ñöôïc goïi laø luõy linh ñòa phöông neáu moïi taäp con höõu haïn cuûa noù ñeàu sinh ra moät ñaïi soá con luõy linh. • A ñöôïc goïi laø luõy linh neáu *m∃ ∈` sao cho Am = 0. • A ñöôïc goïi laø nöûa nguyeân toá neáu noù khoâng coù ideal luõy linh khaùc 0. • Ideal B cuûa A ñöôïc goïi laø nöûa nguyeân toá neáu thöông A/B laø nöûa nguyeân toá. Nhaän xeùt: + Moïi ñaïi soá nguyeân toá ñeàu laø ñaïi soá nöûa nguyeân toá. + Moïi ideal luõy linh ñeàu laø luõy linh ñòa phöông vaø moïi ideal luõy linh ñòa phöông ñeàu laø nil ideal. ¾ Ñònh nghóa 1.2.4.2: Toång caùc ideal luõy linh cuûa ñaïi soá A khoâng nhaát thieát laø moät ideal luõy linh. Goïi toång naøy laø N(0), ta ñònh nghóa moät daõy sieâu haïn caùc ideal nhö sau: Vôùi N(0) ñöôïc chæ ra nhö theá, neáu laø moät baûn soá naøo ñoù maø khoâng laø baûn soá giôùi haïn,α α = β+ 1, ta ñònh nghóa N( ) laø ideal cuûa A sao cho N(α α )/N(β ) laø toång cuûa taát caû nhöõng ideal luõy linh cuûa A/N( ). Neáu laø baûn soá giôùi haïn, nghóa laø khoâng coù baûn soá ñöùng ngay tröôùc noù, ta ñaët N( ) = β α α N( ) < ∪ β α β . Khi ñoù ta coù N(α )⊂N( 'α ) neáu < vaø toàn taïi baûn soá ñaàu tieân α 'α τ sao cho N( τ ) =N( 1τ + ). Ta goïi N( τ) naøy laø nil radical döôùi cuûa A, kí hieäu laø lnA. ¾ Meänh ñeà 1.2.4.3: • Toàn taïi duy nhaát moät nil ideal toái ñaïi cuûa ñaïi soá A chöùa moïi nil ideal cuûa A. Nil ideal ñoù ñöôïc goïi laø upper nil radical cuûa A, kí hieäu laø Un(A). 21 • Toàn taïi duy nhaát moät ideal luõy linh ñòa phöông toái ñaïi cuûa ñaïi soá A, chöùa moïi ideal moät phía luõy linh ñòa phöông cuûa A. Ideal luõy linh ñòa phöông toái ñaïi cuûa ñaïi soá A ñöôïc goïi laø Levitzki nil radical cuûa A, kí hieäu laø L(A). ¾ Meänh ñeà 1.2.4.4: • A/Un(A) khoâng chöùa nil ideal khaùc 0. Suy ra Un(A/ Un(A)) = 0. • A/ln(A) khoâng chöùa ideal luõy linh khaùc 0. • L(A/L(A)) = 0. • Ln(A) ⊂ L(A) ⊂ Un(A) ⊂ rad(A). • Ln(A) truøng vôùi giao caùc ideal nguyeân toá cuûa A. Aùp duïng meänh ñeà 1.2.3.4 ta suy ra hai meänh ñeà sau ñaây: ¾ Meänh ñeà 1.2.4.5: A laø ñaïi soá nöûa nguyeân thuûy khi vaø chæ khi noù laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân thuûy. Chöùng minh: Vôùi A laø moät ñaïi soá baát kì ta luoân coù ( ) ( : )J A Aρ= ∩ , vôùi ρ chaïy khaép caùc ideal toái ñaïi chính qui trong A. Vì vaäy, neáu A laø ñaïi soá nöûa nguyeân thuûy thì ( ) ( : ) 0J A Aρ= ∩ = . Theo meänh ñeà 1.2.3.4 ta suy ra A laø tích tröïc tieáp con cuûa hoï caùc ñaïi soá ( : ) A Aρ . Maø ( : )A Aρ nguyeân thuûy suy ra A laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân thuûy. Ngöôïc laïi, cuõng theo meänh ñeà 1.2.3.4, neáu ñaïi soá A laø tích tröïc tieáp con cuûa hoï caùc ñaïi soá AA Bα α = thì 0Bα =∩ . Vì vaäy taát caû caùc aùnh xaï töø ( )J A vaøo trong Aα ñeàu laø aùnh xaï vaøo (0). Do ñoù ( ) ,J A Bα α⊂ ∀ (, suy ra ) )(0J A Bα⊂ ∩ = . Chöùng toû 22 raèng A laø ñaïi soá nöûa nguyeân thuûy. ª ¾ Meänh ñeà 1.2.4.6: A laø ñaïi soá nöûa nguyeân toá khi vaø chæ khi noù laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân toá. Chöùng minh: Giaû söû A laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân toá )⇐ Aα . Goïi N laø ideal luõy linh cuûa A. Khi ñoù ( )N Nα α= π laø ideal cuûa Aα (vôùi απ laø pheùp chieáu). Vì Aα nguyeân toá suy ra Aα nöûa nguyeân toá neân 0Nα = . Ñieàu naøy ñuùng 0N∀α⇒ = . Suy ra A laø nöûa nguyeân toá. Cho A laø nöûa nguyeân toá, ta chöùng minh A laø tích tröïc tieáp con cuûa caùc ñaïi soá )⇒ nguyeân toá. Theo meänh ñeà 1.2.3.4 ta coù: Neáu A laø moät ñaïi soá, { }Bα laø hoï caùc ideal trong A sao cho thì A ñaúng caáu vôùi tích tröïc tieáp con cuûa hoï 0Bα α =∩ AA Bα α= . Baây giôø, laáy , choïn b10 B A≠  ≠ 0 trong B, do A coù ñôn vò 10 Ab A A⇒ ≠  (ñöôïc chöùa trong B) 21 1 1 1 1 1( ) 0 0Ab A Ab Ab A b Ab a A⇒ = ≠ ⇒ ≠ ⇒∃ B∈ ∈ sao cho . Tieáp tuïc nhö vaäy ta coù moät daõy caùc bi : b1, b2 = b1a1b1, b3 = b2a2b2, …, bi = bi-1ai-1bi-1, … khaùc 0 naèm trong B. Vì vaäy suy ra, ∀k > i, j ta luoân coù 2 1 1 1 20,b b a b b= ≠ bk = biaijbj ( ). ija A∈ Vì neân theo boå ñeà Zorn toàn taïi ideal P cuûa A, toái ñaïi trong taäp =∅∩(0) { }ib nhöõng ideal cuûa A maø coù giao vôùi {bi } baèng roãng. Ta chöùng minh P chính laø ideal nguyeân toá cuûa A. Thaät vaäy, laáy C,D A sao cho  1, :C D P C C P⊄ ⇒ = + vaø 23 1 :D D P= + chöùa thöïc söï P . Neáu k > i, j thì bk = biaijbj 1,i jb C b D⇒∃ ∈ ∈ 1 1 1C D∈ . Suy ra . 1 1C D ( )kP b P⊄ ∉ 0 ≠ Vì C1D1 = (C + P)(D + P) = CD + CP + DP + P CD + P P laø ⊂ CD P⇒ ⊄ ⇒ ∩ 0 nguyeân toá. Toùm laïi, vôùi moïi , toàn taïi ideal nguyeân toá P khoâng chöùa B ⇒ =B A P (P – nguyeân toá) Suy ra A laø tích tröïc tieáp con cuûa caùc ñaïi soá nguyeân toá A P . Suy ra A laø nöûa nguyeân toá ª 1.2.5 Ñaïi soá thoûa maõn ñoàng nhaát thöùc: ¾ Ñònh nghóa 1.2.5.1: Moät ñaïi soá A treân vaønh giao hoaùn K ñöôïc goïi l._.