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.
- An exact sequence for \(K^M_*/2\) with applications to quadratic forms
- scientific article; zbMATH DE number 2132158 (Why is no real title available?)
- scientific article; zbMATH DE number 3815780 (Why is no real title available?)
- scientific article; zbMATH DE number 589364 (Why is no real title available?)
- On real local-global principles
- On the theory of quadratic forms over formally real fields
- Powers of the fundamental ideal in the Witt ring
- Quadratic forms under algebraic extensions
- Reduced Stability of the Witt Ring of a Field and its Pythagorean Closure
- Some Local-Global Principles for Formally Real Fields
- The algebraic and geometric theory of quadratic forms
This page was built for publication: The Elman-Lam-Krüskemper theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555236)
