Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A000142
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A000142 Factorial numbers: n! = 1*2*3*4*...*n (order of symmetric group S_n, number of permutations of n letters).
(Formerly M1675 N0659)
+0
776
1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800, 39916800, 479001600, 6227020800, 87178291200, 1307674368000, 20922789888000, 355687428096000, 6402373705728000, 121645100408832000, 2432902008176640000 (list; graph; listen)
OFFSET

0,3

COMMENT

For n >= 1 a(n) is the number of n X n (0,1) matrices with each row and column containing exactly one entry equal to 1.

Sum((-1)^i * i^n * binomial(n, i), i=0..n) = (-1)^n * n! - Yong Kong (ykong(AT)curagen.com), Dec 26 2000

Sum((-1)^i * (n-i)^n * binomial(n, i), i=0..n) = n! - Peter C. Heinig (algorithms(AT)gmx.de), Apr 10 2007

This sequence is the BinomialMean transform of A000354. (See A075271 for definition.) - John W. Layman (layman(AT)math.vt.edu), Sep 12 2002. This is easily verified from the Paul Barry formula for A000354, by interchanging summations and using the formula: Sum_k (-1)^k C(n-i,k) = KroneckerDelta(i,n). - David Callan (callan(AT)stat.wisc.edu), Aug 31 2003

Number of distinct subsets of T(n-1) elements with 1 element A, 2 elements B,..., n-1 elements X (e.g. n=5, we consider the distinct subsets of ABBCCCDDDD, and there are 5!=120.) - Jon Perry (perry(AT)globalnet.co.uk), Jun 12 2003

n! is the smallest number with that prime signature. E.g. 720 = 2^4*3^2*5. - Amarnath Murthy (amarnath_murthy(AT)yahoo.com), Jul 01 2003

a(n) is the permanent of the n X n matrix M with M(i,j) = 1 . - DELEHAM Philippe (kolotoko(AT)wanadoo.fr), Dec 15 2003

Given n objects of distinct sizes (e.g. areas, volumes) such that each object is sufficiently large simultaneously to contain all previous objects, then n! is the total number of essentially different arrangements using all n objects. Arbitrary levels of nesting of objects is permitted within arrangements. (...sequence inspired by considering left-over moving boxes.). If the restriction exists that each object is only able or permitted to contain at most one smaller (but possibly nested) object at a time, the resulting sequence begins 1,2,5,15,52 (Bell Numbers?). Sets of nested wooden boxes or traditional nested Russian dolls come to mind here. - Rick L. Shepherd (rshepherd2(AT)hotmail.com), Jan 14 2004

Stirling transform of a(n)=[2,2,6,24,120,...] is A052856(n)=[2,2,4,14,76,...]. - Michael Somos Mar 04 2004

Stirling transform of a(n)=[1,2,6,24,120,...] is A000670(n)=[1,3,13,75,...]. - Michael Somos Mar 04 2004

Stirling transform of a(n)=[0,2,6,24,120,...] is A052875(n)=[0,2,12,74,...]. - Michael Somos Mar 04 2004

Stirling transform of a(n-1)=[1,1,2,6,24,...] is A000629(n-1)=[1,2,6,26,...]. - Michael Somos Mar 04 2004

Stirling transform of a(n-1)=[0,1,2,6,24,...] is A002050(n-1)=[0,1,5,25,140,...]. - Michael Somos Mar 04 2004

Stirling transform of A006252(n)=[1,1,2,4,14,38,216,...] is a(n)=[1,2,6,24,120,...]. - Michael Somos Mar 04 2004

Stirling transform of -(-1)^n*A089064(n)=[1,0,1,-1,8,-26,194,...] is a(n-1)=[1,1,2,6,24,120,...]. - Michael Somos Mar 04 2004

First Eulerian transform of 1,1,1,1,1,1...The first Eulerian transform transforms a sequence s to a sequence t by the formula t(n) = Sum[e(n,k)s(k), k=0...n], where e(n,k) is a first-order Eulerian number [A008292]. - Ross La Haye (rlahaye(AT)new.rr.com), Feb 13 2005

1, 6, 120 are the only numbers which are both triangular and factorial. - Christopher M. Tomaszewski (cmt1288(AT)comcast.net), Mar 30 2005

n! is the n-th finite difference of consecutive n-th powers. E.g. for n=3, [0, 1, 8, 27, 64, ...] -> [1, 7, 19, 37, ...] -> [6, 12, 18, ...] -> [6, 6, ...] - Bryan Jacobs (bryanjj(AT)gmail.com), Mar 31 2005

a(n+1)=(n+1)!=1,2,6,.. has e.g.f. 1/(1-x)^2. - Paul Barry (pbarry(AT)wit.ie), Apr 22 2005

Write numbers 1 to n on a circle. Then a(n) = sum of the products of all n-2 adjacent numbers. E.g. a(5) = 1*2*3 + 2*3*4 + 3*4*5 + 4*5*1 +5*1*2 = 120. - Amarnath Murthy (amarnath_murthy(AT)yahoo.com), Jul 10 2005

The number of chains of maximal length in the power set of {1,2,...,n} ordered by the subset relation. - Rick L. Shepherd (rshepherd2(AT)hotmail.com), Feb 05 2006

The number of circular permutations of n letters for n >= 0 is 1,1,1,2,6,24,120,720,5040,40320,... - Xavier Noria (fxn(AT)hashref.com), Jun 04 2006

a(n)=number of deco polyominoes of height n (n>=1; see definitions in the Barcucci et al. references). - Emeric Deutsch (deutsch(AT)duke.poly.edu), Aug 07 2006

a(n) = number of partition tableaux of size n. See Steingrimsson/Williams link for the definition. - David Callan (callan(AT)stat.wisc.edu), Oct 06 2006

Consider the n! permutation of the integer sequence [n]=1,2,...,n. The i-th permutation consists of ncycle(i) permutation cycles. Then, if the sum Sum_{i=1}^{n!} 2^ncycle(i) runs from 1 to n!, we have Sum_{i=1}^{n!} 2^ncycle(i) = (n+1)!. E.g. for n=3 we have ncycle(1)=3, ncycle(2)=2, ncycle(3)=1, ncycle(4)=2, ncycle(5)=1, ncycle(6)=2 and 2^3+2^2+2^1+2^2+2^1+2^2 = 8+4+2+4+2+4 = 24 = (n+1)!. - Thomas Wieder (thomas.wieder(AT)t-online.de), Oct 11 2006

a(n) = number of set partitions of {1,2,...,2n-1,2n} into blocks of size 2 (perfect matchings) in which each block consists of one even and one odd integer. For example, a(3)=6 counts 12-34-56, 12-36-45, 14-23-56, 14-25-36, 16-23-45, 16-25-34. - David Callan (callan(AT)stat.wisc.edu), Mar 30 2007

Consider the multiset M = [1,2,2,3,3,3,4,4,4,4,...] = [1,2,2,...,n x 'n'] and form the set U (where U is a set in the strict sense) of all subsets N (where N may be a multiset again) of M. Then the number of elements |U| of U is equal to (n+1)!. E.g. for M = [1,2,2] we get U = [[],[2],[2,2],[1],[1,2],[1,2,2]] and |U| = 3! = 6. This observation is a more formal version of the comment given already by Rick L. Shepherd (rshepherd2(AT)hotmail.com), Jan 14 2004. - Thomas Wieder (thomas.wieder(AT)t-online.de), Nov 27 2007

For n >= 1, a(n) = 1, 2, 6, 24, ... are the positions corresponding to the 1's in decimal expansion of Liouville's constant (A012245). - Paul Muljadi (paulmuljadi(AT)yahoo.com), Apr 15 2008

REFERENCES

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 833.

E. Barcucci, A. Del Lungo and R. Pinzani, "Deco" polyominoes, permutations and random generation, Theoretical Computer Science, 159, 1996, 29-42.

E. Barcucci, A. Del Lungo, R. Pinzani and R. Sprugnoli, La hauteur des polyominos dirige's verticalement convexes, Actes du 31e Se'minaire Lotharingien de Combinatoire, Publ. IRMA, Universite' Strasbourg I (1993).

A. T. Benjamin and J. J. Quinn, Proofs that really count: the art of combinatorial proof, M.A.A. 2003, id. 125; also p. 90, ex. 3.

G. Labelle et al., Stirling numbers interpolation using permutations with forbidden subsequences, Discrete Math. 246 (2002), 177-195.

R. Ondrejka, 1273 exact factorials, Math. Comp., 24 (1970), 231.

A. P. Prudnikov, Yu. A. Brychkov and O. I. Marichev, "Integrals and Series", Volume 1: "Elementary Functions", Chapter 4: "Finite Sums", New York, Gordon and Breach Science Publishers, 1986-1992.

R. W. Robinson, Counting arrangements of bishops, pp. 198-214 of Combinatorial Mathematics IV (Adelaide 1975), Lect. Notes Math., 560 (1976).

Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, Vol. 9 (2006), Article 06.1.1.

R. P. Stanley, Recent Progress in Algebraic Combinatorics, Bull. Amer. Math. Soc., 40 (2003), 55-68.

D. Wells, The Penguin Dictionary of Curious and Interesting Numbers, pp. 102 Penguin Books 1987.

R. W. Whitty, Rook polynomials on two-dimensional surfaces..., Discrete Math., 308 (2008), 674-683.

LINKS

N. J. A. Sloane, The first 100 factorials: Table of n, n! for n = 0..100

Milan Janjic, Enumerative Formulas for Some Functions on Finite Sets

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, December 1972 [alternative scanned copy].

David Applegate and N. J. A. Sloane, Table giving cycle index of S_0 through S_40 in Maple format [gzipped]

H. Bottomley, Illustration of initial terms

D. Butler, Factorials!

David Callan, Counting Stabilized-Interval-Free Permutations, Journal of Integer Sequences, Vol. 7 (2004), Article 04.1.8.

P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.

R. M. Dickau, Permutation diagrams

H. Fripertinger, The elements of the symmetric group

H. Fripertinger, The elements of the symmetric group in cycle notation

INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 20

INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 297

C. Kimberling, Matrix Transformations of Integer Sequences, J. Integer Seqs., Vol. 6, 2003.

W. Lang, On generalizations of Stirling number triangles, J. Integer Seqs., Vol. 3 (2000), #00.2.4.

J. W. Layman, The Hankel Transform and Some of its Properties, J. Integer Sequences, 4 (2001), #01.1.5.

Paul Leyland, Generalized Cullen and Woodall numbers

N. E. Noerlund, Vorlesungen ueber Differenzenrechnung Springer 1924, p. 98.

Alexsandar Petojevic, The Function vM_m(s; a; z) and Some Well-Known Sequences, Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.7

F. Richman, Multiple precision arithmetic(Computing factorials up to 765!)

R. P. Stanley, A combinatorial miscellany

Einar Steingrimsson and Lauren K. Williams,Permutation tableaux and permutation patterns

G. Villemin's Almanach of Numbers, Factorielles

A. Walker, Factors of n!+-1

Sage Weil, The First 999 Factorials

Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.

Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.

Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.

Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.

Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.

Eric Weisstein's World of Mathematics, Laguerre Polynomial

Eric Weisstein's World of Mathematics, Diagonal Matrix

Wikipedia, Factorial

Index entries for sequences related to factorial numbers

Index entries for "core" sequences

FORMULA

a(0)=1; a(n)=n*a(n-1), n >= 1. n! ~ sqrt(2*Pi) * n^(n+1/2) / e^n (Stirling's approximation).

a(0)=1, a(n)=subs(x=1, diff(1/(2-x), x$n)), n=1, 2... - Karol A. Penson (penson(AT)lptl.jussieu.fr), Nov 12 2001

E.g.f.: 1/(1-x).

a(n) = Sum_{k = 0..n, (-1)^(n-k)*A000522(k)*binomial(n, k)} = Sum_{k = 0..n, (-1)^(n-k)*(x+k)^n*binomial(n, k)} . - DELEHAM Philippe, Jul 08 2004

Binomial transform of A000166. - Ross La Haye (rlahaye(AT)new.rr.com), Sep 21 2004

a(n)=sum(i=1, n, (-1)^(i-1) * sum of 1..n taken n-i at a time) - e.g. 4! = (1.2.3+1.2.4+1.3.4+2.3.4) - (1.2+1.3+1.4+2.3+2.4+3.4) + (1+2+3+4) - 1 4! = (6+8+12+24) - (2+3+4+6+8+12) + 10 - 1 4! = 50 - 35 + 10 - 1 = 24 - Jon Perry (perry(AT)globalnet.co.uk), Nov 14 2005

a(0)=1, a(1)=1; a(n)=(n-1)*(a(n-1)+a(n-2)), n >= 2. - Matthew J. White (mattjameswhite(AT)hotmail.com), Feb 21 2006

a(n) = 1/Det[Table[(i+j)!/i!/(j+1)!,{i,1,n},{j,1,n}]] for n>0. This is a matrix with Catalan numbers on diagonal. - Alexander Adamchuk (alex(AT)kolmogorov.com), Jul 04 2006

Hankel transform of A074664 . - Philippe DELEHAM (kolotoko(AT)wanadoo.fr), Jun 21 2007

EXAMPLE

There are 3! = 1*2*3 = 6 ways to arrange 3 letters {a,b,c}, namely abc, acb, bac, bca, cab, cba.

MAPLE

A000142 := n->n!; [ seq(n!, n=0..20) ];

spec := [ S, {S=Sequence(Z) }, labeled ]; [seq(combstruct[count](spec, size=n), n=0..20)];

(Maple program for computing cycle indices of symmetric groups)

M:=40: f:=array(0..M): f[0]:=1: lprint("n= ", 0); lprint(f[0]); f[1]:=x[1]: lprint("n= ", 1); lprint(f[1]);

for n from 2 to M do f[n]:=expand((1/n)*add( x[l]*f[n-l], l=1..n)); lprint("n= ", n); lprint(f[n]); od:

with(combinat):seq((stirling1(j+1, 1)*(stirling2(j+1, 1))*(-1)^j), j=0..20); - Zerinvary Lajos (zerinvarylajos(AT)yahoo.com), Mar 30 2007

with(combstruct):ZL0:=[S, {S=Set(Cycle(Z, card>0))}, labeled]: seq(count(ZL0, size=n), n=0..20); - Zerinvary Lajos (zerinvarylajos(AT)yahoo.com), Sep 26 2007

MATHEMATICA

a[n_] := n!; Table[a[n], {n, 0, 20}] - Stefan Steinerberger (stefan.steinerberger(AT)gmail.com), Mar 30 2006

PROGRAM

(AXIOM) [factorial(n) for n in 0..10]

(MAGMA) a:= func< n | Factorial(n) >; [ a(n) : n in [0..10]];

(PARI) a(n)=if(n<0, 0, n!)

CROSSREFS

Cf. A047920, A048631, A003422, A000165, A001563, A001044, A010050, A009445, A038507, A033312.

Cf. A034886.

Factorial base representation: A007623.

Adjacent sequences: A000139 A000140 A000141 this_sequence A000143 A000144 A000145

Sequence in context: A062919 A072133 A072167 this_sequence A104150 A124355 A133942

Cf. A012245.

KEYWORD

core,easy,nonn,nice,new

AUTHOR

njas

page 1

Search completed in 0.008 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified May 11 10:28 EDT 2008. Contains 139662 sequences.


AT&T Labs Research