Extendability of quadratic modules with sufficient Witt index. II (Q795080): Difference between revisions

A ring R is called of essentially finite type over a field k if \(R=S^{- 1}\cdot C\) where S is a multiplicatively closed subset of C and C is a finitely generated k-algebra. The following theorem is proved: Let R be a commutative regular ring in which 2 is invertible and which is of essentially finite type over a field k. Let dim R\(=d\geq 1\), then every quadratic \(R[T_ 1,...,T_ n]-\) space q with Witt index of q \(modulo (T_ 1,...,T_ n)\geq d\) is extended from R. - This theorem is an improvement of an earlier result of the same author [ibid. 86, 159-180 (1984; Zbl 0537.10013)].