cp's OEIS Frontend

A060828 Size of the Sylow 3-subgroup of the symmetric group S_n.

%I A060828 #32 Dec 24 2016 21:29:42
%S A060828 1,1,1,3,3,3,9,9,9,81,81,81,243,243,243,729,729,729,6561,6561,6561,
%T A060828 19683,19683,19683,59049,59049,59049,1594323,1594323,1594323,4782969,
%U A060828 4782969,4782969,14348907,14348907,14348907,129140163,129140163,129140163,387420489
%N A060828 Size of the Sylow 3-subgroup of the symmetric group S_n.
%H A060828 Harry J. Smith, <a href="/A060828/b060828.txt">Table of n, a(n) for n = 0..200</a>
%H A060828 Tyler Ball, Tom Edgar, and Daniel Juda, <a href="http://dx.doi.org/10.4169/math.mag.87.2.135">Dominance Orders, Generalized Binomial Coefficients, and Kummer's Theorem</a>, Mathematics Magazine, Vol. 87, No. 2, April 2014, pp. 135-143.
%H A060828 <a href="/index/Gre#groups">Index entries for sequences related to groups</a>
%F A060828 a(n) = 3^A054861(n) = 3^(floor(n/3) + floor(n/9) + floor(n/27) + floor(n/81) + ...).
%F A060828 a(n) = Product_{i=1..n} A038500(i). - _Tom Edgar_, Apr 30 2014
%F A060828 a(n) = 3^(n/2 + O(log n)). - _Charles R Greathouse IV_, Aug 05 2015
%e A060828 a(3) = 3 because in S_3 the Sylow 3-subgroup is the subgroup generated by the 3-cycles (123) and (132), its order is 3.
%t A060828 (* By the formula: *) Table[3^IntegerExponent[n!, 3], {n, 0, 40}] (* _Bruno Berselli_, Aug 05 2013 *)
%o A060828 (PARI) for (n=0, 200, s=0; d=3; while (n>=d, s+=n\d; d*=3); write("b060828.txt", n, " ", 3^s)) \\ _Harry J. Smith_, Jul 12 2009
%o A060828 (Sage)
%o A060828 def A060828(n):
%o A060828     A004128 = lambda n: A004128(n//3) + n if n > 0 else 0
%o A060828     return 3^A004128(n//3)
%o A060828 [A060828(i) for i in (0..39)]  # _Peter Luschny_, Nov 16 2012
%Y A060828 Cf. A054861, A060818.
%K A060828 nonn,easy
%O A060828 0,4
%A A060828 Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 30 2001
%E A060828 More terms from _N. J. A. Sloane_, Jul 03 2008