groups with respect to standard embeddings . Another family of examples of infinite simple groups is given by , where is an infinite field and .

It is much more difficult to construct finitely generated infinite simple groups. The first existence result is non-explicit; it is due to Graham Higman and consists of simple quotients of the Higman group. Explicit examples, which turn out to be finitely presented, include the infinite Thompson groups