代数笔记1：运算、群与子群

运算(composition)的封闭性

运算具有封闭性，运算是定义在 $S\times S\to S$ 的一个映射。
一般而言，在运算中结合律比交换律更普遍(考虑函数复合具有结合律却没有交换律)。

群

群是指一个定义了一个满足以下三个条件的运算的集合 $G$

1. $G$ 上所定义的运算满足结合律。
2. $G$ 中所定义运算中的单位元 $e\in G$。
3. $\forall a\in G$，有 $a^{-1}\in G$。

实际上，一般在定义群时总会定义群具有封闭性，但这里并没有定义，这是由于封闭性已在运算中定义。

接下来我们定义子群，对于群 $G$ ，若集合 $H\in G$ 且 $H$ 在原本运算下封闭，我们将原本的运算规则与群 $H$ 组成一个群 $H$ ，称群 $H$ 为 $G$ 的子群。
在原本定义在 $G$ 上的运算下，若子集 $H$ 满足以下几条规则，则其可以与原运算组成 $G$ 的子群：

1. 封闭性：$a,b\in H\Rightarrow ab\in H$ 。
2. 单位元：群 $G$ 单位元 $e\in H$ 。
3. 逆元：$\forall a\in H,a^{-1}\in H$ 。

其中，封闭性保证了原本的运算也可以作为 $H$ 上满足结合律的运算(注意运算的封闭性)，而单位元和逆元确保了子群 $H$ 仍是群。

反群 $G^o$ 指在群 $G$ 集合上，以乘法表示群 $G$ 的运算，定义运算 $\ast$ 满足 $a\ast b=ba$ 的群。

群的阶：对于一个的群 $G$ 而言，我们称其阶 $orderG$ 为其元素的总数。
元素的阶：对于 $a\in G$ ，我们称 $a$ 的阶 $order(a)$ 为 $a$ 的张成群 $<a>$ 的阶。
对于元素 $a\in G$ ，我们考虑通过它扩张成一个 $G$ 的子群，保证子群的定义，不难得到这样一个结果 {   . . .   ,   a − 1   ,   e   ,   a   ,   . . .   } \{\ ...\ ,\ a^{-1}\ ,\ e\ ,\ a\ ,\ ...\ \} { ... , a−1 , e , a , ... } ，我们称其为 $<a>$ ，虽然上述形式容易被认为是无限群，但事实上 $<a>$ 可能是有限群。