The structure of \(F\)-pure rings (Q2574917): Difference between revisions

Let \(R\) be a reduced noetherian local ring of characteristic \(p>0,\) and let \(F:R\rightarrow R\) be the Frobenius homomorphism. Assume that \(R\) is \(F\)-finite, i.e. \(R^{1/p}\) is module finite over \(R.\) Let \(q\) be a power of \(p,\) and write \(R^{1/q}=R^{a_q}\oplus M_q\) so that \(M_q\) has no free direct summands over \(R.\) The authors examine the behaviour of \(a_q\) as \(q\) grows. They apply the results of this study to an investigation of the structure of rings \(R\) which are \(F\)-pure, i.e. rings \(R\) for which \(F\otimes _RM\) is injective for every \(R\)-module \(M.\) As another application, the authors show the existence of a prime ideal \(P\) of \(R\) such that \(R/P\) is strongly \(F\)-regular. Here, \(R\) is strongly \(F\)-regular if for each \(c\in R\) not belonging to any minimal prime of \(R\) there exists a power \(q\) of \(p\) such that the inclusion \(Rc^{1/q}\subseteq R^{1/q}\) splits over \(R.\)