In this paper, we consider Leibniz algebras with derivations. A pair consisting of a algebra and distinguished derivation is called LeibDer pair. We define cohomology theory for coefficients in representation. study central extensions the next, generalize formal deformation to pairs which deform both bracket derivation. It governed by itself. Finally, homotopy derivations on sh 2-derivations 2-...

We study interaction-induced quantum correction deltasigma(alphabeta) to the conductivity tensor of electrons in two dimensions for arbitrary Ttau, where T is the temperature and tau the transport mean free time. A general formula is derived, expressing deltasigma(alphabeta) in terms of classical propagators ("ballistic diffusons"). The formalism is used to calculate the interaction contributio...

 Motivated by the intensive and powerful works concerning additive‎ ‎mappings of operator algebras‎, ‎we mainly study Lie-type higher‎ ‎derivations on operator algebras in the current work‎. ‎It is shown‎ ‎that every Lie (triple-)higher derivation on some classical operator‎ ‎algebras is of standard form‎. ‎The definition of Lie $n$-higher‎ ‎derivations on operator algebras and related pot...

In this paper we introduce derivations in Krasner hyperrings and derive some basic properties of derivations. We also prove that for a strongly differential hyperring $R$ and for any strongly differential hyperideal $I$ of $R,$ the factor hyperring $R/I$ is a strongly differential hyperring. Further we prove that a map $d: R rightarrow R$ is a derivation of a hyperring $R$ if and only if the in...

Just like group actions are represented by automorphisms, Lie algebra derivations: up to isomorphism, a split extension of $B$ $X$ corresponds morphism $B\to \mathit{Der}(X)$ from the $\mathit{Der}(X)$ derivations on $X$. In this article, we study question whether concept derivation can be extended other types non-associative algebras over field $\mathbb{K}$, in such way that these generalised ...

Synchronous tree-adjoining grammars have been given two types of semantics: one based on bimorphisms and one based on synchronous derivations, in both of which the input and output trees are constructed synchronously. We introduce a third type of semantics that is based on unidirectional derivations. It derives output trees based on a given input tree and thus marks a first step towards conditi...