There is a natural mapping between the integers 0, .., n! − 1 (or equivalently the numbers with n digits in factorial representation) and permutations of n elements in lexicographical order, when the integers are expressed in factoradic form.
A natural index for the group direct product of two permutation groups is the concatenation of two factoradic numbers, with two subscript "!"s.