Direct sum of permutations

In combinatorics, the skew sum and direct sum of permutations are two operations to combine shorter permutations into longer ones. Given a permutation π of length m and the permutation σ of length n, the skew sum of π and σ is the permutation of length m + n defined by