biderivation

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

bi- +‎ derivation

Noun[edit]

biderivation (plural biderivations)

  1. (mathematics) A bilinear mapping which is a derivation in each variable separately.
    • 2016, José Manuel Casas, Rafael F. Casado, Xabier García-Martínez, Emzar Khmaladze, “Actor of a crossed module of Leibniz algebras”, in arXiv[1]:
      We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra.