# Definition:Rank of Free Group

Let $F$ be a free group.
The rank of $F$ is the dimension of its abelianization as a module over $\Z$.