Definition of free module.

Question

I have the following definition of free module:

A free module $F$ is an $R$-module together with a set map $i:X \to F$ such that given any other $R$-module $M$ and a set map $f:X \to M$ there exists a unique $R$-module homomorphism $\overline{f}:F \to M$ such that $\overline{f} \circ i = f$

However I see that very often $i$ is taken as an inclusion and $X$ as a subset of $F$.

Please can you clarify me what kind of identification is done here?

Note: this definition was taken from here

Answer 1

This definition does not give new free modules when $i$ is not an inclusion. Say $i(a)=i(b)$ where $a,b\in X$. Let $M$ be a nonzero module and $f:X\rightarrow M$ be a map with $f(c)$ for $c\in X$ with $c\neq b$ and say $f(b)\neq 0$. Then $f$ does not extend to a map $g:F\rightarrow M$ since $f(a)=0$ but $f(b)\neq 0$.

In other words, there is no free module $(F,X,i)$ with $i$ is not an inclusion.