Witt rings as integral rings (Q1093667): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q216848 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: David W. Lewis / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of Witt Rings and Quotients of Abelian Group Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5675788 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The prime ideals of Witt rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplikative quadratische Formen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic forms over arbitrary fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zur Pfisterschen Theorie der quadratischen Formen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5763684 / rank | |||
Normal rank |
Latest revision as of 13:00, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Witt rings as integral rings |
scientific article |
Statements
Witt rings as integral rings (English)
0 references
1987
0 references
Let F denote a field of characteristic not two, and W(F) the Witt ring of classes of nondegenerate symmetric bilinear forms over F. It has been known since the definition of W(F) [\textit{E. Witt}, J. Reine Angew. Math. 176, 31-44 (1936; Zbl 0015.05701)] that W(F) is an integral extension of \({\mathbb{Z}}\). In this paper the author finds explicit monic polynomials in \({\mathbb{Z}}[x]\) that annihilate the classes of all forms of a fixed dimension: Thus, for n even, let \(p_ n(x)=x(x^ 2-2^ 2)(x^ 2-4^ 2)...(x^ 2-n^ 2)\) for n odd, let \(p_ n(x)=(x^ 2-1^ 2)(x^ 2- 3^ 2)...(x^ 2-n^ 2).\) Then, if f denotes a nondegenerate symmetric bilinear form of dimension n, and \(\bar f\) its class in W(F), then \(p_ n(\bar f)=0\). Other polynomials, \(t_ n\), in \({\mathbb{Z}}[x]\), are also given, with \(t_ n(\bar f)=0\), if f has determinant 1. Finally, if \(\bar f\) is in \(I^ n\), where I denotes the so-called fundamental ideal of even dimensional forms, a polynomial in \({\mathbb{Z}}[x]\) annihilating \(\bar f\) is determined.
0 references
characteristic not two
0 references
Witt ring
0 references
symmetric bilinear forms
0 references
integral extension
0 references
monic polynomials
0 references
fundamental ideal
0 references