Commutation semigroups of finite metacyclic groups with trivial centre

We study the right and left commutation semigroups of finite metacyclic groups with trivial centre. These are presented with (m, k - 1) = 1 and n = ind m(k), the smallest positive integer for which kn = 1 (mod m), with the conjugate of a by b written a(b) = b(-1) ab. The right and left commutation semigroups of G, denoted P(G) and.(G), are the semigroups of mappings generated by rho(g) : G. G and lambda(g) : G -> G defined by (x)rho(g) = [x, g] and (x)lambda(g) = [g, x], where the commutator of g and h is defined as [g, h] = g(-1) h(-1) gh. This paper builds on a previous study of commutation semigroups of dihedral groups conducted by the authors with C. Levy. Here we show that a similar approach can be applied to G, a metacyclic group with trivial centre. We give a construction of P(G) and.(G) as unions of containers, an idea presented in the previous paper on dihedral groups. In the case that < a > is cyclic of order p or p2 or its index is prime, we show that both P(G) and Lambda(G) are disjoint unions of maximal containers. In these cases, we give an explicit representation of the elements of each commutation semigroup as well as formulas for their exact orders. Finally, we extend a result of J. Countryman to show that, for G(m, n, k) with m prime, the condition vertical bar P(G)vertical bar = vertical bar Lambda(G)vertical bar is equivalent to P(G) = Lambda(G).