Higman group
= Higman group
{wiki=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.