Skip to main content

All Questions

Filter by
Sorted by
Tagged with
17 votes
1 answer
782 views

Injective ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$

Is there an injective $\mathbb{Z}_p$-ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$?
2 votes
0 answers
166 views

Theorem on formal functions when the initial data is a proper map of formal schemes

Let $\pi: X \to S:=\mathrm{Spf}\text{ } A$ be a proper morphism of $\mathbb{Z}_p$-admissible formal schemes and $\mathcal{F}$ be a coherent sheaf on $X$. Set $S_0=\{x\}$ be a closed point of $S$ and $...
4 votes
1 answer
461 views

Coherent modules over complete adic rings: counterexamples

Let $A$ be a coherent ring, complete with respect to the adic topology generated by a finitely generated ideal $I$. Define the category $Coh(A,I)$ whose objects are inverse systems $\{M_n\}$ of $A$-...