# Is there a smallest group containing all finite groups?

Does there exist a group $$G$$ such that

1. for any finite $$K$$ there is a monomorphism $$K \to G$$
2. for any $$H$$ with property 1 there is a monomorphism $$G \to H$$

If yes, is it the only one?

• Remark 1. Related question mathoverflow.net/questions/28945/… 2. It is obvious that if such $G$ is necessarily Cohopfian, then it is unique. Oct 24, 2022 at 0:37
• This wouldn't answer the question as stated, but: let $G_1 \cong \bigsqcup_n S_n$ be the coproduct of the symmetric groups, and let $G_2 \cong \bigoplus_n S_n$ be the direct sum (meaning the subgroup of the direct product with finite support). Both satisfy the first condition. Does anyone see an embedding of either of these groups into each other? Oct 24, 2022 at 3:59
• Hall's Universal Group is a countable locally finite group that contains all countable locally finite groups (in particular all finite groups) as subgroups (so in 2. the arrows are the wrong way round - for $H$ countable).
– j.p.
Oct 24, 2022 at 6:59
• The question has a negative answer (I wrote an answer) but it is natural to think about the locally finite case. I think I can show that the group $A=\bigoplus_{n\ge 5}\mathrm{Alt}_n$ has the property that every subgroup $H$ of $A$ that contains isomorphic copies of all finite groups, actually contains an isomorphic copy of $A$. Hence, if there exists a group $G$ that satisfies the required property restricted to locally finite groups, then $A$ itself satisfies this property. But I don't know if it's the case, i.e. if $A$ embeds into every locally finite group containing all finite groups.
– YCor
Oct 24, 2022 at 8:01
• As a follow-up to this question I asked the question suggested in my previous comment separately.
– YCor
Oct 28, 2022 at 12:39

No. To show that it doesn't exist it is enough to produce two groups $$G,H$$ which contain isomorphic copies of all finite groups, but such that no group containing isomorphic copies of all finite groups embeds into both $$G$$ and $$H$$.

Let $$(G_n)$$ be an enumeration of all finite groups. Let $$G=\bigoplus G_n$$ be the restricted direct sum and $$H={\Large\ast}_nG_n$$ the free product.

If $$K$$ is a subgroup of $$G$$ then $$K$$ is locally finite, hence freely indecomposable. Hence if $$K$$ is also isomorphic to a subgroup of $$H$$, then by Kurosh's subgroup theorem, $$K$$ is finite. In particular, $$K$$ doesn't contain isomorphic copies of all finite groups.

• "To show that it doesn't exist it is enough to produce two groups 𝐺,𝐻 which contain isomorphic copies of all finite groups, but which don't embed into each other." Don't you need to show that there is no third group that contains all finite subgroups that embeds into both $G$ and $H$? Oct 24, 2022 at 5:12
• @JimConant indeed. This is fixed now.
– YCor
Oct 24, 2022 at 5:25

• you furthermore impose that every finitely generated subgroup of $$G$$ is finite, and