Composition-diamond lemma for tensor product of free algebras. (Q974391)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Composition-diamond lemma for tensor product of free algebras. |
scientific article |
Statements
Composition-diamond lemma for tensor product of free algebras. (English)
0 references
2 June 2010
0 references
A. I. Shirshov established the theory of one-relator Lie algebras. This theory is in full analogy by statements but not by method with Magnus's theory of one-relator groups. He provided the algorithmic decidality of the word problem for any one-relator Lie algebra. In this paper, the authors establish a Composition-Diamond lemma for the tensor product of two free algebras over a field. Some applications are given in Section 4. As an application, they construct a Gröbner-Shirshov basis in \(k\langle X\rangle\otimes k\langle Y\rangle\) by lifting a given Gröbner-Shirshov basis in the tensor product \(k[X]\otimes k\langle Y\rangle\), in which \(k[X]\) is the polynomial algebra.
0 references
Gröbner-Shirshov bases
0 references
free algebras
0 references
tensor products
0 references
algorithmic decidability
0 references
generators and relations
0 references
0 references
0 references
0 references