pith. sign in

arxiv: 0712.0833 · v1 · submitted 2007-12-05 · 🧮 math.AC

Projective equivalence of ideals in Noetherian integral domains

classification 🧮 math.AC
keywords integraldomainidealdedekindequalexistsextensionfinite
0
0 comments X
read the original abstract

Let I be a nonzero proper ideal in a Noetherian integral domain R. In this paper we establish the existence of a finite separable integral extension domain A of R and a positive integer m such that all the Rees integers of IA are equal to m. Moreover, if R has altitude one, then all the Rees integers of J = Rad(IA) are equal to one and the ideals J^m and IA have the same integral closure. Thus Rad(IA) = J is a projectively full radical ideal that is projectively equivalent to IA. In particular, if R is Dedekind, then there exists a Dedekind domain A having the following properties: (i) A is a finite separable integral extension of R; and (ii) there exists a radical ideal J of A and a positive integer m such that IA = J^m.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.