Derivations of tensor product of algebras

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor product of two finite order automorphisms of the involved algebras. These results generalize some well-know theorems in the literature.