群论学习笔记

一、群的定义
群定义在二元组(S, )上,S是一个集合, 是一个运算。要求二元组满足群公理:
1、封闭性: x,yS,xyS (x,y可以相等)
2、结合律: a,b,cS,abc=a(bc) (a,b,c可以相等)
3、单位元: eS,xS,ex=xe=x (x,e可以相等,我们往往用e代表单位元,也叫幺元)
4、逆元: xS,yS,xy=yx=e (x,y可以相等,我们称y为x的逆元,记作 x1 )
二、一些比较简单的想法。
如果 sx=e ,我们称s是x的左逆元;如果 xt=e ,我们称t是x的右逆元。
若x有左逆元,则x有相等且唯一的左右逆元;x有逆元与x的消去律等价。
证明:
①若a有左逆元s,则a有右逆元t。
考虑 a0,a1,a2,...(an 表示n个a ,a0=e) ,考虑最小的x使得 ax=ak(k<x) ,若 k>0 ,则 aax1=aak1 ax1=ak1 ,与假设不符,所以k=0.
ax=e ,所以 aax1=e ,所以 ax1 是a的右逆元,同样它也是a的左逆元。
②逆元存在于消去律存在等价。
消去律: xa=ya x=y 互为充要条件。
证明只需在等式两边 a1 即可。
(由消去律易知:e是唯一的。)
③a的逆元唯一。
若a有两个逆元 s,t,st,as=sa=at=ta=e ,则 s=s(at)=(sa)t=t ,与假设不符。

也就是说,实际上群公理第四条可以写成: xS,yS,yx=e
三、常见的实例
1、 (Z,+),(Q,+),(R,+) ,单位元是0, x1=x
2、 (Zn,+ mod n)(Zn={xN|x<n}) .单位元是0, x1=nx
3、 (Zn, mod n)(Zn={xZn|(x,n)=1})(n>1)
为什么有逆元呢(当然我们可以通过欧拉定理知道,但是我想给出一种不依赖于欧拉定理的想法),因为 Zn 中有消去律存在。
ax=ay mod n ,则 na|xy| a,x,yZn ,所以 x=y .
4、置换群:群中元素是置换(双射), 是置换(双射)的复合。项链、图同构(常见于各种化学物质)。
四、拉格朗日定理
内容:若有限群 (S,) 有子群 (S,) ,则 |S||S| .
证明:需要引入陪集的概念,S’关于 aS 的右陪集定义为 Sa={xa|xS} ,左陪集为 aS={ax|xS}
那么对于 a,bS ,设 SaSb ,则 x,yS,xa=yb,b=(y1x)a,zS,zb=zy1xa=(zy1x)a ,注意到有 zy1xS,xSb,xSa,xSa,xSb,Sa=Sb
所以对于 S 的每一个陪集,大小必然与 |S| 相等。而 xSSx=S ,所以 |S||S| .
推论:
欧拉定理:考虑群 (Zn, mod n), 由前面关于逆元的讨论可知,数列 {a0,a1,a2,...} 有循环节 |{a0,a1,a2,...}|=x,ax=1 ,且 ({a0,a1,a2,...}, mod n) 显然是一个子群,所以 x|Zn| ,即 x|ϕ(n)
五、轨道-稳定化子定理
我们考虑置换群G,其中每一个元素均是对M中元素的置换 f(x)=y(x,yM) ,则让M中元素x不变的置换显然构成了一个子群 stab(x)=({fG|f(x)=x},) ,我们称这个集合为x的稳定化子。
而x通过G中的置换能变成的元素集合我们称为x的轨道 orbit(x)={f(x)|fG}
那么其实显然,orbit(x)就是stab(x)的陪集数,类似上面我们对拉格朗日定理的证明,可以得到 |stab(x)||orbit(x)|=|G|
六、Burnside‘s引理
这个引理是用来求M中本质不同的元素个数,如果 fG,f(x)=y ,则称x与y是本质相同的。所以就是求M中轨道数。
而M中轨道数可以这样写:

xM1|orbit(x)|
(这样的话,每个x的轨道有|orbit(x)|个元素,而每个元素都贡献了 1|orbit(x)| ,所以每条轨道都会被计算一次)
=xM|stab(x)||G|
(轨道-稳定化子定理)
=fG|Mf||G|=fG|{xM|f(x)=x}||G|
(本来我们考虑的是对于M中的每一个元素,有多少置换让它们不变;那它显然等于对于G中的每一个置换,它能让多少M中的元素不变)
Burnside’s引理首先找到了轨道数与轨道长度之间的关系,然后通过轨道-稳定化子定理将其与G联系起来,然后改变枚举量。它是用来解决那种置换较少或较便于计算,元素情况比较复杂的问题。

你可能感兴趣的:(数论,群论)