Relations in \(I^{n}\) and \(I^{n}W_{q}\) in characteristic 2 (Q2456207)

The topic of this paper is a natural description by generators and relations of the abelian groups \(I^n\subset W\) and \(I^nW_q\subset W_q\) for a field \(K\) of characteristic 2. Here \(W=W(K)\) is the Witt ring of symmetric bilinear forms over \(K\) and \(W_q\) is the Witt group of quadratic forms over \(K\) which is a \(W\)-module. \(I\) is the fundamental ideal of \(W\). The natural generators of \(I^n\) resp. \(I^nW_q\) are of course the (Witt classes of) \(n\)-fold forms \(\alpha\in I^n\) resp. ``\(n\)-fold quadratic'' forms \(\alpha\otimes[1,d]\in I^nW_q\) (with \(d\in K)\). The proofs follow exactly the corresponding proofs for char\,\(K\neq 2\) in a paper of \textit{J. Kr. Arason} and \textit{R. Elman} [J. Algebra 239, No. 1, 150--160 (2001; Zbl 0990.11021)]. In each case one needs the isomorphism (predicted by the second Milnor conjecture) \(I^n/I^{n+1} \cong K_n(K)/2K_n(K)\). As is well known this was proved in 1982 by K. Kato for char\,\(K=2\). It is remarkable that no differential forms are needed in the present paper!