抽象代数 群的定义.pptVIP

抽象代数 群的定义 * 第一页，共十二页，2022年，8月28日 群的定义 设非空集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 表示单位元。 * * 第二页，共十二页，2022年，8月28日 群定义 ４命题 若 a 是可逆元，则 a 的逆元是唯一的，记为 a－１． 证明：若 a 有两个逆元ｂ和ｃ，即有 ab=ba=1, ac=ca=1 ? b=1b=cab=c1=c. ■ 5、如果幺半群S的每个元素都有逆元，则称Ｓ是一个群 (group)。 运算满足交换律的群Ｓ称为交换群. * * 第三页，共十二页，2022年，8月28日 群定义 6、对群G中的元 a 和正整数 n ． an 表示 n 个 a 相乘; a-n =(a-1)n, a0 = 1 7、验证： amn =(am)n ; am+n =am an. * * 第四页，共十二页，2022年，8月28日 几个问题: (1)、为什么要求群的运算满足结合律? (2)、为什么要有单位元？ (3)、逆元的存在性有何运算意义? * * 第五页，共十二页，2022年，8月28日 群的例子 再明确一下群的概念 定义　　设Ｇ是一个非空集合，如果Ｇ上定义了一个运算满足 （Ｉ）结合律　?a,b,c∈A 有 (ab)c=a(bc)； （Ⅱ）有单位元 e：?a∈A有　ea=ae=a； （Ⅲ）有逆元　　?a∈G，有 b∈Ｇ使得 ab=ba=e (其中 b 称为 a 的逆元，记为 a－１ )。 则称Ｇ是一个群． 注意：记住验证运算的封闭性！ * * 第六页，共十二页，2022年，8月28日 1.１群的概念和例子 例１　实集Ｒ、有理数集Ｑ、整数集Ｚ关于数的加法都是交换群（满足交换律的群）； 关于数的乘法怎么样？ 规定：只有交换群的运算符才能用加号“+”表示。 当交换群G的运算符才能用加号“+”表示时，则称G为加群。 例２　正实集Ｒ＋、正有理数集Ｑ＋关于数的乘法都是交换群； 正整数集Ｚ＋关于数的乘法怎么样？ * * 第七页，共十二页，2022年，8月28日 例３ 即方程　xn = 1　的全部根之集， 不难验证:　 1.１群的概念和例子 设 是n次单位根集． Ｕn 关于数的乘法是一个群．叫做n次单位根群。 * * 第八页，共十二页，2022年，8月28日 1.１群的概念和例子 证明： 例４　域Ｆ上的全体 n 阶可逆方阵GLn(F)关于矩阵的乘 法构成一个群，称为Ｆ上的 n 阶一般线性群． 即?Ａ,Ｂ∈GLn(F)，有AB∈GLn(F)． 封闭性　 可逆矩阵的乘积还是可逆矩阵， 结合律: 矩阵的乘法满足结合律； 单位元: 单位矩阵Ｉ就是单位元； 逆 元: ?Ａ∈GLn(F)，Ａ可逆，A的逆矩阵就是 Ａ的逆元． * * 第九页，共十二页，2022年，8月28日