Pro-finite Presentations

Finite Presentations of Pro-p and Discrete Groups

Finite Idempotent Inverse Monoid Presentations

Several decidability problems for finite idempotent presentations of inverse monoids are solved, giving also insight into their structure. Besides providing a new elementary solution for the problem, solutions are obtained for the following problems: computing the maximal subgroups, being combinatorial, being semisimple, being fundamental, having infinite D-classes. The word problem for the lea...

Finite Presentations of Hyperbolic Groups

Although (G, dS) is not a geodesic metric space, its Cayley graph ΓS(G) is, and it is the geodesics that provide the natural relationship between dS and the Cayley graph. Let G be the vertex set on the Cayley graph. Two vertices g and h are adjacent in ΓS(G) precisely when g −1h ∈ S or h−1g ∈ S, in which case dS(g, h) = 1. Inductively, it follows that dS(g, h) = n precisely when the shortest pa...

Short Presentations for Finite Groups

We conjecture that every nite group G has a short presentation (in terms of generators and relations) in the sense that the total length of the relations is (log jGj) O(1). We show that it suuces to prove this conjecture for simple groups. Motivated by applications in computational complexity theory, we conjecture that for nite simple groups, such a short presentation is computable in polynomia...

Permutation Presentations of Modules over Finite Groups

We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a cyclic p-group is permutation projective.