极限 素域 解答 群G 群的同构 数学大师 正规子群 思想 公式 元素组 华罗庚 相似类 定理 推导