Abstract:Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra.. with radical.. will be said to be short provided J(3) = 0. As in the commutative case, we show: If a short local algebra.. has an indecomposable non-projective Gorenstein-projective module M, then either A is self-injective (so that all modules are Gorenstein-projective) and then, of course, vertical bar J(2)vertical bar <= 1, or else vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1 and vertical bar JM vertical bar = vertical bar J(2)vertical bar vertical bar M/JM vertical bar. More generally, we focus the attention to semi-Gorensteinprojective and 8-torsionfree modules, even to Omega-paths of length 2, 3 and 4. In particular, we show that the existence of a non-projective reflexive module implies that vertical bar J(2)vertical bar < vertical bar J/J(2)vertical bar and further restrictions. In addition, we consider exact complexes of projective modules with a non-projective image. Again, as in the commutative case, we see that if such a complex exists, then.. is self-injective or satisfies the condition vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1. Also, we show that any non-projective semi-Gorensteinprojective module M satisfies Ext(1)(M, M) not equal 0. In this way, we prove the Auslander-Reiten conjecture (one of the classical homological conjectures) for arbitrary short local algebras. Many arguments used in the commutative case actually work in general, but there are interesting differences and some of our results may be new also in the commutative case.

Totally acyclic complexes and locally Gorenstein rings

Hopf Algebras with Rigid Dualizing Complexes

Gorenstein acyclic complexes and finitistic dimensions

Acyclic complexes of injectives and finitistic dimensions

Recognizing dualizing complexes

(𝒲,𝒴,𝒳)-Gorenstein Complexes

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Gorenstein AC-projective complexes

Gorenstein injective filtrations over rings with dualizing complexes

Formal lifting of dualizing complexes and consequences

A Bounded Below, Noncontractible, Acyclic Complex Of Projective Modules

Gorenstein rings via homological dimensions, and symmetry in vanishing of Ext and Tate cohomology

Dualizing Complexes over Noncommutative Local Rings

Gorenstein-projective Modules over Short Local Algebras

The toric ring of one dimensional simplicial complexes

One-sided Gorenstein rings

(W, Y, X)-Gorenstein complexes

Gorenstein dimension of modules

A class of Gorenstein algebras and their dualities

Gorenstein derived functors from special rings to arbitrary rings

Homological dimensions, the Gorenstein property, and special cases of some conjectures