Consider the ring of formal power series $\mathbb{Z}_p[[T]]$ (where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers) with the topology in which a neighborhood basis for $0$ is given by the ideals $I_{n,m} = \left<p^n,T^m\right>$. Is $1+T$ a topological generator for $Z_p[[T]]$ ? Please give a proof/proof idea.$\mathbb{Z}_p[[T]]$ ($Z_{p}$i.e., is $\mathbb{Z}_p[[T]]$ the ring of p-adic integersminimal closed subring containing $1+T$)?
Describe the relevant topology on $\mathbb{Z}_p[[T]]$ and made explicit what is meant by a topological generator.
Post Closed as "Not suitable for this site" by Mikhail Bondarko, GH from MO, Anthony Quas, Will Jagy, S. Carnahan♦