В комбинаторике перестано́вкой заданного конечного множества 
  
    
      
        X
        =
        {
        
          a
          
            1
          
        
        ,
        
          a
          
            2
          
        
        ,
        …
        ,
        
          a
          
            n
          
        
        }
      
    
    {\displaystyle X=\{a_{1},a_{2},\ldots ,a_{n}\}}
  
 (все элементы 
  
    
      
        X
      
    
    {\displaystyle X}
  
 различны) называется произвольный упорядоченный набор всех элементов 
  
    
      
        X
      
    
    {\displaystyle X}
  
 (без повторений). Группируя эти элементы в разном порядке, можно получить различные перестановки. Всего из множества с 
  
    
      
        n
      
    
    {\displaystyle n}
  
 элементами можно получить 
  
    
      
        n
        !
        =
        1
        ⋅
        2
        ⋅
        3
        ⋅
        …
        ⋅
        n
      
    
    {\displaystyle n!=1\cdot 2\cdot 3\cdot \ldots \cdot n}
  
 (
  
    
      
        n
      
    
    {\displaystyle n}
  
-факториал) различных перестановок (см. рисунок).
 Перестановка является частным случаем размещения, когда выбираются все элементы множества.
 Перестановку можно рассматривать как функцию, которая каждому элементу некоторой начальной перестановки сопоставляет соответствующий по номеру элемент данной перестановки. Такую функцию часто называют подстановкой. Перестановка 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 множества 
  
    
      
        X
      
    
    {\displaystyle X}
  
 может быть наглядно представлена в виде таблицы:
 где 
  
    
      
        {
        
          x
          
            1
          
        
        ,
        
        …
        ,
        
        
          x
          
            n
          
        
        }
        =
        {
        
          y
          
            1
          
        
        ,
        
        …
        ,
        
        
          y
          
            n
          
        
        }
        =
        X
      
    
    {\displaystyle \{x_{1},\;\ldots ,\;x_{n}\}=\{y_{1},\;\ldots ,\;y_{n}\}=X}
  
 и 
  
    
      
        π
        (
        
          x
          
            i
          
        
        )
        =
        
          y
          
            i
          
        
      
    
    {\displaystyle \pi (x_{i})=y_{i}}
  
.
 Пример: перестановка элементов множества 
  
    
      
        X
      
    
    {\displaystyle X}
  
 в обратном порядке:
 Инверсией в перестановке 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 называется всякая пара индексов 
  
    
      
        i
        ,
         
        j
      
    
    {\displaystyle i,\ j}
  
 такая, что 
  
    
      
        1
        ⩽
        i
        <
        j
        ⩽
        n
      
    
    {\displaystyle 1\leqslant i<j\leqslant n}
  
 и 
  
    
      
        π
        (
        i
        )
        >
        π
        (
        j
        )
      
    
    {\displaystyle \pi (i)>\pi (j)}
  
. Чётность числа инверсий в перестановке определяет чётность перестановки. Пример:
 Здесь элементы 2 и 3 образуют инверсию.
 Носитель перестановки 
  
    
      
        π
        :
        X
        →
        X
      
    
    {\displaystyle \pi \colon X\to X}
  
 — это подмножество множества 
  
    
      
        X
      
    
    {\displaystyle X}
  
, определяемое как 
  
    
      
        supp
        ⁡
        (
        π
        )
        :=
        {
        x
        ∈
        X
        ∣
        π
        (
        x
        )
        ≠
        x
        }
        .
      
    
    {\displaystyle \operatorname {supp} (\pi ):=\{x\in X\mid \pi (x)\neq x\}.}
  

 Неподвижной точкой перестановки 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 является всякая неподвижная точка отображения 
  
    
      
        π
        :
        X
        →
        X
      
    
    {\displaystyle \pi \colon X\to X}
  
, то есть элемент множества 
  
    
      
        {
        x
        ∈
        X
        ∣
        π
        (
        x
        )
        =
        x
        }
        .
      
    
    {\displaystyle \{x\in X\mid \pi (x)=x\}.}
  
 Множество всех неподвижных точек перестановки 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 является дополнением её носителя в 
  
    
      
        X
      
    
    {\displaystyle X}
  
.
 Любая перестановка 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 может быть разложена в произведение (композицию) непересекающихся циклов длины 
  
    
      
        ℓ
        ⩾
        2
      
    
    {\displaystyle \ell \geqslant 2}
  
, причём единственным образом с точностью до порядка следования циклов в произведении. Например:
 Часто также считают, что неподвижные точки перестановки представляют собой самостоятельные циклы длины 1, и дополняют ими цикловое разложение перестановки. Для приведённого выше примера таким дополненным разложением будет 
  
    
      
        (
        1
        ,
        
        5
        ,
        
        2
        )
        (
        3
        ,
        
        6
        )
        (
        4
        )
      
    
    {\displaystyle (1,\;5,\;2)(3,\;6)(4)}
  
. Число циклов разной длины, а именно набор чисел 
  
    
      
        (
        
          c
          
            1
          
        
        ,
        
        
          c
          
            2
          
        
        ,
        
        …
        )
      
    
    {\displaystyle (c_{1},\;c_{2},\;\ldots )}
  
, где 
  
    
      
        
          c
          
            ℓ
          
        
      
    
    {\displaystyle c_{\ell }}
  
 — это число циклов длины 
  
    
      
        ℓ
      
    
    {\displaystyle \ell }
  
, определяет цикловую структуру перестановки. При этом величина 
  
    
      
        1
        ⋅
        
          c
          
            1
          
        
        +
        2
        ⋅
        
          c
          
            2
          
        
        +
        …
      
    
    {\displaystyle 1\cdot c_{1}+2\cdot c_{2}+\ldots }
  
 равна длине перестановки, а величина 
  
    
      
        
          c
          
            1
          
        
        +
        
          c
          
            2
          
        
        +
        …
      
    
    {\displaystyle c_{1}+c_{2}+\ldots }
  
 равна общему числу циклов. Число перестановок из 
  
    
      
        n
      
    
    {\displaystyle n}
  
 элементов с 
  
    
      
        k
      
    
    {\displaystyle k}
  
 циклами даётся числом Стирлинга первого рода без знака 
  
    
      
        
          
            [
            
              
                
                  n
                
              
              
                
                  k
                
              
            
            ]
          
        
      
    
    {\displaystyle {\begin{bmatrix}n\\k\end{bmatrix}}}
  
.
 Любой цикл может быть разложен в произведение (не обязательно непересекающихся) транспозиций. При этом цикл длины 1 (являющийся по сути тождественной перестановкой 
  
    
      
        e
      
    
    {\displaystyle e}
  
) можно представить как пустое произведение транспозиций или, например, как квадрат любой транспозиции: 
  
    
      
        (
        1
        ,
        
        2
        )
        (
        1
        ,
        
        2
        )
        =
        (
        2
        ,
        
        3
        )
        (
        2
        ,
        
        3
        )
        =
        e
        .
      
    
    {\displaystyle (1,\;2)(1,\;2)=(2,\;3)(2,\;3)=e.}
  
 Цикл длины 
  
    
      
        ℓ
        ⩾
        2
      
    
    {\displaystyle \ell \geqslant 2}
  
 можно разложить в произведение 
  
    
      
        ℓ
        −
        1
      
    
    {\displaystyle \ell -1}
  
 транспозиций следующим образом:
 Разложение циклов на произведение транспозиций не является единственным:
 
Таким образом, любая перестановка может быть разложена в произведение транспозиций. Хотя это можно сделать многими способами, чётность числа транспозиций во всех таких разложениях одинакова. Это позволяет определить знак перестановки (чётностью перестановки или сигнатурой перестановки) 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 как:
 где 
  
    
      
        t
      
    
    {\displaystyle t}
  
 — число транспозиций в каком-то разложении 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
. При этом 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 называют чётной перестановкой, если 
  
    
      
        
          ε
          
            π
          
        
        =
        1
      
    
    {\displaystyle \varepsilon _{\pi }=1}
  
, и нечётной перестановкой, если 
  
    
      
        
          ε
          
            π
          
        
        =
        −
        1
      
    
    {\displaystyle \varepsilon _{\pi }=-1}
  
.
 Эквивалентно, знак перестановки определяется её цикловой структурой: знак перестановки 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 из 
  
    
      
        n
      
    
    {\displaystyle n}
  
 элементов, состоящий из 
  
    
      
        k
      
    
    {\displaystyle k}
  
 циклов, равен
 Знак перестановки 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
 также может быть определён через число инверсий 
  
    
      
        N
        (
        π
        )
      
    
    {\displaystyle N(\pi )}
  
 в 
  
    
      
        π
      
    
    {\displaystyle \pi }
  
:
 В теории групп под перестановкой произвольного множества подразумевается биекция этого множества на себя. Как синоним слову «перестановка» в этом смысле некоторые авторы используют слово подстановка. (Другие авторы подстановкой называют (приведённый выше) наглядный способ записи перестановки. Более существенное отличие состоит в том, что подстановка — это непосредственно функция, а перестановка — результат применения этой функции к элементам последовательности.)
 Композиция определяет операцию произведения на перестановках одной длины: 
  
    
      
        (
        π
        ⋅
        σ
        )
        (
        k
        )
        =
        π
        (
        σ
        (
        k
        )
        )
        .
      
    
    {\displaystyle (\pi \cdot \sigma )(k)=\pi (\sigma (k)).}
  
 Относительно этой операции множество перестановок из 
  
    
      
        n
      
    
    {\displaystyle n}
  
 элементов образует группу, которую называют симметрической и обычно обозначают 
  
    
      
        
          S
          
            n
          
        
      
    
    {\displaystyle S_{n}}
  
.
 Любая конечная группа порядка 
  
    
      
        n
      
    
    {\displaystyle n}
  
 изоморфна некоторой подгруппе симметрической группы 
  
    
      
        
          S
          
            n
          
        
      
    
    {\displaystyle S_{n}}
  
 (теорема Кэли). При этом каждый элемент 
  
    
      
        a
        ∈
        G
      
    
    {\displaystyle a\in G}
  
 сопоставляется с перестановкой 
  
    
      
        
          π
          
            a
          
        
      
    
    {\displaystyle \pi _{a}}
  
, задаваемой на элементах 
  
    
      
        G
      
    
    {\displaystyle G}
  
 тождеством 
  
    
      
        
          π
          
            a
          
        
        (
        g
        )
        =
        a
        ∘
        g
        ,
      
    
    {\displaystyle \pi _{a}(g)=a\circ g,}
  
 где 
  
    
      
        ∘
      
    
    {\displaystyle \circ }
  
 — групповая операция в 
  
    
      
        G
      
    
    {\displaystyle G}
  
.
 Рассмотрим 
  
    
      
        n
      
    
    {\displaystyle n}
  
 элементов 
  
    
      
        m
      
    
    {\displaystyle m}
  
 различных типов, причём в каждом типе все элементы одинаковы. Тогда перестановки из всех этих элементов с точностью до порядка следования однотипных элементов называются перестановками с повторением.
Если 
  
    
      
        
          k
          
            i
          
        
      
    
    {\displaystyle k_{i}}
  
 — число элементов 
  
    
      
        i
      
    
    {\displaystyle i}
  
-го типа, то 
  
    
      
        
          k
          
            1
          
        
        +
        
          k
          
            2
          
        
        +
        …
        +
        
          k
          
            m
          
        
        =
        n
      
    
    {\displaystyle k_{1}+k_{2}+\ldots +k_{m}=n}
  
 и число всевозможных перестановок с повторениями равно мультиномиальному коэффициенту 
  
    
      
        
          
            
              
                (
              
              
                n
                
                  
                    k
                    
                      1
                    
                  
                  ,
                  
                  
                    k
                    
                      2
                    
                  
                  ,
                  
                  …
                  ,
                  
                  
                    k
                    
                      m
                    
                  
                
              
              
                )
              
            
          
          =
          
            
              
                n
                !
              
              
                
                  k
                  
                    1
                  
                
                !
                
                  k
                  
                    2
                  
                
                !
                …
                
                  k
                  
                    m
                  
                
                !
              
            
          
          .
        
      
    
    {\displaystyle \textstyle {\binom {n}{k_{1},\;k_{2},\;\ldots ,\;k_{m}}}={\frac {n!}{k_{1}!k_{2}!\ldots k_{m}!}}.}
  

 Перестановку с повторениями можно также рассматривать как перестановку мультимножества 
  
    
      
        {
        
          1
          
            
              k
              
                1
              
            
          
        
        ,
        
        
          2
          
            
              k
              
                2
              
            
          
        
        ,
        
        …
        ,
        
        
          m
          
            
              k
              
                m
              
            
          
        
        }
      
    
    {\displaystyle \{1^{k_{1}},\;2^{k_{2}},\;\ldots ,\;m^{k_{m}}\}}
  
 мощности 
  
    
      
        
          k
          
            1
          
        
        +
        
          k
          
            2
          
        
        +
        …
        +
        
          k
          
            m
          
        
        =
        n
      
    
    {\displaystyle k_{1}+k_{2}+\ldots +k_{m}=n}
  
.
 Случайной перестановкой называется случайный вектор 
  
    
      
        ξ
        =
        (
        
          ξ
          
            1
          
        
        ,
        
        …
        ,
        
        
          ξ
          
            n
          
        
        )
        ,
      
    
    {\displaystyle \xi =(\xi _{1},\;\ldots ,\;\xi _{n}),}
  
 все элементы которого принимают натуральные значения от 1 до 
  
    
      
        n
        ,
      
    
    {\displaystyle n,}
  
 и при этом вероятность совпадения любых двух элементов равна 0.
 Независимой случайной перестановкой называется такая случайная перестановка 
  
    
      
        ξ
      
    
    {\displaystyle \xi }
  
, для которой:
 для некоторых 
  
    
      
        
          p
          
            i
            j
          
        
        ,
      
    
    {\displaystyle p_{ij},}
  
 таких, что:
 Если при этом 
  
    
      
        
          p
          
            i
            j
          
        
      
    
    {\displaystyle p_{ij}}
  
 не зависят от 
  
    
      
        i
      
    
    {\displaystyle i}
  
, то перестановку 
  
    
      
        ξ
      
    
    {\displaystyle \xi }
  
 называют одинаково распределённой. Если же нет зависимости от 
  
    
      
        j
      
    
    {\displaystyle j}
  
, то есть 
  
    
      
        ∀
        i
        ,
        
        j
         
        (
        1
        ⩽
        i
        ,
        
        j
        ⩽
        n
        )
        :
        
          p
          
            i
            j
          
        
        =
        1
        
          /
        
        n
        ,
      
    
    {\displaystyle \forall i,\;j\ (1\leqslant i,\;j\leqslant n)\colon p_{ij}=1/n,}
  
 то 
  
    
      
        ξ
      
    
    {\displaystyle \xi }
  
 называют однородной.