信道编码学习记录一 代数引论，群

一、群的概念

 

如图所示的集合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个陪集（拉格朗日定理）。