  Given three lists of ideals of a Dedekind domain, the question is raised,
whether there exist two matrices A and B with entries in the given Dedekind
domain, such that the given lists of ideals are the determinantal divisors of
A, B, and AB, respectively. To answer this question, necessary and sufficient
conditions are developed in this article.
