#elementary divisors #invariant factors #divisibility condition #diagonal entries #matrix properties