The concept of the Witt ring comes from algebra . He is supposed to cover the square spaces over a ring , i.e. H. the modules with a symmetrical bilinear shape. It was introduced by Ernst Witt in 1937 .
W.
(
R.
)
{\ displaystyle W (R)}
R.
{\ displaystyle R}
R.
{\ displaystyle R}
Definition for any ring
Be a commutative ring .
R.
{\ displaystyle R}
The set of square spaces , i.e. H. der -modules with symmetrical bilinear form, has a ring structure with the orthogonal direct sum as addition and the tensor product as multiplication. Two square spaces are said to be stable equivalent if there are such that is isomorphic to .
R.
{\ displaystyle R}
⊕
{\ displaystyle \ oplus}
⊗
{\ displaystyle \ otimes}
S.
1
,
S.
2
{\ displaystyle S_ {1}, S_ {2}}
T
1
,
T
2
{\ displaystyle T_ {1}, T_ {2}}
S.
1
⊕
T
1
{\ displaystyle S_ {1} \ oplus T_ {1}}
S.
2
⊕
T
2
{\ displaystyle S_ {2} \ oplus T_ {2}}
Stable equivalence is an equivalence relation . The set of equivalence classes forms a ring with the links induced by and , which is referred to as the Witt ring .
⊕
{\ displaystyle \ oplus}
⊗
{\ displaystyle \ otimes}
W.
(
R.
)
{\ displaystyle W (R)}
Equivalent definition for body
Be a body of characteristic . The hyperbolic plane is the one with the symmetric bilinear form , the metabolic quadratic form is an orthogonal direct sum of hyperbolic planes.
K
{\ displaystyle K}
char
(
K
)
≠
2
{\ displaystyle \ operatorname {char} (K) \ neq 2}
H
{\ displaystyle H}
K
2
{\ displaystyle K ^ {2}}
b
(
x
,
y
)
=
2
x
y
{\ displaystyle b (x, y) = 2xy}
For such bodies, the Witt ring can be defined equivalently as the set of equivalence classes for the equivalence relation: and are equivalent if there is a metabolic quadratic form with or .
W.
(
K
)
{\ displaystyle W (K)}
S.
1
{\ displaystyle S_ {1}}
S.
2
{\ displaystyle S_ {2}}
M.
{\ displaystyle M}
S.
2
=
S.
1
⊕
M.
{\ displaystyle S_ {2} = S_ {1} \ oplus M}
S.
1
=
S.
2
⊕
M.
{\ displaystyle S_ {1} = S_ {2} \ oplus M}
Examples
For every algebraically closed field is .
K
{\ displaystyle K}
W.
(
K
)
≃
Z
/
2
Z
{\ displaystyle W (K) \ simeq \ mathbb {Z} / 2 \ mathbb {Z}}
For the field of real numbers is .
W.
(
R.
)
≃
Z
{\ displaystyle W (\ mathbb {R}) \ simeq \ mathbb {Z}}
For the ring of whole numbers is (Hasse-Minkowski).
W.
(
Z
)
=
Z
{\ displaystyle W (\ mathbb {Z}) = \ mathbb {Z}}
For the field of rational numbers is (weak form of the Hasse-Minkowski theorem ).
W.
(
Q
)
=
W.
(
R.
)
⨁
⊕
p
W.
(
F.
p
)
{\ displaystyle W (\ mathbb {Q}) = W (\ mathbb {R}) \ bigoplus \ oplus _ {p} W (F_ {p})}
For a finite field with is .
F.
q
{\ displaystyle F_ {q}}
q
≡
1
mod
4th
{\ displaystyle q \ equiv 1 \ mod 4}
W.
(
F.
q
)
≃
Z
/
4th
Z
{\ displaystyle W (F_ {q}) \ simeq \ mathbb {Z} / 4 \ mathbb {Z}}
For a finite field with is .
F.
q
{\ displaystyle F_ {q}}
q
≡
3
mod
4th
{\ displaystyle q \ equiv 3 \ mod 4}
W.
(
F.
q
)
≃
Z
/
2
Z
[
F.
∗
/
F.
∗
2
]
{\ displaystyle W (F_ {q}) \ simeq \ mathbb {Z} / 2 \ mathbb {Z} \ left [F ^ {*} / F ^ {* 2} \ right]}
For a local body with maximum ideal the norm is .
K
{\ displaystyle K}
m
{\ displaystyle {\ mathfrak {m}}}
N
(
m
)
≡
1
mod
4th
{\ displaystyle N ({\ mathfrak {m}}) \ equiv 1 \ mod 4}
W.
(
K
)
=
Z
/
2
Z
[
Z
/
2
Z
⊕
Z
/
2
Z
]
{\ displaystyle W (K) = \ mathbb {Z} / 2 \ mathbb {Z} \ left [\ mathbb {Z} / 2 \ mathbb {Z} \ oplus \ mathbb {Z} / 2 \ mathbb {Z} \ right]}
For a local body with maximum ideal the norm is .
K
{\ displaystyle K}
m
{\ displaystyle {\ mathfrak {m}}}
N
(
m
)
≡
3
mod
4th
{\ displaystyle N ({\ mathfrak {m}}) \ equiv 3 \ mod 4}
W.
(
K
)
=
Z
/
4th
Z
[
Z
/
2
Z
]
{\ displaystyle W (K) = \ mathbb {Z} / 4 \ mathbb {Z} \ left [\ mathbb {Z} / 2 \ mathbb {Z} \ right]}
For each body the torsion component is generated by von Pfister forms . The order of each torsion element is a power of two.
K
{\ displaystyle K}
W.
(
K
)
{\ displaystyle W (K)}
literature
Individual evidence
↑ Witt, Theory of Square Shapes in Any Bodies, J. Reine Angew. Math., Volume 176, 1937, pp. 31-44
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">