Rank of a free group

Question

I am trying to know whether the following result is true.

Let $F$ be a free group with a basis $X$, and let $X'=\{xF':x\in X\}$, where $F'$ is the commutator subgroup of $F$. Then, $|X|=|X'|$.

In order to answer this question, I am trying to prove that $x\mapsto xF'$ is a bijection. It is clearly a surjection. So, I am trying to prove that $x_1F'=x_2F'$ implies that $x_1=x_2$. But, I really can't move on.

I hope that this question is not too stupid. Any help?

Answer 1

Note that $xF' = yF'$ if and only if $y^{-1}x\in F'$. By the universal property of the commutator subgroup, any morphism $\varphi$ of $F$ into an abelian group factors uniquely through $F/F'$.

That is, given $\varphi: F \rightarrow A$ for $A$ abelian, there exists a unique $\bar\varphi: F/F' \rightarrow A$ so that $\bar\varphi \circ \pi =\varphi$, where $\pi$ is the usual quotient homomorphism:

$$\require{AMScd} \begin{CD} F @>\varphi>> A \\ @VV\pi V @V \mathbb 1 VV \\ {F/F'} @>\bar\varphi>> A \end{CD}$$

If $y^{-1}x \in F'$, it follows that any homomorphism $\varphi$ of $F$ into an abelian group takes $y^{-1}x$ to the identity.

For any distinct free generators $x$ and $y$ of the free group, can you construct a homomorphism of $F$ into an abelian group that takes $y^{-1}x$ to a nonzero element?

Answer 2

I like the answer from Morgan O, but you could also get this from the following fact, which you may already know (and is not too hard to prove): the derived subgroup $F^{\prime}$ consists of those elements of $F$, thought of as (reduced) words on $X$, for which the exponent sum of each generator from $X$ is equal to zero.

Now, if $x,y\in X$ and $xF^{\prime} = yF^{\prime}$, then $x^{-1}y\in F^{\prime}$, so the exponent sum of $x$ in the word $x^{-1}y$ can only be zero if $y=x$.