Linear map

Linear epimorphism

Let be a -linear map. The following statements are equivalent: #m/thm/linalg

• is surjective;
• is epic in ;
• is split epic in (assuming AC)
• .

#state/tidy | #lang/en | #SemBr