抽象代数群的定义.pptxVIP

2025/4/211第3讲群的定义及例子

群的定义22025/4/21设非空集S上有一个运算·,1如果运算满足结合律，则称(S,·)是半群。2如果半群S中有一个元素e满足?a∈S有3e·a=a·e=a，4则称(S,·,e)是幺半群，称e为单位元或幺元。5如果幺半群S满足?a∈S有ｂ∈S使得6a·ｂ=ｂ·a=e7则称a是可逆元，并称ｂ是a的一个逆元。8注：通常用1表示单位元。9

群定义32025/4/21４命题若a是可逆元，则a的逆元是唯一的，记为a－１．1证明：若a有两个逆元ｂ和ｃ，即有2ab=ba=1,ac=ca=13?b=1b=cab=c1=c.■4如果幺半群S的每个元素都有逆元，则称Ｓ是一个群(group)。5运算满足交换律的群Ｓ称为交换群.6

群定义42025/4/211243对群G中的元a和正整数n．an表示n个a相乘;a-n=(a-1)n,a0=1验证：amn=(am)n;am+n=aman.1234

几个问题:52025/4/21逆元的存在性有何运算意义?为什么要求群的运算满足结合律?为什么要有单位元？

群的例子62025/4/21再明确一下群的概念1定义设Ｇ是一个非空集合，如果Ｇ上定义了一个运算满足2结合律?a,b,c∈A有(ab)c=a(bc)；3（Ⅱ）有单位元e：?a∈A有ea=ae=a；4（Ⅲ）有逆元?a∈G，有b∈Ｇ使得5ab=ba=e6(其中b称为a的逆元，记为a－１)。7则称Ｇ是一个群．8注意：记住验证运算的封闭性！9

1.１群的概念和例子72025/4/21例１实集Ｒ、有理数集Ｑ、整数集Ｚ关于数的加法都是交换群（满足交换律的群）；01关于数的乘法怎么样？02规定：只有交换群的运算符才能用加号“+”表示。03当交换群G的运算符才能用加号“+”表示时，则称G为加群。04例２正实集Ｒ＋、正有理数集Ｑ＋关于数的乘法都是交换群；05正整数集Ｚ＋关于数的乘法怎么样？06

是n次单位根集．１群的概念和例子即方程xn=1的全部根之集，Ｕn关于数的乘法是一个群．叫做n次单位根群。设例３不难验证:

1.１群的概念和例子92025/4/21证明：例４域Ｆ上的全体n阶可逆方阵GLn(F)关于矩阵的乘法构成一个群，称为Ｆ上的n阶一般线性群．即?Ａ,Ｂ∈GLn(F)，有AB∈GLn(F)．封闭性可逆矩阵的乘积还是可逆矩阵，结合律:矩阵的乘法满足结合律；单位元:单位矩阵Ｉ就是单位元；逆元:?Ａ∈GLn(F)，Ａ可逆，A的逆矩阵就是Ａ的逆元．

1.１群的概念和例子102025/4/21例５域Ｆ上的行列式为1的全体n阶方阵之集SLn(F)关于矩阵的乘法构成一个群，称为Ｆ上的n阶特殊线性群．例6实数域R上的全体n阶正交矩阵之集On(R)关于矩阵的乘法构成一个群，称为n阶正交群．

例7向量空间VＦ上的全体可逆线性变换GL(V)关于变换的合成运算构成一个群．例8n维欧氏空间VＦ上的全体正交变换之集On(V)关于变换的合成运算构成一个群．例9平面上绕一定点按同一方向旋转2k?/n的变换记为?k，则{?1,?2,…,?n}关于变换的合成运算构成一个群。

2025/4/2112作业：P17:1,5,6,9