Conjugate p p -elements of full support that generate the wreath product C p ≀C p Cp≀Cp

For a symmetric group G:=Sym(n) G:=Sym(n) and a conjugacy class X X of involutions in G G , it is known that if the class of involutions does not have a unique fixed point, then - with a few small exceptions - given two elements a,x∈X a,x∈X , either angbraca,x angbraca,x is isomorphic to the dihedral group D 8 D8 , or there is a further element y∈X y∈X such that angbraca,y≅angbracx,y≅D angbraca,y≅angbracx,y≅D8 (P. Rowley and D. Ward, On pi pi -Product Involution Graphs in Symmetric Groups. MIMS ePrint, 2014). One natural generalisation of this to p p -elements is to consider when two conjugate p p -elements generate a wreath product of two cyclic groups of order p p . In this paper we give necessary and sufficient conditions for this in the case that our p p -elements have full support. These conditions relate to given matrices that are of circulant or permutation type, and corresponding polynomials that represent these matrices. We also consider the case that the elements do not have full support, and see why generalising our results to such elements would not be a natural generalisation.