2003 Fiscal Year Annual Research Report
| Project/Area Number |
15540112
|
|---|
| Research Institution | Hitotsubashi University |
|---|
Principal Investigator |
町田 元 一橋大学, 大学院・商学研究科, 教授 (40090534)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
山崎 秀記 一橋大学, 大学院・商学研究科, 教授 (30108188)
岩崎 史郎 一橋大学, 大学院・経済学研究科, 教授 (00001842)
|
|---|
| Keywords | (数学的)クローン / ガロア対応 / クローン束 |
|---|
| Research Abstract |
集合A上の多変数関数の集合で,射影関数をすべて含み,合成に関して閉じているものをA上のクローンという。A上のクローン全体の集合をA上のクローン束といい,L_Aと表す。一方、A上の1変数関数からなるモノイドの束をM_Aと表す。本研究の目的は,モノイドの束M_Aとクローン束L_Aとの間に定義されるガロア対応に着目し,このガロア対応に伴う基本的な性質を調べることである。
モノイドMに対し,Mに属すすべての関数と「可換」な(多変数)関数の全体をM^*と表す。M^*はクローンであり,Mのcentralizerと呼ばれる。
15年度には,主に次のような研究を行い,成果をあげた。
1.最小クローンをcentralizerとするモノイドの研究
ガロア対応では,大きいモノイドは小さいクローンに対応し,小さいモノイドは大きいクローンに対応すると考えるのが「自然」である。しかし,その直観に反して,比較的小さいモノイドMでそのcentralizer M^*が最小のクローンJ_A(射影関数のみからなるクローン)になる例を,われわれはこれまでの研究の中ですでにいくつか見出した。これは大変興味深い現象であり,centralizerの研究において中心的なテーマの一つとなるものである。今年度われわれはこのテーマについて研究を進め,これまでに得られている散発的な結果を統一的,体系的に扱う問題を考察した。その結果、モノイドMに対し,M^*=J_Aが成り立つためにMがみたすべき判定条件(十分条件)を得た。この条件はかなり強力であり,これまでに得られている具体例はすべてこの条件をみたすことがわかった。さらに,M^*=J_AをみたすモノイドMの新しい例を見つけた。
2.対称群S_Aを含むモノイドに対するcentralizerの研究
一般に,相異なる置換群に対しそれらのcentralizerは常に異なることがわかっている。今年度は,対称群S_Aを含むモノイドに対するcentralizerについて調べ,それらをすべて決定した。ここでも前項に述べた判定条件が有効に用いられた。
|
-
[Publications] H.Machida: "Normal form of hyperoperations and existence of Sheffer hyperoperations"Italian Journal of Pure and Applied Mathematics. Vol.19(掲載予定).
-
[Publications] H.Machida: "Some properties of hyperoperations and hyperclones"Words, Languages and Combinatorics. III. 286-296 (2003)
-
[Publications] H.Machida: "Centralizers and monoids in mathematical clone theory"RIMS Kokyuroku. 1325. 146-151 (2003)
-
[Publications] H.Machida: "On the centralizers of monoids in clone theory"Proc. 33rd International Symposium on Multiple-Valued Logic. 303-308 (2003)
-
[Publications] H.Machida: "Invitation to clone theory--A midsummer night's dream--"Notes on Multiple-Valued Logic in Japan. Vol.26. 2;1-2;4 (2003)
-
[Publications] H.Machida: "Monoids whose centralizer is the least clone"Proc. 34th International Symposium on Multiple-Valued Logic. (掲載予定). (2004)
