‎‎we investigate graham higman's paper emph{enumerating }$p$emph{-groups}‎, ‎ii‎, ‎in which he formulated his famous porc conjecture‎. ‎we are able to simplify some of the theory‎. ‎in particular‎, ‎higman's paper contains five pages of homological algebra which he uses in‎ ‎his proof that the number of solutions in a finite field to a finite set of‎ ‎emph{monomial} equations is porc‎. ‎it turn...

‎we investigate graham higman's paper enumerating $p$-groups‎, ‎ii‎, ‎in which he formulated his famous porc conjecture‎. ‎we are able to simplify some of the theory‎. ‎in particular‎, ‎higman's paper contains five pages of homological algebra which he uses in‎ ‎his proof that the number of solutions in a finite field to a finite set of‎ ‎monomial equations is porc‎. ‎it turns out tha...

The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson’s group F and some of its generalizations interpret the Arithmetic without parameters.

graham higman has defined coset diagrams for psl(2,ℤ). these diagrams are composed of fragments, and the fragments are further composed of two or more circuits. q. mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...

This is an account of a series of lectures of Graham Higman on januarials, namely coset graphs for actions of triangle groups which become 2-face maps when embedded in orientable surfaces. Spilt Milk We that have done and thought, That have thought and done, Must ramble, and thin out Like milk spilt on a stone. The Nineteenth Century and After Though the great song return no more There’s keen d...

Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...

A better example is the Higman–Sims group. This is a primitive permutation group on 100 points. The point stabiliser is the Mathieu group M22, having orbits of sizes 1, 22 and 77, and acts 3-transitively on its orbit of size 22. Note that 77 = 22 · 21/6, so two points at distance 2 in the orbital graph of valency 22 have six common neighbours. The Higman–Sims group acts transitively on 3claws, ...

The purpose of this note is to construct a non-hopfian and finitely generated group 5 which is in no way complicated. This group S is a generalised free square of the free nilpotent group A of class two on two generators. Since A satisfies the maximum condition, S differs radically from the non-hopfian groups constructed by Graham Higman [ l ] , with which it may be compared. I t may perhaps be...

The groups Gk,1 of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call Mk,1, and to inverse monoids, called Invk,1; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids Mk,1 have connections with circuit complexity (studied in another paper). Here we prove that Mk,1 and Invk,1 are congruence-s...