OpenAI reports the lex-plus-powers Betti theorem in characteristic zero
- Mathematics
Over every characteristic-zero field, for a homogeneous ideal containing a regular sequence of any positive length with degrees at least two, a corresponding lex-plus-powers ideal has the same Hilbert function and at least as large a graded Betti number in every homological and internal degree.