有限単純群に関連する離散的幾何の研究

与有限单群相关的离散几何研究

• 批准号: 06640029
• 负责人: 宮本 泉
• 金额: $ 1.28万
• 依托单位: University of Yamanashi
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06640029/
• 关键词: 群; 生成元; 基本関係; 計算群論; deficiency

有限群GをG=F/N,Fはn元生成自由群,n=<r_1^F,r_2^F,・・,r_m^F>,riはGの基本関係,により与えたとき、Aut Fは一般にNを異なるsubgroupに移すが、新しく移された生成元に関するGの基本関係は、もとの基本関係から原理的には簡単に求められる。とくに生成系のdeficiency m-nは変わらない。したがって何らかの意味で性質の良い生成系を考える場合、それはAut Fによるorbitに依存する場合が多い。そこで2元生成の場合、9次までの交代群をGとしてAut Fによる生成系のorbitを求めることを樋口と共同で行った。Gの生成元と基本関係から、その有限指数の部分群Hのそれらを求めるReidemeister Schreierアリゴリズムでは、一般に非常に多数の生成元と関係式が出てくる上に、代入可能な生成元の代入をくり返すことにより関係式の長さが非常に長くなる。この操作のために計算時間がどんどん長くなるばかりか、途中で計算しきれなくなることがしばしばおきる。そこで代入により関係式の長さが一定以上になる場合には代入を途中でやめる、また、ある関係式の長さの半分以上列が一致する場合に部分列の残りのinverseを代入するの2点をプログラムに組込んだ。これにより、計算時間の短縮、関係式の簡単化がある程度可能になった。

A finite group G=F/N,F is an n-element generating free group,n=<r_1^F,r_2^F,··,r_m^F>,ri G. The basic relations between G and G are: The deficiency m-n of the generation system is reversed. There are many occasions when the meaning of the word is good and the nature of the word is good. The 9-th generation system is the same as the 9-th generation system. The generator of G is the basic relation, the finite exponent of the partial group H is the basic relation, the general relation is the most important relation, the substitution relation is the most important relation. The operation time is calculated as follows: When the length of the relational expression is more than a certain value, the length of the relational expression is more than half a minute, and when the residual inverse of the partial column is substituted, the two points of the relational expression are grouped. The calculation time is shortened, and the relationship is simplified.