Permutation operators in quantum mechanics