ABSTRACT
In this section we prove among other things that in the main case of elimination the generic elimination ideal T0(S) ⊆ Q = ℤ[Ujv ] j , v is a principal ideal. We put this result into the set-up of a general elimination theory for regular sequences.
