Perpustakaan Digital ITB

Tujuan dari penulisan ini adalah untuk membuktikan ekuivalensi dari karakterisasi-karakterisasi daerah herediter. Yaitu ekuivalensi dari Invertible Ideal Domain (IID), Ideal Factorization Domain (IFD), Unique Ideal Factorization Domain (UIFD) berdimensi satu dan daerah Dedekind dengan daerah herediter. Misal A daerah integral. Maka A adalah daerah herediter jika dan hanya jika A adalah IID jika dan hanya jika A adalah IFD jika dan hanya jika A adalah UIFD berdimensi satu jika dan hanya jika A daerah Dedekind.