Pair of partitions for a generalized Specht module
= Pair of partitions for a generalized Specht module
{title2=$0\le a_i\le b_i,\quad a_{i+1}\le a_i,\quad\sum b_i=n$}
The first component is a proper partition marking an initial segment of each row of the second component. The second component may be a composition rather than a decreasing partition. This convention specifies a <generalized Specht module> and differs from specifying a <skew shape> by two nested proper partitions.