An inequality for invariant factors

A divisibility relation is proved connecting the invariant factors of integral matrices A, B, C when C = AB. Let A, B, and C be n X n matrices with entries in a principal ideal domain 6, and with C = AB. In a recent note (3) on the multiplicative property of the Smith normal