Phân tích sơ cấp

Phân tích sơ cấp biểu diễn một i-đê-an trong một vành Noether dưới dạng một giao hữu hạn các i-đê-an sơ cấp, tổng quát hóa sự phân tích các số nguyên thành các lũy thừa nguyên tố và làm lộ ra các i-đê-an nguyên tố liên kết.

Definition

Phân tích sơ cấp của một i-đê-an là biểu diễn i-đê-an đó dưới dạng một giao hữu hạn các i-đê-an sơ cấp, trong đó một i-đê-an được gọi là sơ cấp nếu một tích nằm trong nó buộc một thừa số phải nằm trong nó hoặc một lũy thừa của thừa số kia phải nằm trong nó; căn của các thành phần này là các i-đê-an nguyên tố liên kết.

Scope

Chủ đề này bao gồm các i-đê-an sơ cấp và căn của chúng, định lý Lasker-Noether về sự tồn tại của các phân tích sơ cấp trong các vành Noether, các phân tích không dư thừa, tính duy nhất của các i-đê-an nguyên tố liên kết và của các thành phần sơ cấp cô lập, cũng như cách giải thích hình học thông qua các thành phần bất khả quy và các i-đê-an nguyên tố nhúng.

Core questions

• I-đê-an sơ cấp là gì, và nó tổng quát hóa một lũy thừa nguyên tố như thế nào?
• Khi nào một i-đê-an chấp nhận một phân tích sơ cấp?
• Những phần nào của một phân tích sơ cấp được xác định duy nhất?
• Các i-đê-an nguyên tố liên kết và nhúng xuất hiện về mặt hình học như thế nào?

Key theories

Định lý Lasker-Noether

Trong một vành Noether, mọi i-đê-an đều là một giao hữu hạn các i-đê-an sơ cấp, do đó phân tích sơ cấp luôn tồn tại, tổng quát hóa sự phân tích duy nhất từ các phần tử sang các i-đê-an.

Tính duy nhất của các i-đê-an nguyên tố liên kết

Mặc dù bản thân các thành phần sơ cấp không phải lúc nào cũng duy nhất, nhưng tập hợp các i-đê-an nguyên tố liên kết (căn của các thành phần) được xác định duy nhất bởi i-đê-an, cũng như các thành phần cho các i-đê-an nguyên tố liên kết tối thiểu.

Giải thích hình học

Các i-đê-an nguyên tố liên kết tối thiểu tương ứng với các thành phần bất khả quy của tập đại số được xác định bởi i-đê-an, trong khi các i-đê-an nguyên tố nhúng ghi lại cấu trúc bổ sung, có chiều thấp hơn như bội số dọc theo các đa tạp con.

Clinical relevance

Phân tích sơ cấp là phép tương tự lý thuyết i-đê-an của phép phân tích và là nền tảng của hình học đại số: nó phân tích một tập đại số thành các thành phần bất khả quy và phát hiện cấu trúc nhúng và bội, đồng thời nó tổ chức các i-đê-an nguyên tố liên kết của một mô-đun được sử dụng rộng rãi trong đại số giao hoán.

History

Emanuel Lasker đã chứng minh phân tích sơ cấp cho các vành đa thức vào năm 1905, và Emmy Noether đã thiết lập nó một cách trừu tượng cho tất cả các vành Noether vào năm 1921, trong bài báo giới thiệu điều kiện chuỗi tăng dần; kết quả này được đặt tên là định lý Lasker-Noether theo tên của họ.

Key figures

• Emanuel Lasker
• Emmy Noether
• Wolfgang Krull

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Phân tích sơ cấp giống như phân tích thừa số nguyên như thế nào?

Viết một số nguyên dưới dạng tích các lũy thừa nguyên tố tương ứng, đối với i-đê-an mà nó sinh ra, với một giao của các i-đê-an sơ cấp có căn là các số nguyên tố. Phân tích sơ cấp mở rộng điều này từ các số nguyên sang các i-đê-an trong bất kỳ vành Noether nào, nơi mà phép phân tích thừa số theo nghĩa đen có thể không thành công.

Phân tích sơ cấp có duy nhất không?

Không hoàn toàn. Tập hợp các i-đê-an nguyên tố liên kết và các thành phần thuộc về các i-đê-an nguyên tố tối thiểu là duy nhất, nhưng các thành phần cho các i-đê-an nguyên tố nhúng có thể được chọn theo những cách khác nhau. Vì vậy, dữ liệu nguyên tố là chính tắc trong khi các thành phần cụ thể thì không.