Identifier
-
Mp00159:
Permutations
—Demazure product with inverse⟶
Permutations
Mp00067: Permutations —Foata bijection⟶ Permutations
Mp00209: Permutations —pattern poset⟶ Posets
St001636: Posets ⟶ ℤ
Values
[1] => [1] => [1] => ([],1) => 1
[1,2] => [1,2] => [1,2] => ([(0,1)],2) => 2
[2,1] => [2,1] => [2,1] => ([(0,1)],2) => 2
[1,2,3] => [1,2,3] => [1,2,3] => ([(0,2),(2,1)],3) => 3
[1,3,2] => [1,3,2] => [3,1,2] => ([(0,1),(0,2),(1,3),(2,3)],4) => 3
[2,1,3] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4) => 3
[2,3,1] => [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3) => 3
[3,1,2] => [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3) => 3
[3,2,1] => [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3) => 3
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4) => 4
[1,2,4,3] => [1,2,4,3] => [4,1,2,3] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[1,3,2,4] => [1,3,2,4] => [3,1,2,4] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[1,3,4,2] => [1,4,3,2] => [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[1,4,2,3] => [1,4,3,2] => [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[1,4,3,2] => [1,4,3,2] => [4,3,1,2] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[2,1,3,4] => [2,1,3,4] => [2,1,3,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[2,1,4,3] => [2,1,4,3] => [4,2,1,3] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[2,3,1,4] => [3,2,1,4] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[2,3,4,1] => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[2,4,1,3] => [3,4,1,2] => [1,3,4,2] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[2,4,3,1] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[3,1,2,4] => [3,2,1,4] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[3,1,4,2] => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[3,2,1,4] => [3,2,1,4] => [3,2,1,4] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 4
[3,2,4,1] => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[3,4,1,2] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[3,4,2,1] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[4,1,2,3] => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[4,1,3,2] => [4,2,3,1] => [2,4,3,1] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 3
[4,2,1,3] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[4,2,3,1] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[4,3,1,2] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[4,3,2,1] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 4
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[2,4,5,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[2,5,3,4,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[2,5,4,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,4,5,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,4,5,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,5,1,4,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,5,2,4,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,5,4,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[3,5,4,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,2,5,1,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,2,5,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,3,5,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,3,5,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,1,2,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,1,3,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,2,1,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,2,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,3,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[4,5,3,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,2,3,1,4] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,2,3,4,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,2,4,1,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,2,4,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,1,2,4] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,1,4,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,2,1,4] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,2,4,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,4,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,3,4,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,1,2,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,1,3,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,2,1,3] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,2,3,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,3,1,2] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[5,4,3,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[1,2,3,4,5,6] => [1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,4,6,5,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,5,6,3,4,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,5,6,4,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,6,4,3,5,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,6,4,5,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,6,5,3,4,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[2,6,5,4,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,4,6,5,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,4,6,5,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,5,6,1,4,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,5,6,2,4,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,5,6,4,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,5,6,4,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,4,1,5,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,4,2,5,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,4,5,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,4,5,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,5,1,4,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,5,2,4,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,5,4,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[3,6,5,4,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,2,6,5,1,3] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,2,6,5,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,3,6,5,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,3,6,5,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,1,2,3] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,1,3,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,2,1,3] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,2,3,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,3,1,2] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
[4,5,6,3,2,1] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 6
>>> Load all 205 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The number of indecomposable injective modules with projective dimension at most one in the incidence algebra of the poset.
Map
Demazure product with inverse
Description
This map sends a permutation $\pi$ to $\pi^{-1} \star \pi$ where $\star$ denotes the Demazure product on permutations.
This map is a surjection onto the set of involutions, i.e., the set of permutations $\pi$ for which $\pi = \pi^{-1}$.
This map is a surjection onto the set of involutions, i.e., the set of permutations $\pi$ for which $\pi = \pi^{-1}$.
Map
Foata bijection
Description
Sends a permutation to its image under the Foata bijection.
The Foata bijection $\phi$ is a bijection on the set of words with no two equal letters. It can be defined by induction on the size of the word:
Given a word $w_1 w_2 ... w_n$, compute the image inductively by starting with $\phi(w_1) = w_1$.
At the $i$-th step, if $\phi(w_1 w_2 ... w_i) = v_1 v_2 ... v_i$, define $\phi(w_1 w_2 ... w_i w_{i+1})$ by placing $w_{i+1}$ on the end of the word $v_1 v_2 ... v_i$ and breaking the word up into blocks as follows.
To compute $\phi([1,4,2,5,3])$, the sequence of words is
This bijection sends the major index (St000004The major index of a permutation.) to the number of inversions (St000018The number of inversions of a permutation.).
The Foata bijection $\phi$ is a bijection on the set of words with no two equal letters. It can be defined by induction on the size of the word:
Given a word $w_1 w_2 ... w_n$, compute the image inductively by starting with $\phi(w_1) = w_1$.
At the $i$-th step, if $\phi(w_1 w_2 ... w_i) = v_1 v_2 ... v_i$, define $\phi(w_1 w_2 ... w_i w_{i+1})$ by placing $w_{i+1}$ on the end of the word $v_1 v_2 ... v_i$ and breaking the word up into blocks as follows.
- If $w_{i+1} \geq v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} \geq v_k$.
- If $w_{i+1} < v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} < v_k$.
To compute $\phi([1,4,2,5,3])$, the sequence of words is
- $1$
- $|1|4 \to 14$
- $|14|2 \to 412$
- $|4|1|2|5 \to 4125$
- $|4|125|3 \to 45123.$
This bijection sends the major index (St000004The major index of a permutation.) to the number of inversions (St000018The number of inversions of a permutation.).
Map
pattern poset
Description
The pattern poset of a permutation.
This is the poset of all non-empty permutations that occur in the given permutation as a pattern, ordered by pattern containment.
This is the poset of all non-empty permutations that occur in the given permutation as a pattern, ordered by pattern containment.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!