On finite generation of powers of ideals

Following a joint work with Gilmer and Heinzer, we prove that if M is a maximal ideal of an integral domain R such that some power of M is finitely generated, then M is finitely generated under each of the assumptions below: image