1: \begin{abstract}

2: Seminal works by Birch and Ihara gave formulas for the $m$th power moments of the traces of Frobenius endomorphisms of elliptic curves over $\mathbb{F}_{p}$ for primes $p \geq 5$. Recent works by Kaplan and Petrow generalized these results to the setting of elliptic curves that contain a subgroup isomorphic to a fixed finite abelian group $A$. We revisit these formulas and determine a simple expression for the zeta function $Z_p(A; t)$, the generating function for these $m$th power moments. In particular, we find that

3: \[

4: Z_p(A;t) = \frac{\widehat{Z}_p(A; t)}{\hspace*{-0.3cm}\displaystyle \prod_{a \in \Frob_p(A)}\hspace*{-0.3cm}(1 - at)},\]

5: where $\Frob_p(A) \coloneqq \{ a \, \colon -2\sqrt{p} \leq a \leq 2\sqrt{p}\, \text{ and }  a \equiv p+1 \pmod{|A|}\}$, and $\widehat{Z}_p(A;t)$ is an easily computed polynomial that is determined by the first $\Big\lceil\frac{2\lfloor 2\sqrt{p}\rfloor}{|A|}\Big\rceil$ power moments.

6: These rational zeta functions have two natural applications. We find rational generating functions in weight aspect for traces of Hecke operators on $S_k(\Gamma)$ for various congruence subgroups $\Gamma$. We also prove congruence relations for power moments by making use of known congruences for traces of Hecke operators.

7: 

8: \end{abstract}

9: