Let $E$ be an elliptic curve over $\mathbb{Q}$ without complex multiplication. Let $p\geq 5$ be a prime in $\mathbb{Q}$ and suppose that $E$ has good ordinary reduction at $p$. We study the dual Selmer group of $E$ over the compositum of the $\text{GL}_{2}$ extension and the anticyclotomic $\mathbb{Z}_{p}$-extension of an imaginary quadratic extension as an Iwasawa module.

For the $(d+1)$-dimensional Lie group $G=\mathbb{Z}_{p}^{\times }\ltimes \mathbb{Z}_{p}^{\oplus d}$, we determine through the use of $p$-power congruences a necessary and sufficient set of conditions whereby a collection of abelian $L$-functions arises from an element in $K_{1}(\mathbb{Z}_{p}\unicode[STIX]{x27E6}G\unicode[STIX]{x27E7})$. If $E$ is a semistable elliptic curve over $\mathbb{Q}$, these abelian $L$-functions already exist; therefore, one can obtain many new families of higher order $p$-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

We define a topological space over the p-adic numbers, in which Euler products and Dirichlet series converge. We then show how the classical Riemann zeta function has a (p-adic) Euler product structure at the negative integers. Finally, as a corollary of these results, we derive a new formula for the non-Archimedean Euler–Mascheroni constant.

The Main Conjecture of Iwasawa theory for an elliptic curve $E$ over $\mathbb{Q}$ and the anticyclotomic $\mathbb{Z}_p$-extension of an imaginary quadratic field $K$ was studied in \cite{bertolini_darmon}, in the case where $p$ is a prime of ordinary reduction for $E$. Analogous results are formulated, and proved, in the case where $p$ is a prime of supersingular reduction. The foundational study of supersingular main conjectures carried out by Perrin-Riou, Pollack, Kurihara, Kobayashi and Iovita and Pollack are required to handle this case in which many of the simplifying features of the ordinary setting break down.

We prove that the p-adic zeta-function constructed by Kubota and Leopoldt has the Dirichlet series expansion Where the convergence of the first summation is for the p-adic topology. The proof of this formula relates the values of p(–s, ω1+σ) for s ∈ Zp, with a branch of the ‘sth-fractional derivative’, of a suitable generating function.