Gorenstein–Walter theorem

The Gorenstein–Walter theorem is a result in the area of algebra, particularly in the study of Gorenstein rings and commutative algebra. It essentially characterizes certain types of Gorenstein rings. The theorem states that a finitely generated algebra over a field which has a Gorenstein ring structure is Cohen-Macaulay and that such rings have certain properties related to their module categories.