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: \map f {a b} = \map f a b + a \map f b$