Tổng quan luận án
Lý thuyết vành kết hợp không giao hoán và lý thuyết môđun là một trong những chuyên ngành nền tảng của đại số hiện đại. Trong sự phát triển của lý thuyết này, hướng tiếp cận nghiên cứu cấu trúc của vành dựa trên các tính chất của lớp môđun trên vành đó đóng vai trò trung tâm. Lớp môđun nội xạ, được khởi xướng bởi R. Baer (1940) và được H. Cartan cùng S. Eilenberg (1956) hình thức hóa bằng ngôn ngữ của đại số đồng điều, là điểm tựa cho việc phân loại và mô tả cấu trúc vành. Nhằm nới lỏng các điều kiện của tính nội xạ, nhiều lớp môđun mở rộng đã được giới thiệu như môđun tựa nội xạ (quasi-injective module), môđun giả nội xạ (pseudo-injective module), môđun liên tục (continuous module), môđun tựa liên tục (quasi-continuous module) và môđun mở rộng (extending module hay môđun $C_1$).
Năm 1969, Dickson và Fuller đưa ra khái niệm môđun bất biến dưới các tự đẳng cấu của bao nội xạ (gọi tắt là môđun bất biến đẳng cấu - automorphism-invariant module) cho đại số hữu hạn chiều trên một trường. Đến năm 2013, T. K. Lee và Y. Zhou đã mở rộng khái niệm này cho vành và môđun bất kỳ. Một môđun $M$ được gọi là bất biến đẳng cấu nếu nó bất biến qua mọi tự đẳng cấu của bao nội xạ $E(M)$, nghĩa là $\varphi(M) \le M$ với mọi tự đẳng cấu $\varphi$ của $E(M)$. Lớp môđun này chứa lớp môđun tựa nội xạ và được chứng minh là trùng với lớp môđun giả nội xạ (Er, Singh, Srivastava, 2013). Song song với việc nghiên cứu môđun, cấu trúc của vành mà mỗi iđean phải thỏa mãn một tính chất nội xạ mở rộng cũng được quan tâm đặc biệt: Jain và Singh (1969) nghiên cứu lớp $q$-vành phải (mỗi iđean phải là tựa nội xạ); Ivanov nghiên cứu lớp $fq$-vành phải (mỗi iđean phải hữu hạn sinh là tựa nội xạ); Kosan, Quýnh và Srivastava (2016) đưa ra lớp $a$-vành phải (mỗi iđean phải là bất biến đẳng cấu).
Khoảng trống nghiên cứu mà tác giả Đào Thị Trang lựa chọn giải quyết trong luận án bao gồm:
- Việc mô tả cấu trúc vành các tự đồng cấu $End(M)$ của môđun bất biến đẳng cấu $M$ khi $M$ có chiều Goldie hữu hạn, cũng như tính đối xứng trái - phải của các tính chất đại số trên vành bất biến đẳng cấu.
- Thiết lập các điều kiện để lớp môđun bất biến đẳng cấu trùng khớp với lớp môđun tựa nội xạ hoặc môđun nội xạ trên các lớp vành đặc biệt như vành Goldie nguyên tố và vành Noether nguyên tố di truyền phải bị chặn.
- Làm yếu các điều kiện cổ điển trong đặc trưng vành tựa Frobenius (vành QF) bằng cách thay thế tính chất tự nội xạ bằng tính chất bất biến đẳng cấu kết hợp với các điều kiện dây chuyền.
- Mở rộng khái niệm $a$-vành phải sang lớp vành mới: lớp vành mà mỗi iđean phải hữu hạn sinh là bất biến đẳng cấu (được đặt tên là lớp $fa$-vành phải), đồng thời khảo sát toàn diện cấu trúc đại số của lớp vành này.
Mục tiêu nghiên cứu của luận án được xác định rõ:
- Mục tiêu 1: Nghiên cứu các tính chất cấu trúc của môđun bất biến đẳng cấu và vành các tự đồng cấu $End(M)$ của chúng; khảo sát tính nửa hoàn chỉnh của vành tự đồng cấu khi môđun có chiều Goldie hữu hạn; làm rõ tính đối xứng Rickart trên vành bất biến đẳng cấu phải.
- Mục tiêu 2: Tìm các điều kiện trên vành cơ sở hoặc trên môđun để môđun bất biến đẳng cấu trở thành môđun tựa nội xạ hoặc môđun nội xạ trên vành Goldie phải nguyên tố và vành Noether nguyên tố di truyền phải bị chặn; thiết lập các đặc trưng tương đương mới cho vành tựa Frobenius thông qua tính bất biến đẳng cấu phải và điều kiện dây chuyền tăng trên các linh hóa tử.
- Mục tiêu 3: Định nghĩa lớp $fa$-vành phải; thiết lập định lý cấu trúc biểu diễn $fa$-vành phải thông qua vành ma trận tam giác hình thức; khảo sát các đặc trưng của $fa$-vành phải có chiều Goldie hữu hạn, $fa$-vành phải không suy biến và tính đối xứng trái - phải của $fa$-vành nửa Artin không suy biến.
Đối tượng và phạm vi nghiên cứu:
- Đối tượng nghiên cứu: Vành kết hợp có phần tử đơn vị, các môđun unita phải (hoặc trái), bao nội xạ của môđun, vành các tự đồng cấu, các cấu trúc iđean và các lớp vành liên quan (vành chính quy von Neumann, vành Goldie, vành tựa Frobenius, vành Rickart, $fa$-vành).
- Phạm vi nghiên cứu: Nghiên cứu thuần túy lý thuyết thuộc chuyên ngành Đại số và lý thuyết số (mã số 9460104), không gian nghiên cứu trừu tượng trong phạm vi lý thuyết vành và môđun; văn bản luận án được hoàn thành và bảo vệ tại Trường Đại học Sư phạm - Đại học Huế vào năm 2022.
Tổng quan tài liệu và vị trí của luận án
Tổng quan tài liệu trong luận án được tác giả phân tích theo dòng lịch sử phát triển của lý thuyết mở rộng tính nội xạ và cấu trúc vành liên kết:
-
Nguồn gốc lý thuyết môđun nội xạ và mở rộng tựa nội xạ:
- R. Baer (1940) giới thiệu khái niệm $R$-môđun $M$ là hạng tử trực tiếp của mọi môđun chứa nó và đưa ra Tiêu chuẩn Baer: môđun $M_R$ là nội xạ khi và chỉ khi mọi đồng cấu từ một iđean phải bất kỳ của $R$ vào $M$ đều mở rộng được thành đồng cấu từ $R_R$ vào $M$.
- H. Cartan và S. Eilenberg (1956) đặt tên thuật ngữ "môđun nội xạ" và hệ thống hóa bằng ngôn ngữ đại số đồng điều.
- R. E. Johnson và E. T. Wong (1961) giới thiệu lớp môđun tựa nội xạ (quasi-injective module): mỗi đồng cấu từ một môđun con của $M$ vào $M$ đều mở rộng được thành một tự đồng cấu của $M$. Công trình này chỉ ra rằng lớp môđun bất biến dưới tất cả các tự đồng cấu của bao nội xạ $E(M)$ trùng với lớp môđun tựa nội xạ.
- S. K. Jain và S. Singh (1967) mở rộng thành môđun giả nội xạ (pseudo-injective module): mọi đơn cấu từ một môđun con của $M$ vào $M$ đều mở rộng được thành một tự đồng cấu của $M$.
- Các hướng mở rộng khác được tác giả điểm lại bao gồm: môđun giả nội xạ cốt yếu của Alahmadi, Er và Jain; môđun $GQ$-nội xạ của M. Harada; môđun tựa $C$-nội xạ của P. F. Smith; môđun $p$-nội xạ của W. K. Nicholson và M. F. Yousif; môđun tựa $p$-nội xạ của N. V. Sanh và K. P. Shum (2006).
-
Sự phát triển của lớp môđun bất biến đẳng cấu:
- S. E. Dickson và K. R. Fuller (1969) nghiên cứu lớp môđun bất biến dưới các tự đẳng cấu của bao nội xạ đối với đại số hữu hạn chiều trên một trường.
- T. K. Lee và Y. Zhou (2013) mở rộng định nghĩa cho vành và môđun bất kỳ, đồng thời chứng minh mọi môđun giả nội xạ đều là môđun bất biến đẳng cấu và đặt ra câu hỏi về chiều ngược lại cũng như điều kiện $C_2$.
- N. Er, S. Singh và S. K. Srivastava (2013) giải quyết trọn vẹn câu hỏi trên: chứng minh môđun bất biến đẳng cấu chính là môđun giả nội xạ, mọi môđun bất biến đẳng cấu thỏa mãn điều kiện $C_2$, và thiết lập phân tích cấu trúc $M = X \oplus Y$ với $X$ là môđun tựa nội xạ và $Y$ là môđun không chính phương trực giao với $X$.
- P. A. Guil Asensio và S. K. Srivastava (2013) chứng minh lớp môđun bất biến đẳng cấu thỏa mãn tính chất trao đổi (exchange property) và khảo sát cấu trúc môđun clean.
-
Nghiên cứu vành các tự đồng cấu:
- Y. Utumi, C. Faith và B. L. Osofsky thiết lập tính chất cơ bản: với môđun tựa nội xạ $M$, $End(M)/J(End(M))$ là vành chính quy von Neumann tự nội xạ phải và $J(End(M))$ gồm các tự đồng cấu có hạt nhân cốt yếu.
- P. A. Guil Asensio và S. K. Srivastava mở rộng kết quả trên cho môđun bất biến đẳng cấu: $End(M)/J(End(M))$ là vành chính quy von Neumann với các phần tử lũy đẳng nâng được modulo $J(End(M))$.
- N. V. Sanh và K. P. Shum (2006) nghiên cứu môđun tựa $p$-nội xạ tự sinh có chiều Goldie hữu hạn, chỉ ra iđean trái cực đại của vành tự đồng cấu có dạng xác định bởi các phần tử đều.
-
Nghiên cứu các lớp vành dựa trên iđean nội xạ:
- S. K. Jain và S. Singh (1969) khảo sát lớp $q$-vành phải (mỗi iđean phải là tựa nội xạ).
- G. Ivanov khảo sát lớp $fq$-vành phải (mỗi iđean phải hữu hạn sinh là tựa nội xạ) gắn với lũy đẳng nguyên thủy trù mật.
- M. T. Kosan, T. C. Quýnh và S. K. Srivastava (2016) nghiên cứu lớp $a$-vành phải (mỗi iđean phải là bất biến đẳng cấu), chứng minh $a$-vành phải là tổng trực tiếp của vành nửa đơn chính phương đầy đủ và vành không chính phương phải.
- T. Nakayama (1939), M. Ikeda (1951) và C. Faith thiết lập các đặc trưng của vành tựa Frobenius (QF-ring) thông qua tính tự nội xạ và điều kiện dây chuyền trên các linh hóa tử.
Vị trí của luận án: Luận án kế thừa trực tiếp các kết quả của Lee - Zhou, Er - Singh - Srivastava, Guil Asensio - Srivastava, Sanh - Shum, và Kosan - Quýnh - Srivastava. Luận án đặt vị trí của mình tại giao điểm giữa lý thuyết mở rộng nội xạ và cấu trúc vành hiện đại, giải quyết khoảng trống về mô tả giải tích cấu trúc vành tự đồng cấu khi có chiều Goldie hữu hạn, thiết lập cầu nối tương đương giữa tính bất biến đẳng cấu và tính nội xạ trên vành Goldie/Noether, làm suy yếu giả thiết của Định lý Faith về vành QF, và thiết lập lý thuyết cấu trúc cho lớp $fa$-vành phải.
Cơ sở lý thuyết và phương pháp nghiên cứu
Cơ sở lý thuyết, khái niệm và khung phân tích
Luận án vận hành trên hệ thống tiên đề của lý thuyết vành và lý thuyết môđun. Giả thiết xuyên suốt: vành $R$ là vành kết hợp có phần tử đơn vị 1 và mọi $R$-môđun $M$ là unita. Tác giả quy ước ký hiệu $M_R$ là môđun phải, $_R M$ là môđun trái; khi không có ghi chú thêm, $R$-môđun được hiểu là $R$-môđun phải.
Các khái niệm và công cụ giải tích cốt lõi được sử dụng đúng nguyên văn:
- Môđun con cốt yếu và đối cốt yếu: Môđun con $N \le M$ là cốt yếu ($N \le_e M$) nếu mọi môđun con $L \ne 0$ của $M$ đều có $N \cap L \ne 0$. Đối ngẫu với nó, $K \le M$ là đối cốt yếu ($K \ll M$) nếu $K + L = M$ kéo theo $L = M$. Đơn cấu $f$ là cốt yếu nếu $Im(f) \le_e M$; toàn cấu $g$ là đối cốt yếu nếu $Ker(g) \ll M$.
- Phần bù và môđun con đóng: $L$ là phần bù của $N$ trong $M$ nếu $L$ tối đại đối với tính chất $N \cap L = 0$. $N$ là đóng trong $M$ nếu $N$ không có mở rộng cốt yếu thực sự trong $M$. Khái niệm phần bù và môđun con đóng trùng nhau.
- Căn và đế: Căn $rad(M)$ là giao của tất cả các môđun con cực đại của $M$ (hoặc tổng các môđun con đối cốt yếu). $rad(R_R) = rad(_R R) = J(R)$ là căn Jacobson của $R$. Đế $soc(M)$ là tổng của tất cả các môđun con đơn của $M$ (hoặc giao của các môđun con cốt yếu).
- Linh hóa tử: Linh hóa tử phải $r_R(X) = {r \in R \mid xr = 0, \forall x \in X}$; linh hóa tử trái $l_M(A) = {x \in M \mid xa = 0, \forall a \in A}$.
- Điều kiện dây chuyền: Điều kiện dây chuyền tăng (ACC) và giảm (DCC). Môđun Noether (thỏa ACC trên các môđun con); môđun Artin (thỏa DCC trên các môđun con).
- Bao nội xạ và các điều kiện CS: Bao nội xạ $E(M)$ là mở rộng cốt yếu tối đại chứa $M$. Điều kiện $C_1$ (môđun CS / mở rộng): mọi môđun con đều cốt yếu trong một hạng tử trực tiếp. Điều kiện $C_2$: môđun con đẳng cấu với một hạng tử trực tiếp thì bản thân nó là hạng tử trực tiếp. Điều kiện $C_3$: tổng trực tiếp của hai hạng tử trực tiếp có giao bằng 0 là một hạng tử trực tiếp. Môđun liên tục ($C_1 + C_2$), môđun tựa liên tục ($C_1 + C_3$).
- Chiều Goldie: Môđun đều (uniform module) là môđun khác không mà mọi môđun con đều cốt yếu. Chiều Goldie $udim(M) = n$ nếu bao nội xạ $E(M)$ phân tích thành tổng trực tiếp của $n$ môđun con đều. Vành Goldie phải là vành có $udim(R_R) < \infty$ và thỏa mãn ACC trên các linh hóa tử phải.
- Môđun suy biến: $Z(M) = {m \in M \mid r_R(m) \le_e R_R}$. $M$ là suy biến nếu $Z(M) = M$, không suy biến nếu $Z(M) = 0$.
- Các lớp vành liên quan: Vành chính quy von Neumann ($a = axa$); vành chính quy mạnh ($a = a^2 b$); vành hoàn chỉnh phải (R/J(R) nửa đơn và J(R) là T-lũy linh phải); vành nửa hoàn chỉnh; vành nửa nguyên sơ; vành Rickart phải ($r_R(x) = eR$ với $e^2 = e$); vành tựa Frobenius (tự nội xạ hai phía và Artin hai phía); vành đơn chuỗi tổng quát.
Phương pháp nghiên cứu thực tế
Luận án sử dụng phương pháp nghiên cứu toán học lý thuyết thuần túy:
- Phương pháp suy diễn tiên đề và lập luận logic: Chứng minh các định lý, mệnh đề, bổ đề thông qua hệ thống định nghĩa và tiên đề chặt chẽ của cấu trúc đại số trừu tượng.
- Phương pháp đồng điều và giải tích ánh xạ: Sử dụng sơ đồ giao hoán, phân tích các mở rộng đồng cấu môđun, xây dựng các phép đơn cấu cốt yếu và toàn cấu đối cốt yếu.
- Phương pháp phân tích tổng trực tiếp: Sử dụng Bổ đề Zorn để chứng minh sự tồn tại của các họ độc lập cực đại, các hạng tử trực tiếp địa phương, và phân tích các môđun thành tổng trực tiếp các thành phần trực giao, thành phần đều hoặc thành phần không chính phương.
- Kỹ thuật linh hóa tử và nâng lũy đẳng: Sử dụng các điều kiện dây chuyền trên các linh hóa tử phải để kiểm soát tính hữu hạn chiều, kết hợp việc nâng lũy đẳng modulo căn Jacobson hoặc các iđean linh để xác định cấu trúc nửa hoàn chỉnh.
Luận án hoàn toàn không sử dụng dữ liệu thực nghiệm, không tiến hành khảo sát số lượng, không có p-value hay phân tích thống kê, và không sử dụng phần mềm mô phỏng. Toàn bộ nguồn tư liệu nghiên cứu là các văn bản toán học chuyên khảo, bài báo khoa học xuất bản trên các tạp chí quốc tế và các kỷ yếu hội nghị chuyên ngành đại số.
Nội dung chính theo từng chương
Chương 1: Kiến thức chuẩn bị
Chương 1 đóng vai trò hệ thống hóa các định nghĩa, ký hiệu và tính chất nền tảng được dùng xuyên suốt toàn bộ luận án, đảm bảo tính nhất quán cho các lập luận ở Chương 2 và Chương 3. Nội dung chia thành 4 tiểu mục:
- Mục 1.1: Một số khái niệm và tính chất: Trình bày cấu trúc vành kết hợp có đơn vị và môđun unita; định nghĩa môđun con cốt yếu ($N \le_e M$), đối cốt yếu ($K \ll M$), môđun con phần bù và môđun con đóng. Trình bày chi tiết căn $rad(M)$, căn Jacobson $J(R)$, đế $soc(M)$, phần tử lũy đẳng ($e^2 = e$), lũy đẳng nửa tâm trái, linh hóa tử phải $r_R(X)$ và linh hóa tử trái $l_M(A)$. Giới thiệu các điều kiện dây chuyền ACC, DCC và định nghĩa vành Noether, vành Artin.
- Mục 1.2: Môđun nội xạ và các mở rộng của nó: Trình bày định nghĩa môđun $U$ là $M$-nội xạ; Tiêu chuẩn Baer cho tính nội xạ của $M_R$; kết quả của Bass - Papp: tính nội xạ của tổng trực tiếp bất kỳ các môđun nội xạ tương đương với điều kiện vành cơ sở $R$ là Noether phải. Định nghĩa bao nội xạ $E(M)$, tính duy nhất sai khác một đẳng cấu. Hệ thống hóa các điều kiện $C_1, C_2, C_3$, môđun liên tục, môđun tựa liên tục, môđun giả nội xạ, và vành tựa Frobenius (QF-vành) cùng các đặc trưng kinh điển của Nakayama, Ikeda và Faith.
- Mục 1.3: Một số lớp vành liên quan: Khảo sát vành chính quy von Neumann, chứng minh $J(R) = 0$ và tính chất mọi iđean phải/trái xyclic hoặc hữu hạn sinh đều là hạng tử trực tiếp. Trình bày kết quả kinh điển của Utumi, Faith và Osofsky: với $M$ tựa nội xạ thì $End(M)/J(End(M))$ là vành chính quy von Neumann tự nội xạ phải. Khảo sát vành không suy biến ($Z(M) = 0$), vành đơn chuỗi tổng quát, vành nửa Artin, khái niệm phần tử lũy linh, iđean linh, $T$-lũy linh trái/phải và tính chất nâng lũy đẳng modulo một iđean. Định nghĩa và phân loại vành hoàn chỉnh, nửa hoàn chỉnh, nửa nguyên sơ.
- Mục 1.4: Chiều Goldie và vành Goldie: Định nghĩa môđun đều (uniform module), chiều Goldie $udim(M)$ thông qua số hạng tử đều trong phân tích bao nội xạ $E(M)$. Định nghĩa vành Goldie phải ($udim(R_R) < \infty$ và thỏa ACC trên các linh hóa tử phải). Khảo sát tính chất của phần tử không là ước của không, môđun xoắn $t(M)$ trên vành Goldie phải nửa nguyên tố và mối quan hệ giữa iđean cốt yếu với phần tử chính quy.
Chương 2: Môđun bất biến đẳng cấu và các vành liên quan
Chương 2 tập trung khảo sát các tính chất chuyên sâu của môđun bất biến đẳng cấu, cấu trúc vành các tự đồng cấu của chúng, hành vi của môđun bất biến đẳng cấu trên vành Goldie, và các đặc trưng làm yếu điều kiện cho vành tựa Frobenius.
-
Mục 2.1: Định nghĩa và các tính chất của môđun bất biến đẳng cấu:
- Phân tích định nghĩa của Lee và Zhou: $M$ là bất biến đẳng cấu nếu $\varphi(M) \le M$ với mọi tự đẳng cấu $\varphi \in Aut(E(M))$. Nhắc lại Định lý 2.3: $M$ bất biến đẳng cấu tương đương với việc mọi đẳng cấu giữa hai môđun con cốt yếu của $M$ đều mở rộng được thành một tự đồng cấu (hoặc tự đẳng cấu) của $M$.
- Khẳng định kết quả của Er, Singh và Srivastava: lớp môđun bất biến đẳng cấu trùng với lớp môđun giả nội xạ, và do đó mọi môđun bất biến đẳng cấu đều thỏa mãn điều kiện $C_2$. Khẳng định kết quả của Guil Asensio và Srivastava: $End(M)/J(End(M))$ là vành chính quy von Neumann và các lũy đẳng nâng được modulo $J(End(M))$. Hệ quả: nếu $R$ là vành bất biến đẳng cấu phải thì $R/J(R)$ là chính quy von Neumann và $J(R) = Z(R_R)$.
- Trình bày định lý phân tích: $M = X \oplus Y$ trong đó $X$ là tựa nội xạ, $Y$ là không chính phương và $X, Y$ nội xạ tương hỗ.
- Khảo sát điều kiện dây chuyền: Nếu $R$ là vành bất biến đẳng cấu phải và mọi dãy vô hạn $a_1, a_2, \dots$ đều có dãy $r_R(a_1) \le r_R(a_2 a_1) \le \dots$ dừng thì $R$ là vành hoàn chỉnh phải. Nếu $R$ Noether phải và bất biến đẳng cấu phải thì $R$ là vành Artin phải. Nếu $R$ bất biến đẳng cấu phải và $R/soc(R_R)$ thỏa ACC trên linh hóa tử phải thì $J(R)$ lũy linh.
-
Mục 2.2: Vành các tự đồng cấu của môđun bất biến đẳng cấu:
- Thiết lập công cụ: Cho $S = End(M)$, với mỗi môđun con $U \le M$, đặt $A_U = {s \in S \mid Ker(s) \cap U \ne 0}$. Tác giả chứng minh $A_U$ là một iđean trái của $S$. Nếu $u$ là phần tử đều của $M$ (tức $uR$ là môđun con đều), ký hiệu $A_{uR} = A_u$. Bổ đề 2.4 chứng minh $A_u$ là iđean trái cực đại duy nhất của $S$ chứa linh hóa tử trái $l_S(u)$.
- Định lý 2.7: Nếu $M$ là $R$-môđun phải bất biến đẳng cấu với chiều Goldie hữu hạn và $S = End(M)$ thì:
- Mọi iđean trái cực đại của $S$ đều có dạng $A_u$ với $u$ là một phần tử đều nào đó của $M$.
- $S = End(M)$ là vành nửa hoàn chỉnh.
- Hệ quả 2.8: Nếu $R$ là vành bất biến đẳng cấu phải với chiều Goldie hữu hạn thì mọi iđean trái cực đại của $R$ có dạng $A_u$ với $u$ là phần tử đều của $R$, và $R$ là vành nửa hoàn chỉnh.
- Tính đối xứng của tính chất Rickart (Định lý / Mệnh đề 2.11): Cho $R$ là vành bất biến đẳng cấu phải. Khi đó:
- Nếu $aR$ là xạ ảnh ($a \in R$) thì $Ra$ là xạ ảnh như một iđean trái của $R$.
- Nếu $R$ là vành Rickart phải thì $R$ là vành Rickart trái.
-
Mục 2.3: Môđun bất biến đẳng cấu trên vành Goldie:
- Đưa ra ví dụ chỉ rõ môđun bất biến đẳng cấu nói chung không phải là môđun tựa nội xạ (Ví dụ 2.1).
- Khẳng định trên vành Goldie phải nửa nguyên tố: môđun con suy biến $Z(M)$ trùng với môđun con xoắn $t(M)$ và $Z(M)$ là môđun con đóng của $M$.
- Định lý 2.17 (trong text đánh số 2.7 tại trang 43): Cho $R$ là vành Goldie phải nguyên tố và $M$ là $R$-môđun phải thỏa mãn $udim(M/Z(M)) > 1$. Khi đó, $M$ là môđun bất biến đẳng cấu khi và chỉ khi $M$ là môđun nội xạ.
- Mở rộng sang vành đơn chuỗi tổng quát (Định lý 2.18): $M$ bất biến đẳng cấu khi và chỉ khi $M$ tựa nội xạ.
- Trên vành Noether nguyên tố di truyền phải bị chặn: Định lý 2.20 chỉ ra với môđun xoắn $M$, tính bất biến đẳng cấu tương đương với tính tựa nội xạ. Hệ quả 2.21: Nếu $R$ là vành Noether nguyên tố di truyền phải bị chặn và $udim(M/Z(M)) \ne 1$ thì $M$ bất biến đẳng cấu khi và chỉ khi $M$ tựa nội xạ.
-
Mục 2.4: Vành tựa Frobenius và vành bất biến đẳng cấu:
- Làm suy yếu điều kiện của C. Faith (thay tính tự nội xạ bằng tính bất biến đẳng cấu).
- Định lý 2.22 (trong text ghi 2.2 tại trang 46): Một vành $R$ là tựa Frobenius khi và chỉ khi $R$ là vành bất biến đẳng cấu phải và thỏa mãn điều kiện ACC trên các linh hóa tử phải sao cho mỗi iđean phải tối tiểu của nó là một linh hóa tử phải.
- Định lý 2.24 (trong text ghi 2.4 tại trang 47): Vành $R$ là tựa Frobenius khi và chỉ khi $R$ là vành bất biến đẳng cấu phải và thỏa mãn điều kiện ACC trên các linh hóa tử phải sao cho mỗi iđean phải tối tiểu của $R$ cốt yếu trong một hạng tử trực tiếp của $R_R$.
- Định lý 2.25 (trong text ghi 2.5 tại trang 47): Một vành $R$ là tựa Frobenius khi và chỉ khi $R$ là vành bất biến đẳng cấu phải, $ef$-mở rộng phải và thỏa mãn điều kiện ACC trên các linh hóa tử phải.
- Hệ quả 2.26: $R$ là vành tựa Frobenius khi và chỉ khi $R$ là vành bất biến đẳng cấu phải, $ef$-mở rộng phải và Noether phải.
Chương 3: Vành mà mỗi iđean phải hữu hạn sinh bất biến đẳng cấu
Chương 3 thiết lập một lớp vành mới và nghiên cứu chi tiết cấu trúc giải tích của lớp vành này:
-
Mục 3.1: Định nghĩa và các tính chất:
- Tác giả định nghĩa: Vành $R$ được gọi là $fa$-vành phải nếu mỗi iđean phải hữu hạn sinh của $R$ là một môđun bất biến đẳng cấu. Khái niệm này mở rộng từ lớp $q$-vành phải (Jain & Singh, 1969), $fq$-vành phải (Ivanov) và $a$-vành phải (Kosan, Quýnh, Srivastava, 2016).
- Trình bày tính chất: Vành giao hoán là $a$-vành khi và chỉ khi nó là vành bất biến đẳng cấu.
-
Mục 3.2: fa-vành phải với chiều Goldie hữu hạn:
- Dựa trên ý tưởng phân tích của Kosan, Quýnh và Srivastava (mỗi $a$-vành phải là tổng trực tiếp của vành nửa đơn chính phương đầy đủ và vành không chính phương), tác giả thiết lập định lý cấu trúc ma trận:
- Định lý 3.9: Một $fa$-vành phải đẳng cấu với vành ma trận tam giác hình thức có dạng: $$\begin{pmatrix} S & 0 \ M & T \end{pmatrix}$$ trong đó $S$ là vành chính quy von Neumann tự nội xạ phải chính phương đầy đủ, $T$ là vành không chính phương phải và $M$ là $T$-$S$-song môđun.
- Mệnh đề 3.10: Thiết lập điều kiện tương đương cho $fa$-vành phải có chiều Goldie phải hữu hạn thông qua các iđean phải cốt yếu và nhóm các phần tử khả nghịch.
-
Mục 3.3: fa-vành phải không suy biến:
- Mệnh đề 3.11: Cho $n > 1$ là số nguyên. Các điều kiện sau đây là tương đương đối với vành không suy biến phải $R$:
- $R$ là vành chính quy von Neumann tự nội xạ phải.
- $M_n(R)$ là $fa$-vành phải.
- $M_n(R)$ bất biến đẳng cấu phải.
- Tính đối xứng trái - phải của $fa$-vành (Định lý 3.17): Mặc dù khái niệm $fa$-vành không có tính đối xứng tổng quát, tác giả chứng minh đối với lớp vành nửa Artin: Một vành là $fa$-vành phải nửa Artin phải không suy biến phải khi và chỉ khi nó là $fa$-vành trái nửa Artin trái không suy biến trái.
- Mệnh đề 3.11: Cho $n > 1$ là số nguyên. Các điều kiện sau đây là tương đương đối với vành không suy biến phải $R$:
Bảng dưới đây tổng hợp các kết quả phân loại và cấu trúc chính được thiết lập trong luận án:
| Đối tượng nghiên cứu | Giả thiết kèm theo | Kết luận cấu trúc / Điều kiện tương đương | Vị trí trong văn bản |
|---|---|---|---|
| Vành tự đồng cấu $End(M)$ của môđun bất biến đẳng cấu | $M$ có chiều Goldie hữu hạn ($udim(M) < \infty$) | Mọi iđean trái cực đại có dạng $A_u$ ($u$ đều); $End(M)$ là vành nửa hoàn chỉnh | Định lý 2.7 |
| Vành bất biến đẳng cấu phải $R$ | $R$ là vành Rickart phải | $R$ là vành Rickart trái; $aR$ xạ ảnh $\Leftrightarrow Ra$ xạ ảnh | Mệnh đề 2.11 |
| Môđun $M$ trên vành Goldie phải nguyên tố | $udim(M/Z(M)) > 1$ | $M$ là môđun bất biến đẳng cấu $\Leftrightarrow M$ là môđun nội xạ | Định lý 2.17 |
| Vành $R$ với điều kiện ACC trên linh hóa tử phải | Mỗi iđean phải tối tiểu là một linh hóa tử phải | $R$ là vành tựa Frobenius (QF) $\Leftrightarrow R$ là vành bất biến đẳng cấu phải | Định lý 2.22 |
| Vành $R$ với điều kiện ACC trên linh hóa tử phải | $R$ là vành $ef$-mở rộng phải | $R$ là vành tựa Frobenius (QF) $\Leftrightarrow R$ là vành bất biến đẳng cấu phải | Định lý 2.25 |
| Lớp $fa$-vành phải $R$ | Không có giả thiết phụ | $R \cong \begin{pmatrix} S & 0 \ M & T \end{pmatrix}$ ($S$ chính quy tự nội xạ chính phương đầy đủ, $T$ không chính phương) | Định lý 3.9 |
| Vành ma trận $M_n(R)$ ($n > 1$) | $R$ không suy biến phải ($Z(R_R) = 0$) | $M_n(R)$ là $fa$-vành phải $\Leftrightarrow M_n(R)$ bất biến đẳng cấu $\Leftrightarrow R$ chính quy von Neumann tự nội xạ phải | Mệnh đề 3.11 |
| $fa$-vành nửa Artin không suy biến | Vành nửa Artin | Tính chất $fa$-vành phải $\Leftrightarrow$ Tính chất $fa$-vành trái (đối xứng hai phía) | Định lý 3.17 |
Kết quả và những đóng góp mới
Luận án tự nêu các đóng góp học thuật mới về mặt lý luận giải tích cấu trúc vành và môđun:
-
Về lý thuyết vành tự đồng cấu:
- Mô tả hoàn chỉnh cấu trúc các iđean trái cực đại của vành các tự đồng cấu $End(M)$ khi $M$ là môđun bất biến đẳng cấu có chiều Goldie hữu hạn: mọi iđean trái cực đại đều được xác định duy nhất dưới dạng $A_u$ sinh bởi một phần tử đều $u \in M$.
- Chứng minh $End(M)$ là vành nửa hoàn chỉnh khi $M$ bất biến đẳng cấu có chiều Goldie hữu hạn, tổng quát hóa kết quả của N. V. Sanh và K. P. Shum (2006) từ môđun tựa $p$-nội xạ sang môđun bất biến đẳng cấu.
-
Về tính đối xứng của vành Rickart:
- Chứng minh tính đối xứng hai phía của tính chất Rickart trên vành bất biến đẳng cấu phải: nếu $R$ là vành bất biến đẳng cấu phải và Rickart phải thì $R$ bắt buộc phải là vành Rickart trái; đồng thời nếu $aR$ là môđun xạ ảnh thì $Ra$ cũng là môđun xạ ảnh.
-
Về tiêu chuẩn trùng khớp giữa tính bất biến đẳng cấu và tính nội xạ:
- Thiết lập điều kiện cần và đủ để một môđun bất biến đẳng cấu trở thành môđun nội xạ trên vành Goldie phải nguyên tố: $udim(M/Z(M)) > 1$.
- Thiết lập tính tương đương giữa môđun bất biến đẳng cấu và môđun tựa nội xạ trên vành Noether nguyên tố di truyền phải bị chặn khi $udim(M/Z(M)) \ne 1$.
-
Về đặc trưng của vành tựa Frobenius (QF):
- Làm suy yếu thành công điều kiện kinh điển của Faith: thay thế hoàn toàn điều kiện tự nội xạ phải bằng tính chất bất biến đẳng cấu phải, kết hợp với điều kiện ACC trên các linh hóa tử phải và điều kiện iđean tối tiểu (hoặc tính $ef$-mở rộng).
-
Về lý thuyết cấu trúc $fa$-vành:
- Giới thiệu khái niệm mới: $fa$-vành phải (vành có mỗi iđean phải hữu hạn sinh là bất biến đẳng cấu).
- Thiết lập định lý cấu trúc ma trận biểu diễn một $fa$-vành phải dưới dạng vành ma trận tam giác hình thức kích thước $2 \times 2$.
- Thiết lập các tiêu chuẩn tương đương của vành ma trận vuông $M_n(R)$ ($n > 1$) trên vành không suy biến phải.
- Chứng minh tính đối xứng trái - phải của $fa$-vành không suy biến trong lớp vành nửa Artin.
Kiến nghị nghiên cứu: Tác giả đề xuất tiếp tục nghiên cứu cấu trúc của lớp $fa$-vành khi dỡ bỏ điều kiện hữu hạn sinh hoặc khảo sát tính chất bất biến đẳng cấu đối với các cấu trúc môđun suy biến phức tạp hơn.
Hạn chế và hướng nghiên cứu tiếp
Dựa trên phạm vi và nội dung được trình bày trong văn bản:
-
Hạn chế:
- Phần lớn các khảo sát về vành bất biến đẳng cấu và $fa$-vành được triển khai từ một phía (chủ yếu là phía phải); tính đối xứng hai phía chỉ mới được khẳng định dưới các điều kiện ràng buộc bổ sung (như vành Rickart hoặc vành nửa Artin không suy biến).
- Các kết quả đặc trưng cấu trúc môđun bất biến đẳng cấu trùng với môđun nội xạ hoặc tựa nội xạ phụ thuộc vào giả thiết chiều Goldie hữu hạn hoặc điều kiện loại trừ số chiều $udim(M/Z(M)) = 1$.
- Cấu trúc $fa$-vành chỉ tập trung vào các iđean hữu hạn sinh; chưa bao quát các iđean sinh vô hạn trong trường hợp vành không thỏa mãn điều kiện Noether.
-
Hướng nghiên cứu tiếp:
- Khảo sát các điều kiện mở rộng để thiết lập tính đối xứng trái - phải của $fa$-vành trên các lớp vành tổng quát hơn lớp vành nửa Artin.
- Nghiên cứu môđun bất biến đẳng cấu trên các lớp vành có chiều Goldie vô hạn hoặc trên các lớp vành suy biến.
- Tìm kiếm các đặc trưng cấu trúc ma trận cho $fa$-vành hai phía không suy biến.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên ngành có giá trị cho:
- Nghiên cứu sinh và học viên cao học: Cung cấp hệ thống kỹ thuật phân tích tổng trực tiếp, phương pháp xử lý linh hóa tử và kỹ thuật sử dụng bao nội xạ trong chuyên ngành Đại số và lý thuyết số.
- Giảng viên và nhà nghiên cứu: Các kết quả về cấu trúc vành tự đồng cấu $End(M)$ (Mục 2.2), đặc trưng vành tựa Frobenius (Mục 2.4) và định lý cấu trúc ma trận tam giác của $fa$-vành (Mục 3.2) có thể sử dụng trực tiếp để phát triển các bài giảng chuyên đề đại số trừu tượng hoặc làm nền tảng mở rộng các bài báo khoa học về lý thuyết vành.
- Nhóm chuyên môn về lý thuyết vành và môđun: Luận án cung cấp các công cụ cụ thể để giải quyết bài toán phân loại cấu trúc vành không giao hoán thông qua iđean hữu hạn sinh.
Câu hỏi thường gặp
-
Mối quan hệ giữa lớp môđun bất biến đẳng cấu và lớp môđun giả nội xạ trong văn bản được giải quyết như thế nào? Theo tổng quan tài liệu và kết quả của N. Er, S. Singh và S. K. Srivastava (2013) được tác giả dẫn lại ở Chương 1 và Chương 2, hai lớp môđun này hoàn toàn trùng nhau. Do đó, mọi môđun bất biến đẳng cấu đều thỏa mãn điều kiện $C_2$ (mọi môđun con đẳng cấu với một hạng tử trực tiếp thì chính là một hạng tử trực tiếp).
-
Vành các tự đồng cấu của môđun bất biến đẳng cấu có cấu trúc iđean trái cực đại như thế nào khi môđun có chiều Goldie hữu hạn? Theo Định lý 2.7, nếu $M$ là môđun bất biến đẳng cấu với chiều Goldie hữu hạn thì mọi iđean trái cực đại của vành $End(M)$ đều có dạng $A_u = {s \in End(M) \mid Ker(s) \cap uR \ne 0}$ với $u$ là một phần tử đều nào đó của $M$. Khi đó, $End(M)$ là một vành nửa hoàn chỉnh.
-
Khi nào một môđun bất biến đẳng cấu trên vành Goldie trở thành môđun nội xạ? Theo Định lý 2.17 (trong văn bản đánh số 2.7 tại Mục 2.3), nếu $R$ là vành Goldie phải nguyên tố và $M$ là $R$-môđun phải thỏa mãn điều kiện $udim(M/Z(M)) > 1$ thì $M$ là môđun bất biến đẳng cấu khi và chỉ khi $M$ là môđun nội xạ.
-
Định lý cấu trúc nào được thiết lập cho lớp fa-vành phải? Theo Định lý 3.9, một $fa$-vành phải luôn đẳng cấu với vành ma trận tam giác hình thức dạng $\begin{pmatrix} S & 0 \ M & T \end{pmatrix}$, trong đó $S$ là vành chính quy von Neumann tự nội xạ phải chính phương đầy đủ, $T$ là vành không chính phương phải và $M$ là một $T$-$S$-song môđun.
-
Điều kiện để vành ma trận $M_n(R)$ ($n > 1$) là fa-vành phải trên vành không suy biến là gì? Theo Mệnh đề 3.11, đối với vành không suy biến phải $R$, vành ma trận $M_n(R)$ ($n > 1$) là $fa$-vành phải khi và chỉ khi $M_n(R)$ là vành bất biến đẳng cấu phải, khi và chỉ khi $R$ là vành chính quy von Neumann tự nội xạ phải.
Kết luận
Luận án tiến sĩ toán học của nghiên cứu sinh Đào Thị Trang đã giải quyết có hệ thống các bài toán cấu trúc đặt ra xung quanh lớp môđun bất biến đẳng cấu và các lớp vành liên quan. Các đóng góp học thuật nổi bật của công trình bao gồm việc mô tả iđean trái cực đại và tính nửa hoàn chỉnh của vành tự đồng cấu $End(M)$, thiết lập tiêu chuẩn nội xạ của môđun trên vành Goldie nguyên tố, làm suy yếu các điều kiện đặc trưng của vành tựa Frobenius, và thiết lập định lý cấu trúc ma trận tam giác hình thức cho lớp $fa$-vành phải. Toàn bộ các kết quả được chứng minh bằng phương pháp diễn dịch đại số thuần túy, làm phong phú thêm lý thuyết mở rộng nội xạ trong chuyên ngành Đại số và lý thuyết số.