Algebraic modules and the Auslander-Reiten quiver. (Q615882)

Let \(G\) be a finite group and let \(k\) be a field. Alperin defined a \(kG\)-module \(M\) `algebraic' if \(M\) satisfies a polynomial with integer coefficients, where a sum is interpreted as a direct sum of modules and a product is interpreted as a tensor product of modules. The author shows that if \(\Gamma\) is a component of the stable Auslander-Reiten quiver, and that there is at least one module of complexity at least \(3\), then \(\Gamma\) contains at most one algebraic module, and the module lies at the end of \(\Gamma\). If a \(kG\)-module \(M\) is algebraic and periodic, then all its syzygies are algebraic. If \(M\) is non-periodic, then at most one of the syzygies is algebraic. Finally, the author shows that if \(G\) is a dihedral \(2\)-group and \(\Gamma\) is a component of the stable Auslander-Reiten quiver, and if \(\Gamma\) does not contain a periodic module, then \(\Gamma\) contains at most one algebraic module. The proof consists in a detailed examination of how the Auslander-Reiten quiver behaves if one restricts to subgroups. For the dihedral group case a further very detailed examination of the possible components is given.