P : e_i \mapsto e_{\pi(i)}