Abstract :
For a symmetric group G:=symn G:=symn 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 ⟨a,x⟩ ⟨a,x⟩ is isomorphic to the dihedral group D8 D8, or there is a further element y∈X y∈X such that ⟨a,y⟩≅⟨x,y⟩≅D8 ⟨a,y⟩≅⟨x,y⟩≅D8 (P. Rowley and D. Ward, On π π-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.
