On the cancellation rule in the homogenization
type: Item
instance of: scholarly article
title: On the cancellation rule in the homogenization
zbMATH Open document ID: 1166.13034
author: Victor Ufnarovski
published in: Computer Science Journal of Moldova
publication date: 2008-09-29T00:00:00Z
review text: Gröbner-Shirshov bases theory were initiated independently by A.I. Shirshov in 1962. L.A. Bokut 1976 gave an approach to construction of minimal Gröbner-Shirshov basis of any associative algebra (see, for example, [\textit{L. A. Bokut} and \textit{Y. Chen}, Southeast Asian Bull. Math. 31, No. 6, 1057--1076 (2007; Zbl 1150.17008)]). This paper presents Gröbner-Shirshov bases for associative algebras by another approach. Let \(K\langle X\rangle\) be the free associative algebra generated by \(X\) over a field \(K\), \(t\) an additional homogenizing variable. Let \(< \) be the deg-lex ordering on the free monoid \(\langle X\rangle\) generated by \(X\) and extend it to the eliminating ordering on the free monoid \(\langle X,t \rangle\) which is a monomial ordering on \(\langle X,t \rangle\). For a subset \(G\) of \(K\langle X\rangle\) and \(u=\sum u_i \in G\) where \(u_i\) is the homogeneous components with deg\(u_i=i,\;1\leq i\leq k\), let \(u^*=\sum u_it^{k-i}\). Then \(u^*\) is an homogeneous element in \(K\langle X, t\rangle\). Let \(G^*=\{u^*|u\in G\}\cup \{ tx-xt|x\in X\}\). Then, \(G^*\) is a minimal Gröbner-Shirshov basis in \(K\langle X, t\rangle\) if and only if \(G\) is a minimal Gröbner-Shirshov basis in \(K\langle X\rangle\).
reviewed by: Chen Yuqun
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13N99
Mathematics Subject Classification ID: 16Z05
zbMATH DE Number: 5348039
zbMATH Keywords: Gröbner basis
zbMATH Keywords: associative algebra
MaRDI profile type: Publication
Recommended article: Gröbner–Shirshov bases and their calculation
Recommended article: Q4220120
Recommended article: Q4494214
Recommended article: Parametrized Gröbner–Shirshov bases
Recommended article: Non-commutative Gröbner bases for commutative algebras
Recommended article: Gröbner-Shirshov bases: from their inception to the present time.
Recommended article: On infinite Gröbner bases in free algebras
Recommended article: Gröbner bases of associative algebras and the Hochschild cohomology
Recommended article: Q4966530
Recommended article: Q5260649
description: scientific article; zbMATH DE number 5348039