Quoting English Wikipedia: 'a theorem of Graham Higman states that a finitely generated group has a recursive presentation if and only if it can be embedded in a finitely presented group'.

I'd like to ask if there is any nice criterion to characterize groups that can be embedded just in a finitely generated group?

| cite | improve this question | | | | |

A group embeds in a finitely (even 2-) generated group iff it is countable. It was proved by Higman, B. Neumann and H. Neumann (Higman, Graham; Neumann, B. H.; Neumann, Hanna Embedding theorems for groups. J. London Math. Soc. 24, (1949). 247–254.)

| cite | improve this answer | | | | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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