Teorema Struktur untuk Modul yang Dihasilkan Secara Hingga

Teorema struktur mengklasifikasikan modul yang dihasilkan secara hingga di atas domain ideal utama sebagai jumlah langsung dari bagian bebas dan bagian torsi siklik, menyatukan klasifikasi grup abelian dan bentuk kanonik matriks.

Definition

Teorema struktur menyatakan bahwa setiap modul yang dihasilkan secara hingga di atas domain ideal utama isomorfik terhadap jumlah langsung dari modul bebas berperingkat hingga dan modul torsi siklik yang jumlahnya hingga, dengan invarian (faktor invarian atau pembagi elementer) yang menentukannya hingga isomorfisme.

Scope

Topik ini mencakup dekomposisi modul yang dihasilkan secara hingga di atas domain ideal utama menjadi faktor invarian dan pembagi elementer, keunikan invarian ini, peringkat bebas dan submodul torsi, serta dua aplikasi utama pada grup abelian hingga dan bentuk kanonik operator linear.

Core questions

• Bagaimana modul yang dihasilkan secara hingga di atas domain ideal utama terdekomposisi?
• Invarian apa yang mengklasifikasikan modul tersebut hingga isomorfisme?
• Bagaimana teorema ini memulihkan klasifikasi grup abelian hingga?
• Bagaimana teorema ini menghasilkan bentuk kanonik rasional dan Jordan?

Key theories

Dekomposisi faktor invarian

Modul yang dihasilkan secara hingga di atas domain ideal utama adalah jumlah langsung dari gelanggang itu sendiri beberapa kali dan hasil bagi siklik oleh rantai faktor invarian yang membagi, yang unik dan menentukan modul.

Dekomposisi pembagi elementer

Memurnikan faktor invarian menjadi pangkat prima menghasilkan bentuk pembagi elementer, dekomposisi ekuivalen menjadi modul siklik berorde pangkat prima yang juga merupakan invarian isomorfisme lengkap.

Aplikasi pada grup abelian dan operator

Di atas bilangan bulat, teorema ini mengklasifikasikan grup abelian yang dihasilkan secara hingga, dan di atas gelanggang polinomial dalam satu variabel, teorema ini mengklasifikasikan operator linear, menghasilkan bentuk kanonik rasional dan Jordan.

Clinical relevance

Teorema struktur adalah salah satu hasil klasifikasi paling konsekuensial dalam aljabar: satu pernyataan menghasilkan teorema fundamental grup abelian yang dihasilkan secara hingga dan teori bentuk kanonik operator linear, alat yang digunakan di seluruh topologi, teori bilangan, dan aljabar linear terapan.

History

Hasil ini menggeneralisasi klasifikasi grup abelian hingga abad kesembilan belas oleh Kronecker dan bentuk normal Smith untuk matriks bilangan bulat. Dirumuskan kembali dalam bahasa teori modul oleh Emmy Noether dan sekolahnya, teorema ini menyatukan teorema klasik ini dengan bentuk kanonik Weierstrass dan Jordan.

Key figures

• Emmy Noether
• Karl Weierstrass
• Henry John Stephen Smith
• Leopold Kronecker

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Mengapa teorema ini membutuhkan domain ideal utama?

Pembuktiannya bergantung pada bentuk normal Smith untuk matriks di atas gelanggang, yang bergantung pada setiap ideal yang bersifat utama sehingga pasangan elemen memiliki pembagi persekutuan terbesar. Di atas gelanggang yang lebih umum, dekomposisi yang bersih gagal.

Bagaimana satu teorema dapat memberikan grup abelian dan bentuk kanonik?

Baik bilangan bulat maupun gelanggang polinomial satu variabel di atas medan adalah domain ideal utama. Menerapkan teorema ini di atas bilangan bulat mengklasifikasikan grup abelian, sementara menerapkannya di atas gelanggang polinomial, di mana ruang vektor dengan operator adalah modul, memberikan bentuk kanonik.