After introducing double derivations of $n$-Lie algebra $L$ we‎ ‎describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual‎ ‎derivation Lie algebra $mathcal Der(L)$‎. ‎In particular‎, ‎we prove that the inner derivation algebra $ad(L)$‎ ‎is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra‎ ‎wit...

let $mathcal m$ be a factor von neumann algebra. it is shown that every nonlinear $*$-lie higher derivation$d={phi_{n}}_{ninmathbb{n}}$ on $mathcal m$ is additive. in particular, if $mathcal m$ is infinite type $i$factor, a concrete characterization of $d$ is given.

Because of its significance in the formation core encryption/decryption algorithms, key derivation function (KDF) or pseudorandom number generator (PRNG) plays a major part cryptographic system. Random numbers are required for usage encryption and decryption techniques variety network security applications. In this research we Focus on generation functions, which an important aspect symmetric a...

Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...

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  be a Banach algebra. Let  be linear mappings on . First we demonstrate a theorem concerning the continuity of double derivations; especially that all of -double derivations are continuous on semi-simple Banach algebras, in certain case. Afterwards we define a new vocabulary called “-higher double derivation” and present a relation between this subject and derivations and finally give some ...

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...

Codatatypes are absent from many programming and specification languages. We make a case for their importance by revisiting a classical result: the completeness theorem for first-order logic established through a Gentzen system. The core of the proof establishes an abstract property of possibly infinite derivation trees, independently of the concrete syntax or inference rules. This separation o...

Codatatypes are regrettably absent from many programming languages and proof assistants. We make a case for their usefulness by revisiting a classic result: the completeness theorem for first-order logic established through a Gentzen system. Codatatypes help capture the essence of the proof, which establishes an abstract property of derivation trees independently of the concrete syntax or infer...