A research on symbolic and algebraic computation of groups and combinatorics and its application

群与组合的符号代数计算及其应用研究

• 批准号: 23540011
• 负责人: MIYAMOTO Izumi
• 金额: $ 1.66万
• 依托单位: University of Yamanashi
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23540011/
• 关键词: 代数的数式処理; アソシエーションスキーム; 置換群; 数式処理; 組合せデザイン; スーパースキーム

In a previous research I applyed automorphism groups of association schemes to speed up the computation of normalizers of transitive groups. Automorphism groups of coherent configurations are related to the normalizers of permutation groups which may not be transitive. This time, I applied them to speed up the computation of normalizers and testing conjugacy of subgroups of permutation groups which may not be transitive.Doubly transitive groups form a trivial association scheme same as those formed by symmetric groups. The action of a permutation group on t-tuples of points forms t-superscheme. A t-superscheme consists of partitions of k-tuples of a set of points for k=1, 2,.., t satisfying certain conditions. Doubly transitive groups form 3-superschemes with only one partition on distinct 2-tuples of points. Using computers, we constructed such 3-superschems of moderate size but not formed by doubly transitive groups and, as an application, obtained 2-designs from some of the schemes.

在前人的研究中，我利用关联方案的自同构群来加速传递群的规范化计算。相干构形的自同构群与置换群的正则化器有关，而置换群可能不是传递的。这一次，我将它们应用于加速归一化器的计算和检验置换群的子群的共轭性，这些子群可能不是传递的。双传递群形成了与对称群相同的平凡关联方案。置换群对点的t元组的作用形成了t超格式。一个t-上格式由k= 1,2，…点集合的k元组的分区组成。它满足一定的条件。双传递群在不同的2元组点上形成只有一个划分的3-超方案。利用计算机构造了这类大小适中但不是由双传递群构成的3-超方案，并作为应用，从一些方案中得到了2-设计。

项目成果

Computation of some superschemes with trivial partition on the pairs of points

点对上具有平凡划分的一些超方案的计算

• 发表时间: 2012
• 作者: 宮本泉;宮本泉;宮本泉;I. Miyamoto;I. Miyamoto
• 通讯作者: I. Miyamoto

Computation of normalizers of intransitive permutation groups in symmetric groups

对称群中不及物置换群标准化子的计算

• 发表时间: 2012
• 作者: 宮本泉;宮本泉;宮本泉;I. Miyamoto
• 通讯作者: I. Miyamoto

宮本研究室

宫本实验室

部分直積群の正規化群計算の高速化についてComputer Algebra - The Algorithms, Implementations and Next Generation -数式処理- その研究と目指すもの

计算机代数 - 算法、实现和下一代 - 数学处理 - 加速部分笛卡尔积组归一化群计算的研究和目标

• 作者: 宮本泉;宮本泉;宮本泉;I. Miyamoto;I. Miyamoto;宮本泉;Hirabayashi Mikihito;宮本泉;宮本泉
• 通讯作者: 宮本泉

Computation of some superschemes with trivial partition on the 2-tuples of points

一些在 2 元组点上进行简单划分的超级方案的计算

• 作者: 宮本泉;宮本泉;宮本泉;I. Miyamoto;I. Miyamoto;宮本泉;Hirabayashi Mikihito;宮本泉;宮本泉;Nomura Akito;Izumi Miyamoto
• 通讯作者: Izumi Miyamoto