Очевидно, что многократной перестановкой соседних элементов можно осуществить любую перестановку. То есть множество перестановок вида

является порождающим в том смысле, что любую перестановку можно представить комбинацией этих. Таких перестановок всего

для данного

.
А существуют ли порождающие множества размера

, или даже ещё меньше?