Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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)$ ...
Jérémy Blanc's 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
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 ...
Laurent Moret-Bailly's user avatar
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 ...
user avatar
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 ...
Andrew Homan's user avatar
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.
José María Grau Ribas's user avatar
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}...
Pierre's user avatar
  • 87
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 ...
Sergei Ivanov's user avatar
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 ...
user237522's user avatar
  • 2,837
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 $...
user237522's user avatar
  • 2,837
-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 ...
user avatar