Abstract
This paper introduces an approach to the axiomatic theory of quadratic forms based on $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 $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.
Highlights
In this work we approach the axiomatic theory of quadratic forms by generalising the underlying principles of hyperrings [16] to certain partial orders we call presentable
Presentable posets generalise the behaviour of pierced powersets, that is powersets excluding the empty set with order given by inclusion
The presentable field induced by this hyperfield is quadratically presentable, and its Witt ring in our sense is isomorphic to its standard Witt ring
Summary
In this work we approach the axiomatic theory of quadratic forms by generalising the underlying principles of hyperrings [16] to certain partial orders we call presentable. We exhibit presentable groups, rings and fields arising in a natural way from hypergroups, hyperrings and hyperfields, respectively. This provides the main link between our theory and already existing axiomatic theories of quadratic forms. The presentable field induced by this hyperfield is quadratically presentable, and its Witt ring in our sense is isomorphic to its standard Witt ring What makes this construction of interest is the fact that it uniformely works for fields of both characteristic 2 and = 2. The techniques here heavily rely on the connection between presentable algebras and hyperalgebras
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Categories and General Algebraic Structures with Application
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.