Let $K$ be a degree $n$ extension of ${\mathbb Q}$ with ring of integers $R$. An order in $K$ is a subring with identity of $R$ which is a ${\mathbb Z}$-module of rank $n$.
Question: Let $p$ be an unramified prime in $K$. Is it true that the number of orders in $R$ of index equal to $p^r$, for some natural number $r$, is less than or equal to the number of subrings with identity of ${\mathbb Z}^n$ of index equal to $p^r$?
Nathan Kaplan and I need this fact for $n=5$ in a project where we are trying to find asymptotic formulae for the number of orders of bounded index in a given quintic field.
We've been staring at Jos Brakenhoff's thesis for a while, but I haven't gotten anywhere. Any advice will be greatly appreciated. Thanks.