• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 23540011
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Algebra
Research InstitutionUniversity of Yamanashi

Principal Investigator

MIYAMOTO Izumi  山梨大学, 医学工学総合研究部, 教授 (60126654)

Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords代数的数式処理 / アソシエーションスキーム / 置換群 / 数式処理 / 組合せデザイン / スーパースキーム
Research Abstract

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.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (13 results)

All 2013 2012 2011 Other

All Presentation (10 results) Remarks (3 results)

  • [Presentation] アソシエーションスキームを利用した可移置換群の構成2013

    • Author(s)
      宮本泉
    • Organizer
      京都大学数理解析研究所研究集会「数式処理とその周辺分野の研究 -- Computer Algebra and Related Topics」
    • Related Report
      2013 Final Research Report
  • [Presentation] 次数33の可移置換群の分類について, Computer Algebra - The Algorithms, Implementations and the Next Generation -数式処理- その研究と目指すもの2013

    • Author(s)
      宮本泉
    • Organizer
      数理解析研究所講究録
    • Related Report
      2013 Final Research Report
  • [Presentation] アソシエーションスキームを利用した可移置換群の構成2013

    • Author(s)
      宮本泉
    • Organizer
      数式処理とその周辺分野の研究 -- Computer Algebra and Related Topics
    • Place of Presentation
      京都大学数理解析研究所
    • Related Report
      2013 Annual Research Report
  • [Presentation] Computation of normalizers of intransitive permutation groups in symmetric groups2012

    • Author(s)
      I. Miyamoto
    • Organizer
      Symmetries of Discrete Objects Conference and MAGMA Workshop
    • Place of Presentation
      Queenstown, New Zealand
    • Year and Date
      2012-02-17
    • Related Report
      2013 Final Research Report 2011 Research-status Report
  • [Presentation] Computation of some superschemes with trivial partition on the pairs of points2012

    • Author(s)
      I. Miyamoto
    • Organizer
      2012 Shanghai Conference on Algebraic Combinatorics
    • URL

      http://math.sjtu.edu.cn/Conference/SCAC/index.htm

    • Related Report
      2013 Final Research Report
  • [Presentation] U(3, 5)の極大部分群の相互関係について2011

    • Author(s)
      宮本泉
    • Organizer
      第23回有限群論草津セミナー報告集
    • Related Report
      2013 Final Research Report
  • [Presentation] U(3,5)の極大部分群の相互関係について2011

    • Author(s)
      宮本泉
    • Organizer
      第23回有限群論草津セミナー
    • Place of Presentation
      草津セミナーハウス
    • Related Report
      2011 Research-status Report
  • [Presentation] 部分直積群の正規化群計算の高速化についてComputer Algebra - The Algorithms, Implementations and Next Generation -数式処理- その研究と目指すもの

    • Author(s)
      宮本泉
    • Organizer
      数理解析研究所講究録
    • Related Report
      2013 Final Research Report
  • [Presentation] Computation of some superschemes with trivial partition on the 2-tuples of points

    • Author(s)
      Izumi Miyamoto
    • Organizer
      2012 Shanghai Conference on Algebraic Combinatorics
    • Place of Presentation
      上海交通大学(中国)
    • Related Report
      2012 Research-status Report
  • [Presentation] 次数33の可移置換群の分類について

    • Author(s)
      宮本泉
    • Organizer
      「数式処理-その研究と目指すもの」研究集会
    • Place of Presentation
      京都大学数理解析研究所(京都府)
    • Related Report
      2012 Research-status Report
  • [Remarks]

    • URL

      http://www.ccn.yamanashi.ac.jp/~imiyamoto

    • Related Report
      2013 Final Research Report
  • [Remarks] 宮本研究室

    • URL

      http://www.ccn.yamanashi.ac.jp/~imiyamoto/

    • Related Report
      2013 Annual Research Report
  • [Remarks] 宮本研究室

    • URL

      http://www.ccn.yamanashi.ac.jp/~imiyamoto/

    • Related Report
      2012 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi