ABSTRACT
Metatheorem (Henrik Holm): Every result in classical homological algebra has a counterpart in Gorenstein homological algebra.
Daniel Gorenstein wrote his thesis [2] under Zariski at Harvard. In it he studied certain singu-be called and
associated local rings would be called Gorenstein local rings. His work soon motivated the notion of a Gorenstein local ring of arbitrary Krull dimension. Then Bass (in [1]) wrote his famous “On the ubiquity of Gorenstein rings”. It seems that Bass intended the title to be a historical comment. It was a prophetic one. Gorenstein rings and related Gorenstein topics have surfaced in commutative algebra, in algebraic combinatorics [5], in the repair of the proof of Fermat’s last theorem [6], and in the active area of Gorenstein liaison in algebraic geometry ([3] and [4]).
