Higman embedding theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:author gptkb:Graham_Higman
gptkbp:field group theory
https://www.w3.org/2000/01/rdf-schema#label Higman embedding theorem
gptkbp:influenced theory of decision problems in group theory
gptkbp:namedAfter gptkb:Graham_Higman
gptkbp:publishedIn gptkb:Proceedings_of_the_London_Mathematical_Society
gptkbp:relatedTo finitely presented group
group embedding
recursively presented group
gptkbp:state Every finitely generated recursively presented group can be embedded in a finitely presented group.
gptkbp:yearProved 1961
gptkbp:bfsParent gptkb:Graham_Higman
gptkbp:bfsLayer 6