PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
factorial base (Definition)

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.




"factorial base" is owned by CompositeFan.
(view preamble | get metadata)

View style:

See Also: decimal expansion

Other names:  factoradic

Attachments:
unambiguity of factorial base representation (Definition) by rspuzio
factorial base representation of fractions (Definition) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: Harshad numbers, palindromic numbers, OEIS, order, elements, permutation, maps, code, factorial base representation of fractions, coprime, denominator, fixed, rational number, opposite, fractions, contain, even, infinite, potential, obvious, range, number, most significant digit, least significant digit, digit, unambiguous, cryptography, applications, representation, integer, factorial, place, base
There are 12 references to this entry.

This is version 4 of factorial base, born on 2006-05-23, modified 2007-02-27.
Object id is 7927, canonical name is FactorialBase.
Accessed 3846 times total.

Classification:
AMS MSC11A63 (Number theory :: Elementary number theory :: Radix representation; digital problems)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
clarification of unambiguous claim for factorial base? by jac on 2006-05-25 13:00:52
Can you offer either a theorem and proof, or examples
that make this claim clear?

"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 can only be 0 or 1, while the most significant digit in an 7-digit factorial base number has to be in the range 0 to 7). Thus factorial base 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."
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)