群论讲义

第一章 抽象群基础§1.1 群【定义 1.1】 G 是一个非空集合，G =｛…，g，…｝ ， “· ” 为定义在任意两个元素之间的二元代数运算(乘法运算)，若 G 及其运算满足以下四个条件：（1）封闭