finitely generated projective module


Let R be a unital ring. A finitely generatedMathworldPlanetmathPlanetmathPlanetmath projective right R-module is of the form eRn, n, where e is an idempotentMathworldPlanetmathPlanetmath in EndR(Rn).

Let A be a unital C*-algebraMathworldPlanetmathPlanetmath and p be a projectionPlanetmathPlanetmathPlanetmath in EndA(An), n. Then, =pAn is a finitely generated projective right A-module. Further, is a pre-Hilbert A-module with (A-valued) inner product

u,v=i=1nui*vi,u,v.
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