The elements  are called the elementary divisors of M. In a PID, nonzero primary ideals are powers of primes, and so .
In the context of a principal ideal domain (PID), the elements that divide M are called fundamental divisors. Non-zero primary ideals in this setting are powers of prime numbers, which means that .