Stable equivalence induced by a socle equivalence (Q1598271): Difference between revisions

For a fixed field \(K\) the basic connected finite-dimensional non-simple associative \(K\)-algebras with identity are studied. For such an algebra \(\Lambda\) is denoted by \(\text{mod }\Lambda\) the category of finitely generated left \(\Lambda\)-modules and by \(\underline{\text{mod}}\)-\(\Lambda\) the stable module category of \(\text{mod-}\Lambda\) (it is equivalent to the stable homotopy category \(\underline\hom {\mathfrak P}_\Lambda\) defined by finite-dimensional projective left \(\Lambda\)-modules). A \(K\)-linear map \(\lambda\colon\Lambda\to K\) is called regular map if \(\lambda=\varphi(1_A)\) for an isomorphism \(\varphi\colon\Lambda\to\Hom_K(\Lambda,K)\) in \(\text{mod-}\Lambda\). In terms of \(K\)-regular maps a sufficient condition is shown for socle equivalent selfinjective algebras to be stable equivalent. The main result is the following. Let \(\Lambda\) and \(\Lambda'\) be socle equivalent selfinjective algebras, say \(p\colon\Lambda/\text{soc }\Lambda@>\cong>>\Lambda'/\text{soc }\Lambda'\). Assume that there are regular maps \(\lambda\) of \(\Lambda\) and \(\lambda'\) of \(\Lambda'\) such that \(\lambda(ab)=\lambda'(a'b')\) for all \(a,b\in\text{rad }\Lambda\) and \(a',b'\in\text{rad }\Lambda'\) with \(\overline a'=p(\overline a)\) and \(\overline b'=p(\overline b)\) (by \(\overline a\) is denoted the residue class of \(a\in\Lambda\) in \(\Lambda/\text{soc }\Lambda\)). Then the stable categories \(\underline{\text{mod}} \Lambda\) and \(\underline{\text{mod}} \Lambda'\) are equivalent.