Deje $S$ ser algunas anillo de la base (un anillo conmutativo, o incluso sólo un campo), y $R$ un anillo conmutativo que contengan $S$ que es finitely generado (como un álgebra)$S$. ¿Qué condiciones se garantiza que cualquiera de los dos mínimos de los sistemas de generadores de $R$ $S$ tienen el mismo tamaño?
Estoy especialmente interesado en una imagen geométrica para explicar la situación, y si se vincula a otros geométricas ideas tales como la altura o el de Cohen-Macaulay propiedad.
También me gustaría saber qué pasa con diferenciales de los anillos - por ejemplo, cuando son los grados de un mínimo de dos sistemas homogéneos generadores de la misma (hasta permutación)?
¿Cuál es la geometría detrás de esto?
