All Questions
20 questions
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
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 \...
2
votes
0
answers
82
views
Let $R$ be a non-catenary, and $f: R \to S$ be a finite monomorphism. Can $S$ be catenary?
Let $R$ be a commutative ring with identity. Then $R$ is $\textit{catenary}$ if for each pair of prime ideal $p \subsetneq q$, all maximal chains of prime ideals $p = p_0 \subsetneq p_1 \subsetneq \...
- 1,355
2
votes
0
answers
80
views
Prime elements in integrally closed extension of domains
Let $R \subseteq S$ be an extension of integral domains such that $R$ is integrally closed in $S$. Let $P$ be a prime ideal of $R$.
Is $PS$ always a prime ideal of $S$?
For classical examples of ...
- 365
3
votes
0
answers
154
views
Prime ideals in $R \subseteq \mathbb{C}[x,y]$, $\dim(R)=2$
Prime ideals in $\mathbb{C}[x,y]$ were listed here; they are:
(i) $(0)$.
(ii) $(f)$, where $f$ is an irreducible polynomial.
(iii) $(x-\lambda,y-\mu)$, where $\lambda,\mu \in \mathbb{C}$.
Now let $R \...
- 2,837
3
votes
0
answers
243
views
Quick proof of the first part of Kaplansky's Theorem on characterization of Noetherian domains with all maximal ideals principal
I have been reading section 12 of this paper "Elementary Divisors and Modules" by I. Kaplansky (https://www.ams.org/journals/tran/1949-066-02/S0002-9947-1949-0031470-3/S0002-9947-1949-...
- 739
2
votes
0
answers
70
views
Properties preserved in addition of ideals
If I and J are prime (radical) ideals then what are the conditions under which we can define a prime (radical) ideal from I+J?
- 51
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
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
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
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
7
votes
1
answer
170
views
Cellular and primary binomial ideals
Let $I \subseteq \mathbb{K}[x_1, \dots, x_n]$ be an ideal of a polynomial ring over a field $\mathbb{K}$.
$I$ is called cellular if every variable $x_i$, with $i=1, \dots, n$, is either a ...
- 211
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
4
votes
1
answer
364
views
Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$
Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
- 10.5k
3
votes
2
answers
165
views
Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality
Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$
...
- 10.5k
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 ...
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
171
views
A characterization for the ideals of $A+XB[X]$ and $A+XB[[X]]$
Let $A \subseteq B$ be an extension of commutative rings with identity. Then $A+XB[X]$ and $A+XB[[X]]$ are the polynomial and power series rings over $B$ whose constant terms are in $A$. Is there any ...
- 11
1
vote
1
answer
2k
views
ideals of polynomial ring of two variables generated by two elements
Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by
$$
f(x,y)=x^4-3xy+y^2,$$
$$
g(x,y)=x^5-4xy+3xy^2.$$
Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$.
Is $x,x^2,...
- 1,990
3
votes
1
answer
200
views
for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?
Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital.
Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
- 642