Подстановкой, обратной к подстановке $a\in S_n$ называется такая подстановка $b\in S_n$, что $ab=ba=e$. Обозначение: $a^{-1}$.