Composition series of a module
= Composition series of a module
{title2=$0=M_0\subset M_1\subset\cdots\subset M_r=M$}
A composition series of a <module> is a finite chain of <submodules> whose nonzero successive <quotient modules> are <simple modules>. Every finite-dimensional <Lie algebra representation> has such a chain, viewed as a <module> over the <universal enveloping algebra>.