MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Some of my friends and I were trying to discover a universal mapping property that characterizes the integers $\mathbb{Z}$ in the category of groups without referring to the underlying sets (So it is a no no to say it is the free group on a one element set). One of the big uses of $\mathbb{Z}$ is that it is a separator, i.e. for any two distinct pair of parallel arrows $f,g:A \rightarrow B$, there is at least one morphism $x:\mathbb{Z} \rightarrow A$ such that $f\circ x \neq g\circ x$. Unfortunately, any free group satisfies this property. I have two questions:

What are the separators in the category of groups (I think they will be just the free groups, but I have not proved this yet). Given this I think I can write down a universal property for Z which stays inside the category of groups.

Whether or not the above claim is correct, does anyone have a UMP that does the job?

share|cite|improve this question
Is UMP synonymous with "universal property"? – Qiaochu Yuan Nov 2 '09 at 22:50
Yes, sorry for the nonstandard terminology, UMP = universal mapping property – Steven Gubkin Nov 2 '09 at 23:07
up vote 5 down vote accepted

According to your definition, the separators will be exactly those groups $G$ with a surjection to $\mathbb{Z}$. One direction: if $f(x)\neq g(x)$, then take the composition $G \twoheadrightarrow \mathbb{Z} \rightarrow A$ where the latter map sends the generator of $\mathbb{Z}$ to $x$. For the other direction, to distinguish the maps $f,g: \mathbb{Z} \rightarrow \mathbb{Z}$ defined by $f(x)=x$ and $g(x)=2x$, your separator must surject to $\mathbb{Z}$.

This is a huge class of groups which has no particularly nice description beyond the definition, as far as I know.

share|cite|improve this answer
Thanks! I was not thinking. Do you have any insight on the second question? – Steven Gubkin Nov 2 '09 at 23:09
"Every separator has a map to it that is an epimorphism" ia a property but is not universal. It seems the most promising way to proceed is consider the set of groups and assignments of morphisms $x$ to pairs $f,g$, satisfying some kind of naturality/commutativity/coherence condition, such that these correspond to the category of "groups with a surjection onto $\mathbb Z$", of which $\mathbb Z$ is of course a final element. But I can't think of a way to do this right now. – Will Sawin Feb 14 '12 at 1:54
"This is a huge class of groups which has no particularly nice description beyond the definition, as far as I know." If you don't need the description to be nice, just use the yoneda lemma. – PyRulez Jan 16 '15 at 22:53
Wait, if one takes $G = \mathbb{Z}$ and then you have $s : G \rightarrow \mathbb{Z} = x \mapsto 3*x$ Is a separator for you $f$ and $g$ but no an epimorphism I think. I am probably wrong. If so, how? – PyRulez Jan 16 '15 at 23:08
@PyRulez: a group that maps nontrivially to $\mathbb{Z}$ surjects to $\mathbb{Z}$ (take the image of a nontrivial map). – Tom Church Jan 21 '15 at 8:00

Let $H$ be any group and let $G$ the direct product of $\mathbb{Z}$ and $H$. By sending all elements of $H$ to the identity, you can see that $G$ is also a separator. It is easy to construct lots more examples along these lines (any group with $\mathbb{Z}$ as a quotient will do, for starters).

share|cite|improve this answer

A group surjects onto $\mathbb{Z}$ if and only if its abelianization tensored with the rationals is non-trivial.

share|cite|improve this answer
The group of rationals doesn't surject to Z, yet its abelianization (namely itself) tensored with the rationals (still itself) is non-trivial. – Andreas Blass Feb 3 '12 at 18:29
You're right. I was thinking of the finitely generated case. – HJRW Feb 3 '12 at 19:33

It is the minimal separator in the sense that it corepresents the forgetful functor Grp $\rightarrow$ Set, but this uses sets so probably isn't what you are after. In fact it is the same as the statement that $\mathbb{Z}$ is the free group on one generator.

share|cite|improve this answer

In category theory there is the notion of a set $\mathcal S$ of generators for a category $\mathcal C$. The defining property is that for any morphisms $f,g:A \to B$ in $\mathcal C$ $f=g$ if and only $fa=ga$ for all morphisms $a:S \to A$ for all $S \in \mathcal S$.

Thus for a set of generators morphisms with the same domain and codomain in $\mathcal C$ can be distinguished by morphisms from elements of $\mathcal S$.

A more subtle property which is especially relevant to algebraic categories is that of density. A small subcategory $D$ of $\mathcal C$ is dense in $\mathcal C$ of for any objects $A,B$ of $\mathcal C$ the natural function

$$\mathcal C(A,B) \to Nat_D(\mathcal C(-,A), \mathcal C(-,B))$$

which assigns to a morphism $f$ the natural transformation of functors $D\to \mathcal C$ which sends $\mathcal C(-,A) \to \mathcal C(-,B)$ by composition. Intuitively, this says that morphisms $A \to B$ can be recovered from morphisms from objects of $D$.

A dense subcategory of the category of groups is that generated by the free groups on a 1 and 2 elements.

For more discussion, see an article by Vaughan Pratt

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.