The maximal abelian extension contained in a division field of an elliptic curve over $\mathbb{Q}$ with complex multiplication

Let $K$ be an imaginary quadratic field, and let ${\mathcal{O}}_{K,f}$ be an order in $K$ of conductor $f\ge 1$. Let $E$ be an elliptic curve with CM by ${\mathcal{O}}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$, where $j_{K,f}=j(E)$. It has been shown by the author and Lozano-Robledo that $\mathrm{Gal}(\mathbb{Q}(j_{K,f},E[N])\mathrm{/}\mathbb{Q}(j_{K,f}))$ is only abelian for $N=2,3$, and $4$. Let $p$ be a prime and let $n\ge 1$ be an integer. In this article, we bound the commutator subgroups of $\mathrm{Gal}(\mathbb{Q}(E[p^n])\mathrm{/}\mathbb{Q})$ and classify the maximal abelian extensions contained in $\mathbb{Q}(E[p^n])\mathrm{/}\mathbb{Q}$.