| Project/Area Number |
21540048
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Toho University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2011: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2010: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2009: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Keywords | グレブナー基底 / シチジー / 書き換えシステム / 順序半群 / イデアル / 加群 / 完備化 / 書換えシステム / モジュラー計算 / 複雑度 / チューリング機械 / 危険対 / シチジー加群 / アルゴリズム / ホモロジー有限性 / コホモロジー |
|---|
| Research Abstract |
We develop a unified theory of Grobner bases, and apply it to various calculations concerning algebras, ideals and modules. We construct a theory on an algebra F based on a well-ordered semigroup and on a projective F-module FX, and we prove the critical pair theorem. We obtain a main result that the cycles made from critical pairs in FH form a generating system of syzygies, if H is a Grobner basis on FX.
|
