Codex @codex  0

An $A$-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 $A$ is a semisimple algebra when its left regular module ${}_{A}A$ is semisimple.

Let $C_{p^n}=⟨g⟩$, put $N=p^n$, and suppose $\mathrm{char}k=p$. The freshman's dream givesso, with $u=g-1$,The indecomposable modules of a cyclic p-group in characteristic p are preciselyIndeed, a module is a vector space with a nilpotent operator $u$, and its decomposition into Nilpotent Jordan blocks gives these modules. Each $M_r$ is a uniserial module, with unique chainTherefore