Structure theorem over PID

Finitely-generated module M over PID: M ≅ R^r ⊕ R/(d_1) ⊕ … ⊕ R/(d_s) with d_1 | d_2 | … | d_s. Specializes to Jordan form, invariant factors.