Abstract
Let R be a valuation ring with fraction field K and 2 ∈ R ×. We give an elementary proof of the following known result: two unimodular quadratic forms over R are isometric over K if and only if they are isometric over R. Our proof does not use cancelation of quadratic forms and yields an explicit algorithm to construct an isometry over R from a given isometry over K. The statement actually holds for hermitian forms over valuated involutary division rings, provided mild assumptions.
Similar content being viewed by others
References
S. Beke, Specialisation and good reduction for algebras with involution, preprint, http://www.math.uni-bielefeld.de/lag/man/488.pdf, 2013.
S. Beke and J. Van Geel, An isomorphism problem for Azumaya algebras with involution over semilocal bezout domains, Algebras and Representation Theory, pages 1–21, 2014.
Keller B.: A remark on quadratic spaces over noncommutative semilocal rings. Math. Z., 198, 63–71 (1988)
Ojanguren M., Panin I.: Rationally trivial Hermitian spaces are locally trivial. Math. Z., 237, 181–198 (2001)
I. Panin, Purity for multipliers, Algebra and number theory, pages 66–89. Hindustan Book Agency, Delhi, 2005.
J. Rosenberg, Algebraic K-theory and its applications, volume 147 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1994.
W. Scharlau, Quadratic and Hermitian forms, volume 270 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag, Berlin, 1985.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by a Swiss National Foundation of Science Grant no. IZK0Z2_151061.
Rights and permissions
About this article
Cite this article
First, U.A. An elementary proof that rationally isometric quadratic forms are isometric. Arch. Math. 103, 117–123 (2014). https://doi.org/10.1007/s00013-014-0676-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-014-0676-7