2004 Fiscal Year Annual Research Report
| Project/Area Number |
15540029
|
|---|
| Research Institution | Shimane University |
|---|
Principal Investigator |
庄司 邦孝 島根大学, 総合理工学部, 教授 (50093646)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
今岡 輝男 島根大学, 総合理工学部, 教授 (60032603)
三輪 拓夫 島根大学, 総合理工学部, 教授 (60032455)
藤田 憲悦 群馬大学, 工学部, 助教授 (30228994)
植田 玲 島根大学, 総合理工学部, 助教授 (70213345)
尾崎 学 島根大学, 総合理工学部, 助教授 (80287961)
|
|---|
| Keywords | 半群 / 群 / 融合問題 / 位相空間 / フィアバー・ホモトピー / λ計算 / 付値環 / 岩沢加群 |
|---|
| Research Abstract |
研究概要は以下の通りである。
(1)群の融合問題と群論の語の問題とは特に融合積を通して深く結び付いている。その結果,群論の語の問題の群の融合を利用した多くの解法と見事な結果がある。半群の場合事情が一変するといても過言ではない。実際,群の融合は常にある群に埋め込むことが可能である。しかし,半群の融合は埋め込め可能とは限らない。半群の融合問題「有限半群の融合が有限半群に埋め込めるかどうかを判定するアルゴリズムがあるか」に対して,Sapir否定的な解答を示した。さらに,SapirとHallは決定問題「有限半群が融合基かどうかを判定するアルゴリズムがあるか」を研究したが,未解決のままである。この問題の研究を進める中で,有限逆半群に対するOkninskiとPutchaの定理の別証明を得た。さらに、その結果を一般化し、より一般的な正則半群に対して、すべての有限半群のクラスの中で融合基であるための十分条件を与えた。
(2)位相空間の立場から、連続写像のフィアバー・ホモトピー群を構成するフレームワークを構築し,stratifirable空間の間の写像に対して,ファイバーANRの性質を研究した。
(3)数学基礎論の立場から,λ-計算の書き換え及び変換法を研究した。万能的計算モデルの観点から,自由λ-計算でも外延的モデルが存在することを示し,合流性やC-モノイドとの関係について調べた。
(4)代数アルゴリズムの立場から、中心体上有限次元単純アルティン環を商環とするDubrovin付値環のR-イデアルを研究し、岩沢加群とガロア群の計算との関連を明らかにするため、Z_Ρ-拡大とガロア群の関係を調べ,岩沢定理の拡張とGreenberg予想に関連する結果を得た。
|
Research Products
(6 results)
