2003 Fiscal Year Annual Research Report
| Project/Area Number |
15540029
|
|---|
| Research Institution | Shimane University |
|---|
Principal Investigator |
庄司 邦孝 島根大学, 総合理工学部, 教授 (50093646)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
藤田 憲悦 島根大学, 総合理工学部, 助教授 (30228994)
三輪 拓夫 島根大学, 総合理工学部, 教授 (60032455)
今岡 輝男 島根大学, 総合理工学部, 教授 (60032603)
尾崎 学 島根大学, 総合理工学部, 助教授 (80287961)
植田 玲 島根大学, 総合理工学部, 助教授 (70213345)
|
|---|
| Keywords | 羊群 / 群 / 融合積 / 語の問題 / アルゴリズム / 書換えシステム / 岩沢不変 / 不値環 |
|---|
| Research Abstract |
群の融合問題と群論の語の問題とは特に融合積を通して深く結び付いている。その結果,群論の語の問題の群の融合を利用した多くの解法と見事な結果がある。半群の場合事情が一変するといっても過言ではない。実際,群の融合は常にある群に埋め込むことが可能である。しかし,半群の融合は埋め込め可能とは限らない。半群の融合問題「有限半群の融合が有限半群に埋め込めるかどうかを判定するアルゴリズムがあるか」に対して,Sapir否定的な解答を示した。さらに.SapirとHallは決定問題「有限半群が融合基かどうかを判定するアルゴリズムがあるか」を研究したが,未解決のままである。この問題を解決する方法を見出せる確信を得た。実際,有限半群が表現拡張性をもつかどうか判定するためのアルゴリズムの存在を証明した。現在,有限半群が自由表現拡張性をもつかどうかを判定するアルゴリズムがあることを示す論文を執筆中である。さらに,有限逆半群が群合基であることを証明するOkninskiとPutchaの定理の別証明を得た。半群の表現と融合問題を研究を進めるの結果「一般化逆半群のVarietyが自由融合積に閉じている」を拡張して,一般化*-逆半群のVariety融合積に閉じていることを証明した。その結果を一般逆半群に拡張する試みを続けている。
書換えシステムとラムダ計算理論に関する結集を得た。非可換環論との関連研究では,付値をもつ環の分数イデアルのなす半群の構造に関する結果を得た。数論との関連研究では虚2次拡大体の岩沢不変性に関する研究をと通して,profinite群の考察を続けている。
|
Research Products
(6 results)
-
[Publications] Kunitaka Shoji: "A proof of Okni\'nski and Putcha's theorem"Proc.of the Third Inter.Colloq.on Words, Languages and Combinatorics. Ed.by M.Ito \&T Imaoka World Scientific. 420-427 (2003)
-
[Publications] Teruo Imaoka: "Representations of generalized inverse semigroups"Proc.7th Sympo.on Algebra, Languages and Computation edited by Y. Kobayashi Toho Univ.. (To appear). (2004)
-
[Publications] Takuo Miwa: "Fibrewise ANR in stratifiable maps"Houston J.Math.. 29・4. 1013-1025 (2003)
-
[Publications] Ken-etsu Fujita: "A sound and complete CPS-translation for λμ-calculus"Lecture Notes in Computer Science. 2701. 120-134 (2003)
-
[Publications] 藤田 憲悦: "λμ計算のモデルについて"コンピュータソフトウェア. 20・3. 73-79 (2003)
-
[Publications] H.H.Brungs, H.Marubayashi, A.Ueda: "A classification of primariy ideals of Dubrovin valuation rings"Houston J.Math.. 29・4. 595-608 (2003)
