✨Định lý cấu trúc cho các mô đun hữu hạn sinh trên một vành chính

Trong toán học, trong lĩnh vực đại số trừu tượng, định lý cấu trúc cho các mô đun hữu hạn sinh trên một vành chính là một tổng quát hóa của định lý cơ bản của các nhóm abel hữu hạn sinh. Đại khái là các mô đun hữu hạn sinh trên một vành chính có thể được phân tách duy nhất theo cách tương tự như sự phân tách các số nguyên thành các thừa số nguyên tố. Kết quả cung cấp một khuôn khổ đơn giản để hiểu rõ hơn sự tồn tại của các dạng chính tắc khác nhau của các ma trận vuông.

Phát biểu

Định lý cấu trúc cho các mô-đun hữu hạn sinh trên một vành chính thường xuất hiện dưới hai dạng sau.

Phân tách thừa số bất biến

Với mọi mô-đun hữu hạn sinh trên một vành chính , tồn tại một dãy giảm duy nhất các i-đê-an thực sự $(d\_1)\backslash supseteq(d\_2)\backslash supseteq\backslash cdots\backslash supseteq(d\_n)$ sao cho đẳng cấu với tổng trực tiếp của các mô-đun cyclic:

: $M\backslash cong\backslash bigoplus\_i\; R/(d\_i)\; =\; R/(d\_1)\backslash oplus\; R/(d\_2)\backslash oplus\backslash cdots\backslash oplus\; R/(d\_n).$

Các phần tử sinh $d\_i$ là duy nhất xê xích một phép nhân đơn vị.

Phân tách thừa số nguyên sơ

: Mỗi mô-đun M hữu hạn sinh trên một vành chính R đẳng cấu với một mô-đun có dạng :: $\backslash bigoplus\_i\; R/(q\_i)$ : với $(q\_i)\; \backslash neq\; R$ và $(q\_i)$ là các i-đê-an nguyên sơ. Các phần tử sinh $q\_i$ là duy nhất (xê xích một phép nhân đơn vị).