Let $M$ and $N$ be modules over the ring $R$. A module homomorphism between $M$ and $N$ is a function $f:M\to N$ such that for any $x,y \in M$ and $r\in R$,
If a module homomorphism is bijective, then it is an isomorphism of modules.
Wikidata ID: Q215111