All Questions
Tagged with ac.commutative-algebra local-rings
11 questions
17
votes
4
answers
4k
views
Completion of a local ring of a curve
Let $X$ be a smooth projective irreducible curve defined over an algebraically closed field $\mathbb{K}$ (of arbitrary characteristic), and let $p\in X$ be a closed point. Denote by $\mathcal{O}_p(X)$ ...
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 ...
10
votes
1
answer
818
views
Is $k(\!(x,y)\!)$ a topological field?
More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
9
votes
1
answer
443
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 ...
9
votes
1
answer
2k
views
Are local, Noetherian rings with principal maximal ideal PIR?
A question asked by a friend. I believe it's false, but lack a decisive counterexample.
This question shows that it is true for valuation rings, but I know too little about them.
In the wider ...
6
votes
1
answer
499
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.
3
votes
1
answer
420
views
Automorphisms of complete discrete valuation ring
Let ${\Bbb F}_2[[T]]$ be a c.d.v.r over ${\Bbb F}_2$. We consider the automorphism $\sigma$ of ${\Bbb F}_2[[T]]$ such that $\sigma \colon T \mapsto T + c_2T^2 + c_3T^3 + \cdots$ with $c_i \in {\Bbb F}...
1
vote
0
answers
294
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
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 ...
1
vote
1
answer
264
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 $...
-2
votes
2
answers
763
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 ...