Construction of the syzygy module in automaton monomial algebras
Fundamentalʹnaâ i prikladnaâ matematika, Tome 11 (2005) no. 2, pp. 101-113
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper, we consider the problem of algorithmically constructing the left syzygy module for a finite system of elements in an automaton monomial algebra. The class of automaton monomial algebras includes free associative algebras and finitely presented algebras. In such algebras the left syzygy module for a finite system of elements is finitely generated. In general, the left syzygy module in an automaton monomial algebra is not finitely generated. Nevertheless, the generators of the left syzygy module have a recursive specification with the help of regular sets. This allows one to solve many algorithmic problems in automaton monomial algebras. For example, one can solve linear equations, recognize the membership in a left ideal, and recognize zero-divisors.
@article{FPM_2005_11_2_a6,
author = {S. A. Ilyasov},
title = {Construction of the syzygy module in automaton monomial algebras},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {101--113},
publisher = {mathdoc},
volume = {11},
number = {2},
year = {2005},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_2005_11_2_a6/}
}
S. A. Ilyasov. Construction of the syzygy module in automaton monomial algebras. Fundamentalʹnaâ i prikladnaâ matematika, Tome 11 (2005) no. 2, pp. 101-113. http://geodesic.mathdoc.fr/item/FPM_2005_11_2_a6/