Diagonal reduction algebras of \gl type

Several general properties, concerning reduction algebras - rings of definition and algorithmic efficiency of the set of ordering relations - are discussed. For the reduction algebras, related to the diagonal embedding of the Lie algebra $gl_n$ into $gl_n \oplus gl_n$, we establish a stabilization phenomenon and list the complete sets of defining relations.Comment: 24 pages, no figure

Degree estimate for commutators

Let K 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. 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 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.Comment: 18 page