Sections of zero dimensional ideals over a Noetherian ring

摘要

Let A be a commutative Noetherian ring and $I subset A[T]$ be an ideal containing a monic polynomial such that A[T]/I is zero dimensional. Suppose the conormal module I/I 2 is generated by r elements over A[T]/I. Then a set of r generators of $I(0) := {f(0)|f in I}$ can be lifted to a r generating set of I.