Suppose $S$ and $T$ are linear operators on a vector space $V$ and $T\circ S=I$ where $I$ is the identity map. It's easy to see that $S$ is one-to-one.
If $V$ is finite dimensional, rank-nullity implies $S$ is invertible, so a little manipulation shows that $S\circ T=I$.
Makes me curious, if $V$ is infinite dimensional, is there an example of $T$ and $S$ such that $T\circ S=I$ but $S\circ T\neq I$?