 Hochster–Roberts theorem

The Hochster–Roberts theorem is a result in commutative algebra that provides a characterization of when a certain type of ideal is a radical ideal in a ring, specifically in the context of Noetherian rings.