Let $S: \mathbb R^3 \to \mathbb R^4$ and $T: \mathbb R^4 \to \mathbb R^3$ be linear transformation such that $T\circ S$ is the identity map of $\mathbb R^3$. Then
$S\circ T$ is the identity map of $\mathbb R^4$.
$S \circ T$ is one-one, but not onto.
$S \circ T$ is not one-one,but onto.
$S \circ T$ is neither one-one nor onto.
Since $T\circ S$ is the identity map of $\mathbb R^3$ then it must be one-one and the dimension of domain ($\mathbb R^3$) and co-domain ($\mathbb R^3$) are same then it is a bijective map. Then we also say that $(T\circ S)^{-1}$ also exist. Then how to show which one is correct from the above options.