Higman group

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
gptkbp:definedIn finite presentation
gptkbp:field group theory
https://www.w3.org/2000/01/rdf-schema#label Higman group
gptkbp:introducedIn 1951
gptkbp:namedAfter gptkb:Graham_Higman
gptkbp:notableFor first example of an infinite finitely presented simple group
gptkbp:presentedBy ⟨ a, b, c, d | a^{-1} b a = b^2, b^{-1} c b = c^2, c^{-1} d c = d^2, d^{-1} a d = a^2 ⟩
gptkbp:property infinite
finitely presented
not residually finite
infinite simple group
no non-trivial finite quotients
torsion-free
gptkbp:bfsParent gptkb:Graham_Higman
gptkbp:bfsLayer 6