Discrete valuation rings, partitions and $p$-groups I

Abstract

A finite abelian $p$-group having an automorphism $x$ such that $1+\dots +x^{p-1}=0$, can be viewed as a module over an appropriate discrete valuation ring $\mathcal{O}$ containing ${\mathbb{Z}}_p$ (the ring of $p$-adic integer). This yields the natural problem of comparing the invariants of $A$ as a ${\mathbb{Z}}_p$-module to its invariants as an $\mathcal{O}$-module. We solve the latter problem in a more general context, and give some applications to the structure of some $p$-groups and their automorphisms.