Quadratic forms I (Ex)
From Manifold Atlas
We follow [Lück2001, Definition 4.22] Let be a finitely generated free module, a ring with involution. Let
be the involution where is the canonical isomorphism given by evaluation. Define
Exercise 0.1. Show that defines a unique -quadratic form on and that every such form arises in this way.
Remark 0.2. See also [Ranicki1980, Section 2].