The wreath product W = A ≀ T, where A ≠ 1, is of type F P2 if and only if T is finite and A is of type F P2.

We outline the classification, up to isometry, of all tetrahedra in hyperbolic space with one or more vertices truncated, for which the dihedral angles along the edges formed by the truncations are all π/2, and those remaining are all submultiples of π. We show how to find the volumes of these polyhedra, and find presentations and small generating sets for the orientation-preserving subgroups of their reflection groups.

For particular families of these groups, we find low index torsion free subgroups, and construct associated manifolds and manifolds with boundary. In particular, for each g ≥ 2, we find a sequence of hyperbolic manifolds with totally geodesic boundary of genus g, which we conjecture to be of least volume among such manifolds.

This paper is concerned with the question of whether n-Engel groups are locally nilpotent. Although this seems unlikely in general, it is shown here that it is the case for the groups in a large class C including all residually soluble and residually finite groups (in fact all groups considered in traditional textbooks on group theory). This follows from the main result that there exist integers c(n), e(n) depending only on n, such that every finitely generated n-Engel group in the class C is both finite-of-exponent-e(n)–by–nilpotent-of-class≤c(n) and nilpotent-of-class≤c(n)–by–finite-of-exponent-e(n). Crucial in the proof is the fact that a finitely generated Engel group has finitely generated commutator subgroup.

We show that the group F discovered by Richard Thompson in 1965 has a subexponential upper bound for its Dehn function. This disproves a conjecture by Gersten. We also prove that F has a regular terminating confluent presentation.

The study of classes of finite groups is divided into two parts. The projective theory studies formations and Schunck classes. The dual injective theory studies Fitting classes. In each type of class a generalisation of Sylow's theorem holds. In this paper we seek further generalisations of Sylow's theorem which hold for classes which are neither injective nor projective, but obey other related properties. Firstly a common framework for the injective and projective theories is constructed. Within the context of this common framework further types of Sylow theorem can then be sought. An example is given of a property which is a simple hybrid of injectivity and projectivity which we will call ‘interjectivity’. A generalised Sylow theorem is then proved in the interjective case.

In this paper a scheme of an ‘economical’ embedding of an arbitrary set of groups without involutions in an infinite group with a proper simple normal subgroup is presented. This scheme is then applied to construction of groups with new properties.

In a paper published in this journal [1], J. T. Buckely, J. C. Lennox, B. H. Neumann and the authors considered the class of CF-groups, that G such that |H: CoreG (H)| is finite for all subgroups H. It is shown that locally finite CF-groups are abelian-by-finite and BCF, that is, there is an integer n such that |H: CoreG(H)| ≤ n for all subgroups H. The present paper studies these properties in the class of locally graded groups, the main result being that locally graded BCF-groups are abelian-by-finite. Whether locally graded CF-groups are BFC remains an open question. In this direction, the following problems is posed. Does there exist a finitely generated infinite periodic residually finite group in which all subgroups are finite or of finite index? Such groups are locally graded and CF but not BCF.

A group variety defined by one semigroup law in two variables is constructed and it is proved that its free group is not a periodic extension of a locally soluble group.

A group G has all of its subgroups normal-by-finite if H / coreG(H) is finite for all subgroups H of G. These groups can be quite complicated in general, as is seen from the so-called Tarski groups. However, the locally finite groups of this type are shown to be abelian-by-finite; and they are then boundedly core-finite, that is to say, there is a bound depending on G only for the indices | H: coreG(H)|.

The aim of this paper is to consider Problem 1 posed by Stewart and Wiegold in [6]. The main result is that if G is a finitely generated perfect group having non-trivial finite images, then there exists a finite image B of G such that the growth sequence of B is eventuallly faster than that of every finite image of G. Moreover we investigate the growth sequences of simple groups of the same order.

We give an alternative short proof of a recent theorem of J. A. Hillman and P.A. Linnell that an elementary amenable group with finite Hirsch number has, modulo its locally finite radical, a soluble normal subgroup with index and derived length bounded only in terms of the Hirsch number of the group.

We consider (finite) groups in which every two-generator subgroup has cyclic commutator subgroup. Among other things, these groups are metabelian modulo their hypercentres, and in the corresponding quotient group all subgroups of the commutator subgroup are normal.

Regular maps of type {p, q}r and the associated groups Gp,q,r are considered for small values for p, q and r. In particular, it is shown that the groups G4,6,6 and G5,5,6 are Abelian-by-infinite, and there are infinitely many regular maps of each of the types {4, 6}6, {5, 5}6, {5, 6}6 and {6, 6}6.

Any representation of a group G on a vector space V extends uniquely to a representation of G on the free metabelian Lie algebra on V. In this paper we study such representations and make some group-theoretic applications.

Examples of Fitting classes generated by certain periodic infinite groups are presented in this paper. The groups in question are finite extensions of direct products of quasi-cyclic (Prüfer) groups and are, in particular, Černikov groups. The methods applied follow closely those used for constructing Fitting classes of finite groups, especially in the case of nilpotent length three.

In this paper we consider the groups G = G(α, n) defined by the presentations . We derive a formula for [G′: ″] and determine the order of G whenever n ≦ 7. We show that G is a finite soluble group if n is odd, but that G can be infinite when n is even, n ≧ 8. We also show that G(6, 10) is a finite insoluble group involving PSU(3, 4), and that the group H with presentation is a finite group of deficiency zero of order at least 114,967,210,176,000.

We answer some questions which arise from a recent paper of Campbell, Heggie, Robertson and Thomas on one-relator free products of two cyclic groups. In the process we show how publicly accessible computer programs can be used to help answer questions about finite group presentations.

In this paper we study groups with Černikov conjugacy classes which are nilpotent-by-Černikov groups, giving full characterizations of them and applying the results obtained to some related areas.

If G is an elementary amenable group of finite Hirsch length h, then the quotient of G by its maximal locally finite normal subgroup has a maximal solvable normal subgroup, of derived length and index bounded in terms of h.

Our set-up will consist of the following: (i) a graph with vertex set V and edge set E; (ii) for each vertex ∈ V a non-trivial group Gv given by a presentation (xν; rν); (iii) for each edge e = {u, ν} ∈ E a group Ge given by a presentation (xu, xv; re) where re consists of the elements of ru ∪ rv, together with some further words on xu ∪ xv. We let G = (x; r) where x = ∪v∈v xv, r = ∪e∈E re. Ouraim is to try to describe the structure of G in terms of the groups Gv, (v ∈ V), Ge (e ∈ E). Under suitable conditions the natural homomorphisms Gv, → G (ν ∈ V), Ge → Ge (e ε E) are injective; and there is a short exact sequence (where, for any group H, IH is the augmentation ideal). Some (co)homological consequences of these resultsare derived.