On the shape of a pure O-sequence

M. Boij, J. Migliore, R. Miro'-Roig +2

An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, t…