近世代数群的概念.pptVIP

又如果一个群的群表是对称的，则可以肯定，这个群一定是交换群．第29页，共47页，星期日，2025年，2月5日二．群的性质定理1.2.1设为群，则有(1)群的单位元是惟一的；(2)群的每个元素的逆元是惟一的；(3)对任意的，有；(4)对任意的，有；(5)在群中消去律成立，即设，如果，或，则．第30页，共47页，星期日，2025年，2月5日证(1)如果都是的单位元，则（因为是的单位元），因此所以单位元是惟一的．(2)设都是的逆元，则（因为是的单位元），第31页，共47页，星期日，2025年，2月5日于是所以的逆元是惟一的．(3)因为是的逆元，所以从而由逆元的定义知，是的逆元．又由逆元的惟一性得(4)直接计算可得第32页，共47页，星期日，2025年，2月5日及从而由逆元的惟一性得(5)如果，则同理可证另一消去律．□第33页，共47页，星期日，2025年，2月5日第1页，共47页，星期日，2025年，2月5日一．群的定义定义1.2.1设是一个非空集合,若对中任意两个元素通过某个法则“”，有中惟一确定的则称法则“”为集合上的一个代数运元素与之对应,算（algebraicoperation）．元素是通过运算“”作用的结果,我们将此结果记为第2页，共47页，星期日，2025年，2月5日例１有理数的加法、减法和乘法都是有理数集Q上的代数运算,除法不是Q上的代数运算．如果只考虑所有非零有理数的集合Q*,则除法是Q*上的代数运算.剩余类集．对，规定例２设为大于1的正整数，为的模第3页，共47页，星期日，2025年，2月5日证我们只要证明,上面规定的运算与剩余类的代表元的选取无关即可．设则于是从而则“＋”与“”都是上的代数运算．第4页，共47页，星期日，2025年，2月5日所以+与都是上的代数运算.第5页，共47页，星期日，2025年，2月5日一个代数运算，即对所有的有如果的运算还满足(G1)结合律，即对所有的有；(G2)中有元素，使对每个，有定义1.2.2设是一个非空集合，“”是上的(G3)对中每个元素，存在元素，使第6页，共47页，星期日，2025年，2月5日．在不致引起混淆的情况下,也称为群．（unitelement）或恒等元（identity）；注1．(G2)中的元素称为群的单位元(G3)中的元素称为的逆元（inverse）．则称关于运算“”构成一个群（group），记作我们将证明：群的单位元和每个元素的逆元都是惟一的．中元素的惟一的逆元通常记作．第7页，共47页，星期日，2025年，2月5日（commutativegroup）或阿贝尔群（abeliangroup)．，有，则称是一个交换群3．群中元素的个数称为群的阶（order），记为．如果是有限数,则称为有限群2．如果群的运算还满足交换律，即对任意的（finitegroup），否则称为无限群（infinitegroup).第8页，共47页，星期日，2025年，2月5日例３整数集关于数的加法构成群．这个群称为整数加群．证对任意的，有，所以“＋”是上的一个代数运算．同时，对任意的,有所以结合律成立.另一方面，且有第9页，共47页，星期日，2025年，2月5日又对每