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

Mathematical structures and algorithm

Research Project

Project/Area Number 20540055
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Algebra
Research InstitutionAkita University

Principal Investigator

YAMAMURA Akihiro  Akita University, 工学資源学研究科, 教授 (30358866)

Project Period (FY) 2008 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2010: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2009: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2008: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords半群 / アルゴリズム / 自全正則半群 / Krull-Schmidt定理 / 逆半群 / variet / orthocryptogrops / 語の問題 / 融合積
Research Abstract

We study the structures of some algebraic systems as mathematical structure and examine algorithmic problems such as the word problem. In particular, we study the word problem of amalgamated free products of commutative inverse semigroups in the class of inverse semigroups. In addition, we clarify the algebraic structure of completely regular semigroups satisfying a certain equation. In particular, we completely characterize Rees matrix semigroup representations of completely simple semigroups. Then we obtain some results on varieties of completely regular semigroups satisfying the equation. We also obtain a theorem for orthocryptogroups similar to the Krull-Schimidt theorem in group theory. On the other hand, we examine designs like Latin squares on the surface of squares and applied to construct a Sudoku-type puzzle.

Report

(4 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (10 results)

All 2011 2010 2009 2008 Other

All Presentation (7 results) Remarks (1 results) Patent(Industrial Property Rights) (2 results)

  • [Presentation] Completely regular semigroups satisfying formula for inverse of a product2011

    • Author(s)
      山村明弘
    • Organizer
      計算と言語のアルゴリズムと計算理論
    • Place of Presentation
      京都大学数理解析研究所,(京都)
    • Year and Date
      2011-02-21
    • Related Report
      2010 Final Research Report
  • [Presentation] Completely-regular semigroup satisfying fomular for inverse of products2011

    • Author(s)
      山村明弘
    • Organizer
      代数と言葉のアルゴリズムと計算理論
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-02-21
    • Related Report
      2010 Annual Research Report
  • [Presentation] HNN extensions of inverse semigroups2009

    • Author(s)
      山村明弘
    • Organizer
      Algebra and Logic Related to Computer Science
    • Place of Presentation
      京都大学数理解析研究所,(京都)(招待講演)
    • Year and Date
      2009-10-23
    • Related Report
      2010 Final Research Report
  • [Presentation] Word problem of amalgamated free products of commutative inverse semigroups2009

    • Author(s)
      山村明弘
    • Organizer
      Novi Sad Algebraic Conference
    • Place of Presentation
      Novi Sad, (Serbia)
    • Year and Date
      2009-08-20
    • Related Report
      2010 Final Research Report
  • [Presentation] Word problem of amalgamated free products of commutative inverse semigroups2009

    • Author(s)
      山村明弘
    • Organizer
      Novi Sad Algebraic Conference
    • Place of Presentation
      Novi Sad, Servia
    • Year and Date
      2009-08-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] Idemnotents in HNN extensions of inverse semigroups2009

    • Author(s)
      山村明弘
    • Organizer
      代数系アルゴリズムと言語および計算理論
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2009-02-17
    • Related Report
      2008 Annual Research Report
  • [Presentation] Automata theoretic methods in inverse semigroups2008

    • Author(s)
      山村明弘
    • Organizer
      Politechnico di Milano
    • Place of Presentation
      Italy(招待講演)
    • Year and Date
      2008-11-20
    • Related Report
      2010 Final Research Report
  • [Remarks] ホームページ等

    • Related Report
      2010 Final Research Report
  • [Patent(Industrial Property Rights)] ゲームプログラム及びパズル2010

    • Inventor(s)
      山村明弘、佐々木悠
    • Industrial Property Rights Holder
      秋田大学
    • Industrial Property Number
      2010-002404
    • Filing Date
      2010-02-01
    • Related Report
      2010 Final Research Report
  • [Patent(Industrial Property Rights)] ゲームプログラム及びパズル2010

    • Inventor(s)
      山村明弘, 佐々木悠
    • Industrial Property Rights Holder
      秋田大学
    • Industrial Property Number
      2010-020404
    • Filing Date
      2010-02-01
    • Related Report
      2010 Annual Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi