Witt Ring of A Number Field
Let K be a number field. For quadratic forms over K, there is a Hasse invariant ±1 for every finite place corresponding to the Hilbert symbols. The invariants of a form over a number field are precisely the dimension, discriminant, all local Hasse invariants and the signatures coming from real embeddings.
We define the symbol ring over K, Sym(K), as a set of triples (d,e,f) with d in K*/K*2, e in Z/2 and f a sequence of elements ±1 indexed by the places of K, subject to the condition that all but finitely many terms of f are +1, that the value on acomplex places is +1 and that the product of all the terms in f in +1. Let be the sequence of Hilbert symbols: it satisfies the conditions on f just stated.
We define addition and multiplication as follows:
Then there is a surjective ring homomorphism from W(K) to Sym(K) obtained by mapping a class to discriminant, rank mod 2, and the sequence of Hasse invariants. The kernel is I3.
The symbol ring is a realisation of the Brauer-Wall group.
Read more about this topic: Witt Group
Famous quotes containing the words ring, number and/or field:
“What is a novel? I say: an invented story. At the same time a story which, though invented has the power to ring true. True to what? True to life as the reader knows life to be or, it may be, feels life to be. And I mean the adult, the grown-up reader. Such a reader has outgrown fairy tales, and we do not want the fantastic and the impossible. So I say to you that a novel must stand up to the adult tests of reality.”
—Elizabeth Bowen (1899–1973)
“If we remembered everything, we should on most occasions be as ill off as if we remembered nothing. It would take us as long to recall a space of time as it took the original time to elapse, and we should never get ahead with our thinking. All recollected times undergo, accordingly, what M. Ribot calls foreshortening; and this foreshortening is due to the omission of an enormous number of facts which filled them.”
—William James (1842–1910)
“I would say that deconstruction is affirmation rather than questioning, in a sense which is not positive: I would distinguish between the positive, or positions, and affirmations. I think that deconstruction is affirmative rather than questioning: this affirmation goes through some radical questioning, but it is not questioning in the field of analysis.”
—Jacques Derrida (b. 1930)