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