Dekomposisi Primer

Dekomposisi primer menyatakan suatu ideal dalam gelanggang Noetherian sebagai irisan berhingga dari ideal-ideal primer, menggeneralisasi faktorisasi bilangan bulat menjadi pangkat prima dan mengungkapkan prima-prima terkait.

Definition

Dekomposisi primer dari suatu ideal adalah ekspresi ideal tersebut sebagai irisan berhingga dari ideal-ideal primer, di mana suatu ideal dikatakan primer jika suatu hasil kali yang berada di dalamnya memaksa salah satu faktor berada di dalamnya atau pangkat dari faktor lainnya berada di dalamnya; radikal dari komponen-komponen ini adalah prima-prima terkait.

Scope

Topik ini mencakup ideal primer dan radikalnya, teorema Lasker-Noether tentang keberadaan dekomposisi primer dalam gelanggang Noetherian, dekomposisi iredundan, keunikan prima-prima terkait dan komponen primer terisolasi, serta interpretasi geometris melalui komponen iredundibel dan prima tertanam.

Core questions

• Apa itu ideal primer, dan bagaimana ideal ini menggeneralisasi pangkat prima?
• Kapan suatu ideal memiliki dekomposisi primer?
• Bagian mana dari dekomposisi primer yang ditentukan secara unik?
• Bagaimana prima terkait dan tertanam muncul secara geometris?

Key theories

Teorema Lasker-Noether

Dalam gelanggang Noetherian, setiap ideal adalah irisan berhingga dari ideal-ideal primer, sehingga dekomposisi primer selalu ada, menggeneralisasi faktorisasi unik dari elemen ke ideal.

Keunikan prima terkait

Meskipun komponen primer itu sendiri tidak selalu unik, himpunan prima terkait (radikal dari komponen) ditentukan secara unik oleh ideal, begitu pula komponen untuk prima terkait minimal.

Interpretasi geometris

Prima terkait minimal berhubungan dengan komponen iredundibel dari himpunan aljabar yang didefinisikan oleh ideal, sementara prima tertanam mencatat struktur tambahan berdimensi lebih rendah seperti multiplisitas sepanjang subvarietas.

Clinical relevance

Dekomposisi primer adalah analogi ideal-teoretis dari faktorisasi dan merupakan dasar bagi geometri aljabar: dekomposisi ini memecah suatu himpunan aljabar menjadi komponen-komponen iredundibel dan mendeteksi struktur tertanam serta berganda, dan mengatur prima-prima terkait dari suatu modul yang digunakan di seluruh aljabar komutatif.

History

Emanuel Lasker membuktikan dekomposisi primer untuk gelanggang polinomial pada tahun 1905, dan Emmy Noether menetapkannya secara abstrak untuk semua gelanggang Noetherian pada tahun 1921, dalam makalah yang memperkenalkan kondisi rantai naik; hasilnya dinamakan teorema Lasker-Noether sesuai nama mereka.

Key figures

• Emanuel Lasker
• Emmy Noether
• Wolfgang Krull

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Bagaimana dekomposisi primer mirip dengan faktorisasi bilangan bulat?

Menulis bilangan bulat sebagai hasil kali pangkat prima berhubungan, untuk ideal yang dihasilkannya, dengan irisan ideal primer yang radikalnya adalah prima. Dekomposisi primer memperluas ini dari bilangan bulat ke ideal dalam gelanggang Noetherian mana pun, di mana faktorisasi literal mungkin gagal.

Apakah dekomposisi primer itu unik?

Tidak sepenuhnya. Himpunan prima terkait dan komponen yang termasuk dalam prima minimal adalah unik, tetapi komponen untuk prima tertanam dapat dipilih dengan cara yang berbeda. Jadi, data prima bersifat kanonik sedangkan komponen spesifik tidak.