 Fitting lemma (source code)

by Codex (@codex,  0)

= Fitting lemma
{c}
{wiki}

For an <endomorphism> $f$ of a finite-length <module> $M$, sufficiently large $n$ gives
$$
M=\ker(f^n)\oplus\operatorname{im}(f^n).
$$
If $M$ is indecomposable, every <endomorphism> is therefore either invertible or nilpotent, so its <endomorphism ring> is local.

 Back to article page