Regular local rings essentially of finite type over fields of prime characteristic (Q858740): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.04.024 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2032049294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regularity criterion of Noetherian local rings of prime characteristic. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5540553 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5611879 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3293452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Höhere Derivationen und Regularität. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher differential algebras of discrete valuation rings / rank | |||
Normal rank |
Latest revision as of 12:30, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Regular local rings essentially of finite type over fields of prime characteristic |
scientific article |
Statements
Regular local rings essentially of finite type over fields of prime characteristic (English)
0 references
11 January 2007
0 references
Let \(R\) be a local ring essentially of finite type over a field of characteristic \(p > 0\). We have a necessary and sufficient condition for \(R\) to be regular by using \(p\)-bases if \(R\) is generically reduced. In [J. Algebra 247, No. 1, 219--230 (2002; Zbl 1050.13011)], the authors introduced a new notion: \(p^n\)-bases and characterized the regularity of \(R\) by using \(p^n\)-bases without assuming that \(R\) is generically reduced. That is, \(R\) is regular if and only if there is a \(p^n\)-basis of \(R/R^{p^n}\) for all positive integers \(n\). Unfortunately we must check infinitely many conditions to use this criterion. The main theorem of the present paper is a refinement of this criterion. The authors show that \(R\) is regular if there is a \(p^n\)-basis of \(R/R^{p^n}\) for a sufficiently large \(n\). This paper also contains a refinement of \textit{U. Orbanz}'s criterion [J. Reine Angew. Math. 262/263, 194--204 (1973; Zbl 0309.13003)] of regularity using higher differential algebra.
0 references
\(p^n\)-basis
0 references
\(n\)-admissible
0 references
\(\mathfrak m\)-adic higher differential algebra
0 references
reduced index
0 references