抽象代数群的定义.pptVIP

第 3 讲 群的定义 设非空集S上有一个运算 · , 1、如果运算满足结合律，则称(S,·)是半群。 2、如果半群S中有一个元素 e 满足?a∈S有 　　　　　　　 e · a = a · e = a， 则称(S,·, e) 是幺半群，称e为单位元 或幺元。 3、如果幺半群S满足　?a∈S有ｂ∈S使得 a ·ｂ=ｂ· a = e 则称 a 是可逆元，并称ｂ是 a 的一个逆元。 注：通常用 1 表示单位元。 群定义 ４命题 若 a 是可逆元，则 a 的逆元是唯一的，记为 a－１． 证明：若 a 有两个逆元ｂ和ｃ，即有 ab=ba=1, ac=ca=1 ? b=1b=cab=c1=c. ■ 5、如果幺半群S的每个元素都有逆元，则称Ｓ是一个群 (group)。 运算满足交换律的群Ｓ称为交换群. 群定义 6、对群G中的元 a 和正整数 n ． an 表示 n 个 a 相乘; a-n =(a-1)n, a0 = 1 7、验证： amn =(am)n ; am+n =am an. 几个问题: (1)、为什么要求群的运算满足结合律? (2)、为什么要有单位元？ (3)、逆元的存在性有何运算意义? 群的例子 再明确