Degree estimate for commutators.

DOI10.1016/J.JALGEBRA.2009.07.018zbMATH Open1187.16024arXiv0806.0439OpenAlexW2121300961MaRDI QIDQ1048945FDOQ1048945

Authors: Vesselin Drensky, Jie-Tai Yu 

Publication date: 8 January 2010

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let K<X> be a free associative algebra over a field K of characteristic 0 and let each of the noncommuting polynomials f,g generate its centralizer in K<X>. Assume that the leading homogeneous components of f and g are algebraically dependent with degrees which do not divide each other. We give a counterexample to the recent conjecture of Jie-Tai Yu that deg([f,g])=deg(fg-gf) > min{deg(f),deg(g)}. Our example satisfies deg(g)/2 < deg([f,g]) < deg(g) < deg(f) and deg([f,g]) can be made as close to deg(g)/2 as we want. We obtain also a counterexample to another related conjecture of Makar-Limanov and Jie-Tai Yu stated in terms of Malcev - Neumann formal power series. These counterexamples are found using the description of the free algebra K<X> considered as a bimodule of K[u] where u is a monomial which is not a power of another monomial and then solving the equation [u^m,s]=[u^n,r] with unknowns r,s in K<X>.

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

Recommendations

• Degree estimate for subalgebras.
• Degree estimate for subalgebras generated by two elements.
• Golod-Shafarevich algebras, free subalgebras and Noetherian images.
• Makar-Limanov's conjecture on free subalgebras.
• Free Structures in Division Rings

zbMATH Keywords

commutatorsJacobianscoordinatesJacobian conjecturedegree estimatesfree associative algebraswild automorphismstame automorphismspolynomial algebras

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ordinary and skew polynomial rings and semigroup rings (16S36) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Automorphisms and endomorphisms (16W20) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Cites Work

• The stable equivalence and cancellation problems
• A Commutator Test for Two Elements to Generate the Free Algebra of Rank Two
• Title not available (Why is that?)
• Systems of linear equations over associative algebras and the occurrence problem for lie algebras
• Poisson brackets and two-generated subalgebras of rings of polynomials
• The tame and the wild automorphisms of polynomial rings in three variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Propriétés topologiques des polynômes de deux variables complexes et automorphismes algébriques de l'espace \(C^2\)
• Dedekind subrings of \(k[x_1,\dots,x_n]\) are rings of polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Ordered Division Rings
• Title not available (Why is that?)
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Combinatorial methods. Free groups, polynomials, and free algebras
• On Ordered Groups
• The strong Anick conjecture is true.
• The Anick automorphism of free associative algebras
• Centralizers in Free Associative Algebras
• Automorphisms of a Free Associative Algebra of Rank 2. II
• THE EQUATION [x,u] + [y,v] = 0 IN FREE LIE ALGEBRAS
• The strong Nagata conjecture
• A Note on Finite Dimensional Subrings of Polynomial Rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Defining relations of the tame automorphism group of polynomial algebras in three variables
• Degree estimate for subalgebras generated by two elements.
• Title not available (Why is that?)
• Test elements, retracts and automorphic orbits.
• Automorphic orbit problem for polynomial algebras
• The preimage of a coordinate.
• Title not available (Why is that?)

Cited In (5)

• Degree estimate for subalgebras.
• On a lower bound of commutativity degree.
• A generalization of the Shestakov-Umirbaev inequality
• Degree estimate for subalgebras generated by two elements.
• Dependence between homogeneous components of polynomials with small degree of Poisson bracket

This page was built for publication: Degree estimate for commutators.

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