Consequently, we may speak of the sequence of invariant factor ideals of a finitely generated unitary module over a principal ideal domain A.