Surjective implies right inverse
93040
$f$ is surjective iff it has a right inverse: using the axiom of choice and errors in ProofWiki
42941
Pair of adjoint functors and showing that two certain maps are inverses
48009
Left inverse implies right inverse in a finite ring
16092
How to prove that the composition of two surjective functions is surjective
152191
Why is a monoid with right identity and left inverse not necessarily a group?
35034
Multiplicative inverses for $Z_n$
113109
Showing that a map is bijective and finding its inverse
44361
An automorphism that has no fixed points except for the identity and is its own inverse implies commutativity
83255
Finding inverse in non-commutative ring
45792
Rigorous proof that surjectivity implies injectivity for finite sets
59133
Show that an inverse of a bijective linear map is a linear map.
48990
Linear map $f:V\rightarrow V$ injective $\Longleftrightarrow$ surjective
76674
Let $S:U\rightarrow V, \ T:V\rightarrow W$ and if $S$ and $T$ are both injective/surjective, is $T\circ S$ injective/surjective?
104757
If $f \circ g$ is surjective, then f is surjective
44148
Functions that are their own inverse.
153634
A statment about the equivalence between the Axiom of Choice and the surjectivity of the projections.
145875
Inverse of a bijection f is equal to its derivative