Length of a module (source code)

= Length of a module
{title2=$\operatorname{length}_R(M)$}
{wiki=Length_of_a_module}

The length of a module is the number of simple factors in a composition series. It is additive across short exact sequences.