Hochster–Roberts theorem
= Hochster–Roberts theorem
{wiki=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.