抽象代数-小阶群
- 格式:doc
- 大小:1.11 MB
- 文档页数:9
抽象代数一习题答案在抽象代数中,习题通常涉及群、环、域等代数结构的定义、性质和例子。
以下是一些抽象代数习题的答案示例。
习题1:证明如果一个群G是阿贝尔群,那么它的每个子群也是阿贝尔群。
答案:设H是群G的一个子群。
由于G是阿贝尔群,对于任意的a, b属于G,我们有ab = ba。
现在考虑任意的h1, h2属于H。
由于H是G的子群,h1和h2也属于G。
因此,我们有h1h2 = h2h1(因为h1h2和h2h1都是G中的元素,并且G是阿贝尔的)。
这表明H中的元素满足交换律,所以H也是阿贝尔群。
习题2:证明如果一个环R有单位元,那么它的每个理想都是主理想。
答案:设I是环R的一个理想,我们需要证明I是一个主理想,即存在一个元素r∈R使得I = (r),其中(r)表示由r生成的理想。
由于R有单位元1,考虑元素1 - r。
由于I是理想,1 - r也属于I。
因此,我们有1 - r = a(r) + b,其中a, b属于R。
将等式两边乘以r,我们得到1 = ar + rb。
这意味着r(1 - ar) = rb。
由于1 - ar属于I(因为I是理想),我们有r属于I。
现在,对于I中的任意元素x,我们可以写x = (1 - ar)x + arx。
由于ar属于I,(1 - ar)x也属于I。
因此,x = r(1 - ar)x,表明x可以由r生成。
所以I = (r),证明完成。
习题3:证明如果一个域F的元素a不是单位元,那么a的阶是有限数。
答案:设a是域F中的一个非单位元。
我们需要证明存在一个正整数n使得a^n = 1。
考虑集合{1, a, a^2, a^3, ...}。
由于F是域,它没有零除数,因此a^n ≠ 1对于所有n。
这意味着集合中的元素都是不同的。
然而,域F是有限的,因此不可能有无限多不同的元素。
因此,必须存在最小的正整数n > 1,使得a^n = a^1。
这意味着a^(n-1) = 1,所以a的阶是有限的。
考研抽象代数知识点浓缩考研抽象代数组合知识点浓缩抽象代数是数学的一个分支,是研究代数结构的一门学科。
在考研数学中,抽象代数是一个重要的考点,涉及的内容较为广泛。
本文将浓缩抽象代数的知识点,帮助考生快速掌握和理解相关的概念和方法。
一、群论群是抽象代数中最基本的代数结构。
它是一个代数系(或代数对象),满足封闭性、结合律、单位元和逆元的性质。
群可以通过定义运算和运算规则来描述,常用的群有交换群和非交换群。
1. 子群:给定一个群G,如果集合H是G的非空子集,并且H对G的运算也构成一个群,那么H称为G的子群。
2. 环:环是一种具有两个运算的代数系统,满足加法封闭性、加法结合律、加法单位元、加法逆元、乘法封闭性、乘法结合律和分配律的性质。
3. 域:域是一种具有两个运算的代数系统,满足环的所有性质,且乘法交换律成立,并且存在乘法单位元,并且对于每个非零元素,存在乘法逆元。
二、线性代数线性代数是抽象代数的重要分支之一,研究向量空间、线性映射和线性方程组等问题。
1. 向量空间:向量空间是一个集合,具有加法运算和数乘运算,并满足加法封闭性、加法交换律、加法结合律、加法单位元、数乘封闭性、数乘结合律和分配律的性质。
2. 线性映射:线性映射是指保持向量空间的加法运算和数乘运算的映射关系。
线性映射可以用矩阵表示,并可以通过对矩阵的运算来进行分析和求解。
3. 线性方程组:线性方程组是由一组线性方程组成的方程组,每个线性方程有多个未知数,并且每个未知数的系数都是线性的。
线性方程组的求解可以通过高斯消元法、矩阵的逆和矩阵的秩等方法来进行。
三、环论环论是抽象代数的另一重要分支,研究环、域和理想等问题。
1. 整环:整环是一个满足环的所有性质,且没有零因子的交换环。
2. 理想:理想是环的一个子集,对环的加法和乘法运算都是封闭的,并且满足加法逆元、乘法单位元和乘法分配律的性质。
3. 有限域:有限域是一个有限元素个数的域。
在有限域上,乘法和加法运算都是封闭的,并且存在加法逆元、乘法单位元和乘法逆元。
《抽象代数》阶数⽐较⼩的群l 分类⽤到西罗定理,半直积,和素数幂阶群的⼀些性质。
n p群的中⼼⾮平凡。
n p群中有指标为p的⼦群。
(证明:若群G是交换群,取⾮单位元素x,若x⽣成G,则G是循环群,有指标为p的⼦群(循环群的⼦群阶只要整除|G|就有这样的⼦群并且唯⼀)。
如果x不⽣成G,归纳考虑G/<x>。
若G不是交换群,归纳考虑G/Z(G)。
)n 指标为2的⼦群是正规⼦群。
n 如果G的正规⼦群N是交换群,则G/N作⽤于N上(代表元的共轭作⽤,类似平⾯离散刚体群中,点群作⽤于平移群上)。
l 素数阶群都是循环群C p,这些群的⾃同构群也是循环群C p-1。
包括2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,⼀共25个。
l 2p阶群中,由西罗定理,p阶⼦群唯⼀,是正规⼦群。
2阶群中⾮单位元的共轭作⽤或者是平凡作⽤,或者将Z/pZ中1映射为p-1。
前者得到C2p,后者得到D p。
由于模2p是有原根存在的,因此Aut(C2p)≌C p-1。
D2p的⾃同构群保持C p不变,将反射应为任何⼀个反射,表⽰为(ρ,r)→(ρk,ρl r),计算同构的复合来考察⾃同构群结构,发现Aut(D2p)≌C p-1与C p的半直积,⽅便起见记为C p-1┠C p(不是通⽤的符号)。
l 上⼀个类型可以推⼴到2p a阶群,得到循环群或⼆⾯体群两种类型。
对应的Aut(D2pa)≌Aut(p a)┠C pa这两种类型包括的阶有6,10,14,18,22,26,34,38,46,50,54,58,62,74,82, 86,94,98。
⼀共18个。
l 2的幂次阶群:n 2阶群只有C2,n 4阶群有C4或C2xC2。
n 8阶群u 8阶交换群有C2xC2xC2,C2xC4,C8。
下设G⾮交换。
u G的4阶⼦群K是C4或者C2xC2,⽽且是正规⼦群。
抽象代数第三章群抽象代数第三章群好久没有认真学习问题求解了=。
=,⼀转眼就上了⼀本新的书TJ,介绍抽象代数的⼊门书。
我觉得在wiki已经说得很好了需要科学上⽹学习抽象代数之前复习⼀下之前学过的相关知识⼦集族和指标集设J是⼀个⾮空集合,对于每⼀个j ∈ J,对应集合S的⼀个⼦集S j,则通常说 {S j|S j⊂S,j∈J}是S的⼀个以J为标号的⼦集族,J称为指标集等价关系同时满⾜反射性、对称性和传递性。
学习抽象代数的第⼀节课代数结构这章不是重点讲代数结构本⾝,代数结构=集合+在集合上定义的运算。
对于集合和代数运算本⾝还有更加精准的定义,不论。
群群的定义群是⼀种特殊的代数结构,设这个代数运算为∘,则这个运算满⾜1. 结合律 :(a∘b)∘c=a∘(b∘c)2. 在这个运算下有且只有⼀个单位元e,对于集合中的任意元素a有:a∘e=e∘a=a3. 在这个运算中每⼀个集合中的元素都有且有唯⼀逆元素在集合中: g∘g−1=g−1∘g=e此时集合G在运算∘下构成⼀个群,记作(G,∘),有时简称G是⼀个群群的性质1. 单位元唯⼀2. 满⾜左右消去律3. 不需要满⾜交换律,若满⾜交换律,则这是⼀个“交换群”,也称“阿贝尔群”4. 群不⼀定需要零元素⼦群(G,∘)是⼀个群,如果G的⼦集H对于∘也构成群,那么称(H,∘)是(g,∘)的⼦群,简称H是G的⼦群。
举例⼦:偶数加法群是整数加法群的⼀个⼦群⼦群的性质1.⼦群的单位元等于群的单位元2.G是⼀个群,G的任意⼀个⼦群族的交集仍然是G的⼦群3.H,K是G的⼦群,如果H,K的并集也是G的⼦群,那么H⊆G,或者G⊆H。
⼀个群⾄少有两个⼦群:1. 平凡⼦群:仅仅有单位元⼀个元素的群2. 原来群本⾝⼦群的判定1. 群G的单位元e在H中2. 如果h1,h2∈H,那么h1h2∈H3. 如果h∈H,那么h−1∈H以上三个条件可以⽤⼀句判定来实现proposition 3.31 如果H是G的⼀个⼦集,那么H是G的⼦集,当且仅当H不为空集,且对于任意h1,h2∈H有h1h−12∈H⽣成⼦群设G是个群,S为其⼀⾮空⼦集,J为G的所有包含S的⼦集族,则称⼦群 ∩H∈J H为S在G中的⽣成⼦群,记作<S>这是什么鸡⼉完全听不懂=。
抽象代数重点解析——群(三)1.6变换群与置换群定义1.6.1:设A是非空集合,A的所有可逆变换关于映射的乘法构成的群,称为A的全变换群,记为S_{A},S_{A}的一个子群称为A的一个变换群;当S_{A}为含有n个元素的有限集时,S_{A}也叫作n元对称群,记作S_{n},S_{A}中的一个元素称为一个n元置换,S_{n}的一个子群称为一个n元置换群。
要注意全变换群,变换群;对称群,置换群。
这两对递进的概念的区别。
下面是一个奠定变换群地位的定理,只给出证明思路。
定理1.6.1(Cayley定理):任何群都与一个变换群同构。
证明思路:设 G 是群, \forall a\in G ,定义映射 \forall g\in G ,f_{a}(g)=ag ,称为左平移变换。
不难验证左平移变换是 S_{G} 的一个子群,且能与 G 可以建立同构。
关于对称群 S_{n} 而言,我们把它的 n 个元素用前 n 个自然数表示,则置换 \sigma 可记作 \begin{pmatri某}1&2&...&n\\\sigma(1)&\sigma(2)&...&\sigma(n) \end{pmatri某} ,可以看出\sigma(1),\sigma(2),...,\sigma(n) 对 n 个元素的一个排列,自然有下面结论。
定理1.6.2: \left, S_{n} \right,=n。
接下来深入研究置换,首先给出两个定义。
定义1.6.2:设集合 A 有 n 个元素,设I=\left\{ i_{1},i_{2}...i_{r} \right\}\subset A , \sigma\inS_{A} ,有 \sigma(i_{j})=i_{j+1}(j<r) , \sigma(i_{r})=i_{1} ,\sigma(k)=k(k\notin I) ,则称 \sigma 为一个r-轮换,或称r-循环置换,记为 \sigma=(i_{1}i_{2}...i_{r}) , i_{1},i_{2}...i_{r} 称为\sigma 的文字, r 称为 \sigma 的长;特别地,2-轮换称为对换,1-轮换称为恒等置换。
数学中的群论与抽象代数知识点引言:数学是一门广阔而深奥的学科,其中群论与抽象代数作为数学的重要分支,对于理解和研究其他数学领域具有重要的作用。
本文将介绍群论与抽象代数的基本概念、性质以及其在数学中的应用。
一、群论与抽象代数的基本概念1. 群的定义群是一个集合,具有二元运算和满足一定条件的性质。
群的定义包括封闭性、结合律、单位元、逆元等关键概念。
2. 子群子群是一个群的子集,并且保持了群的运算和性质。
子群具有封闭性、单位元、逆元等性质。
3. 循环群循环群是由一个元素生成的群,这个元素称为生成元。
循环群具有特殊的结构和性质。
4. 交换群交换群,又称为阿贝尔群,其群运算满足交换律。
交换群在数学和物理领域的应用非常广泛。
二、群的基本性质与定理1. 基本性质群具有封闭性、结合律、单位元和逆元的性质。
这些性质使得群成为一个有序的代数结构。
2. 拓展性质群的运算满足取消律、唯一性和可乘性等性质,这些性质进一步扩展了群的应用范围。
3. 拉格朗日定理拉格朗日定理是群论中的重要定理,它确定了子群与群的阶之间的关系,并具有广泛的应用。
4. 加法群与乘法群加法群是指群的二元运算为加法,乘法群是指群的二元运算为乘法。
加法群和乘法群在不同的数学分支中有不同的应用。
三、抽象代数的应用领域1. 数论数论是研究整数性质和整数运算的数学分支,群论与抽象代数在数论中有着广泛的应用,如素数分布、同余关系等。
2. 几何学几何学研究空间中的形状、结构和变换,抽象代数可以用来描述和研究几何中的对称性、平移、旋转等。
3. 计算机科学计算机科学中的密码学、编码理论等领域,都离不开群论和抽象代数的基础概念和方法。
结论:群论与抽象代数作为数学的重要分支,对于理解和研究其他数学领域具有重要的作用。
本文介绍了群论与抽象代数的基本概念、性质及在数学中的应用。
深入学习和理解群论与抽象代数的知识,能够帮助我们更好地理解和应用数学。
随着数学研究的不断深入,群论与抽象代数的作用与意义还将继续扩展和发展。
抽象代数——群的基本定义和一些例子原创 2015年08月28日 14:26:33群论的基本概念点较多,且各概念点之间关系纵横交错,学习起来颇有本科时初学线性代数时的感觉,觉得有必要整理一下,先梳理一下群的基本定义和例子。
首先作几点说明:1、群(group)、环(ring)、域(field)是抽象代数(abstract algebra)中基本的代数结构(algebraic structures)2、上述这些代数结构是抽象代数(abstract algebra)的研究对象之一,另一个研究对象是通过研究这些代数结构间的保持运算的映射(态射(morphism))3、1872年,F.Klein在被聘为埃尔朗根大学的数学教授的就职演讲中阐述了几何学统一的思想:所谓几何学,就是研究几何图形对于某类变换群保持不变的性质的学问,或者说任何一种几何学只是研究与特定的变换群有关的不变量(《埃尔朗根纲领(Erlangen Program)》)〇、前置概念名称英文名称定义说明代数运算AlgebraCalculation非空集合S与自己的笛卡尔积S×S到S的一个映射在群论中通常是指所谓的二元代数运算正交点变换又称为保距变换(isometry)正交矩阵OrthogonalMatrixAA T=A T A=E酉矩阵Unitary Matrix UU H=U H U=E n式中H为共轭转置一、群的定义1、群的基本定义序号 定义 说明1 代数运算 定义了一个代数运算的非空几何2 结合律(ab)c=a(bc ),∀a,b,c ∈G3 单位元存在律 ∃s ∈G,ea=ae=a ,∀a ∈G 4逆元存在律 ∀a ∈G ,∃b ∈G,ab=e2、 群定义的衍生名称 英文名称 定义 说明群Group满足前述全部4条群的基本定义的非空集合半群 Semigroup 仅满足前述群的基本定义中的前2条的非空集合,即:1)定义了集合上的代数运算2)适用结合律但是,并不要求存在单位元和逆元也有地方称为仿群幺半群Monoid满足前述群的基本定义中的前3条的非空集合,即:1)定义了集合上的代数运算 2)适用结合律 3)存在单位元但是,并不要求存在逆元 阿贝Abel在满足前述全部4条群的基本定义的前提ab=ba ,∀a,b ∈G名称英文名称定义说明尔群Group 下,再补充一条:群元素满足交换律二、群的例子1、生活中群的例子名称英文名称说明平面晶体群Plane CrystallographicGroup又被称为贴墙纸群(Wallpaper Group)已经G.Polya在1924年完成对平面晶体群的分类:共有17种不同的平面晶体群空间晶体群Space CrystallographicGroupFedorov和Schonflies分别独立地证明了空间晶体群共有230个魔方群Rubik’s Cube group 2、数集中群的例子名称符号定义说明整数加群实数加群n次单位根群U n U n的生成元成为复数域中的本原n次单位根(primitive n th root of unity)3、几何中群的例子中文名称英文名称符号定义说明欧几里得群EuclideanGroupE n n维空间所有正交点变换的集合E2为平面欧氏群E3为空间欧氏群二面体群DihedralGroupD n正n边形的对称(性)群,n≥34、代数中群的例子中文名称英文名称符号定义说明模Z m Z m=0,1,2,…,m−1该群的生成元是文名称英文名称符号定义说明n剩余类环1¯(i¯=i1¯)Z m的单位群Z m’s Group ofUnitsU(Z m)或Z∗mZ m=0,1,2,…,m−1该群的生成元是1¯(i¯=i1¯)Z p的乘法群Z∗p当m为素数p时,Z m中所有非零元组成的集合对于乘法构成的一个abel群该群是一个abel群当m为素数时,根据欧拉定理Z p中的所有元素都有逆元(inverse unit)一般线性群General LinearGroupGL n(F)域F上所有n级可逆矩阵组成的集合,对于矩阵的乘法所成的群是矩阵群(Matrix Group)的一种特殊线性群Special LinearGroupSL n(F)在一般线性群定义的基础上再补充定义,所有的矩阵行列式为1是矩阵群(Matrix Group)的一种正交群OrthogonalGroupO n实数域上所有n级正交矩阵(AA T=A T A=E)组成的集合是矩阵群(Matrix Group)的一种特殊正交群SpecialOrthogonalGroupSO n在正交群定义的基础上再补充定义,所有的矩阵行列式为1是矩阵群(Matrix Group)的一种通常SO n被称为n维旋转群(Rotation Group)它所指定的旋转对应的旋转轴可以通过求解一个线性方程组的基础解析来计算得到酉Unitary Group U n复数域上所有n级酉文名称英文名称符号定义说明群矩阵组成的集合,对于矩阵乘法所成的群特殊酉群Special UnitaryGroupSU n在酉群定义的基础上再补充定义,所有的矩阵行列式为1集合Ω的全变换群FullTransformationGroup on Set ΩSΩ非空集合Ω到自身的所有双射组成的集合,对于映射的乘法构成的一个群n元对称群Symmetric Groupon n lettersS n SΩ,当Ω为有限集合时S n具备对称性这时其中的每一个元素(是一个双射)被称为Ω的一个置换(permutation),对于Ω有n个元素的情形,该置换被称为n元置换(permutation on nletters)S n中引入了r-轮换(r-cycle)的概念;特别的,当r=2时,轮换被称为对换(transposition);并且可以说明:每一个置换都可以表示成一些对换的乘积并且对于置换进一步引入了由其等价的对换分解式中的对换的个数的奇偶性确定的奇置换或偶置换n元交AlternatingGroup on nA n S n中所有偶置换组成的集合文英文名称符号定义说明名称letters错群。
抽象代数的基本概念抽象代数是数学的一个分支,研究的是各种代数结构及其相应的运算规则。
它的基本概念主要包括群、环、域三个方面。
本文将对这三个基本概念进行详细介绍。
一、群群是抽象代数中最基本的一种代数结构,它由一个非空集合 G 和一个在 G 上定义的二元运算 * 组成。
如果满足以下四个条件,即可称为一个群:1. 封闭性:对于任意的 a, b ∈ G,a * b 也属于 G。
2. 结合律:对于任意的 a, b, c ∈ G,(a * b) * c = a * (b * c)。
3. 存在唯一单位元:存在一个元素 e ∈ G,使得对于任意的 a ∈ G,a * e = e * a = a。
4. 存在逆元素:对于任意的 a ∈ G,存在一个 b ∈ G,使得 a * b =b * a = e。
群可以分为有限群和无限群。
有限群指群中元素个数有限,无限群指群中元素个数无限。
群还可以通过群的运算性质来进一步分类,比如阿贝尔群(也叫交换群),它满足交换律,即对于任意的a, b ∈G,a *b = b * a。
二、环环是一个比群更为一般的代数结构,它由一个非空集合 R 和两个在R 上定义的二元运算 + 和 * 组成。
如果满足以下八个条件,即可称为一个环:1. 封闭性:对于任意的 a, b ∈ R,a + b 和 a * b 也属于 R。
2. 加法结合律:对于任意的 a, b, c ∈ R,(a + b) + c = a + (b + c)。
3. 加法交换律:对于任意的 a, b ∈ R,a + b = b + a。
4. 存在加法单位元:存在一个元素 0 ∈ R,使得对于任意的 a ∈ R,a + 0 = 0 + a = a。
5. 存在加法逆元素:对于任意的 a ∈ R,存在一个元素 -a ∈ R,使得 a + (-a) = (-a) + a = 0。
6. 乘法结合律:对于任意的 a, b, c ∈ R,(a * b) * c = a * (b * c)。
1.主要用半直积的方法。
p群要按中心非平凡逐渐归纳。
需要用到的会说出自同构群。
未知的群记为G,若能找到正规子群,一般记做N;和N构成半直积的子群一般记做H,同态H→Aut(N)记做φ。
为了方便,循环群记做Cn,二面体群Dn等,不再用下标。
元素的幂次记为x^n。
每一个不同的同构类型用蓝色标出,如果指出了自同构群,用红色标出。
2.2阶群C2,自同构群平凡群1。
3.3阶群,素数阶。
C3,Aut(C3)≌C2,由乘以-1生成。
4.4阶群,素数平方阶,交换。
C4,循环群,Aut(C4)≌C2,由乘以-1生成;C2xC2,Klein4群,Aut(C2xC2)≌GL2(F2)≌S3。
S3作用于C2xC2上任意置换3个2阶元,GL2(F2)作用在上面表示为矩阵作用于线性空间。
5.5阶群,素数阶。
C5,循环群,Aut(C5)≌C4,由乘以模5的原根2生成。
6.6阶群,2p型,3阶群正规,C2与C3半直积,要考察同态C2→Aut(C3)≌C2。
平凡同态得到C2xC3≌C6;非平凡同态得到D3≌S3。
7.7阶群,p型。
C7,循环群,Aut(C7)≌C6,由乘以3生成。
8.8阶群,素数幂型或p群。
A) 若G有8阶元,则G≌C8,Aut(G)≌C2xC2,由乘以3和乘以5生成。
B) 若G无8阶有4阶元x,N=<x>正规,取y∈G\N;y^2∈N。
BA) 若y^2=1,则要考虑y在N上作用(半直积)。
Aut(C4)≌C2。
考察同态C2→C2。
BAA) 若y在N上是平凡作用,则G≌C2xC4。
自同构群可以用2x2矩阵来表达,矩阵的列表示生成元y,x的像,Aut(G)是8阶群,把Aut(G)中生成元写出发现Aut(G)同构于F2上的3x3对角线为1的上三角矩阵群。
Aut(C2xC4)≌D4。
BAB) 若y在N上非平凡作用,则G≌D4。
计算同构群要考虑生成元可能的像,然后用映射复合计算同构群乘法表,Aut(D4)≌D4。
从小阶群与环的同构分类入手培养学生的抽象代数思维能力摘要:文章尝试用初等方法对小阶群(阶数小于等于11的群)与小阶环(阶数小于等于3的环)进行同构分类,通过增加具体实例,拉近学习者与抽象代数的距离,进而在潜移默化的熏陶中提高学生的抽象代数思维能力。
关键词:小阶群;小阶环;循环群;交换环中图分类号:G642.0文献标志码:A 文章编号:1674-9324(2020)01-0292-03收稿日期:2019-02-23基金项目:国家自然科学基金(11801239);江西师范大学博士启动基金;江西师范大学教学改革项目作者简介:甘爱萍(1978-),女(汉族),江西萍乡人,博士研究生,副教授,研究方向:代数学;杨义川(1970-),男(汉族),甘肃天水人,博士研究生,教授,研究方向:代数学。
一、引言近世代数也称抽象代数,其研究各种抽象的公理化代数系统,国内大学是否开设该课程在某种程度上是该大学数学人才培养层次的标志性课程之一。
其高度抽象性使得它具有广泛的应用性,同时它还是当代大部分数学的通用语言,是现代计算机理论与信息论基础课程之一,但正如文献中所指出的,一部分学生对于线性代数和抽象代数的学习效果不理想不是因为自身原因,因此应当从教材内容和教学方法中找原因。
抽象代数中最基本的群与环的概念和理论离不开一些具体的群与环,其中尤其是小阶群与小阶环。
现有的近世代数本科教材普遍对小阶群或小阶环的同构分类没有做系统的介绍,本文将尝试用初等方法对小阶群(阶数小于等于11的群)与小阶环(阶数小于等于3的环)进行同构分类,通过增加具体实例,拉近学习者与抽象代数的距离,进而在潜移默化地熏陶中提高学生的抽象代数思维能力。
二、小阶群群是近世代数中最基本的一个概念,有限群作为群的重要组成部分,其结构与性质广泛应用于许多相关学科,但由于其高度抽象性,在解决问题时往往需要先对小阶群进行研究,由此可推导出许多抽象群或高阶群。
本节我们将应用拉格朗日定理,对所有阶数小于等于11的群进行同构分类。
一、确定所有互不同构的18阶Abel 群设A 为18阶Abel 群,21823A ==⨯。
故A 的Sylow 子群的阶分别为22A =,233A =。
A 的初等因子共有以下2种可能:{2,3,3},{2,9}。
所以18阶Abel 群共有2个:223⊕Z Z ,29⊕Z Z 。
{2,3,3}化为不变因子为{3,6},故22336⊕⊕ Z Z Z Z 。
{2,9}化为不变因子为{18},故2918⊕≅Z Z Z 。
所以互不同构的18阶Abel 群共有2个:36⊕Z Z ,18Z 。
二、确定所有互不同构的20阶Abel 群设B 为20阶Abel 群,22025B ==⨯。
故B 的Sylow 子群的阶分别为222B =,55B =。
B 的初等因子共有以下2种可能:{2,2,5},{4,5}。
所以20阶Abel 群共有2个:225⊕Z Z ,45⊕Z Z 。
{2,2,5}化为不变因子为{2,10},故225210⊕⊕ Z Z Z Z 。
{4,5}化为不变因子为{20},故4520⊕ Z Z Z 。
所以互不同构的20阶Abel 群共有2个:210⊕Z Z ,20Z 。
三、确定所有互不同构的18阶非Abel 群记G 为18阶非Abel 群,将G 的3Sylow -子群记为S 。
1)若S a =,则91a =。
再取2阶元b G ∈,即有,G a b =。
现设1d bab a -=,其中由于G 为非Abel 群,故1d ≠。
因为2111122()()()d d d d d a a bab ba b b bab b b ab a -----======,故21(mod9)d ≡。
200(m o d 9)≡ 224(m o d 9)≡ 230(m o d 9)≡ 247(m o d 9)≡ 257(m o d 9)≡ 260(m o d 9)≡ 274(m o d 9)≡ 281(m o d 9)≡ 故得8d =,而81a a -=,故9219,|1,1,G a b a b ba a b D -==== 。
一、确定所有互不同构的18阶Abel 群设A 为18阶Abel 群,21823A ==⨯。
故A 的Sylow 子群的阶分别为22A =,233A =。
A 的初等因子共有以下2种可能:{2,3,3},{2,9}。
所以18阶Abel 群共有2个:223⊕Z Z ,29⊕Z Z 。
{2,3,3}化为不变因子为{3,6},故22336⊕⊕ Z Z Z Z 。
{2,9}化为不变因子为{18},故2918⊕≅Z Z Z 。
所以互不同构的18阶Abel 群共有2个:36⊕Z Z ,18Z 。
二、确定所有互不同构的20阶Abel 群设B 为20阶Abel 群,22025B ==⨯。
故B 的Sylow 子群的阶分别为222B =,55B =。
B 的初等因子共有以下2种可能:{2,2,5},{4,5}。
所以20阶Abel 群共有2个:225⊕Z Z ,45⊕Z Z 。
{2,2,5}化为不变因子为{2,10},故225210⊕⊕ Z Z Z Z 。
{4,5}化为不变因子为{20},故4520⊕ Z Z Z 。
所以互不同构的20阶Abel 群共有2个:210⊕Z Z ,20Z 。
三、确定所有互不同构的18阶非Abel 群记G 为18阶非Abel 群,将G 的3Sylow -子群记为S 。
1)若S a =,则91a =。
再取2阶元b G ∈,即有,G a b =。
现设1d bab a -=,其中由于G 为非Abel 群,故1d ≠。
因为2111122()()()d d d d d a a bab ba b b bab b b ab a -----======,故21(mod9)d ≡。
200(m o d 9)≡ 224(m o d 9)≡ 230(m o d 9)≡ 247(m o d 9)≡ 257(m o d 9)≡ 260(m o d 9)≡ 274(m o d 9)≡ 281(m o d 9)≡ 故得8d =,而81a a -=,故9219,|1,1,G a b a b ba a b D -==== 。
2)若S a ≠,则必有S a b =⨯,其中31a =,31b =。
同理,再取2阶元c G ∈,即有,,G a b c =。
现设111cac a b αβ-=,221cbc a b αβ-=。
其中12120,,,3ααββ≤<。
11111221111111()()()()()a c a c c c a c cc a b c c a cc b cc a c c b cαβαβαβ--------===== 21112211211112()()a b a b a b αβααββααβαβββ++==22222221111111()()()()()b c b c c c b c cc a b c c a cc b cc a c c b cαβαβαβ--------===== 21122221222212()()a b a b a b αβααββαααβαββ++==故212111222122121(mod3)()0(mod3)1(mod3)()0(mod3)ααββαβαββααβ⎧+≡+≡⎨+≡+≡⎩ 共有以下14组解:(1) 1212(,,,)(0,1,1,0)ααββ=,即1cac b -=,1cbc a -=。
(2) 1212(,,,)(0,2,2,0)ααββ=,即12cac b -=,12cbc a -=。
(3) 1212(,,,)(1,0,0,1)ααββ=,即1cac a -=,1cbc b -=。
(G 非Abel 群,舍去) (4) 1212(,,,)(1,0,0,2)ααββ=,即1cac a -=,12cbc b -=。
(5) 1212(,,,)(1,0,1,2)ααββ=,即1cac ab -=,12cbc b -=。
(6) 1212(,,,)(1,0,2,2)ααββ=,即12cac ab -=,12cbc b -=。
(7) 1212(,,,)(1,1,0,2)ααββ=,即1cac a -=,12cbc ab -=。
(8) 1212(,,,)(1,2,0,2)ααββ=,即1cac a -=,122cbc a b -=。
(9) 1212(,,,)(2,0,0,1)ααββ=,即12cac a -=,1cbc b -=。
(10) 1212(,,,)(2,0,0,2)ααββ=,即12cac a -=,12cbc b -=。
(11) 1212(,,,)(2,0,1,1)ααββ=,即12cac a b -=,1cbc b -=。
(12) 1212(,,,)(2,0,2,1)ααββ=,即122cac a b -=,1cbc b -=。
(13) 1212(,,,)(2,1,0,1)ααββ=,即12cac a -=,1cbc ab -=。
(14) 1212(,,,)(2,2,0,1)ααββ=,即12cac a -=,12cbc a b -=。
先证明:如果210,0αβ≠=,则实质上等同于210,0αβ=≠的一种情况。
证:若210,0αβ≠=,则11cac a α-=,221cbc a b αβ-=。
而由于ab ba =,故221cbc b a βα-=。
将a 记为b ,b 记为a 。
即得证。
从而(5)等同于(13),(6)等同于(14),(7)等同于(11),(8)等同于(12)。
以下依次分析剩余各个情况:(取(4)作为典型代表) (1) 111()()()()()c ab c cac cbc b a ab ---===2112122()()()()()()c a b c c a c c b c b aa b a b---==== 将ab 看作新的a ,2ab 看作新的b 。
即(1)等同于(4)(2) 211212222()()()()()c ab c cac cb c b a ab ---===1112222()()()()()()c a b c c a c c b c b a a b a b---==== 将2ab 看作新的a ,ab 看作新的b 。
即(2)等同于(4)(5) 21121222()()()()()c ab c cac cb c ab b ab ---===将2ab 看作新的a 。
即(5)等同于(4)(6) 11122()()()()()c ab c cac cbc ab b ab ---===将ab 看作新的a 。
即(6)等同于(4)(7) 111222242()()()()()()c ab c cac cbc a ab a b a b ab ---=====将ab 看作新的b 。
即(7)等同于(4)(8) 21121222222()()()()()()c ab c cac cb c a a b a b ab ---====将2ab 看作新的b 。
即(8)等同于(4)(9) 将b 看作新的a ,a 看作新的b 。
即(9)等同于(4)故剩余的即为:33221,,|1,,,G a b c a b c ab ba ca ac cb b c =======332222,,|1,,,G ab c a b c a bb ac a a c c bb c======= 考察在9D 中的元素的阶数:(1阶元1个,2阶元9个,3阶元2个,9阶元6个)考察在1G 中的元素的阶数:(1阶元1个,2阶元3个,3阶元8个,6阶元6个)考察在2G 中的元素的阶数:(1阶元1个,2阶元9个,3阶元8个)综上所述,故互不同构的18阶非Abel 群共有如下3个:9219,|1,D a b a b ba a b -====33221,,|1,,,G a b c a b c ab ba ca ac cb b c ======= 332222,,|1,,,G a b c a b c ab ba ca a c cb b c =======四、确定所有互不同构的20阶非Abel 群记G 为20阶非Abel 群,将G 的唯一5Sylow -子群记为S ,S c =,其中51c =。
因此G 只有4个5阶元素。
由于[]:()G G C c 等于c 的共轭元的个数,从而[]:()124G G C c =或或。
1)若[]:()12G G C c =或,则()2010G C c =或,因此()G C c 中必有2阶元素d 。
(同教材63P ) 令a cd dc ==,a 是10阶元素,于是a 为G 的正规子群。
取b a ∉,2i b a =,1k bab a -=。
由于1bab -为10阶元素,故(,10)1k =。
若1k =,则ba ab =,即G 为Abel 群,舍去此种情况。
若3k =,则1bab a -3=,即ba a b 3=。
2211131921911i i i i ii b a b a b a b b a b a a b aa a a -+-++++=⇒=⇒=⇒=⇒=⇒=。
矛盾!若7k =,则17bab a -=,即7ba a b =。
221117149214911i i i i ii b ab a b a b b a b a a b aa a a -+-++++=⇒=⇒=⇒=⇒=⇒=。
矛盾!故9k =,即191bab a ba a b --=⇒=。
于是22111()i i i i a b bb b ba b bab a ----=====,从而21i a =,05i =或。
0i =时,102110,|1,1,G a b a b ba a b D -==== 。
5i =时,102511,|1,,G a b a b a ba a b -====。
2)若[]:()4G G C c =,则G 中所有元素均不为10阶元素。
故G 中不为5阶的元素必为2阶元。
故有9个2Sylow -子群,且每个均为Abel 群。
由于每个2Sylow -子群包含3个阶元,故存在2个2Sylow -子群有一个公共元(非1)。
假设这个元素为a ,()4G C a >,故()1020G C a =或。
故G 中必有4阶元素。
取一个5阶元a 和4阶元b 生成群G 。
设1k bab a -=,其中04k ≤≤,441131331k k b b ab ab b a ab b a b a ----=⇒=⇒=⇒=。
若0k =,则ba b =,从而1a =,与51a =矛盾! 若1k =,则G 为Abel 群,矛盾! 下记:5422,|1,1,G a b a b ba a b ====5433,|1,1,G ab a b b a a b ====5444,|1,1,G ab a b b a a b==== 考察在2G 中的元素的阶数:(1阶元1个,2阶元5个,4阶元10个,5阶元4个)考察在3G 中的元素的阶数:(1阶元1个,2阶元5个,4阶元10个,5阶元4个)考察在4G 中的元素的阶数:(1阶元1个,2阶元5个,4阶元10个,5阶元4个)从而234G G G ≅≅。