Khóa luận: Xây dựng hàm tử mở rộng và mô tả số chiều vành

Khóa luận toán học: Xây dựng hàm tử mở rộng bằng phép giải nội xạ và mô tả số chiều của một số vành. Nghiên cứu chuyên sâu về đại số giao hoán.

• Tác giả: Võ Duy Cương
• Người hướng dẫn: Tiến Sĩ. Mỵ Vinh Quang
• Trường học: Trường Đại Học Sư Phạm Thành Phố Hồ Chí Minh
• Chuyên ngành: Đại Số
• Đề tài: Xây Dựng Hàm Tử Mở Rộng Bằng Phép Giải Nội Xạ & Mô Tả Số Chiều Của Một Số Vành
• Loại tài liệu: luận văn tốt nghiệp
• Năm xuất bản: 2000
• Địa điểm: Thành Phố Hồ Chí Minh

Mục lục chi tiết

• Lời mở đầu
• I. PHAN I: CÁC KHÁI NIỆM CƠ BẢN
• 1.1. Médun xạ ảnh và môđun nội xạ - các điều kiện tương đương
• 1.1.1. Môdun xạ anh
• 1.1.1.1. Định nghĩu-Tính chất
• 1.1.2. Các điều kỉ h
• 1.2. Bổ đề:
• 1.3. Môdun nội xa
• 1.3.1. Định nghĩa - cdc tính chất
• 1.3.2. Các diéu kiện tương đương
• 1.4. Bổ đề Bair:
• 1.5. Môđdun nội xạ và môđun chia d
• 1.6. Định nghĩa:
• 1.7. Tính chất của hàm tử Hom
• 1.8. Định nghĩa :
• 1.9. Nếu trong biểu dé sau nhitng đồng cấu médun trên R
• 1.10. Phức dưới - Phức trên.
• 1.11. Đồng cấu dây chuyển :
• 1.12. Anh xạ đồng luân
• 1.13. Dãy kh déneile và đối đôn : điễu của dãy khớp nxế» cắc hức
• 1.14. Đồng cấu nối:
• 1.15. 4 Định lý về dãy đồng điều của dãy khớp ngắn các phức dưới:
• II. PHANI : CÁC KHÁI NIỆM CƠ BẢN
• 2.1. PHÉP GIẢI XA ANH
• 2.1.1. Đ ia:
• 2.2. Hai định lý bổ sung
• 2.2.1. Dinh lý :
• III. PHAN II : PHÉP GIẢI NỘI XẠ
• 3.1. ĐINH NGHĨA PHÉP GIẢI NOI XA
• 3.2. CÁC MENH DE
• 3.2.1. Mệnh đề về sự tôn tại phép giải nội xạ
• 3.2.2. Mệnh dé về sự tôn tại đồng cấu dây chuyên
• 3.2.3. Mệnh đê về sự đông luân giữa hai đẳng cấu dây chuyền
• IV. PHAN III : HAM TỬ MỞ RỘNG
• 4.1. Một số bổ dé
• 4.2. Bổ dé :

Tóm tắt

I. Khám phá Hàm tử mở rộng và Số chiều vành trong Đại số

Trong lĩnh vực đại số giao hoán và đại số đồng điều, việc tìm hiểu cấu trúc sâu sắc của các vành và và-đun là một mục tiêu trung tâm. Tuy nhiên, các công cụ cổ điển đôi khi không đủ mạnh để nắm bắt hết sự phức tạp này. Bài viết này sẽ đi sâu vào hai khái niệm then chốt: Hàm tử mở rộng (Ext Functor) và Số chiều vành (Ring Dimension). Đây là những công cụ mạnh mẽ, bắt nguồn từ đại số đồng điều, cho phép các nhà toán học "đo lường" và phân loại các cấu trúc đại số một cách tinh vi. Chúng ta sẽ khám phá nguồn gốc của các khái niệm này, từ việc khắc phục những hạn chế của hàm tử Hom, cho đến việc xây dựng một hệ thống lý thuyết hoàn chỉnh để định nghĩa số chiều, một khái niệm trừu tượng nhưng vô cùng quan trọng. Nội dung sẽ được trình bày một cách hệ thống, bắt đầu từ nền tảng về dãy khớp ngắn và các loại và-đun đặc biệt, sau đó đi sâu vào phương pháp xây dựng hàm tử Ext và cuối cùng là ứng dụng chúng để định nghĩa các loại số chiều khác nhau.

1.1. Nền tảng Đại số đồng điều và vai trò của nó

Đại số đồng điều là một nhánh quan trọng của toán học, cung cấp một ngôn ngữ và bộ công cụ để nghiên cứu các bất biến của không gian tô pô và các cấu trúc đại số. Cốt lõi của nó là việc biến đổi các bài toán đại số phức tạp thành các bài toán đơn giản hơn liên quan đến đại số tuyến tính. Thay vì nghiên cứu trực tiếp các đối tượng như và-đun, đại số đồng điều xây dựng các phức (complex) và tính toán các và-đun đồng điều hoặc đối đồng điều của chúng. Những và-đun này, chẳng hạn như đối đồng điều và-đun, nắm giữ thông tin cấu trúc quan trọng mà không thể nhìn thấy trực tiếp. Các hàm tử dẫn xuất như Ext và Tor là những ví dụ tiêu biểu, được xây dựng để đo lường mức độ "không khớp" của các hàm tử cơ bản như Hom và tích tensor. Chúng trở thành công cụ không thể thiếu để phân tích cấu trúc của vành và và-đun, đặc biệt trong việc nghiên cứu các tính chất như tính chính quy hay tính Cohen-Macaulay.

1.2. Vấn đề cốt lõi Tính không khớp của hàm tử Hom

Một trong những động lực chính cho sự phát triển của đại số đồng điều xuất phát từ một hạn chế của hàm tử Hom. Cho một v-đun trên một vành R, hàm tử Hom(–, M) hoặc Hom(M, –) biến đổi các đồng cấu và-đun. Tuy nhiên, nó chỉ là một hàm tử khớp trái (left exact). Cụ thể, nếu áp dụng hàm tử Hom(X, –) vào một dãy khớp ngắn 0 → A → B → C → 0, dãy thu được 0 → Hom(X, A) → Hom(X, B) → Hom(X, C) nói chung sẽ không còn khớp tại Hom(X, C). Phần "đuôi" → 0 bị mất đi. Sự "thất bại" trong việc bảo toàn tính toàn cấu này cho thấy Hom(X, –) không nắm bắt được toàn bộ thông tin cấu trúc. Chính sự thiếu hụt này đã thúc đẩy việc xây dựng các hàm tử mở rộng Ext. Hàm tử Ext^n(X, –) được thiết kế để "vá" lại phần bị thiếu của dãy khớp, tạo thành một dãy khớp dài, qua đó cung cấp thông tin sâu sắc về cấu trúc của các và-đun liên quan.

II. Nền tảng cốt lõi Từ dãy khớp ngắn đến phép giải nội xạ

Để hiểu được cách xây dựng hàm tử mở rộng, việc nắm vững các khái niệm nền tảng là điều kiện tiên quyết. Trọng tâm của phần này là hai công cụ chính: dãy khớp ngắn và các loại và-đun đặc biệt là và-đun nội xạ và xạ ảnh. Một dãy khớp ngắn là một chuỗi các và-đun và đồng cấu mô tả một cấu trúc "mở rộng" cơ bản, trong đó một và-đun được xây dựng từ hai và-đun khác. Tuy nhiên, để làm việc với các hàm tử không khớp như Hom, chúng ta cần một công cụ mạnh hơn: các phép giải. Luận văn gốc tập trung vào phép giải nội xạ, một kỹ thuật biểu diễn một và-đun bất kỳ bằng một dãy khớp dài gồm toàn các và-đun nội xạ. Các và-đun này có những tính chất nâng (lifting property) đặc biệt, giúp đơn giản hóa nhiều chứng minh và tính toán. Việc xây dựng thành công một độ phân giải nội xạ là bước đầu tiên và quan trọng nhất để định nghĩa các và-đun đối đồng điều Ext^n.

2.1. Tìm hiểu về và đun nội xạ và và đun xạ ảnh

Và-đun xạ ảnh và và-đun nội xạ là các khối xây dựng cơ bản trong đại số đồng điều. Một và-đun P được gọi là xạ ảnh nếu với mọi toàn cấu g: A → B và đồng cấu f: P → B, luôn tồn tại một đồng cấu h: P → A sao cho g ∘ h = f. Điều này có nghĩa là các đồng cấu từ P có thể được "nâng" lên. Ngược lại, một và-đun I được gọi là nội xạ nếu với mọi đơn cấu g: A → B và đồng cấu f: A → I, luôn tồn tại một đồng cấu h: B → I sao cho h ∘ g = f. Tức là, các đồng cấu vào I có thể được "mở rộng". Theo luận văn, một tính chất quan trọng là mọi và-đun đều có thể được nhúng vào một và-đun nội xạ, và là ảnh của một và-đun xạ ảnh (cụ thể là và-đun tự do). Điều này đảm bảo sự tồn tại của các độ phân giải xạ ảnh và độ phân giải nội xạ cho bất kỳ và-đun nào.

2.2. Phương pháp xây dựng độ phân giải nội xạ cho và đun

Một độ phân giải nội xạ (injective resolution) của và-đun Y là một dãy trên khớp 0 → Y → C^0 → C^1 → ... trong đó tất cả các và-đun C^n đều là nội xạ. Việc xây dựng được thực hiện theo quy nạp. Đầu tiên, ta nhúng Y vào một và-đun nội xạ C^0, tạo thành dãy khớp ngắn 0 → Y → C^0 → K^1 → 0. Tiếp theo, ta lại nhúng và-đun thương K^1 vào một và-đun nội xạ C^1, tạo ra dãy 0 → K^1 → C^1 → K^2 → 0. Lặp lại quá trình này, ta xây dựng được một dãy dài. Theo chứng minh trong tài liệu gốc (Phần II), quá trình này luôn thực hiện được cho mọi và-đun. Một định lý quan trọng khẳng định rằng bất kỳ hai độ phân giải nội xạ nào của cùng một và-đun đều tương đương đồng luân. Tính duy nhất này (sai khác một đồng luân) đảm bảo rằng các và-đun đối đồng điều được định nghĩa từ phép giải này là các bất biến, không phụ thuộc vào cách chọn phép giải cụ thể.

III. Cách xây dựng Hàm tử mở rộng Ext^n từ phép giải nội xạ

Sau khi có trong tay công cụ là độ phân giải nội xạ, chúng ta có thể định nghĩa hàm tử mở rộng Ext. Ý tưởng cốt lõi là áp dụng hàm tử Hom(X, –) (vốn không khớp) vào một độ phân giải nội xạ của và-đun Y. Dãy thu được, Hom(X, C*), sẽ không còn là một dãy khớp mà trở thành một phức trên (cochain complex). Các và-đun đối đồng điều của phức này chính là các và-đun Ext^n(X, Y). Chúng "đo lường" chính xác sự thất bại của hàm tử Hom trong việc bảo toàn tính khớp. Cụ thể, Ext^0(X, Y) đẳng cấu với Hom(X, Y), trong khi các Ext^n(X, Y) với n > 0 nắm giữ thông tin cấu trúc sâu hơn. Luận văn (Phần III) đã chứng minh rằng định nghĩa này không phụ thuộc vào việc lựa chọn phép giải nội xạ, khẳng định Ext^n(X, Y) là một bất biến thực sự của hai và-đun X và Y.

3.1. Định nghĩa Ext^n X Y và các tính chất cơ bản

Cho hai và-đun X và Y trên vành R. Ta lấy một độ phân giải nội xạ của Y: (C): 0 → Y → C^0 → C^1 → .... Áp dụng hàm tử Hom(X, –) vào dãy (C) (bỏ đi Y), ta được phức Hom(X, C): 0 → Hom(X, C^0) → Hom(X, C^1) → .... Các và-đun đối đồng điều của phức này được định nghĩa là hàm tử mở rộng: Ext^n_R(X, Y) = H^n(Hom(X, C)). Một số tính chất quan trọng được rút ra từ định nghĩa này: Nếu Y là và-đun nội xạ, thì Ext^n(X, Y) = 0 với mọi n ≥ 1. Tương tự, nếu X là và-đun xạ ảnh, Ext^n(X, Y) = 0 với mọi n ≥ 1. Điều này cho thấy Ext đo lường sự "khác biệt" của các và-đun so với các và-đun nội xạ/xạ ảnh lý tưởng.

3.2. Hai dãy khớp dài của Ext và ứng dụng tính toán

Một trong những kết quả mạnh mẽ và hữu ích nhất của lý thuyết là sự tồn tại của hai dãy khớp dài. Cho một dãy khớp ngắn 0 → A → B → C → 0, ta có hai dãy khớp dài tương ứng:

1. 0 → Hom(X, A) → ... → Ext^n(X, B) → Ext^n(X, C) → Ext^(n+1)(X, A) → ...
2. 0 → Hom(C, Y) → ... → Ext^n(B, Y) → Ext^n(A, Y) → Ext^(n+1)(C, Y) → ... Các đồng cấu nối δ: Ext^n(X, C) → Ext^(n+1)(X, A) là chìa khóa để liên kết các nhóm Ext ở các bậc khác nhau. Các dãy khớp dài này là công cụ tính toán cực kỳ hiệu quả. Chúng cho phép chúng ta tính toán các nhóm Ext phức tạp từ những nhóm đơn giản hơn, hoặc suy ra các tính chất của một và-đun trong dãy khớp ngắn nếu biết thông tin về hai và-đun còn lại. Đây là nền tảng cho nhiều chứng minh trong lý thuyết số chiều.

IV. Phương pháp đo lường Số chiều vành bằng hàm tử mở rộng

Khái niệm số chiều của một vành là một sự tổng quát hóa cho khái niệm chiều trong không gian vector. Tuy nhiên, trong bối cảnh đại số trừu tượng, có nhiều cách định nghĩa "số chiều" khác nhau, mỗi loại phản ánh một khía cạnh cấu trúc của vành. Đại số đồng điều cung cấp một phương pháp định nghĩa số chiều một cách tự nhiên thông qua sự triệt tiêu của hàm tử Ext. Cụ thể, chiều nội xạ của một và-đun Y được định nghĩa là số nguyên n nhỏ nhất sao cho Ext^(n+1)(X, Y) = 0 với mọi và-đun X. Tương tự, chiều xạ ảnh cũng được định nghĩa thông qua sự triệt tiêu của Ext. Từ đó, chiều toàn cục của một vành R được định nghĩa là supremum của các chiều xạ ảnh (hoặc nội xạ) trên tất cả các và-đun. Phần IV của tài liệu gốc đã trình bày chi tiết các định nghĩa này và chứng minh một kết quả kinh điển: chiều toàn cục định nghĩa qua chiều xạ ảnh và chiều nội xạ là như nhau.

4.1. Định nghĩa số chiều xạ ảnh và số chiều nội xạ

Số chiều nội xạ của và-đun Y, ký hiệu id(Y), là số nguyên m ≥ 0 nhỏ nhất sao cho tồn tại một độ phân giải nội xạ của Y có độ dài m. Một cách tương đương, id(Y) ≤ m nếu và chỉ nếu Ext^(k)(X, Y) = 0 với mọi k > m và mọi và-đun X. Tương tự, số chiều xạ ảnh của và-đun X, ký hiệu pd(X), là độ dài nhỏ nhất của một độ phân giải xạ ảnh. Điều này tương đương với việc Ext^k(X, Y) = 0 với mọi k > m và mọi và-đun Y. Các số chiều này cho biết một và-đun "gần" với việc là nội xạ hay xạ ảnh đến mức nào. Một và-đun là nội xạ khi và chỉ khi chiều nội xạ của nó bằng 0.

4.2. Khái niệm chiều toàn cục và sự tương đương quan trọng

Chiều toàn cục (global dimension) của vành R, ký hiệu gl.dim(R), được định nghĩa là sup{pd(M)} lấy trên tất cả các R-và-đun M. Một định lý nền tảng, được nêu trong luận văn, khẳng định rằng sup{pd(M)} = sup{id(M)}. Điều này có nghĩa là ta có thể định nghĩa chiều toàn cục thông qua chiều xạ ảnh hoặc chiều nội xạ mà không làm thay đổi kết quả. Chiều toàn cục là một bất biến quan trọng của vành, phản ánh độ phức tạp của lý thuyết và-đun trên vành đó. Ví dụ, các vành địa phương chính quy, một lớp vành rất quan trọng trong hình học đại số, có thể được đặc trưng bởi việc chúng có chiều toàn cục hữu hạn. Định lý Auslander-Buchsbaum-Serre là một kết quả nổi tiếng khẳng định một vành địa phương Noether là chính quy khi và chỉ khi nó có chiều toàn cục hữu hạn.

V. Kết quả tính Số chiều vành cho các cấu trúc đặc biệt

Lý thuyết về hàm tử mở rộng và số chiều vành sẽ không hoàn chỉnh nếu thiếu các ví dụ và kết quả tính toán cụ thể. Việc áp dụng các định lý tổng quát vào các lớp vành quen thuộc không chỉ giúp kiểm chứng lý thuyết mà còn mang lại những hiểu biết sâu sắc về cấu trúc của chúng. Phần này sẽ trình bày các kết quả tính toán chiều toàn cục cho một số loại vành quan trọng, dựa trên các chứng minh và lập luận được trình bày trong tài liệu gốc (Phần IV). Chúng ta sẽ thấy rằng những vành có cấu trúc "đơn giản" như trường hoặc vành chính thường có số chiều rất nhỏ (0 hoặc 1), trong khi những vành phức tạp hơn như vành Z_n có thể có số chiều vô hạn. Những kết quả này minh họa rõ nét mối liên hệ chặt chẽ giữa các tính chất đồng điều và cấu trúc số học của vành.

5.1. Số chiều của trường và vành chính là bao nhiêu

Kết quả tính toán cho các cấu trúc cơ bản rất trực quan. Một trường (field) là cấu trúc đơn giản nhất. Mọi và-đun trên một trường là một không gian vector, và do đó là và-đun tự do. Vì mọi và-đun tự do đều là xạ ảnh, nên mọi và-đun trên một trường đều xạ ảnh. Điều này có nghĩa là mọi và-đun có chiều xạ ảnh bằng 0. Do đó, chiều toàn cục của một trường bằng 0. Đối với một vành chính (PID) không phải là trường, chẳng hạn như vành số nguyên Z, mọi và-đun con của một và-đun tự do cũng là tự do. Kết quả này, một hệ quả của định lý Hilbert Syzygy trong trường hợp đơn giản, cho thấy mọi và-đun đều có một độ phân giải xạ ảnh với độ dài tối đa là 1. Do đó, chiều toàn cục của một vành chính (không là trường) bằng 1.

5.2. Phân tích số chiều của vành nửa đơn và vành Z_n

Một vành R được gọi là nửa đơn (semisimple) nếu mọi R-và-đun đều là nội xạ (và cũng là xạ ảnh). Theo định nghĩa của số chiều, điều này trực tiếp suy ra rằng chiều toàn cục của một vành nửa đơn bằng 0. Trường hợp của vành Z_n (số nguyên modulo n) thú vị hơn. Kết quả phụ thuộc vào việc phân tích n ra thừa số nguyên tố. Như được chứng minh trong luận văn, nếu n không chứa ước chính phương (square-free), tức là n = p_1 * p_2 * ... * p_k với các số nguyên tố p_i phân biệt, thì Z_n là một vành nửa đơn và do đó Dim(Z_n) = 0. Ngược lại, nếu n có chứa ước chính phương (ví dụ n = p^2 * k), thì vành Z_n có chiều toàn cục là vô hạn. Điều này cho thấy sự tồn tại của các và-đun trên Z_n có độ phân giải xạ ảnh dài vô hạn, phản ánh một cấu trúc phức tạp hơn nhiều.