On the Lie algebra structure of integrable derivations

Building on work of Gerstenhaber, we show that the space of integrable derivations on an Artin algebra (Formula presented.) forms a Lie algebra, and a restricted Lie algebra if (Formula presented.) contains a field of characteristic (Formula presented.). We deduce that the space of integrable classes in (Formula presented.) forms a (restricted) Lie algebra that is invariant under derived equivalences, and under stable equivalences of Morita type between self-injective algebras. We also provide negative answers to questions about integrable derivations posed by Linckelmann and by Farkas, Geiss and Marcos. Along the way, we compute the first Hochschild cohomology of the group algebra of any symmetric group.