Elliptic curves over a finite field with a specified subgroup and the trace formula

Ihara and Birch obtained a formula expressing the sum of powers of the traces of elliptic curves over a fixed finite field of characteristic $p$ in terms of the traces of Hecke operators for $\mathrm{SL}_2(\mathbb{Z})$. Generalizing the theorems of Ihara and Birch, for a finite abelian group $A$ whose order is coprime to $p$, Kaplan and Petrow gave a formula for statistical description of powers of the traces of elliptic curves which contain subgroups isomorphic to $A$. In this paper, we generalize the theorems of Ihara, Birch, and Kaplan--Petrow to the case where the order of $A$ is divisible by $p$.