Questions tagged [local-rings]

The tag has no usage guidance.

61 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
9 votes
0 answers
316 views

When is $\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\mathfrak{a}$?

Suppose $(R,\mathfrak{m})$ is a noetherian local ring. I am interested in ideals $\mathfrak{a}$ of $R$ for which $$\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\...
Mahdi Majidi-Zolbanin's user avatar
8 votes
0 answers
275 views

Image of multiplication map in tensor powers of finite-dimensional ring

Let $R$ be a (commutative, unital) ring of dimension $n$ over a field $k$. Assume the characteristic of $k$ is greater than $n$. Then $R^{\otimes n}$ has a natural ring structure, together with an $...
Will Sawin's user avatar
  • 135k
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
8 votes
0 answers
361 views

Higher-dimensional generalization of Pink's theorem

Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...
Joël's user avatar
  • 25.7k
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
6 votes
0 answers
458 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
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
5 votes
0 answers
206 views

Ext^1 for a local finite dimensional selfinjective algebra

Is there a nonprojective module $M$ over a finite dimensional local selfinjective algebra with $Ext^{1}(M,M)=0$? I asked this question also here: http://arxiv.org/pdf/1609.00588.pdf. There it is ...
Mare's user avatar
  • 25.8k
5 votes
0 answers
94 views

How far finiteness dimension can be from edges? Example for $f_m(S/I)\ge depth S/I+2$

Let $ (R,m) $ be a commutative unital noetherian local ring (with $m$ as its maximal ideal), $ I $ an ideal of $ R $, and $ M $ a finite $R$-module with $\dim M\gt 0$. $f_I(M) = \inf\ \{i : H_I^i(M)\ ...
user 1's user avatar
  • 1,345
4 votes
0 answers
72 views

Complex representations of groups of invertible elements in finite local rings

Let $R$ be a finite local $\mathbb{F}_p$-algebra, and let $J$ be its Jacobson radical. Assume that $R/J\cong \mathbb{F}_p$, and assume that the socle of $R$ as an $R$-bimodule is one dimensional over $...
Ehud Meir's user avatar
  • 4,969
4 votes
0 answers
135 views

Structure of $\bigwedge^{2}_{\mathbb{Z}}(A)$ with $A$ a local integral domain

I am trying to see the structure of $\bigwedge^{2}_{\mathbb{Z}}(A)$ where $A$ is a local integral domain with small residue field. Let $A$ be a local integral domain with maximal ideal $M$, residue ...
Liddo's user avatar
  • 259
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
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
4 votes
0 answers
153 views

rings with 'flat functions'

Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat elements, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, ...
Dmitry Kerner's user avatar
3 votes
0 answers
90 views

On the descent of noetherianess along completion

Let $A$ be a commutative local ring with maximal ideal $m$ and $\hat{A}$ be its $m$-adic completion. Are there any non-trivial conditions on $A$, under which $\hat{A}$ noetherian implies $A$ ...
Fernando Peña Vázquez's user avatar
3 votes
0 answers
1k views

Etale cohomology of regular local rings

Let $R$ be a regular local ring (I am particularly interested in the case when $R$ is the local ring of a point on a smooth scheme of finite type over a field). Let $G$ be the etale fundamental group ...
Leonid Positselski's user avatar
2 votes
0 answers
69 views

On the closed subring of valuation rings

Let $(K,v)$ be a (not necessarily discrete) valued field of characteristic $p$ with valuation ring $\mathcal{O}$ and residue field $k$. We endow $K$ and $\mathcal{O}$ with the valuation topology. ...
Yijun Yuan's user avatar
2 votes
1 answer
287 views

When is Hilbert-Samuel multiplicity of a local ring non-increasing along localization at prime ideals?

For Noetherian local ring $(R,\mathfrak m)$, let $e(R)$ denote the Hilbert-Samuel multiplicity of $R$ with respect to $\mathfrak m$ (https://en.m.wikipedia.org/wiki/Hilbert%E2%80%93Samuel_function#...
Alex's user avatar
  • 323
2 votes
0 answers
63 views

Division algorithm for multivariable power series

Let $\mathbb{Z}_p$ be the ring of $p$-adic integers. Consider the ring $R=\mathbb{Z}_p[[T]]$. Let $f,g \in R$ and assume that $f=a_0+a_1T+...$ with $a_i \in p\mathbb{Z}_p$ for $0\le i \le n-1$, but $...
Ahmed Matar's user avatar
2 votes
0 answers
275 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 ...
Dmitry Vaintrob's user avatar
2 votes
0 answers
74 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))?$
tessellation's user avatar
2 votes
0 answers
215 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 ...
Cusp's user avatar
  • 1,703
2 votes
0 answers
78 views

Uniform Artin-Rees bound for annihilators in Noetherian local rings

Let $(A,\mathfrak{m})$ be a Noetherian local ring. If $I$ is an ideal of $A$, then by (a weak version of) the Artin-Rees lemma, there exists $j \geq 0$ such that for all $i \geq j$, $$\mathfrak{m}^i \...
Arkandias's user avatar
  • 951
2 votes
0 answers
176 views

Modern dictionary for "old" homological terms

I'm trying to build a little dictionary between old Homological algebra for local rings and the slightly more modern approach via derived functors. Let $X = SpecA$ be a spectrum of a local ring $(A,...
Saal Hardali's user avatar
  • 7,549
2 votes
0 answers
145 views

Question about Ext$^1$ in local commutative algebras

Given a local commutative (commutative only if needed...) selfinjective (non-semisimple) finite dimensional algebra $A$ over a field $K$ with enveloping algebra $A^e = A \otimes_K A^{op}$. Then $Ext_{...
Mare's user avatar
  • 25.8k
2 votes
0 answers
140 views

When does $R [x]/I $ have infinitely many idempotents in special case?

At < When does $R [x]/I $ has infinitely many idempotents? >, Er_Ro asked the following question. Let $R $ be a commutative ring with identity and $R[x] $ its polynomial ring. I am looking for ...
Anderia's user avatar
  • 21
2 votes
0 answers
318 views

PAC field : Algebraically closed field :: ? : Henselian local ring

I'm wondering if the following exists in the world as a definition. I'll use the word "pseudo-Henselian." I'll restrict to DVRs for simplicity. I'd want to call a DVR $(R,\mathfrak{m})$ pseudo-...
Bobby Grizzard's user avatar
2 votes
0 answers
348 views

How much can we say about the number of nilpotents in a finite local commutative ring?

A commutative ring is local if it has a single maximal ideal. If the ring is finite, this implies that all elements are either units or nilpotents. Further, all finite local rings have prime power ...
Oliver's user avatar
  • 1,785
1 vote
0 answers
58 views
+50

Is $(I(R:_{Q(R)} I))^n$ generated by $(fI)^n$ as $f$ varies over $(R:_{Q(R)} I)$?

Let $(R, \mathfrak m)$ be a Noetherian local domain of dimension $1$ which is not a UFD. Let $Q(R)$ be the fraction field of $R$. If $I\subsetneq \mathfrak m$ is a non-zero, non-principal ideal of $R$ ...
Alex's user avatar
  • 323
1 vote
0 answers
145 views

On certain definition of arithmetical ring

The definition of an arithmetical ring states that A ring $R$ is arithmetical if the ideal lattice is distributive or equivalently $R$ is locally a valuation ring. I was reading a paper where ...
Amit Phogat's user avatar
1 vote
0 answers
122 views

On Noetherianity and local ness of a completed tensor product

Let $R$ be a regular local complete (with respect to the maximal ideal) ring with field of fraction $K$. Let $S\cong R[[x_1,\cdots, x_n]]/J$ (this is a Noetherian local ring which is an $R$-algebra) ...
Snake Eyes's user avatar
1 vote
0 answers
117 views

A question concerning cancellation of ideals

I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
BenjaminY's user avatar
1 vote
0 answers
90 views

When does a local Cohen–Macaulay ring admit a non-zero finitely generated maximal Cohen–Macaulay module of finite injective dimension?

Let $(R,\mathfrak m)$ be a local Cohen–Macaulay ring. Then, it is well- nown that there exists a non-zero finitely generated $R$-module of finite injective dimension; for instance $\operatorname{Hom}...
strat's user avatar
  • 291
1 vote
0 answers
81 views

Abelianization of the group of invertible elements in a finite local ring

Let $R$ be a finite local $\mathbb{F}_q$-algebra. Assume that $R\cong R^*$ as left $R$-modules. Are there any known results about the abelianization $(R^{\times})_{\mathrm{ab}}$? (We can factor $R$ be ...
Ehud Meir's user avatar
  • 4,969
1 vote
0 answers
178 views

Artin-Winters proof of semi-stable reduction theorem: details

I've been reading through Artin-Winters proof of the semi-stable reduction theorem (Degenerate fibers and stable reduction of curves) and found myself confused about the following detail— Let $\...
BelowAverageIntelligence's user avatar
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
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
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
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
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
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
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
1 vote
0 answers
272 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 ...
Sergei Ivanov's user avatar
1 vote
0 answers
277 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.
Cusp's user avatar
  • 1,703
1 vote
0 answers
112 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 ...
Cusp's user avatar
  • 1,703
1 vote
0 answers
132 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 $\...
Pierre MATSUMI's user avatar
1 vote
0 answers
157 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$ ...
Pierre MATSUMI's user avatar
1 vote
0 answers
141 views

Automorphism on F_2[[X,S]]

Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that $\sigma \colon S \mapsto S + S^2 + S^3$ $\sigma \colon X \mapsto X + S$. It is easy to see that the ideal $(S)$ is stable ...
user44755's user avatar