# Is the free group on an empty set defined?

I'm guessing that the free group on an empty set is either the trivial group or isn't defined. Some clarification would be appreciated.

• I would say it is the trivial group, but I don't recall ever seeing the question addressed. Commented Mar 21, 2013 at 20:30
• Trivial group. If you use the "forgetful functor" definition, this comes from the empty set being an initial object in the category of sets.
– user641
Commented Mar 21, 2013 at 20:31

It is defined. Free groups are defined for any sets just by the following universal property:

Let $S$ be a set. A group $F(S)$ with a map $\iota\colon S\rightarrow F(S)$ is called free over $S$, if for any group $H$ and any map $g\colon S\rightarrow H$ there is exactly one group homomorphism $h\colon F(S)\rightarrow H$, such that $g=h\circ\iota$.

(With this universal property, the free group over a fixed set is defined up to isomorphism and one possible choice in this isomorphism class is just the construction with "words" in $S$, which you propably know.)

Let's try this for the empty set $\emptyset$. The guess was, that it could be the trivial group $\{0\}$ with the only possible map $\iota\colon \emptyset\rightarrow \{0\}$, namely the empty map. So let $H$ be an arbitary group and $g\colon \emptyset\rightarrow H$ a map. Since there is no such map except the empty map, h must be the empty map. Now we are searching for a group homomorphism $h\colon \{0\}\rightarrow H$, such that $g=h\circ\iota$. Since there is exactly one group homomorphism from $\{0\}$ to another group, namely the one, which send $0$ to the neutral element of $H$ and $g=h\circ\iota$ holds for this map (both sides are just the empty map), we get the result: The free group over the empty set is just the trivial group.

If you know some basic category theory, you could do this way more elegant and things become more natural.

• Good answer! +1 Commented Mar 21, 2013 at 20:58
• This proof can also be made into a one-liner (see my answer). Commented Mar 24, 2013 at 16:47
• For sure, but I think, that if the OP would have had the knowledge understanding this nice argument, he wouldn't have asked. Many things can proved nicely in one line - if you know enough. I tried to give a understandble category-free version and mentioned, that, with the language of category theory, things get way more clearer. Commented Mar 24, 2013 at 21:22

Short version: It's the trivial group. The only element is the empty word.

Long version: To elaborate, we write the set of words in $A$ as $\mathfrak{W}_A$ (considered as the monoid generated by $A\cup A^{-1}$ under concatenation) and the free group on $A$ as $\mathfrak{F}_A$. $$\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} \newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\ \ }\phantom{}\kern-1.5ex} \newcommand{\da}[1]{\bigg\downarrow\raise.5ex\rlap{\scriptstyle#1}} \begin{array}{ccc} \mathfrak{W}_\emptyset & \ra{\delta} & \mathfrak{F}_\emptyset \\ & \searrow & \da{\mu}\\ & & 1 & \end{array}$$ While $\delta:\mathfrak{W}_A\rightarrow \mathfrak{F}_A$ is not usually injective (since $\mathfrak{F}_A$ is the set of equivalence classes of cyclically reduced words), in this case, the only word with letters in $\emptyset$ is the empty word, so actually $\delta$ is an isomorphism (of groups!), as is $\mu:\mathfrak{F}_\emptyset\rightarrow 1$ for the same reasons.

Left adjoints preserve colimits, in particular the empty colimits, i.e. initial objects. In particular, the free group functor takes the initial set, i.e. $\emptyset$, to the initial group, i.e. the trivial group. Another example: The polynomial ring without variables is the base ring.

My guess is that would be a group with one element. There should be results about what direct products of groups have to do with sets of generators. What happens when you take the direct free product of a no generators and hence no relations, with a group with some other specified set of generators and relations?

PS: For now, I've struck out "direct" but left it visible, while substituting "free". But could this work just as well either way?

PPS: 15 minutes ago I was going to post that by hindsight I should definitely have said "free product". I've spent the past 15 minutes attempting to log in, without success. Now I'm out of time for a couple of hours, so maybe in two or three hours I'll try again.

• You mean free product, not direct product.
– user641
Commented Mar 21, 2013 at 20:32
• um...... Actually I could probably mean either one, couldn't I? Commented Mar 21, 2013 at 20:37
• But yes, it looks nicer and neater if I say "free product". Commented Mar 21, 2013 at 20:38
• I don't see how direct product can be relevant here.
– user641
Commented Mar 21, 2013 at 20:52
• I can't work out from the comments and postscripts whether there's still an issue here, but while the free product and the direct product match up in certain small cases, it's still far more honest to call it a free product, since it's a free product by definition and a direct product by accident. Commented Mar 21, 2013 at 22:31