show/hide this revision's text 1 [made Community Wiki]

A surjective map between two modules (over a commutative ring) of the same rank is a bijection.