Generalized derivations of dendriform algebras addresses generalized derivations within the setting of dendriform algebras [1] . Dendriform algebras, as given by Loday [2] are algebraic structures that extend the notion of associative operations by decomposing them into two distinct binary operations. In addition, he proposed dendriform algebras, which are algebraic structures that extend the concept of associative operations by separating them into two different components [3] .

Dendriform algebras play a crucial role in the study of extended σ -operators, associative Yang-Baxter equations, infinitesimal bialgebras, and modified Rota-Baxter algebras [3] , quantum field theory and renormalization. These applications highlight the relevance and significance of dendriform algebras in theoretical physics.

The purpose of this research is to investigate the connections between dendriform algebras and other mathematical structures, such as Rota-Baxter algebras and post-Lie algebra structures [4] [5] . This study also investigates the embedding of dendriform algebras within Rota-Baxter algebras, offering light on the relationship between these two types of algebras [4] . In addition, they investigate the categorization of post-Lie algebra structures caused by extended derivations and shed light on the connection between these structures and dendriform algebras.

Researchers have already discovered connections between generalized conformal derivations and conformal ( ρ , τ , σ ) -derivations. In addition, they give a characterization of all conformal ( ρ , τ , σ ) -derivations of finite simple Lie conformal algebras [6] . This characterization is crucial to comprehending the characteristics and behavior of these derivations. In addition, this demonstrates that there exist no post-Lie algebra structures for semisimple and solvable unimodular Lie algebras [7] . Moreover, they develop the generalized ( ρ , τ , σ ) -derivations of semisimple Lie algebras [8] [9] [10] [11] [12] .

The properties of generalized derivations in dendriform algebras have undergone thorough investigation, offering valuable insights into the algebraic structures, deformations, and cohomology associated with these algebras. This research on generalized derivations further enhances our comprehension of the properties and interconnections within dendriform algebras and their applications across various mathematical contexts.

This study is concerned with describing ( ρ , τ , σ ) -derivations of dendriform algebras. In this circumstance, generalized derivation can be easily inferred from the definition of derivations of dendriform algebras. In the scenario where ρ = τ = σ = 1 , the dendriform algebra derivations explored in [13] are obtained. We provide a technique for computing derivations in the paper. We utilize the technique in low-dimensional scenarios. Every application’s result is displayed in tabular format. We apply the classification result of two-dimensional complex dendriform algebras derived from [14] .

This section will start with essential definitions and information needed for further discussions.

Definition 2.1. Let E be an algebra over F. E is said to be dendriform algebra, if it satisfies ( u ≺ v ) ≺ w = u ≺ ( v ≺ w ) + u ≺ ( v ≻ w ) , ( u ≻ v ) ≺ w = u ≻ ( v ≺ w ) , ( u ≺ v ) ≻ w + ( u ≻ v ) ≻ w = u ≻ ( v ≻ w ) .

The process ≺ and ≻ related terms are left product, right product.

Definition 2.2. If ( E 1 , ≺ 1 , ≻ 1 ) , ( E , ≺ 2 , ≻ 2 ) are dendriform algebra. Then, a function from E 1 → E 2 is a homomorphism: if π ( a ≺ 1 b ) = π ( a ) ≺ 2 π ( b ) and π ( a ≻ 1 b ) = π ( a ) ≻ 2 π ( b ) ∀ a , b ∈ E 1 .

Definition 2.3. Let E be a dendriform algebra over a field F and linear transformation d : E → E satisfying d ( a ∗ b ) = d ( a ) ∗ b + a ∗ d ( b ) ∀ a , b ∈ E , where ∗ : =   ≺ , ≻ .

The collection of all derived dendriform algebras E is a subspace of E n d F ( E ) . This subspace equipped with the bracket [ d 1 , d 2 ] = d 1 ∘ d 2 − d 2 ∘ d 1 is a Lie algebra denoted by Der ( E ) .

The spaces of ( ρ , τ , σ ) -derivations of dendriform algebras would be employed in special cases to define some invariant functions, which are very important tools for geometrical representations of dendriform algebras. The definition of derivations can be generalized in several non-equivalent ways. We bring forward another type of generalization of the derivations. The notion of the derivation of dendriform algebras is generalized; ( ρ , τ , σ ) -derivations of E are introduced and their relevant properties are shown. All possible intersections of spaces containing these derivations are investigated. Examples of spaces of ( ρ , τ , σ ) -derivations of low dimensional dendriform algebras are presented. In special cases, the spaces of ( ρ , τ , σ ) -derivation are from operator dendriform algebras.

[13] provides various different generalization strategies regarding the definition (2.3) of derivations. We present another form of generalization regarding the derivations.

A mapping d ∈ E n d ( E ) is said to be ( ρ , τ , σ ) -derivation of E ( ρ , τ , σ ) are fixed elements of F) if for all a , b ∈ E , ρ d ( a ∗ b ) = τ d ( a ) ∗ b + σ a ∗ d ( b ) , where ∗ : =   ≺ , ≻ . The set that ( ρ , τ , σ ) -derivations we denote by Der ( ρ , τ , σ ) ( E ) . It is clear that Der ( ρ , τ , σ ) ( E ) is a linear subspace of E n d ( E ) .

Lemma 3.1. Let E be a dendriform algebra. Then, ρ , τ , σ in Der ( ρ , τ , σ ) ( E ) in the following manner: Der ( 1,1,1 ) ( E ) = { d ∈ E n d ( E ) | d ( a ⋆ b ) = d ( a ) ⋆ b + a ⋆ d ( b ) } ; Der ( 1,1,0 ) ( E ) = { d ∈ E n d ( E ) | d ( a ⋆ b ) = d ( a ) ⋆ b } ; Der ( 1,0,1 ) ( E ) = { d ∈ E n d ( E ) | d ( a ⋆ b ) = a ⋆ d ( b ) } ; Der ( 1,0,0 ) ( E ) = { d ∈ E n d ( E ) | d ( x ⋆ y ) = 0 } ; Der ( 0,1,1 ) ( E ) = { d ∈ E n d ( E ) | d ( a ) ⋆ b = a ⋆ d ( b ) } ; Der ( 0,0,1 ) ( E ) = { d ∈ E n d ( E ) | a ⋆ d ( b ) = 0 } ; Der ( 0,1,0 ) ( E ) = { d ∈ E n d ( E ) | d ( a ) ⋆ b = 0 } ; where ⋆ =   ≺ , ≻ .

Proof. Suppose ρ ≠ 0 . By applying the operator d to the dendriform algebra identities, we obtain the system of equations. β ( β − α ) = 0     and     γ ( γ − α ) = 0.

Using one by one approach, there are determined the various values of ( ρ , τ , σ ) : ( ρ , ρ , ρ ) , ( ρ , ρ ,0 ) , ( ρ ,0, ρ )   and   ( ρ ,0,0 ) .

Considering the circumstance that Der ( ρ , τ , σ ) ( E ) = Der ( 1, τ / ρ , σ ) ( E ) .

In 1 - 4, we obtain the necessary inequality.

Let equal ρ = 0 now. Then, we possess ( 0, τ , τ ) ,   ( 0, τ ,0 )     if   τ ≠ 0 , and ( 0,0, σ )     if   τ = 0.

Thus, we obtain Der ( 0, τ , σ ) ( E ) = Der ( 0,1, σ / τ ) ( E )     if   τ ≠ 0 , and Der ( 0,0, σ ) ( E ) = Der ( 0,0,1 ) ( E )     if   τ = 0     and     τ ≠ 0.

If σ equals zero. Then, Der ( 0,0,0 ) ( E ) = E n d E .

Lemma 3.2. Let E be dendriform algebra and d 1 , d 2 be ( ρ , τ , σ ) -derivation on E . Then, [ d 1 , d 2 ] = d 1 ∘ d 2 − d 2 ∘ d 1 is a ( ρ 2 , τ 2 , σ 2 ) -derivation of E .

Proof. Consider the two equations shown below:

α d 1 ( a ⋆ b ) = τ d 1 ( a ) ⋆ b + γ a ⋆ d 1 ( b ) (1)

and

ρ d 2 ( a ⋆ b ) = τ d 1 ( a ) ⋆ b + σ a ⋆ d 2 ( b ) . (2)

First occurrence ρ ≠ 0 .

ρ 2 [ d 1 , d 2 ] ( a ⋆ b ) = ρ 2 ( d 1 ∘ d 2 ) ( a ⋆ b ) − ρ 2 ( d 2 ∘ d 1 ) ( x ⋆ y ) = ρ d 1 ( ρ d 2 ( a ⋆ b ) ) − ρ d 2 ( ρ d 1 ( a ⋆ b ) ) = ρ d 1 ( τ d 2 ( a ) ⋆ b + σ a ⋆ d 2 ( b ) )     − ρ d 2 ( β d 1 ( a ) ⋆ b + σ a ⋆ d 1 ( b ) ) = τ ( ρ d 1 ( d 2 ( a ) ⋆ b ) ) + σ ( ρ d 1 ( a d 2 ( b ) ) )     − τ ( ρ d 2 ( d 1 ( a ) ⋆ b ) + σ ρ d 2 ( x ⋆ d 1 ( b ) ) ) .

Eventually we get;

ρ 2 [ d 1 , d 2 ] ( a ⋆ b ) = τ 2 [ d 1 , d 2 ] ( a ) ⋆ b + σ 2 a ⋆ [ d 1 , d 2 ] ( b ) . (3)

Case two for ρ = 0 . Then, from the Equations (1) and (2) we get;

τ d 1 ( a ) ⋆ b = − σ a ⋆ d 1 b , (4)

τ d 2 ( a ) ⋆ b = − σ a ⋆ d 2 b . (5)

Hence,

τ 2 [ d 1 , d 2 ] ( x ⋆ y ) = τ 2 ( d 1 ∘ d 2 ) ( a ) ⋆ b − ρ 2 ( d 2 ∘ d 1 ) ( a ) ⋆ b = τ 2 ( d 1 d 2 ) ( a ) ⋆ b − τ 2 ( d 2 d 1 ) ( a ) ⋆ b = τ ( τ d 1 ( d 2 ( a ) ⋆ b − τ ( τ d 2 ( d 1 ( a ) ⋆ b .

The result of replacing the equations from (4) and (5) is

τ 2 [ d 1 , d 2 ] ( a ) ⋆ b = τ ( − σ d 2 ) ( a ) d 1 ( b ) + τ ( σ d 1 ) ( a ) d 2 b = − σ ( τ d 2 ( x ) d 1 ( b ) + σ ( τ d 1 ( a ) d 2 ( b ) .

Again, we obtain because of (4) and (5):

σ 2 a ⋆ d 2 ( d 1 ( b ) ) − σ 2 x ⋆ d 1 ( d 2 ( y ) ) = σ 2 a [ d 2 ( d 1 ( b ) ) − d 1 ( d 2 ( b ) ) ] = σ 2 a ⋆ [ d 1 , d 2 ] ( b ) .

Remark 3.1. In any ρ , τ , σ ∈ F the dimension of the vector space Der ( ρ , τ , σ ) E is an isomorphism invariant of dendriform algebras.

This section provides a discussion of the generalized derivation of two-dimensional complex dendriform algebras. A matrix representation of the element d i j of the generalized derivation it transforms the vector space linearly E i.e d ( e i ) = ∑ j = 1 n     d j i e j , i = 1,2, ⋯ , n . The entries in the generalized derivation according to its definition, η i j , i , j = 1 , 2 , ⋯ , n , of the matrix [ d i j ] i , j = 1 , 2 , ⋯ , n must satisfy the following systems of equations:

∑ t = 1 n ( ρ σ i j t d s t − τ d t i σ t j s − σ d t j σ i t s ) = 0

∀ i , j , s = 1 , 2 , ⋯ , n

∑ l = 1 n ( ρ δ s t l d m l − τ d l s δ l t m − σ d l t δ s l m ) = 0

∀ s , t , m = 1 , 2 , 3 , ⋯ , n .

Let’s use this strategy to determine the generalized derivations of complex dendriform algebras of dimension two [14] (Table 1).

This study enabled us to calculate the generalized derivation of two-dimensional dendriform algebras and determine the dimension of the generalized derivation for each representative class, ranging from 0 to 2.

We would like to express our appreciation to the referees for their valuable comments and suggestions. Additionally, we acknowledge the generous financial support from the Public Authority for Applied Education and Training for funding this research (Project No. BE-23-01).

The author declares no conflicts of interest regarding the publication of this paper.

Alkhezi, Y.A. (2023) (ρ, τ, σ)-Derivations of Dendriform Algebras. Applied Mathematics, 14, 839-846. https://doi.org/10.4236/am.2023.1412048