abstract divisors, primes, prod to modules; update relevant problems