Finite layers of a $\mathbb{Z}_p$-extension: unique $K_n$ with $[K_n:K]=p^n$, cyclic Galois

Initializing...

Finite layers of a $\mathbb{Z}_p$-extension: unique $K_n$ with $[K_n:K]=p^n$, cyclic Galois · Prove2Me