抽象代数基础
群
定义 群(Group),设集合G,和二元运算·,称为群(G,·)如果满足下列条件:
- 封闭率:对任意a,b属于G,有(a,b)属于G
- 结合率:对任意a,b,c属于G,有(a·b)·c = a·(b·c)
- 单位元:存在单位元e,使得对于任意a属于G,都有a·e = e·a = a
- 逆元:对任意a属于G,都有逆元a-1,使得a-1·a = a·a-1=e
阿贝尔群(Abelian Group)
对任意a,b属于G,都有a·b = b·a,称G为阿贝尔群或交换群
阶(Order)
群中元素的个数叫做该群的阶,用|G|表示。若|G|是有限的,称G为有限群,否则称为无限群。
循环群(Cyclic Group)
若存在一个元素g属于G,使得对于任意b属于G都存在一个整数i属于Z,满足b = gi,称G为一个循环群。其中,g称为G的生成元(generator)。特别地,如果群G的阶为素数,那么该群中任意非单位元均为生成元。