DEDEKIND群相关论文