Source: wikibot/gorenstein-harada-theorem
= Gorenstein–Harada theorem
{wiki=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.