"elementary divisor" Deutsche bedeutung