Staircase partition has exactly the odd-hook property

ID: staircase-partition-has-exactly-the-odd-hook-property

A partition of an integer has only odd hook lengths exactly when it is a staircase. Absence of a hook of length two forces the last row to have length one, prohibits equal consecutive rows by examining the last boxes of an equal-length block, and prohibits gaps at least two by examining a penultimate row box. Thus consecutive row lengths differ by one. Conversely a staircase has , always odd. Its size is . The hook-length formula then gives , and no other partition of the same size has that full two-adic divisibility, since it would also have an odd hook product.

New to topics? Read the docs here!