抽象代数群的定义.pptxVIP

2025/5/111第3讲群的定义及例子

群的定义22025/5/1101设非空集S上有一个运算·,02如果运算满足结合律，则称(S,·)是半群。03如果半群S中有一个元素e满足?a∈S有04e·a=a·e=a，05则称(S,·,e)是幺半群，称e为单位元或幺元。06如果幺半群S满足?a∈S有ｂ∈S使得07a·ｂ=ｂ·a=e08则称a是可逆元，并称ｂ是a的一个逆元。09注：通常用1表示单位元。

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

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

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

群的例子62025/5/1101再明确一下群的概念02定义设Ｇ是一个非空集合，如果Ｇ上定