All Questions
7 questions with no upvoted or accepted answers
3
votes
0
answers
391
views
Are prime ideals of finite height in the powers series ring in infinitely variables finitely generated?
Let $A:= {\mathbb F}_p[[X_1,...,X_∞]]$ be the infinitely many variables formal power series ring over ${\mathbb F}_p$, which is UFD.
Consider an arbitrary prime ideal $P$ of $A$ such that the height ...
- 781
2
votes
0
answers
100
views
On a certain radical of the formal power series ring $K[[X_1,X_2,\ldots,X_{\infty}]]$
Let $K$ be a field of characteristic $p > 2$ and $A_{\infty} \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be an infinitely-many-variable formal power series ring over $K$ (the symbol $X_{\infty}$ is to ...
- 563
1
vote
0
answers
551
views
An infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$
We shall define a infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$ as follows$\colon$
${\Bbb F}_p[[X_1,\ldots]]\colon= \underset{n \geq 1}{\varprojlim}\, {\Bbb F}_p[[X_1,\...
- 563
1
vote
0
answers
166
views
Popescu-Neron Desingularization for K[[T_1,...,T_∞]]
Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...
- 781
1
vote
0
answers
485
views
On the coherence of formal power series ring
Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum c_{e_1,.....
- 781
1
vote
0
answers
201
views
Number of minimal primes for UFD
Let $R$ be a UFD which is NOT noetherian. It is well-known that $R$
is a Krull ring. Let $I$ be an ideal of $R$ such that the height of $I$
is $d$ which is finite.
Question. Is the number of minimal ...
- 781
0
votes
0
answers
154
views
Determinant of a special matrix in characteristic $p$
Let $K$ be a field of characteristic $p > 0$. Choose $p^i$ numbers of elements $c_1,\ldots,c_{p^i} \in K$ and consider the determinant $D$ of the following matrix$\colon$
\begin{pmatrix}\label{...
- 563