Skip to main content
Describe the relevant topology on $\mathbb{Z}_p[[T]]$ and made explicit what is meant by a topological generator.
Source Link

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$)?

Is $1+T$ a topological generator for $Z_p[[T]]$ ? Please give a proof/proof idea. ($Z_{p}$ is the ring of p-adic integers)

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 $\mathbb{Z}_p[[T]]$ (i.e., is $\mathbb{Z}_p[[T]]$ the minimal closed subring containing $1+T$)?

Post Closed as "Not suitable for this site" by Mikhail Bondarko, GH from MO, Anthony Quas, Will Jagy, S. Carnahan
Source Link

Is $1+T$ a topological generator for $Z_{p}[[T]]$?

Is $1+T$ a topological generator for $Z_p[[T]]$ ? Please give a proof/proof idea. ($Z_{p}$ is the ring of p-adic integers)