| Project/Area Number |
17540042
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Toho University |
|---|
Principal Investigator |
KOBAYASHI Yuji Toho University, Faculty of Science, Professor (70035343)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
ADACHI Tomoko Toho University, Faculty of Science, Associate Professor (40366505)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥1,650,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥150,000)
Fiscal Year 2007: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2006: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2005: ¥500,000 (Direct Cost: ¥500,000)
|
|---|
| Keywords | finitetly presented algebra / rewriting systems / Groebner basis / cohomologv / roiective resolution / cup product / homological finiteness / undecidability / ジグザグ / Groebner基底 / アルゴリズム / Hochschildコホモロジー / syzygy / 組合せデザイン / 決定問題 |
|---|
| Research Abstract |
Complete rewriting systems and Groebner bases give effective tools to solve algorithmical problems on algebraic systems and have been studied intensively.
In the present research, we study finitely presented algebraic systems (algebraic systems defined by a finite number of generators and a finite number of relations), particularly, monoids and associative algebras by means of rewriting systems (Groebner bases). We develop a unified theory by treating Groebner bases as rewriting systems on additive groups We formulate a notion of critical pairs in this situation and clarify the role of them in the theory.
Based on the theory of Groebner bases on associative algebras and projective modules on them, we construct projective resolutions, and develop the methods to compute the Hochschild cohomology. It makes possible to not only compute cohomology but also determine the ring structure of it by giving explicitly the cup products of cocycles.
Moreover, we study finiteness of low dimensional cohomology. It is known since Squier that monoids has homological finiteness property FPn in every dimension n if they have complete rewriting systems. The finiteness for dimension 2 is related to the finite presentability of monoids, but details are not known. In this research, we study the one dimensional case and find that the finiteness of 1-dimensional cohomology is related to the finite generation and zigzags of monoids
Many properties of finitely presented monoids and groups are undecidable. In this research, we show that the triviality of the centers of monoids and groups are undecidable. This result is of interest because it means that even the 0-dimensional cohomology is not computable in general.
|
