Etymology of Free Modules

Question

There already exists an answer here on Stack Exchange to the question of why projective modules are called projective modules. I would now like to find out the answer to the question "Why are free modules called free modules?"

The way I have long thought about the extent to which having a basis makes the modules free is the sense that, as in a vector space, you can pick a given "direction" in $R^n$, and that "direction" is then uniquely and unambiguously determined. You can "go on and on forever" on it, and while you might end up where you started, like in the case of a free module over $\mathbb{Z}_{m}$, $m \in \mathbb{N}$, you never actually "leave" the direction in which you started going in. In that sense, you are "free" in that "directions" are "independent".

It struck me however earlier today that this might not be the "canonical" reason for why free modules are said to be free.

Is there some "canonical" explanation for the term?

Look forward to your answers.

Answer 1

I was under the impression that (1) free modules are called free modules, for same reason that free groups are called free groups, and (2) that free groups are called free groups because there are no relations among the group elements (besides trivial things you would get from the group laws, such as associativity). Free modules are free modules because they are free of relations among the module elements.

Answer 2

Maybe it comes from the universal property of extension is the sense that each mapping $\phi_0: B\rightarrow N$ from a basis $B$ of a free module $M$ to another module $N$ can be extended to a module homomorphism $\phi:M\rightarrow N$ that extends $\phi_0$.

This is only valid for free modules and this extension property of an arbitrary mapping $\phi_0: B\rightarrow N$ is the ''freedom'' only a free module has.

Answer 3

The way I see it (it might not be exactly the original reason, but must be close enough), is that a free object (module, group, vector space) is called like that because of its universal property.

Saying that a module $M$ is free, means can be formulated by the following property : There exists a set $X$ (of generators, or basis) of elements of $M$ such that for all other module $N$, an homomorphism of modules $M\to N$ is the same as just a function from $X\to N$. This property has 2 important parts : firstly, a morphism is completely determined by its values on $X$, but more importantly, given any way to associate to every values of $X$ an element of $N$ defines a valid morphism.

The second property gives the answer to the question "how free am I to chose values for elements of $X$, so that I can define a module homomrophism?" - the answer being : you are free to chose in any way you want.