The converse to a theorem of Sharp on Gorenstein modules
The converse to a theorem of Sharp on Gorenstein modules
Let <italic>A</italic> be a commutative local Noetherian ring with identity of Krull dimension <italic>n, m</italic> its maximal ideal. Sharp has proved that if <italic>A</italic> is Cohen-Macauley and a homomorphic image of a Gorenstein local ring, then <italic>A</italic> has a Gorenstein module <italic>M</italic> with <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="dimension Subscript upper …