Jabarkan Aljabar turunan dari Aljabar non-asosiatif

Sebuah turunan pada A adalah peta-D dengan sifat

Turunan pada A sebagai bentuk subruang DerK(A) di EndK(A). Komutator dari dua turunan merupakan turunan terus, sehingga braket Lie diberikan oleh DerK(A) struktur aljabar Lie.