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

The radical of a module is the smallest submodule $N\subseteq M$ for which $M/N$ is a semisimple module. Consequently, ifhas semisimple successive quotients, then $J(M_i)\subseteq M_{i+1}$. Induction givesso the radical series of a module descends at least as fast as every such series.

Dually, the socle is the largest semisimple submodule. Ifhas semisimple successive quotients, induction in $M/N_i$ givesso the socle series of a module ascends at least as fast as every such series.

Both series terminate because $M$ has finite composition length. More precisely,Thus $J^r(M)=0$ exactly when $J(A{)}^r$ annihilates all of $M$, which is exactly when ${\mathrm{Soc}}^r(M)=M$. The two least terminating indices therefore coincide:

Because $M$ is a finite-dimensional semisimple module, it has an isotypic decompositionwhere the $S_i$ are pairwise nonisomorphic simple right $R$-modules. By Schur lemma,is a division ring, while ${\mathrm{Hom}}_R(S_i,S_j)=0$ for $i\ne j$. Consequently every endomorphism preserves the isotypic summands and is a matrix of entries from $D_i$ on each one. ThereforeIf the ground field is algebraically closed and the $S_i$ are finite-dimensional over it, Schur lemma gives $D_i=k$.

The radical $J(M)$ of a module is the intersection of its maximal submodules. For a finite-dimensional module over a finite-dimensional algebra $A$,and it is the smallest submodule $N$ for which $M/N$ is a semisimple module.

The socle of a module is the sum of all its simple submodules, equivalently its largest semisimple module.

For a nonzero finitely generated indecomposable module $P$ that is a projective module over a right Artinian ring $A$, its top $P/PJ(A)$ is a simple module. The Jacobson radical $J(A)$ is a nilpotent ideal, so the top is nonzero; the quotient is a semisimple module over the semisimple ring $A/J(A)$. If it decomposed, a nontrivial idempotent of its endomorphism ring would lift by projectivity to an endomorphism of $P$. The Hopkins-Levitzki theorem gives finite composition length, and the Fitting lemma makes the lift either invertible or nilpotent. Its induced map on the top would have the same property, impossible for that nontrivial idempotent.