I've been working on the problem of finding the maximal abelian extension of $\mathbb{Q}_5$ that is killed by $5$. In other words, find the abelian extension of $\mathbb{Q}_5$ with Galois group isomorphic to $\mathbb{Q}_5^\times/\mathbb{Q}_5^{\times 5}\simeq C_5\times C_5$. Now
$(\mathbb{Q}_5^\times :\mathbb{Q}_5^{\times 5})=25$
so essentially it's enough to find two disjoint $C_5$ extensions of $\mathbb{Q}_5$ and take their compositum. $C_5$ extensions don't seem too easy to construct, so by the local Kronecker-Weber theorem one could just look for cyclotomic extensions of degree divisible by $5$ and try to identify a subextension of degree $5$.
I've tried to find a good source about cyclotomic extensions of $p$-adics, but this seems to be a topic missing from all field theory books. Books on algebraic number theory seem to omit this topic too and our graduate algebra class didn't cover it either.
Now my intuition would guide me as follows. Working in $\mathbb{Q}$ one would immediately find $\mathbb{Q}(\zeta_{11}+\zeta_{11}^{-1})$ as a cyclic degree $5$ extension. We also have that $[\mathbb{Q}(\zeta_{25}):\mathbb{Q}]=20$, so that $[\mathbb{Q}(\zeta_{25}+\zeta_{25}^{-1}):\mathbb{Q}]=10$ and with $(\zeta_{25}+\zeta_{25}^{-1})^2=\zeta_{25}^2+2+\zeta_{25}^{-2}$ one could expect that setting $\alpha=\zeta_{25}^2+\zeta_{25}^{-2}$, we would have
$[\mathbb{Q}(\zeta_{25}+\zeta_{25}^{-1}):\mathbb{Q}(\alpha)]=2\Rightarrow [\mathbb{Q}(\alpha):\mathbb{Q}]=5$
(Note, I haven't actually checked if this first extension has degree $2$)
Finally, $\mathbb{Q}(\zeta_{25})\cap \mathbb{Q}(\zeta_{11})=\mathbb{Q}$, so we would have that
$\mathbb{Q}(\zeta_{11}+\zeta_{11}^{-1},\alpha)/\mathbb{Q}$
is a $C_5\times C_5$ extension of $\mathbb{Q}$. My question is then that does this work if we replace $\mathbb{Q}$ with $\mathbb{Q}_5$? More specifically:
What would the Euler totient functions look like if defined as the order of the $n^\textrm{th}$ cyclotomic extension of $\mathbb{Q}_p$? If $p-1\mid n$, it would at least have to be different. Is $[\mathbb{Q}_5(\zeta_{25}):\mathbb{Q}_5]=[\mathbb{Q}(\zeta_{25}):\mathbb{Q}]$?
Can we still expect to have e.g. $\mathbb{Q}_p(\zeta_n)\cap \mathbb{Q}_p(\zeta_m)=\mathbb{Q}_p(\zeta_{\gcd(n,m)})$? What about other local fields of characteristic $0$?
I haven't thought about these really at all as I would rather just find a good reference for this topic.