Definition
Fix a field k of characteristic not two. All vector spaces will be assumed to be finite-dimensional. We say that two spaces equipped with symmetric bilinear forms are equivalent if one can be obtained from the other by adding a metabolic quadratic space, that is, zero or more copies of a hyperbolic plane, the non-degenerate two-dimensional symmetric bilinear form with a norm 0 vector. Each class is represented by the core form of a Witt decomposition.
The Witt group of k is the abelian group W(k) of equivalence classes of non-degenerate symmetric bilinear forms, with the group operation corresponding to the orthogonal direct sum of forms. It is additively generated by the classes of one-dimensional forms. Although classes may contain spaces of different dimension, the parity of the dimension is constant across a class and so rk : W(k) → Z/2Z is a homomorphism.
The elements of finite order in the Witt group have order a power of 2; the torsion subgroup is the kernel of the functorial map from W(k) to W(kpy), where kpy is the Pythagorean closure of k; it is generated by the Pfister forms. If k is not formally real, then the Witt group is torsion, with exponent a power of 2. The height of the field k is the exponent of the torsion in the Witt group, if this is finite, or ∞ otherwise.
Read more about this topic: Witt Group
Famous quotes containing the word definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)