The representation-finite symmetric algebras with liftable simple modules (Q1924930)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The representation-finite symmetric algebras with liftable simple modules |
scientific article |
Statements
The representation-finite symmetric algebras with liftable simple modules (English)
0 references
20 January 1997
0 references
In [Ann. Math., II. Ser. 89, 209-241 (1969; Zbl 0197.02302)] \textit{G. J. Janusz} showed that a \(p\)-block algebra \(\Lambda\) of a finite group \(G\) of finite representation type over a splitting field \(F\) with characteristic \(p>0\) is uniserial if and only if every simple \(\Lambda\)-module \(M\) can uniquely be lifted to a simple \(\widehat{\Lambda}\otimes_RS\)-module, where \(R\) is a complete discrete rank one valuation ring with maximal ideal \(\pi R\), residue class field \(F=R/\pi R\), and quotient field \(S\) with characteristic zero, and where \(\widehat{\Lambda}\) is an \(RG\)-block such that \(\Lambda\cong\widehat\Lambda\otimes_RF\). This work is a generalization of this result to weakly symmetric finite dimensional algebras over an algebraically closed field, where the following is the main result in the paper. Let \(\Lambda\) be a connected, representation-finite, symmetric algebra over the algebraically closed field \(K\) with at least two non-isomorphic simple \(\Lambda\)-modules. Then the following conditions are equivalent: (1) \(\text{Ext}^2_\Lambda(M,M)=(0)\) for every simple \(\Lambda\)-module \(M\). (2) Either \(\Lambda\) is uniserial or \(c(\Lambda)=1\) and the hearts of all indecomposable projective \(\Lambda\)-modules are indecomposable. A key observation needed to prove this result is the following. For a weakly symmetric Artin algebra \(\Lambda\) if \(\text{Ext}^2_\Lambda(M,M)=(0)\) for a nonprojective simple module \(M\), then the heart of projective cover of \(M\) is indecomposable. The converse of this result is not true, but a partial converse is proven. In addition the nonuniserial algebras \(\Lambda\) with multiplicity \(c(\Lambda)=1\) satisfying condition (2) are classified.
0 references
simple modules
0 references
indecomposable projective modules
0 references
\(p\)-block algebras
0 references
finite groups
0 references
finite representation type
0 references
weakly symmetric finite dimensional algebras
0 references
hearts
0 references
symmetric Artin algebras
0 references