16
$\begingroup$

The category $\mathbf{Set}$ contains as its objects all small sets and arrows all functions between them. A set is "small" if it belongs to a larger set $U$, the universe.

Let $\mathbf{Grp}$ be the category of small groups and morphisms between them, and $\mathbf{Abs}$ be the category of small abelian groups and its morphisms.

I don't see what it means to say there is no functor $f: \mathbf{Grp} \to \mathbf{Abs}$ that sends each group to its center, when $U$ isn't even specified. Can anybody explain?

  • 4
    The claim you're asking about should be true for every universe $U$ and should have nothing to do with universes; there should be a counterexample using a few finite groups.2012-06-14
  • 8
    General advice: don't worry about universes. They're only there to pacify logicians and set theorists..2012-06-14
  • 11
    Well, there is a time and a place to worry about universes, but this isn't it.2012-06-14
  • 0
    This is not a category problem, you should look for why this does not make sense by group homomorphisms.2012-06-15
  • 1
    There also is this nice post http://qchu.wordpress.com/2012/02/06/centers-2-categories-and-the-eckmann-hilton-argument/ by Qiaochu Yuan above2012-06-15
  • 0
    If we restrict our category to groups with monomorphisms, and $f:G\rightarrow H$ is a homomorphism of groups, then it does seem to be the case that $f^{-1}(Z(H)) \subseteq Z(G)$. Viewing this containment as a monomorphism, this does give a contravariant functor from Groups with monos to Ab with monos.2015-01-01

1 Answers 1

28

The problem with such a functor is group theoretical, not categorical. The problem arises because morphisms between groups need not map centers to centers. It doesn't have anything to do with universes, smallness, or foundational issues.

Consider for example $G=C_2$, $H=S_3$, $K=C_2$, and the maps $f\colon G\to H$ sending the nontrivial element of $G$ to $(1,2)$, and $g\colon H\to K$ by viewing $S_3/A_3$ as the cyclic group of order $2$.

Since $Z(G) = Z(K) = C_2$, and $Z(H) = \{1\}$, such a putative functor $\mathcal{F}$ would give that $\mathcal{F}(f)\colon C_2\to\{1\}$ is the zero map $\mathbf{z}$, and $\mathcal{F}(g)\colon \{1\}\to C_2$ is the inclusion of the trivial group into $C_2$. But $g\circ f=\mathrm{id}_{C_2}$, so $$\mathrm{id}_{C_2} = \mathcal{F}(\mathrm{id}_{C_2}) = \mathcal{F}(gf) = \mathcal{F}(g)\mathcal{F}(f) = \mathbf{z}$$ where $\mathbf{z}\colon C_2\to C_2$ is the zero map.

Thus, no such functor $\mathcal{F}$ can exist.

  • 0
    Can you explain why giving this nice example proves that no such functor exists? Does $\mathbf{Grps}$ contain as its objects every single group?2012-06-15
  • 1
    @Corey545: $\mathsf{Grps}$ will contain, at the very least, an isomorphic copy of every countable group. But, if you are concerned about foundational and universe issues, note that a universe is, by definition, a model for ZFC, and therefore must contain $\omega$ (an inductive set), and hence contain an isomorphic copy of any countable group (by constructing it with underlying set contained in $\omega$). In fact, you can guarantee much more: you can guarantee groups of arbitrarily large cardinality, since for any ordinal $X$ in the universe there must exist $Y$ with $X\lt Y$.2012-06-15
  • 2
    @Corey545: So while it need not contain *every* finite group (because the collection of, say, all sets with two elements will not be an element of the universe), it will definitely contain at least one isomorphic copy of every finite group. The example above shows that there is no way to define a functor, because a functor must map identity functions to identity functions, and the functor above then yields that the identity is not the identity.2012-06-15
  • 2
    @Corey545: Why do you ask if Grp contains all groups? This example only uses $1$, $C_2$, and $S_3$ and surely you wouldn't call something the category of groups if it didn't at the very very least have a subcategory isomorphic to the category formed by those 3 groups and all homomorphisms between them.2012-06-19