Dada una Reducción de la Base de Groebner $(f_1,\ldots,f_n)$ por un ideal $I$, no puede ser otra base $(g_1,\ldots,g_m)$ $I$ donde $m<n$?
He estado leyendo a través de Cox, pero parece que no puede encontrar una respuesta.
Respuesta
¿Demasiados anuncios?
No, Zhen han sugerido un contraejemplo y hay otro aquí. En la práctica, algunos ideales han bases de grobner que son tan grandes que no sabemos lo que son, porque el equipo de cálculo toma mucho tiempo y requiere de mucha memoria a la realidad completa. Tan lejos como el hallazgo de una mínima generación de un ideal de elegir un grobner base, incluso una reducción de uno, es una muy mala estrategia.
Ver también este desbordamiento de matemáticas post.
