HOME

TheInfoList



OR:

In mathematics, and more specifically
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathe ...
, the superfactorial of a positive integer n is the product of the first n
factorial In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times (n-1) \times (n-2) ...
s. They are a special case of the
Jordan–Pólya number In mathematics, the Jordan–Pólya numbers are the numbers that can be obtained by multiplying together one or more factorials, not required to be distinct from each other. For instance, 480 is a Jordan–Pólya number because Every tree has a nu ...
s, which are products of arbitrary collections of factorials.


Definition

The nth superfactorial \mathit(n) may be defined as: \begin \mathit(n) &= 1!\cdot 2!\cdot \cdots n! = \prod_^ i! = n!\cdot\mathit(n-1)\\ &= 1^n \cdot 2^ \cdot \cdots n = \prod_^ i^.\\ \end Following the usual convention for the
empty product In mathematics, an empty product, or nullary product or vacuous product, is the result of multiplying no factors. It is by convention equal to the multiplicative identity (assuming there is an identity for the multiplication operation in questio ...
, the superfactorial of 0 is 1. The
integer sequence In mathematics, an integer sequence is a sequence (i.e., an ordered list) of integers. An integer sequence may be specified ''explicitly'' by giving a formula for its ''n''th term, or ''implicitly'' by giving a relationship between its terms. Fo ...
of superfactorials, beginning with \mathit(0)=1, is:


Properties

Just as the factorials can be continuously interpolated by the
gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except t ...
, the superfactorials can be continuously interpolated by the
Barnes G-function In mathematics, the Barnes G-function ''G''(''z'') is a function that is an extension of superfactorials to the complex numbers. It is related to the gamma function, the K-function and the Glaisher–Kinkelin constant, and was named after mathe ...
. According to an analogue of
Wilson's theorem In algebra and number theory, Wilson's theorem states that a natural number ''n'' > 1 is a prime number if and only if the product of all the positive integers less than ''n'' is one less than a multiple of ''n''. That is (using the notations of m ...
on the behavior of factorials modulo prime numbers, when p is an odd prime number \mathit(p-1)\equiv(p-1)!!\pmod, where the !! is the notation for the
double factorial In mathematics, the double factorial or semifactorial of a number , denoted by , is the product of all the integers from 1 up to that have the same parity (odd or even) as . That is, :n!! = \prod_^ (n-2k) = n (n-2) (n-4) \cdots. For even , th ...
. For every integer k, the number \mathit(4k)/(2k)! is a
square number In mathematics, a square number or perfect square is an integer that is the square of an integer; in other words, it is the product of some integer with itself. For example, 9 is a square number, since it equals and can be written as . The usu ...
. This may be expressed as stating that, in the formula for \mathit(4k) as a product of factorials, omitting one of the factorials (the middle one, (2k)!) results in a square product. Additionally, if any n+1 integers are given, the product of their pairwise differences is always a multiple of \mathit(n), and equals the superfactorial when the given numbers are consecutive.


References


External links

*{{MathWorld, id=Superfactorial, title=Superfactorial, mode=cs2 Integer sequences Factorial and binomial topics