# Tagged Questions

121 views

### Writing $I= (xz-y^2, yt- z^2)$ as an intersection of prime ideals

I need to write the ideal $I= (xz-y^2, yt- z^2) \subset R = \mathbb{K}[x,y,z,t]$ as intersection of prime ideals. Any idea? For the moment, I've noticed that $I$ is radical, then it suffices to ...
71 views

### Let I, J ideals. Are they equal?

Let $$I= \langle 11x^5y+7xy^6+9,8xy^4+6xy+9 \rangle$$ $$J= \langle 7x^5y^2+17x^2y^5+29,13xy^4+62xy^3+19 \rangle$$ ideals. Examine whether those two ideals are equal. By seeing their 3D plots I ...
71 views

### Do we need Gröbner bases to study factor rings of polynomials?

I'm trying to understand how we can systematically study the factor rings of polynomials over a ring K. For example imagine that we're working in $R=K[x_1,...,x_n]$ and we have the ideal ...
79 views

### Product of (strongly) stable ideals and lexsegment ideals

(1) Is the product of lexsegment ideals again a lexsegment ideal? (2) Is the product of (strongly) stable ideals again (strongly) stable? I know that both of them are false and I can find examples ...
96 views

### The h-vector of a simplicial complex

Let $S$ be a polynomial ring over a field. I want to find an ideal $I\subseteq S$ such that $(1,2,3,1,1,1)$ is the $h$-vector of $S/I$. We have a relation between $f$-vector and $h$-vector and ...
192 views

### An Algorithm to Find the Generators of the Radical of a Monomial Ideal

Working over $R=\mathbb{C}[x_1,...,x_n]$, I'm given a ring homomorphism with $i\in{1,...,n}$ and $t\in \mathbb{C}$. $\phi_{i,t}(x_j)=x_j$ for $j\neq i$ to themselves. From this I've proven that an ...
268 views

### Dimension of a certain quotient ring of $\mathbb{C}[x_0,\ldots,x_{m-1}]$.

Let $A=\mathbb C[x_0,\dots,x_{m-1}]$ be the polynomial ring on $m$ variables. Define $X(u)=\sum_{i=0}^{m-1} x_i u^{i+1}$ and denote by $(X(u)^r)_n$ the coefficient of $u^n$ in the expansion of the ...
Consider the ideal $I=(ag-ec-1,ah+bg-cf-de)$ of $R=K[a,b,c,d,e,f,g,h]$. Is $I$ prime when $K=\overline{\mathbb{F}}_2$ is the algebraic closure of a field of 2 elements? Can computers answer this ...