# Rank-nullity depends on the existence of a Hamel basis?

Suppose that V and W are vector spaces (say over the reals) and that T is a linear surjection from V onto W with kernel K. By picking a basis for W (using choice) and pulling it back through T to a linearly independent set in V (again using choice) it is not difficult to get a linear embedding i of W into V satisfying T(i(w)) = w. It is then easily checked that the map $(k,w) \mapsto k + i(w)$ gives an isomorphism from $K \oplus W$ onto V. This all seems a little hamfisted though for such an algebraic result. I thought I would check whether there is some way to get such an isomorphism which avoids choice. I would guess there is no chance since there this isomorphism is so devastatingly nonunique... In fact I'm not sure I even want to ask this question anymore now that I think about it...

-
The choice-free result is that $T$ induces an isomorphism from the quotient space $V/K$ to $W$. –  Chris Eagle Mar 17 '11 at 22:49