On the Hartshorne-Speiser-Lyubeznik theorem about Artinian modules with a Frobenius action
Authors:
Rodney Y. Sharp
Affiliation:
Department of Pure Mathematics, University of Sheffield, Hicks Building, Sheffield S3 7RH, United Kingdom
Abstract:
Let be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring (associated to and the Frobenius homomorphism , in the indeterminate ) that is both -torsion and Artinian over .