群(Group Theory）
-------------------------------------------
一个存在于很多领域的抽象结构
-------------------------------------------
基本构成：
有一个非空集合 G
G定义了一个代数运算 *
G存在一个 单位元 e
单位元 e 对 G 中的每个元素a
都满足 a*e =a
即任何与单位元 e 进行 运算的元素
结果都等于它本身
G中的每个元素都存在逆元(inverse）
任意元素a∈G
存在唯一确定的b∈G, a*b=b*a=e（单位元）
以上
构成一个基本的 群结构
--------------------------------------------
群的性质：{ 封闭性，结合律成立 }
>>>
封闭性
若a，b∈G
存在唯一确定的c∈G
使得 a*b=c
>>>
结合律
任意a，b，c∈G
有(a*b)*c=a*(b*c)
---------------------------------------------
基本概念结束