Definition:Rank of Free Group

Definition
Let $F$ be a free group.

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

Also see

 * Abelianization of Free Group is Free Abelian Group
 * Rank of Free Group on Set is Cardinality of Set