Pure Mathematics
Vol.07 No.03(2017), Article ID:20516,4
pages
10.12677/PM.2017.73019
A Finite Extension of a Finitely Generated Torsion-Free Nilpotent Groups with Automorphisms of Order Four
Xiaodi Ma1, Yanping Zhang2, Tao Xu2*
1College of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing Jiangsu
2College of Science, Hebei University of Engineering, Handan Hebei
Received: Apr. 26th, 2017; accepted: May 12th, 2017; published: May 16th, 2017
ABSTRACT
Let G be a finite extension of a finitely generated torsion-free nilpotent group and be an automorphism of order four of G. If the map defined by is surjective, then the second derived subgroup is included in the centre of G and is an Abelian group.
Keywords:Finitely Generated, Torsion-Free Nilpotent Group, Finite Extension, Automorphism
有限生成无挠幂零群的有限扩张的4阶自同构
马晓迪1,张艳萍2,徐涛2*
1南京理工大学计算机科学与工程学院,江苏 南京
2河北工程大学数理学院,河北 邯郸
收稿日期:2017年4月26日;录用日期:2017年5月12日;发布日期:2017年5月16日
摘 要
设是有限生成无挠幂零群的有限扩张,是的4阶自同构且是满射,则的二阶导群包含在的中心里且是Abel群。
关键词 :有限生成,无挠幂零群,有限扩张,自同构
Copyright © 2017 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言和主要结果
本文采用的符号和术语都是标准的,按照 [1] 。
在群论里,如果群的自同构没有非平凡的不动点,则称是正则自同构。
对于2阶正则自同构,Burnside [2] 证明了一个经典结果。即
命题1.1. 设是有限群,是的2阶正则自同构当且仅当是奇阶Abel群。
对于素数阶正则自同构,Higman [3] 用Lie环的方法证明了:如果局部幂零群的具有素数阶的正则自同构,那么是幂零类不超过的幂零群,其中是只与有关的函数。
舍去自同构的正则性,在满射的条件下,考虑自同构的阶数对群结构的影响,我们在 [4] 中研究了有限生成无挠幂零群的素数阶自同构,证明了:如果是有限生成无挠幂零群的阶自同构,且是满射,则是幂零类不超过的幂零群,其中是只与有关的函数。
在 [5] 中,我们考虑了有限生成无挠幂零群的4阶自同构的情况,得到了:
命题1.3. 设是有限生成无挠幂零群,是的4阶自同构且是满射,则以下结论成立
(i);
(ii)是Abel群。
在本文中,我们研究了有限生成无挠幂零群的有限扩张的4阶自同构,得到了下面的结果,推广了命题1.3。
定理1.1. 设是有限生成无挠幂零群的有限扩张,是的4阶自同构且是满射,则以下结论成立:
(i);
(ii)是Abel群。
2. 定理的证明
引理2.1. 设是一群,是的阶自同构且是满射,则对于任意的,有。
证明 因为是满射,所以对于任意的,存在某个,使得。因此
引理2.2. 设是有限群,是的一个自同构,如果映射是满射,则是的正则自同构。
证明 因为是有限群,所以是单射。任取,设,则有,进而。因此是正则自同构。
引理2.3. 设是一群,是的指数有限的特征子群。如果映射是满射,其中是的一个自同构,则在上诱导的自同构是正则的。
证明 因为是满射,所以是满射,由引理2.2知诱导了的正则自同构。
引理2.4. 设是有限生成无挠幂零群的有限扩张,是的阶自同构且是满射,则有一个指数有限的特征子群,使得以下结论成立
(i);
(ii) 对于任意的正整数,诱导了的正则自同构。
证明 (i) 设是有限群,是有限生成的无挠幂零群。设的幂指数为,则是有限生成的无挠幂零群。记,则是有限群,由 [1] 的定理5.2.21可知是剩余有限p-群。因此 对于任意的正整数,是有限p-群且。
(ii) 易知是满射,由引理2.3可知是正则自同构。
引理2.5. [6] 设是局部有限群,是的4阶正则自同构,则包含在中。
定理1.1的证明 (i) 取,根据引理2.4的(ii)我们可以知道对于任意的正整数,诱导了的正则自同构。易知的阶数整除4。由命题1.1和引理2.5知道包含在的中心里。因此。即。从而
进而
因为,所以。
(ii) 记,只需证是Abel群即可。取,考虑。如果,则是的2阶正则自同构。由命题1.1知道是Abel群。因此对于任意的,有。
即。因为,所以。这表明是Abel群。显然也是Abel群。如果,则是-不变,因此是的1阶或2阶自同构。注意到
于是是的正则自同构。因为,所以是的2阶正则自同构。由 命题1.1知道是Abel群。注意到
我们有是Abel群。所以对于任意的,有。即。因为,所以。这表明是Abel群。
基金项目
国家数学天元青年基金(11626078),河北省教育厅青年基金(QN2016184)和邯郸市科学技术研究与发展计划项目(1624230057-3)资助。
文章引用
马晓迪,张艳萍,徐涛. 有限生成无挠幂零群的有限扩张的4阶自同构
A Finite Extension of a Finitely Generated Torsion-Free Nilpotent Groups with Automorphisms of Order Four[J]. 理论数学, 2017, 07(03): 155-158. http://dx.doi.org/10.12677/PM.2017.73019
参考文献 (References)
- 1. Robinson, D.J.S. (1996) A Course in the Theory of Groups. 2nd Edition, Springer-Verlag, New York. https://doi.org/10.1007/978-1-4419-8594-1
- 2. Burnside, W. (1955) Theory of Groups of Finite Order. 2nd Edition, Dover Publications Inc., New York.
- 3. Higman, G. (1957) Groups and Rings Having Automorphisms without Non-Trivial Fixed Elements. Journal of the London Mathematical Society, s1-32, 321-334. https://doi.org/10.1112/jlms/s1-32.3.321
- 4. Tao, X. and Liu, H.G. (2016) Finitely Generated Torsion-Free Nilpotent Groups Admitting an Automorphism of Prime Order. Communications in Mathematical Research, 32, 167-172.
- 5. 马晓迪, 徐涛. 有限生成无挠幂零群的4阶自同构[J]. 理论数学, 2016, 6(5): 437-440.
- 6. Kovács, L.G. (1961) Group with Regular Automorphisms of Order Four. Mathematische Zeitschrift, 75, 277-294. https://doi.org/10.1007/BF01211026
NOTES
*通讯作者。