代数系统及其特殊系统的自同构群

本文首先给出了代数系统的自同构群的概念，并证明了同构的代数系统的自同构群也同构；然后再探讨了其特殊系统－群的自同构群的一些基本性质。     

两族p6阶群的自同构群的阶

根据p6阶群的分类,利用亚交换p-群生成元的定义关系、自同构的性质以及数论中同余的一些运算性质,确定了两族p6阶群Φ25和Φ26的自同构群的阶.     

一类集合的自同构群

为了研究有限群的结构，我们常常把有限群看作某个集合，或某个代数体系，或某个组合结构的自同构群，本文讨论了一类集合的自同构群。     

循环图的自同构群

本文给出了度数不大于5的无向循环图的自同构群的构造,讨论了具有高传递自同构群的有向循环图的性质。     

某些群的内自同构群

确定一个群的自同构群和内自同构群的结构往往十分困难,还没有一般性的理论及方法.本文给出了关于交换群和一般群的内自同构群的两个定理,并通过举例说明了它们的应用.     

一类亚循环2-群自同构群的阶及机器实现

首先研究一类亚循环2-群的自同构群的阶。其基本方法是根据所给亚循环表示(不一定是标准表示)中的生成元关系,对其自同构进行机械式运算,计算出自同构群的阶及相关子群的阶。然后,在机械式运算的基础上,通过C语言进行编程,实现其自同构群的阶的机器计算。其机器运算的结果表明,亚循环群及其自同构群的机器证明和机器计算是可行的。     

算术p-群的自同构群

对任意奇素数p-引入了一类所谓的算术p-群，并确定了其自同构群和外自同构群，所得结果推广具有一个循环极大子群的p-群的相应结论。     

群直积的自同构

研究了n个有限群直积的自同构群，得到了其矩阵描述，进而刻划了该直积群的交换自同构及中心自同构。     

[1,n]型交换2—群的自同构群

讨论了交换２－群的自同构群,得到以下结论：４阶初等交换２－群Ｇ的自同构群ＡｕｔＧ与Ｓ３同构,８阶〖１,２〗型交换２－群的自同构群为８附二面体群,２＾ｎ＋１附（ｎ≥３）〖１,ｎ〗型交换２－群的自同构群为ＡｕｔＧ＝（ａ、,ａ２,ｂ,ｃ｜ａ１＾２ｎ－２＝ａ２＾２＝ｂ＾２＝ｃ＾２＝〖ａ１,ａ２〗＝〖ｂ２,ｂ〗＝〖ａ１,ｃ〗＝」ａ２,ｃ〖＝１,〗ｂ,ｃ〖＝ａ１＾２ｎ－３〗。     

半直积的外自同构群

设有限群 G=N H为半直积 ,本文借助于 N和 H的自同构求出了 G的外自同构群阶的公式 ,并给出了若干应用。     

一类齐次循环2-群的无不动点自同构

研究了齐次循环2-群G=G2n×C2n(n≥1)的无不动点自同构,得到了G的自同构为无不动点自同构的一个充要条件,并证明了G的所有无不动点自同构的集合恰为O2(Aut G)在Aut G中两个不同的陪集之并.     

关于亚循环2群的LA猜想

LA猜想是有限p群中一个著名的猜想. 该文依据亚循环2群的分类,通过计算有循环极大子群、无循环极大子群的通常亚循环2群及例外亚循环2群的自同构群的阶,证明了亚循环2群满足LA猜想,并圆满地回答了亚循环p群满足LA猜想这一问题.     

p6阶若干家族群的自同构群的阶*

目的确定p~6阶群Φ_(31)到Φ_(35)家族中所有群的自同构群阶。方法在1980年Rodney James文章中对p~6阶群的分类基础上,运用数论与群论知识并结合矩阵方程的方法。结果与结论给出了p~6阶群Φ_(31)到Φ_(35)家族所有群的自同构群的阶。     

群自同构的不动点

引入群自同构不动点的概念,对群自同构不动点的性质,非单位元不动点的存在性等做了初步的探讨,得到了若干结果。     

有限群自同构群阶的上界

给出一般有限群的自同构群阶的上界,进而给出有限可解群的自同构群阶的上界。     

能作为自同构群的pq2阶群

考虑怎样的pq^2阶群要以作为另一个有限群的全自同构群，其中p,q是不同的素数，决定了所有pq^2阶自同构群的构造。     

一类特殊p-群自同构群的结构

设G是p5阶有限群,对于群G具有一个循环极大子群,给出了它们所有互不同构的类型;利用半直积和全形的概念,得到了具有循环极大子群的p5阶群的自同构群的构造,同时也验证了具有这样性质的群是LA-群.所应用的方法可以用于解决所有具有循环极大子群的有限p-群及自同构群的构造.     

Cpn×Cpm(n＞m,p为素数)的自同构群

目的确定C_p~n×C_p~m(nm,p为素数)的自同构群的阶及结构。方法根据自同构群及循环群的性质定理,利用模n的原根存在性,确定C_p~n×C_p~m(nm,p为素数)的自同构群的阶及它的生成元。结果与结论得到自同构群的阶,并确定了C_p~n×C_p~m(nm,p2)的自同构群的结构。     

圈Cn的自同构群

一个图的自同构群通常反映了该图的对称性,讨论一个图的自同构群构造是代数图论中的基本问题之一.直观上可以看出,圈Cn的自同构群是2n阶的,但对于其具体构造目前还没有形式化的证明.作者基于群作用的思想,利用群的轨道方程对此问题研究,得出Cn的自同构群是一个二面体群的结论.通过严格的推证,表明该结论是可靠的.     

有限Abel群的自同构

本文讨论了有限Ａｂｅｌ群的自同构，证明了有限Ａｂｅｌｐ－群的任一自同构与环Ｚｐｍ上的一个满足特定条件的可逆矩阵相对应。