All Questions
26 questions
0
votes
0
answers
93
views
Length of generic intersection in local ring
Let $(R, \mathfrak{m})$ be a regular local ring and let $I\subset R$ be an ideal of coheight 1. Let $a \in \mathfrak{m}\setminus \mathfrak{m}^2$.
If $a$ that is not a zero divisor of $R/I$ we have ...
4
votes
0
answers
238
views
When $\langle u,v,w \rangle$ is a maximal ideal in $\mathbb{C}[x,y]$?
Let $u,v,w \in \mathbb{C}[x,y]$ and let $\langle u,v,w \rangle$ be the ideal generated by $u,v,w$.
It is known that for two elements the following result holds:
$\langle u,v \rangle$ is a maximal ...
- 2,837
1
vote
1
answer
134
views
If $(f,g)$ and $(f,h)$ are maximal ideals, then $ag+bh=P(f)$ for some $a,b \in k, P(t) \in k[t]$?
Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$.
Let $f,g,h \in k[x,y]$, $g \neq h$, satisfy the following two conditions:
(1) $(f,g)$ is a maximal ideal of ...
- 2,837
0
votes
1
answer
137
views
$k(F_i)_{i=1}^{n}=k(G_j)_{j=1}^{m}$ iff there exist $a_i,b_j \in k$ such that $\langle F_i-a_i \rangle_{i=1}^{n} = \langle G_j-b_j \rangle_{j=1}^{m}$
Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$ and let $F_1,\ldots,F_n,G_1,\ldots,G_m \in \mathbb{C}[x,y]$, $n,m \in \mathbb{N}-\{0\}$.
Claim:
$\mathbb{C}(...
- 2,837
1
vote
1
answer
153
views
Ideals: If $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle$, then $\langle f_1-\lambda,f_2-\mu \rangle = \langle g_1-\delta,g_2-\epsilon \rangle$?
The following question appears in MSE without answers.
Let $f_1,f_2,g_1,g_2 \in \mathbb{C}[x,y]-\mathbb{C}$.
Assume that $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle \subsetneq \mathbb{C}[x,y]$,
...
- 2,837
0
votes
1
answer
162
views
$\mathbb{C}(u(x,y),v(x,y),f(x)+g(y))=\mathbb{C}(x,y)$ implies $\mathbb{C}(u(x,y),v(x,y))=\mathbb{C}(x,y)$?
The following question is a direct continuation of this question:
Let $u,v \in \mathbb{C}[x,y]$.
Assume that for every $f \in \mathbb{C}[x]$ and every $g \in \mathbb{C}[y]$ (excluding the cases where $...
- 2,837
3
votes
1
answer
227
views
Van der Waerden's classical paper on Hilbert polynomials and Bezout's theorem
Is it possible to obtain an electronic copy of Van der Waerden's "On Hilbert series of composition of ideals and generalisation of the Theorem of Bezout", Proceedings of the Koninklijke ...
- 5,339
1
vote
1
answer
118
views
Symbolic power of an ideal associated to non-singular algebraic set
Let $Z\subset \mathbb P^n$ be a reduced non-singular algebraic set and $I$ denote the saturated homogeneous ideal of $Z$. I have seen the following result without proof:
For all $ n\geq 1$, $I^{(n)}=(...
- 1,713
10
votes
2
answers
1k
views
Do relatively prime polynomials $f$ and $g$ in $k[x,y]$ generate an ideal of finite codimension?
Let $k$ be a field and $f,g \in k[x,y]$ be two non-constant polynomials in two variables. Is it true that the following conditions are equivalent:
$f$ and $g$ are relatively prime in $k[x,y]$, in the ...
1
vote
2
answers
558
views
Extension of the radical and radical of the extension of an ideal
If $A$ is a commutative ring, $I \subset A$ an ideal and $f:A \rightarrow B$ a ring homomorphism, then the extension of $I$, $I^e = \langle f(a): a \in I \rangle$ does not commute with the radical, I ...
- 113
3
votes
0
answers
115
views
Is the determinantal ideal of the span of a linearly independent set of rank-one matrices radical?
Let $k$ be an algebraically closed field, and let $X_1,\dots, X_n \in M_m(k)$ be rank-one matrices that are linearly independent over $k$. For a fixed integer $1 \leq r \leq m$, consider the ideal $I \...
- 980
5
votes
0
answers
2k
views
Saturated ideals in computational algebra
Let $R$ a commutative ring with one and $I, J \triangleleft R$ two ideals.
The saturated ideal $I^{sat}_J$ with respect $J$ is the ideal
$$(I : J^\infty )= \cup_{n \geq 1} (I:J^n)$$
where $(I:J^n)= \{...
- 6,028
0
votes
0
answers
105
views
An ideal invariant under an automorphism
The following question appears here; hopefully, it is appropriate for MO.
Let $k$ be a field of characteristic zero, and let $\beta: k[x,y] \to k[x,y]$ be the following involution $\beta: (x,y) \...
- 2,837
1
vote
1
answer
182
views
Special idempotents in a commutative ring
Let $R$ be a commutative ring with $1$ and $e$ be an idempotent element of $R$ with the property that if $e=x+y$ (where $x, y\in R$), then there exists $r\in R$ such that either $e=rx$ or $e=ry$. ...
- 51
1
vote
0
answers
140
views
On finite dimensional commutative algebras and regular sequences
Let $\mathbb{C}[u]:= \mathbb{C}[u_1,...,u_n]$ the algebra of polynomial functions on $\mathbb{C}^n$. I consider two ideals $I$, and $J$, where $I$ is the ideal generated by the polynomials vanishing ...
- 1,227
2
votes
1
answer
216
views
Homomorphisms of ring extending nicely ideal intersections
Let $\varphi\!:\!S\to R$ be a homomorphisms of $K$-algebras for some field $K$.
Let $\{a_{\lambda}\}_{\lambda}$ be a family of ideals of $S$.
Is there some "natural" assumption on $\varphi$ to ...
- 43
3
votes
0
answers
188
views
Ideals and Idempotents in a commutative ring
Let $I$, $J$, and $K$ be pairwise comaximal ideals of a commutative ring $R$ with $1$ with the property that if $x^2-x\in I$, then there exists $e^2=e\in J$ such that $x-e\in I$ and if $y^2-y\in K$, ...
- 31
2
votes
1
answer
323
views
A relation between annihilators and ideals
Let $I$ and $J$ be two ideal of a ring $R$ (commutative with $1$) such that $I\subseteq Ann_R(Ann_R(J))$ and $I$ is a principal ideal. Is there any conditions on $I$ or $J$ or both of them under which ...
- 43
6
votes
1
answer
672
views
Maximal subideal of an ideal
For a commutative ring $R$ with unity, I am looking for an equivalent condition for an ideal $T$ to have the property that $T$ contains a unique maximal proper subideal, equivalently, the sum of ...
- 69
1
vote
0
answers
138
views
Monomorphism between two ideals
Let $I $ and $J $ be two ideals in a commutative ring $R $ with $1$. Is there any equivalent property for the fact that there are no $R $-module monomorphism from $I $ to $J $?
- 21
1
vote
0
answers
318
views
Find the generators of a complete intersection maximal ideal
Let $k$ be a field (not necessarily algebraically closed), define the $k$-algebra
$$
B:=k[x_{0}, x_{1}, x_{2}, x_{3}]_{(F_{2}F_{3})}
$$
(degree 0 part of the localization), it's the coordinate ring of ...
- 1,906
5
votes
1
answer
1k
views
Ideal generated by two univariate, coprime, integer polynomials
Let $f(x)$, $g(x)$ be two univariate, coprime, integer polynomials and let $I=\big(f(x),g(x)\big)$ the ideal of $\mathbb{Z}[x]$ generated by $f, g$. Let $I \cap \mathbb{Z}$, that is, the elements of $\...
- 7,746
5
votes
1
answer
291
views
a question on symbolic power
Let $R$ be a Noetherian ring and $P$ a prime ideal. Then the $n$-th symbolic power of $P$ is
$$P^{(n)} = P^n R_P \cap R = \{ f \mid sf \in P^n \text{ for some } s \in R - P\}$$
(cf. wiki). We have $P^...
- 2,773
1
vote
1
answer
258
views
How to compute graph ideal or cut ideal of a graph?
Graph ideals are a special case of Stanley-Reisner ideal, explained in Combinatorial Commutative Algebra book by Sturmfels, and graph ideals here. Graph ideals are generated by the minimal paths while ...
- 143
1
vote
0
answers
91
views
Cut ideal of two graphs?
Consider a connected graph $G$ and a connected graph $H$. Their graph ideals are their path ideals. The Alexander duality of the graph ideals give the cut ideals. $G$ and $H$ are not connected to each ...
- 143
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