A monomial ideal in a polynomial ring is an ideal generated by monomials.

**-2**

votes

**0**answers

20 views

### Show that $(X_{k_1}^{a_1},…,X_{k_s}^{a_s})$ is $(X_{k_1},…,X_{k_s})$-primary [migrated]

Show that $I=(X_{k_1}^{a_1},...,X_{k_s}^{a_s})$ is $(X_{k_1},...,X_{k_s})$-primary, where $I$ is the ideal generated by monomials $X_{k_1}^{a_1},...,X_{k_s}^{a_s}$ .$\qquad$ ...

**1**

vote

**0**answers

47 views

### if $\Delta$ is pure, then what happens to betti-numbers of $I_{\Delta}$ or $I_{\Delta^v}$

Assume that $\Delta$ is a simplicial complex and $\Delta ^v$ is its Alexander dual.
Let in addition $\Delta$ be pure, then what happens to betti-numbers of $I_{\Delta}$ or $I_{\Delta^v}$?
Is there a ...

**3**

votes

**1**answer

71 views

### ideal generated from a truncated “real radical-like” set are still real radical?

Suppose $\mathbb{R}[X]$ is the normal multivariate polynomial ring where $X = x_1...x_n$. $\mathbb{R}[X]_t$ is the truncated ring such that $\mathbb{R}[X]_t =\left\{f: f \in \mathbb{R}[X], deg(f) \leq ...

**1**

vote

**1**answer

41 views

### Vanishing ideal of a finite set of points does not have expected amount of cones in Gröbner fan

I am reading the paper A Gröbner fan method for biochemical network modeling.
In Chapter 4.3 (i.stack.imgur.com/h2O8B.png) they calculate the vanishing ideal of some tuples (input points of Series ...

**0**

votes

**0**answers

37 views

### Primary decompositions of squares (products) of monomial ideals

Is there anything known about the relation between the primary decomposition
of a monomial ideal $I$ and the primary decomposition of $I^2$?
In other words, given the standard primary decomposition ...

**1**

vote

**1**answer

98 views

### Castelnuovo- Mumford regularity properties

Let $R=k[x_1,\ldots,x_n]$ be a graded ring and $S,T,U$ be monomials ideals.
$reg(S)=max\{j-i \backslash \beta_{i,j}(S) \neq 0\}$.
Assume $S+T=U$
prove \disprove : $reg(S+T^2) \leq reg(U^2)$.
We can ...

**1**

vote

**1**answer

314 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 ...

**2**

votes

**0**answers

57 views

### Minimal free resolution of sum of ideals

Let $S$ be the polynomial ring in $n$ variables, and let $I_1$ and $I_2$ be ideals in $S$. What can be said about the $\mathbb{Z}$-graded minimal free resolution of $I_1+ I_2$ in terms of the ...

**2**

votes

**1**answer

119 views

### Families of ideals with a given initial ideal

Assume a fintie set of monomials is given. Is there a way to find the family of ideals whose initial ideal (say w.r.t revlex order) is generated by that finite set? I'll appreciate any partial answer, ...

**1**

vote

**1**answer

78 views

### betti-numbers of Gin(I), generic initial ideal of $I$

here in the paper Ideals with Stable Betti Numbers there is a theorem that I can't uderstand it, both in details (which highlighted) and sketch of the proof of (b):
can you help please?
...

**1**

vote

**0**answers

93 views

### Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8 in Monomial Ideals by Herzog and Hibi:
Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...

**2**

votes

**0**answers

220 views

### Elementary proof that $\operatorname{Ass}(I^n)$ stabilizes for a monomial ideal $I$

For my bachelor thesis I'd like to have a short "elementary" proof that $\operatorname{Ass}(I^n)$ stabilizes for large $n$ if $I$ is a monomial ideal in a polynomial ring $K[x_1, \dots, x_r]$ over ...

**8**

votes

**2**answers

340 views

### Depth of ideals in a commutative ring

Let $I, J \subset S = k[x_1,\dots,x_n]$ be two monomial ideals and $k$ a field. If every element of $S$ which is $S/J$-regular is also $S/I$-regular is it true that depth$_S S/I \geq$ depth$_S S/J$ ?

**1**

vote

**1**answer

488 views

### How to show an ideal is zero-dimensional [closed]

I have the following past exam paper question, a similar sort of question seems to come up every year.. And I'm completely lost with it...
Let $J$ denote the ideal in $\mathbb{Q}[x,y,z]$ generated by ...

**1**

vote

**1**answer

256 views

### Initial ideal of k-th power of an ideal

Hi,
Let $I$ be an ideal in a polynomial ring $S = k[x_1, \ldots, x_n]$, where $k$ is an algebraically closed field of characteristic zero. Fix a term order on
$S$ (e.g. a lexicographic order) and ...

**4**

votes

**2**answers

771 views

### How to find the generic initial ideal?

Here is an example from Ezra Miller's book: Combinatorial Commutative Algebra,p26-27
Let $f,g\in k[x_1,x_2,x_3,x_4]$ be a generic forms of degree $d$ and $e$, the generic initial ideal of $I=\langle ...

**2**

votes

**1**answer

237 views

### What does the d-slice of a weighted polynomial algebra look like?

This question comes from the explicit construction of a smooth projective model of a hyperelliptic curve. Nevertheless it is fully elementary and, to me, more interesting than hyperelliptic curves.
...