Uniserial module (source code)

= Uniserial module
{wiki}

A module is uniserial when its submodules are totally ordered by inclusion. A finite-length uniserial module has a unique composition series.