Higman group

The Higman group, often denoted as \( \text{H} \), is a notable example of a group in the field of group theory, particularly in the area of infinite groups. It was constructed by Graham Higman in the 1950s as an example of a finitely generated group that is not finitely presented. The Higman group can be defined using a particular way of organizing its generators and relations.