Commutative ring/Positive characteristic/Hilbert-Kunz function/Definition

From Wikiversity
Jump to navigation Jump to search
Hilbert-Kunz function

Let denote a field of positive characteristic , let be a noetherian ring and let be an ideal which is primary to some maximal ideal. Then the Hilbert-Kunz function is the function

where is the extended ideal under the -th iteration of the Frobenius homomorphism