Inner derivation through the universal bimodule derivation

ID: inner-derivation-through-the-universal-bimodule-derivation

Under the universal isomorphism, the inner derivation corresponds to
Thus inner derivations correspond exactly to bimodule maps on that extend across the inclusion .

New to topics? Read the docs here!