factorial base

A positional base in which each place value instead of being a power of the base is a factorial. For example, the integer which is represented in base 10 as 47 (because $4\cdot {10}^1+7\cdot {10}^0$) is represented in factorial base as 1321, or $1\cdot 4!+3\cdot 3!+2\cdot 2!+1\cdot 1!$.

Factorial base representation has applications in combinatorics and cryptography.

The factorial base representations are unambiguous as long as the maximum allowed digit for a given place value is not exceeded (e.g., the least significant digit $d_1$ can only be 0 or 1, while the most significant digit in an 7-digit factorial base number $d_7$ has to be in the range 0 to 7).

With this limitation placed in the definition, and the observation that

$$n!-1=\sum _{i=1}^{n-1}i!i$$

it is obvious that factorial base is unambiguous, though it has the potential to use an infinite amount of distinct digits even as the less significant place values are limited in what values they can contain.

Though this is true of fractions, though in the opposite direction (the most significant fractional place values are more limited in the range of digits they can contain), factorial base has the advantage that the representation of a rational number always terminates. This is not always the case in a fixed base where the representation of a rational number could be repeating when the denominator is coprime to the base (see: factorial base representation of fractions).

The Lucas-Lehmer code maps unique factorial base representations of an integer $n$ to the permutation of $n$ elements in lexicographical order.

A007623 of Sloane’s OEIS lists the first few integers written in factorial base, A046807 lists palindromic numbers in factorial base, A118363 lists factorial base Harshad numbers, etc.

Title	factorial base
Canonical name	FactorialBase
Date of creation	2013-03-22 15:55:15
Last modified on	2013-03-22 15:55:15
Owner	CompositeFan (12809)
Last modified by	CompositeFan (12809)
Numerical id	7
Author	CompositeFan (12809)
Entry type	Definition
Classification	msc 11A63
Synonym	factoradic
Related topic	DecimalExpansion