Rings over which every module is free We know that modules over skewfields are free. Is the converse true? In other words, is it true that a nontrivial ring over which every module is free is a skewfield?
If the ring A is commutative, then writing that for any proper ideal I of A, the A-module A/I is free yields the result. What about the general case?
 A: Caution: the zero ring is not a division ring, but all of its modules are free!  But other arguments already given here show that any nonzero ring over which every right module is free is a division ring.
I'll pipe in with one more approach, a personal favorite.  Assume that every right R-module is free and that R ≠ 0.  Let S be a simple right R-module (at least one exists because R is nonzero: choose any maximal right ideal M of R and let S = R/M).  Then S is free, so choose a basis for S.  Pick any element x of the basis.  Because S is simple and x ∈ S∖{0} we have S = xR, and because x was a basis element we have xR ≅ R as right R-modules.  In particular, RR ≅ SR is simple, from which it follows that R is a division ring.
A: The non-commutative case isn't very different.  Assume for reasonableness that your ring is Noetherian (I refuse to think about non-Noetherian rings on principle).  Your argument gives that all two-sided ideals just be the whole algebra or trivial.  So, your algebra is simple.  
Another consequence is that every exact sequence splits.  Thus, if you have a pair of left ideals $I \subset J$, you can choose left ideals $K_1,K_2$ such that $J=I \oplus K_1$ and $R=J \oplus K_2$.  Thus, if you had a infinite descending chain of ideals, you would have a complementary ascending chain of ideals, which is impossible, since your ring is Noetherian.  Thus, your ring is Artinian.
By Artin-Wedderburn, your algebra is a matrix algebra over a skew field.  But every matrix ring except 1 x 1 has a non-free projective module.  So A is a skew-field.
A: Yes it is true that a ring (with unit) over which ever module is free is a division ring.
An easy way to show this is to say that if every module is free, then in particular, every module is projective and hence the ring is noetherian. Then you proceed to show that it is impossible for the ring to have a non-trivial ideal, using the fact that noetherian rings have invariant basis numbers.
A: Here's a more concrete version of the Ohdarkdevil's argument.  Since every module is free, every short exact sequence splits.  Suppose R is not a division ring, so it has some nontrivial left ideal I.  Then R splits as I \oplus R/I.  Now I is nonzero and free, so it contains a direct summand J isomorphic to R.  We can thus write R itself as a direct sum R \oplus M, for M=I/J \oplus R/I.  But now iterating this gives that R has a direct summand that is an infinite direct sum of copies of M.  This is impossible since any direct summand of R, being a quotient of R, must be finitely generated.
