On uniserial twisted group algebras of finite \(p\)-groups over a field of characteristic \(p\). (Q2253017): Difference between revisions

The representation type (finite, tame, wild) of finite groups and finite dimensional algebras is a thoroughly studied subject matter in case of the modular group algebra \(KG\) of characteristic \(p>0\) as well; for instance, by Gudyvok and Janusz, if \(K\) is infinite and the \(p\)-Sylow subgroup \(G_p\) is non-cyclic, then \(KG\) is of strongly unbounded representation type, by Kruglyak if \(p>2\) and \(G_p\) is non-cyclic, then \(KG_p\) is wild, results that may be rendered classical. Recently, however, there is intense research on the subject, such as in the papers by the author [Colloq. Math. 120, No. 2, 277-298 (2010; Zbl 1214.16019)], and by \textit{D. Simson} [J. Algebra 227, No. 2, 670-705 (2000; Zbl 0953.16012)]. The twisted group algebra \(K^\lambda G\) is called uniserial if the left (right) regular modules have unique composition series. Recall that the twisted group algebra is uniserial if and only if the radical is a left and right cyclic submodule (is a principal left and right ideal). Main result of the author is as follows. Let \(G\) be a nonabelian \(p\)-group with \(C\) a nontrivial normal subgroup of \(G\) from the kernel of the cocycle \(\lambda\). Then \(K^\lambda G\) is uniserial if and only if \(C\) is cyclic and either (i) \(\text{rad\,}K^\lambda G=K^\lambda G\cdot\text{rad\,}KC\); or (ii) \(K^ \lambda G/K^\lambda G\cdot\text{rad\,}KC\) is uniserial and \(\text{rad\,}KC\subset(\text{rad\,}K^\lambda G)^2\). If, moreover, \(G\) is abelian then \(K^\lambda G\) is uniserial if and only if \(K^\lambda H\) is a field for some maximal subgroup \(H\) of the socle of \(G\). Furthermore, for a finite \(p\)-group \(G\) with cyclic commutator subgroup, the author gives additional sufficient and necessary conditions for the twisted group algebra to be uniserial for both \(p=2\) and odd \(p\).