1: \begin{abstract}

2: For an odd prime $p$, we study the image of a continuous 2-dimensional (pseudo)representation $\rho$ of a profinite group with coefficients in a local pro-$p$ domain $A$. Under mild conditions, Bella\"iche has proved that the image of $\rho$ contains a nontrivial congruence subgroup of $\SL_2(B)$ for a certain subring $B$ of $A$. We prove that the ring $B$ can be slightly enlarged and then described in terms of the {\it conjugate self-twists} of $\rho$, symmetries that naturally constrain its image; hence this new $B$ is optimal. We use this result to recover, and in some cases improve, the known large-image results for Galois representations arising from elliptic and Hilbert modular forms due to Serre, Ribet and Momose, and \nekovar, and $p$-adic Hida or Coleman families of elliptic modular forms due to Hida, Lang, and Conti--Iovita--Tilouine.

3: \end{abstract}

4: