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.

Nearly Gorenstein local rings defined by maximal minors of a $2 \times n$ matrix

Remarks on almost Gorenstein rings

A linear variant of the nearly Gorenstein property

Conditions of multiplicity and applications for almost Gorenstein graded rings

A Geometric description of almost Gorensteinness for two-dimensional normal singularities

A local ring such that the map between Grothendieck groups with rational coefficient induced by completion is not injective

Almost Gorenstein simplicial semigroup rings

On minimal flat-injective presentations over local graded rings

Local Cohomology of Certain Determinantal Thickenings

Local log-regular rings vs. toric rings

Local log-regular rings vs toric rings

On nearly Gorenstein affine semigroups

Gorenstein-projective Modules over Short Local Algebras

Resolving the Module of Derivations on an $n \times (n+1)$ Determinantal Ring

On minimal ring extensions

The tautological ring of $\overline{\mathcal{M}}_{g,n}$ is rarely Gorenstein

Local-global principles for multinorm tori over semi-global fields

Non-existence of Ulrich modules over Cohen-Macaulay local rings

K2 of localisations of local rings

Totally acyclic complexes and locally Gorenstein rings