Abstract Witt ring

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.

References

[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)