Quadratic forms I (Ex)
From Manifold Atlas
Revision as of 18:22, 29 May 2012 by Diarmuid Crowley (Talk | contribs)
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].