Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 479175

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

0 votes
1 answer
135 views

Monomial order and initial ideals

Let $S=K[x_1,\ldots, x_n]$ polynomial ring. Let $I \subseteq S$ an ideal and $<$ be a (global) monomial order in $S$. If in$_<(I)$ a radical ideal, then in$_<(I)=$ in$_<(P_1) \;\cap$ in$_<(P_2)\cap \l …
Wágner Badilla's user avatar
2 votes
0 answers
90 views

Monomial order and prime ideals

Let $S=K[x_1,\ldots, x_n]$ polynomial ring. Let $I \subseteq S$ an ideal and $<$ be a monomial order in $S$. Is it possible to describe the minimal primes of in$_<(I)$ from the minimal primes of $I$? …
Wágner Badilla's user avatar
4 votes
0 answers
107 views

Gröbner deformations

Let $I \subseteq S=\mathbb{k}\left[x_{1}, \ldots, x_{d}\right]$ be an ideal, $<$ be a monomial order on $S$ and let $T=S[t]=\mathbb{k}\left[x_{1}, \ldots, x_{d}, t\right]$. There exists $\omega \in \m …
Wágner Badilla's user avatar
0 votes
Accepted

Monomial order and initial ideals

Since $in(I)$ is a radical ideal, $I$ is a radical ideal. Thus, $I=\bigcap_{i=1}^{l} P_i$, and so, $in(I)=in\left( \bigcap_{i=1}^{l} P_i \right) \subseteq \bigcap_{i=1}^{l} in(P_i)$. Now, we show that …
Wágner Badilla's user avatar