Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

Theorem. If $F(S)$ and $F(S')$ are isomorphic free groups with bases $S$ and $S'$ respectively, then $\operatorname{card}(S)=\operatorname{card}(S').$

I know a proof of this fact that uses the abelianizations of the groups. It seems a bit random to me. Is there a proof that uses only basic properties of free groups? Perhaps it would be less vague to put it this way: is there a proof that a student could possibly find who has just read the definition of a free group as a set of words over an alphabet and knows that it can also be seen as a group with a certain universal property?

I will be glad to accept an upvoted answer saying that no such proof is known. (And therefore doesn't exist.)

share|cite|improve this question

marked as duplicate by Davide Giraudo, Norbert, Dennis Gulko, Sasha, Andreas Caranti Mar 2 '13 at 14:43

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

The universal property of free groups is not sufficient, in and of itself, to establish this fact, since there are categories in which the corresponding result is false (e.g., the category of modules over a non-IBN ring). So no matter what, you're going to have to use properties that are very specific to groups. As such, I expect any proof that has to go to work directly with words is likely to be more complicated, not simpler, than considering the abelianization. – Arturo Magidin Feb 17 '12 at 20:16
Suppose $S<S'$. By the universal property of free groups, every group that can be generated by a set of cardinality $S'$ is a quotient of $F(S')$. On the other hand, every group that is a quotient of $F(S)$ must be generated by a set of cardinality $\leq S$ (not using the universal property here, just the fact that $F(S)$ is generated by a set of cardinality $S$). Thus it suffices to show that there exists a group $G$ that can be generated by a set of cardinality $S'$, but not by any set of smaller cardinality. – Jonas Meyer Feb 17 '12 at 20:20
Also keep in mind that a free group of rank at least $2$ contains subgroups isomorphic to the free group of any finite rank, and even of countable rank. This fact would make it extremeley hard (in my opinion) to come up with a proof that uses only what "a student who has just read the definition of free group as a set of words over an alphabet" would know; after all, for any two finite ranks you have embeddings $f\colon F(S)\to F(S')$ and $F(S')\to F(S)$. – Arturo Magidin Feb 17 '12 at 20:22
@ymar: Suppose you take the route of Jonas's first comment. What are the simplest groups you know that can be generated by $n$ elements, but not by $m$ elements for any $m\lt n$? Answer: $(C_p)^n$ with $p$ prime! Why? Because they are vector spaces over $\mathbb{F}_p$, so they have a well-defined dimension. But since you would be mapping $F(S')$ to an abelian group, you are factoring through the abelianization anyway. – Arturo Magidin Feb 17 '12 at 20:30
@ymar: My take on it is subjective. With motivation coming from first learning that the cardinality of a basis of a vector space is an invariant, one then learns that this can be extended to free modules over commutative rings, and in particular free abelian groups. But I guess without knowing this, it wouldn't be as natural. Would it be more natural or less natural to instead consider the quotients that are direct sums of ($S$ or $S'$) copies of $\mathbb Z_2$, because these are vector spaces over $\mathbb Z_2$, and minimal generating sets as groups are the same there as bases? – Jonas Meyer Feb 17 '12 at 20:33
up vote 13 down vote accepted

I would like to convince you that the proof by abelianization is perfectly natural. To me, a major guiding principle of mathematics is

If a problem looks hard, try to reduce it to linear algebra, which is easy.

Now, if two free groups are isomorphic then their abelianizations, the corresponding free abelian groups, must also be isomorphic, and as free $\mathbb{Z}$-modules, we know that the study of free abelian groups comes pretty close to linear algebra. In fact, by tensoring with $\mathbb{Q}$ (or with $\mathbb{F}_p$ for any prime $p$ as observed in the comments) we can reduce completely to linear algebra, since two $\mathbb{Q}$-vector spaces which are isomorphic must have bases of the same cardinality.

More generally, abelian groups are in many ways easier to study than nonabelian groups, so a good way to get a handle on an arbitrary group in general is to study its abelianization. For example, the abelianization of a fundamental group $\pi_1(X)$ is a homology group $H_1(X)$. Similarly, the most accessible part of the representation theory of a group $G$ is its $1$-dimensional representations, which correspond to representations of its abelianization. This basic but fundamental observation is, among other things, the appropriate context in which to view class field theory.

As another concrete example of how much easier it is to work with abelian groups, it is undecidable whether two presentations of two groups determine isomorphic groups. However, if the presentations are finite, then it is decidable whether their abelianizations are isomorphic because one can simply run a constructive proof of the structure theorem. Thus an easy way to tell that two presentations of two groups don't determine isomorphic groups is to apply the structure theorem to their abelianizations.

Jonas and Arturo both also make very good points in the comments about using the universal property. I would summarize their comments as

Free groups on sets of different cardinalities must be nonisomorphic because they have different universal properties.

There are lots of ways to see this, for example by observing that $\text{Hom}(F(S), \mathbb{Z}/2\mathbb{Z})$ is a vector space of dimension $|S|$. This is in particular a very short way to prove that two free groups on distinct finite sets must be non-isomorphic since one does not even need to know any linear algebra and can get away with just computing the cardinality of the Hom set.

However, as Arturo also cautions in the comments, this intuition can be misleading. Taken too far it suggests, incorrectly, that every ring has the invariant basis number (IBN) property.

share|cite|improve this answer
That's a fantastic answer, thanks! – user23211 Feb 17 '12 at 21:09