Permutations with Restricted Cycle Structure and an Algorithmic Application

Let q be an integer with q ≥ 2. We give a new proof of a result of Erdos and Turan determining the proportion of elements of the finite symmetric group Sn having no cycle of length a multiple of q. We then extend our methods to the more difficult case of obtaining the proportion of such elements in the finite alternating group An. In both cases, we derive an asymptotic formula with error term for the above mentioned proportion, which contains an unexpected occurrence of the Gamma-function.We apply these results to estimate the proportion of elements of order 2f in Sn, and of order 3f in An and Sn, where gcd(2, f) = 1, and gcd(3, f) = 1, respectively, and log f is polylogarithmic in n. We also give estimates for the probability that the fth power of such elements is a transposition or a 3-cycle, respectively. An algorithmic application of these results to computing in An or Sn, given as a black-box group with an order oracle, is discussed.

[1]  Charles R. Leedham-Green,et al.  Calculating the order of an invertible matrix , 1995, Groups and Computation.

[2]  Sergey Bratus,et al.  Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture , 2000, J. Symb. Comput..

[3]  Simon Tavaré,et al.  A Rate for the Erdös-Turán Law , 1994, Comb. Probab. Comput..

[4]  William M. Y. Goh,et al.  The Expected order of a Random Permutation , 1991 .

[5]  P. Turán,et al.  On some problems of the statistical theory of partitions with application to characters of the symmetric group. II , 1977 .

[6]  K. Stromberg.  Introduction to classical real analysis , 1981 .

[7]  P. Erdos,et al.  On some problems of a statistical group-theory. II , 1967 .

[8]  M. R. Best.  The distribution of some variables on symmetric groups , 1970 .

[9]  E. Landau,et al.  Handbuch der Lehre von der Verteilung der Primzahlen , 1974 .

[10]  J. D. Bovey,et al.  An Approximate Probability Distribution for the order of Elements of the Symmetric Group , 1980 .

[11]  On some problems of a statistical group theory VII , 1972 .

[12]  Endre Szemerédi,et al.  On the Complexity of Matrix Group Problems I , 1984, FOCS.

[13]  D. Stroock,et al.  Probability Theory: An Analytic View , 1995, The Mathematical Gazette.

[14]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[15]  Cheryl E. Praeger,et al.  A black-box group algorithm for recognizing finite symmetric and alternating groups, I , 2003 .