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

• 作 者: 杨艳
• 机 构: 湖北文理学院数学与统计学院
• 出 处: 湖北大学学报:自然科学版
• 发表日期: 2020年2期
• 关键词: 亚循环2-群 自同构群 亚循环表示 C语言 metacyclic 2-groupautomorphism groupmetacyclic presentatio
• 基金项目: 湖北省教育厅青年人才项目(Q20172601)资助

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