Shirshov's theorem and division rings that are left algebraic over a subfield.

DOI10.1016/J.JPAA.2012.11.015zbMATH Open1293.16016arXiv1111.5604OpenAlexW1989854806MaRDI QIDQ387382FDOQ387382

Authors: Jason P. Bell, Vesselin Drensky, Yaghoub Sharifi 

Publication date: 23 December 2013

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a division ring that is left algebraic over a subfield K of bounded degree d then D is at most d^2-dimensional over its center. This generalizes a result of Kaplansky. For the proof we give a new version of the combinatorial theorem of Shirshov that sufficiently long words over a finite alphabet contain either a q-decomposable subword or a high power of a non-trivial subword. We show that if the word does not contain high powers then the factors in the q-decomposition may be chosen to be of almost the same length. We conclude by giving a list of problems for algebras that are left algebraic over a commutative subring.

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

Recommendations

• A note on subgroups in a division ring that are left algebraic over a division subring
• Estimates in Shirshov height theorem
• Division algebras with left algebraic commutators
• Subexponential estimates in the height theorem and estimates on numbers of periodic parts of small periods.
• Algebraic commutators with respect to subnormal subgroups in division rings

zbMATH Keywords

division ringsleft algebraic algebrasprimitive algebraic algebras

Mathematics Subject Classification ID

Finite-dimensional division rings (16K20) Infinite-dimensional and general division rings (16K40) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20)

Cites Work

• Title not available (Why is that?)
• Free subalgebras of division algebras over uncountable fields.
• Title not available (Why is that?)
• Automatic Sequences
• 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?)
• An infinite dimensional affine nil algebra with finite Gelfand-Kirillov dimension
• Monomial algebras
• Polynomial rings over nil rings need not be nil
• Polynomial identity rings.
• A SIMPLE NIL RING EXISTS
• Two element generation of a separable algebra
• Subexponential estimates in Shirshov's theorem on height.
• Title not available (Why is that?)
• On the nilpotency degree of the algebra with identity \(x^n=0\).
• Makar-Limanov's conjecture on free subalgebras.
• A proof of Shirshov's theorem
• A question of Kaplansky
• Title not available (Why is that?)
• Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov

Cited In (12)

• Almost subnormal subgroups in division rings with generalized algebraic rational identities
• On the algebraicity of bounded degree in division rings
• Primitivity of finitely presented monomial algebras.
• On the unit groups of rings with involution
• A note on symmetric elements of division rings with involution
• Subnormal subgroups and self-invariant maximal subfields in division rings
• Algebraic commutators with respect to subnormal subgroups in division rings
• A note on subgroups in a division ring that are left algebraic over a division subring
• Left Artinian algebraic algebras
• Division algebras with left algebraic commutators
• Free subgroups in almost subnormal subgroups of general skew linear groups
• Words Periodic over the Center of a Division Ring

This page was built for publication: Shirshov's theorem and division rings that are left algebraic over a subfield.

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