Abstract:
We prove that the recursive derivatives of order 1 of isotopic left Bol loops are isotopic and that every loop, isotopic to a recursively 1-differentiable left Bol loop, is recursively 1-differentiable.The recursive differentiability of di-associative loops is also considered.