All Questions
22 questions
5
votes
1
answer
1k
views
A property of minimal prime ideals in commutative reduced ring
Let $\{\mathfrak{p}_i\}_{i\in I}$ ($I$ is an infinite set) be a family of minimal prime ideals in a commutative reduced ring $R$ with identity, and let $a, b \in R$. If the ideal $\langle a, b\rangle$...
- 51
5
votes
1
answer
278
views
Set-theoretic generation by circuit polynomials
Let $P$ be a prime ideal in $S=\mathbb{C}[x_1,\ldots , x_n],$ and write $[n] = \{ 1, \ldots , n \}.$ The algebraic matroid of $P$ can be defined according to circuit axioms as follows: $C\subset [n]$ ...
- 396
4
votes
1
answer
295
views
Finite type injective ring map between domains preserves the open point $(0)$
I am looking for a proof of the following statement without using full power of Chevalley's theorem on constructible sets. We say a domain $A$ is $0$-open if $\{(0)\}$ is open in $\operatorname{Spec}(...
- 143
4
votes
0
answers
101
views
A relation between $Spec((1+I)^{-1}R)$ and $Spec(R/J)$
Let $R$ be a commutative ring with identity and let $I$ and $J$ be two finitely generated ideals of $R$. Clearly $1+I:=\{1+i:i\in I\}$ is a multiplicative closed subset of $R$. We can consider the ...
- 41
3
votes
1
answer
391
views
Is the annihilator of a minimal prime ideal principal?
My setup is as follows: $X$ is a projective, reduced curve (which is not integral) with a finite morphism onto $\mathbb{P}_k^1$.
$\DeclareMathOperator{\Ann}{Ann}$
Let $R$ be a coordinate ring of $X$ ...
- 435
3
votes
1
answer
2k
views
Prime ideals of formal power series ring that are above the same prime ideal
Let $R$ denote a commutative ring with identity and let $R[[X]]$ denote the
ring of formal power series over $R$ in an indeterminate $X$. If $I$ is an ideal of $R$,
then $I[[X]]$, the set of power ...
- 61
3
votes
1
answer
774
views
Maximal ideals of polynomial ring containing a fixed element
We know that for a field $k $ and $f\in k [x]$, the only maximal ideals of $k [x]$ containing $f $ are the ideals generated by prime factors of $f $. Now, I want to know that if $R $ is an arbitrary ...
- 31
3
votes
1
answer
823
views
A relation between ideals and annihilators
Let $R$ be a commutative reduced ring with identity with the property that if $I$ and $J$ are two ideals of $R $ such that if $I+J$ is not contained in any minimal prime ideal, then there exist ideals ...
3
votes
0
answers
158
views
A characterization for a commutative ring with a special intersection property for prime ideals
Let $R$ be a commutative ring with $1$ with the property that for any infinite family $\{P_i\}_{i\in I}$ of distinct prime ideals of $R$ we have $\cap_{i\not= j} P_i\subseteq P_j$ for all but fnitely ...
- 61
2
votes
2
answers
2k
views
When an intersection is contained in a minimal prime ideal
For a commutative ring $R$ with identity, it is well known that if a finite intersection of ideals is contained in a prime ideal $\frak{p}$, then one of them is contained in $\frak{p}$. I am looking ...
1
vote
1
answer
436
views
Automorphisms of rings fixing all prime ideals
Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...
- 2,126
1
vote
2
answers
384
views
A relation between an ideal and its radical
Let $I$ be an ideal of a commutative ring $R$ with $1$ such that $\sqrt{I}=I_1\cdots I_n$ where $I_i's$ are pairwise comaximal ideal of $R$. Are there ideals $J_1,...,J_n$ of $R$ such that $V(I_i)=V(...
- 11
1
vote
2
answers
249
views
Zero -dimensional commutative semiprimitive rings
A commutative ring $R $ with 1 is called semiprimitive if its Jacobson radical is the zero ideal. Is there any characterization for zero-dimensional semiprimitive commutative rings?
1
vote
1
answer
2k
views
When a finitely generated ideal is contained in a union of maximal ideals
For a commutative ring $R$ with 1, it is well known that if an ideal is contained in the union of all maximal ideals, then it contained in one of them. I want to know why the following is true or is ...
- 11
1
vote
1
answer
152
views
Cohen-Macaulay quotient ring and symbolic power
Let $(R, \mathfrak{m})$ be a regular local ring and let $\mathfrak{a} \subset R$ be an ideal. Let
$$ \mathfrak{b} = \bigcap \{R \cap \mathfrak{a} \cdot R_\mathfrak{p} \text{ } \colon \mathfrak{p} \in \...
1
vote
1
answer
105
views
When $I+J$ is a special indecomposable ideal of $R$
$\newcommand{\Ann}{\operatorname{Ann}}\newcommand{\Max}{\operatorname{Max}}$I am looking for an example of a commutatvive ring $R$ with $1$ having two ideals $I$ and $J$ such that $I\cap J\not=0$, $\...
- 101
1
vote
1
answer
109
views
When an ideal is locally comaximal with idempotents(restated)
I saw the following question at mathstackexchang < https://math.stackexchange.com/questions/2282194/when-an-ideal-is-locally-comaximal-with-idempotents>. It seems to be a nice question and I need ...
- 105
1
vote
0
answers
65
views
Non-minimal Krull associated primes of a PF-ring
A commutative ring $R$ is said to be a PF-ring if every principal ideal of $R$ is a flat $R$-module. Also, a prime ideal $P$ of $R$ to be a Krull associated prime of $R$ if
for every element $x\in P$ ,...
- 51
1
vote
0
answers
85
views
A special family of prime ideals
I am looking for a commutative ring $R$ with identity which has a family $F:=\{p_i\}_{i\in A}$ of prime ideals such that for each $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ with $n\leqslant m$ ...
- 11
1
vote
0
answers
156
views
A family of maximal ideals
Let $m_i $, $i \in I,$ be an infinite family of maximal ideals in a commutative ring with identity (it is not supposed to be Noetherian). When does there exist $j \in I$ such that $\cap_{i\not= j} m_i\...
- 49
0
votes
0
answers
139
views
Primary ideals and radical of an ideal
Let $R$ be a regular local ring (for example, $R=\mathbb{C}\{x_1, \dots, x_n\}$) and let $\mathfrak{p}$ be a prime ideal in $R$.
Given an ideal $\mathfrak{a} \subset R$ such that $\sqrt{\mathfrak{a}}=\...
0
votes
0
answers
251
views
"Strong Going-Down" Theorem
Let $\iota \colon A \subset B$ be a finite integral extension between domains. Suppose that $A$ is UFD, so $A$ is an integrally closed domain.
$A$ and $B$ may not be noetherian ring.
Choose a prime ...
- 781