Dedekind群相关论文