Is a right inverse of a surjective linear map linear? On a finite dimensional vector space, the answer is yes (because surjective linear map must be an isomorphism). Does this extend to infinite dimensional vector space? In other words, for any linear surjection $T:V\rightarrow V$, AC guarantees the existence of right inverse $R:V\rightarrow V$. Must $R$ be linear?
How about $T:V\rightarrow W$ linear surjection in general?

No. Let $V = \text{span}(e_1, e_2, ...)$ and let $T : V \to V$ be given by $T e_1 = 0, T e_i = e_{i-1}$. A right inverse $S$ for $T$ necessarily sends $v = \sum c_i e_i$ to $\sum c_i e_{i+1} + c_v e_1$ but $c_v$ may be an arbitrary function of $v$. 
