Hubungan antara Daerah Ideal Utama, Daerah Faktorisasi Tunggal dan Gelanggang Noetherian

Abstract

Setiap daerah ideal utama merupakan daerah faktorisasi tunggal, namun tidak berlaku sebaliknya. Ketidakberlakuan hubungan sebaliknya dari daerah faktorisasi tunggal dan daerah ideal utama dapat ditunjukkan dengan adanya contoh penyangkal. Hubungan ekuivalensi antara daerah ideal utama dan daerah faktorisasi tunggal dapat berlaku jika diberikan syarat cukup pada daerah faktorisasi tunggal. Syarat cukup yang diberikan pada daerah faktorisasi tunggal adalah daerah tersebut merupakan daerah Dedekind. Sedangkan ada juga hubungan antara daerah ideal utama dengan gelanggang Noetherian. Namun, hubungan antara daerah ideal utama dengan gelanggang Noetherian bukan hubungan ekuivalensi. Dalam artikel ini, juga dibahas hubungan daerah faktorisasi tunggal dengan gelanggang Noetherian. Hubungan antara daerah faktorisasi tunggal dan gelanggang Noetherian ini juga tidak berlaku hubungan ekuivalensi.