Skip to main content
5 of 5
Unrelated to local rings.
Fan Zheng
  • 5.2k
  • 20
  • 37

Sum of initial ideals

Let $S_1=k[x_1,\ldots,x_n]$ and $S_2=k[y_1,\ldots,y_m]$ be two polynomial ringsover a field $k$ and $I\subset S_1$ and $J\subset S_2$ be two ideals. Let $S=k[x_1,\ldots,x_n,y_1,\ldots,y_m].$

Question Can we say $in_<(IS+JS)=(in_<IS+in_<JS)$ (all monomial orders are degree reverse lex in repective rings)?

(where $in_<I$ is the ideal generated by $\{in_<f:f\in I\}$)

Cusp
  • 1.7k
  • 1
  • 12
  • 20