The structure of \(F\)-pure rings (Q2574917): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q186500 |
||
Property / reviewed by | |||
Property / reviewed by: Balwant Singh / rank | |||
Revision as of 22:08, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The structure of \(F\)-pure rings |
scientific article |
Statements
The structure of \(F\)-pure rings (English)
0 references
5 December 2005
0 references
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.\)
0 references