Monomial ideals