群的定义论文