The Ring of Polynomial Functors of Prime Degree

Let $\hat\Z_p$ be the ring of $p$-adic integers. We prove in the present paper that the category of polynomial functors from finitely generated free abelian groups to $\hat \Z_p$-modules of degree at most $p$ is equivalent to the category of finitely generated modules over a particularly well understood ring, called Green order. That this is the case was conjectured by Yuri Drozd.