All Questions
26 questions
2
votes
1
answer
363
views
Is the completed tensor product (over a complete dvr) of two reduced complete Noetherian local rings again reduced?
To be more specific, Let $\mathcal{O}$ be a finite extension of $\mathbb{Z}_{p}$. Let $A=\mathcal{O}[[X_{1},\ldots, X_{n}]]/\left( f_{1},\ldots,f_{r}\right) $ and $B=\mathcal{O}[[Y_{1},\ldots, Y_{m}]]/...
- 21
4
votes
1
answer
202
views
On presentations of universal rings of deformations
Let $k$ be a finite field of characteristic $p$, and $R$ a complete local noetherian algebra with residue field $k$. It is well known that $R$ has a natural structure of an algebra over the ring Witt ...
- 541
3
votes
0
answers
311
views
Eichler orders in a certain quaternion algebra
Let us consider a totally real number field $K$ such that $[K \colon {\Bbb Q}] = {\mathrm{odd}}$. We shall consider the quaternion algebra $D$ over $K$ such that $D$ splits everywhere at finite places ...
- 781
3
votes
2
answers
338
views
Isomorphism between finite algebras over ${\Bbb Z}_p$
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 ...
- 563
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
1
answer
94
views
Intersection of a certain linear ideals of $K[[X_1,\ldots,X_{np}]]$ for ${\mathrm{ch}}(K) = p > 0$
Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$...
- 563
0
votes
0
answers
287
views
On the product in the power series ring
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 ...
- 563
0
votes
2
answers
244
views
Power series ring and monomials
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a formal power series ring over a field $K$ of characterisc $p > 0$ in $n$ variables.
For a given positive number $\epsilon > 0$ we call a monomial $X_{...
- 563
0
votes
1
answer
149
views
Power series rings and the formal generic fibre
Let $S = K[[S_1,\ldots,S_n]]$ and consider $d$ elements
\begin{equation*}
f_1,\ldots,f_d \in S[[X_1,\ldots,X_d]]
\end{equation*}
and the prime ideal ${\frak P} \colon\!= (f_1,\ldots,f_d)$ generated ...
- 563
1
vote
0
answers
138
views
Power series ring $R[[X_1,\ldots,X_d]]$ over a domain $R$
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,\...
- 563
2
votes
1
answer
251
views
Étale fibration for $K[[X_1,...,X_n]]$
Let us consider a formal power series ring $A_n \colon= K[[X_1,\ldots,X_n]]$ with $0 \ll n < \infty$ and we shall consider a prime ideal ${\frak P}$ of $A_n$ such that $1 < {\mathrm{ht}}({\frak ...
- 563
12
votes
3
answers
790
views
$K[[X_1,...]]$ is a UFD (Nishimura's Theorem)
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 ...
- 563
0
votes
1
answer
343
views
Relative Bertini Theorem
Let
$A \colon= {\Bbb C}[S_1,\ldots,S_n]$ with $1 \leq n < \infty$
$B \colon= A[X_1,\ldots,X_d]$ with $2 \leq d < \infty$.
$O \colon= (0,\ldots,0)$ be the origin of ${\mathrm{Spec}}\,B$.
...
- 563
0
votes
1
answer
353
views
Strange subscheme in ${\mathrm{Spec}} R \times {\Bbb A}^1_{\Bbb C}$
Let ${\Bbb C}[X_1,\ldots,X_n]$ be a $n$-variable polynomial ring over a complex number field ${\Bbb C}$. For its maximal ideal $(X_1,\ldots,X_n)$, we define the geometric regular local ring as
$R \...
- 563
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
- 563
0
votes
0
answers
100
views
Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]
Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation
$(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
- 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
-3
votes
1
answer
963
views
On the maximal ideal m of the formal power series ring [closed]
Let $A \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be the formal power series ring with infinitely many variables over a field $K$. We can represent it also by the following manner$\colon$
\begin{equation*...
- 781
3
votes
0
answers
297
views
Flatness of R[X]/I over R
In the famous paper Simple flat extensions, Journal of Algebra Volume 16, Issue 1, September 1970, p. 105-107, Wolmer V. Vasconcelos proves the following
Theorem (Vasconcelos). For a noetherian ...
- 781
0
votes
1
answer
131
views
Radical of modules [closed]
Let $R$ be a local ring with the unique maximal ideal ${\frak m}_R$ and $M$ be a $R$-module. Define
$I(M) \colon= \cap ~({\mathrm{all~ proper~ maximal ~submodules~ of}}~M)$,
where proper means ...
- 781
0
votes
2
answers
2k
views
Tensor products of two domains
Let $R$ be an integral noetherian regular local ring. Let $S$ be a noetherian integral domain such that $S/R$ is finite.
That is, $R \subset S$ and the surjection $R^{\oplus n} \twoheadrightarrow S$ ...
- 781
1
vote
2
answers
471
views
Prime ideal of $A[X_1,...,X_d]$
Let $A$ be a UFD domain, i.e. integral and for any height one prime
${\frak p}$ of $A$, we have ${\frak p} = (u_{\frak p})$ for some $u_{\frak p} \in A$.
Once and for all, we fix the algebraic ...
- 781
1
vote
0
answers
179
views
Spivakovski-Popescu-Neron desingularisation
For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...
- 781
2
votes
0
answers
658
views
Inverse limit of Noetherian rings
Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...
- 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