lambda(P(w)) is schensted shape

Tags: #theorem

Statement

Let wSn and P the associated poset to a permutation, and λ(P) the lambda(poset).

λ(P) is the Schensted shape of w.

Proof