| 研究課題/領域番号 |
10640030
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
代数学
|
|---|
| 研究機関 | 鳴門教育大学 |
|---|
研究代表者 |
小林 滋 鳴門教育大学, 学校教育学部, 助教授 (10195779)
|
|---|
| 研究分担者 |
石川 恒男 大阪工業大学, 工学部, 助教授 (40268230)
湯谷 洋 鳴門教育大学, 学校教育学部, 講師 (80200872)
丸林 英俊 鳴門教育大学, 学校教育学部, 教授 (00034702)
|
|---|
| 研究期間 (年度) |
1998 – 2001
|
| 研究課題ステータス |
完了 (2001年度)
|
| 配分額 *注記 |
2,600千円 (直接経費: 2,600千円)
2001年度: 600千円 (直接経費: 600千円)
2000年度: 500千円 (直接経費: 500千円)
1999年度: 600千円 (直接経費: 600千円)
1998年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | automaton / 有理半群 / 逆半群 / 局所コホモロジー / グレブナー基底 / トーション理論 / 附置環 / ワイル代数 / 局所コホモロジー群 / モデル理論 / 述語論理 / 連分数展開 / stability theory |
|---|
| 研究概要 |
研究実績は以下のとおり.
「代数学に現れるautomaton構造の解明」を研究目的とし次の研究を行った。
(1)半群におけるautomaton構造
半群の中で有理半群と呼ばれる、演算にautomatcm構造を持つものがある。有理半群は有限生成でGreenの同値関係に中でD=Jを満たす。我々は逆半群のなかで有理性を満たすものを調べた。その結果、3つのタイプに分けその構造を知ることができた。
(2)環論におけるautomaton構造
ワイル代数上の局所コホモロジーを計算する過程において、グレブナー基底を用いて計算することができることを知り、トーション理論と合わせて計算の方法を改良することの研究を行った。また非可環付置環の拡大の問題を扱い,ある条件の下で拡大を構成するアルゴリズムを見つけた。
(3)数論におけるautomaton構造
実数を連分数展開することで得られる整数列に対し、2次体の理論の高次元化を試みた。具体的には与えられた代数体Kに対して、集合K^2を考え、そこに2次体の理論を当てはめることが可能であることを示した。また部分終結式列に関する定理をautomaticに見ることで多項式の共通解を表す式を見つけ出した。
(4)論理代数におけるautomaton構造
モデル理論を研究することで第1階の述語論理の記述方法を得て、数学の理論をモデル化することを試みた。これによって代数幾何の問題に対して論理代数的なアプローチが可能になった。
|
