抽象代数基础 群论(1)

$\text{definition}$ 群：一个群是一个集合G带有一个二元运算，
这个二元运算一般称为乘法$\cdot:G\times G\to G$，将$(a,b)记作a\cdot b或者ab$，称为积。
群的判定：①运算$\cdot$满足结合律；②运算的群中存在单位元；③任意群元素在运算下存在逆元。

若满足交换律，称这种群为阿贝尔群。

$\text{definition}$ 子群：设$G$是群，则$G$的子集$H$若满足群的性质，称$H$是$G$的子群，记作$H\leqslant G$。
子群的判定：①封闭；②群$G$的单位元$e\in H$；③若$a\in H,G$，则$a^{-1}\in H,G$。

显然$\{e\}$和$G$是群$G$的子群，称为平凡子群。$\{e\}$称为群 G</