Mô-đun

Mô-đun là một cấu trúc giống không gian vectơ mà các vô hướng của nó đến từ một vành thay vì một trường, là đối tượng trung tâm của lý thuyết mô-đun, thống nhất các nhóm Abel, không gian vectơ và các biểu diễn.

Definition

Mô-đun trên một vành R là một nhóm Abel được trang bị phép nhân vô hướng bởi các phần tử của R, có tính phân phối và kết hợp, và tuân thủ phần tử đơn vị, tổng quát hóa các không gian vectơ sang các hệ số vành.

Scope

Chủ đề này bao gồm định nghĩa mô-đun trên một vành, các mô-đun con và mô-đun thương, các đồng cấu mô-đun, các phần tử sinh và quan hệ, các mô-đun cyclic và hữu hạn sinh, và các định lý đẳng cấu, cùng với các ví dụ cơ bản về nhóm Abel và không gian vectơ như các mô-đun.

Core questions

• Một mô-đun tổng quát hóa không gian vectơ và nhóm Abel như thế nào?
• Mô-đun con, mô-đun thương và đồng cấu mô-đun là gì?
• Một mô-đun được trình bày bởi các phần tử sinh và quan hệ như thế nào?
• Tại sao các mô-đun có thể không có cơ sở?

Key theories

Các mô-đun thống nhất các cấu trúc quen thuộc

Một mô-đun trên một trường là một không gian vectơ và một mô-đun trên các số nguyên là một nhóm Abel, vì vậy lý thuyết mô-đun xử lý các cấu trúc này và các biểu diễn nhóm-vành trong một khuôn khổ duy nhất.

Các định lý đẳng cấu cho mô-đun

Các đồng cấu mô-đun phân tích qua các thương bởi hạt nhân của chúng, và các định lý tương ứng và đẳng cấu được chuyển từ nhóm và vành, tổ chức cấu trúc của các mô-đun con và các thương.

Các phần tử sinh và quan hệ

Mọi mô-đun là một thương của một mô-đun tự do, vì vậy nó được trình bày bởi các phần tử sinh và quan hệ; việc các quan hệ không triệt tiêu chính là điều phân biệt các mô-đun tổng quát với các không gian vectơ.

Clinical relevance

Các mô-đun là ngôn ngữ chung cho nhiều cấu trúc đại số: các i-đê-an và vành thương, các nhóm Abel, các biểu diễn của nhóm và đại số, và các nhóm đồng điều và đối đồng điều của tô-pô đều là các mô-đun, vì vậy lý thuyết mô-đun cung cấp các công cụ áp dụng trong toàn bộ toán học.

History

Khái niệm mô-đun đã tổng quát hóa các mô-đun số đại số của Dedekind và các nhóm Abel của số học thế kỷ XIX, và Emmy Noether đã đặt nó vào trung tâm của đại số vào những năm 1920 bằng cách nhận ra rằng các i-đê-an, các thương và các biểu diễn đều là các mô-đun trên các vành thích hợp.

Key figures

• Emmy Noether
• Richard Dedekind
• Wolfgang Krull

Seminal works

• dummit2004
• lang2002
• atiyah1969

Frequently asked questions

Tại sao mô-đun giống như một không gian vectơ với một vành các vô hướng?

Các tiên đề giống hệt với các tiên đề của một không gian vectơ ngoại trừ việc các vô hướng đến từ một vành thay vì một trường. Bởi vì các phần tử vành không nhất thiết phải khả nghịch, các mô-đun có thể có xoắn và các quan hệ mà không không gian vectơ nào thể hiện.

Những đối tượng quen thuộc nào là mô-đun?

Các nhóm Abel là các mô-đun trên các số nguyên, các không gian vectơ là các mô-đun trên các trường, và các i-đê-an của một vành là các mô-đun trên vành đó. Đây là lý do tại sao một lý thuyết mô-đun duy nhất có thể giải quyết nhiều thiết lập đại số cùng một lúc.