All Questions
Tagged with ac.commutative-algebra local-rings
171 questions
0
votes
0
answers
92
views
Length of generic intersection in local ring
Let $(R, \mathfrak{m})$ be a regular local ring and let $I\subset R$ be an ideal of coheight 1. Let $a \in \mathfrak{m}\setminus \mathfrak{m}^2$.
If $a$ that is not a zero divisor of $R/I$ we have ...
2
votes
0
answers
66
views
Projective cover (minimal) for (derived)complete modules over Noetherian local rings exist?
Let $(R,\mathfrak m)$ be a commutative Noetherian local ring. Let $M$ be an $R$-module which is $\mathfrak m$-adically derived complete. Then, does there exist a free $R$-module $F$ and a surjective $...
- 412
4
votes
2
answers
284
views
Does $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commute with co-products?
Let $(R, \mathfrak m, k)$ be a commutative Noetherian local ring. Then, is it true that $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commutes with arbitrary co-products?
- 412
4
votes
1
answer
132
views
Zero dimensional complete intersection ring of length a power of $p$
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C$ be a $k$-algebra of finite dimension over $k$ such that $k[C^p]=k$. Under these hypothesis it is known by results of L. ...
- 657
1
vote
0
answers
135
views
Local cohomology and image of $1$ under the canonical map from Ext to local cohomology
Let $R$ be a commutative Noetherian local ring, and $S$ be an $R$-algebra. Let $x_1,\dots,x_t$ be elements, in the maximal ideal of $R$, which is a regular sequence on both $R$ and $S$, and let $I$ be ...
- 412
2
votes
1
answer
112
views
Example of non injective module over Noetherian local ring with trivial vanishing against residue field?
Is there an example of a module $M$ over a commutative Noetherian local ring $(R,\mathfrak m, k)$ such that $\text{Ext}_R^{>0}(k, M)=0$ but $M$ is not an injective $R$-module?
I know that for such ...
- 480
2
votes
0
answers
274
views
Can the completion of a local domain which is not a field be a field?
I would like to prove/disprove the following claim:
Let $A$ be an equicharacteristic local domain, and denote by $\widehat{A}$ its completion with respect to its maximal ideal. If $\widehat{A}$ is ...
- 293
2
votes
1
answer
181
views
Hilbert–Samuel multiplicity under hypersurface sections
Let $\newcommand{\frakm}{\mathfrak{m}}(R,\frakm)$ be a reduced Noetherian local ring of dimension $d$ and $f\in\frakm^\alpha\setminus\frakm^{\alpha+1}$ a parameter of $R$, i.e. $\dim R/(f)=d-1$. Let $...
- 135
1
vote
0
answers
186
views
Is it true that monomorphisms of local Artinian $\mathbb{R}$-algebras are regular?
A Weil algebra is a finite-dimensional real algebra, in which each element is the uniquely sum of a scalar and a nilpotent (so nilpotents constitute the only maximal ideal of codimension 1). In other ...
- 6,962
1
vote
0
answers
85
views
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$ ...
- 480
2
votes
1
answer
145
views
The presentations of finite complete local rings
Suppose that $R$ is a commutative ring such that there is a surjection $ \pi:\mathbf{Z}_p[[T_1,\cdots,T_n]]\to R$ of rings where $\mathbf{Z}_p[[T_1,\cdots,T_n]]$ is the ring of formal power series ...
- 667
5
votes
1
answer
191
views
Are module finite algebras over semiperfect rings again semiperfect?
Let $S$ be a Noetherian semiperfect ring (https://en.m.wikipedia.org/wiki/Perfect_ring). Let $R$ be a module finite associative $S$-algebra. Then, is $R$ also a semiperfect ring? (Clearly, $R$ is ...
- 412
2
votes
1
answer
169
views
Is $\mathrm{Hom}_R(M,R)\neq \mathfrak m \mathrm{Hom}_R(M,R)$ if $M \neq \mathfrak m M$ and $\mathrm{Hom}_R(M,R)\neq 0$?
Let $(R,\mathfrak m)$ be a commutative Noetherian local ring and $M$ be an $R$-module such that $M \neq \mathfrak m M$ and $\mathrm{Hom}_R(M,R)\neq 0$. Then, is it true that $\mathrm{Hom}_R(M,R)\neq \...
- 413
3
votes
1
answer
239
views
Vanishing of $\operatorname{Ext}_R^{1}(M,R)$ when $R$ is a Gorenstein local ring of dimension $1$ and $M$ is not finitely generated
Let $(R,\mathfrak m)$ be a Gorenstein local ring of dimension $1$. Let $M$ be an $R$-module (not finitely generated) such that $M\neq \mathfrak m M$ and there exists a non-zero-divisor $x\in \mathfrak ...
- 413
0
votes
1
answer
172
views
Is the integral closure of a henselian local domain of dimension $1$ again local?
Let $(R,\mathfrak m)$ be a local domain of dimension $1$. Let $\overline R$ be the integral closure of $R$ in the field of fractions $Q(R)$.
If $R$ is henselian, then is $\overline R$ also a local ...
- 412
0
votes
0
answers
177
views
Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced
I have a question about correctness of following statement claimed here in $\boxed{2} \ $:
Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
- 6,018
4
votes
1
answer
160
views
DG algebra structure on minimal free resolution of modules over regular local ring
Let $(Q, \mathfrak n, k)$ be a regular local ring. Let $I\subseteq \mathfrak n^2$ be an ideal, and fix a minimal generating set $\mathbb f= f_1,\cdots, f_n$ of $I$. The Koszul complex $E:= Q[e_1,...,...
- 412
1
vote
0
answers
159
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 ...
- 19
6
votes
1
answer
443
views
Ring in which $x^n-x$ is central for every $x$
Let $R$ be a ring , $n \gt 1$, such that for all $x \in R$: $x^n-x \in Z(R)$, the center of $R$. Does it follow that $R$ is commutative?
For $n=2,3$ this is pretty straightforward to prove. But what ...
- 365
2
votes
2
answers
261
views
Examples of stretched artinian local ring
In Sally's Paper stretched artinian local ring is defined as :
Let $(R, \mathfrak{m})$ be an Artin local ring of length $\lambda.$ If $\nu$ is the embedding dimension of $R$, that is, $\nu$ is the ...
- 81
5
votes
1
answer
479
views
Alternative description of strict henselization
Let $R$ be a local ring with field of fractions $K$, maximal ideal $\mathfrak{m}$ and residue field $\kappa = R/\mathfrak{m}$. Let $R^\mathrm{sh}$ be a strict henselization of $R$, and let $L$ be the ...
- 1,329
0
votes
0
answers
53
views
When a given set of primes of height 1 is a set associated primes of an element
Let $R$ be a Noetherian local ring of dimension $\geq 3$ and $\{p_1,\ldots , p_n\}$ be a collection of prime ideals of height $1$. Does there exist an element $x\in R$ such that $Ass(R/xR)=\{p_1,\...
- 1,713
1
vote
0
answers
136
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) ...
- 413
1
vote
0
answers
132
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 ...
- 11
2
votes
0
answers
110
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}...
- 361
0
votes
1
answer
295
views
Depth of almost complete intersection rings
Let $R$ be a regular local ring and let $I \subset R$ be an almost complete intersection ideal, that is, $\mu(I)=\text{ht}(I)+1$ where $\mu(I)$ is the number of minimal generators of $I$ and $ht(I)=\...
3
votes
1
answer
115
views
Analogue of Kock-Lawvere axiom for power series rings?
The Kock-Lawvere axiom for a topos $\mathcal{E}$ states that given a specified commutative ring object $R \in \mathcal{E}$, for all local Artinian $R$-algebra objects $A \in \mathcal{E}$, the morphism
...
- 2,624
4
votes
1
answer
224
views
For a local complete intersection ring $(R,\mathfrak m)$ with $\mathfrak m^3=0\ne \mathfrak m^2$, $\mathfrak m$ can be generated by two elements
Let $(R,\mathfrak m,k)$ be a local complete intersection ring with $\mathfrak m^3=0\ne \mathfrak m^2$. As $0\ne \mathfrak m^2 \subseteq \text{soc}(R)$ and $R$ is Gorenstein, so we get $\mathfrak m^2 =\...
- 73
1
vote
1
answer
106
views
On $\text{depth}_S\left(\dfrac {S}{JS+xS}\right)$, when $\text{depth}_R(R/J)=0$, and $R\to S$ is a certain flat map of local rings
Let $(R, \mathfrak m) \xrightarrow{\phi} (S,\mathfrak n) $ be a flat homomorphism of local rings such that $\mathfrak n=\mathfrak m S +xS$ for some $x\in \mathfrak n \setminus \mathfrak n^2$. Let $J$ ...
- 73
2
votes
1
answer
388
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#...
- 480
1
vote
1
answer
228
views
On image of map $\text{Ext}^1_R(X,F)\to \text{Ext}^1_R(X,G)$ induced by $R$-linear map of free modules $F\to G$ with entries in the maximal ideal
$\DeclareMathOperator\Ext{Ext}$Let $(R,\mathfrak m)$ be a Noetherian local ring. Let $F,G$ be finitely generated free $R$-modules and $f:F\to G$ be an $R$-linear map such that $f(F)\subseteq \mathfrak ...
- 412
21
votes
1
answer
1k
views
A Krull-like Theorem and its possible equivalence to AC
A well known equivalent of the Axiom of Choice is Krull's Maximal Ideal Theorem (1929): if $I$ is a proper ideal of a ring $R$ (with unity), then $R$ has a maximal ideal containing $I$. The proof is ...
- 528
5
votes
2
answers
236
views
An example of a local integral domain with special spectrum
I am looking for a local integral domain $(D, m)$ with $Spec(D)=\{0,m\}\cup\{ P_i\}_i$ such that $P_i's$ are incomparable (that is, $P_i\not\subseteq P_j$ and $P_j\not\subseteq P_i$ for $i\not= j$) ...
- 147
3
votes
4
answers
807
views
$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?
Let $R$ be a graded ring such that $R_0$ is a field and let $\frak{m}$ be the maximal ideal generated by all the elements of positive degree. Then, is it true that $R$ is a UFD iff $R_{\frak{m}}$ is a ...
- 839
0
votes
0
answers
72
views
Which power series in $\mathbb{Z}_p[[T]]$ are rational functions? [duplicate]
Consider the power series ring $\mathbf{Z}_p[[T]]$, where $\mathbf{Z}_p$ denotes the $p$-adic integers. I'll call a function $f(T) \in \mathbf{Z}_p[[T]]$ a rational function if I can write it as:
$$f(...
- 1,949
5
votes
1
answer
335
views
About the structure of unit groups appearing in number theory
I think the following statement is not true in the general situations, but consider it:
$R$ is a ring, $\mathfrak{p}$ is a prime ideal, then the unit group of $\dfrac{R}{\mathfrak{p}^nR}$ is ...
1
vote
2
answers
194
views
The quotient of an algebra with an ideal whose generators are decomposed as the product of irreducible elements
I would like to find reference for the following statement.
I need it only in the particular case when $A=\mathcal{O}_{(\mathbb{C}^n, 0)}$ is the local algebra of holomorphic germs $(\mathbb{C}^n, 0) \...
- 73
3
votes
0
answers
91
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$ ...
- 541
2
votes
1
answer
253
views
Strict henselianization and branches of explicit curve at singularity
Let $A$ be a local ring, which we can assume is reduced. Let $k$ be the residue field of $A$.
In the Stacks project (https://stacks.math.columbia.edu/tag/06DT), I have learned some notion of the ...
- 241
3
votes
1
answer
420
views
Vanishing of $\operatorname{Ext}_R(\operatorname{Tr} M,N)$ and freeness criteria
$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Tr{Tr}\DeclareMathOperator\coker{coker}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Tor{Tor}$I am investigating the interplay between freeness ...
- 183
8
votes
0
answers
291
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 $...
- 148k
3
votes
3
answers
484
views
On the map $\Phi_M: M\otimes_RM^*\xrightarrow{x\otimes y\mapsto \left\{f\mapsto f(x)y\right\}}\text{Hom}_R(M^*,M^*) $
$\DeclareMathOperator\Hom{Hom}$Let $M$ be a finitely generated module over a Noetherian local ring $(R,\mathfrak m)$. Denote $(\_)^*:=\Hom_R(\_,R)$. There is a natural map
\begin{align} \Phi_M: M \...
- 361
3
votes
0
answers
69
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 $...
- 429
2
votes
2
answers
619
views
Why is $M$ torsion-free?
I am studying the following article
https://www.math.nagoya-u.ac.jp/~takahashi/tc9.pdf
The main theorem is the Theorem 3.3. Howewer, I have the following questions about the proof:
How does it help ...
- 31
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 ...
- 259
1
vote
1
answer
118
views
Symbolic power of an ideal associated to non-singular algebraic set
Let $Z\subset \mathbb P^n$ be a reduced non-singular algebraic set and $I$ denote the saturated homogeneous ideal of $Z$. I have seen the following result without proof:
For all $ n\geq 1$, $I^{(n)}=(...
- 1,713
2
votes
1
answer
347
views
Good prime ideals in tensor products of local rings
Let $L/K$ be a field extension.
Let $R,S$ be two local commutative $K$-algebras and let $\varphi : R \to S$ be a homomorphism of $K$-algebras, not assumed to be local. Let's call a prime ideal $\...
- 63.1k
4
votes
2
answers
457
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 ...
- 279
6
votes
0
answers
399
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 ...
- 15.8k
1
vote
1
answer
235
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 ...
- 2,837