Skip to main content
1 of 2

Complete subring of F_p[[X]]

Pointed out on famous disbelief, I know now that there is an embedding

$\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$

for any $n \leq \infty$. Then I would like to ask

Q. Is any complete local sub-algebra $\iota_A \colon A \hookrightarrow {\Bbb F}_p[[X]]$ noetherian of Krull dimension $1$?

That is, I guess that complete local ring $A$ having an embedding $\iota \colon A \hookrightarrow {\Bbb F}_p[[X]]$ must be a noetherian local ring of Krull-dimension $1$.