Господь с Вами. С какой стати-то?... Тем более, что в алгебре вообще нет деления.
Кстати об алгебрах (и совсем не по теме). В них бывает разложение на множители, даже если деления нет, и это может быть полезным. Дифференцирование становится гораздо прозрачнее, если на него посмотреть как на разложение на множители в некоторой алгебре функций. К примеру, многочлен

разлагается на множители

, и

. Если взять алгебру непрерывных функций (по обеим переменным

и

), получится непрерывная дифференцируемость, если алгебру функций от

непрерывных в точке

, получится классическое дифференцирование. Можно использовать и другие алгебры функций, например, степенные ряды, или функции, удовлетворяющие условиям Липшица или Гёльдера, и.т.д.