Abstract Witt ring

From Encyclopedia of Mathematics
Revision as of 17:18, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

There are many definitions of an abstract Witt ring. They all seek to define a class of rings that includes Witt rings of fields (of characteristic not two) and that is closed under fibre products, extensions by groups of exponent two and certain quotients. The need for such a class of rings became apparent early in the (still incomplete) classification of Noetherian Witt rings of fields.

Two series of definitions, that of J. Kleinstein and A. Rosenberg [a1] and M. Marshall [a2], led to the same class of rings, which is now the most widely used. In this sense, an abstract Witt ring is a pair where is a commutative ring with unit and is a subgroup of the multiplicative group which has exponent two, contains and generates additively. Let denote the ideal of generated by elements of the form , with . It is further assumed that:

1) if , then ;

2) if and , then ;

3) if , with and all , then there exist such that and .

When is the Witt ring of a field , then and property 3) is a consequence of the Witt cancellation theorem.


[a1] J. Kleinstein, A. Rosenberg, "Succinct and representational Witt rings" Pacific J. Math. , 86 (1980) pp. 99 – 137
[a2] M. Marshall, "Abstract Witt rings" , Queen's Univ. (1980)
How to Cite This Entry:
Abstract Witt ring. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by R.W. Fitzgerald (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article