The elements  are called the elementary divisors of M. In a PID, nonzero primary ideals are powers of primes, and so .
The elements are known as the fundamental divisors of M. In a principal ideal domain (PID), non-zero primary ideals are powers of primes, and thus .