Estimates in Shirshov height theorem

zbMATH Open1434.16010arXiv1411.7435MaRDI QIDQ5239608FDOQ5239608

Authors: M. I. Kharitonov 

Publication date: 22 October 2019

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)=l(nd{)}^{Clog(nd)}$ and $C$ is a constant. 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}dots{W}_n$ such that $W_{n}prec{W}_{n-1}preccdotsprec{W}_1$. The symbol $prec$ 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)=n^{Clogn}l$ and $C$ is a constant. Our proof uses Latyshev idea of Dilworth theorem application.

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

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.
• Subexponential estimates in Shirshov's theorem on height.
• Piecewise periodicity structure estimates in Shirshov's height theorem.
• Some estimations for nilpotence of nill-algebras over a field of an arbitrary characteristic and height theorem

zbMATH Keywords

combinatorics on wordsDilworth theorem\(n\)-divisibilityheight theoremBurnside type problems

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Combinatorics on words (68R15) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Growth rate, Gelfand-Kirillov dimension (16P90)

Cites Work

• Permutations, matrices, and generalized Young tableaux
• Gesetze in Ringen. I
• Longest Increasing and Decreasing Subsequences
• BLOCKING SETS OF TERMS
• Subexponential estimates in the height theorem and estimates on numbers of periodic parts of small periods.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetric functions and P-recursiveness
• The diamond lemma for ring theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings with a polynomial identity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal Identities for Algebras
• Title not available (Why is that?)
• Sharp characterizations of squarefree morphisms
• Title not available (Why is that?)
• A decomposition theorem for partially ordered sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monomial algebras
• Title not available (Why is that?)
• Combinatorial algebra: syntax and semantics. With contributions by Victor S. Guba and Mikhail V. Volkov
• ASSOCIATIVE NIL-ALGEBRAS OVER FINITE FIELDS
• Subexponential estimates in Shirshov's theorem on height.
• Title not available (Why is that?)
• Some estimations for nilpotence of nill-algebras over a field of an arbitrary characteristic and height theorem
• Title not available (Why is that?)
• The Gel'fand-Kirillov dimension of relatively free associative algebras
• Title not available (Why is that?)
• On the nilpotency degree of the algebra with identity \(x^n=0\).
• Bounds for indices of nilpotency and nility
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the rationality of Hilbert series of relatively free algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a problem of A. Kurosch
• Indices of nilpotency in a PI-ring
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Existence of polynomial identities in $A \otimes \,_F B$
• Mots sans carre et morphismes iterés
• Title not available (Why is that?)
• On a problem of Kurosch and Jacobson
• Title not available (Why is that?)

Cited In (7)

• Subexponential estimates in Shirshov's theorem on height.
• Title not available (Why is that?)
• The Kurosh problem, height theorem, nilpotency of the radical, and algebraicity identity.
• Piecewise periodicity structure estimates in Shirshov's height theorem.
• Two-sided estimates for essential height in Shirshov's height theorem.
• Subexponential estimates in the Shirshov height theorem.
• Shirshov's theorem and division rings that are left algebraic over a subfield.

This page was built for publication: Estimates in Shirshov height theorem

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