we call the 1;;length of of the chain. We say that a chain of the above type is a composition series if it is maximal. That is, we cannot add a modules anywhere between in the chain. Equivalently, all of the factor modules are 1;;simple.
Finally, given an -module , we define the length of as follows:
If a composition series exists, then is the 1;;minimum length of a composition series.