Gorenstein–Harada theorem

The Gorenstein-Harada theorem is a result in the field of algebraic geometry and commutative algebra, particularly concerning Gorenstein rings and Cohen-Macaulay modules. More specifically, the theorem provides conditions under which a local Cohen-Macaulay ring is Gorenstein.