Can it happen that a direct sum of a free module and a non-free module is (isomorphic to) a free module?
Asked
Active
Viewed 243 times
2
-
4Yes. Google for "stably free module" (e.g. on Keith Conrad's page). – darij grinberg Jan 28 '17 at 19:14
-
Don't you need a torsion-free condition on the non-free side? – User3773 Jan 28 '17 at 19:18
-
What is an example? – Jan 28 '17 at 19:24
1 Answers
2
An example from geometry. The module over $C^{\infty} (S^2)$ of tangent vector fields on the 2 sphere is not free (every vector field has a zero), but if you stabilize it by a free module of rank 1 ( you think of normal vector field to the sphere) you obtain a free rank 3 module : the restriction of vector fields on $R^3$ to the sphere.
Thomas
- 8,588