The first theorem characterizes
local (Noetherian) domains that have a height one maximal ideal in their
integral closure as those local domains whose maximal ideal M is a prime
divisor (= associated prime) of the integral closure Ia of all nonzero ideals I
contained in large powers of M. The second theorem describes (modulo a mild
assumption) all local domains R that have the following property: for each ideal I
in R and for all large n, all the ideals In and (In)a have the same prime
divisors.