Let A be a semisimple Danach algebra with a linear automorphism σ and let δ: I → A be a σ-derivation, where I is an ideal of A. Then Φ(δ)(I ∩ σ(I)) = 0, where Φ(δ) is the separating space of δ. As a consequence, if I is an essential ideal then the σ-derivation δ is closable. In a prime C*-algebra, we show that every σ-derivation defined on a nonzero ideal is continuous. Finally, any linear map on a prime semisimple Danach algebra with nontrivial idempotents is continuous if it satisfies the σ-derivation expansion formula on zero products.
All Science Journal Classification (ASJC) codes