Perpustakaan Digital ITB

Daerah integral R adalah daerah Dedekind jika dan hanya jika lokalisasi dari R di ideal primnya adalah gelanggang valuasi diskrit. Karakteristik daerah Dedekind ini akan digunakan untuk membuktikan bahwa jika R adalah daerah Dedekind dan f membangun ideal prim dari R[X] yang tidak maksimal maka daerah R[X]= {f} adalah daerah Dedekind jika dan hanya jika f tidak berada di m2 untuk setiap m ideal maksimal dari R[X]: Dalam tulisan ini akan diberikan bukti dari teorema diatas.