I just encountered one statement out of blue when reading section 20 of 'local representation theory ' by Alperin.
Every module is a homomorphic image of a projective module.
Not sure how to see this. Any hint would be appreciated! Thank you!
I just encountered one statement out of blue when reading section 20 of 'local representation theory ' by Alperin.
Every module is a homomorphic image of a projective module.
Not sure how to see this. Any hint would be appreciated! Thank you!
Copyright © 2021 JogjaFile Inc.
We know that every $R-$module $M$ is a quotient of a free $R-$module using the typical surjective map $$ \bigoplus_{x\in M} Rx\to M\to 0.$$ A free module is projective, so we are done.