Let A be a C*-algebra, B a C*-subalgebra of A, δ:B → A a derivation, i.e., a linear map with
There has been considerable interest for several years now in the question of when δ can be extended from B to a derivation of A (see, for example, , Section 4, , , , , , , ). The paper before the reader will be concerned with this extension problem when B is a hereditary C*-subalgebra of A.
Our work takes its cue from the paper  of George Elliott. We prove in Section 2 of the present paper that derivations as described above of a unital hereditary C*-subalgebra always extend whenever A is either simple, AW*, separable and AF, or separable with continuous trace, thus generalizing and extending Theorem 4.5 of .