All Questions
Tagged with local-rings ac.commutative-algebra
171 questions
1
vote
1
answer
147
views
An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
This ...
CommunityBot
- 1
2
votes
1
answer
169
views
Open idempotents in modules over a local ring
Let $R$ be a local ring. By an open idempotent I mean an $R$-module $F$ equipped with a homomorphism $e : F \to R$ such that $e \otimes F = F \otimes e$ is an isomorphism $F \otimes F \cong F$ (this ...
- 19.6k
4
votes
1
answer
499
views
Artin approximation theorems over non-regular rings/non-Noetherian rings
In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline{...
- 19.6k
3
votes
2
answers
438
views
Can a zerodivisor reduce both the depth and the dimension?
In this question $R$ is a commutative noetherian local ring with unity.
One can construct examples of rings $R$ and zerodivisors $z$ such that $\dim R/(z)=\dim R-1$, e.g., $S\colon=k[a,b,c],\ \...
- 42.9k
3
votes
1
answer
333
views
Depth zero, high dimension
$\textbf{Question: }$We know that the depth of a noetherian local ring is at most the dimension. Do there exist noetherian local rings with high dimension but zero depth? If not, what's the smallest ...
- 16.2k
3
votes
1
answer
272
views
A particular Isomorphism of graded algebras over a regular local ring
In Hartshorne's "Algebraic Geometry", the following statement is a weaker form of Theorem 8.21A (e), which he quotes from Matsumuura's book on commutative algebra:
Proposition. Let $R$ be a regular ...
- 238
17
votes
1
answer
4k
views
Elementary proof wanted: every local principal ideal ring is a quotient of a PID
I am looking for a more elementary proof of the following result:
Theorem (Hungerford, 1968): Let $R$ be a principal ideal ring. Then $R \cong \prod_{i=1}^n R_i$, where each $R_i$ is a homomorphic ...
- 354
12
votes
1
answer
967
views
Lengths over a local ring
Let $A$ be a noetherian domain, $\mathfrak{m}$ а maximal ideal, $s$ a non-zero element of $\mathfrak{m}$, $d= \dim A_\mathfrak{m}$.
Is the following claim true?
Claim:
For any $\epsilon>0$, there ...
- 56.9k
2
votes
1
answer
286
views
Modules with small support have big depth - reference wanted
Hello,
I would appreciate an exact reference / proof of the following fact, which I am almost able to prove, but not really:
Let $A$ be a regular Noetherian comm. ring, of finite Krull dimension. ...
- 3,101
2
votes
3
answers
359
views
On the comparison of linear topologies on a local ring
Let $R$ be a local ring, $a_{\lambda}$ be a decreasing net of ideals, indexed by a directed set, such that each $a_{\lambda}$ is contained in the nilradical ideal and $\bigcap a_{\lambda}=(0)$. Then ...
- 2,773
1
vote
1
answer
1k
views
On the Completion of a complete local ring
Let $(R,\mathfrak{m})$ be a complete local ring, $a_{\lambda}$ be a decreasing net of ideals in $R$, indexed by a directed set. Consider the completion under $a_{\lambda}$-topology $A=\underleftarrow{\...
- 53.3k
2
votes
1
answer
575
views
Can you suggest a good name for a local homomorphism φ:(R,m)->(S,n) of local rings with the property that φ(m)S is n-primary?
Can you suggest a good name for a local homomorphism $(R,\mathfrak{m})\stackrel{\varphi}{\rightarrow}(S,\mathfrak{n})$ of local rings with the property that $\varphi(m)S$ is $\mathfrak{n}$-primary?
...
- 11.1k
1
vote
0
answers
531
views
Krull's intersection theorem for commutative local not necessarily noetherian rings
Is there a characterisation of those commutative local not necessarily noetherian rings that satisfy Krull's intersection theorem ? How can the intersection theorem be phrased in terms the module ...
- 63.1k
5
votes
2
answers
3k
views
Algorithm for Weierstrass Preparation Theorem for Formal Power Series
The Weierstrass preparation theorem for formal power series rings guarantees that if a given formal series $f(z) = \sum a_k z^k \in R[[z]]$ where $R$ is a complete local ring with maximal ideal $M$ ...
- 4,193
3
votes
1
answer
191
views
Local coordinate system under finite integral extension
Let $\varphi:(A,\mathfrak{m})\to(B,\mathfrak{n})$ be a local morphism of regular local $\mathbb{C}$-algebras (of the same dimension) which makes $B$ integral over $A$.
Let $\mathfrak{m}=(x_1,\ldots,...
- 4,902
5
votes
1
answer
679
views
On the functoriality of scalar extensions of local rings (edited)
Note. I have edited my question to make it more transparent, following some very good comments that I received. I am sorry if it is a bit long.
A local homomorphism of local rings $(A,\mathfrak{m})\...
- 3,908
1
vote
2
answers
1k
views
maximal ideal in local subrings
Let $A,B$ be two local rings and put $\mathfrak{m}_A, \mathfrak{m}_B$ their maximal ideals. Now suppose that we have an injection $0 \to A \to B$ and put $\mathfrak{n} := A \cap \mathfrak{m}_B $. It ...
- 3,101
15
votes
2
answers
2k
views
prime ideals in regular local rings
Suppose $R$ is a regular local ring. Let $m$ be the maximal ideal. Then, if the dimension of $R$ is $n$, there is a regular sequence of size $n$, say $x_1,x_2,...,x_n$ s.t. $m=(x_1,x_2,...,x_n)R$. ...
- 30.6k
1
vote
1
answer
320
views
covers of complete regular local rings
It is well-known that if one assumes algebraic closedness and characteristic 0 of the residue field then finite covers of complete DVRs are all of the form $A[x]/(x^m-a)$ for some $a \in A$ (direct ...
- 22.6k
0
votes
3
answers
892
views
local Artin algebras
Given a commutative Artin algebra $A$ over an algebraically closed field $k$ one has a decomposition $A=A_1\oplus\ldots\oplus A_n$ into local Artin subalgebras, see for example Atiyah-McDonald, ...
- 163
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 ...
- 14.5k