Dedekind整环上的有限生成模的分类