Hình học đại số cơ sở
#1
Đã gửi 07-03-2005 - 08:41
Với mục đích nhằm giới thiệu và phổ cập một chuyên ngành nên chủ đề sẽ tránh không đi sâu vào chi tiết cũng như các thuật ngữ mang nặng tính kỹ thuật. Cũng vì thế mà các bài viết (nếu tồn tại) sẽ không tránh khỏi đôi khi không hoàn toàn thật chính xác.
Người mở chủ đề có hy vọng sẽ điểm qua những điều sau:
(1) Đa tạp đại số, từ điển giữa hình học và đại số, định lý Nullstellensatz.
(2) Lược đồ - trừu tượng hóa và tổng quát hóa của đa tạp.
(3) Đường cong đại số.
(4) Mặt cong đại số, lược đồ nhiều chiều.
(5) Một vài hướng nghiên cứu cơ bản trong chuyên ngành.
- phuc_90 yêu thích
#2
Đã gửi 07-03-2005 - 09:20
Giả sử http://dientuvietnam...n/mimetex.cgi?k là một trường đóng đại số với đặc số 0. Có thể coi http://dientuvietnam...n/mimetex.cgi?k là trường số phức http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{C}.
I. Đa tạp affine trên http://dientuvietnam...n/mimetex.cgi?k. Đặt http://dientuvietnam...n/mimetex.cgi?n biến trên http://dientuvietnam.../mimetex.cgi?k. Một tập con không rỗng http://dientuvietnam...n/mimetex.cgi?I được gọi là một iđêan nếu:
(a) http://dientuvietnam...n/mimetex.cgi?I được định nghĩa bằng:
Nhận xét rằng hợp của 2 tập đại số affine là một tập đại số affine (tương ứng với tích 2 iđêan) và giao của một họ các tập đại số affine là một tập đại số affine (tương ứng với hợp hay tổng các iđêan). Vậy tập tất cả các tập đại số affine (tương ứng với các iđêan của http://dientuvietnam.net/cgi-bin/mimetex.cgi?R) cho ta một Tôpô trên không gian http://dientuvietnam.net/cgi-bin/mimetex.cgi?k^n. Các tập đóng của Tôpô này là các tập đại số affine và các tập mở được cho bởi các phần bù của chúng. Tôpô này gọi là Tôpô Zariski (theo tên nhà toán học nổi tiếng Oscar Zariski).
Tôpô Zariski có một vài tính chất đặc biệt sau:
(a) Tôpô Zariski không phải là Hausdorff.
(b) Mỗi tập mở của http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n đều là trù mật trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n.
Tập http://dientuvietnam.net/cgi-bin/mimetex.cgi?k^n trang bị bởi Tôpô Zariski được gọi là không gian affine http://dientuvietnam.net/cgi-bin/mimetex.cgi?n chiều trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?k. Ta ký hiệu không gian này là http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n (dùng ký hiệu khác với http://dientuvietnam.net/cgi-bin/mimetex.cgi?k^n để nhấn mạnh rằng ta có trang bị Tôpô Zariski).
Với mỗi tập con http://dientuvietnam.net/cgi-bin/mimetex.cgi?I được định nghĩa như sau
Ghi chú: Chính xác hơn thì các tập con mở của đa tạp affine cũng được coi là các đa tạp đại số (đôi khi được gọi là quasi-affine).
- phuc_90 yêu thích
#3
Đã gửi 07-03-2005 - 15:44
#4
Đã gửi 07-03-2005 - 20:06
---------
Ly´ do post bai`: Vi` hoc ky` toi´ em co´ 1 oberseminar ve^` Sheaf theory trong algebraic geometry, va` phai bao´ cao´ ve^` chern class trong ly´ thuyet nay`. Hoc ky` truoc´ may man´ la` em da lam` seminar ve chern class + chern character trong K-Theory, nen cung co´ hieu biet doi chut ve phan nay`.
Bài viết đã được chỉnh sửa nội dung bởi quantum-cohomology: 07-03-2005 - 20:11
#5
Đã gửi 07-03-2005 - 22:02
Polytopied và Quantum rảnh vào viết thêm thì hay quá. Anh cũng định sẽ nói về sheaf khi nói tới lược đồ (scheme) nhưng giờ có Quantum nhận viết cho .. nhẹ cả vai Mà cũng có khi viết về cùng một chủ đề theo nhiều cách nhìn khác nhau sẽ rất hay. Anh chủ yếu nhìn theo cái nhìn đại số nên vì thế khái niệm sheaf sẽ rất trừu tượng.
Khi viết về sheaf, anh định sẽ đi sâu một chút về line bundles (invertible sheaves), các ánh xạ, các phép nhúng cho bởi các line bundles. Mục đích là để sau này giới thiệu về một vài hướng nghiên cứu về đối đồng điều Koszul của bó, giả thuyết Fujita (freeness and very ampleness) và giả thuyết Green (canonical curves). Kế hoạch thì nhiều nhưng không biết viết được bao nhiêu
PS: math0 chuyển sang unicode cho mọi người dễ đọc.Nếu bác CXR và quantum không đánh tiếng việt được thì đánh kiểu VIRQ rồi vào đây convert:
http://d1200796.u45....iet/default.asp
Bài viết đã được chỉnh sửa nội dung bởi math0: 07-03-2005 - 22:09
#6
Đã gửi 08-03-2005 - 00:11
-----
Em cũng đã từng nghe nói về Koszul complex, giả thuyết Fujita thì chưa nghe đến bao giờ,, nhưng tên thì quen quen, à hình như nhầm sang Futura.
Bài viết đã được chỉnh sửa nội dung bởi quantum-cohomology: 08-03-2005 - 02:13
#7
Đã gửi 08-03-2005 - 12:25
Vành tọa độ của một đa tạp đại số affine. Giả sử http://dientuvietnam...n/mimetex.cgi?X được định nghĩa như sau:
Đa tạp bất khả quy (irreducible). Nếu http://dientuvietnam...n/mimetex.cgi?X, Tôpô Zariski trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n giới hạn vào http://dientuvietnam.net/cgi-bin/mimetex.cgi?X sẽ cho một Tôpô trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?X (trong đó các tập đóng là giao của các tập đóng trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n với http://dientuvietnam.net/cgi-bin/mimetex.cgi?X). Đa tạp http://dientuvietnam.net/cgi-bin/mimetex.cgi?X được gọi là bất khả quy nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?X không phải là hợp của 2 tập con đóng thực sự của nó (nghĩa là không tồn tại các tập đóng http://dientuvietnam.net/cgi-bin/mimetex.cgi?X).
(Ghi chú: trong một vài tài liệu, chẳng hạn cuốn Hình học đại số của Hartshorne thì những đa tạp bất khả quy mới được gọi là đa tạp đại số - tuy nhiên, định nghĩa như hiện tại phù hợp hơn với phần lớn các kết quả nghiên cứu trong chuyên ngành).
Định lý. Đa tạp đại số affine http://dientuvietnam.net/cgi-bin/mimetex.cgi?X là bất khả quy nếu và chỉ nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{I}(X) là iđêan nguyên tố trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?X, http://dientuvietnam.net/cgi-bin/mimetex.cgi?d lớn nhất sao cho tồn tại chuỗi http://dientuvietnam.net/cgi-bin/mimetex.cgi?X (thường thì http://dientuvietnam.net/cgi-bin/mimetex.cgi?Z_0 là tập gồm một điểm đóng và http://dientuvietnam.net/cgi-bin/mimetex.cgi?A(X) (định nghĩa theo độ dài lớn nhất của một chuỗi các iđêan nguyền tố).
Chứng minh: dựa vào sự tương ứng 1-1 giữa các đa tạp đại số và các iđêan căn (và sự tương ứng này đảo ngược thứ tự bao hàm), cùng kết quả rằng một đa tạp là bất khả quy nếu và chỉ nếu iđêan xác định của nó là iđêan nguyên tố. (Ghi chú: iđêan nguyên tố là iđêan căn).
Nhận xét:
(a) Mỗi một đa tạp đại số đều có thể được viết thành hợp của một số đa tạp con bất khả quy trong đó không có 2 đa tạp nào chứa nhau, và cách viết này là duy nhất (trừ việc thay đổi thứ tự các đa tạp con).
(b) http://dientuvietnam.net/cgi-bin/mimetex.cgi?xz-x (thay bằng http://dientuvietnam.net/cgi-bin/mimetex.cgi?X là hợp của 3 thành phần bất khả quy. Tìm các iđêan xác định của 3 thành phần này.
(2) Giả sử http://dientuvietnam.net/cgi-bin/mimetex.cgi?k là trường số thực. Tìm một đa thức http://dientuvietnam.net/cgi-bin/mimetex.cgi?f(x,y) trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^2 không phải là bất khả quy. Chú ý rằng, http://dientuvietnam.net/cgi-bin/mimetex.cgi?k ở đây không phải là trường đóng đại số. Nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?k là trường số phức thì tồn tại hay không đa thức http://dientuvietnam.net/cgi-bin/mimetex.cgi?f(x,y) với cùng tính chất?
#8
Đã gửi 08-03-2005 - 19:32
Định lý Nullstellensatz của Hilbert, em thấy bác Ngô Việt Trung dịch là "Định lý nghiệm của Hilbert", cũng có người dịch là "Định lý không điểm của Hilbert".
Em không hiểu ý bài tập (2) lắm , có lẽ phải có thêm giả thiết về f, chẳng hạn f không là khả quy (f bất khả quy).
#9
Đã gửi 09-03-2005 - 00:55
Về bài tập (2) thì đúng là anh quên giả thuyết f là bất khả quy. Cám ơn noproof nhé.
Hiện tại phần lớn các kết quả (cũng như cách xây dựng lý thuyết) anh đưa lên đây đều cần http://dientuvietnam...n/mimetex.cgi?k đóng đại số (vì sử dụng định lý không điểm của Hilbert). Sau này khi đi cụ thể vào từng vấn đề nghiên cứu, anh sẽ nói rõ hơn lúc nào thì bỏ được tính đóng đại số của http://dientuvietnam.../mimetex.cgi?k.
#10
Đã gửi 12-03-2005 - 09:39
II. Đa tạp xạ ảnh. Đặt http://dientuvietnam...n/mimetex.cgi?f được gọi là bậc của http://dientuvietnam.../mimetex.cgi?f. Ví dụ: http://dientuvietnam...n/mimetex.cgi?I bao gồm các đa thức thuần nhất. Ví dụ: http://dientuvietnam.net/cgi-bin/mimetex.cgi?\sim trên tập http://dientuvietnam.net/cgi-bin/mimetex.cgi?\sim thỏa mãn các tính chất sau:
(a) http://dientuvietnam.net/cgi-bin/mimetex.cgi?\sim là một quan hệ tương đương trên tập http://dientuvietnam.net/cgi-bin/mimetex.cgi?\sim đã định nghĩa (nghĩa là nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n. Tôpô Zariski trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n được định nghĩa một cách tương tự như Tôpô Zariski trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n chỉ thay bằng khi xét các đa thức hay các iđêan ta xét các đa thức thuần nhất và các iđêan thuần nhất.
Nhận xét rằng mỗi đa thức http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n như với http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n (vì mỗi điểm của http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n là một lớp tương đương và giá trị của http://dientuvietnam.net/cgi-bin/mimetex.cgi?f tại điểm đó phụ thuộc vào từng đại diện của lớp tương đương đó - có nhiều đại diện của mỗi lớp tương đương). Tuy nhiên, nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?f xác định một hàm số trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n:
Giả sử http://dientuvietnam.net/cgi-bin/mimetex.cgi?I như sau:
Hoàn toàn tương tự như với các tập đại số affine, tập tất cả các tập đại số xạ ảnh (tương ứng với các iđêan thuần nhất của http://dientuvietnam.net/cgi-bin/mimetex.cgi?S) tạo thành các tập đóng của một Tôpô trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n. Tôpô này được gọi là Tôpô Zariski. Từ giờ trở đi, khi viết http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n ta hiểu là không gian http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n trang bị bởi Tôpô Zariski như đã nói.
Định nghĩa. http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n được gọi là không gian xạ ảnh http://dientuvietnam.net/cgi-bin/mimetex.cgi?n chiều trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?k.
Định nghĩa. Một đa tạp xạ ảnh là một tập con đóng của http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n với http://dientuvietnam.net/cgi-bin/mimetex.cgi?n tự nhiên nào đó.
Ghi chú: Giả sử http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?X (lấy giao với http://dientuvietnam.net/cgi-bin/mimetex.cgi?X) ta có Tôpô Zariski trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?X. Đôi khi một tập con mở của một đa tạp xạ ảnh cũng được coi là một đa tạp xạ ảnh.
Bằng cách tương đương ta có thể định nghĩa đa tạp xạ ảnh bất khả quy. http://dientuvietnam.net/cgi-bin/mimetex.cgi?X là bất khả quy nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?X không thể viết thành hợp của 2 tập con đóng thực sự của nó.
Định nghĩa. Với một đa tạp xạ ảnh http://dientuvietnam.net/cgi-bin/mimetex.cgi?X được định nghĩa như sau:
#11
Đã gửi 22-03-2005 - 10:33
Nhận xét: Hoàn toàn tương tự như trong trường hợp affine, ta có thể định nghĩa đa tạp xạ ảnh bất khả quy và chiều của một đa tạp xạ ảnh. Ta cũng có thể xây dựng tương ứng 1-1 (giống như tương ứng trong trường hợp affine) giữa đa tạp xạ ảnh và iđêan căn thuần nhất. Từ tương ứng này ta có
Một trong các mối liên hệ quan trọng giữa đa tạp xạ ảnh và đa tạp affine là mỗi đa tạp xạ ảnh đều có thể được xem như hợp của một số hữu hạn các đa tạp affine. Cách nhìn này sẽ là khá quan trọng cho các thảo luận kế tiếp.
Định nghĩa: giả sử http://dientuvietnam...n/mimetex.cgi?f (hay đa tạp xạ ảnh xác định bởi http://dientuvietnam...n/mimetex.cgi?f) trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n là một siêu mặt. Trong trường hợp http://dientuvietnam...n/mimetex.cgi?f là một đa thức tuyến tính thuần nhất, ta gọi tập các không điểm của http://dientuvietnam...n/mimetex.cgi?f là một siêu phẳng.
Nhận xét rằng, mỗi biến http://dientuvietnam...mimetex.cgi?x_i của http://dientuvietnam...n/mimetex.cgi?S là một đa thức tuyến tính thuần nhất. Vì thế http://dientuvietnam...mimetex.cgi?x_i xác định một siêu phẳng trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n - ta ký hiệu siêu phẳng này là http://dientuvietnam.net/cgi-bin/mimetex.cgi?H_i. Theo định nghĩa thì
Dễ thấy rằng nếu http://dientuvietnam.net/cgi-bin/mimetex.cgi?U_j (với http://dientuvietnam.net/cgi-bin/mimetex.cgi?j nào đó) - nghĩa là, nếu tồn tại http://dientuvietnam.net/cgi-bin/mimetex.cgi?\varphi_j là ánh xạ xác định trên http://dientuvietnam.net/cgi-bin/mimetex.cgi?U_j.
Bài tập: (các bạn nên thử làm để hiểu rõ vấn đề hơn)
(1) Chứng minh rằng với mỗi http://dientuvietnam.net/cgi-bin/mimetex.cgi?\varphi_j là một homeomorphism (không biết từ này dịch thế nào nhỉ!?) - nghĩa là http://dientuvietnam.net/cgi-bin/mimetex.cgi?\varphi_j là một song ánh tương ứng các tập đóng của http://dientuvietnam.net/cgi-bin/mimetex.cgi?U_j với các tập đóng của http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{A}^n. Ở đây, tôpô trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?U_j được cho bằng cách giới hạn tôpô Zariski trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbf{P}^n lên http://dientuvietnam.net/cgi-bin/mimetex.cgi?U_j.
(2) Chứng minh rằng mỗi không gian xạ ảnh http://dientuvietnam.net/cgi-bin/mimetex.cgi?X được phủ bởi các tập con mở http://dientuvietnam.net/cgi-bin/mimetex.cgi?\varphi_j định nghĩa như trên.
#12
Đã gửi 22-03-2005 - 13:17
Trong bài tập 2 chắc ý anh là "...một đa tạp xạ ảnh http://dientuvietnam...etex.cgi?X...".
Anh đi để lại cho nàng thằng ku</span>
#13
Đã gửi 22-03-2005 - 13:49
Ừ .. đúng là "đồng phôi" .. khi nãy anh nhớ là "đồng" gì đó mà chịu không nhớ ra À, bài tập (2) thì X là đa tạp xạ ảnh như Trung nói. Cám ơn Trung nhé!Nếu em nhớ không nhầm thì Homeomorphism ở nhà gọi là đồng phôi.
Trong bài tập 2 chắc ý anh là "...một đa tạp xạ ảnh http://dientuvietnam...etex.cgi?X...".
#14
Đã gửi 11-04-2005 - 18:08
Tài liệu HHĐS chủ yếu là tiếng Anh thôi.Em cũng có một số nhưng hiện tại em không có ai hướng dẫn nên cũng không biết về HHĐS thì quyển nào là kinh điển hay nổi tiếng nhất.Anh có thể giới thiệu tên sách cho em biết được không?Em cảm ơn trước nhé.
Con không hề hoài nghi tí nào về sự hiện hữu hoài nghi của người nhưng con hoài nghi rất nhiều về sự minh mẫn và công bình của người!
#15
Đã gửi 12-04-2005 - 11:02
vinhspiderman: Có khá nhiều giáo trình cơ sở về Hình học đại số, nhưng kinh điển nhất vẫn là cuốn "Introduction to algebraic geometry" của R. Hartshorne. Tuy nhiên bài tập trong cuốn này rất khó (đặc biệt là chương 3), vì thế anh nghĩ là trước khi đọc Hartshorne nên bắt đầu bằng một trong 3 cuốn sau:
(1) Introduction to commutative algebra and algebraic geometry của Kunz - cuốn này có ngôn ngữ và cách nhìn rất đại số.
(2) Basic algebraic geometry của Shafarevich - cuốn này có cách tiếp cận gần với giải tích hơn.
(3) Ideals, varieties and algorithms của Cox, Little và O'shea - cuốn này đọc khá hay nhất là về cơ sở Grobner.
Ngoài ra, theo anh thì khi đọc Hartshorne nên đọc kèm theo cuốn "The geometry of schemes" của D. Eisenbud và J. Harris và cuốn "Using algebraic geometry" của Cox, Little và O'shea.
Để học Hình học đại số thì cần có một nền tảng về đại số giao hoán khá vững. Anh nghĩ trước tiên nên đọc cuốn "Introduction to commutative algebra" của Atiyah và Macdonald, sau đó đọc cuốn "Introduction to commutative algebra" của Eisenbud hay cuốn "Commutative algebra" của Matsumura. Về homological algebra thì đọc thêm cuốn của C. Weibel. Về Representation theory thì đọc cuốn của Fulton (cuốn này khá khó).
Gần đây có một số cuốn sách sau khá hay:
(4) Combinatorial Commutative Algebra của E. Miller và B. Sturmfels - rất cơ bản và dễ đọc.
(5) Geometry of syzygies của D. Eisenbud và J. Harris - hay nhưng đòi hỏi phải đọc hết Hartshorne rồi.
(6) Positivity in Algebraic Geometry của R. Lazarsfeld - rất hay cũng đòi hỏi phải biết Hartshorne và một chút về Representation theory.
(7) Resolution of singularities của S.D. Cutkosky - rất hay nhưng cũng đòi phải biết Hartshorne và một chút trong giáo trình "Commutative algebra" của Zariski và Samuel.
(Danh mục sách anh đưa ra đây chỉ là một phần rất nhỏ của các giáo trình đang có hiện tại và mang nặng thiên hướng đi sâu về mặt đại số của chuyên ngành.)
#16
Đã gửi 13-04-2005 - 17:58
Anh CRX có bản pdf,djvu hay một dạng file nào của cuốn đó không?
Ngoài thư viện của viện toán có cuốn ấy không ạ?
Con không hề hoài nghi tí nào về sự hiện hữu hoài nghi của người nhưng con hoài nghi rất nhiều về sự minh mẫn và công bình của người!
#17
Đã gửi 28-09-2005 - 19:56
Bài viết đã được chỉnh sửa nội dung bởi quantum-cohomology: 28-09-2005 - 19:57
#18
Đã gửi 12-10-2005 - 21:48
anh ơi cho em hỏi với, tại sao k[X] lại là Noether.I. Đa tạp affine trên . Đặt , vành các đa thức biến trên . Một tập con không rỗng được gọi là một iđêan nếu:
(a) ,
(b) .
Mỗi đa thức xác định một hàm số cho bởi . Với mỗi iđêan , tập đại số affine xác định bởi được định nghĩa bằng:
(Ghi chú: mỗi iđêan trong là hữu hạn sinh (do là vành Noether) nên để xác định tập đại số của ta chỉ cần xác định không điểm của một tập hữu hạn các đa thức).
#19
Đã gửi 12-10-2005 - 22:00
projective manifolds theo như anh trình bày ở đây được trang bị bởi Zariski topology. Chẳng hạn nếu bây giờ nếu ta xét trên trường đóng đại số, ví dụ như http://dientuvietnam.net/cgi-bin/mimetex.cgi?\mathbb{C} đi, thì thu được , đa tạp này lại được trang bị 1 usual topology. Em chưa hiểu rõ lắm vì sao lại thế, tại sao khi xét trên K thì phải trang bị Zariski, còn xét trên C thì có thể dùng usual topo.Tôpô Zariski trên . Tôpô Zariski trên được định nghĩa một cách tương tự như Tôpô Zariski trên chỉ thay bằng khi xét các đa thức hay các iđêan ta xét các đa thức thuần nhất và các iđêan thuần nhất.
Nhận xét rằng mỗi đa thức không xác định một hàm số trên như với (vì mỗi điểm của là một lớp tương đương và giá trị của tại điểm đó phụ thuộc vào từng đại diện của lớp tương đương đó - có nhiều đại diện của mỗi lớp tương đương). Tuy nhiên, nếu là một đa thức thuần nhất thì xác định một hàm số trên :
cho bởi nếu giá trị của bằng 0, trong đó nằm trong lớp tương đương , và nếu ngược lại. Nhận xét rằng nếu bậc của là và là một đại diện nữa của (trong đó ) thì , và vì vậy . Điều này chứng tỏ rằng hàm số là xác định trên .
Giả sử là một iđêan thuần nhất trong đó các phần tử sinh cũng là thuần nhất. Ta định nghĩa tập đại số xạ ảnh của như sau:
ở đây, có nghĩa là giá trị của hàm số cho bởi đa thức tại bằng 0.
#20
Đã gửi 05-11-2005 - 10:07
we dont read books
we write them
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh