# Questions tagged [local-rings]

The local-rings tag has no usage guidance.

144
questions

**8**

votes

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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?