一、群的概念
如图所示的集合G中
我们去定义一种二元运算*(符号不重要),一个集合在什么条件下可以称之为群呢,我总结了下面这四点
① 封闭性
封闭性说的是,在我们定义的这种二元运算下整个集合的封闭性,拿上面的图举例,任意属于G中的元素a,b,经过我们定义的二元运算a*b后,所得到的结果仍是集合G中的元素,这样的话,我们就可以说,在我们定义的二元运算符*下,集合G是封闭的。听起来可能有点抽象,举个例子,集合G是整数集,我们定义的二元运算是实数加法+,那么a+b所得到的结果c仍是整数,依旧落在整数集中。那么就说在实数加法运算下,G是封闭的。
② 结合律
需要证明G中任意元素满足下式
也即满足结合律
还是用上面的例子,在整数集中a+b+c = a+(b+c),或者在模二加运算下,a*b*c的结果与a*(b*c)相同,看的都是整个计算式中1的数量的奇偶性而已。
③ 单位元e
在G中,存在有一元素e,满足任意元素a有
a*e = e*a = a,在整数集,实数加法运算下,单位元e很容易想到就是0
在模二加运算下,G = {0,1},单位元很容易想到是0
单位元是唯一的,这点也容易证明,假设有两个单位元e,e',那么有
e' = e+e' = e,就可以得证e'和e是同一单位元。
④ 逆元
在G中,任一元素a均含有逆元a',使得a*a' = e
举例来说,在整数集上,单位元e是0,则a的逆元是-a
在模二加运算下,G = {0,1},单位元是0,a的逆元是a本身.
任一元素a有且仅有一个逆元a',这点也很容易证明,这里不再证了。
满足上面四条,那么就称G为群。
如果同时满足第五条
⑤ 交换律
群G上的二元运算同时满足 a*b=b*a,则称群为交换群。
再介绍下子群的概念
从图上看H是G的子集,简单的来说只要H满足群的要求,即结合律,单位元,逆元存在性即可,结合律自动满足,因为H是G的子集,所以只需要确定任意元素属于H均存在逆元即可证明H是G的子群。
再接下来是陪集的定义,下面给出定义内容
设H是定义有二元运算*的群G的一个子群,a是G的一个元素。则集合a*H = {a*h,h∈H}称为H的左陪集,a在右面就是右陪集,在交换群的条件下就不关心是左陪集还是右陪集了,统称陪集,举个例子
模16加法下的加群G = {0,1,2.....15},他的子群H = {0 4 8 12},陪集3*H = {(0+3)%16 (4+3)%16 (8+3)%16 (12+3)%16} = {3 7 11 15},陪集7*H = {7 11 15 3}
可以看到3*H和7*H陪集元素相同,这是由于下面两条定理
1.H为群G在二元运算 * 下的一个子群,则H的陪集中任意两元素互不相同。
2.对群G的子群H,其任意两个不同的陪集之间没有相同的元素。
翻译一下
G中的每个元素出现且仅出现在一个H的陪集中;
H的所有不同陪集之间互不相交
H的所有不同陪集的并构成群G
再最后一条定理,关系到群G可以分成多少个陪集,G有元素n个,陪集H有元素m个,如果n/m为整数,那就正好分成n/m个陪集(拉格朗日定理)。