Diễn Đàn MathScopeDiễn Đàn MathScope
  Diễn Đàn MathScope
Ghi Danh Hỏi/Ðáp Thành Viên Social Groups Lịch Ðánh Dấu Ðã Ðọc

Go Back   Diễn Đàn MathScope > Đại Học Và Sau Đại Học/College Playground > Lý Thuyết Số/Number Theory

News & Announcements

Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé !

* Nội quy MathScope.Org

* Một số quy định chung !

* Quy định về việc viết bài trong diễn đàn MathScope

* Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây

* Những câu hỏi thường gặp

* Về việc viết bài trong Box Đại học và Sau đại học


Trả lời Gởi Ðề Tài Mới
 
Ðiều Chỉnh Xếp Bài
Old 13-11-2007, 04:21 AM   #1
No10
+Thành Viên+
 
No10's Avatar
 
Tham gia ngày: Nov 2007
Bài gởi: 19
Thanks: 0
Thanked 4 Times in 3 Posts
Bài tập ANT

Bài 1

CMR:

Với số nguyên tố $p $ bất kỳ cho trước tồn tại vô số số nguyên tố $q $ sao cho $q^{1/3}\in Q_p $.

Bài 2

CMR:

a/ Mọi định giá trên trường hữu hạn là tầm thường

b/ Nếu mọi định giá trên một trường $K $ là tầm thường liệu $K $ có buộc phải hữu hạn ???

c/ Cho $|.| $ là 1 giá trị tuyệt đối phi Archimedan trên trường $k $ CMR vành định giá xác định bởi $|.| $ là 1 tập con mở trong $k $.

Bài 3

Cho số nguyên tố $p, Z_p $ là vành các số nguyên p_adic
CMR: $Z_p $ là tập compac trong $Q_p $ với topo p_adic

Bài 4

cho $k $ là 1 trường đầy đủ với giá trị trị tuyệt đối phi Archimedan $|.|, k^+ $ là bao đóng đại số của $k $, mở rộng $|.| $ lên $k^+ $. Giả sử $f(x)=\sum_{i=0}^na_ix^{n-i}\in k[x] $ với $a_0 \not= 0 $; $c $ là nghiệm của $f(x) $ trong $k^+ $ CMR $|c|\le max\{|a^{-1}_0|; |a_1a^{-1}_0|; |a_2|;... ;|a_na_0^{n-2}| \} $.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
No10 is offline   Trả Lời Với Trích Dẫn
Old 15-11-2007, 04:05 PM   #2
n.t.tuan
+Thành Viên+
 
n.t.tuan's Avatar
 
Tham gia ngày: Nov 2007
Bài gởi: 1,250
Thanks: 119
Thanked 616 Times in 249 Posts
Định giá có phải là absolate value không bạn?
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
T.
n.t.tuan is offline   Trả Lời Với Trích Dẫn
Old 15-11-2007, 05:38 PM   #3
007
+Thành Viên+
 
Tham gia ngày: Nov 2007
Bài gởi: 8
Thanks: 0
Thanked 0 Times in 0 Posts
1)Có bao nhiêu ideal nguyên $\mathfrak{a} $ với chuẩn $n $? Ở đây $n $ là số nguyên dương cho trước.

J. Neukirch, trang 38.

2)Chứng tỏ rằng trong mỗi lớp ideal của một trường số đại số $K $ (bậc $n $), tồn tại một ideal nguyên $a $ sao cho
$N(a)\leq \frac{n!}{n^n}\left(\frac{4}{\pi}\right)^s\sqrt{|d _K|}. $
Ở đây $2s $ là số các nhúng phức $K\mapsto\mathbb{C} $.

J. Neukirch, trang 38.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
007 is offline   Trả Lời Với Trích Dẫn
Old 12-12-2007, 11:02 AM   #4
Mr Stoke
+Thành Viên Danh Dự+
 
Mr Stoke's Avatar
 
Tham gia ngày: Dec 2007
Bài gởi: 252
Thanks: 40
Thanked 455 Times in 95 Posts
Mục đích bài viết dưới đây là trình bày một cách hiểu thống nhất một số một số khái niệm nghe có vẻ giống nhau như: chuẩn (norm), nửa chuẩn (semi-norm, giả định giá (pseudo-valuation), định giá (valuation), giá trị tuyệt đối, định giá tuyệt đối,... nếu nhìn trên một trường ta có cảm giác chúng như nhau. Minh có đọc một số tài liệu các tác giả dùng tương đối lẫn lộn những khái niệm này: ví dụ chẳng hạn trên ${\mathbb Q}_p $ một số gọi là chuẩn, một số tác giả gọi là định giá tuyệt đối. Một câu hỏi nữa là khái niệm chuẩn trong giải tích hàm ta vẫn biết với một số thuật ngữ chuẩn trong đại số (có thể không có cấu trúc của không gian véctơ). Theo mình nghĩ thì cái khái niệm này được sắp xếp như sau:
1) Trên một nhóm G, với phép cộng chẳng hạn (ta chỉ xét với G là Abel), khái niệm chuẩn được xác định như sau: một hàm $\phi $ không âm gọi là (nửa) chuẩn trên G nếu như
(i)$ \phi(0)=0 $
(ii) $\phi(x+y)\leq \phi(x)+\phi(y) $
Một nửa chuẩn $\phi $ thỏa mãn $ker\phi=\{0\} $ thì được gọi là chuẩn.
Nếu bất đẳng thức (ii) được thay bằng
(ii)* $\phi(x+y)\leq\max\{\phi(x);\,\phi(y)\} $ thì ta gọi $\phi $ là hàm phi Archimedean, hoặc chuẩn phi Archimedean.

Một nhóm $G $ với (nửa) chuẩn $\phi $ sẽ được gọi là nhóm (nửa) định chuẩn ((semi)-normed group).

2) Khi $G $ có cấu trúc của 1 vành, $G=A $ ta thấy ngay một yêu cầu tự nhiên với điều kiện nào để topo cảm sinh từ $\phi $ là một tô pô tương thích với cấu trúc vành, ie... phép nhân là liên tục. Một điều kiện tự nhiên đó là $\phi(x\cdot y)\leq C\phi(x).\phi(y) $ ở đó $K $ là một hằng số, $\phi $ là (nửa)chuẩn trên nhóm cộng $A^+ $. Nếu có thể lấy $C=1 $ ie...
(iii) $\phi(x\cdot y)\leq \phi(x).\phi(y) $ và
(iV) $\phi(1_A)\leq 1 $
thì $\phi $ được gọi là một (nửa) chuẩn ((semi)-norm) trên $A $.

Một nhận xét hiển nhiên rằng nếu $A $ là một trường thì semi-norm trùng với norm (vì $ker\phi $ là một ideal).

Một chú ý rằng không nên nhầm lẫn ở đây rằng nếu $\phi $ là chuẩn thì (iii) sẽ xảy ra dấu bằng với mọi x,y. Đây chính là điểm khác biệt với khái niệm định giá trên vành mà ta sẽ xác định ở dưới đây (Tiếp tục tự nhiên đưa ra những khái niệm như power-multiplicative (semi)-norms tôi không đề cập ở đây để tiếp cận đến trường hợp có dấu "bằng" ở trong (iiI)).


3) Giờ đây với một vành $A $, khác $\{0\} $, ta hiểu định giá (valuation hoặc absolutely valuation) $\phi $ một hàm không âm trên A mà thỏa mãn $\phi $ là một chuẩn với nhóm cộng, và
(vi) dấu bằng xảy ra ở (iii) với mọi $x,y $ thuộc A.

Chú ý rằng bất đẳng thức (iv) lúc này trở thành một hệ quả của (vi) và một vành mà định giá (valued ring) thì chắc chắn là một miền nguyên.

4) Cuối cùng ta xem xét đến khái niệm chuẩn trên các module và các vector spaces. Ta giả sử $(A,\phi) $ là vành định chuẩn (normed ring). [TEX]\phi[TEX] gọi là A-module chuẩn (hoặc A-module norm) trên M nếu
(vii) $(M,\phi) $ là nhóm định chuẩn (lấy phép cộng)
(viii) $\phi(ax)\leq \phi(a)\cdot\phi(x) $ mọi $a\in A,x\in M $
Dĩ nhiên M gọi là module định chuẩn. Nếu M không tầm thường và dấu bằng xảy ở (viii) với mọi $a\in A,x\in M $ thì tự nhiên $\phi $ là một định giá trên A.
Nếu $A $ là một trường và $\phi $ là một định giá trên nó, lúc này M là A-kgtvt thì $\phi $ với các tính chất (vii) và (viii) sẽ được gọi là chuẩn.


PS: Đây chỉ là một cách hiểu của riêng mình để rạch ròi các khái niệm nói trên, các khái niệm tương ứng trong trường hợp non-Archimedean là tự nhiên tương tự. Mục đích cuối cùng của mình vẫn là tiếp cận đến các không gian hàm thông thường trên một số trường địa phương chẳng hạn nên có thể bỏ qua những thứ trên. Có lẽ các bạn học Đại số sẽ có một cách hiểu khác hệ thống những điều này chăng ? Mong các bạn góp ý :biggrin:
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
Mr Stoke is offline   Trả Lời Với Trích Dẫn
Old 15-03-2008, 09:22 AM   #5
Yutaka
+Thành Viên+
 
Tham gia ngày: Dec 2007
Bài gởi: 16
Thanks: 0
Thanked 0 Times in 0 Posts
Vài bài khác này
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
File Kèm Theo
Kiểu File : pdf MATH582F-Problems.pdf (66.8 KB, 3 lần tải)
Yutaka is offline   Trả Lời Với Trích Dẫn
Trả lời Gởi Ðề Tài Mới

Bookmarks

Ðiều Chỉnh
Xếp Bài

Quuyền Hạn Của Bạn
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is Mở
Smilies đang Mở
[IMG] đang Mở
HTML đang Tắt

Chuyển đến


Múi giờ GMT. Hiện tại là 07:11 PM.


Powered by: vBulletin Copyright ©2000-2018, Jelsoft Enterprises Ltd.
Inactive Reminders By mathscope.org
[page compression: 55.08 k/61.83 k (10.91%)]