---
title: Dendriform-Yamaguti Algebras
url: https://www.emergentmind.com/topics/dendriform-yamaguti-algebras
type: topic
---

# Dendriform-Yamaguti Algebras

Dendriform–Yamaguti algebras are split, Loday-type refinements of associative–Yamaguti algebras. They are defined on a vector space \(D\) by two bilinear operations \(\prec,\succ\) and six trilinear operations, organized into three directional components for each of two ternary families, subject to a large system of compatibility identities. Their basic structural role is that of a splitting object: when the binary operations are summed to a total product and the ternary operations are summed sectorwise, one recovers an associative–Yamaguti algebra; from there, a canonical skew-symmetrization yields a Lie–Yamaguti algebra. In operadic terms, a dendriform–Yamaguti algebra is a Yamaguti multiplication on the dendriform operad, and in Rota–Baxter terms it is equivalent to a suitable relative Rota–Baxter operator on an associative–Yamaguti algebra [2509.03648].

## 1. Position within Yamaguti-type algebraic structures

The immediate antecedent of the theory is the Lie–Yamaguti algebra, a vector space \(\mathfrak g\) with a skew-symmetric bilinear bracket \([x,y]\) and a ternary operation \(\llbracket x,y,z\rrbracket\) skew-symmetric in the first two variables, satisfying generalized Jacobi-type identities. Lie–Yamaguti algebras simultaneously generalize Lie algebras and Lie triple systems and arise from reductive decompositions and from Nomizu’s work on invariant affine connections [2509.03648].

Associative–Yamaguti algebras were introduced as the associative analogues of Lie–Yamaguti algebras. An associative–Yamaguti algebra is a quadruple
\[
(A,\cdot,\{-, -,-\},\{\!\!\{-,-,-\}\!\!\})
\]
with one bilinear product and two ternary operations satisfying \(11\) identities \((\mathrm{AY}1)\)–\((\mathrm{AY}11)\). The first identity is a generalized associativity relation,
\[
(a\cdot b)\cdot c-a\cdot(b\cdot c)+\{a,b,c\}-\{\!\!\{a,b,c\}\!\!\}=0,
\]
while the remaining identities constrain the interaction of the binary and ternary operations in an ordered, Loday-type fashion [2509.03648].

Dendriform–Yamaguti algebras occupy the next level in this hierarchy. They play for associative–Yamaguti algebras the same splitting role that dendriform algebras play for associative algebras. This placement is essential: the theory is not merely an enrichment of dendriform algebras by arbitrary ternary maps, but a structured decomposition of associative–Yamaguti data into sectorial binary and ternary pieces. A common misconception is to view the ternary operations as optional adornments; the defining identities instead make them intrinsic corrections to associativity and its higher compatibilities.

## 2. Defining operations and identity system

A dendriform–Yamaguti algebra is a tuple
\[
D=\bigl(D,\prec,\succ,\{-, -,-\}_{[1]},\{-, -,-\}_{[2]},\{-, -,-\}_{[3]},\{\!\!\{-,-,-\}\!\!\}_{[1]},\{\!\!\{-,-,-\}\!\!\}_{[2]},\{\!\!\{-,-,-\}\!\!\}_{[3]}\bigr),
\]
where \(\prec,\succ:D\otimes D\to D\) are bilinear and
\[
\{-, -,-\}_{[i]},\ \{\!\!\{-,-,-\}\!\!\}_{[i]}:D^{\otimes 3}\to D,\qquad i=1,2,3,
\]
are trilinear, satisfying the system \((\mathrm{DY}1\mathrm{A})\)–\((\mathrm{DY}11\mathrm{E})\) [2509.03648].

The sectorwise total ternary operations are
\[
\{a,b,c\}_{\mathrm{Tot}}=\{a,b,c\}_{[1]}+\{a,b,c\}_{[2]}+\{a,b,c\}_{[3]},
\]
\[
\{\!\!\{a,b,c\}\!\!\}_{\mathrm{Tot}}=\{\!\!\{a,b,c\}\!\!\}_{[1]}+\{\!\!\{a,b,c\}\!\!\}_{[2]}+\{\!\!\{a,b,c\}\!\!\}_{[3]}.
\]
The first block of identities is the dendriform splitting of generalized associativity:
\[
(a\prec b)\prec c-a\prec(b\prec c+b\succ c)+\{a,b,c\}_{[1]}-\{\!\!\{a,b,c\}\!\!\}_{[1]}=0,
\]
\[
(a\succ b)\prec c-a\succ(b\prec c)+\{a,b,c\}_{[2]}-\{\!\!\{a,b,c\}\!\!\}_{[2]}=0,
\]
\[
(a\prec b+a\succ b)\succ c-a\succ(b\succ c)+\{a,b,c\}_{[3]}-\{\!\!\{a,b,c\}\!\!\}_{[3]}=0.
\]

These formulas show how each sector \([i]\) contributes a correction term to the associativity defect of the corresponding dendriform component. The remaining blocks, \((\mathrm{DY}2)\)–\((\mathrm{DY}6)\) and \((\mathrm{DY}7)\)–\((\mathrm{DY}11)\), refine the associative–Yamaguti identities for binary–ternary compatibility and ternary associativity-type behavior. Structurally, all associative–Yamaguti identities hold componentwise after the total binary product is split into \(\prec,\succ\) and each ternary operation is split into three directional pieces [2509.03648].

This makes the theory more rigid than the notation initially suggests. The paper identifies \(58\) representation conditions corresponding exactly to the \(58\) dendriform–Yamaguti identities. A plausible shorthand is to regard the three indices \([1],[2],[3]\) as “directional sectors,” but the sector decomposition is not superficial bookkeeping: it is the mechanism by which ordered associativity data are resolved into dendriform form.

## 3. Operadic formulation and the splitting theorem

The theory is formulated systematically on nonsymmetric operads. For a vector space \(A\), the endomorphism operad is
\[
\mathrm{End}_A(n)=\mathrm{Hom}(A^{\otimes n},A),
\]
while the dendriform operad is
\[
\mathrm{Dend}_A(n)=\mathrm{Hom}(\mathbf k[C_n]\otimes A^{\otimes n},A),
\]
with \(C_n=\{[1],\dots,[n]\}\). A binary multiplication \(\pi\in \mathrm{Dend}_A(2)\) encodes
\[
a\prec b=\pi([1];a,b),\qquad a\succ b=\pi([2];a,b).
\]

Given any nonsymmetric operad \(\mathcal P\), a Yamaguti multiplication is a triple
\[
(\pi,\theta,\vartheta)\in \mathcal P(2)\times\mathcal P(3)\times\mathcal P(3)
\]
satisfying operadic analogues of the associative–Yamaguti identities, beginning with
\[
\pi\circ_1\pi-\pi\circ_2\pi+\theta-\vartheta=0.
\]
Yamaguti multiplications on \(\mathrm{End}_A\) are in bijection with associative–Yamaguti structures on \(A\) (Theorem \(6.4\)), and a dendriform–Yamaguti algebra is, by Definition \(6.6\), precisely a Yamaguti multiplication on \(\mathrm{Dend}_A\) [2509.03648].

The resulting splitting theorem is the central structural statement. If
\[
a\cdot_{\mathrm{Tot}} b:=a\prec b+a\succ b,
\]
together with the total ternary operations defined above, then
\[
D_{\mathrm{Tot}}=\bigl(D,\cdot_{\mathrm{Tot}},\{-, -,-\}_{\mathrm{Tot}},\{\!\!\{-,-,-\}\!\!\}_{\mathrm{Tot}}\bigr)
\]
is an associative–Yamaguti algebra (Theorem \(6.7\)). The proof is additive: \((\mathrm{AY}1)\) is obtained by summing \((\mathrm{DY}1\mathrm{A})+(\mathrm{DY}1\mathrm{B})+(\mathrm{DY}1\mathrm{C})\), \((\mathrm{AY}2)\) by summing \((\mathrm{DY}2\mathrm{A})\)–\((\mathrm{DY}2\mathrm{D})\), and similarly for the remaining identities [2509.03648].

This has an immediate consequence. Since any associative–Yamaguti algebra admits the canonical skew-symmetrization
\[
[a,b]=a\cdot b-b\cdot a,
\]
\[
\llbracket a,b,c\rrbracket
=\{a,b,c\}-\{b,a,c\}-\{\!\!\{c,a,b\}\!\!\}+\{\!\!\{c,b,a\}\!\!\},
\]
the total structure of a dendriform–Yamaguti algebra canonically determines a Lie–Yamaguti algebra. This implies that dendriform–Yamaguti algebras sit simultaneously in the dendriform, associative–Yamaguti, and Lie–Yamaguti layers of the same operadic passage.

## 4. Examples, subclasses, and unifying scope

Several constructions show that dendriform–Yamaguti algebras unify pre-existing binary and ternary splitting theories [2509.03648].

| Source structure | Construction | Result |
|---|---|---|
| Dendriform algebra \((D,\prec,\succ)\) | Set each \(\{\, ,\, ,\,\}_{[i]}\) and \(\{\!\!\{\, ,\, ,\,\}\!\!\}_{[i]}\) equal to the corresponding iterated sectorial product | Dendriform–Yamaguti algebra |
| Dendriform triple system | Take \(\prec=\succ=0\) | Dendriform–Yamaguti algebra with trivial binary part |
| Associative–Yamaguti algebra with relative Rota–Baxter operator | Transfer operations to a representation space via the operator | Dendriform–Yamaguti algebra |

For a dendriform algebra \((D,\prec,\succ)\), the ternary operations are defined by
\[
\{a,b,c\}_{[1]}=\{\!\!\{a,b,c\}\!\!\}_{[1]}=(a\prec b)\prec c,
\]
\[
\{a,b,c\}_{[2]}=\{\!\!\{a,b,c\}\!\!\}_{[2]}=(a\succ b)\prec c,
\]
\[
\{a,b,c\}_{[3]}=\{\!\!\{a,b,c\}\!\!\}_{[3]}=(a\prec b+a\succ b)\succ c.
\]
The total associative–Yamaguti structure is then the associativization of the dendriform algebra, with ternary operations given by iterated products. This realizes ordinary dendriform algebras as a special case of the new notion, but not the generic one: in a general dendriform–Yamaguti algebra the two ternary families are independent, constrained only by the DY-identities [2509.03648].

At the opposite extreme, dendriform triple systems appear by taking the binary operations trivial. In this limit the DY-identities collapse to the identities of dendriform triple systems. Accordingly, dendriform–Yamaguti algebras unify binary splitting only, ternary splitting only, and the full binary-plus-ternary associative–Yamaguti setting.

A nearby but distinct line of work studies dendriform D-bialgebras, quasi-triangularity, factorizability, and relative Rota–Baxter operators of nonzero weight on dendriform algebras [2507.02249]. That theory does not define dendriform–Yamaguti algebras, but it supplies a parallel dendriform environment in which three-tensor identities, doubles, and Rota–Baxter mechanisms already play a central role. This suggests that bialgebraic and factorization methods may become useful for explicit families of dendriform–Yamaguti structures.

## 5. Relative Rota–Baxter operators and reconstruction

The tightest conceptual characterization of dendriform–Yamaguti algebras is through relative Rota–Baxter operators. For an associative–Yamaguti algebra \(A\), a representation \(M\) consists of linear maps for the binary product and the two ternary products with exactly one input in \(M\), satisfying all associative–Yamaguti identities in that mixed setting; equivalently, the semidirect sum \(A\oplus M\) is again an associative–Yamaguti algebra [2509.03648].

A relative Rota–Baxter operator \(R:M\to A\) is a linear map satisfying
\[
R(u)\cdot R(v)=R\bigl(R(u)\cdot v+u\cdot R(v)\bigr),
\]
\[
\{R(u),R(v),R(w)\}
=
R\Bigl(
\{R(u),R(v),w\}
+\{R(u),v,R(w)\}
+\{u,R(v),R(w)\}
\Bigr),
\]
\[
\{\!\!\{R(u),R(v),R(w)\}\!\!\}
=
R\Bigl(
\{\!\!\{R(u),R(v),w\}\!\!\}
+\{\!\!\{R(u),v,R(w)\}\!\!\}
+\{\!\!\{u,R(v),R(w)\}\!\!\}
\Bigr).
\]
It is characterized equivalently by the condition that its graph
\[
\mathrm{Gr}(R)=\{(R(u),u)\mid u\in M\}\subset A\oplus M
\]
is a subalgebra of the semidirect associative–Yamaguti algebra.

From such an operator one defines
\[
u\prec v:=u\cdot R(v),\qquad u\succ v:=R(u)\cdot v,
\]
\[
\{u,v,w\}_{[1]}:=\{u,R(v),R(w)\},\quad
\{u,v,w\}_{[2]}:=\{R(u),v,R(w)\},\quad
\{u,v,w\}_{[3]}:=\{R(u),R(v),w\},
\]
and similarly for \(\{\!\!\{-,-,-\}\!\!\}_{[i]}\). Theorem \(6.9\) states that these operations make \(M\) into a dendriform–Yamaguti algebra. Conversely, given a dendriform–Yamaguti algebra \(D\), one constructs a representation of its total associative–Yamaguti algebra \(D_{\mathrm{Tot}}\) on the same underlying space, and Theorem \(6.10\) shows that the identity map
\[
\mathrm{Id}:D\to D_{\mathrm{Tot}}
\]
is a relative Rota–Baxter operator whose induced dendriform–Yamaguti structure is the original one [2509.03648].

Together, Theorems \(6.9\) and \(6.10\) establish a bijection between dendriform–Yamaguti structures and suitable relative Rota–Baxter operators. This is more than a construction device. It identifies dendriform–Yamaguti algebras as the Rota–Baxter splittings of associative–Yamaguti algebras, exactly paralleling the classical relation between associative algebras, dendriform algebras, and \(\mathcal O\)-operators.

## 6. Cohomology, deformation theory, and broader structural directions

The cohomological theory developed directly in the associative–Yamaguti setting is a \((2,3)\)-cohomology with cochains \((\mu,F,G)\), where
\[
\mu:A^{\otimes 2}\to M,\qquad F,G:A^{\otimes 3}\to M.
\]
Its cocycle conditions are precisely those needed for the twisted semidirect product to remain an associative–Yamaguti algebra. Formal one-parameter deformations
\[
\mu_t=\cdot+t\mu_1+t^2\mu_2+\cdots,\qquad
F_t=\{,,\}+tF_1+\cdots,\qquad
G_t=\{\!\!\{,,\}\!\!\}+tG_1+\cdots
\]
have infinitesimal term \((\mu_1,F_1,G_1)\) a \((2,3)\)-cocycle in the adjoint representation, while abelian extensions satisfy
\[
\mathrm{Ext}(A,M)\cong \mathcal H^{(2,3)}(A,M)
\]
(Theorems \(5.1\) and \(5.4\)) [2509.03648].

No separate cohomology theory for dendriform–Yamaguti algebras is explicitly developed there. Two points are nevertheless recorded. First, deformations and extensions of associative–Yamaguti algebras often lift to deformations of dendriform–Yamaguti splittings via the correspondence with relative Rota–Baxter operators. Second, the splitting philosophy and the operadic setup suggest that a dendriform–Yamaguti cohomology should refine associative–Yamaguti cohomology, analogously to the relation between dendriform and Hochschild theories. These are prospective rather than completed results.

A further structural direction comes from Lie–Yamaguti symmetry theory. The universal coacting bialgebra and universal coacting Hopf algebra of a finite-dimensional Lie–Yamaguti algebra have been constructed, together with applications to automorphism groups and abelian group gradings [2506.01328]. Since every dendriform–Yamaguti algebra canonically determines an underlying Lie–Yamaguti algebra through its total associative–Yamaguti structure and skew-symmetrization, this suggests that any future universal coacting Hopf algebra for dendriform–Yamaguti algebras should factor through the corresponding Lie–Yamaguti universal object, with additional relations expressing preservation of the split operations.

Taken together, these results place dendriform–Yamaguti algebras at the intersection of associative, diassociative, dendriform, triple-system, Lie–Yamaguti, and Rota–Baxter theories. Their defining content is the controlled splitting of associative–Yamaguti operations; their principal characterization is operadic and Rota–Baxter-theoretic; and their most immediate open directions concern refined cohomology, deformation theory, and symmetry objects adapted to the split rather than merely total structure.

Source: https://www.emergentmind.com/topics/dendriform-yamaguti-algebras