Derivation into a bimodule
= Derivation into a bimodule
A $k$-linear derivation from a $k$-algebra $R$ to an $R$-$R$-<bimodule> $M$ is a map $d:R\to M$ satisfying
$$
d(rs)=r d(s)+d(r)s.
$$
= Derivation into a bimodule
A $k$-linear derivation from a $k$-algebra $R$ to an $R$-$R$-<bimodule> $M$ is a map $d:R\to M$ satisfying
$$
d(rs)=r d(s)+d(r)s.
$$