Luận án tiến sĩ: Tính đại số và tính hữu hạn chiều trong vành chia

Vành chia D là vành có tính chất đặc biệt. Mọi phần tử khác không đều khả nghịch. Tâm F của vành chia gồm các phần tử giao hoán với mọi phần tử khác. Trường số học F đóng vai trò nền tảng cho không gian vectơ. Chiều đại số [D:F] đo độ lớn của vành chia trên tâm.

Phần tử đại số thỏa mãn đa thức không tầm thường trên trường cơ sở. Bậc đại số là bậc tối thiểu của đa thức đó. Tính đại số bị chặn nghĩa là bậc không vượt quá số d cho trước. Điều kiện này ảnh hưởng trực tiếp đến cấu trúc vành chia.

Mở rộng trường K chứa F tạo nên cấu trúc phân tầng. Vành chia D có thể xem như đại số trên trường K. Mối quan hệ giữa các trường con quyết định tính chất hữu hạn chiều. Đồng cấu vành bảo toàn cấu trúc đại số giữa các mở rộng.

Cho N là nhóm con á chuẩn tắc không nằm trong tâm. Giao hoán tử nhân aba⁻¹b⁻¹ với a thuộc N và b thuộc D*. Nếu tất cả giao hoán tử này đại số bậc không quá d trên F thì [D:F] ≤ d². Điều này giới hạn chiều đại số bởi bình phương của bậc. Chứng minh sử dụng kỹ thuật không gian vectơ và cơ sở vectơ.

Giao hoán tử cộng ac - ca đo độ không giao hoán cộng tính. Với a thuộc N và c thuộc D, nếu bậc đại số không vượt d thì [D:F] ≤ d². Kết quả tương tự giao hoán tử nhân nhưng áp dụng cho phép cộng. Phương pháp chứng minh dựa trên lý thuyết đại số tuyến tính.

Trường con tối đại sinh bởi các giao hoán tử có tính chất đặc biệt. Tính đại số của giao hoán tử ảnh hưởng đến cấu trúc toàn bộ vành chia. Kết quả áp dụng cho các bài toán về đại số hữu hạn chiều. Mở ra hướng nghiên cứu mới về mối liên hệ giữa giao hoán tử và chiều.

Nhóm con á chuẩn tắc N không nằm trong tâm F. Nếu N đại số bậc không quá d trên F thì [D:F] ≤ 8d². Đây là cận trên cụ thể cho chiều đại số. Chứng minh kết hợp lý thuyết nhóm và đại số trên trường. Kết quả mở rộng các định lý trước đó về nhóm con chuẩn tắc.

Giả sử F không đếm được và K là vành chia con chứa F. N là nhóm con chuẩn tắc không trong tâm. N đại số trái trên K khi và chỉ khi D đại số trái trên K. Tính chất đối xứng cũng đúng cho đại số phải. Điều kiện không đếm được là cần thiết cho kết quả này.

Cho K là trường con của D và N nhóm con chuẩn tắc. Nếu N đại số trái bậc không quá d trên K thì [D:F] ≤ d⁸. Cận trên phụ thuộc vào lũy thừa của bậc. Kết quả áp dụng cho cả đại số phải. Chứng minh sử dụng kỹ thuật đếm chiều không gian vectơ.

Vành chia D đại số địa phương nếu mỗi phần tử đại số trên trường con thích hợp. Trường con này sinh bởi số hữu hạn phần tử từ D. Tính chất này yếu hơn đại số trên tâm nhưng mạnh hơn đại số trái. Khái niệm mở ra hướng nghiên cứu mới về cấu trúc vành chia.

Giả sử D đại số địa phương với bậc không vượt d. Khi đó D là vành chia hữu hạn tâm với [D:F] ≤ d². Chứng minh dựa trên phân tích không gian vectơ và cơ sở vectơ. Kết quả cho thấy tính địa phương đủ mạnh để suy ra hữu hạn chiều toàn cục.

Kết quả về đại số địa phương áp dụng cho nhiều lớp vành chia cụ thể. Mở rộng các định lý Cartan-Brauer-Hua và Herstein. Cung cấp công cụ mới để nghiên cứu cấu trúc vành chia. Đặt nền tảng cho các nghiên cứu tiếp theo về mối liên hệ giữa tính địa phương và toàn cục.

Vành chia D xem như không gian vectơ trên tâm F. Chiều của không gian này là [D:F]. Cơ sở vectơ cung cấp biểu diễn cụ thể cho các phần tử. Kỹ thuật đếm chiều dựa trên tính độc lập tuyến tính. Phương pháp này là công cụ chính để chứng minh các cận trên.

Nhóm con chuẩn tắc và á chuẩn tắc có tính chất đại số đặc biệt. Tác động liên hợp bảo toàn cấu trúc nhóm. Giao hoán tử nhân liên quan đến tác động này. Phân tích nhóm thương để đơn giản hóa bài toán. Kết hợp với lý thuyết vành tạo nên kết quả mạnh.

Đồng cấu vành bảo toàn phép cộng và phép nhân. Mở rộng trường tạo nên chuỗi các trường con lồng nhau. Tính đại số truyền qua mở rộng hữu hạn. Công thức nhân cho chiều: [D:F] = [D:K][K:F]. Kỹ thuật này quan trọng trong chứng minh tính hữu hạn chiều.

Thiết lập mối liên hệ giữa tính đại số của giao hoán tử và chiều vành chia. Cả giao hoán tử nhân và cộng đều cho kết quả [D:F] ≤ d². Mở rộng kết quả từ nhóm con chuẩn tắc sang á chuẩn tắc. Ứng dụng vào nghiên cứu trường con tối đại sinh bởi giao hoán tử.

Chứng minh ba định lý chính về nhóm con chuẩn tắc đại số. Cận [D:F] ≤ 8d² cho nhóm á chuẩn tắc đại số bậc d. Điều kiện tương đương cho tính đại số với tâm không đếm được. Cận [D:F] ≤ d⁸ khi nhóm đại số trên trường con bậc d.

Cải thiện các cận trên cho chiều đại số trong các trường hợp đặc biệt. Mở rộng sang các cấu trúc đại số tổng quát hơn vành chia. Nghiên cứu ứng dụng trong lý thuyết biểu diễn và hình học đại số. Phát triển thêm lý thuyết về đại số địa phương và tính chất toàn cục.