Elementary divisors
(重定向自Elementary divisor)
In algebra, the elementary divisors of a module over a principal ideal domain (PID) occur in one form of the structure theorem for finitely generated modules over a principal ideal domain.
If is a PID and
a finitely generated
-module, then M is isomorphic to a finite sum of the form