Questions tagged [local-rings]
The local-rings tag has no usage guidance.
144
questions
8
votes
0answers
158 views
Finitely generated commutative rings with the same profinite completion
Let $R_1$ and $R_2$ be two finitely generated commutative rings. Assume that their profinite completions are isomorphic: $\widehat{R_1}\cong \widehat{R_2}$.
Suppose that $R_1$ is a domain. Does ...
6
votes
2answers
260 views
Does the category of local rings with residue field $F$ have an initial object?
Let $F$ be a field. Does the category $C_F$ of local rings $R$ equipped with a surjective morphism $R\longrightarrow F$ have an initial object?
This is, for instance, true if $F=\mathbb{F}_{p}$ for ...
3
votes
2answers
291 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 ...
4
votes
1answer
124 views
injective hulls in mixed characteristic
Let $R=\underleftarrow\lim (R/\mathfrak m^i)$ be a complete local ring, with residue field $k=R/\mathfrak m$,
and let's assume that $R$ is Noetherian.
If $R$ is a $k$-algebra, then
I believe that ...
10
votes
2answers
372 views
Krull dimension of a local ring and completion
Let $A$ be a local ring (not noetherian) of finite Krull dimension such that its maximal ideal $\mathfrak{m}$ is of finite type.
Let $\hat{A}$ be its $\mathfrak{m}$-adic completion.
Do we have that $\...
0
votes
0answers
192 views
A question about strict henselian local rings
Let $f: X\to Y$ be a finite morphism of schemes, let $y\in Y, Y(\bar{y}):={\rm Spec}(\mathscr{O}_{Y, \bar{y}}), X_{\bar{y}}:=X\times_Y{\rm Spec}(\kappa_y^s)=X_y\otimes_{\kappa_y}\kappa_y^s, X({\bar{y}}...
1
vote
0answers
31 views
Generators for Ideals in ring of multivariate Laurent Polynomials
Consider the following problem:
Find an ideal $I \subset \mathbb{Q}[x^{\pm}_1,x^{\pm}_2,x^{\pm}_3]$ such that $I_{aff} \subset \mathbb{Q}[x_1, x_2, x_3] = I \cap k[x_1, x_2, x_3]$ requires more ...
1
vote
1answer
161 views
Power series ring $\Theta[[X_1,\ldots,X_d]]$ and prime ideals
Let $\Theta$ be a domain. We shall choose $d$ elements $\theta_1,\ldots,\theta_d \in \Theta$ such that any chosen $j$ elements $\theta_{i_1},\ldots,\theta_{i_j}$ form a prime ideal $(\theta_{i_1},\...
0
votes
0answers
263 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 ...
2
votes
0answers
142 views
Structure of Complete Local Rings
Let $X$ be a proper $n$-dimensional $k$-scheme and $x \in X$ a closed point. Consider the stalk $\mathcal{O}_{X,x}$. We consider now it's completion $O_{X,x}^{\wedge}$ wrt it's maximal ideal $m_x$.
...
7
votes
1answer
228 views
Additive group of local rings
Is there a theory or characterization for those finite $p$-groups that can be considered as the additive group of a finite local commutative ring with identity?
0
votes
1answer
115 views
Finite extension of $K[[X]]$ and the norm
Let $R \colon= K[[X]]$ be a formal power series ring over a field $K$. We consider a monic polynomial $f(T) \in R[T]$ as follows$\colon$
$$
f(T) = T^e + c_{e-1}T^{e-1} + \ldots + c_1T + c_0.
$$
...
3
votes
1answer
143 views
Complete local rings, automorphisms and approximation
Consider two local morphisms $f,g: B\rightarrow A$ of noetherian complete local rings and $f$ surjective.
Does there exist an integer $n\in\mathbb{N}$, such that if $f=g \mod \mathfrak{m}_{A}^{n}$ ...
1
vote
0answers
132 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,\...
4
votes
0answers
242 views
The Zariski Riemann Space, but with Local Rings
The Zariski Riemann space, while an abandoned approach, has lead to later developments and generalizations, including $\text{Spv}$ (the space of valuations) and Huber's work. In studying it, I would ...
1
vote
0answers
178 views
Primes of the power series rings
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring. By setting $X_n \mapsto 0$, we obtain a natural surjection
\begin{equation*}
\psi_{n,n-1} \colon A_n \...
1
vote
0answers
68 views
Relation between lifts of simple roots and lifts of idempotents (Henselian property)
Let $f:A\to B$ be a morphism of commutative rings. Given a monic $\varphi\in A[x]$ write $Z(A,\varphi)$ for the set of simple roots of $\varphi$ in $A$. Consider the following properties of $f:A\to B$....
3
votes
1answer
147 views
commutative ring satisfying descending chain condition on radical ideals
Let $R$ be a commutative ring with unity which satisfies d.c.c. on radical ideals. then does $R$ satisfy a.c.c. on radical ideals ? If this is not true in general, then what happens if we also assume $...
0
votes
1answer
150 views
Under which conditions on the homogeneous ideal $ I $, the quotient ring $ \mathbb{C} [X_0, \dots, X_n]/I $ is a regular ring?
If $ I $ is a homogeneous ideal of the ring of homogeneous polynomials $ \mathbb {C} [X_0, \dots, X_n] $ , under which conditions on the homogeneous ideal $ I $, and particularly on $ I_m $, the $m$ -...
8
votes
1answer
230 views
Minimal resolution of local cohomology module
Let $(R,\mathfrak m)$ be a Noetherian local ring of dimension $d\geq 1.$ Suppose $\lambda(H_{\mathfrak m}^i(R))<\infty$ for some $0\leq i\leq d-1.$
Question Can we say anything about Betti numbers ...
6
votes
0answers
198 views
Bezout theorem for germs of holomorphic functions
UPDATE.
It was pointed out by @Dmitri that two smooth curves given by $f=y$ and $g=y+x^k$ in $\mathbb C^2$ provide a simple counterexample.
Let $f_1, \ldots, f_p, g_1, \ldots, g_q$ be germs of ...
-2
votes
2answers
499 views
Reduced ring with all non-prime ideals finitely generated
Let $R$ be a reduced ring with all non-prime ideals finitely generated. Then is $R$ Noetherian ? If not, then is it true at least in the local case ?
Without reduced assumption, it is not true even ...
9
votes
1answer
360 views
Rings with all non-prime ideals finitely generated
Motivated by this question, I would like to ask:
If all non-prime ideals in a ring are finitely generated, then is the ring Noetherian? Can we at least say anything in the local case?
Note that ...
5
votes
1answer
831 views
local ring all whose non-maximal ideals are finitely generated
Let $(R, \mathfrak m)$ be a commutative local ring such that every non-maximal ideal is finitely generated. Then, is $R$ Noetherian i.e. is $\mathfrak m$ finitely generated ideal ?
It is easy to see ...
1
vote
1answer
260 views
Valuation ring whose maximal ideal and every ideal of finite height are principal
Let $(R, \mathfrak m)$ be a valuation ring such that $\mathfrak m$ and every ideal of finite height is principal. Then is $R$ Noetherian , i.e. a discrete valuation ring ?
5
votes
1answer
170 views
When is a zero dimensional local ring a chain ring?
A commutative ring with identity is called a chain ring if all its ideals form a chain under inclusion. I want to know is there any proof for the fact that a zero dimensional local ring is a chain ...
2
votes
2answers
169 views
Is a filtered colimit of complete module complete?
This is probably a textbook question but i haven't been able to find a reference. Let $R$ be a complete commutative Noetherian local ring and $I$ its unique maximal ideal (I'm mostly interested in the ...
4
votes
1answer
123 views
Given a non-field local domain $R$, finding a dominating Valuation ring whose residue field is algebraic/finite extension of the residue field of $R$
Let $(R, \mathfrak m)$ be a non-field local domain with fraction field $Q(R)$ . Let $k_{R}:=R/m$.
We know that there is a Valuation ring $(V,\mathfrak m_V)$ such that $R \subseteq V \subsetneq Q(R)$ ...
0
votes
0answers
44 views
a generalization of group (monoid with order-by-order invertible elements)
Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If ...
11
votes
3answers
553 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 ...
4
votes
0answers
165 views
What kind of module is this?
Recall that, if $R$ is a commutative ring, then a suitably finite $R$-module $M$ is projective if and only if the localization $M_\mathfrak{m}$ is a direct sum of finitely many copies of $R_\mathfrak{...
1
vote
0answers
41 views
Integral closure of lexsegment ideal
Let $R=k[x_1,\ldots,x_d]$ where $k$ is a field and $I$ be a lexsegment ideal of $R$ and $l(I)=d$ (where $l(I)$ is analytic spread of $I$).
Is $I$ integrally closed?
If I is generated by elements ...
7
votes
1answer
367 views
indecomposable module over a local ring
I ask this in mathematics for some days.it doesn't have an answer up to now. https://math.stackexchange.com/questions/2565828/indecomposable-module-over-a-local-ring
As we all know, for an arbitrary ...
9
votes
2answers
528 views
The projective covers of Artinian module
The injective hull for a module always exists, however over certain rings modules may not have projective covers. I have a question.
If $A$ is an Artinian module on a Noetherian local ring $R$ then $...
2
votes
0answers
163 views
Local weak factorization
This is a follow-up to question Locally toric resolutions of compactifications, answered by Jason Starr.
In a series of papers (see https://arxiv.org/abs/math/9904076), Jaroslaw Wlodarczyk proves ...
4
votes
2answers
201 views
Canonical module of a semigroup ring
Let $S$ be a numerical semigroup and $k[S]$ is the associated semigroup ring. I would like to compute canonical module $\omega$ of $k[S].$
I want to show that $\omega=k[t^{-n}:n\in\mathbb Z\setminus ...
1
vote
1answer
130 views
Length of a module and Frobenius map
Let $(R,m)$ be a regular local ring of dimension $d$ and char $p>0.$ Let $F^e:R\longrightarrow R$ defined by $r\longrightarrow r^{p^e}$be the Frobenius map.
How to compute $l(R/m^{[p^e]})?.$
I ...
2
votes
0answers
67 views
Analytic spread of an ideal after reduction
Let $(R,m)$ be a local ring and $I$ an ideal in $R.$ Let $l(I):=\dim \bigoplus_{n\geq 0}(I^n/mI^n)$ and $x\in R\setminus I.$
My question is
what is the relation between $l(I)$ anf $l(I+(x)/(x))?$
1
vote
0answers
186 views
Is it true that the functor of completion of a module over a local ring is injective on isomorphism classes?
Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely ...
1
vote
1answer
166 views
Localization of a maximal Cohen-Macaulay module
Let $(R,m)$ be a Cohen-Macaulay local ring of dimension $d\geq 2$ and $M$ an module with depth$M=d.$
Is there any example of $M$ such that
$(1)$ $M_p$ is not free for some $p\in Ass(R)$ and
$(2)$...
0
votes
1answer
90 views
Adic filtration and integral closure
Let $(R,m)$ be a Noetherian local domain whose integral closure $S$ is too. Also assume that $S$ is module-finite over $R$.
Let $x\in m^k\setminus m^{k+1}$ and $u\in S^\times$ such that $ux \in R$. ...
1
vote
0answers
191 views
Meaning of the statement “$a\in I$ is a general element of $I$”
Suppose $I$ is an ideal in a Noetherian local ring $(R,m)$. In some papers I have seen the following statement:
"$a\in I$ is a general element of $I$".
What is the definition of general element ...
0
votes
1answer
59 views
A question on infinite local rings which are not division ring
Is it true that if $(R,m)$ is a (not necessary commutative) local ring then $R$ and $m$ have the same cardinal ? (Exclude TWO trivial cases: when $R$ is finite and when $R$ is a division ring)
On ...
1
vote
0answers
225 views
Analytic spread of an ideal
How to calculate analytic spread of the ideal $I=\left<xyw^2,xyz^2,xw^2+yz^2\right>$ in $\mathbb Q[x,y,z,w]?$
I think it is 3.
0
votes
1answer
212 views
Analytic spread of localization of an ideal
Let $J$ be an ideal in a Noetherian local ring $(R,m)$. It is well known that for any prime ideal $p\in Spec(R)$, $l(J_p)\leq l(J)$, where $l(J)$ is the analytic spread of $J$.
Q) Are there ...
5
votes
1answer
383 views
how to pass from algebraic power series to the analytic ones
Fix a field of zero characteristic, $k$, e.g. $\Bbb{R}$ or $\Bbb{C}$. Suppose $k$ is normed (and complete for its norm). Consider the ring extensions: $k[x_1,..,x_n]\subset \ k<x_1,..,x_n> \ \...
1
vote
0answers
108 views
Asymptotic stability of prime divisors
Suppose $I$ is an ideal in a formally equidimensional local ring $R.$ Let $A(I)$ and $\overline A(I)$ denote Ass$R/I^n$ and Ass$R/\overline{I^n}$ for all large $n$ respectively.
My question is
What ...
0
votes
1answer
138 views
Behaviour of length function under faithfully flat extension
Let $(R,m)$ and $(S,n)$ be local Noetherian rings such that $S$ is a faithfully flat extension of $R$. Let $J\subsetneq I $ ideals of $R$.
Can we relate $l_R(I/J)$ and $l_S(IS/JS)$?
PS: Here $l(-)$ ...
1
vote
0answers
128 views
Intersections of Noetherian regular local rings of finite Krull dimensions
Let us consider Noetherian regular local rings $R_i$ of finite Krull-dimensions for each $i \geq 1$ such that
\begin{equation*}
R_1 \supset R_2 \supset \cdots
\end{equation*}
Suppose each embedding $\...
0
votes
2answers
310 views
Almost complete intersection ideal and $d$-sequence
In a Noetherian local ring $R$, an ideal $I$ is called an almost complete intersection ideal if $\mu(I)=\text{ht}(I)+1$.
Q) Is it true that $I$ is generated by a $d$-sequence?
