|
結合的代数とその射影加群上のGroebner基底の理論を基に、射影分解を構成し、代数のHochschildコホモロジーを有効に計算する手法を開発した。コサイクルの間のカップ積の公式を明示的に与えることにより、コホモロジーを計算するだけでなく、その環構造も決定することを可能にした。
さらに、モノイドの低次元のコホモロジー有限性について研究した。モノイドが完備書換えシステムをもてば、すべての次元でコホモロジー有限性が成り立つことはSquier以来知られている。次元2は有限表示生性と関連するが、詳しいことは不明である。本研究では1次元の場合を調べ、ホモロジー有限性がモノイドの有限生成性やジグザグと関係することを明らかにした。
有限表示モノイドの性質の多くが決定不能問題であるが、本研究では、群および群環の中心が決定不能であることを明らかにした。これは0次元のコホモロジーでさえ、一般には計算不可能であることを意味していて興味深い。
|
