finitely generated projective module
Let be a unital ring. A finitely generated projective right -module is of the form , , where is an idempotent in .
Let be a unital -algebra and be a projection in , . Then, is a finitely generated projective right -module. Further, is a pre-Hilbert -module with (-valued) inner product
Title | finitely generated projective module |
---|---|
Canonical name | FinitelyGeneratedProjectiveModule |
Date of creation | 2013-03-22 13:29:37 |
Last modified on | 2013-03-22 13:29:37 |
Owner | mhale (572) |
Last modified by | mhale (572) |
Numerical id | 6 |
Author | mhale (572) |
Entry type | Definition |
Classification | msc 16D40 |
Synonym | finite projective module |
Related topic | HilbertModule |