Date of Graduation


Document Type


Degree Name

Doctor of Philosophy in Mathematics (PhD)

Degree Level



Mathematical Sciences


Lance E. Miller

Committee Member

Mark Johnson

Second Committee Member

Paolo Mantero


Commutative Algebra, Invariant Theory


This thesis studies the ring of invariants R^G of a cyclic p-group G acting on k[x_1,\ldots, x_n] where k is a field of characteristic p >0. We consider when R^G is Cohen-Macaulay and give an explicit computation of the depth of R^G. Using representation theory and a result of Nakajima, we demonstrate that R^G is a unique factorization domain and consequently quasi-Gorenstein. We answer the question of when R^G is F-rational and when R^G is F-regular.

We also study the a-invariant for a graded ring S, that is, the maximal graded degree of the top local cohomology module of S. We give an upper bound for the a-invariant of R^G and we show for any subgroup H\leq G, we can bound the a-invariant of R^G by the a-invariant of R^H. We extend this result to more general modular rings of invariants where R^{G'} is quasi-Gorenstein and G' has a normal, cyclic, p-Sylow subgroup.

Given a subgroup H \leq G we consider the natural action of H on R and the associated ring of invariants R^H. When G acts in a particular way, we determine the representation underlying the action of H on R. Building on work of Watanabe and Yoshida, we estimate the Hilbert-Kunz multiplicity of R^G in a way that does not depend on finding explicit generators for R^G.

%, that is, we give an upper bound for the asymptotic growth rate of the colength of Frobenius powers of the homogeneous maximal ideal.

We extend this result to modular rings of invariants for groups G' which have a normal, cyclic, p-Sylow subgroup.

Finally, we also consider computations of the norm of x_4 for a cyclic modular action on k[x_1, \ldots, x_n]. This builds on and extends work of Sezer and Shank.

Included in

Algebra Commons