Not only does it generalize to higher n, it also shows a bit more: not only that the lack of such vector field for an even n, but the also the existence of such for odds.
Not only does it generalize to higher n, it also shows a bit more: not only that the lack of such vector field for an even n, but the also the existence of such for odds.
Even better, the (4n - 1)-sphere (so think of S^3, S^7, S^11, ...) can be thought of as a certain subset of H^n (same thing as before but with quaternions instead of complex numbers), where multiplication by i, j and k are available! And now in this case you have not only one nowhere-vanishing vector field on the sphere, but three everywhere pairwise orthogonal vector fields. This in particular shows that S^3 is 'parallelisable' — a property it shares with S^1 and means that there exists a continuous global choice of basis for each tangent space.