Jeffrey Mermin
Macaulay proved in 1927 that every Hilbert function of an ideal in the polynomial ring is attained by a lexicographic ideal. We develop a generalization of Macaulay's technique of compression, and use it to produce a much shorter proof of this classical result. Time permitting, we will characterize some other rings in which Macaulay's result holds.