In mathematics, the Higman group, introduced by Graham Higman (1951), was the first example of an infinite finitely presented group with no non-trivial finite quotients.
Inom matematiken är Higmans grupp, introducerad av Graham Higman (1951), var det första exemplet på en oändlig ändligt presenterad grupp med inga icke-triviala ändliga kvoter.