Modules

• December 4th 2011, 09:02 AM
jcir2826
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.
• December 4th 2011, 09:34 AM
Drexel28
Re: Modules
Quote:

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 $R^{\oplus X}$ (i.e. $X$-fold coproduct). This has a natural basis of the form $\{e_x:x\in X\}$ where $e_x$ is the tuple with $1$ in the $x^{\text{th}}$ coordinate and zero elsewhere. I think the rest should be obvious.
• December 4th 2011, 07:54 PM
jcir2826
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?
• December 4th 2011, 08:19 PM
Drexel28
Re: Modules
Quote:

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 $\{e_x:x\in X\}$ and isn't $x\mapsto e_x$ a bijection?