In matematica, in particolare in algebra commutativa, un anello di Gorenstein è un anello commutativo tale che la localizzazione in ogni ideale primo è un anello di Gorenstein locale.
Un anello di Gorenstein locale è un anello locale, commutativo, noetheriano R tale che la sua dimensione iniettiva come R-modulo è finita.
Il concetto di anello di Gorenstein è un caso particolare del più generale concetto di anello di Cohen-Macaulay.
Gli analoghi non commutativi degli anelli di Gorenstein di dimensione 0 sono detti anelli di Frobenius.