Supongamos $R=\mathbb{C}[x_1,\ldots, x_n]$ es un polinomio de anillo con $I$ siendo un ideal de a $R$. Deje $I'$ a ser un ideal de a $R[t]$.
Si $R[t]/I'$ es plano como una $\mathbb{C}[t]$-módulo y más $0$, $\dfrac{R[t]}{I'}\otimes_{\mathbb{C}[t]}\dfrac{\mathbb{C}[t]}{(t)}$ se reduce, entonces, a través de cualquier otro punto, es $$ \dfrac{R[t]}{yo}\otimes_{\mathbb{C}[t]}\dfrac{\mathbb{C}[t]}{\langle t-c\rangle} \cong \dfrac{R}{I} $$ para $c\not=0$ de reducción con $$ dim \left( \dfrac{R[t]}{yo}\otimes_{\mathbb{C}[t]}\dfrac{\mathbb{C}[t]}{(t)}\right) = dim\left(\dfrac{R[t]}{yo}\otimes_{\mathbb{C}[t]} \dfrac{\mathbb{C}[t]}{\langle t-c\rangle} \right)? $$
$$ $$ Aquí está un ejemplo (que, posiblemente, puede satisfacer las dos condiciones) que quiero calcular como un manos-en la práctica concreta.
$I' = \langle x_1-x_2+x_3, x_1 y_1 + z_1 y_2, x_3 y_3-z_2 y_2, x_2 y_2 +(1-t)z_2^2\rangle $ $R[t]=\mathbb{C}[x_1, x_2, x_3, y_1, y_2, y_3,z_1, z_2][t]$.
