Isomorphism theorems
Theorem A (modules)

Let M and N be modules, and let φ : M → N be a module homomorphism. Then:

In particular, if φ is surjective then N is isomorphic to M / ker(φ).
change_case:english_lowercase