Can it happen that a direct sum of a free module and a non-free module is (isomorphic to) a free module?
Free $\oplus$ non-free $\cong$ free
2
$\begingroup$
abstract-algebra
modules
-
4Yes. Google for "stably free module" (e.g. on Keith Conrad's page). – 2017-01-28
-
0Don't you need a torsion-free condition on the non-free side? – 2017-01-28
-
0What is an example? – 2017-01-28
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.
-
0http://math.stackexchange.com/a/58035/121097 – 2017-01-29