Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComposition-Diamond Lemma for Tensor Product of Free Algebras
193
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
In this paper, we establish Composition-Diamond lemma for tensor product $k< X> otimes k< Y>$ of two free algebras over a field. As an application, we construct a Groebner-Shirshov basis in $k< X> otimes k< Y>$ by lifting a Groebner-Shirshov basis in $k[X] otimes k< Y>$, where $k[X]$ is a commutative algebra.
rate research
Read More
In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively.
In this paper we give some relationships among the Groebner-Shirshov bases in free associative algebras, free left modules and double-free left modules (free modules over a free algebra). We give the Chibrikovs Composition-Diamond lemma for modules and show that Kang-Lees Composition-Diamond lemma follows from this lemma. As applications, we also deal with highest weight module over the Lie algebra $sl_2$, Verma module over a Kac-Moody algebra, Verma module over Lie algebra of coefficients of a free conformal algebra and the universal enveloping module for a Sabinin algebra.
This paper shows how to obtain the key concepts and notations of Garside theory by using the Composition--Diamond lemma. We also show that in some cases the greedy normal form is exactly a Grobner--Shirshov normal form and a family of a left-cancellative category is a Garside family, if and only if a suitable set of reductions is confluent up to some congruence on words.
We study some properties of the non-abelian tensor product of Hom-Lie algebras concerning the preservation of products and quotients, solvability and nilpotency, and describe compatibility with the universal central extensions of perfect Hom-Lie algebras.
Consider a diagram $cdots to F_3 to F_2to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the $F_i$ are free associative algebras over a fixed field then the limit in the category of graded algebras is again free on a set of homogeneous generators; (b) on the other hand, the limit in the category of associative (ungraded) algebras is a free formal power series algebra on a set of homogeneous elements, and (c) if the $F_i$ are free Lie algebras then the limit in the category of graded Lie algebras is again free.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
