 Primary decomposition theorem for finitely generated modules over a principal ideal domain

A finitely generated module over a principal ideal domain decomposes aswith finitely many irreducibles $p$. The free rank and primary cyclic factors are unique up to associates and ordering.