All Questions

Let us define the infinitely-many-variable formal power series ring $$ K[[X_1,\ldots]] \colon= \underset{m \geq 1}{\varprojlim}\,K[[X_1,\ldots,X_m]]. $$ $K[[X_1,\ldots]]$ is known to be a UFD by a ...

Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$ $R$ is a ...

Let $R$ be a domain and \begin{align*} T \,\colon= R[[X_1,\ldots,X_d]]. \end{align*} Suppose that we have $d$ elements $f_1,\ldots,f_d \in T$ and let us consider an ideal $J$ of $T$ such that $(f_1,\...

Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$. Suppose we have two ...