For , the least ordinary irreducible dimension exceeding one is , except at , where has dimension two. The dimension- shapes are and its conjugate partition, with the additional shapes and at . For there is no non-linear irreducible. A proof uses the restriction branching rule for a symmetric group: a nonstandard shape with at least two corners has two non-linear predecessors, and a rectangular shape has one predecessor which in turn has two non-linear predecessors. This bounds its degree strictly above once ; the smaller cases follow directly from the hook-length formula.
Articles by others on the same topic
There are currently no matching articles.