Subexponential estimates in Shirshov's theorem on height.

DOI10.1070/SM2012V203N04ABEH004233MaRDI QIDQ2901896zbMATH OpenFDO

Authors A. Ya Belov, M. I. Kharitonov

Publication date 31 July 2012

Published in Sbornik: Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.2987

zbMATH Keywords

polynomial identitiesword combinatoricsDilworth theoremfinitely generated PI-algebrasShirshov height theorem\(n\)-divisibilityBurnside-type problems

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Combinatorics on words (68R15) Growth rate, Gelfand-Kirillov dimension (16P90)

Abstract: In 1993 E. I. Zelmanov asked the following question in Dniester Notebook: "Suppose that F_{2, m} is a 2-generated associative ring with the identity x^m=0. Is it true, that the nilpotency degree of F_{2, m} has exponential growth?" We show that the nilpotency degree of l-generated associative algebra with the identity x^d=0 is smaller than Psi(d,d,l), where Psi(n,d,l)=2^{18} l (nd)^{3 log_3 (nd)+13}d^2. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let l, n and d>n be positive integers. Then all the words over alphabet of cardinality l which length is greater than Psi(n,d,l) are either n-divided or contain d-th power of subword, where a word W is n-divided, if it can be represented in the following form W=W_0 W_1...W_n such that W_1 >' W_2>'...>'W_n. The symbol >' means lexicographical order here. A. I. Shirshov proved that the set of non n-divided words over alphabet of cardinality l has bounded height h over the set Y consisting of all the words of degree <n. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A.G.Kolotov and in 1993 A.Ya.Belov obtained exponential estimation. We show, that h<Phi(n,l), where Phi(n,l) = 2^{87} n^{12 log_3 n + 48} l. Our proof uses Latyshev idea of Dilworth theorem application.

Recommendations

• Subexponential estimates in the height theorem and estimates on numbers of periodic parts of small periods.
• Two-sided estimates for essential height in Shirshov's height theorem.
• Estimates in Shirshov height theorem
• Piecewise periodicity structure estimates in Shirshov's height theorem.
• scientific article; zbMATH DE number 4077472

Cited in

(15)

• A semigroup of paths on a sequence of uniformly elliptic complexes
• Burnside-type problems, theorems on height, and independence.
• About height theorem
• Alekseĭ Yakovlevich Kanel'-Belov
• Graded algebras, algebraic functions, planar trees, and elliptic integrals
• Piecewise periodicity structure estimates in Shirshov's height theorem.
• Two-sided estimates for essential height in Shirshov's height theorem.
• On Shirshov bases of graded algebras.
• Subexponential estimates in the height theorem and estimates on numbers of periodic parts of small periods.
• Shirshov's theorem and division rings that are left algebraic over a subfield.
• Finitely presented nilsemigroups: complexes with the property of uniform ellipticity
• Subexponential estimates in the Shirshov height theorem.
• scientific article; zbMATH DE number 4077472 (Why is no real title available?)
• Estimates in Shirshov height theorem
• On the nilpotency degree of the algebra with identity \(x^n=0\).

This page was built for publication: Subexponential estimates in Shirshov's theorem on height.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901896)