Why does Zorn's Lemma fail to produce a largest group?

There is no set of all groups, but Zorn's Lemma can be phrased for partially ordered classes as well, but we need to require that any chain has an upper bound, also proper class chains. However in that case it is easy to define a proper class chain which has no upper bound.

Simply take for each ordinal $\alpha$ the free group generated by $\alpha$. There are natural injections given by the natural injections between two ordinals. However this chain does not have an upper bound, since an upper bound would be a group, which is a set, that embeds all ordinals. This is a contradiction to Hartogs theorem, of course.

(You can think about this in the following analog: an infinite chain of finite sets, or finite groups, will not have an upper bound which is also finite.)


Because there is no such thing as “the set of all groups”.