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

Galois connection in mathematical clone theory

Research Project

Project/Area Number 13640106
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionHitotsubashi University

Principal Investigator

MACHIDA Hajime  Hitotsubashi Univ. Grad. S., Commerce and Management, Professor, 大学院・商学研究科, 教授 (40090534)

Co-Investigator(Kenkyū-buntansha) YAMADA Hiromichi  Hitotsubashi Univ. Grad. S., Economics, Professor, 大学院・経済学研究科, 教授 (50134888)
YAMASAKI Hideki  Hitotsubashi Univ. Grad. S., Commerce and Management, Professor, 大学院・商学研究科, 教授 (30108188)
IWASAKI Shiro  Hitotsubashi Univ. Grad. S., Economics, Professor, 大学院・経済学研究科, 教授 (00001842)
山崎 昌男  一橋大学, 大学院・経済学研究科, 教授 (20174659)
Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2002: ¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2001: ¥1,700,000 (Direct Cost: ¥1,700,000)
Keywords(mathematical) clone / Galois connection / lattice of clones
Research Abstract

For a set A, a clone on A is a set of multi-variable functions which is closed under composition. Denote by L_A the set of all clones on A. In this reseach, for the set M_A of all monoids consisting of unary functions on A, we considered a naturally defined Galois connection between M_A and L_A. For a monoid M, the centralizer M^* of M is the set of all multi-variable functions which 'commutes' with every unary function in M.
1. <Some fundamental properties of the Galois connection> : (i) We showed that all centralizers of monoids are contained in some particular maximal clones. (ii) Also, we showed that for every pair of distinct monoids their centralizers are always distinct.
2. <Characterization of the centralizers of the symmetric group and the alternating group> : We established the characterization of the centralizers of both the symmetric group and the alternating group, the latter being more complex than the former.
3. <Classification of the centralizers for a sequence of monoids which contain the symmetric group> : A typical sequence {N_i} of monoids containing the symmetric group was defined. The centralizers of all N_i's have been determined. Most of them coincide with the least clone.
4. <Monoids whose centralizer is the least done> : It is 'natural' to think that under a Galois connection a small monoid corresponds to a big monoid. However, against this naive intuition, some small monoids have been discovered whose centralizer is the least clone.
5. <Application of the Kuznetsov criterion> : The power of the criterion established by Kuznetsov was shown to be quite useful in our study.

Report

(3 results)
  • 2002 Annual Research Report   Final Research Report Summary
  • 2001 Annual Research Report
  • Research Products

    (24 results)

All Other

All Publications (24 results)

  • [Publications] H.Machida: "Relations between clones and full monoids"Proceedings 31st International Symposium on Multiple-Valued Logic. 279-284 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] H.Machida: "Galois connection between clones and monoids -General idea and some specific results -"Proceeding Second Korea-Japan Joint Symp. On Multiple-Valued Logic. 136-139 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] H.Machida: "Some results on the centralizers of monoids in clone theory"Proceedings 32nd International Symposium on Multiple-Valued Logic. 10-16 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] H.Machida: "Hyperclones on a two-element set"Multiple-Valued Logic -An International Journal -. 8. 495-501 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] L.Haddad: "Maximal and minimal partial clones"Journal of Automata, Languages and Combinatorics. 7. 83-93 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] H.Machida: "On the centralizers of monoids in clone theory"Proceedings 33rd International Symposium on Multiple-Valued Logic. (掲載予定). (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Machida, H., Myakawa, M. and Rosenberg, I. G.: "Relations between clones and full monoids"Proc. 31st Int. Symp. Multiple-Valued Logic, IEEE. 279-284 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Machida, H.: "Galois connection between clones and monoids -- General idea and some specific results --"Proc. Second Korea-Japan Joint Symp. on Multiple-Valued Logic. 136-139 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Machida, H., Miyakawa, M. and Rosenberg, I. G.: "Some results on the centralizers of monoids in clone theory"Proc. 32nd Int. Symp. Multiple-Valued Logic IEEE. 10-16 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Machida, H.: "Hyperclones on a two-element set"Multiple-Valued Logic - An International Journal. 8. 495-501 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Haddad, L., Machida, H. and Rosenberg, I. G.: "Maximal and minimal partial clones"Journal of Automata, Languages and Combinatorics. 7. 83-93 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Machida, H. and Rosenberg, I. G.: "On the centralizers of monoids in clone theory"Proc. 33rd Int. Symp. Multiple-Valued Logic, IEEE. to appear. (2003)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] H.Machida: "Hyperclones on a two-element set"Multiple-Valued Logic -An International Journal. Vol.8. 495-501 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] L.Haddad: "Maximal and minimal partial clones"Journal of Automata, Languages and Combinatorics. Vol.7. 83-93 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Machida: "Some results on the centralizers of monoids in clone theory"Proceedings 32nd International Symposium on Multiple-Valued Logic. 10-16 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Machida: "On the centralizers of monoids in clone theory"Proceedings 33rd International Symposium on Multiple-Valued Logic. (掲載予定). (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Machida: "Normal form of hyperoperations and existence of Sheffer hyperoperations"Italian Journal of Pure and Applied Mathematics. Vol.19(未定).

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Machida: "Centralizers and monoids in mathematical clone theory"RIMS Kokyuroku. 掲載予定.

    • Related Report
      2002 Annual Research Report
  • [Publications] I.G.Rosenberg: "Gigantic pairs of minimal clones-Characterization and existence"Multiple-Valued Logic-An International Journal. Vol.7. 129-148 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] H.Machida: "Hyperclones on a two-element set"Multiple-Valued Logic-An International Journal. (掲載予定,未定).

    • Related Report
      2001 Annual Research Report
  • [Publications] L.Haddad: "Maximal and minimal partial clones"Journal of Automata, Languages and Combinatorics. (掲載予定,未定).

    • Related Report
      2001 Annual Research Report
  • [Publications] H.Machida: "Relations between clones and full monoids"Proceedings 31st International Symposium on Multiple-Valued Logic. 279-284 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] H.Machida: "Galois connection between clones and monoids"Proc. Second Korea-Japan Joint Symposium on Multiple-Valued Logic. 136-139 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] H.Machida: "Some results on the centralizers of monoids in clone theory"Proceedings 32nd International Symposium on Multiple-Valued Logic. (掲載予定). (2002)

    • Related Report
      2001 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi