Elementary divisor (source code)

= Elementary divisor
{wiki}

An elementary divisor is a prime power $p^e$ occurring in the cyclic decomposition of a finitely generated torsion module.