The Lie derivation of multivector fields along multivector fields has been introduced by Schouten (see cite{Sc, S}), and studdied for example in cite{M} and cite{I}. In the present paper we define the Lie derivation of differential forms along multivector fields, and we extend this concept to covariant derivation on tangent bundles and vector bundles, and find natural relations between them and...

Let R be a 2-torsion free prime ring with center Z, right Utumi quotient ring U , generalized derivation F associated with a nonzero derivation d of R and L a Lie ideal of R. If F (uv)n = F (u)mF (v)l or F (uv)n = F (v)lF (u)m for all u, v ∈ L, where m,n, l are fixed positive integers, then L ⊆ Z. We also examine the case where R is 312 Ahmad N. Alkenani et al. a semiprime ring. Finally, as an ...

We present a compositional approach to defining expressive logics for coalgebras of endofunctors on Set. This approach uses a notion of language constructor and an associated notion of semantics to capture one inductive step in the definition of a language for coalgebras and of its semantics. We show that suitable choices for the language constructors and for their associated semantics yield lo...

In this paper we consider the derivations for even part of the finitedimensional Hamiltonian superalgebra H over a field of prime characteristic. We first introduce an ideal N of H 0 and show that the derivation space from H 0 into W 0 can be obtained by the derivation space from N into W 0 , the even part of the generalized Witt superalgebra W . For further application we also give the generat...

Let R be a prime ring and L a noncommutative Lie ideal of R. Suppose that f is a nonzero right generalized β-derivation of R associated with a β-derivation δ such that [f(x), x]k = 0 for all x ∈ L, where k is a fixed positive integer. Then either there exists s ∈ C scuh that f(x) = sx for all x ∈ R or R ⊆ M2(F ) for some field F . Moreover, if the latter case holds, then either charR = 2 or cha...

let $mathcal{a}$ be a banach algebra and $mathcal{m}$ be a banach $mathcal{a}$-bimodule. we say that a linear mapping $delta:mathcal{a} rightarrow mathcal{m}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{a} rightarrow mathcal{m}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{a}$. giving some facts concerning general...

Let R be a ring with center Z and I a nonzero ideal of R. An additive mapping F : R → R is called a generalized derivation of R if there exists a derivation d : R → R such that F xy F x y xd y for all x, y ∈ R. In the present paper, we prove that if F x, y ± x, y for all x, y ∈ I or F x ◦ y ± x ◦ y for all x, y ∈ I, then the semiprime ring R must contains a nonzero central ideal, provided d I /...

Let R be a ring with involution ′∗′. A map δ of the ring R into itself is called a derivation if δ(xy) = δ(x)y + xδ(y) for all x, y ∈ R. An additive map F : R → R is called a generalized derivation on R if F(xy) = F(x)y + xδ(y) for all x, y ∈ R, Permanent address: Department of Mathematics, Faculty of Science, Aligarh Muslim University, Aligarh202002, India 292 Shakir Ali and Husain Alhazmi whe...