Witt rings of quadratically presentable fields
Authors
Abstract:
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically presentable fields}}, that is, fields equipped with a presentable partial order inequationaly compatible with the algebraic operations. In particular, Witt rings of symmetric bilinear forms over fields of arbitrary characteristics are isomorphic to Witt rings of suitably built quadratically presentable fields.
similar resources
Characterizing Reduced Witt Rings of Fields
Let IV(F) denote the Mitt ring of nondegenerate symmetric bilinear forms over a field F. In this paper wc shall be concerned only with formally real fields, for which we write Wr,,l(F) ~mm W(F)/Wil W(F) for the reduced R’itt ring. In [13, 141 the rings W(F) and iTred are shown to be special cases of absfrart lWtt rirqs and a great deal of the ring structure is developed in this setting. In [6] ...
full textFA-presentable Groups and Rings
We consider structures which are FA-presentable. It is known that an FA-presentable finitely generated group is virtually abelian; we strengthen this result by showing that an arbitrary FA-presentable group is locally virtually abelian. As a consequence, we prove that any FA-presentable ring is locally finite; this is a significant restriction and allows us to say a great deal about the structu...
full textWitt Rings and Matroids
The study of Witt rings of formally real fields in the algebraic theory of quadratic forms has led to a particularly good understanding of the finitely generated torsion free Witt rings. In this paper, we work primarily with a somewhat more general class of rings which can be completely characterized by (binary) matroids. The different types of standard constructions and invariants coming from ...
full textWitt Equivalence of Fields
Definition 1.1. If S is a multiplicative subset of a ring A (commutative with 1), the quotient hyperring A/mS = (A/mS,+, ·,−, 0, 1) is defined as follows: A/mS is the set of equivalence classes with respect to the equivalence relation ∼ on A defined by a ∼ b iff as = bt for some s, t ∈ S. The operations on A/mS are the obvious ones induced by the corresponding operations on A: Denote by a the e...
full textShifted Witt Groups of Semi-local Rings
We show that the odd-indexed derived Witt groups of a semilocal ring with trivial involution vanish. We show that this is wrong when the involution is not trivial and we provide examples.
full textMy Resources
Journal title
volume 12 issue 1
pages 1- 23
publication date 2020-01-01
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023