T H E M A X I M A L I D E A L O F L O C A L I Z A T I O N O F R I N G P O L Y N O M I A L O V ER D E D E K I N D D O M A IN

Abstract

Let i? be a Dedekind domain with infinitely many primes and {/) C R[X] a principal prime ideal which is not maximal. Let m be a maximal ideal of R[X] and n be a maximal ideal of R[X]/ (/). Then localization of R[X]/(/) at n is principal if and only if there exist t in such that mi?[X]ni =