Let F be a commuting generalized derivation, with associated derivation d, on a semiprime ring R. We show that d(x)[y, z] = 0 for all x, y, z ∈ R and d is central. We define and characterize dependent elements of F and investigate a decomposition of R relative to F . Mathematics Subject Classification: 16N60, 16W25

In this paper identities related to derivations on semiprime rings and standard operator algebras are investigated. We prove the following result which generalizes a classical result of Chernoff. Let X be a real or complex Banach space, let L(X) be the algebra of all bounded linear operators of X into itself and let A(X) ⊆ L(X) be a standard operator algebra. Suppose there exists a linear mappi...

Throughout this paper, R will represent an associative ring with center Z(R). A ring R is n-torsion free, where n > 1 is an integer, in case nx = 0, x ∈ R implies x = 0. As usual the commutator xy− yx will be denoted by [x, y]. We will use basic commutator identities [xy,z] = [x,z]y + x[y,z] and [x, yz] = [x, y]z+ y[x,z]. Recall that a ring R is prime if aRb = (0) implies that either a = 0 or b...

We present a Schütte-Tait style cut-elimination proof for the hypersequent calculus HIF for first-order Gödel logic. This proof allows to bound the depth of the resulting cut-free derivation by 4 |d| ρ(d), where |d| is the depth of the original derivation and ρ(d) the maximal complexity of cut-formulas in it. We compare this Schütte-Tait style cut-elimination proof to a Gentzen style proof.

Suppose that A is a C∗-algebra acting on a Hilbert space H, and φ, ψ are mappings from A into B(H) which are not assumed to be necessarily linear or continuous. By a (φ, ψ)derivation we mean a linear mapping d : A → B(H) such that d(ab) = φ(a)d(b) + d(a)ψ(b) (a, b ∈ A). In this paper, we prove that if φ is a multiplicative(not necessary linear) ∗-mapping, then every ∗-(φ,φ)-derivation is automa...

Abstract. Let R be a 2-torsion free ring with identity. In this paper, first we prove that any Jordan left derivation (hence, any left derivation) on the full matrix ringMn(R) (n 2) is identically zero, and any generalized left derivation on this ring is a right centralizer. Next, we show that if R is also a prime ring and n 1, then any Jordan left derivation on the ring Tn(R) of all n×n uppe...

We study the subgroup of k -automorphisms of k ⁢ [ x , y ] which commute with a simple derivation d of k ⁢ [ x , y ] . We prove, for instance, that this subgroup is trivial when d is a shamsuddin simple derivation. in the general case of simple derivations, we obtain properties for the elements of this subgroup.

the aim of this paper is to show that under some mild conditions a functional equation of multiplicative (; )-derivation is superstable on standard operator algebras. furthermore, we prove that this generalized derivation can be a continuous and an inner (; )- derivation.

AD-field is a field with a derivation or a difference-operator, called D. In a suitable language, the theory of D-fields has a modelcompanion, whose axioms need not distinguish the two cases in which D can fall. The geometric concepts involved in describing these axioms can be used to characterize the existentially closed fields with a derivation and a difference-operator; but the class of thes...