This formalizes the result that if I,J are (nonzero) homogeneous ideals of a polynomial ring that are generated in a single degree, then the minimal number of generators of I times J is bounded below by the minimial number of generators of I plus the minimal number of generators of J minus 1. The proof makes use of initial ideals.
NoahW314/MinGens
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|