单位元、逆元、群、生成元、循环群，有限群的理解

单位元

单位元是集合里一种特别的元素，与该集合里的二元运算有关。当单位元与其他元素结合时，并不会改变那些元素，也叫幺元。

例：加法中 0 元素；乘法中 1 元素；

若 a * e = a , e 称为右单位元；
若 e* a = a , e 称为左单位元；
若 e * a = a * e = a , e 同时为左单位元和右单位元，则e可称为双边单位元，简称单位元。

逆元

官方描述：逆元素 是指一个可以取消另一个给定元素的运算的元素，在数学里，逆元素广义化了加法中的加法逆元和乘法中的倒数。

例：加法中的a 的相反数 -a 是 a 的逆元，
乘法中的 a的倒数 1/a 是a的逆元、

逆元理解：

1. 运算中存在单位元e的代数系统（S，o）
2. 存在一个元素 $$a^{-1}$$，使得
   $$a_l^{-1}\ast a=e,$$
   或者
   $$a\ast a_r^{-1}=e$$
   则说明 $$a^{-1}$$ 是既a的左逆元，或者是a的右逆元。

当运算中有单位元素；元素a的左右逆元素都存在；并且满足结合律时，左右逆元相等且唯一。

另外：
1.一个元素可以没有左逆元和右逆元
2.一个元素可以只有左逆元
3.一个元素可以只有右逆元
4.一个元素可以既有左逆元，又有右逆元。

群

在数学中，群表示一个拥有满足封闭性、结合律、有单位元和逆元的二元运算的代数结构。例如阿贝尔群（加法群）、乘法群…

单位元的存在性和逆元的存在性可以推出其唯一性。

生成元

群中元素可以由最小数目个群元的乘积生成，这组群元称为该群的生成元，生成元的数目为有限群的秩。

秩：生成元的数目为有限群的秩。有限群的生成元的选择不唯一，但秩不变。

循环群

若一个群G的每一个元都是G的某一个固定元a的乘方，则称G为循环群，记作$$G=(a)=a^m|m\in Z$$,a称为G的一个生成元。

循环群分有阶循环群和无阶循环群。

特别地，如果G的代数运算采用加号表示时，则有（a）= {ma | m∈Z}

群的阶

有限群是具有有限多个元素的群。其所包含的个数，称为有限群的阶。

假若群G是一个有限群，则组成G的元的个数为G的阶，记为|G|。

比如 素数阶的有限群都是循环群。