Free subalgebras of division algebras over uncountable fields.

DOI10.1007/S00209-013-1267-1MaRDI QIDQ2249641zbMATH OpenOpenAlexFDO

Authors Jason P. Bell, D. Rogalski

Publication date 3 July 2014

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

centralizersdivision algebrasdivision ringsfree subalgebrasGK dimensionNoetherian domainsTits alternative

Mathematics Subject Classification ID

Infinite-dimensional and general division rings (16K40) Localization and associative Noetherian rings (16P50) Growth rate, Gelfand-Kirillov dimension (16P90) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Abstract: We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$-algebra that is a domain of GK-dimension strictly less than 3, then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$-algebra on two generators.

Review text

The study of the problem on the existence of free objects in division rings seems to have the rise from the work of A. I. Lichtman in 1977, when he studied the analogue of Tits' Alternative for skew linear groups. Since this time, the problem attracts the attention of many authors around the world and many interesting results were obtained. In the article under review, the authors study the existence of free subalgebras in division algebras with uncountable centers, and prove the following general result: if \(A\) is a Noetherian domain which is countably generated over an uncountable algebraically closed field \(k\) of characteristic \(0\), then either the quotient division algebra of \(A\) contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, the authors give a criterion for the special case of domains of low Gelfand-Kirillov dimension.

Recommendations

• On a question of Makar-Limanov
• Makar-Limanov's conjecture on free subalgebras.
• On free group algebras in division rings with uncountable center
• Free subgroups of division algebras
• Free subalgebras of quotient rings of Ore extensions.

Cites work

• Division algebras of Gelfand-Kirillov transcendence degree 2.
• Endomorphism rings of modules over PI-algebras
• Free group algebras in certain division rings
• Free Subalgebras of Enveloping Fields
• Free subalgebras of quotient rings of Ore extensions.
• Free subgroups and free subsemigroups of division rings
• Free subgroups of division algebras
• scientific article; zbMATH DE number 48723 (Why is no real title available?)
• scientific article; zbMATH DE number 1380629 (Why is no real title available?)
• scientific article; zbMATH DE number 1563322 (Why is no real title available?)
• Large Free Algebras in the Ring of Fractions of Skew Polynomial Rings
• Noetherian algebras over algebraically closed fields.
• On a question of Makar-Limanov
• On Free Subalgebras of Certain Division Algebras
• On Free Subsemigroups of Skew Fields
• On group rings of nilpotent groups
• Stratiform Simple Artinian Rings
• The skew field of fractions of the weyl algebra contains a free noncommutative subalgebra
• Two-sided vector spaces

Cited in

(16)

• Makar-Limanov's conjecture on free subalgebras.
• Free group algebras in the field of fractions of differential polynomial rings and enveloping algebras
• Free algebras in division rings with an involution
• Finitely generated simple algebras: a question of B. I. Plotkin.
• An embedding property of universal division algebras
• Algebraic commutators with respect to subnormal subgroups in division rings
• A note on symmetric elements of division rings with involution
• A note on subgroups in a division ring that are left algebraic over a division subring
• Free algebras and free groups in Ore extensions and free group algebras in division rings.
• Free Structures in Division Rings
• Free group algebras in division rings.
• Golod-Shafarevich algebras, free subalgebras and Noetherian images.
• Shirshov's theorem and division rings that are left algebraic over a subfield.
• Growth, entropy and commutativity of algebras satisfying prescribed relations.
• On a question of Makar-Limanov
• Noetherian algebras over algebraically closed fields.

This page was built for publication: Free subalgebras of division algebras over uncountable fields.

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