Linear map

Linear epimorphism

Let be a -linear map. The following statements are equivalent: linalg

• is surjective;
• is epic in Category of vector spaces;
• is split epic in Category of vector spaces (assuming AC)
• .

Proof

See Module epimorphism

---

tidy | en | sembr