When does LCM-stability ensure flatness at primes of depth one? (Q1093686)

Let R be a noetherian integral domain, K its field of quotients, and \(\bar R\) its integral closure in K. Let M be a torsion-free finite R- module. We say M is LCM-stable if \((aR\cap bR)M=aM\cap bM\) holds for any a,b\(\in R\). Main results: Theorem. Suppose \(\bar R\) is finite over R and M is LCM-stable. Then M is reflexive if and only if \(M_ P\) is flat over \(R_ P\) for every prime ideal P with depth(R\({}_ P)=1.\) Theorem. Assume that \(\bar R\) is finite over R and let A be a finite, locally simple extension ring of R. If A is reflexive and LCM-stable over R, then A is flat over R.