Suppose $K$ is a field, and $R$ is the polynomial ring $K[x_1, \ldots, x_n]$. Suppose $S$ is a set of ideals of $R$ satisfying these properties:
- $S$ contains all principal ideals.
- If $I$, $J$, and $I \cap J$ are in $S$, then $I + J$ is in $S$.
Must $S$ contain all ideals of $R$?
I’m even more interested in the analogous question for homogenous ideals (which is stronger).
This is motivated by a larger proof I am working on. I have a property that holds for principle homogenous ideals and is closed under (2), and I want to show that it holds for all homogenous ideals.