Dominance triangularity of modular symmetric-group decomposition ($d_{\mu \lambda }=0\text{ unless }\lambda ⊵\mu ,d_{\lambda \lambda }=1$)

Rows of the symmetric-group decomposition matrix are all ordinary shapes, columns are regular partitions, and $d_{\mu \lambda }=[S^{\mu }:D^{\lambda }]$. A nonzero column antisymmetrizer of shape $\lambda$ on $M^{\mu }$ forces dominance: the first $r$ rows contain at most ${\sum }_j\min (r,{\lambda }_j^{\prime })$ column entries. For a regular shape its diagonal simple appears once, giving a rectangular triangular matrix and a unitriangular regular-row submatrix.