Jump to content

Hilbert–Kunz function: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
No edit summary
Line 1: Line 1:
In algebra, the '''Hilbert–Kunz function''' of a local ring (''R'', ''m'') of characteristic ''p'' is the [[function (mathematics)|function]]
In algebra, the '''Hilbert–Kunz function''' of a local ring (''R'', ''m'') of characteristic ''p'' is the [[function (mathematics)|function]]
:<math>f(q) = \operatorname{length}_R(R/m^{[q]})</math>
:<math>f(q) = \operatorname{length}_R(R/m^{[q]})</math>
where <math>m^{[q]}</math> is the ideal generated by the ''q''-th power of elements of the maximal ideal ''m''.
where <math>m^{[q]}</math> is the ideal generated by the ''q''-th power of elements of the maximal ideal ''m''. The notion was introduced by E. Kunz, who used it to characterize [[regular ring]]s as a ring in which a [[Frobenius morphism]] is [[flat module]].


== References ==
== References ==
*Aldo Conca, [http://www.dima.unige.it/%7Econca/Articoli%20Conca%20PDF/PDF%20da%20rivista/%281996%20%29%20Conca%20-%20Hilbert-Kunz%20function%20of%20monomial%20ideals%20and%20binomial%20hypersurfaces.pdf Hilbert-Kunz function of monomial ideals and binomial hypersurfaces]
*Aldo Conca, [http://www.dima.unige.it/%7Econca/Articoli%20Conca%20PDF/PDF%20da%20rivista/%281996%20%29%20Conca%20-%20Hilbert-Kunz%20function%20of%20monomial%20ideals%20and%20binomial%20hypersurfaces.pdf Hilbert-Kunz function of monomial ideals and binomial hypersurfaces]
*E. Kunz, ''On noetherian rings of characteristic p,'' Am. J. Math, 98, (1976), 999–1013. 1


{{algebra-stub}}
{{algebra-stub}}

Revision as of 12:06, 10 July 2014

In algebra, the Hilbert–Kunz function of a local ring (R, m) of characteristic p is the function

where is the ideal generated by the q-th power of elements of the maximal ideal m. The notion was introduced by E. Kunz, who used it to characterize regular rings as a ring in which a Frobenius morphism is flat module.

References