A059593 -id:A059593 - cp's OEIS frontend

A052501 Number of permutations sigma such that sigma^5=Id; degree-n permutations of order dividing 5.

1, 1, 1, 1, 1, 25, 145, 505, 1345, 3025, 78625, 809425, 4809025, 20787625, 72696625, 1961583625, 28478346625, 238536558625, 1425925698625, 6764765838625, 189239120970625, 3500701266525625, 37764092547420625, 288099608198025625

Offset: 0

N. J. A. Sloane, Jan 15 2000; encyclopedia(AT)pommard.inria.fr, Jan 25 2000

The number of degree-n permutations of order exactly p (where p is prime) satisfies a(n) = a(n-1) + (1 + a(n-p))*(n-1)!/(n-p)! with a(n)=0 if p>n. Also a(n) = Sum_{j=1..floor(n/p)} (n!/(j!*(n-p*j)!*(p^j))).

These are the telephone numbers T^(5)n of [Artioli et al., p. 7]. - _Eric M. Schmidt, Oct 12 2017

R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 2, 1999; see Example 5.2.10.

Alois P. Heinz, Table of n, a(n) for n = 0..300
Marcello Artioli, Giuseppe Dattoli, Silvia Licciardi, Simonetta Pagnutti, Motzkin Numbers: an Operational Point of View, arXiv:1703.07262 [math.CO], 2017.
Tomislav Došlic, Darko Veljan, Logarithmic behavior of some combinatorial sequences, Discrete Math. 308 (2008), no. 11, 2182--2212. MR2404544 (2009j:05019). - _N. J. A. Sloane_, May 01 2012
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 26
M. B. Kutler, C. R. Vinroot, On q-Analogs of Recursions for the Number of Involutions and Prime Order Elements in Symmetric Groups, JIS 13 (2010) #10.3.6.
L. Moser and M. Wyman, On solutions of x^d = 1 in symmetric groups, Canad. J. Math., 7 (1955), 159-168.

Cf. A000085, A001470, A001472, A053495-A053505, A005388.

Column k=5 of A008307.

m:=30; R:=PowerSeriesRing(Rationals(), m); b:=Coefficients(R!( Exp(x + x^5/5) )); [Factorial(n-1)*b[n]: n in [1..m]]; // G. C. Greubel, May 14 2019

spec := [S,{S=Set(Union(Cycle(Z,card=1),Cycle(Z,card=5)))},labeled]: seq(combstruct[count](spec,size=n), n=0..20);

max = 30; CoefficientList[ Series[ Exp[x + x^5/5], {x, 0, max}], x]*Range[0, max]! (* Jean-François Alcover, Feb 15 2012, after e.g.f. *)

my(x='x+O('x^30)); Vec(serlaplace( exp(x + x^5/5) )) \\ G. C. Greubel, May 14 2019

m = 30; T = taylor(exp(x + x^5/5), x, 0, m); [factorial(n)*T.coefficient(x, n) for n in (0..m)] # G. C. Greubel, May 14 2019

E.g.f.: exp(x + x^5/5).
a(n+5) = a(n+4) + (24 +50*n +35*n^2 +10*n^3 +n^4)*a(n), with a(0)= ... = a(4) = 1.
a(n) = a(n-1) + a(n-5)*(n-1)!/(n-5)!.
a(n) = Sum_{j = 0..floor(n/5)} n!/(5^j * j! * (n-5*j)!).
a(n) = A059593(n) + 1.

A057731 Irregular triangle read by rows: T(n,k) = number of elements of order k in symmetric group S_n, for n >= 1, 1 <= k <= g(n), where g(n) = A000793(n) is Landau's function.

Original entry on oeis.org

1, 1, 1, 1, 3, 2, 1, 9, 8, 6, 1, 25, 20, 30, 24, 20, 1, 75, 80, 180, 144, 240, 1, 231, 350, 840, 504, 1470, 720, 0, 0, 504, 0, 420, 1, 763, 1232, 5460, 1344, 10640, 5760, 5040, 0, 4032, 0, 3360, 0, 0, 2688, 1, 2619, 5768, 30996, 3024, 83160, 25920, 45360, 40320, 27216, 0, 30240, 0, 25920, 24192, 0, 0, 0, 0, 18144

Offset: 1

Roger Cuculière, Oct 29 2000

Every row for n >= 7 contains zeros. Landau's function quickly becomes > 2*n, and there is always a prime between n and 2*n. T(n,p) = 0 for such a prime p. - Franklin T. Adams-Watters, Oct 25 2011

			Triangle begins:
  1;
  1,   1;
  1,   3,   2;
  1,   9,   8,   6;
  1,  25,  20,  30,  24,   20;
  1,  75,  80, 180, 144,  240;
  1, 231, 350, 840, 504, 1470, 720, 0, 0, 504, 0, 420;
  ...

Herbert S. Wilf, "The asymptotics of e^P(z) and the number of elements of each order in S_n." Bull. Amer. Math. Soc., 15.2 (1986), 225-232.

Alois P. Heinz, Rows n = 1..30, flattened
FindStat - Combinatorial Statistic Finder, The order of a permutation.
Koda, Tatsuhiko; Sato, Masaki; Takegahara, Yugen; 2-adic properties for the numbers of involutions in the alternating groups, J. Algebra Appl. 14 (2015), no. 4, 1550052 (21 pages). - _N. J. A. Sloane_, Mar 27 2015

Cf. A000793, also A054522 (for cyclic group), A057740 (alternating group), A057741 (dihedral group).
Rows sums give A000142, last elements of rows give A074859, columns k=2, 3, 5, 7, 11 give A001189, A001471, A059593, A153760, A153761. - Alois P. Heinz, Feb 16 2013
Main diagonal gives A074351.
Cf. A222029.

Magma
```
{* Order(g) : g in Sym(6) *};
```

with(group):
for n from 1 do
    f := [seq(0,i=1..n!)] ;
    mknown := 0 ;
    # loop through the permutations of n
    Sn := combinat[permute](n) ;
    for per in Sn do
        # write this permutation in cycle notation
        gen := convert(per,disjcyc) ;
        # compute the list of lengths of the cycles, then the lcm of these
        cty := [seq(nops(op(i,gen)),i=1..nops(gen))] ;
        if cty <> [] then
            lcty := lcm(op(cty)) ;
        else
            lcty := 1 ;
        end if;
        f := subsop(lcty = op(lcty,f)+1,f) ;
        mknown := max(mknown,lcty) ;
    end do:
    ff := add(el,el=f) ;
    print(seq(f[i],i=1..mknown)) ;
end do: # R. J. Mathar, May 26 2014
# second Maple program:
b:= proc(n, g) option remember; `if`(n=0, x^g, add((j-1)!
      *b(n-j, ilcm(g, j))*binomial(n-1, j-1), j=1..n))
    end:
T:= n-> (p-> seq(coeff(p, x, i), i=1..degree(p)))(b(n, 1)):
seq(T(n), n=1..12);  # Alois P. Heinz, Jul 11 2017

<Jean-François Alcover, Aug 31 2016 *)
b[n_, g_] := b[n, g] = If[n == 0, x^g, Sum[(j-1)!*b[n-j, LCM[g, j]]* Binomial[n-1, j-1], {j, 1, n}]];
T[n_] := Function[p, Table[Coefficient[p, x, i], {i, 1, Exponent[p, x]}]][ b[n, 1]];
Array[T, 12] // Flatten (* Jean-François Alcover, May 03 2019, after Alois P. Heinz *)

T(n,k)={n!*polcoeff(sumdiv(k, i, moebius(k/i)*exp(sumdiv(i, j, x^j/j) + O(x*x^n))), n)} \\ Andrew Howroyd, Jul 02 2018

Sum_{k=1..A000793(n)} k*T(n,k) = A060014(n); A000793 = Landau's function.

More terms from N. J. A. Sloane, Nov 01 2000

A214003 Number of degree-n permutations of prime order.

Original entry on oeis.org

0, 1, 5, 17, 69, 299, 1805, 9099, 37331, 205559, 4853529, 49841615, 789513659, 9021065871, 70737031469, 420565124399, 22959075244095, 385032305178719, 10010973102879761, 152163983393187399, 1498273284120348539, 15639918041915598815, 1296204202723400597109

Offset: 1

Stephen A. Silver, Feb 15 2013

nonn

			The symmetric group S_5 has 25 elements of order 2, 20 elements of order 3, and 24 elements of order 5. All other elements are of nonprime order (1, 4, or 6), so a(5) = 25 + 20 + 24 = 69.

Stephen A. Silver, Table of n, a(n) for n = 1..451

Cf. A001189, A001471, A057731, A059593, A153760, A153761, A186202.

b:= proc(n,p) option remember;
      `if`(n add(b(n, ithprime(i)), i=1..numtheory[pi](n)):
seq(a(n), n=1..30);  # Alois P. Heinz, Feb 16 2013
# second Maple program:
b:= proc(n, g) option remember; `if`(n=0, `if`(isprime(g), 1, 0),
      add(b(n-j, ilcm(j, g))*(n-1)!/(n-j)!, j=1..n))
    end:
a:= n-> b(n, 1):
seq(a(n), n=1..23);  # Alois P. Heinz, Jan 19 2023

f[list_] :=Total[list]!/Apply[Times, list]/Apply[Times, Map[Length, Split[list]]!]; Table[Total[Map[f, Select[Partitions[n],PrimeQ[Apply[LCM, #]] &]]], {n, 1,23}] (* Geoffrey Critzer, Nov 08 2015 *)

a(n) = Sum_{p prime} A057731(n,p).

E.g.f.: exp(x)*Sum_{p in Primes} exp(x^p/p)-1. - Geoffrey Critzer, Nov 08 2015

A370108 Array read by antidiagonals: T(n,k) is the number of length n necklaces using at most k colors in which the convex hull of a set of beads of any color A can be transformed by rotation into the convex hull of a set of beads of any other color B (n >= 1, k >= 1).

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 0, 6, 2, 2, 0, 0, 10, 8, 6, 0, 0, 0, 15, 20, 18, 0, 2, 0, 0, 21, 40, 50, 0, 10, 0, 0, 0, 28, 70, 120, 24, 28, 0, 4, 0, 0, 36, 112, 252, 144, 60, 0, 12, 0, 0, 0, 45, 168, 476, 504, 230, 0, 54, 8, 4, 0

Offset: 1

Maxim Karimov and Vladislav Sulima, Feb 10 2024

It is assumed that all beads lie on a circle and distance between any two adjacent is the same.

			n\k| 1 2  3  4   5   6    7    8     9 ...
---+----------------------------------
 1 | 0 0  0  0   0   0    0    0     0 ... A000007
 2 | 0 1  3  6  10  15   21   28    36 ... A000217
 3 | 0 0  2  8  20  40   70  112   168 ... A007290
 4 | 0 2  6 18  50 120  252  476   828 ... A062026
 5 | 0 0  0  0  24 144  504 1344  3024 ... A059593
 6 | 0 2 10 28  60 230 1022 3640 10488
 7 | 0 0  0  0   0   0  720 5760 25920 ... A153760
 8 | 0 4 12 54 190 510 1134 7252 49284
 9 | 0 0  8 32  80 160  280  448 40992
...

Cf. A000007, A000013, A000217, A007290, A062026, A059593, A153760.

T(n,2) = A000013(ceiling(n/2)) * [n mod 2 == 0], where [] is the Iverson bracket.

For prime p, T(p,k) = (p-1)! * binomial(k,p).

cp's OEIS Frontend

A052501 Number of permutations sigma such that sigma^5=Id; degree-n permutations of order dividing 5.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A057731 Irregular triangle read by rows: T(n,k) = number of elements of order k in symmetric group S_n, for n >= 1, 1 <= k <= g(n), where g(n) = A000793(n) is Landau's function.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A214003 Number of degree-n permutations of prime order.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A370108 Array read by antidiagonals: T(n,k) is the number of length n necklaces using at most k colors in which the convex hull of a set of beads of any color A can be transformed by rotation into the convex hull of a set of beads of any other color B (n >= 1, k >= 1).

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula