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 man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“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)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)