RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Chebyshevskii Sb.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Chebyshevskii Sb., 2014, Volume 15, Issue 4, Pages 55–123 (Mi cheb360)  

Estimates in Shirshov Height theorem

M. I. Kharitonov

Lomonosov Moscow State University

Abstract: The paper is devoted to subexponential estimations in Shirshov's Height theorem. A word $W$ is $n$-divisible, if it can be represented in the following form: $W=W_0W_1\cdots W_n$ such that $W_1\prec W_2\prec…\prec W_n$. If an affine algebra $A$ satisfies polynomial identity of degree $n$ then $A$ is spanned by non $n$-divisible words of generators $a_1\prec…\prec a_l$. A. I. Shirshov proved that the set of non $n$-divisible words over alphabet of cardinality $l$ has bounded height $h$ over the set $Y$ consisting of all the words of degree $\leqslant n-1$. We show, that $h<\Phi(n,l)$, where
$$\Phi(n,l) = 2^{96} l\cdot n^{12\log_3 n + 36\log_3\log_3 n + 91}.$$
Let $l$, $n$ и $d \geqslant 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$-divisible or contain $d$-th power of subword, where
$$\Psi(n,d,l)=2^{27} l (nd)^{3 \log_3 (nd)+9\log_3\log_3 (nd)+36}.$$

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 give the definitive answer to E. I. Zelmanov by this result. We show that the nilpotency degree of $l$-generated associative algebra with the identity $x^d=0$ is smaller than $\Psi(d,d,l).$ This imply subexponential estimations on the nilpotency index of nil-algebras of an arbitrary characteristics.
Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained, an exponential estimation was obtained in 1992.
Our proof uses Latyshev idea of Dilworth theorem application. We think that Shirshov's height theorem is deeply connected to problems of modern combinatorics. In particular this theorem is related to the Ramsey theory. We obtain lower and upper estimates of the number of periods of length $2, 3, (n - 1)$ in some non $n$-divisible word. These estimates are differ only by a constant.
Bibliography: 79 titles.

Keywords: Height theorem, combinatorics on words, $n$-divisibility, Dilworth theorem, Burnside type problems.

Full text: PDF file (444 kB)
References: PDF file   HTML file

Document Type: Article
UDC: 512.5+512.64+519.1
Received: 05.12.2014

Citation: M. I. Kharitonov, “Estimates in Shirshov Height theorem”, Chebyshevskii Sb., 15:4 (2014), 55–123

Citation in format AMSBIB
\Bibitem{Kha14}
\by M.~I.~Kharitonov
\paper Estimates in Shirshov Height theorem
\jour Chebyshevskii Sb.
\yr 2014
\vol 15
\issue 4
\pages 55--123
\mathnet{http://mi.mathnet.ru/cheb360}


Linking options:
  • http://mi.mathnet.ru/eng/cheb360
  • http://mi.mathnet.ru/eng/cheb/v15/i4/p55

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Number of views:
    This page:108
    Full text:77
    References:23

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019