Divisibility rules for integers presented as permutations

In this note, we represent integers in a type of factoradic notation. Rather than use the corresponding Lehmer code, we will view integers as permutations. Given a pair of integers n and k, we give a formula for n mod k in terms of the factoradic digits, and use this to deduce various divisibility rules.