Luận văn Lý thuyết nevanlinna cho siêu mặt p - Adic

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH - - - - - - - - - - - - - - - - NGUYỄN NGỌC HUY LÝ THUYẾT NEVANLINNA CHO SIÊU MẶT P-ADIC Chuyên ngành: Đại số và lý thuyết số Mã số: 60 46 05 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS. TS MỴ VINH QUANG Thành phố Hồ Chí Minh - 2007 LỜI CÁM ƠN Lời đầu tiên, trong luận văn này, tôi xin gởi đến PGS.TS Mỵ Vinh Quang, người thầy đã hướng dẫn tận tình và hết lòng giúp đỡ tôi trong suốt quá trình học tập và làm luận văn, lòng biết ơn chân thành và sâu sắc nhất. Tôi cũng xin bày tỏ lòng biết ơn đối với quý thầy PGS.TS Bùi Tường Trí, PGS.TS Bùi Xuân Hải, TS Trần Huyên, quý thầy đã trực tiếp giảng dạy, trang bị cho tôi kiến thức cơ bản làm nền tảng cho quá trình học tập, nghiên cứu. Tôi vô cùng cảm ơn Ban Giám Hiệu, quý Thầy Cô khoa Toán – Tin, quý Thầy Cô phòng Sau Đại Học Trường Đại Học Sư Phạm Thành phố Hồ Chí Minh đã tạo điều kiện thuận lợi cho tôi được học tập và hoàn thành luận văn. Cuối cùng, tôi xin cảm ơn gia đình, người thân, bạn bè đã động viên, giúp đỡ và tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tập và hoàn thành luận văn này. Thành phố Hồ Chí Minh, tháng 09 năm 2007 Nguyễn Ngọc Huy 1 MỞ ĐẦU 1. Lý do chọn đề tài Giải tích p-adic là chuyên ngành mới của Toán học đang phát triển và có nhiều ứng dụng, đặc biệt, trong Lý thuyết số hiện đại. Lý thuyết Nevanlinna cho hàm phân hình p-adic một biến đã được nghiên cứu bởi các tác giả như Hà Huy Khoái, Mỵ Vinh Quang, Butabaa Năm 1988, trong [3], Hà Huy Khoái và Mỵ Vinh Quang lần đầu tiên xây dựng được công thức Poisson – Jensen cho hàm chỉnh hình p-adic và lý thuyết Nevanlinna cho siêu mặt hàm phân hình. Sau đó, nhiều tác giả tiếp tục phát triển lý thuyết theo nhiều hướng khác nhau. Trong [4], Hà Huy Khoái đã mở rộng vấn đề nghiên cứu cho các hàm chỉnh hình nhiều biến. Tuy nhiên, Hà Huy Khoái chỉ nêu tóm tắt các ý tưởng, kết quả dưới dạng hình học. Chính vì vậy chúng tôi chọn đề tài “Lý thuyết Nevanlinna cho siêu mặt p-adic” để tiếp tục nghiên cứu một cách đầy đủ, chi tiết hơn về độ cao của hàm chỉnh hình p-adic nhiều biến và áp dụng nó để nghiên cứu lý thuyết phân phối giá trị cho siêu mặt p-adic. 2. Mục đích nghiên cứu Xây dựng công thức đầy đủ và hoàn chỉnh với các chứng minh đầy đủ, chi tiết cho độ cao của hàm Chỉnh hình p-adic và xây dựng được 2 định lí cơ bản cho Lý thuyết Nevanlinna cho siêu mặt p-adic. 3. Đối tượng và phạm vi nghiên cứu Chúng tôi sẽ nghiên cứu độ cao của hàm Chỉnh hình p-adic một biến và nhiều biến, lý thuyết phân phối giá trị cho siêu mặt p-adic. 4. Cấu trúc luận văn Do những mục đích nói trên, toàn bộ luận văn bao gồm 3 chương. Chöông 1: Nhöõng kieán thöùc cô baûn Trong chöông ñaàu tieân naøy, chuùng toâi trình baøy moät soá kieán thöùc cô baûn chaúng haïn nhö chuẩn treân moät tröôøng, chuẩn phi Archimede ñaày ñuû, xaây döïng caùc tröôøng soá p-adic p p,_ ^ và một số tính chất cần thiết cho hai chương sau. Chöông 2: Đoä cao cuûa haøm chænh hình p-adic 2 Trong chương này, chúng tôi nêu khái niệm haøm chænh hình p-adic, cũng như ñöa ra khaùi nieäm ñoä cao cuûa haøm chænh hình p-adic. Đặc biệt, neâu leân moät soá tính chaát lí thuù veà ñoä cao cuûa haøm chỉnh hình p-adic maø seõ ñöôïc môû roäng leân cho haøm nhieàu bieán ôû chöông 3. Chương 3: Độ cao của hàm chỉnh hình nhiều biến và lý thuyết Nevanlinna cho siêu mặt Trong chương này, chúng tôi xây dựng công thức Poisson – Jensen p-adic cho hàm nhiều biến cũng như mở rộng lý thuyết Nevanlinna cho siêu mặt. Tuy đã có nhiều cố gắng, nhưng do năng lực có hạn nên luận văn này chắc chắn không tránh khỏi những thiếu xót, tôi rất mong được sự thông cảm và góp ý sâu sắc của quý Thầy Cô. 3 Chöông 1 NHÖÕNG KIEÁN THÖÙC CÔ BAÛN Trong chöông ñaàu tieân naøy, chuùng toâi trình baøy moät soá kieán thöùc cô baûn chaúng haïn nhö chuẩn treân moät tröôøng, chuẩn phi Archimede ñaày ñuû, xaây döïng caùc tröôøng soá p-adic p p,_ ^ và một số tính chất cần thiết cho hai chương sau. Ña soá caùc chöùng minh trong chöông naøy ñeàu ñöôïc boû qua vaø ngöôøi ñoïc coù theå deã daøng tìm thaáy chuùng trong caùc taøi lieäu tham khaûo. 1.1. Moät soá khaùi nieäm cô baûn 1.1.1. Ñònh nghóa Cho K laø moät tröôøng. Chuẩn treân K laø aùnh xaï : K +→ \ thoûa maõn caùc ñieàu kieän sau: C1: x 0 x 0 C2 : x.y x . y , x, y K C3: x y x y , x, y K = ⇔ = = ∀ ∈ + ≤ + ∀ ∈ Neáu e laø ñôn vò cuûa K thì theo C2: ( )e ee e e e e 1 0 e 1= = ⇔ − = ⇔ = Cuõng töø C2 suy ra 1 2 m 1 2 mx .x ...x x . x ... x= , đặc biệt mmx x= Ví duï Ví duï 1 Tröôøng caùc soá höõu tæ _ vôùi giaù trò tuyeät ñoái thoâng thöôøng thoûa maõn ñieàu kieän cuûa ñònh nghóa. Ví duï 2 Giả sử K laø moät tröôøng tuøy yù. AÙnh xaï 0 x 1 neáu x = 0 neáu x 0 ⎧= ⎨ ≠⎩ laø moät chuẩn treân K vaø ñöôïc goïi laø chuẩn taàm thöôøng. 1.1.2. Meänh ñeà Cho K laø tröôøng vôùi chuẩn . Xeùt d : KxK +→ \ ( ) ( )x, y d x, y x y= −6 4 Khi ñoù d laø meâtric treân K, nghóa laø d thoaû: i. ( ) ( )d x, y 0; d x, y 0 x y≥ = ⇔ = ii. ( ) ( )d x, y d y, x x, y K= ∀ ∈ iii. ( ) ( ) ( )d x, y d x, z d z, y x, y, z K≤ + ∀ ∈ 1.1.3. Ñònh nghóa Daõy { }nx K⊂ ñöôïc goïi laø daõy Cauchy neáu ( )m nd x , x 0→ khi m,n →∞ Töùc laø 0 0 n m0, n : m, n n x x∀ε > ∃ ∈ ≥ ⇒ − < ε` 1.1.4. Ñònh nghóa Neáu chuẩn treân tröôøng K thoûa maõn ñieàu kieän C3/ maïnh hôn C3 laø: C3/: { }x y max x , y+ ≤ thì noù ñöôïc goïi laø chuẩn phi Archimede. 1.1.5. Caùc ví duï veà chuẩn phi Archimede Ví duï 1 Chuẩn taàm thöôøng treân tröôøng K laø phi Archimede. Thaät vaäy, neáu x + y = 0 thì { }x y 0 max x , y+ = ≤ Neáu x y 0+ ≠ thì x 0≠ hoaëc y 0≠ , do ñoù { }x y 1 max x , y+ = ≤ Ví dụ 2 Xét K là trường số hữu hạn coù q phaàn töû vôùi phaàn töû ñôn vò laø e. Neáu x = 0 thì x 0= Neáu x 0≠ , thì : q 1q 1 q 1 ex e x x 1 x 1−− − == ⇒ = = ⇒ = Vaäy laø taàm thöôøng vaø do ñoù phi Archimede. Ví dụ 3 - Ñònh nghóa. Giaû söû { }p 2,3,5,7,...∈ laø moät soá nguyeân toá naøo ñoù. Vôùi moãi a ,a 0,∈ ≠] ta goïi ( )POrd a laø soá muõ cuûa p trong söï phaân tích a thaønh caùc thöøa soá nguyeân toá. Neáu a = 0 thì ( )POrd a .= ∞ - Ñònh nghóa. Giaû söû { }p 2,3,5,7,...∈ laø moät soá nguyeân toá naøo ñoù. 5 Vôùi ( )ax thì x ;a, b ,b 0, a, b 1. b ∈ = ∈ ≠ =_ ] Định nghĩa: ( ) ( ) ( )p p pOrd x Ord a Ord b= − - Treân tröôøng _ , ta xeùt aùnh xaï p : pOrd x p 1 x p 0 ⎧⎛ ⎞ ≠⎪⎜ ⎟= ⎨⎝ ⎠⎪ ≠⎩ neáu x 0 neáu x 0 thì p laø moät chuẩn phi Archimede. Ta deã daøng kieåm tra ( )p p pOrd x log x= − 1.1.6. Ñònh lyù Cho laø chuẩn treân tröôøng K. Kí hieäu ñôn vò cuûa K laø 1 vaø n∀ ∈` thì ñoàng nhaát n 1 1 ... 1= + + + (n laàn). Caùc meänh ñeà sau laø töông ñöông: i. laø chuẩn phi Archimede. ii. 2 1≤ iii. n 1, n N≤ ∀ ∈ iv. Taäp hôïp { }0,1, 2,...=` bò chaën, nghóa laø toàn taïi a∈\ sao cho n a, n≤ ∀ ∈` Chứng minh i. ii.⇒ { }2 1 1 max 1 ; 1 1= + ≤ = ii. iii.⇒ Với 0 0n , n 0; n th∈ > ∀ ∈` ` ì n được biểu diễn dưới dạng : s 0 1 0 s 0n a a n ... a n= + + + với i 0 s i0 a n ,a 0,a≤ < ≠ ∈] Độ dài s hoàn toàn được xác định vì ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 0 s s 0 0 0 0 0 0 0 s s 0 0 0 0 0 0 s s 1 0 0 n n n n n 1 n 1 n ... n 1 n v n 1 n n 1 n 1 n 1 n ... n 1 n n n n s log n s 1 s log n+ ≤ ≤ − + − + + − ≤ − ⇒ ≤ < + − + − + + − ⎡ ⎤⇒ ≤ < ⇒ ≤ < + ⇒ = ⎣ ⎦ iì a Áp dụng kết quả trên với 0n 2= ta có : s 0 1 sn :n a a 2 ... a 2∀ ∈ = + + +` với [ ]i s i 20 a 1,a 1,a ,s log n≤ ≤ = ∈ =] ( )k s 1s s 1 * k2 n 2 k : n 2 ++⇒ ≤ < ⇒∀ ∈ <` Ta lại viết k t0 1 tn b b 2 ... b 2= + + + với ki t i 20 b 1,b 1,b , t log n⎡ ⎤≤ ≤ = ∈ = ⎣ ⎦] k t 0 1 tn b b 2 ... b 2⇒ ≤ + + + 6 ( )i1 1 ... 1 do b 1, 2 1≤ + + + ≤ ≤ t 1= + Do ( ) ( ) ( )k s 1 k s 1k k2 2n 2 t log n log 2 k s 1+ +⎡ ⎤< ⇒ = < = +⎣ ⎦ ( ) ( ) ( )k *k k t 1 k s 1 n k s 1 n k. s 1 k ⇒ + ≤ + ⇒ ≤ + ⇒ ≤ + ∀ ∈` Cho k →∞ ta được n 1≤ iii. iv.⇒ Với mọi n : n 1∈ ≤` . Vậy tập các số tự nhiên` bị chặn. iv. i.⇒ x, y K∀ ∈ , ta cần chứng minh { }x y max x , y+ ≤ Đặt { }M max x , y= ( ) k kk i i k i i i k ik k i 0 i 0 k : x y C x y C x y− − = = ∀ ∈ + = ≤∑ ∑` ( )kk i k i k k k i 0 x y aM M k 1 aM x y k 1 aM− = ⇒ + ≤ = + ⇒ + ≤ +∑ Cho k →∞ ta được { }x y M max x , y+ ≤ = Định lí được chứng minh. □ 1.1.7. Meänh ñeà (Nguyeân lyù tam giaùc caân) Cho laø moät chuẩn phi Archimede treân tröôøng K. Neáu x y≠ thì { }x y max x , y+ = 1.1.8. Meänh ñeà Cho laø chuẩn phi Archimede treân tröôøng K. Neáu daõy { } nnx x 0→∞⎯⎯⎯→ ≠ thì 0 0 nn , n n x x∃ ∈ ∀ > ⇒ =` . Nghóa laø, mọi daõy hoäi tuï veà moät phaàn töû khaùc khoâng thì daõy caùc chuẩn töông öùng laø daõy döøng. 1.1.9. Ñònh lí Oxtropxki Moïi chuẩn khoâng taàm thöôøng treân _ ñeàu töông ñöông vôùi chuẩn giaù trò tuyeät ñoái thoâng thöôøng treân _ hoaëc töông ñöông vôùi chuẩn p (p laø moät soá nguyeân toá naøo ñoù). Chöùng minh 7 Ta xét 2 trường hợp: a. n : n 1∃ ∈ >` Gọi { }0n min n / n 1= ∈ >` *Vì 0n 1> nên ( )00 0 n 0n n log n 0α= α = > *k ,∀ ∈` ta viết số nk trong hệ đếm 0n : 0 k 2 s k 0 1 0 2 0 s o i i 0 s nn a a n a n ... a n a ,0 a n ;a 0,s log n⎡ ⎤= + + + + ∈ ≤ < ≠ = ⎣ ⎦] Khi đó: k s s 0 1 0 s 0 0 1 0 s 0n a a n ... a n a a n ... a n α α≤ + + + = + + + Do i 0a n i< ∀ nên ia 1≤ (theo cách chọn 0n ) k s s0 0 0 s 0 0 1 1n 1 n ... n n 1 ... n n α α α α α ⎛ ⎞⇒ ≤ + + + = + + +⎜ ⎟⎝ ⎠ Đặt: ( )s0 0 1 1c 1 ... ... n n α α = + + + + thì c là hằng số ( vì c là tổng của CSN lùi vô hạn) Khi đó: ( )k s k k s0 s 0n n .c c.n do a 0 nên n nα α≤ ≤ ≠ ≥ kn c.nα⇒ ≤ Cho ( )k thì n n 1α→∞ ≤ *Ta có: s k s 10 0n n n +≤ < s 1 k s 1 k k s 1 k k s 1 s 1 k0 0 0 0 0n n n n n n n n n n n + + + + += + − ≤ + − ⇒ ≥ − − Theo phần trên ta đã có: ( ) ( ) ( ) s 1s 1 0 0 0 0 s 1 k s 1 k o 0 n n n n n n n n n n n α +α + αα + + ⎧ = ⇒ =⎪⎨ ≤ ∀ ⇒ − ≤ −⎪⎩ Vì thế ( ) ( ) ( ) ( ) ( )k s 1 s 1s 1 k s 1 s s k0 0 0 0 0 0n n n n n n n do n nα αα + α ++ +≥ − − ≥ − − ≤ ( )k s 10 0 1n n 1 1 n α α + ⎡ ⎤⎛ ⎞⎢ ⎥⇒ ≥ − −⎜ ⎟⎢ ⎥⎝ ⎠⎣ ⎦ Đặt ( ) ( )k s 1 k k s 10 0 0 1c 1 1 thì: n n .c c.n do n n n α α + α +⎛ ⎞⎛ ⎞⎜ ⎟= − − ≥ > <⎜ ⎟⎜ ⎟⎝ ⎠⎝ ⎠ kn c.nα⇒ > Cho ( )k thì n n 2α→∞ ≥ Từ ( )( )1 2 n nα⇒ = Do đó: *m ;m ,n ta có: m m m n α∀ ∈ ∈ ∈ − = =_ ] ` , mm mn n n n n α α= ⇒ = = 8 Vậy chuẩn đang xét tương đương với giá trị tuyệt đối thông thường. b. Xét trường hợp n 1, n≤ ∀ ∈` Gọi p là số tự nhiên lớn hơn 0, bé nhất thỏa p 1< • Giả sử p không là số nguyên tố thì: 1 2 1 2p n .n ;n ,n p= < 1 2n n 1⇒ = = (do cách chọn p) 1 2p n n 1⇒ = = (vô lý) Vậy p là số nguyên tố. • Ta sẽ chỉ ra rằng: q 1= với mỗi số nguyên tố q p≠ Giả sử q : q 1∃ ∈ <` (q: nguyên tố) Khi đó với số tự nhiên M, N đủ lớn: MM 1p p 2 = < , NN 1q q 2 = < Do ( )M Np ,q 1= nên có thể tìm được 2 số m, n ∈` sao cho M Nmp nq 1+ = Khi đó: M N M N1 1 mp nq mp nq= = + ≤ + ( )M M M Mm p n q p q vì m 1, n 1 1 1 1 2 2 = + ≤ + ≤ ≤ < + = ( )1 1 vô lý⇒ < Vậy: q 1= • mx : x p . n α∀ ∈ =_ với ( ) ( )m, p 1; n, p 1= = Do m, n đều phân tích được dưới dạng tích của các số nguyên tố khác p và chuẩn của các số nguyên tố đó bằng 1 nên m n 1.= = Đặt p 1= ρ < Ta có: pord x m x n α α= ρ = ρ = ρ Vậy chuẩn tương đương với p Định lí ñöôïc chöùng minh.º 1.2. Caùc tröôøng soá p-adic 1.2.1. Xaây döïng tröôøng p_ 9 Töø ñònh lí Oxtropxki, ta thaáy moät chuẩn khoâng taàm thöôøng treân _ tương đương chuẩn giaù trò tuyeät ñoái thoâng thöôøng , hoaëc chuẩn phi Archimede p . Maëc khaùc, ta bieát raèng laøm ñaày ñuû _ theo ta seõ ñöôïc tröôøng soá thöïc \ . Vaäy laøm ñaày ñuû _ theo p ta seõ ñöôïc tröôøng môùi maø ta goïi laø tröôøng soá p-adic p_ . Cuï theå caùch xaây döïng nhö sau: - Kí hieäu S laø taäp hôïp taát caû caùc daõy Cauchy caùc soá höõu tæ theo p . - Treân S xaùc ñònh moät quan heä töông ñöông { } { } ( )n n n nnx ~ y lim x y 0→∞⇔ − = - Ta goïi p_ laø taäp hôïp taát caû caùc lôùp töông ñöông theo quan heä treân vaø trang bò cho p_ hai pheùp toaùn coäng vaø nhaân nhö sau: { } { } { }n n n nx y x y+ = + { } { } { }n n n nx y x .y• = Định nghĩa trên hoàn toàn hợp lí vì : i. { } { }n n n nx y , x y+ là dãy Cauchy theo p : ( ) ( ) ( ) { }n 1 n 1 n n n 1 n n 1 n n 1 n n 1 np pp px y x y x x y y max x x , y y 0+ + + + + ++ − + = − + − ≤ − − → n 1 n 1 n n n 1 n 1 n n 1 n n 1 n np p x y x y x y x y x y x y+ + + + + +− = − + − ( ) ( )n 1 n 1 n n n 1 n py x x x y y+ + += − + − { }n 1 n 1 n n n 1 np p p pmax y x x , x y y 0+ + +≤ − − → ii. { } { }n n n nx y , x y+ không phụ thuộc vào cách chọn đại diện : { } { } { } { } n n n n p n n n n p x x x x 0 y y y y 0 ′ ′⇔ − → ′ ′⇔ − → ∼ ∼ Ta có : ( ) ( ) ( ) { }n n n n n n n n n n n np pp px y x y x x y y max x x , y y 0′ ′ ′ ′ ′ ′+ − + = − + − ≤ − − → ( ) ( )n n n n n n n n n n n n n n n n n np p px y x y x y x y x y x y y x x x y y′ ′ ′ ′ ′ ′ ′ ′ ′− = − + − = − + − { }n n n n n np p p pmax y x x , x y y 0′ ′ ′≤ − − → - Rõ ràng ( )P , ,+ •_ laø một tröôøng. Thật vậy, i. ( )p ,+_ là nhóm aben : Phần tử trung hòa của phép cộng là { }0 0= Phần tử đối của { }na a= là { }na a− = − Hiển nhiên phép cộng là giao hoán. 10 ii. ( )*p ,•_ là nhóm aben : Phần tử đơn vị của phép nhân là { }1 1= Phần tử nghịch đảo của { }n0 a a≠ = Nếu na 0= ta có thể thay na bởi nna p′ = , do đó ta có thể chọn một đại diện của a là dãy Cauchy không có phần tử bằng không. Khi đó n 1 1 a a ⎧ ⎫= ⎨ ⎬⎩ ⎭ là phần tử nghịch đảo của a. Hiển nhiên phép nhân là giao hoán. - Tröôøng _ coù theå xem laø tröôøng con cuûa p_ nhôø aùnh xaï nhuùng pj : →_ _ { }a a .6 - ∀ pα∈_ thì { }na ;α = np pnlim a→∞α = là chuẩn của α treân p_ . Thật vậy, i. Chuẩn p α luôn tồn tại Neáu 0α = thì n pa 0= , do đó p 0α = Neáu 0α ≠ thì M∃ ∈` sao cho n M∀ > thì np paα = 0≠ ii. Chuẩn p α không phụ thuộc vào phần tử đại diện Giả sử { }/na là đại diện khác của α , khi đó / / / / / / n n n n n n n n n n np pp p p p p / n np pn n a a a a a a a a a a a 0 lim a lim a→∞ →∞ = − + ≤ − + ⇒ − ≤ − → ⇒ = - Ta có { }p p px / x 1= ∈ ≤] _ là một vành, được gọi là vành các số nguyên p-adic và { }p p pM x / x 1= ∈ <_ là ideal tối đại của p] . Hơn nữa, p pM p= ] , thật vậy: i. 1 pp p ppx p x p 1 px M −= ≤ < ⇒ ∈ p pp M⇒ ⊂] ii. p px M : x 1∀ ∈ < mà px pα= nên p 1 0 1α < ⇒ α < ⇒ α ≤ − 1 pp p x xx p 1 p p −⇒ ≤ ⇒ ≤ ⇒ ∈] Vậy p p p xx p p M p p = ∈ ⇒ ⊂] ] - Do đó p pp ] ] là một trường, gọi là trường thặng dư của p_ đối với p theo mod p. 11 1.2.2. Xaây döïng tröôøng p^ Laøm ñaày ñuû _ theo p ta ñöôïc tröôøng p_ ñaày ñuû nhöng khoâng ñoùng ñaïi soá. Kí hieäu bao ñoùng ñaïi soá cuûa p_ laø p_ . Chuẩn treân p_ ñöôïc xaây döïng nhö sau: - Vôùi pα∈_ thì α laø phaàn töû ñaïi soá treân p_ . Do ñoù toàn taïi moät ña thöùc ( )pIrr , , xα _ baát khaû quy coù caùc heä soá thuoäc p_ , heä soá ñaàu tieân laø 1 và nhaän α laøm nghieäm: ( ) n n 1p n 1 1 0Irr , , x x a x ... a x a−−α = + + + +_ - Đònh nghóa n 0p paα = . Khi ñoù p laø moät chuẩn treân p_ vaø p p= treân p_ . - Tröôøng p_ ñoùng ñaïi soá nhöng noù laïi khoâng ñaày ñuû theo p vöøa xaây döïng. Neáu tieáp tuïc laøm ñaày ñuû p_ theo p thì ta seõ ñöôïc tröôøng caùc soá phöùc p – adic, kí hieäu: ^ ^ ^ p p= =^ _ _ . Ñeå thuaän tieän trong trình baøy, ta duøng kí hieäu p thay vì p cho giaù trò tuyeät ñoái treân p^ . - Taäp caùc z trong p^ maø pz 1≤ laøm thaønh moät vaønh con ñoùng cuûa p^ , kí hieäu là pO . - Taäp caùc z maø p z 1< laø ideal toái ñaïi Ip trong pO , kí hieäu mp p pO / I=^ là mở rộng của p pp ] ] , goïi laø tröôøng caùc lôùp thaëng döï. Vì p^ ñoùng taïi soá ( theo mệnh đề 1.2.3.1 dưới đây) neân mp^ cuõng vaäy, ñaëc bieät mp^ khoâng laø tröôøng höõu haïn. Laáy pw∈^ , kí hieäu lôùp töông ñöông cuûa noù trong mp^ laø lw . - Ta duøng kí hieäu ( ) ( )p pv z log z= − laø haøm muõ treân tröôøng p^ , noù laø môû roäng cuûa haøm mũ ( )p p pOrd a log a= − treân tröôøng p_ . Neáu z = 0 thì ta quy öôùc v ( )0 =∞ . Ñeå thuaän tieän cho vieäc trình baøy, töø ñaây veà sau, neáu khoâng coù gì nhaàm laãn, trong luaän vaên seõ söû duïng p thaycho laø chuẩn treân tröôøng soá phöùc p-adic p^ và cũng dùng kí hiệu log thay cho logp . 1.2.3. Moät soá tính chaát cuûa tröôøng p^ Cũng như trường số phức ^ , tröôøng p^ coù caùc tính chaát cô baûn sau: 1.2.3.1. Meänh ñeà 1. p^ ñaày ñuû 12 2. p^ - ñoùng ñaïi soá Chứng minh 1. Hiển nhiên vì mp p=^ _ 2. Đầu tiên ta sẽ chứng minh bổ đề sau. 1.2.3.2. Bổ đề Lấy ( ) [ ]n n 1n 1 0 pg x x b x ... b x−−= + + + ∈_ . Khi đó nếu β là nghiệm của ( )g x thì { }i0 i n 1c max 1, b≤ ≤ −β ≤ = Chứng minh Giả sử β là nghiệm của ( )g x và ( )c *β > Ta có: n n 1n 1 0b ... b 0−−β + β + + = 0n 1 n 1 bb ... 0− −⇒ β+ + + =β { } ( ) 0n 2 n 1 n 1 in i 1 n i 1i0 i n 1 0 i n 1 bbb ... bmax max b do 1 − − − − − − −≤ ≤ − ≤ ≤ − ⇒ β = − − − −β β ⎧ ⎫⇒ β ≤ ≤ β >⎨ ⎬β⎩ ⎭ c≤ (mâu thuẫn với (*)) Vậy cβ ≤ Bổ đề được chứng minh. □ Bây giờ ta chứng minh mệnh đề 1.2.3.1 Lấy ( ) [ ]n n 1n 1 0 pf x x a x ... a x−−= + + + ∈^ , ta sẽ chứng minh ( )f x có nghiệm trong p^ . Với mỗi i 0,1,..., n 1= − ; lấy { }ij ja là dãy phần tử của p_ hội tụ về ai. Đặt ( ) n n 1j n 1, j 1, j 0, jg x x a x ... a x a−−= + + + + . Lấy ijr là nghiệm của ( ) ( )j pg x trong i 1,2,..., n=_ Ta có: ( ) ( ) ( )nj 1 i, j 1 i 1 g x x r *+ + = = −∏ Với mọi j đặt { }nj ij ij i1 i nA max 1, a ,doa a khi j≤ ≤= → →∞ nên n nij ia a khi j→ →∞ và do đó 13 n ija bị chặn khi jj A→∞⇒ bị chặn khi j jj A : A A,→∞⇒∃ < ∀ . Theo bổ đề 1.2.3.2 ta được { }nij1 i nmax 1, r A≤ ≤ < . Bây giờ, với mỗi j ta xây dựng ji j j r , 1 i n≤ ≤ sao cho dãy { }ji jr là dãy Cauchy. ● 1i 1 r chọn tùy ý (nghiệm tùy ý của g1) ● giả sử đã chọn ji j r , ta chọn j 1i j 1 r + + như sau : ● từ (*) suy ra ( ) ( ) ( ) ( )( )j j j j jn i j i, j 1 j 1 i j j 1 i j j i j j 1 j i j i 1 r r g r g r g r g g r+ + + + = − = = − = −∏ ji, j 1 ij i j j max a a r A+≤ − ≤ δ với j j 1 jg g+δ = − ji, j 1 ijmax a a 0 →∞ += − ⎯⎯⎯→ Gọi j 1i + là chỉ số để ji j i, j 1r r +− bé nhất j j 1 nni j i , j 1 jr r A 0khi j+ +− ≤ δ → →∞ { }ji jr⇒ là dãy Cauchy pr⇒∃ ∈^ để ji jjr lim r→∞= (do p^ đầy đủ) ( ) ( )j ji j i jj j f r f lim r lim f r→∞→∞ ⎛ ⎞⇒ = =⎜ ⎟⎜ ⎟⎝ ⎠ (do f là đa thức nên liên tục) ( )jj i j j lim g r 0 →∞ = = Vậy p^ đóng đại số. Mệnh đề được chứng minh. □ Ngoài ra p^ có những tính chất khác mà ^ không có. 1.2.3.3. Meänh ñeà p^ khoâng Compact ñòa phöông. Chứng minh Với ( )m : m,p 1,∈ =` kí hiệu { }mm p1 x / x 1= ∈ =^ Dễ dàng thấy với mmm 1 1 1 1ξ∈ ⇔ ξ = ⇒ ξ = ⇒ ξ = Để chứng minh mệnh đề 1.2.3.3 đầu tiên ta sẽ chứng minh bổ đề sau. 1.2.3.4. Bổ đề Với ( )m : m,p 1,∈ =` m 1, 1th 1ξ∈ ξ ≠ ξ − =ì 1 14 Chứng minh Ta có: { }1 max , 1 1ξ − ≤ ξ = Giả sử 1 1ξ − < . Đặt a 1 0= ξ− ≠ thì a 1< và 1 aξ = + Khi đó ( )mm m 1 m1 a 1 ma ... ma a−ξ = + = + + + + ( ) m 1 m m 1 m m 2 m 1 1 ma ... ma a 1 ma ... ma a 0 a m ... ma a 0 − − − − ⇒ + + + + = ⇒ + + + = ⇒ + + + = m 2 m 1m ... ma a 0− −⇒ + + + = ( )m 2 m 1m ... ma a 0 1− −⇒ + + + = Mặt khác, ( )m, p 1 m 1= ⇒ = và i 1i i 1 im mC a C a 1 i 2,..., m−− = < ∀ = nên ( )m 2 m 1m ... ma a m 1 2− −+ + + = = ( )1 và ( )2 mâu thuẫn. Vậy 1 1ξ − = Bổ đề được chứng minh. □ Bây giờ ta chứng minh mệnh đề 1.2.3.3 Đặt ( ) m m,p 1 I 1 = = ∪ thì I là tập vô hạn. Lấy { }i i I∈ξ ⊂` , ta sẽ chứng minh { }i i∈ξ ` không có dãy con hội tụ. Thật vậy, với { }i j i i, ∈ξ ξ ∈ ξ ` , giả sử m ni j1, 1ξ ∈ ξ ∈ ta có: mni ii j j j j 1 1 do 1 ⎛ ⎞ξ ξξ − ξ = ξ − = ∈⎜ ⎟⎜ ⎟ξ ξ⎝ ⎠ . Do đó, mọi dãy con của { }i i∈ξ ` đều không hội tụ. Mà { }i i∈ξ ` cũng l