An -module is a semisimple module when it is a direct sum of simple modules, equivalently when every submodule has a complementary submodule. The finite-dimensional algebra is a semisimple algebra when its left regular module is semisimple.
Let , put , and suppose . The freshman's dream gives
so, with ,
The indecomposable modules of a cyclic p-group in characteristic p are precisely
Indeed, a module is a vector space with a nilpotent operator , and its decomposition into Nilpotent Jordan blocks gives these modules. Each is a uniserial module, with unique chain
Therefore
Let be the Sylow p-subgroup of upper unitriangular matrices. It is cyclic of order , generated by
Realize as the homogeneous polynomials of degree in , with acting by and . For , the only vectors fixed by are the multiples of : successive comparison of the coefficients of proves this. Thus the nilpotent operator has one-dimensional kernel. Its Jordan normal form therefore has a single block, so
This also follows from the indecomposable modules of a cyclic p-group in characteristic p.
For , the restriction has dimension and is the regular -module, hence is projective. Since is prime to , part (b)(ii) makes a simple projective -module. It is therefore a defect-zero representation and lifts to an ordinary irreducible representation of the same dimension. Consequently
Let be a Sylow p-subgroup. Since is invertible in , every -module is relatively -projective.
Suppose first that has only finitely many indecomposable modules . For every indecomposable -module , decompose into the . Relative projectivity makes a summand of the corresponding finite direct sum of the . The Krull–Schmidt theorem leaves only finitely many possible indecomposable summands, so has finite representation type.
Conversely, suppose has finitely many indecomposables. For an indecomposable -module , the identity double coset in the Mackey restriction formula shows that is a direct summand of
Decomposing the induced module into the finitely many -indecomposables and restricting them shows, again by Krull–Schmidt, that only finitely many can occur. Thus
If is cyclic, the indecomposable modules of a cyclic p-group in characteristic p form a finite list. If is noncyclic, its Frattini quotient has rank at least two and therefore has a quotient . Inflation preserves indecomposability and nonisomorphism, while has infinitely many indecomposable modules. The Higman criterion for finite representation type of a group algebra now gives