Module homomorphism

Module epimorphism

Let be an -module homomorphism. The following statements are equivalent:

1. is surjective.
2. is an epimorphism in .
3. .
4. is a regular epimorphism.
5. (with AC) is a split epimorphism in .

#state/develop | #lang/en | #SemBr