 Eisenstein layers of Lubin–Tate torsion

For $f(X)=\pi X+X^q$ and its iterates $f_n$, the quotientis Eisenstein. A nonzero root of exact level $n$ therefore generates a totally ramified separable extension.