The Elman-Lam-Krüskemper theorem (Q555236)

One of deep results on the powers \(I^nK\) of the fundamental ideal \(IK\) of the Witt ring of a field \(K\) is the equality \(I^nK=I_tK\cdot I^{n-1}K,\) which was proved by \textit{J. Arason} and \textit{R. Elman} [J. Algebra 239, No. 1, 150--160 (2001; Zbl 0990.11021)] with the help of strong tools such as Voevodsky's result on the Milnor Conjecture. Much earlier, \textit{M. Krüskemper} [Math. Z. 204, No. 1, 145--151 (1990; Zbl 0692.12006)] gave an elementary proof of this equality for the case \(n\geq \text{st}(K),\) where \(\text{st}(K)\) denotes the stability index of \(K,\) using several facts stated in \textit{M. Marshall}'s paper [Can. J. Math. 29, 606--614 (1977; Zbl 0332.12101)] without proofs. The main aim of the paper under review is to give a more detailed and structured exposition of Krüskemper's theorem together with the proofs of the results used from Marshall's paper.