Normal bases of PI-algebras.
type: Item
instance of: scholarly article
title: Normal bases of PI-algebras.
zbMATH Open document ID: 1112.16025
author: A. Ya Belov
author: Uzi Vishne
author: Louis Rowen
published in: Advances in Applied Mathematics
publication date: 2007-01-26T00:00:00Z
review text: This is a survey on selected aspects of the algorithmic theory of PI-algebras, in terms of normal bases of affine (finitely generated) algebras, with indication of directions for further research, written by three of the leading experts in the field. Let \(\Omega=\{a_1,\dots,a_l\}\) be a finite set of symbols and let \(\Omega^*\) be the set of all words in \(\Omega\), equipped with the deg-lex order. The normal base of the associative algebra \(A\) generated by \(\Omega\) over an infinite field \(k\) is the set of all words in \(\Omega^*\) which cannot be written as linear combinations of smaller words. The first topic of the survey is the relation between normal bases with different versions of the Shirshov height theorem. The latter gives that the affine PI-algebra \(A\) behaves like a finitely generated module over a polynomial algebra: If \(A\) satisfies a polynomial identity of degree \(d\), then it is spanned by products \(y_1^{m_1}\cdots y_t^{m_t}\), where \(y_i\) is a word of length \(<d\) and \(t\leq h\). The minimal \(h\) with this property is called the height of \(A\). An improved version of the Shirshov theorem replaces the estimate \(<d\) for the length of \(y_i\) with the inequality \(\leq n\) if the matrix algebra \(M_{n+1}(k)\) does not satisfy all polynomial identities of \(A\). Another version involves the notion of essential height, when \(A\) is spanned by products \(s_0y_1^{m_1}s_1\cdots s_{t-1}y_t^{m_t}s_t\) and \(s_i\) belongs to a fixed finite subset of \(\Omega^*\). Among the consequences of the Shirshov theorem is the theorem of Berele that affine PI-algebras have finite Gelfand-Kirillov dimension. By the theory of Kemer finitely generated relatively free algebras are representable, i.e., isomorphic to a subring of \(M_n(F)\) for a field \(F\). The Gelfand-Kirillov dimension of a representable algebra is equal to the essential height. Further, the authors discuss monomial algebras and their representability. The final topic of the article …
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 16-02
Mathematics Subject Classification ID: 16P90
Mathematics Subject Classification ID: 16R40
Mathematics Subject Classification ID: 16S15
Mathematics Subject Classification ID: 16S50
zbMATH DE Number: 5118784
zbMATH Keywords: algebras with polynomial identity
zbMATH Keywords: T-ideals
zbMATH Keywords: normal bases
zbMATH Keywords: Gröbner bases
zbMATH Keywords: Shirshov height theorem
zbMATH Keywords: monomial algebras
zbMATH Keywords: representability
zbMATH Keywords: Gelfand-Kirillov dimension
zbMATH Keywords: matrix algebras
zbMATH Keywords: isomorphism problem
MaRDI profile type: Publication
full work available at URL: j.aam.2005.08.006
OpenAlex ID: W2047859573
cites work: Q4273356
cites work: Generic \(2\times 2\) matrices in positive characteristic
cites work: Q3808257
cites work: Monomial algebras
cites work: Q4761796
cites work: Q4658075
cites work: Q4871464
cites work: The decision problem for exponential diophantine equations
cites work: Q4700803
cites work: Invariants and the ring of generic matrices
cites work: Elementary Divisors and Modules
cites work: Representability of reduced free algebras
cites work: Identities of associative algebras
cites work: IDENTITIES OF FINITELY GENERATED ALGEBRAS OVER AN INFINITE FIELD
cites work: MULTILINEAR IDENTITIES OF THE ALGEBRAS OVER A FIELD OF CHARACTERISTIC P
cites work: Q3741058
cites work: A Matrix Representation for Associative Algebras. II
cites work: Q3677877
cites work: Codimensions and trace codimensions of matrices are asymptotically equal
cites work: Q3910639
cites work: On a question concerning generic matrices over the integers
cites work: Q3243327
cites work: Q3243334
cites work: Q3731771
DOI: 10.1016/J.AAM.2005.08.006
description: scientific article; zbMATH DE number 5118784