Higman embedding theorem

E1701875 UNEXPLORED

The Higman embedding theorem is a fundamental result in group theory stating that every finitely generated recursively presented group can be embedded in a finitely presented group.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Higman embedding theorem canonical	1
Higman–Neumann–Neumann embedding theorem	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Graham Higman → knownFor → Higman embedding theorem ⓘ

Graham Higman → knownFor → Higman–Neumann–Neumann embedding theorem ⓘ

linked to: Higman embedding theorem