Quadratic forms I (Ex)
(Difference between revisions)
Diarmuid Crowley (Talk | contribs)
(Created page with "<wikitex>; We follow {{citeD|Lück2001|Definition 4.22}} Let $P$ be a finitely generated free $\Lambda$ module, $\Lambda$ a ring with involution. Let $$ T \colon \textup{Hom...")
Newer edit →
(Created page with "<wikitex>; We follow {{citeD|Lück2001|Definition 4.22}} Let $P$ be a finitely generated free $\Lambda$ module, $\Lambda$ a ring with involution. Let $$ T \colon \textup{Hom...")
Newer edit →
Revision as of 18:20, 29 May 2012
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.