Overview
Let M be a nonsingular quadratic module over a commutative ring R. The primary goal of this chapter is the proof of the following fact: If M is free of finite rank, then C(M) has a special element, or, equivalently, the Arf algebra A(M) of M is isomorphic to R[X](X2 - aX - b) for some a and b in R with a2 + 4b ∈ R*. This has the important consequence that the results developed in Chapters 7 and 8 for C(M) hold for any free M. In addition, we will establish that the discriminant a2 + 4b of X2 - aX - b is the classical discriminant of the quadratic module M (except for a factor 2 if rank M is odd). It was established in Chapter 9D that the Arf algebra A(M) is a separable quadratic algebra. The structural features of this algebra will play a decisive role in the proofs. Throughout, R is an arbitrary commutative ring.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Hahn, A.J. (1994). The Existence of Special Elements. In: Quadratic Algebras, Clifford Algebras, and Arithmetic Witt Groups. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4684-6311-8_12
Download citation
DOI: https://doi.org/10.1007/978-1-4684-6311-8_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-94110-3
Online ISBN: 978-1-4684-6311-8
eBook Packages: Springer Book Archive