|
有限表示代数系(特に、モノイドと結合的代数)を、主として、書換えシステム(Grobner基底)の手法で研究した。完備書換えシステムを持つための条件、および、そのホモロジー、ホモトピーとの関係を調べた。
モノイドが完備書換えシステムをもてば、ホモロジー有限性FP_3およびホモトピー有限性FDTが成立することは、Squierによって示されている。第1論文では、モノイドの有限表示から定義される関係加群、ホモトピー加群を調べ、それらが大きな完全図式のなかに位置づけられることを示した。そのことにより、上記の有限性が互いに関係し合う仕組みを明らかにした。論文では、モノイド代数を扱ったが、Grobner基底の理論を用いて、一般の結合的代数に展開できると考えられ、その研究は進行中である。
代数系の部分系がいつ有限表示または完備有限表示をもつか、またその逆に、いつ代数系が(完備)有限表示系に埋入できるかという問題を研究した。第2論文では、有限表示もつ系の部分系が有限表示を持つための必要条件を与え、その自然な例として、組紐逆モノイドを調べた。そこには組紐群が有限指標を持って含まれ、そのことから、自然にモノイドの有限表示が求められる。組紐群は完備有限表示を持つことが知られているので、組紐逆モノイドも完備有限表示を持つかが今後の問題となる。
|
