1. ## Modules

Given a set X, prove that there exists a free R-module F with a basis B for which there is a
bijection ϕ : B → X.

2. ## Re: Modules

Originally Posted by jcir2826
Given a set X, prove that there exists a free R-module F with a basis B for which there is a
bijection ϕ : B → X.
Consider the free module $\displaystyle R^{\oplus X}$ (i.e. $\displaystyle X$-fold coproduct). This has a natural basis of the form $\displaystyle \{e_x:x\in X\}$ where $\displaystyle e_x$ is the tuple with $\displaystyle 1$ in the $\displaystyle x^{\text{th}}$ coordinate and zero elsewhere. I think the rest should be obvious.

3. ## Re: Modules

So I am just missing to show that there is a bijection from this natural basis to the free module direct summand R and X?

4. ## Re: Modules

Originally Posted by jcir2826
So I am just missing to show that there is a bijection from this natural basis to the free module direct summand R and X?
The basis is $\displaystyle \{e_x:x\in X\}$ and isn't $\displaystyle x\mapsto e_x$ a bijection?