A linear map is injective iff it has an inverse as a map $T:V\to T(V)$. That inverse is linear on the range. A global inverse on the entire codomain additionally requires surjectivity. Example: $T(x)=(x,0)$ has inverse $(x,0)\mapsto x$ on its image.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.