The Frölicher-Nijenhuis bracket in non-commutative differential geometry.
Let be a Laurent polynomial algebra over a field of characteristic zero, the Lie algebra of -derivations of the algebra , the so-called Witt Lie algebra, and let be the Virasoro Lie algebra which is a -dimensional central extension of the Witt Lie algebra. The Lie algebras and are infinite dimensional Lie algebras. We prove that the following isomorphisms of the groups of Lie algebra automorphisms hold: , and give a short proof that .