Modular representations of the group \(MQ\) over the ring \(K_m\). (Q997916)

For a prime number \(p\) denote by \(K_{p^r}\) a finite commutative local ring of characteristic \(p^r\), with maximal ideal \((\Pi)\) and residue field \(F_p\), and for \(m=p_1^{r_1}\cdots p_t^{r_t}\) by \(K_m\) the direct product \(K_{p_1^{r_1}}\times\cdots\times K_{p_t^{r_t}}\). The paper starts with presenting a list of the indecomposable projective modules of \(K_{p^r}G\) for finite groups \(G\) split by \(F_p\). The list depends on knowing a complete list of the simple modules of \(K_{p^r}G'\) for some particular subgroup \(G'\) of \(G\). This is generalized to \(K_mG\). Next, \(G\) is taken to be the generalized dicyclic group \(MQ=\langle a,b:a^k=b^{ls}\), \(bab^{-1}=a^u\), \(a^{dk}=b^{dls}=1\rangle\) (where \(k>1,s\geq 1\) and \(u\) are integers) of which some special subgroups (e.g.~the centre, the commutator subgroup, the largest normal \(p\)-subgroup) are introduced. The main theorem describes the absolutely simple and the indecomposable projective \(K_mMQ\)-modules, provided that \(MQ\) is split by all residue fields \(F_{p_i}\); moreover, the number of the latter is given. Again, the theorem is based on exploiting a particular subgroup of \(MQ\). The reviewer must admit that he often finds the notation and statement of results confusing.