elementary divisor