Questions tagged [local-rings]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
2 answers
408 views

Ideals in Artinian Gorenstein local ring $(R,\mathfrak m)$ with $\mu(\mathfrak m)=2, \mathfrak m^2\ne 0$ and $\mathfrak m^3=0$

Let $(R,\mathfrak m,k)$ be an Artinian Gorenstein local ring such that $$\mu(\mathfrak m)=2, \quad\mathfrak m^2\ne 0,\quad\text{and}\quad \mathfrak m^3=0.$$ Then, is it true that every non-maximal ...
Louis 's user avatar
  • 279
6 votes
0 answers
336 views

Unbounded derived Nakayama lemma

Let $R$ be a (commutative) local ring, which I don't assume to be noetherian. Let $m$ be its maximal ideal, and $k$ its residue field. Let $X$ be a complex of $R$-modules with finitely generated ...
Maxime Ramzi's user avatar
  • 13.3k
1 vote
0 answers
181 views

Is the following local map unramified?

Let $(R,m)$ and $(S,n)$ be two local rings, $R \subseteq S$, $R$ regular, $S$ a finitely generated and flat $R$-algebra, and $mS=n$. In comments to this question it was claimed that in such situation ...
user237522's user avatar
  • 2,783
1 vote
0 answers
111 views

$A \to B$ with $A$ regular imply that $B$ is CM

The answer to this question says the following: "The general statement is if $A \to B$ is finite and injective, and $A$ is noetherian and regular, then $B$ is CM if and only if $A \to B$ is flat. ...
user237522's user avatar
  • 2,783
1 vote
1 answer
223 views

Local rings $R \subsetneq S$ with $R$ regular and $S$ Cohen-Macaulay, non-regular

Let $R \subseteq S$ be local rings with maximal ideals $m_R$ and $m_S$. Assume that: (1) $R$ and $S$ are (Noetherian) integral domains. (2) $\dim(R)=\dim(S) < \infty$, where $\dim$ is the Krull ...
user237522's user avatar
  • 2,783
1 vote
1 answer
243 views

Flat and algebraic (non-integral) local rings extension $R \subseteq S$ with $m_RS=m_S$

Let $R \subseteq S$ be two Noetherian local rings, not necessarily regular, which are integral domains, with $m_RS=m_S$, namely, the ideal in $S$ generated by $m_R$ (= the maximal ideal of $R$) is $...
user237522's user avatar
  • 2,783
6 votes
1 answer
294 views

Hakim's definition of a locally ringed topos

In Hakim's book "Topos annelés et schémas relatifs", Chap. III, Def. 2.3 states that a ringed topos $(X,A)$ is a locally ringed topos when two equivalent conditions are satisfied: (i) For ...
Martin Brandenburg's user avatar
0 votes
1 answer
247 views

Given a unitary commutative ring $R$, what are the rings $R\langle x,y\rangle/(x^2-A,y^2-B,yx-a-bx-cy-dxy)$ called

We are studying the rings $$ R \langle x, \, y \rangle\,\big/\left(x^2-A, \, y^2-B, \, yx-a-bx-cy-dxy \right) $$ Do you know if they have a name?
José María Grau Ribas's user avatar
1 vote
1 answer
145 views

Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?

Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property? The examples of rings not isomorphic to their opposite that I know of are not ...
José María Grau Ribas's user avatar
6 votes
1 answer
197 views

Cohomology of finite $p$-groups over integers in local fields

Let $p$ be a prime, $G$ be a finite group of order $p^a$. Let $M$ be a $\mathbb{Z}[G]$-module. Then $H^n(G, M)$ is annihilated by $p^a$ for all $n \geq 1$ (see e.g. Brown, Corollary III.10.2). In ...
frafour's user avatar
  • 435
5 votes
1 answer
356 views

Kähler differentials on an Artinian local ring

Suppose $R$ is a commutative Artinian local ring over an algebraically closed characteristic 0 field $k$. Suppose $f\in R$ is such that $df=0$ (in the sense that the element $df$ vanishes in the ...
jacob's user avatar
  • 2,814
4 votes
0 answers
236 views

Sections of smooth morphisms over henselian rings

Let $(A,\mathfrak m)$ be a henselian local ring. Let $R$ and $S$ be $A$-algebras of finite type and $f\colon R\to S$ be a smooth morphism. Assume that the induced morphism $R/\mathfrak m R\to S/\...
Roman Fedorov's user avatar
6 votes
1 answer
492 views

Do you know which is the minimal local ring that is not isomorphic to its opposite?

The most popular examples are non-local rings and minimal has 16 elements. I am interested in knowing examples of local rings not isomorphic to their opposite.
José María Grau Ribas's user avatar
1 vote
0 answers
92 views

What would be the quotient groups $U_{\mathrm{gen}}/U_{\mathrm{gen}}^{(n)}$ and $U_{\mathrm{gen}}^{(n)}/U_{\mathrm{gen}}^{(n+1)}$?

Let $K \supseteq \mathbb{Q}_p$ be a $p$-adic field with ring of integer $O$ and maximal ideal $m$. Let $O^*$ be the group of units in $O$. Consider the group of units $U^{(0)}=U=O^*$ and $U^{(n)}=1+m^...
MAS's user avatar
  • 872
2 votes
1 answer
145 views

When can we decompose a multivariable p-adic power series into product of single variable power series?

Is there any known result of decomposing multivariable power series over $p$-adic field into product of single variable power series ? For example, consider the following power series in $n$ variables:...
MAS's user avatar
  • 872
9 votes
2 answers
744 views

Ideal norm in orders

Let $\overline{T}$ be a Dedekind ring such that $\overline{T}/\overline{I}$ is finite for every nonzero ideal $\overline{I}$ of $\overline{T}$. Let $T$ be a subring of $\overline{T}$ with the same ...
AWO's user avatar
  • 328
8 votes
0 answers
216 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 ...
Andrei Jaikin's user avatar
6 votes
2 answers
397 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 ...
The Thin Whistler's user avatar
3 votes
2 answers
330 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 ...
Pierre's user avatar
  • 563
4 votes
1 answer
156 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 ...
André Henriques's user avatar
10 votes
2 answers
961 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 $\...
prochet's user avatar
  • 3,432
0 votes
0 answers
423 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}}...
Lao-tzu's user avatar
  • 1,856
1 vote
0 answers
85 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 ...
b_dobres's user avatar
1 vote
1 answer
201 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},\...
Pierre's user avatar
  • 563
0 votes
0 answers
285 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 ...
Pierre's user avatar
  • 563
1 vote
0 answers
165 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$. ...
user267839's user avatar
  • 5,948
7 votes
1 answer
264 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?
Lisa_K's user avatar
  • 155
-1 votes
1 answer
215 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. $$ ...
Pierre's user avatar
  • 563
3 votes
1 answer
177 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}$ ...
prochet's user avatar
  • 3,432
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,\...
Pierre's user avatar
  • 563
6 votes
0 answers
457 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 ...
Ronald J. Zallman's user avatar
1 vote
0 answers
288 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 \...
Pierre's user avatar
  • 563
1 vote
0 answers
78 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$....
Arrow's user avatar
  • 10.3k
3 votes
1 answer
224 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 $...
user521337's user avatar
  • 1,189
0 votes
1 answer
309 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$ -...
YoYo's user avatar
  • 325
8 votes
1 answer
248 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 ...
Cusp's user avatar
  • 1,703
6 votes
0 answers
234 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 ...
Dmitri Zaitsev's user avatar
-2 votes
2 answers
731 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 ...
user avatar
9 votes
1 answer
429 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 ...
user avatar
5 votes
1 answer
1k 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 ...
user avatar
1 vote
1 answer
439 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 ?
user avatar
5 votes
1 answer
277 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 ...
Artor Waxsess's user avatar
3 votes
2 answers
413 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 ...
Adrien's user avatar
  • 8,234
4 votes
1 answer
301 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)$ ...
user avatar
0 votes
0 answers
52 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 ...
Dmitry Kerner's user avatar
12 votes
3 answers
760 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 ...
Pierre's user avatar
  • 563
4 votes
0 answers
174 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{...
Ben Knudsen's user avatar
1 vote
0 answers
46 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 ...
Cusp's user avatar
  • 1,703
7 votes
1 answer
842 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 ...
Jian's user avatar
  • 496
9 votes
2 answers
683 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 $...
Tran Duc Dung's user avatar