In commutative algebra, a field of mathematics, the monomial conjecture of Melvin Hochster says the following: