Subexponential estimates in Shirshov's theorem on height
Suppose that F{sub 2,m} is a free 2-generated associative ring with the identity x{sup m}=0. In 1993 Zelmanov put the following question: is it true that the nilpotency degree of F{sub 2,m} has exponential growth? We give the definitive answer to Zelmanov's question by showing that the nilpotency class of an l-generated associative algebra with the identity x{sup d}=0 is smaller than {Psi}(d,d,l), where {Psi}(n,d,l)=2{sup 18}l(nd){sup 3log}{sub 3}{sup (nd)+13}d{sup 2}. This result is a consequence of the following fact based on combinatorics of words. Let l, n and d{>=}n be positive integers. Then all words over an alphabet of cardinality l whose length is not less than {Psi}(n,d,l) are either n-divisible or contain x{sup d}; a word W is n-divisible if it can be represented in the form W=W{sub 0}W{sub 1} Horizontal-Ellipsis W{sub n} so that W{sub 1},...,W{sub n} are placed in lexicographically decreasing order. Our proof uses Dilworth's theorem (according to V.N. Latyshev's idea). We show that the set of not n-divisible words over an alphabet of cardinality l has height h<{Phi}(n,l) over the set of words of degree {<=}n-1, where {Phi}(n,l)=2{sup 87}l{center_dot}n{sup 12log}{sub 3}{sup n+48}. Bibliography: 40 titles.
- OSTI ID:
- 21612771
- Journal Information:
- Sbornik. Mathematics, Vol. 203, Issue 4; Other Information: DOI: 10.1070/SM2012v203n04ABEH004233; Country of input: International Atomic Energy Agency (IAEA); ISSN 1064-5616
- Country of Publication:
- United States
- Language:
- English
Similar Records
Studies of Impurity Assimilation During Massive Argon Gas Injection in DIII-D
On subgroups of R. Thompson's group F and other diagram groups