The non-cancellation groups of certain groups which are split extensions of a finite abelian group by a finite rank free abelian group

Abstract

The groups we consider in this study belong to the class X0 of all nitely generated groups with nite commutator subgroups. We shall eventually narrow down to the groups of the form T owZn for some n 2 N and some nite abelian group T. For a X0-group H, we study the non-cancellation set, (H), which is de ned to be the set of all isomorphism classes of groups K such that H Z = K Z. For X0-groups H, on (H) there is an abelian group structure [38], de ned in terms of embeddings of K into H, for groups K of which the isomorphism classes belong to (H). If H is a nilpotent X0-group, then the group (H) is the same as the Hilton-Mislin (see [10]) genus group G(H) of H. A number of calculations of such Hilton-Mislin genus groups can be found in the literature, and in particular there is a very nice calculation in article [11] of Hilton and Scevenels. The main aim of this thesis is to compute non-cancellation (or genus) groups of special types of X0-groups such as mentioned above. The groups in question can in fact be considered to be direct products of metacyclic groups, very much as in [11]. We shall make extensive use of the methods developed in [30] and employ computer algebra packages to compute determinants of endomorphisms of nite groups.