The loewy structure of the projective modules of the mathieu group<i>M</i>_l2and its automorphism group in characteristic 3 (Q4238599)

Let \(FG\) denote the group algebra of the finite group \(G\) over an algebraically closed field \(F\) of characteristic 3, where \(G\) is either the Mathieu group \(M_{12}\) or its automorphism group \(M_{12}\cdot 2\). In Theorems 1 and 2 the authors give the Loewy series of all the non-isomorphic indecomposable projective \(FG\)-modules belonging to the principal 3-block \(B_0\) of \(G\), where \(G=M_{12}\) and \(G=M_{12}\cdot 2\), respectively. The complete statements of these two theorems are too technical in order to be restated here. Using a computer algebra system like MAGMA they can easily be confirmed. However, the importance of this article lies in the fact that both results have been obtained without computational help. All proofs consist of theoretical arguments.