循环群中剩余类加群的讨论.docxVIP

循环群中剩余类加群的讨论 循环群中剩余类加群的讨论 第21卷 第3期 2021年7月 沈阳师范大学学报(自然科学版) Jour nal of S heny ang N or mal Univer sity (N atur al Science) Vol 21, No 3Jul. 2021 文章编号:1008-374X(2021) 03-0169-03 循环群中剩余类加群的讨论 李晓毅1, 黄凤琴2 (1 沈阳师范大学数学与系统科学学院, 辽宁沈阳 110034; 2 沈阳自来水总公司, 辽宁沈阳110002) 摘 要:在循环群的研究中, 整数加群和剩余类加群占有重要位置, 文中对剩余类加群从结构、运算规律、性质等方面加以讨论研究, 给出两个重要结论, 从而将循环群中所有有限循环群的研究归结到对剩余类加群的研究上, 并且两类循环群间是同态关系. 关 键 词:剩余类加群; 循环群; 商群; 同构中图分类号:O 152 文献标识码:A 抽象代数是近世代数的一个重要研究领域, 其主要目的是研究群、环、域、格与布尔代数等代数系统的运算规律、性质及其结构. 研究代数系统时, 不是孤立地对一个一个的具体的代数系统分别加以研究, 而是把这些代数系统分成一些不同的类, 研究一类代数系统所具有的共同性质与运算规律. 在群代数的循环群中, 将所有的循环群分为两大类:一类为无限循环群, 一类为有限循环群, 分别加以研究. 在无限循环群中, 以研究整数加群(I , +) 为重点; 在有限循环群, 以研究剩余类加群(Z m , +m ) 为重点. 对整数加群的研究已趋于完善, 并被人们所接受、熟知; 对剩余类加群的研究却远不乐观, 人们接受起来也比较困难. 本文对剩余类加群从结构、运算规律、性质等方面加以研究, 并给出两个重要结论. 1 剩余类加群的构造 设I 为整数集, 关系R ={(x , y ) |x , y I , x -y 被3所整除}, 或写成x =y (mod3) , 由等价关系R 将I 划分成三个等价类, 它们分别是 [0]R ={ , -6, -3, 0, 3, 6, }, [1]R ={ , -5, -2, 1, 4, 7, }, [2]R ={ , -4, -1, 2, 5, 8, }, 由这些等价类构成一个集合, 称为I 关于R 的商集或模3的剩余类集合, 记为I /R 或Z 3, 即Z 3={[0]R , [1]R , [2]R }. 类似地, 可以定义模m 的剩余类集合Z m ={[0]R , [1]R , [2]R , , [m -1]R }, 简记为Z m ={[0], [1], [2], , [m -1]}. 收稿日期:2021 03 10 170 沈阳师范大学学报(自然科学版) 在Z m 上定义一个加法运算 +m 称为剩余类加法, 由于(Z m , +的运算 +m 按等价类保持, 所 以(Z m , +m ) 为一个代数系统; 又由于运算 +m 满足结合律, 所以(Z m , +m ) 为一个半群; 在(Z m , +m ) 中存在一个单位元素[0], 所以(Z m , +m ) 为一个单元半群; 又由于在(Z m , +m ) 中每个元素[i]都存在一个逆元素[m -i], 所以(Z m , +m ) 为一个群, 称为剩余类加群. 2 剩余类加群的运算 对[i], [j ] Z m 定义加法运算 +m :[i]+[j ]=[(i +j ) (mod m ], 为方便将剩余类加群的运算由下列的群表给出: 剩余类加群的群表 [2][2][3][4][5] [1] [3][3][4][5][6] [2] [m -1][m -1][0][1][2] [m -2] [0][0][1][2][3] [m -1] [1][1][2][3][4] [0] [0][1][2][3] [m -1] 3 剩余类加群的性质 (Z m , +m ) 为可换群:对任意对[i], [j ] Z m 在加法运算 +m 中有:[i]+[j ]=[(i +j ) (mod m ) ]=[(j +i) (mod m ) ]=[j ]+[i], 即运算满足交换律, 所以(Z m , +m ) 为可换群. (Z m , +m ) 为有限循环群:在(Z m , +m ) 中存在一个单元元素[0], 由群中元素方幂的定义知(Z m , + 中任意元素均可表示成元素[1]的幂的形式, 即对任意小于m 的正整数i,