关于Zm子群的一个注记
研究群的子群的乘积的阶
研究群的子群的乘积的阶内容摘要：通过对群的子群的乘积的探究，明白子群的乘积的阶和子群的阶的关系。
近世代数以具有代数运算“乘法”的集合作为主要的研究对象，研究的主要是抽象代数系统的性质与结构。
而群论是近世代数的一个重要的分支，因此群论中的许多思想方法有着重要的意义，在很多领域中有着广泛的应用，可以帮助我们解决一些复杂的问题，更好的理解群的概念，以及群的阶的概念。
我们知道，群的子群的乘积需满足一定条件时，才可确定它是子群。
那么子群的阶的乘积和子群的乘积的阶又满足怎样的关系？这次我们将探讨。
当然，除非特殊说明，本文“乘法”还是指的群中满足的代数运算。
关键字：群、子群、子群的乘积、子群的阶陪集和指数是两个重要概念，他们通过拉格朗日定理相联系，具有十分微妙的关系。
首先，我们看群的阶是如何定义的:如果一个有限群G中所包含的元素个数为n，则称n为群G的阶，并记为|G|=n。
无限群的阶称为无限，被认为是大于任意的正整数。
其实群的阶就是指群中元素的个数，利用是否属于同一左陪集可将群中元素分成若干甚至无限类，且每一类中元素个数相同。
下面我们来看。
定义：设H是群G的一个子集，a G。
则称群G的子集aH={ax|x H}为群G关于子群H的一个左陪集。
而称Ha={xa|x H}为群G关于子群H的一个右陪集。
显然，当G为交换群时，左陪集和右陪集相等。
这是一个特殊情况。
须注意，这里说的是左陪集，也就是子集而非子群，须满足一定条件才可将子集改为子群。
这在下面还将作进一步讨论。
很显然，左陪集满足如下性质。
1. a aH证明：H是子群，e H，故a=ae aH2. aH aH=H证明：设aH=H。
则由1知，a aH，所以a H。
设a H，任取ax aH，因为H为子群，所以ax H，即aH H。
同样，任取x H，又a H，则x=ex==a()aH，即H aH。
3. b aH aH=bH证明：设aH=bH，由1得b bH，所以b aH。
第三章_循环群_群的结构
电子科技大学 计算机科学与工程学院
UESTC Press
循环群与其子群
证明1） 设H是循环群(g)的一个子群． 假设H＝{e}，H自然是循环群．假设H{e}，则有i0使giH， 又因为gi=(gi)1H，所以可以假定i0，说明有正指数存 在．(存在性) 设s是H中的最小正指数，即s是使gsH的最小正整数，我们 现在证明H = (gs)．对于任意gmH，有 m = qs+t，0ts， 由于gqs= (gs)qH（子群H的封闭性，q个gs连乘也属于H）， 所以 gt = gm(gqs)1H， （gqs存在逆元，且由于封闭性，gm，(gqs)1乘积属于H．） 由于s是使gsH的最小正整数，因此得 t = 0，gm＝(gs)q． H的任意元素都是gs的幂，则H = (gs)．
UESTC Press
如何构造循环群的子群？
G是n阶循环群，g是G的生成元，d|n, 如何构 造d阶循环群？ 设n=d d’，群（gd’）的阶为d? （gd’）的阶为d
!
第三章 循环群、群的结构
电子科技大学 计算机科学与工程学院
UESTC Press
循环群与其子群
例3 8阶循环群G的真子群． 8的所有正因子为1，2，4，8相应的子群分别 为 {e}， {e，g4}， {e，g2，g4，g6}， G 其中{e}和G是群G的平凡子群
2）设l = n/(k,n) 由1）有(ak)l = akl = e．i 则nki，
(k , n) (k，n) n k 因为 ( (k，n) , (k，n) ) 1
n i 所以 n ( k , n) 故 ( k , n)
．由于(k，n)k，则 n (k
第三章 循环群、群的结构
子群名词解释
子群的概念和性质一、子群的定义子群是指一个群中的一部分元素构成的集合。
具体来说，设 G 是一个群，H 是 G 的一个子集，如果 H 中的所有元素都可以用 G 中元素的组合来表示，那么 H 就称为 G 的一个子群，记作 gH，其中 g 是 G 中的任意元素。
举个例子，设 G 是一个由三个元素{1,2,3}构成的群，H={1,2}。
那么 H 就是一个子群，因为 H 中的所有元素都可以用 G 中元素的组合来表示，即 H={1,2}={1,2,3}。
二、子群的性质子群有许多重要的性质。
下面我们来介绍一下子群的交叠、子群的补集、子群的子群等。
1. 子群的交叠设 G 是一个群，H 是 G 的一个子群，K 是 G 的另一个子群。
那么，H 和 K 的交叠 (即 H 和 K 的交集) 是一个子群，称为 H 和K 的交叠子群。
举个例子，设 G 是一个由三个元素{1,2,3}构成的群，H={1,2},K={1,3}。
那么，H 和 K 的交叠={1,2},是一个子群。
2. 子群的补集设 G 是一个群，H 是 G 的一个子群。
那么，H 的补集是指 G 中所有不等于 H 的子群的集合。
举个例子，设 G 是一个由三个元素{1,2,3}构成的群，H={1,2}。
那么，H 的补集包括 G 的所有其他子群，即 G={1,2,3}。
3. 子群的子群设 G 是一个群，H 是 G 的一个子群。
那么，H 的子群是指 H 中所有元素的集合，即 H 的补集。
举个例子，设 G 是一个由三个元素{1,2,3}构成的群，H={1,2}。
那么，H 的子群包括 G 的所有其他子群，即 G={1,2,3}。
三、子群的应用子群在群论中有着广泛的应用。
下面我们来介绍一下子群在群论中的三大应用。
1. 子群的交叠可以用于证明群的同构定理。
2. 子群的补集可以用于证明群的分解定理。
3. 子群的子群可以用于证明群的同态定理。
近世代数 2.8子群
§8 子群一、子群的定义定义若群G的非空子集H对于G的乘法来说作成一个群, 则称H为G的子群, 记为H ≤G .例1 设G是一个群, 则H1 = G和H2 = { e } 都是G的子群(平凡子群).非平凡子群H也叫真子群, 记为H <G .例2 对于普通乘法来说, C*是一个群. R*是C*的一个子群.例3 在整数加群Z中, H = { 2n | n∈Z } 是一个子群.推论设H ≤G, 则H的单位元就是G的单位元e ; ∀a∈H, a 在H中的逆元就是a在G中的逆元.二、子群的判别定理1 群G的非空子集H作成G的子群的充要条件是(i) ∀a, b∈H⇒ab∈H；(ii )∀a∈H⇒a -1∈H.定理2 群G的非空子集H作成G的子群的充要条件是(iii) ∀a, b∈H⇒ab -1∈H.定理3 群G的非空有限子集H作成G的子群的充要条件是(i) ∀a, b∈H ⇒ab∈H.三、子群的生成设G是一个群, 取定a∈G, 作子集H = { a n | n∈Z }.则H是G的一个子群. H叫做元a生成的(循环)子群:H = ( a ) .例4 G = { 1, -1, i, -i} 关于普通乘法作成一个群( i是虚数单位) . 由元- 1 生成的循环子群为H = ( -1 ) = { 1, -1 }.例5 在模6的剩余类加群Z6中, 由元[ 2 ] 生成的循环子群为H = ( [ 2 ] ) = { [ 0 ], [ 2 ], [ 4 ] }.四、循环群的子群定理4 循环群的子群仍为循环群.例6 在模6的剩余类加群Z6是循环群, 所以其子群都是循环子群. 故Z6的所有子群为H0 = ( [ 0 ] ) = { [ 0 ] };H1 = ( [ 1 ] ) = ( [ 5 ] ) = Z6= { [ 0 ], [ 1 ], [ 2 ], [ 3 ], [ 4 ], [ 5 ] };H2 = ( [ 2 ] ) = ( [ 4 ] ) = { [ 0 ], [ 2 ], [ 4 ] };H3 = ( [ 3 ] ) = { [ 0 ], [ 3 ] }.。
正规子群求解方法的一个注记
在传统教材中[１－２],我们发现对共轭类,正 规 子 群 的 叙 述 较 少,在 后 续 的 教 学 研 究 中 有 一 些 新 的 研 究内容涉及这两个问题[３－４]．但总体来说内容 不 多．以 至 于 在 实 际 的 教 学 中,学 生 在 求 正 规 子 群 时 会 有 很多困难．这些困难的来源一方面在于很多学生不能认真,仔细地完成 这 项 工 作;另 一 方 面 的 原 因 也 在 于 按 照 传 统 教 材 的 叙 述 如 果 仅 仅 是 从 定 义 出 发 ,这 项 工 作 会 变 得 繁 冗 ,条 理 不 清 晰 ．基 于 这 些 原 因 ,我 们 希望给出求解正规子群的一般方法．这些方法和技巧在研究群论和表 示 论 中 被 经 常 用 到．但 是,在 抽 象 代 数 教 材 中 又 几 乎 没 有 涉 及 ．但 愿 这 篇 文 章 能 够 弥 补 这 个 知 识 点 的 空 缺 ．
第 ３４ 卷 第 １ 期 ２０１８ 年 ２ 月
大 学 数 学
COLLEGE MATHEMATICS
Vol．３４,№ ．１ Feb．２０１８
正规子群求解方法的一个注记
陈一萍
(武汉大学 数学与统计学学院,武汉 ４３００７２)
[摘 要]Cayley定理是抽象代数中一个非常重要的定理．因为这个定 理 建 立 了 抽 象 的 有 限 群 G 和 一 个 具体群Sn 之间的联系．即 G 同构于Sn 的一个子群．所以,对于 Sn 的子群 的 研 究 就 显 得 尤 其 重 要．但 是,在 教 学实践中,学生只是通过定义来求 Sn 或是Sn 的子群的正 规 子 群 往 往 是 很 困 难 的 事 情．本 文 给 出 了 在 群 论 和 表示论中经常用到求 Sn 的正规子群的一种方法．通过这种方法,希望可以加深学生对相应知识的理解．
特殊线性群SL2(Z4)中的正规子群和sylowP-子群
特殊线性群SL2(Z4)中的正规子群和sylowP-子群许景飞【摘要】线性群是群论研究中的重要群类,对于群的正规子群和sylowP-子群的研究可以更好的研究这个群本身的性质.本文找出了特殊线性群SL2(Z4)中所有的正规子群和所有的sylowP-子群.【期刊名称】《赣南师范学院学报》【年(卷),期】2018(039)006【总页数】6页(P7-12)【关键词】共轭类;正规子群;循环群;sylowP-子群【作者】许景飞【作者单位】赣南师范大学数学与计算机科学学院,江西赣州341000【正文语种】中文【中图分类】O152.1特殊线性群SL2(Zm)的正规子群和sylowP-子群的研究目前没有一个很好的结果，本文通过研究n=2,m=4的情况，得到了一些好的结果.已知特殊线性群SL2(Z4)的阶为48，且该群中的元素按阶的分类为：1阶元：2阶元：3阶元：4阶元：6阶元：由于∀a∈SL2(Z4)有|aSL2(Z4)|=|SL2(Z4)∶NSL2(Z4)(a)|,可得SL2(Z4)的共轭分类如下:若A◁SL2(Z4)，则A一定是由SL2(Z4)中若干个共轭类组成[1].这样就可以通过对共轭类的分析可得到满足正规子群的条件，从而可以得到SL2(Z4)中的全部正规子群.再根据sylow定理和对矩阵迹的分类可构造出SL2(Z4)的所有sylowP-子群.1 SL2(Z4)的正规子群定理1[2] ∀则证明由于ad-(4-b)(4-c)=(ad-bc)-[16-4(b+c)]≡1(mod 4)，则有很容易验证：所以定理得证.定理2 若是SL2(Z4)中的一个3阶元⟺tr M=a+d=3.证明对于3阶元则当a=d时,b(2a+1)≡0(m od 4)，c(2a+1)≡0(mod 4),由于2a+1为奇数，所以b=0,c=0,又由于则当a+d+1≡0(mod 4)时,此时或或或或或或或当a-d=2时,a+d+1≡2⟺a+d=1或5，此时无解；当a-d=-2时，a+d+1≡2⟺a+d=1或5，此时无解.综上所述，我们得到了SL2(Z4)中的所有的3阶元，且给出了3阶元的一个刻画.即若是SL2(Z4)中的一个3阶元⟺tr M=a+d=3.性质1 SL2(Z4)中任意两个不同的2阶元则还是SL2(Z4)中的2阶元.证明由于2阶元满足的条件是则由于(其中i,j=1,2),所以而所以性质1成立.性质2 SL2(Z4)中任意两个的2阶元是交换的.证明又由于a1a2+b1c2≡a1a2+b2c1(mod 4)，所以性质2得证.定理3 若是SL2(Z4)中的一个4阶元⟺证明对于4阶元为SL2(Z4)的2阶元, 那么有定理4 若是SL2(Z4)中的一个6阶元⟺tr M≡1(mod 4).证明对于6阶元则为SL2(Z4)的3阶元，得a2+bc+bc+d2≡3(mod 4) ⟺a2+d2+2(ad-1)≡(a+d)2-2≡3(mod 4) ⟺(a+d)2≡1(mod 4) ⟺a+d≡1(mod 4) ⟺a+d=1或a+d=5或a+d=3, 这样得到了6阶元的等价条件：即若M为SL2(Z4)的6阶元⟺tr M≡1(mod 4).2 SL2(Z4)中的非平凡正规子群设A◁SL2(Z4)，|A|=2i3j(0≤i≤4,q≤j≤1)，由于A一定是由SL2(Z4)中若干个共轭类组成，所以可知：其中xs=|ns|,ks=0或1,2≤s≤10).性质3 当i≠0时，对于正规子群A有下面的结论：若n5,n6中只有一个是A的组成部分，那么n2一定不是A的组成部分.若n5,n6都不是或者都是A的组成部分，那么n2一定是A的组成部分.性质4 ∀则证明由于则a1+d1=3.又由于a1d1-b1c1≡1(mod 4)知：b1c1为奇数.当a2=d2=1时，有a1a2+b1c2+c1b2+d1d2≡3a2+2≡1(mod 4)；当a2=d2=3时，b2=c2=2,则a1a2+b1c2+c1b2+d1d2≡3a2≡1(mod 4)；所以又因为所以性质5 ∀则证明由于a1+d1=3，则b1c1为奇数.在n6中，当a2=d2=3时，a1a2+b1c2+c1b2+d1d2≡3a2+2≡3(mod 4); 当a1+d1=1时，a1a2+b1c2+c1b2+d1d2≡3a2≡3(mod 4), 从而知：同理可证明：∀则∀则性质6 ∀则或∈n6.证明∀则a+d≡1(mod 4).若a>d可知a为奇数，d为偶数.当a1>d1,a2>d2时，2a1a2≡2(mod 4).分情况讨论：时，有b1c1=3=b2c2,b1c2+c1b2≡2(mod 4)，a1a2+d1d2≡1(mod 4)，此时b1c2+c1b2+a1a2+d1d2≡3(mod 4)；时，有b1c1=3,b2c2≡1(mod 4)，则b1c2+c1b2≡0(mod 4), 此时b1c2+c1b2+a1a2+d1d2≡a1a2+(1-a1)(1-a2)≡3(mod 4)；时，有b1c1≡1(mod 4),b2c2=3，则b1c2+c1b2≡0(mod 4), 此时b1c2+c1b2+a1a2+d1d2≡a1a2+(1-a1)(1-a2)≡3(mod 4)；时，b1c1≡b2c2≡1(mod 4)，则b1c2+c1b2≡2(mod 4), 此时b1c2+c1b2+a1a2+d1d2≡3(mod 4).当a1>d1,a2<d2时，2a2d1≡0(mod 4),2a1d2≡0(mod 4).分情况讨论：时，b1c1=b2c2=3则b1c2≡b2c1(mod 4).此时a1a2+b1c2≡b1c2≡b2c1+d1d2(mod 4)及同时当b1c2=3时知：b1=b2,c1=c2则a1b2+b1d2+a2c1+c2d1=b1+b2≡2(mod 4), 当b1c2≡1(mod 4)时有a1b2+b1d2+a2c1+c2d1=b1+b2≡0(mod 4). 所以，此时时，b1c1=3,b2c2≡1(mod 4).则有或此时有a1a2+b1c2≡2+b1c2≡b2c1≡b2c1+d1d2(mod 4)及同时当b1c2≡1时，a1b2+b1d2+a2c1+c2d1≡b1+b2(mod 4). 当b1c2=3时，a1b2+b1d2+a2c1+c2d1≡b1+b2≡0(mod 4), 所以，此时时b1c1≡1(mod 4),b2c2=3则或此时a1a2+b1c2≡b1c2≡2+b2c1≡b2c1+d1d2(mod 4)及同时，当b1c2≡1(mod 4)时知b1=c2,a1b2+b1d2+a2c1+c2d1≡b1+b2≡0(mod 4). 当b1c2=3时知b1=b2，则a1b2+b1d2+a2c1+c2d1≡b1+b2≡2(mod 4), 所以：时，b1c1≡b2c2≡1(mod 4)，bc2≡b2c1≡1(mod 4). 此时a1a2+b1c2≡d1d2+b2c1(mod 4)及同时：当b1c2≡1(mod 4)时，a1b2+b1d2+a2c1+c2d1≡5(b1+b2)≡2(mod 4). 当b1c2≡3(mod 4)时，b1+c2≡b1+b2≡0(mod 4)，a1b2+b1d2+a2c1+c2d1≡0(mod 4), 所以：从而得证.同理可以证明：∀则或∈n6；∀则或∈n6.设集合A为SL2(Z4)中若干个共轭类的并，|A|=2i3j(0≤i≤4,q≤j≤1)，若此时A为一个群，那么A为SL2(Z4)的正规子群.定理5 SL2(Z4)中的所有的正规子群有：A=n1∪n2∪n5∪n6, |A|=8；A=n1∪n6,|A|=4；A=n1∪n2,|A|=2；A=n1∪n2∪n3∪n4∪n5∪n6,|A|=24；A=n1∪n6∪n4,|A|=12.证明我们可分如下8种情况来验证和证明，限于篇幅,本文只验证和证明第5种和第8种情况.当j=1,i=3时，此时A=n1∪n2∪n3∪n4∪n5∪n6或n1∪nλ∪n9∪n10∪n6或n1∪n2∪n3∪n4∪nt或n1∪nλ∪n6∪n7∪n8或n1∪nλ∪n6∪n9∪n10(其中λ=3,4;t=7,8,9,10)；当j=1,i=0时，|A|=3，此时A不存在.由sylow定理知：sylow2-子群的个数为4. 这样就讨论清楚了SL2(Z4)中的所有的正规子群有：A=n1∪n2∪n5∪n6, |A|=8；A=n1∪n6,|A|=4；A=n1∪n2,|A|=2；A=n1∪n2∪n3∪n4∪n5∪n6,|A|=24；A=n1∪n6∪n4,|A|=12.3 SL2(Z4)的sylowP-子群由于|SL2(Z4)|=24×3，则知：SL2(Z4)的sylow2-子群P2的阶为24，sylow3-子群P3的阶为3.对于sylow3-子群P3：由于|P3|=3，则知P3为循环群.因此SL2(Z4)的4个sylow3-子群分别是：对于sylow2-子群P2：由于|P2|=16，则P2中没有3阶元和6阶元.定理6 SL2(Z4)的sylow2-子群为：n1∪n2∪n5∪n6∪T1；n1∪n2∪n5∪n6∪T2；n1∪n2∪n5∪n6∪T3.证明∀由于所以知：a,b,c,d这四个数中最多有2个数是偶数，至少有1个数是偶数.当b,c为偶数时，的阶为2.下面对n7∪n8∪n9∪n10中元素进行讨论：∀A1,A2∈n7∪n8∪n9∪n10，易证下面结论：设则有：A1中a1,b1为偶数.当A2中只有b2为偶数时，则tr(A1A2)为奇数；当A2中只有c2为偶数时，则tr(A1A2)为奇数；当A2中a2,d2为偶数时，tr(A1A2)为偶数. A1中只有b1为偶数.当A2中只有b2为偶数时，则tr(A1A2)为偶数；当A2中只有c2为偶数时，则tr(A1A2)为奇数；当A2中a2,d2为偶数时，tr(A1A2)为奇数.A1中只有c1为偶数.当A2中只有b2为偶数时，则tr(A1A2)为奇数；当A2中只有c2为偶数时，则tr(A1A2)为偶数；当A2中a2,d2为偶数时，tr(A1A2)为奇数.从而知：A1,A2∈n7∪n8∪n9∪n10，按tr(A1A2)为偶数，把n7∪n8∪n9∪n10分成3类为：所以可知，3个sylow2-子群为：n1∪n2∪n5∪n6∪T1；n1∪n2∪n5∪n6∪T2；n1∪n2∪n5∪n6∪T3.【相关文献】[1] 徐明曜,等.有限群导引(上册)[M].(第2版)北京:科学出版社,2001.[2] M. I. Kargapolov, Ju. I. Merzljakov. Fundamentals of the Theory of Groups[M].Springer-Verlag,1979.。
数学思维方式与创新答案
（一）已完成1字母表示？A、NB、MC、ZD、W我 答案：C2成 字应关系？A、交叉 应B、一一 应C、二一 应D、一二 应我 答案：B3谁创立 ？A、柏拉图B、康托C、笛卡尔D、牛顿-莱布尼茨我 答案：D4 一 已 平行？A、没B、一C、至 2D、无我 答案：A5 表 人A、牛顿B、 马C、笛卡尔D、莱布尼茨我 答案：D6人A、牛顿B、 马C、笛卡尔D、莱布尼茨我 答案：A7一 A、 氏B、罗氏C、D、解我 答案：B8解。
我 答案：×9要环节:观察－抽象－探索－猜测－ 证。
我 答案：√10牛顿 莱布尼茨 立作者。
我 答案：√（二）已完成1表示 ？A、{6R|R∈Z}B、{7R|R∈N}C、{5R|R∈Z}D、{7R|R∈Z}我 答案：D2 一 ？A、自然B、小C、D、无理我 答案：C3例子 a,b 一子 要？A、a b6相B、a b7相C、a b7 相D、a b相我 答案：B4不包括A、确定B、互异C、无序我 答案：D5A={12}B={3,4},A∩B=A、ΦB、AC、BD、{1,2,3,4}我 答案：A6A={12}B={3,4}C={1,2,3,4}则A B C 关系A、C=A∪BB、C=A∩BC、A=B=CD、A=B∪C我 答案：A7二 交。
我 答案：√8 。
我 答案：×9小 成一 。
我 答案：×（）已完成1S 一 A B子关系 ？A、2.0B、3.0C、4.0×D、5.0我 答案：2如果～ S一 关系则应 些 ？A、反身B、 称C、传递D、我 答案：D3如果S、MSХM{（a,b)|a∈S,b∈M}称 S M ？B、牛顿C、康拓D、莱布尼茨 我 答案：A4A={1,2}B={2,3}A∪B=A、ΦB、{1,2,3}C、AD、B我 答案：B5A={1,2}B={2,3}A∩B=A、ΦB、{2}C、AD、B我 答案：B6系 人 A、牛顿B、柯西C、笛卡尔D、伽罗瓦我 答案：C7 确定 要 要 不 。
近世代数证明题
证明题1、设G 是群，a ∈G ，令C G （a ）= {x |x ∈G ，xa = ax }，证明：CG （a ）≤G 2、设G ~ G ，H ≤G ，H = {x | x ∈G ，f （x ）∈H }。
证明：H /Kerf ≌H . 3、证明：模m 的剩余类环Zm 的每一个理想都是主理想。
4、设R =cob a ，a ，b ，c ∈Z ，I =oo xo x ∈Z 。
（1）验证R 是矩阵环Z2×2的一个子环。
（2）证明I 是R 的一个理想。
5、设G 是群，u 是G 的一个固定元，定义“o ”：aob = a u 2b （a ，b ∈G ），证明（G ，o ）构成一个群.6、设R 为主理想整环，I 是R 的一个理想，证明R /I 是域I 是由R 的一个素元生成的主理想.7、证明：模m 的剩余类环Zm 的每个子环都是理想.8、设G 是群，H ≤G 。
令N G （H ） = {x | x ∈G ，xH = Hx }.C G （H ）= { x | x ∈G ，h ∈H ，hx = xh }.证明：（1）N G （H ）≤G（2）C G （H ）△N G （H ）9、证明数域 F = {a ＋b 7|a ，b ∈Q}的自同构群是一个2阶循环群.10、设R 是主理想环，I = （a ）是R 的极大理想，ε是R 的单位，证明：εa 是R 的一个素元.11、设G 与G 是两个群，G ~G ，K = Kerf ，H ≤G ，令H = {x |x ∈G ，f (x ) ∈H }，证明：H ≤G 且H /K ≌H .12、在多项式环Z [x ]中，证明：（1）（3，x ）= {3a 0＋a 1x ＋,＋a n x n|a i ∈Z }. （2）Z [x ]/(3，x )含3个元素.13、设H 是群G 的子群,令N G (H )={x |x G , xH =Hx },证明N G (H)是G 的子群．14、在整数环Z 中, a, b Z,证明(a, b )是Z 的极大理想的充要条件是a ,b 的最大公因数是一个素数。
子群总结范文
子群总结子群概述子群，又称为群的子集，是在一个群基础上选出的一部分元素，仍然满足群的运算封闭性、结合律、单位元和逆元等性质。
子群是群论中的重要概念，在代数学和离散数学等领域有广泛的应用。
本文将对子群的定义、特性以及实际应用进行总结和讨论。
子群的定义与特性子群的定义设G是一个群，H是G的一个非空子集。
如果H中的元素对于群G的运算仍然封闭，即对于任意a，b∈H，ab也属于H中，并且H对于G的运算结合律、单位元和逆元等性质仍然成立，则称H为群G的子群。
子群的性质•子群必须包含群G的单位元。
•子群必须对于群G的运算封闭，即对于任意a，b∈H，ab也属于H 中。
•子群必须包含群G中每个元素的逆元，即对于任意a∈H，存在b∈H，使得ab=ba=单位元。
•子群的单位元与群G的单位元相同。
•子群必须遵守群G的运算结合律。
子群的分类根据子群的定义和特性，我们可以将子群分为以下几类：•群的本身是自己的子群，称为自身子群。
•群的单元素组成的子群，称为平凡子群。
•群中包含所有元素的子群，称为全子群。
•群中只包含单位元的子群，称为平凡子群。
•群G的除了单位元外，只有一个非单位元素的子群，称为循环子群。
子群的实际应用子群在数学和计算机科学中有广泛的应用。
以下是子群在实际中的一些应用场景：密码学在密码学中，子群被用于生成加解密密钥、密码生成和验证等领域。
子群的特性可以保证密码算法的安全性和可靠性。
编码理论在编码理论中，子群被用于生成纠错码、哈密顿码和循环码等编码方法。
子群的运算特性可以用于设计和实现各种优秀的编码算法。
图论在图论中，子群可以用于研究图的自同构性质，从而帮助解决一些图论中的难题，例如图同构和图同构的自动判定问题。
计算机图形学在计算机图形学中，子群可以用于生成和变换图形对象，例如平移、旋转和缩放等操作。
子群的性质可以保证图形变换的正确性和一致性。
总结子群是群论中的重要概念，具有丰富的定义和特性。
子群的运算封闭性、结合律、单位元和逆元等性质使其在数学、密码学、编码理论、图论和计算机图形学等领域都有广泛的应用。
线性群GL(n,Zm)的换位子群
１ 引 言及 引理
典 型群 的子群结 构是 群论研 究 的重 要课 题之 一． 献 ［ ］ 文 １ 解决 了体上 线性 群 （ ， 的换位 子群 ， 罗 ｎ ） 华 庚 教授 和 ＩＲ ｉｅ［解 决 了整数环 ｚ上线 性群 的换 位子群． ． ｅ ｒ２ ｎ 文献 ［ ］ 出环 ｚ ３给 上 线性 群的定义 ： Ｚ 设 ＝｛， ０ １… ， 一１ 为模 ｍ 的完全剩余 系 ， ， ｍ ｝ 令 （ ， ｎｚ ）＝｛ Ａ＝（ Ｉ （ｅＡ ｍ）＝１ ，Ｌ ｎ Ｚ ）＝｛ ａ ） ∈Ｚ ，ｄｔ， ａ ｝Ｓ （ ， Ａ＝
令 （ ） ｉ ｊ 表示 （ ， 中 （ ） １ （＃ ） ｎｚ ） √ 和主对 角 线 上 的元 素 都是 １ 而其 余 位 置 的元 素全 是 ０的矩 阵． ， Ｐ ＝ （ ） （一１ （ ）则 Ｐ 就是 主对 角线 上除 了 位置 （，） （，） １ ） １， ｉ ， 的元 素 为 ０外 ， 其余 位 置 元素 都 为 １ ， 位 置 （ ） 素为 １位 置 （，） √ 元 ， 元素 为 一１而 其余 位置元 素都 为 ０的矩 阵． ， 引理 １ 令 Ｍ ＝（ （ ） １ ｌ√＝１２ … ， ，＃ ｝则 乩 （ ，ｐ ，， ｎｉ ｊ ， ｎＺ ）＝＜ ＞ Ｍ ． ｝则 乩 （ ， ｒ ＝ ＜ ＞． ， ｎ ） Ｍ 引理 ２ 令 Ｍ ＝（ （ ） １ Ｉ√＝１２ … ， ， ，， 的方 法 ， 给出 了 （ ， 的换 位子群 ， ｎｚ ） 其结 果 是 ： ｍ＝２ＯＩ ｒＰ 均 为奇素数 ， ： 设 Ｉｐ ｒ ．‘ ， 则
（ ） ２且 ｒ ＝ １ ｎ＝ ０ ０时 ， Ｃ （ ， ） Ｓ （ ， ）×… × Ｌ ２ Ｚ ， ； （ Ｌ ２ Ｚ ） ＝ Ｌ ２ ｚ ： － Ｓ （ ， ｐ） （ ） ＞３时 ， Ｃ （ ， ） ２ｎ－ （ Ｌ ｎ Ｚ ） ＝Ｓ （ ， ２ ）× Ｌ ｎ ： Ｌ ｎＺ， Ｓ （ ， 。 。 ）×… ×Ｓ （ ， ， ． Ｌ ｎ ）
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Ｈ在 ｍ ｄ二 ｏ 下同构． 例 １ ） ２ ｎ ，＊ １５７１，３１，９２ ，ｚ １３５７． ＝ ，＝ ２ （，，，１１，７１， ）Ｚ ＝ ，，，＇ ｑ的所有非 １ １ ｍ ４ ＳＺ， ＝ ３ ｛ ｔ Ｚ 子群有：， Ａ ＝Ｚ ， １ ３ ， ， １ ５ ， ， （， ）Ｚ， ； Ａ ＝（ ， ）Ａ ＝（ ， ）Ａ ＝ １ ７ ． 的如下子群分 别与 Ａ Ａ ， Ａ 在 ｍ ｄ 同构 ： ２ ｉ Ａ 、 ２ ｏ ８下
收稿 日期 ：０００－８ ２０－９２
基金项目： 江苏省教育厅自然科学其金资助项目（Ｏ Ｊ１００） ＯＫＢ １０６ 作者简介： 朱一心（９４ ， 江苏昆山人， １６－）男。 副教授， 博士， 主要从事有限群表示论的研究
万方数据
徐州师范大学学报（ 然科学版） 自
第 １ ９卷
ｍ ｄ ｏ ｍ下同构一一对应． ，不互素时， 当， ， 由中国剩余定理， 可将问题归结为ｍ ｐ， ｐ 的情形 ９ ＝ ＂＝ ＇ ｎ ＝ 。 ＝ 时， 或ａ 。 显然，夕 Ｚ 的每个子群与Ｚ 的某个子群在ｍ ｄ 办， ｏ 厂下同 故考虑ａ／ １ 构， ， 的情形． ３ ， 引理３ 记Ｃ 为从ａ 个数中 （ａ 取ｉ 个的组合数 当ａ 为素数方幂厂时， ＝户， 其中ｐ 令ｉ ， 与 素． 则因ｔ ， （ｓ （厂 有ｔ ， 此时Ｃ＝ ； 恰被厂 ‘ 一 整除・ ． ＜ｐ时， ｌ ＝Ｐ ｝ｉ 当ｉ ＇ 对 ｝ｊ ｀ ， Ｔ ｐ与１ ， 互素， 。 ． 当有 ＜ｓ 此时厂一１ － 证 ｐ 时结论是对的 当ｉ ， ＝ ． ＇２ ｐ－ … ． 兰 ７ ｐ 恰被 Ｐ ， ＇整 －
第１卷第３ ９ 期
２０ ０ １年 ９月
徐州师范大学学报 （ 自然科学版）
Ｊ ｏ Ｘｕｈ ｕ ｒ ｌ ｉ（ ｔｒｌ ｅ ｃｓ ． ｆ ｚ ｏ Ｎｏｍａ Ｕｏ． ｕａ Ｓｉｎｅ ） Ｎａ ｃ
７． ９入
３
．０ １ ０ ２
关于 Ｚ ｍ子群的一个注记
朱 一心
（ 徐州师范大学 数学系， 江苏 徐州 ２１０ ７ ２０９
３ １－２０１氢． ２ 蓉一 ｝ ＋ ＋＇－ ，一 ＇ ２ ＂ ２ ＇－ ） Ｃ ＋３ Ｃ － ， ＝ － ＋ － － （ ２ ｚ ＝ ＋ ： ２
＋ ， －‘ 被２ Ｃ２ ２ 整 故３ ， １ ｄ － ｍ ０ ＝ ） ａ ＋ｉ ）ａ ； ２－３ ， ＇ ａ 整 由 理３ ４ 恰 － 除； ＂ （ｏ２ －２ －Ｂ ＋１ 由 ． ＞－２ － 被２， 除； 引 ＂
ｔ Ｇ的作用为 ｔ －Ｇ， ＇ 对 ： Ｇ ． ． ｚ －ｚ 设 ‘ ｎｍ， 互素）则由中国剩余定理仁， ｏａ ９ ２２〕 Ｚ， ｍ ， 记 Ｚ （ ， ＝ｍ ， １Ｃ ｒ ｌｙ ． ６有 ｏ ｌｒ ［ ． －Ｚ ＸＺ ． ， Ｚ 与 ； ；到 ：
Ｚ 的同态核分别为， ，和。； 即 Ｚ －１ ｏ ｎ， ， １ ｏ ｍ ． ｍ Ｚ Ｚ ， － ； （ ｄ ．Ｌ （ ｄ 以下引理是〔， ｏｔｎ ］ ｍ ）Ｚ － ｍ ０ ） ４Ｐｏ ｓｉ １３ ｒ ｉ ． ｐ ｏ
ｐ（＇｀ ｀ － Ｐ－ 除．
－ Ｊ 被｀除争 中 ，子于 Ｃ 夸 ｐ１ ｌ ｐ ， 无 因．是、 ７ ） 整 恰 一 ＇
ｉ ｉ －
； 因 子指数未必与１ 中相同 如对ｐ ，＝１， ， ＝ ＝ 但Ｃｓ ・ １ ３因子指数为 １而 ， ＝３ａ ３ｉ 有： ｔ 。 ｉ ＝２ ＝２ ３． ３中 ． Ｃ， ＝２・ １・ ３中 ３因子指数为 。 １ １
｛， ， ，１ ，１ １ ） （ ， ） ｛， ） １ ５ ７ １ ）（ ，１ ，１ ５ ，１ ７ ． ２ ｍ＝２ ，＝９Ｚ， １ ２ ４ ５ ７８ １ ，１ ３ １ ，６ １ ，９２ ，２ ２ ，５２ ） （ ， ；＝ｉ ， ， ７二 ， ； （ ， ，， ，， ，０ １ １ ，４ １ ，７ １ ，０ ２ ，３ ２ ，６ ＝ ）Ｚ ） ＝ ， ２ １ ２
２ ａ 时 ，＋２ ， Ｚ＝ ２ ） ｉｌ １ ， 是 ｝的 阶元． 一
３ ａ 时， 是Ｚ． 。 阶元； ） 妻３ ３ ｝的２ ， 一 且对夕 ， 蕊２－１ ）１１ 提Ｐ ｅ ， Ｋ为奇数，十川’ 钾， ａ － 阶元 ３ 是Ｚ 的２ ａ， ．
证 ２是显然的． ）
对ｉ ｐ， １ｐ ＝ ） ａ ， ｉ 不整除ｉ 因尸－ 对０ ， ， Ｂ 是单调递增函 故ｉ ＞尸－０ １于是由引理 ３Ｙ０ １ 数， －０ － ） ． ，， － ＞ 时，＇ ＂ Ｃ， ， 中的Ｐ因子指数为Ｙ ｉ ＝Ｙ （ ） ０ ） Ｙ ． ｐ ＋ｏ －０ 十＂ｉ 十（－１０ ＋Ｏ －Ｂ ｉ １ 对 ｐ｝ ， ） ，２ｉ ）２有 Ｏ ， ，２或Ｏ ， ＞尸一Ｂ ｐ ＞ 故 ： ＝尸犷 ： ＝Ｏｉ －Ｂ ； ｉｌ ＿ ｉ －ｏ ） －１ ２ － ．
４５ ７８ ＝（ ）Ｚ ，，，） ２． ；只有一个 ３ 阶子群 Ａ＝ ，，）Ｚ２ （ ４７，； １ 只有一个 ３阶子群 Ｂ＝ ，０ １｝Ｂ与 Ａ不在 （ １ ，９ ， １ ｍｏ ９ 同构． ｄ 下
设 Ｋ是特征零的 Ｆ Ｋ的添加。 域， 是 次单位根的扩域， 则相应的Ｇ ｌｓ Ｇ ｌ 同构于乙 的 ａｉ ｏ 群 ａ Ｆ Ｋ） （／ 一个子群 ｒ ［ Ｔ ｅｒ ＇ ８１ 为有限群 Ｇ的指数， Ｇ的Ｆ 一 ｘ ｏ ｍ ． ］取。 ， １ ｈ ｅ １ ． ． 则 Ｘ 共扼类和 Ｆ 一 ｘ 初等子群在讨论 Ｇ的Ｋ表示时是极为有用的 －Ａ ］）其中 ［２ ］ ４ 需要考虑几 ． Ｖ ， ．Ｆ ［ ３ 特别地，； Ｚ 对于Ｇ的作用 对于ｔ Ｚ ， Ｅ ；令
数Ｐ ，＞１ ；的一个子群与Ｚ 十 的一个子群在ｍ ｄ 及－＃ ， － Ｚ 户ｅ ｏ 厂下同构当且仅当该子群的阶是ｐ 的因子． －１
关健词 ： 子群 ； 直积 ； 群作用
中图分类号 ０１６ １ ： ５ ． ０１２ １ ； ５ ． 文献标 识码 ： Ａ 文章 编号 ：１０－５ ３ ２０ ）３０ ０－３ ０ ７６ ７ （０ １ ０－０ １０
Ｙ十 ｏ 一 Ｂ＝ Ｙ＋ （ 一 １ｉ Ｉ ０ ｒ＋ ２ 一 １ ｉ ０ ）＋ 一 ， 峥 ）＋ ２》 ｒ＋ ０＋ １ ．
Ｈ 故（ 十 － （ｏ厂 ． 可 ＝ ｍ 同 数不小于（－户十（ ＝ａ ； Ｃ － Ｐ中Ｐ 子 数 ， （ 酬 厂 ａ １ ｄ ） 样 证 （ ａ ３ ＋１ ＋１而 ； ｓ 因 指 为。 １ ａ
因 ＋ｕ ｐ中的阶为厂 Ｐ １成立， ＿， ） 故 （ １ －Ｉ１ ｐ 一 １ ｄ ） 此 Ｉ 对在Ｚ １ 尸０－ ＋ 厂， （ｏ厂 ， 十 ａ＝ 葬 ｍ
３ ）易验 ３ Ｚ 在 ｅ和 Ｚ ｓ中的阶分别为 ２ ４即 ３对 ａ ， 成立． ａ ５ 和 ， ） ＝３４ 当 ＞ 时， ＿
。（ ａ， ２ 其中 因 指 ｐ ）当ｉ 特别地， 由二项式定理， 十 尸） ａ 展 式中 每 项ｑ ａ ｐ ＇ ） 时， 的Ｐ 子 （ ｋ 的 开 的 一 １ ＇
对正整数 记Ｚ 为模，剩余类整数环Ｚ 的乘法群， 为整除ｍ的正整数， 。， 。 ， 则自然映射 ｍ ｄ 是 ｏ。
Ｚ。 Ｚ 的环 同态 ， ，到 ． 记为 Ｚ 三Ｚ （ ｄ ． 二 ． ａ 于是有如下的 ： ｍｏ ）
引理 １ 设 ，， 为正整数且 ， ｎ 整除 ｍ， Ｚ －Ｚ （ ｏ ｎ 为群同态 则 ， ， ｍ ｄ ｝ ； ） ｍ ｄ Ｚ 和 么： ｏｎ 引导 子群集合间的满同态， 但对于 Ｚ ， ；的一个子群 Ｈ， 不必存在 Ｚ 的一个子群与
注 在１中，十 １ 丫与１ Ｋ０ ） ＋ ｐ 的阶是一样的， ＝２ 不必 在ｐ 时， 如此 事实上， ５定理３９１ 由「， ． ｏ明 ． ］ ｆ
中形， 时 每奇ｘ０ ‘ｏ） 并“的均 ２ 如在； 情２ ａ ， 个０ ％‘ （ ２但‘们阶为一 ３Ｚ 的 ５３ － 对 － ＞ ＜ ｆ ｍ ２ Ｚ二 ｄ 卜 ２ 一 ’ “ ａ 时，｝的子群是 Ｚ ＋ 的子群在 ｍ ｄ ＞ｌ － ｚ ， ｏ ２下的同构像当且仅当该子群为（ ） “ －１
－Ｂ ； ＝１ｉ ， ＇ 一０ ； ）２： － ａ ＞ ２最后一种 一Ｂ ＞ － 对： ＇妻３２ ＝２＇ ， 不整除 ｉ 有 ０ ． ｝３或 Ｂ ，）３： 》５或 ０ ， ｝２－Ｂ ， ｉ ： ＝０ｉ ＝３或 １ ， ； ）３ 此时由引理 ３Ｑ－２ 中 ２因子指数） ）５有 －Ｂ ， ， ‘ 情形等号成立当且仅当 ｉ ． ＝４ 因此对 ｉ
｝ ０２ 同 可 ２， １ ２＇ （ｏ ２ ， ３在 Ｚ－中的阶为 ２－ 样 证３ － ＋ ０笋１ ｄ 故 ‘ 一 － ｍ ０ ） 因 指 妻（ 一 ） ｝ ＋ ＋ ， － ２｝－ ＋ ＋ 故（ Ｆ ０． ｚ ． 由上述 １ 的证明， ｌ Ｃ ＋－２ 中２ 子 数 ａ 月 ２ ａ ａ 召 １ ３ ｝ ） ｅ＝ ） ｉ 时，ｉ ｉ ＞ － ｓ ＂ ｍ ０ ＋ 成立 二 ＋ ， ＋ ２ ＋’ ‘ ， （ｏ ２ ０， ） ＇ 三 十 ３ ， １ ０） （ １）， ３ Ｆ羊１ ｄ ）即３ ２ 一 （浏２ａ但 ３ ， ＂一 ２ － ． ’ ｍ
的改 写．
引理 ２． ａ， １ Ｚ ＝ Ｚ Ｘ Ｚ． ［． ，－ ｒ ２ ） ７ ， Ｍ ． ，， Ｌ
２ Ｚ ＝Ｚ； ｄ ，Ｚ ， ｍｏ ｍ） 平凡作用于 ｎ ） ， ； ， （ ． 阶元．
３ ｎ， ； ｎ Ｚ ， ｍ ｄ ， －平凡作用于ｍ阶元． ）Ｚ 三Ｚ （ ｏ ） Ｍ 事实上有． ， ＿－ ， Ｚ －Ｚ Ｚ Ｍ Ｍ平凡于作用 二阶元， Ｚ 不必如此， 但 ， 因此，４Ｐｏｏｉ ｎ ３２ ，３〕 ［， ｓｉ １ （）（）原 ｒｐ ｔ ． ｏ 文中二 ，＝Ｚ Ｚ ： ｍ和。，＝Ｚ Ｚ Ｌ ：的记法指的是同构， 而不是严格意义上的相等 例 ２ 对 。 ，｝ Ｚ 二｛，｝ ５－Ｚ 二｛，｝ ２ ， ＝６Ｚ 一，ａ １５ ＝（＞ ， １２ 二（）３，平凡作用于 ２ Ｚ 阶元，３不能如此 Ｚ 但２ｓ ２ 平凡作用于 ３ Ｚ －Ｚ 二１ 阶元． 下面分析例 和例 ２中的二种情形产生的原因． １ 所涉及的 ａ ７００１ 渭，，，， 均为非负整数， Ｐ为素数． ｍ， 互素时， 由引理 ２ ，， ｍ 因此，，的子群与， Ｌ的子群（ ， ， －Ｚ ， Ｚ ； Ｚ， ； Ｚ 因而也是 Ｚ ， ，的一部分子群） ； 在