Normal bases of $PI$-algebras

Vishne Uzi Rowen, K.A.; Louis, H.

Авторы: Kanel–Belov A., Vishne Uzi, Rowen; Louis H.
Журнал: Advances in Applied Mathematics
Том: 37
Номер: 3
Год издания: 2006
Издательство: Academic Press
Местоположение издательства: United States
Первая страница: 378
Последняя страница: 389
DOI: 10.1016/j.aam.2005.08.006
Аннотация: 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 Ω={a1,…,al} be a finite set of symbols and let Ω∗ be the set of all words in Ω, equipped with the deg-lex order. The normal base of the associative algebra A generated by Ω over an infinite field k is the set of all words in Ω∗ 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 ym11⋯ymtt, where yi is a word of length <d and t≤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 yi with the inequality ≤n if the matrix algebra Mn+1(k) does not satisfy all polynomial identities of A. Another version involves the notion of essential height, when A is spanned by products s0ym11s1⋯st−1ymttst and si belongs to a fixed finite subset of Ω∗. 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 Mn(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 is the isomorphism problem for subalgebras of matrix algebras with polynomial entries. The problem is algorithmically unsolvable in characteristic 0. On the other hand, the authors show that the isomorphism problem for monomial subalgebras of matrix algebras in positive characteristic (defined in terms of their generators) is algorithmically solvable. The paper concludes with several conjectures relating representable algebras, formal languages, and Shirshov’s height theorem.Reviewer: Vesselin Drensky (Sofia
Добавил в систему: Белов Алексей Яковлевич

	ИСТИНА	Войти в систему Регистрация
	Интеллектуальная Система Тематического Исследования НАукометрических данных
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

Интеллектуальная Система Тематического Исследования НАукометрических данных

Normal bases of $PI$-algebrasстатья

Прикрепленные файлы