Primary ideals in Witt rings
type: Item
instance of: scholarly article
title: Primary ideals in Witt rings
zbMATH Open document ID: 0574.10028
DOI: 10.1016/0021-8693(85)90015-8
author: Robert W. Fitzgerald
published in: Journal of Algebra
publication date: 1985-01-01T00:00:00Z
review text: For a field F, let WF denote the Witt ring of classes of non-degenerate symmetric bilinear forms. Spec WF was described, ca. 1970, by \textit{D. K. Harrison} (University of Kentucky Notes) and independently by \textit{F. Lorenz} and \textit{C. Leicht} [Invent. Math. 10, 82-88 (1970; Zbl 0227.13015)]: IF, the ideal of classes of even dimensional forms is always in Spec WF, if F is formally real, \(\alpha\) is an ordering of F, and p is a rational prime, then all other elements of Spec WF are the ideals \({\mathcal P}(\alpha)\), \({\mathcal P}(\alpha,p)\) of classes of forms whose Sylvester signature for \(\alpha\) is 0, or divisible by p, respectively. In this paper, the primary ideals of WF are calculated. These are, in addition to the elements of Spec WF, any ideal containing \(2^ k\) for \(k\in {\mathbb{N}}\), and, if F is formally real, the ideals \({\mathcal P}(\alpha,p^ n)\) of classes of forms whose Sylvester signatures for \(\alpha\) are divisible by \(p^ n.\) The height of F, h(F), is the smallest power of 2, if one exists, such that h(F) Rad WF\(=0\), or infinity otherwise. It is shown that, if F is formally real, then every ideal of WF has a primary decomposition if and only if, the number of orderings of F and h(F) are finite. Several consequences of this are found, e.g., if F satisfies the two hypotheses and an ideal I of WF contains the class of an odd dimensional form, then \(I\supset Rad WF\). Further for these fields, it is shown, i.a., that \({\mathcal P}(\alpha,3)\) principal for all \(\alpha\), is equivalent to unique factorization into irreducible elements for the classes of odd dimensional forms, and that F is SAP iff every ideal of WF containing a class of an odd dimensional form, is principal with generator a class of a non-totally indefinite form. The last topic is a determination of necessary and sufficient conditions on an ideal I in WF, where F is formally real with both finite height and only finitely many orderings, to satisfy \(I=ann(an…
reviewed by: A.F.T.W.Rosenberg
Mathematics Subject Classification ID: 11E16
Mathematics Subject Classification ID: 12D15
Mathematics Subject Classification ID: 13C05
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 11E10
zbMATH DE Number: 3916372
zbMATH Keywords: formally real fields
zbMATH Keywords: Witt ring
zbMATH Keywords: symmetric bilinear forms
zbMATH Keywords: primary ideals
zbMATH Keywords: Sylvester signatures
zbMATH Keywords: primary decomposition
zbMATH Keywords: number of orderings
MaRDI profile type: Publication
full work available at URL: 0021-8693(85)90015-8
OpenAlex ID: W1974243675
cites work: Q5563439
cites work: Über die Pythagoraszahl eines Körpers
cites work: Pfister forms and \(K\)-theory of fields
cites work: Quadratic Forms Over Formally Real Fields and Pythagorean Fields
cites work: Pfister ideals in Witt rings
cites work: Quadratic Forms of Height Two
cites work: Structure of Witt rings, quotients of abelian group rings and orderings of fields
cites work: Structure of Witt Rings and Quotients of Abelian Group Rings
cites work: Über Laskersche Ringe
cites work: Q5675788
cites work: Q3897105
cites work: On some uniqueness questions in primary representations of ideals
cites work: Hasse principles and the u-invariant over formally real fields
cites work: Q5732722
description: scientific article; zbMATH DE number 3916372