Definition:Leibniz Law

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring.

Let $A$ be a $R$-algebra.

Then a function $f : A \to A$ is said to be satisfying Leibniz Law if the following holds:

$\forall a, b \in A, f \left({a b}\right) = f \left({a}\right) b + a f \left({b}\right)$