Hom 关联代数、可接纳性和相对平均算子

S. Braiek¹ ¹¹1 E-mail: safabraiek25@gmail.com, T. Chtioui² ²²2 E-mail: chtioui.taoufik@yahoo.fr, M. Elhamdadi³ ³³3 E-mail: emohamed@math.usf.edu (Corresponding author) and S. Mabrouk⁴ ⁴⁴4 E-mail: mabrouksami00@yahoo.fr

(¹ 斯法克斯大学理学院，BP 1171, 3000 Sfax, 突尼斯。

² 加贝斯大学，Gabes 科学学院，City Riadh 6072 Zrig, Gabes, 突尼斯

³ 南佛罗里达大学数学系， Tampa, FL 33620, U.S.A.

⁴ 加夫萨大学理学院，BP 2100，加夫萨，突尼斯。 )

摘要

我们引入了具有表示的 Hom 关联代数上的相对平均算子的概念。相对平均算子是关联代数上相对平均算子的扭曲概括。我们通过图和 Nijenhuis 算子给出了 Hom 关联代数的相对平均算子的两个特征。 Hom 结合代数相对于给定表示的（同态）相对平均算子产生 Hom 结合（三）双代数。通过可取性，可以从 Hom-结合（三）双代数得到 Hom-Jordan（三）双代数和 Hom-（三）莱布尼兹代数。

关键字： Hom-结合 (di)(tri) 代数、Hom-Lie 代数、Hom-Jordan (di)(tri) 代数、Hom-(tri)Leibniz 代数、相对平均算子。

MSC(2020)：17B61、17B60、17C10、17A32。

1简介

定义结构的恒等式被同态扭曲的代数称为 Hom 代数。最近文献对它们进行了深入研究。 Hom-代数理论始于[13, 18]中介绍和讨论的Hom-Lie代数，其动机是矢量场李代数的拟变形，特别是Witt和Virasoro的q-变形代数。 Hom-结合代数在[23]中引入，Hom-Jordan代数在[21, 34]中引入，作为Jordan代数的扭曲推广。

平均算子的概念最早是由 O. Reynolds 于 1895 年在 [31] 中隐式考虑的。他的描述是根据流体动力学湍流理论中出现的幂等雷诺算子给出的。 1930 年，Kampé de Fériet 在湍流理论和泛函分析的背景下给出了平均算子的明确描述[14]。令 $A$ 为关联代数。线性映射 $P:A\rightarrow A$ 被称为代数 $A$ 上的平均运算符，如果

\displaystyle P(a)P(b)=P(P(a)b)=P(aP(b)),\text{ for }a,b\in A.

配备有特殊平均算子的结合代数 $A$ 称为平均代数。上个世纪，平均算子和平均代数主要研究在空间[4,15,12,24,25]上的函数代数中。在代数背景下，B. Brainerd [6] 首先研究了平均算子可以实现为实值可测函数环上积分算子的推广的条件。 W. Cao [7]在他的博士论文中从代数和组合的角度考虑了平均算子。其中，他描述了由平均算子导出的李代数和莱布尼兹代数，并构造了自由交换平均代数。 [2, 27, 28] 中明确给出了任何二元操作数上的平均算子的进一步代数研究及其与双后继算子、复制算子和 Rota-Baxter 算子的关系。最近，J.Pei 和 L.Guo[29] 使用一类括号内的词构造了自由（结合）平均代数，称为平均词（另见[8, 10])。值得一提的是，平均算子也以嵌入张量的名义出现在李代数的背景下。它们与莱布尼茨代数、张量层次和高规范理论有着密切的联系[5,19,33,32]。

嵌入张量（相对平均算子）的概念[26]可以追溯到规范超引力理论的研究。利用嵌入张量构建了 $N=8$ 超对称规范理论，并研究了[3]中多个 $M2$ 膜的Bagger-Lambert理论。嵌入张量还用于研究最大 $9$ 维超重力[11]的变形。最近，这个话题备受数学物理界的关注[17, 19]。

我们的主要目标是引入具有表示的 Hom 关联代数的相对平均算子的概念。这些是关联代数上相对平均算子的扭曲概括。我们通过图和 Nijenhuis 算子给出了 Hom 关联代数平均算子的两个特征。 Hom-关联代数关于给定表示的（同态）相对平均算子产生 Hom-关联（三）双代数，并且根据可允许性，Hom-Jordan（三）双代数和 Hom-（三）莱布尼兹代数可以是通过 Hom 结合（三）双代数获得。

本文的组织如下，在第2节中，我们回顾了Hom结合、Hom-Lie、Hom-Leibniz和Hom-Jordan代数及其表示和Hom结合双代数的一些已知结果和定义。 3节致力于研究关于合适的双模的Hom结合、Hom-Lie和Hom-Jordan代数的相对平均算子的概念。我们通过图和 Nijenhuis 算子给出了相对平均算子的表征。我们研究 Hom- $\Omega$ 代数上的相对平均算子以获得 Hom-di- $\Omega$ 代数并提出一些基本观察结果。在第4节中，我们引入了Hom- $\Omega$ 代数上同态相对平均算子的概念，它允许我们将乘法复制为三个相同性质的乘法。

所有向量空间、线性和多线性映射、未修饰的张量积和楔积都位于特征 $0$ 的域 $\mathbb{K}$ 上。

2 Hom结合代数及一些相关结构回顾

在本节中，我们回顾 Hom 结合代数、Hom-Lie、Hom-Leibniz 和 Hom-Jordan 代数的一些已知结果和定义以及它们的表示和 Hom 结合双代数。更多详情，请参阅[13,18,21,23,34]。

Definition 2.1。

Hom 结合代数是由向量空间 $A$ 以及二元运算 $\cdot:A\otimes A\to A$ 和线性映射 $\alpha:A\to A$ 组成的三元组 $(A,\cdot,\alpha)$ 满足，对于任何 $x,y,z\in A$ ，

(x,y,z)_{\alpha}\equiv(x\cdot y)\cdot\alpha(z)-\alpha(x)\cdot(y\cdot z)=0.

如果 $\alpha=id$ ，我们就恢复了经典的结合代数。

如果扭曲映射 $\alpha$ 保留运算，则 Hom 结合代数称为乘法。因此，在本文中，所有 Hom 代数都被认为是乘性的。令 $(A_{1},\cdot_{1},\alpha_{1})$ 和 $(A_{2},\cdot_{2},\alpha_{2})$ 为两个 Hom 结合代数。线性映射 $\phi:A_{1}\rightarrow A_{2}$ 是 Hom 结合代数的态射，如果

\phi\circ\alpha_{1}=\alpha_{2}\circ\phi\ \ \ \ \text{and}\ \ \ \ \phi(x\cdot_{1}y)=\phi(x)\cdot_{2}\phi(y),\ \forall\ x,y\in A.

Definition 2.2。

向量空间 $V$ 上 Hom 关联代数 $(A,\cdot,\alpha)$ 的双模（或表示）由一个线性映射 $\beta\in End(V)$ 和两个线性映射 $l,r:A\rightarrow End(V)$ 这样

	$\displaystyle\beta l(x)=l(\alpha(x))\beta,\quad\beta r(x)=$	$\displaystyle r(\alpha(x))\beta,$		(2.1)
	$\displaystyle l(x\cdot y)\beta=l(\alpha(x))l(y),\quad r(x\cdot y)\beta=$	$\displaystyle r(\alpha(y))r(x),\quad l(\alpha(x))r(y)=r(\alpha(y))l(x)$		(2.2)

对于任何 $x,y\in A.$ 具有表示 $(V,l,r,\beta)$ 的本关联代数 $(A,\cdot,\alpha)$ 称为 HAss-Rep 对，并用对 $(A,V)$ 来引用它。

设 $(A,\cdot_{A},\alpha_{A})$ 和 $(B,\cdot_{B},\alpha_{B})$ 是两个Hom结合代数。如果有两个 $\mathbb{K}$ 线性映射 $l,r:A\to End(B)$ 使得 $(B,l,r,\alpha_{B})$ ，我们会说 $A$ 作用于 $B$ 是 $A$ 的双模，对于任何 $x\in A$ 和 $b,b^{\prime}\in B$ 我们有

		$\displaystyle l(\alpha_{A}(x))(b\cdot_{B}b^{\prime})=(l(x)b)\cdot_{B}(\alpha_{B}(b^{\prime})),\quad r(\alpha_{A}(x))(b\cdot_{B}b^{\prime})=\alpha_{B}(b)\cdot_{B}(r(x)b^{\prime})),\quad$
		$\displaystyle\alpha_{B}(b)\cdot_{B}(l(x)b^{\prime})=(r(x)b)\cdot_{B}(\alpha_{B}(b^{\prime})).$		(2.3)

$A$ 对 $B$ 的动作由 $(B,l,r,\alpha_{B},\cdot_{B})$ 表示。 HAss-Act 对是一个具有动作 $(B,l,r,\alpha_{B},\cdot_{B})$ 的 Hom 关联代数 $(A,\cdot,\alpha)$ ，并通过对 $(A,B)$ 引用它。

Lemma 2.3。

请注意，元组 $(B,l,r,\alpha_{B},\cdot_{B})$ 是 Hom 关联代数 $(A,\cdot_{A},\alpha_{A})$ 的一个动作，当且仅当 $A\oplus V$ 带有一个 Hom 关联结构，且给定的乘积和扭曲映射经过

	$\displaystyle(x+u)\cdot_{A\oplus B}(y+v)=x\cdot_{A}y+l(x)v+r(y)u+u\cdot_{B}v,$
	$\displaystyle(\alpha_{A}+\alpha_{B})(x+u)=\alpha_{A}(x)+\alpha_{B}(u)$

对于所有 $x,y\in A$ 和 $u,v\in B,$ ，称为 $A$ 与 $B$ 的半直积。

下面，我们回顾一下 Hom-Jordan 和 Hom-Lie 代数的概念。这两个变体与 Hom 结合代数密切相关（更多详细信息，请参见[23]和[21])。事实上，令 $(A,\cdot,\alpha)$ 为 Hom 结合代数。定义代数 $A^{-}:=(A,[\cdot,\cdot],\alpha)$ 和 $A^{+}:=(A,\circ,\alpha)$ ，其中

	$\displaystyle[x,y]=x\cdot y-y\cdot x\ (\text{commutator})$
	$\displaystyle x\circ y=x\cdot y+y\cdot x\ (\text{anti-commutator})$

Theorem 2.4.

在以下符号下， $A^{+}$ 是 Hom-Jordan 代数， $A^{-}$ 是 Hom-Lie 代数。换句话说，Hom 结合代数是 Hom-Jordan 可接受的和 Hom-Lie 可接受的。

我们的目标是将这些关系扩展到双代数和三代数设置的水平。

Definition 2.5。

Hom-Jordan 代数是由向量空间 $A$ 和两个线性映射 $\alpha:A\to A$ 和 $\circ:A\otimes A\to A$ 组成的三元组 $(A,\circ,\alpha)$ ，这样，对于任何 $x,y\in A$

	$\displaystyle x\circ y=$	$\displaystyle y\circ x,$		(2.4)
	$\displaystyle\alpha(x^{2})\circ(\alpha(y)\circ\alpha(x))=$	$\displaystyle(x^{2}\circ\alpha(y))\circ\alpha^{2}(x).$		(2.5)

Definition 2.6。

Hom-Jordan 代数 $(A,\circ,\alpha)$ 在向量空间 $V$ 上相对于 $\beta\in gl(V)$ 的表示（或模块）是线性映射 $\pi:A\to gl(V)$ 使得对于任何 $x,y,z\in A$

	$\displaystyle\beta\pi(x)=\pi(\alpha(x))\beta,$	(2.6)
	$\displaystyle\pi(\alpha^{2}(x))\pi(y\circ z)\beta+\pi(\alpha^{2}(y))\pi(z\circ x)\beta+\pi(\alpha^{2}(z))\pi(x\circ y)\beta$
$\displaystyle=$	$\displaystyle\pi(\alpha(x)\circ\alpha(y))\pi(\alpha(z))\beta+\pi(\alpha(y)\circ\alpha(z))\pi(\alpha(x))\beta+\pi(\alpha(z)\circ\alpha(x))\pi(\alpha(y))\beta,$	(2.7)
	$\displaystyle\pi((x\circ y)\circ\alpha(z))\beta^{2}+\pi(\alpha^{2}(x))\pi(\alpha(z))\pi(y)+\pi(\alpha^{2}(y))\pi(\alpha(z))\pi(x)$
$\displaystyle=$	$\displaystyle\pi(\alpha(x)\circ\alpha(y))\pi(\alpha(z))\beta+\pi(\alpha(y)\circ\alpha(z))\pi(\alpha(x))\beta+\pi(\alpha(x)\circ\alpha(z))\pi(\alpha(y))\beta.$	(2.8)

具有表示 $(V,\pi,\beta)$ 的 Hom-Jordan 代数 $(A,\circ,\alpha)$ 称为 HJor-Rep 对，并用对 $(A,V)$ 来引用它。

Definition 2.7。

Hom-Lie 代数是由向量空间 $A$ 和两个线性映射 $\alpha:A\to A$ 和 $[\cdot,\cdot]:A\wedge A\to A$ 组成的三元组 $(A,[\cdot,\cdot],\alpha)$ ，这样，对于任何 $x,y,z\in A$

\displaystyle[\alpha(x),[y,z]]+[\alpha(y),[z,x]]+[\alpha(z),[x,y]]=0,\quad\textrm{(Hom-Jacobi identity)}.

(2.9)

Definition 2.8。

向量空间 $V$ 上的 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ 的表示（或模块）相对于 $\beta\in gl(V)$ 是线性映射 $\rho:A\to gl(V)$ ，这样对于所有 $x,y\in A$ ，满足以下身份：

	$\displaystyle\rho(\alpha(x))\beta=$	$\displaystyle\beta\rho(x),$		(2.10)
	$\displaystyle\rho([x,y])\beta=$	$\displaystyle\rho(\alpha(x))\rho(y)-\rho(\alpha(y))\rho(x).$		(2.11)

具有表示 $(V,\rho,\beta)$ 的 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ 称为 HLie-Rep 对，并用对 $(A,V)$ 来引用它。令 $(A,[\cdot,\cdot]_{A},\alpha_{A})$ 和 $(B,[\cdot,\cdot]_{B},\alpha_{B})$ 为两个 Hom-Lie 代数。如果存在一个线性映射 $\rho:A\to End(B)$ ，使得 $(B,\rho,\alpha_{B})$ 是 $A$ 的一个模块，并且对于任意 $x\in A$ 和 $u,v\in B$ ，我们可以说 $A$ 作用于 $B$ ，那么

\rho(\alpha_{A}(x))[u,v]_{B}=[\rho(x)u,\alpha_{B}(v)]_{B}+[\alpha_{B}(u),\rho(x)v]_{B}.

(2.12)

HLie-Act 对是具有动作 $(B,\rho,\alpha_{B},[\cdot,\cdot]_{B})$ 的 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ ，并通过对 $(A,B)$ 引用它。

Lemma 2.9.

元组 $(B,\rho,\alpha_{B},[\cdot,\cdot]_{B})$ 是 Hom-Lie 代数 $(A,\alpha_{A},[\cdot,\cdot]_{A})$ 的一个动作，当且仅当 $A\oplus B$ 带有一个带有括号和扭曲映射的 Hom-Lie 结构，由下式给出：

	$\displaystyle[x+u,y+v]_{A\oplus B}=[x,y]_{A}+\rho(x)v-\rho(y)u+[u,v]_{B},$
	$\displaystyle(\alpha_{A}+\alpha_{B})(x+u)=\alpha_{A}(x)+\alpha_{B}(u)$

对于所有 $x,y\in A$ 和 $u,v\in B,$ ，称为 $A$ 与 $B$ 的半直积。

Definition 2.10。

Hom-Leibniz 代数是由向量空间 $A$ 组成的元组 $(A,\{\cdot,\cdot\},\alpha)$ ，该向量空间具有两个线性映射 $\alpha:A\to A$ 和 $\{\cdot,\cdot\}:A\otimes A\to A$ ，使得对于任何 $x,y,z\in A$

\displaystyle\{\alpha(x),\{y,z\}\}=\{\{x,y\},\alpha(z)\}+\{\alpha(y),\{x,z\}\},\quad\textrm{(Hom-Leibniz identity).}

(2.13)

Hom-双代数是一个向量空间 $A$ ，具有两个双线性运算 $\vdash,\dashv:A\times A\to A$ （称为左乘和右乘）和一个线性映射 $\alpha:A\to A$ 。另一方面，Hom- $0$ -双代数是满足左右条恒等式的 Hom-双代数 $(A,\vdash,\dashv,\alpha)$ ：

\displaystyle(x\dashv y)\vdash\alpha(z)=(x\vdash y)\vdash\alpha(z),\qquad\alpha(x)\dashv(y\dashv z)=\alpha(x)\dashv(y\vdash z).

(2.14)

令 $(A,\vdash,\dashv,\alpha)$ 为 Hom- $0$ -双代数。定义左、右和内 Hom 关联器如下

	$\displaystyle(x,y,z)^{\alpha}_{\dashv}=(x\dashv y)\dashv\alpha(z)-\alpha(x)\dashv(y\dashv z),$
	$\displaystyle(x,y,z)^{\alpha}_{\vdash}=(x\vdash y)\vdash\alpha(z)-\alpha(x)\vdash(y\vdash z),$
	$\displaystyle(x,y,z)^{\alpha}_{\times}=(x\vdash y)\dashv\alpha(z)-\alpha(x)\vdash(y\dashv z).$

此外，为所有 $x,y\in A,$ 定义二换子：

\displaystyle\{x,y\}=x\vdash y-y\dashv x,

(2.15)

和反换向器

\displaystyle x\bullet y=x\vdash y+y\dashv x.

(2.16)

Definition 2.11。

Hom 结合双代数（也称为 Hom 不结合代数）是满足左、右和内 Hom 结合性的 Hom- $0$ -双代数 $(A,\vdash,\dashv,\alpha)$ （对于所有 $x,y,z\in A$ ):

\displaystyle(x,y,z)^{\alpha}_{\dashv}=0,\quad(x,y,z)^{\alpha}_{\vdash}=0,\quad(x,y,z)^{\alpha}_{\times}=0.

(2.17)

令 $(A,\vdash,\dashv,\alpha)$ 和 $(A^{\prime},\vdash^{\prime},\dashv^{\prime},\alpha^{\prime})$ 为两个Hom结合双代数。从 $A$ 到 $A^{\prime}$ 的 Hom 结合双代数态射是一个线性映射 $\phi:A\to A^{\prime}$ 满足

\phi\alpha=\alpha^{\prime}\phi,\quad\phi(x\vdash y)=\phi(x)\vdash^{\prime}\phi(y),\quad\phi(x\dashv y)=\phi(x)\dashv^{\prime}\phi(y).

Examples 2.12.

我们举出以下例子：

1.

如果 $(A,\cdot,\alpha)$ 是Hom结合代数，则公式 $x\dashv y=x\cdot y=x\vdash y$ 定义Hom结合双代数的结构于 $A$ 。
2.

设 $(A,\cdot,\alpha)$ 为 Hom 结合代数， $d:A\to A$ 为微分（即 $d(x\cdot y)=d(x)\cdot y+x\cdot d(y)$ 和 $d^{2}=0$ )。通过公式0>定义 $A$ 上的左右乘积

$x\dashv y:=x\cdot d(y),\quad x\vdash y:=d(x)\cdot y.$

立即检查 $A$ 配备这两个产品的是Hom结合双代数。
3.

令 $(A,\cdot,\alpha)$ 为 Hom 结合代数，令 $(V,l,r,\beta)$ 为 $A$ -双模块。令 $f:V\to A$ 为 $A$ -bimodule 映射，即0>

$f(l(x)u)=x\cdot f(u)\quad\text{and}\quad f(r(x)u)=f(u)\cdot x,\quad\forall\ x\in A,u\in V.$

然后可以在 $V$ 上放置一个双代数结构如下：

$u\dashv u^{\prime}:=r(f(u^{\prime}))u,\quad u\vdash u^{\prime}:=l(f(u))u^{\prime}.$
4.

让 $(A,\vdash,\dashv,\alpha)$ 是一个 Hom 结合双代数。然后是操作 $x\dashv^{\prime}y=y\vdash x$ 和 $x\vdash^{\prime}y=y\dashv x$ 在 $A$ 上定义了一个新的Hom结合双代数结构。

Proposition 2.13.

如果 $(A,\vdash,\dashv,\alpha)$ 是Hom结合双代数，则 $(A,\{\cdot,\cdot\},\alpha)$ 是Hom-Leibniz代数。

下面，我们回顾一下乔丹双代数和乔丹三代数的概念，它们是通过复制乔丹代数和三次复制乔丹代数而得到的。 [16] 中研究了此类代数。请注意，乔丹双代数也称为莱布尼茨-乔丹代数，因为它与乔丹代数的关系就像莱布尼茨代数与李代数的关系一样。

Definition 2.14。

（左）若尔代数是一个向量空间 $A$ ，配备了二元运算 $\bullet$ 满足

$\displaystyle(x\bullet y)\bullet z=$	$\displaystyle(y\bullet x)\bullet z,$	(2.18)
$\displaystyle(x^{2},y,z)=$	$\displaystyle 2(x,y,x\bullet z),$	(2.19)
$\displaystyle x\bullet(x^{2}\bullet y)=$	$\displaystyle x^{2}\bullet(x\bullet y),$	(2.20)

对于任何 $x,y,z\in A$ ，其中 $x^{2}=x\bullet x$ 和 $(x,y,z)=(x\bullet y)\bullet z-x\bullet(y\bullet z)$ 。

这些方程等价于以下多项式恒等式：

		$\displaystyle(x_{1}\bullet x_{2})\bullet x_{3}=(x_{2}\bullet x_{1})\bullet x_{3},$
		$\displaystyle((x_{4}\bullet x_{3})\bullet x_{2})\bullet x_{1}+x_{4}\bullet(x_{2}\bullet(x_{3}\bullet x_{1}))+x_{3}\bullet(x_{2}\bullet(x_{4}\bullet x_{1}))$
	$\displaystyle=$	$\displaystyle(x_{4}\bullet x_{3})\bullet(x_{2}\bullet x_{1})+(x_{4}\bullet x_{2})\bullet(x_{3}\bullet x_{1})+(x_{3}\bullet x_{2})\bullet(x_{4}\bullet x_{1}),$
		$\displaystyle x_{1}\bullet((x_{4}\bullet x_{3})\bullet x_{2})+x_{4}\bullet((x_{3}\bullet x_{1})\bullet x_{2})+x_{3}\bullet((x_{4}\bullet x_{1})\bullet x_{2})$
	$\displaystyle=$	$\displaystyle(x_{4}\bullet x_{3})\bullet(x_{1}\bullet x_{2})+(x_{1}\bullet x_{3})\bullet(x_{4}\bullet x_{2})+(x_{4}\bullet x_{1})\bullet(x_{3}\bullet x_{2}).$

3 通过相对平均运算符进行重复

令 $\Omega$ 为 $\mathbb{K}$ 上的各种代数，并用 $\mu$ 表示单个双线性运算。在本节中，我们研究 Hom- $\Omega$ 代数上的相对平均算子以获得 Hom-di- $\Omega$ 代数，并提出一些基本观察结果。特别是，我们将处理 Hom-Lie、Hom-结合代数和 Hom-Jordan 代数的情况。我们将分别对待每个案例。令 $(A,\mu,\alpha)$ 为 Hom- $\Omega$ 代数， $T:A\to A$ 为线性映射。那么如果 $T$ 满足以下条件，则称为平均算子：

	$\displaystyle T\alpha=\alpha T,$		(3.1)
	$\displaystyle T(\mu(T(x),y))=\mu(T(x),T(y))=T(\mu(x,T(y))),\ \forall x,y\in A.$		(3.2)

Nijenhuis 算子的概念在我们的研究中起着至关重要的作用。回想一下，如果对于所有 $x,y\in A,$ ，线性映射 $N:A\rightarrow A$ 被称为 Hom- $\Omega$ 代数 $A$ 上的 Nijenhuis 算子

	$\displaystyle N\alpha=\alpha N,$
	$\displaystyle\mu(N(x),N(y))=N\big{(}\mu(N(x),y)~{}+~{}\mu(x,N(y))-N\mu(x,y)\big{)}.$

3.1 Hom 联想案例

接下来，我们介绍关于双模的 Hom 关联代数上的相对平均算子的概念。令 $(A,V)$ 为定义 2.2 中定义的 HAss-Rep 对。

Definition 3.1。

线性映射 $\mathcal{K}:V\to A$ 称为

1.

左相对平均运算符 $A$ 相对于 $(V,l,r,\beta)$ if

$\displaystyle\mathcal{K}\beta=\alpha\mathcal{K}\quad\text{and}\quad\mathcal{K}(u)\cdot\mathcal{K}(v)=\mathcal{K}(l(\mathcal{K}(u))v),\ \forall\ u,v\in V.$ (3.3)
2.

$A$ 上的右相对平均运算符相对于 $(V,l,r,\beta)$ if

$\displaystyle\mathcal{K}\beta=\alpha\mathcal{K}\quad\text{and}\quad\mathcal{K}(u)\cdot\mathcal{K}(v)=\mathcal{K}(r(\mathcal{K}(v))u),\ \forall\ u,v\in V.$ (3.4)
3.

相对于 $A$ 相对于 $(V,l,r,\beta)$ 的平均运算符如果它是左相对平均算子和右相对平均算子。

我们举出以下例子：

Example 3.2。

令 $(A,\cdot,\alpha)$ 为 Hom 结合代数。然后张量积 $A\otimes A$ 可以配备一个 $A$ -双模块结构 $(l,r,\beta)$ ，其左右 $A$ -动作分别由下式给出

	$\displaystyle l(x)(a\otimes b)=x\cdot a\otimes b,\quad r(x)(a\otimes b)=a\otimes b\cdot x~{}~{}~{}\text{ and }~{}~{}~{}\beta(a\otimes b)=\alpha(a)\otimes\alpha(b),$
	$\displaystyle\text{ for }a\otimes b\in A\otimes A,\ x\in A.$

考虑 $\mathcal{K}(a\otimes b)=a\cdot b$ 为 $a\otimes b\in A\otimes A$ 提供的地图 $\mathcal{K}:A\otimes A\rightarrow A$ 。对于任何 $a\otimes b,~{}a^{\prime}\otimes b^{\prime}\in A\otimes A$ ，我们有

\displaystyle\mathcal{K}(a\otimes b)\cdot\mathcal{K}(a^{\prime}\otimes b^{\prime})=a\cdot b\cdot a^{\prime}\cdot b^{\prime}=\begin{cases}=\mathcal{K}\big{(}a\cdot b\cdot a^{\prime}\otimes b^{\prime}\big{)}=\mathcal{K}\big{(}l(\mathcal{K}(a\otimes b))(a^{\prime}\otimes b^{\prime})\big{)},\\ =\mathcal{K}\big{(}a\otimes b\cdot a^{\prime}\cdot b^{\prime}\big{)}=\mathcal{K}\big{(}r(\mathcal{K}(a^{\prime}\otimes b^{\prime}))(a\otimes b)\big{)}.\end{cases}

这表明 $\mathcal{K}:A\otimes A\rightarrow A$ 是一个相对平均运算符。

Example 3.3。

令 $(A,\cdot,\alpha)$ 为 Hom 结合代数。那么空间 $B=\underbrace{A\oplus\cdots\oplus A}_{n\text{ copies}}$ 是一个 $A$ 双模，其中左边（分别是。 right) $A$ - 动作按组件向左给出（resp. 右）乘法映射和态射 $\beta$ 由下式给出

\beta(a_{1},\ldots,a_{n})=(\alpha(a_{1}),\ldots,\alpha(a_{n})).

然后就很容易看到地图了

\displaystyle\mathcal{K}:B\rightarrow A,~{}~{}\mathcal{K}\big{(}(a_{1},\ldots,a_{n})\big{)}=a_{1}+\cdots+a_{n},\text{ for }(a_{1},\ldots,a_{n})\in B

是相对平均算子。

Example 3.4。

令 $(A,V)$ 为 HAss-Rep 对。令 $f:V\to A$ 为 $A$ -双模块映射（在示例 2.12 第 3 项中定义）。那么很容易看出 $f$ 是一个相对平均运算符。

在直和 $A\oplus V$ 上定义乘法 $\vdash_{A\oplus V},\dashv_{A\oplus V}$ 和线性映射 $\alpha_{A\oplus V}$ ：

$\displaystyle\alpha_{A\oplus V}(x+u)$	$\displaystyle=$	$\displaystyle\alpha(x)+\beta(u),$	(3.5)
$\displaystyle(x+u)\vdash_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\cdot y+l(x)v,$	(3.6)
$\displaystyle(x+u)\dashv_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\cdot y+r(y)u,\,\forall\,x,y\in A,\,u,v\in V.$	(3.7)

我们首先证明以下结果。

Proposition 3.5.

有了上述符号， $(A\oplus V,\vdash_{A\oplus V},\dashv_{A\oplus V},\alpha_{A\oplus V})$ 就是一个Hom结合双代数，称为半直积Hom结合双代数，记为 $A\oplus_{Diass}V$ 。

证明。

对于任何 $x,y,z\in A$ 和 $u,v,w\in V$ 我们有

		$\displaystyle((x+u)\dashv_{A\oplus V}(y+v))\vdash_{A\oplus V}\alpha_{A\oplus V}(z+w)-\alpha_{A\oplus V}(x+u)\vdash_{A\oplus V}((y+v)\vdash_{A\oplus V}(z+w))$
	$\displaystyle=$	$\displaystyle(x\cdot y)\cdot\alpha(z)+l(x\cdot y)\beta(w)-\alpha(x)\cdot(y\cdot z)-l(\alpha(x))(l(y)w)$
	$\displaystyle=$	$\displaystyle 0$

和

		$\displaystyle\alpha_{A\oplus V}(x+u)\dashv_{A\oplus V}((y+v)\dashv_{A\oplus V}(z+w))-\alpha_{A\oplus V}(x+u)\dashv_{A\oplus V}((y+v)\vdash_{A\oplus V}(z+w))$
	$\displaystyle=$	$\displaystyle\alpha(x)\cdot(y\cdot z)+r(y\cdot z)\beta(u)-(x\cdot y)\cdot\alpha(z)-r(y\cdot z)\beta(u)$
	$\displaystyle=$	$\displaystyle 0.$

那么， $(A\oplus V,\vdash_{A\oplus V},\dashv_{A\oplus V},\alpha_{A\oplus V})$ 是一个 Hom- $0$ -双代数。同样，我们可以检查(2.17)。因此 $(A\oplus V,\vdash_{A\oplus V},\dashv_{A\oplus V},\alpha_{A\oplus V})$ 是一个Hom结合双代数。

下面，我们用图来描述相对平均算子。

Theorem 3.6.

令 $(A,V)$ 为 HAss-Rep 对。当且仅当图 $Gr({\mathcal{K}})=\{{\mathcal{K}}u+u\ |\ u\in V\}$ 是半直积的子代数时，线性映射 ${\mathcal{K}}:V\to A$ 是本关联代数 $(A,\cdot,\alpha)$ 上的相对平均算子 $A\oplus_{Diass}V$ 。

证明。

令 $\mathcal{K}:V\to A$ 为线性映射。对于所有 $u,v\in V$ ，我们有

	$\displaystyle(\mathcal{K}u+u)\vdash_{A\oplus V}(\mathcal{K}v+v)=$	$\displaystyle\mathcal{K}u\cdot\mathcal{K}v+l(\mathcal{K}u)v,$
	$\displaystyle(\mathcal{K}u+u)\dashv_{A\oplus V}(\mathcal{K}v+v)=$	$\displaystyle\mathcal{K}u\cdot\mathcal{K}v+r(\mathcal{K}v)u.$

因此，当且仅当 $\mathcal{K}$ 满足 $\mathcal{K}(u)\cdot\mathcal{K}(v)=\mathcal{K}(l(\mathcal{K}u)v)=\mathcal{K}(r(\mathcal{K}v)u)$ 时，图 $Gr({\mathcal{K}})=\{{\mathcal{K}}u+u\ |\ u\in V\}$ 是半半直积 $A\oplus_{Diass}V$ 的子代数，这意味着 $\mathcal{K}$ 是一个关于表示 $(V,l,r,\beta)$ 的 Hom-associative 代数 $A$ 上的相对平均算子。

我们有以下命题，其证明很简单。

Proposition 3.7.

令 $(A,V)$ 为 HAss-Rep 对。线性映射 $\mathcal{K}:V\to A$ 是 $V$ 与 $A$ 上的相对平均算子，当且仅当映射

N_{\mathcal{K}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{K}(u)

是半半直积 $A\oplus_{Diass}V$ 上的 Nijenhuis 算子。

注意，Hom结合代数 $A$ 上的平均算子可以被视为伴随 $A$ -双模块 $A$ 上的相对平均算子。在下一个结果中，我们表明相对平均算子会引发平均算子。

Proposition 3.8.

让 $(A,V)$ 成为 HAss-Rep 对，让 $\mathcal{K}:V\to A$ 成为代数 $A$ 上 $V$ 的相对平均算子。那么 $\overline{\mathcal{K}}:A\oplus V\to A\oplus V,\ x+u\mapsto\mathcal{K}(u)+u$ 是Hom结合代数 $(A\oplus V,\vdash_{A\oplus V},\alpha_{A\oplus V})$ 上（分别在 $(A\oplus V,\dashv_{A\oplus V},\alpha_{A\oplus V})$ 上）的左相对平均算子（分别为右相对平均算子）。

证明。

根据命题3.5，我们有 $\vdash_{A\oplus V}$ 和 $\dashv_{A\oplus V}$ 中的每一个都是Hom结合的。对于任何 $x,y\in A$ 和 $u,v\in V$ ，我们有

$\displaystyle\overline{\mathcal{K}}(x+u)\cdot_{A\oplus V}\overline{\mathcal{K}}(y+v)$	$\displaystyle=$	$\displaystyle(\mathcal{K}(u)+u)\cdot_{A\oplus V}(\mathcal{K}(v)+v)$
	$\displaystyle=$	$\displaystyle(\mathcal{K}(u)\cdot\mathcal{K}(v))+l(\mathcal{K}(u))v$
	$\displaystyle=$	$\displaystyle\mathcal{K}(l(\mathcal{K}(u)v))+l(\mathcal{K}(u))v.$

另一方面，我们有

$\displaystyle\overline{\mathcal{K}}(\overline{\mathcal{K}}(x+u)\cdot_{A\oplus V}(y+v))$	$\displaystyle=$	$\displaystyle\overline{\mathcal{K}}((\mathcal{K}(u)+u)\cdot_{A\oplus V}(y+v))$
	$\displaystyle=$	$\displaystyle\overline{\mathcal{K}}(\mathcal{K}(u)\cdot y+l(\mathcal{K}(u))v)$
	$\displaystyle=$	$\displaystyle\mathcal{K}(l(\mathcal{K}(u))v))+l(\mathcal{K}(u))v).$

因此， $\overline{\mathcal{K}}$ 是Hom结合代数 $(A\oplus V,\vdash_{A\oplus V},\alpha_{A\oplus V})$ 上的左相对平均算子。类似地， $\overline{\mathcal{K}}$ 是Hom结合代数 $(A\oplus V,\dashv_{A\oplus V},\alpha_{A\oplus V})$ 上的右相对平均算子。

Theorem 3.9.

令 $\mathcal{K}:V\rightarrow A$ 为 HAss-Rep 对 $(A,V)$ 上的相对平均算子。那么在 $V$ 上存在一个Hom结合双代数结构 $(\vdash_{\mathcal{K}},\dashv_{\mathcal{K}})$ ，由下式给出

\displaystyle u\vdash_{\mathcal{K}}v=l(\mathcal{K}(u))v,\quad u\dashv_{\mathcal{K}}v=r(\mathcal{K}(v))u,\ \forall u,v\in V.

(3.8)

证明。

首先，我们首先证明 $(V,\vdash_{\mathcal{K}},\beta)$ 和 $(V,\dashv_{\mathcal{K}},\beta)$ 是 Hom 结合代数，让 $u,v,w\in V$ 我们有

	$\displaystyle(u\vdash_{\mathcal{K}}v)\vdash_{\mathcal{K}}\beta(w)-\beta(u)\vdash_{\mathcal{K}}(v\vdash_{\mathcal{K}}w)=$	$\displaystyle l({\mathcal{K}}(l({\mathcal{K}}u)v))\beta(w)-l({\mathcal{K}}\beta(u))(l({\mathcal{K}}v)w)$
	$\displaystyle=$	$\displaystyle l({\mathcal{K}}u\cdot{\mathcal{K}}v)\beta(w)-l(\alpha({\mathcal{K}}u))(l({\mathcal{K}}v)w)$
	$\displaystyle=$	$\displaystyle 0,$

和

	$\displaystyle(u\dashv_{\mathcal{K}}v)\dashv_{\mathcal{K}}\beta(w)-\beta(u)\dashv_{\mathcal{K}}(v\dashv_{\mathcal{K}}w)=$	$\displaystyle r({\mathcal{K}}\beta(w))(r({\mathcal{K}}v)u)-r({\mathcal{K}}(r({\mathcal{K}}w)v))\beta(u)$
	$\displaystyle=$	$\displaystyle r(\alpha({\mathcal{K}}w))(r({\mathcal{K}}v)u)-r({\mathcal{K}}v\cdot{\mathcal{K}}w)\beta(u)$
	$\displaystyle=$	$\displaystyle 0.$

类似地，可以检查定义2.11的其他公理。因此 $(V,\vdash_{\mathcal{K}},\dashv_{\mathcal{K}},\beta)$ 是一个Hom结合双代数。

对于李代数的情况，相对平均算子也称为嵌入张量。在本文中，我们使用“相对平均算子”这个名称来统一这里处理的所有代数结构的命名。 [32]中引入了李代数上的相对平均算子（嵌入张量）的概念。 [9] 中介绍了这个关于 Hom 设置的概念的概括。接下来我们回顾一些结果。令 $(A,V)$ 为 HLie-Rep 对。

Definition 3.10。

如果 $\mathcal{K}\beta=\alpha\mathcal{K}$ 和，则线性映射 $\mathcal{K}:V\to A$ 称为 HLie-Rep 对上的相对平均算子

\displaystyle[\mathcal{K}(u),\mathcal{K}(v)]=\mathcal{K}(\rho(\mathcal{K}(u))v),\ \forall u,v\in V.

(3.9)

令 $(A,V)$ 为 HLie-Rep 对。在直和向量空间 $A\oplus V$ 上，定义两个映射 $\alpha_{A\oplus V}$ 和 $\{\cdot,\cdot\}_{A\oplus V}$ ：

	$\displaystyle\alpha_{A\oplus V}(x+u)$	$\displaystyle=$	$\displaystyle\alpha(x)+\beta(u),$		(3.10)
	$\displaystyle\{x+u,y+v\}_{A\oplus V}$	$\displaystyle=$	$\displaystyle[x,y]+\rho(x)v.$		(3.11)

Proposition 3.11。

有了上述符号， $(A\oplus V,\{\cdot,\cdot\}_{A\oplus V},\ \alpha_{A\oplus V})$ 就是Hom-Leibniz代数，称为半直积Hom-Leibniz代数，记为 $A\oplus_{Leib}V$ 。

Theorem 3.12.

令 $(A,V)$ 为 HLie-Rep 对。线性映射 $\mathcal{K}:V\to A$ 是 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ 上的相对平均算子，当且仅当图 $Gr(\mathcal{K})=\{\mathcal{K}u+u\ |\ u\in V\}$ 是半半半的 Hom-Leibniz 子代数-直接产品 $A\oplus_{Leib}V$ 。

Proposition 3.13。

令 $(A,V)$ 为 HLie-Rep 对。线性映射 $\mathcal{K}:V\to A$ 是 $V$ 与 $A$ 上的相对平均算子，当且仅当映射

N_{\mathcal{K}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{K}(u)

是半半直积 $A\oplus_{Leib}V$ 上的 Nijenhuis 算子。

与Hom结合代数（命题3.8)类似，相对平均算子导出平均算子。为了避免重复，我们不会写出结果。

Theorem 3.14.

令 $\mathcal{K}:V\rightarrow A$ 为 HLie-Rep 对代数 $(A,[\cdot,\cdot],\alpha)$ 上相对于表示 $(V,\rho,\beta)$ 的相对平均算子，则 $(V,\{\cdot,\cdot\}_{\mathcal{K}},\beta)$ 是 Hom-Leibniz 代数，其中

\displaystyle\{u,v\}_{\mathcal{K}}

\displaystyle=

\displaystyle\rho(\mathcal{K}(u))(v),\quad\forall u,v\in V.

我们有以下通勤图

3.2 霍姆-约旦案例

在本节中，我们通过扭曲恒等式来介绍乔丹双代数的推广。我们证明这种概括符合 Hom 关联代数。我们首先介绍 Hom-Jordan 双代数。

Definition 3.15。

（左）Hom-Jordan 双代数是一个向量空间 $A$ ，配备了二元运算 $\bullet$ 和线性映射 $\alpha:A\to A$ 满足

	$\displaystyle\hskip 113.81102pt(x_{1}\bullet x_{2})\bullet x_{3}=(x_{2}\bullet x_{1})\bullet x_{3},$	(3.12)
	$\displaystyle((x_{4}\bullet x_{3})\bullet\alpha(x_{2}))\bullet\alpha^{2}(x_{1})+\alpha^{2}(x_{4})\bullet(\alpha(x_{2})\bullet(x_{3}\bullet x_{1}))+\alpha^{2}(x_{3})\bullet(\alpha(x_{2})\bullet(x_{4}\bullet x_{1}))$
$\displaystyle=$	$\displaystyle\alpha(x_{4}\bullet x_{3})\bullet(\alpha(x_{2})\bullet\alpha(x_{1}))+(\alpha(x_{4})\bullet\alpha(x_{2}))\bullet\alpha(x_{3}\bullet x_{1})+(\alpha(x_{3})\bullet\alpha(x_{2}))\bullet\alpha(x_{4}\bullet x_{1}),$	(3.13)
	$\displaystyle\alpha^{2}(x_{1})\bullet((x_{4}\bullet x_{3})\bullet x_{2})+\alpha^{2}(x_{4})\bullet((x_{3}\bullet x_{1})\bullet x_{2})+\alpha^{2}(x_{3})\bullet((x_{4}\bullet x_{1})\bullet x_{2})$
$\displaystyle=$	$\displaystyle\alpha(x_{4}\bullet x_{3})\bullet(\alpha(x_{1})\bullet x_{2})+\alpha(x_{1}\bullet x_{3})\bullet(\alpha(x_{4})\bullet x_{2})+\alpha(x_{4}\bullet x_{1})\bullet(\alpha(x_{3})\bullet x_{2}).$	(3.14)

当扭曲映射 $\alpha$ 是恒等映射时，我们恢复了Jordan双代数的经典概念。

Remark 3.16.

请注意，身份 (3.13) 和 (3.14) 等效于

	$\displaystyle(x^{2},\alpha(y),\alpha(z))_{\alpha}=$	$\displaystyle 2(\alpha(x),\alpha(y),x\bullet z)_{\alpha},$		(3.15)
	$\displaystyle\alpha^{2}(x)\bullet(x^{2}\bullet y)=$	$\displaystyle\alpha(x^{2})\bullet(\alpha(x)\bullet y),$		(3.16)

对于任何 $x,y,z\in J$ ，其中 $x^{2}=x\bullet x$ 和 $(x,y,z)_{\alpha}=(x\bullet y)\bullet\alpha(z)-\alpha(x)\bullet(y\bullet z)$ 。

令 $(A,V)$ 为 HJor-Rep 对。

Definition 3.17。

线性映射 $\mathcal{K}:V\to A$ 被称为 $A$ 上相对于 $(V,\pi,\beta)$ 的相对平均算子，如果 $\mathcal{K}\beta=\alpha\mathcal{K}$

\displaystyle\mathcal{K}(u)\circ\mathcal{K}(v)=\mathcal{K}(\pi(\mathcal{K}(u))v),\ \forall u,v\in V.

(3.17)

在直和向量空间 $A\oplus V$ 上，定义两个映射 $\alpha_{A\oplus V}$ 和 $\bullet_{A\oplus V}$ ：

	$\displaystyle\alpha_{A\oplus V}(x+u)$	$\displaystyle=$	$\displaystyle\alpha(x)+\beta(u),$		(3.18)
	$\displaystyle(x+u)\bullet_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\circ y+\pi(x)v.$		(3.19)

Proposition 3.18。

通过上述符号， $(A\oplus V,\bullet_{A\oplus V},\ \alpha_{A\oplus V})$ 是 Hom-Jordan 双代数。

该Hom-Jordan 双代数称为半半直积Hom-Jordan 双代数，用 $A\oplus_{DiJor}V$ 表示。

证明。

对于任何 $x_{1},x_{2},x_{3},x_{4}\in A$ 和 $u_{1},u_{2},u_{3},u_{4}\in V$ ，我们有

		$\displaystyle\big{(}((x_{4}+u_{4})\bullet_{A\oplus V}(x_{3}+u_{3}))\bullet_{A\oplus V}\alpha_{A\oplus V}(x_{2}+u_{2})\big{)}\bullet_{A\oplus V}\alpha^{2}_{A\oplus V}(x_{1}+u_{1})$
		$\displaystyle+\alpha^{2}_{A\oplus V}(x_{4}+u_{4})\bullet_{A\oplus V}\big{(}\alpha_{A\oplus V}(x_{2}+u_{2})\bullet_{A\oplus V}((x_{3}+u_{3})\bullet_{A\oplus V}(x_{1}+u_{1}))\big{)}$
		$\displaystyle+\alpha^{2}_{A\oplus V}(x_{3}+u_{3})\bullet_{A\oplus V}\big{(}\alpha_{A\oplus V}(x_{2}+u_{2})\bullet_{A\oplus V}((x_{4}+u_{4})\bullet_{A\oplus V}(x_{1}+u_{1}))\big{)}$
	$\displaystyle=$	$\displaystyle\big{(}(x_{4}\circ x_{3})\circ\alpha(x_{2})+\pi(x_{4}\circ x_{3})\beta(u_{2})\big{)}\bullet_{A\oplus V}(\alpha^{2}(x_{1})+\beta^{2}(u_{1}))$
		$\displaystyle+(\alpha^{2}(x_{4})+\beta^{2}(u_{4}))\bullet_{A\oplus V}\big{(}\alpha(x_{2})\circ(x_{3}\circ x_{1})+\pi(\alpha(x_{2}))\pi(x_{3})u_{1}\big{)}$
		$\displaystyle+(\alpha^{2}(x_{3})+\beta^{2}(u_{3}))\bullet_{A\oplus V}\big{(}\alpha(x_{2})\circ(x_{4}\circ x_{1})+\pi(\alpha(x_{2}))\pi(x_{4})u_{1}\big{)}$
	$\displaystyle=$	$\displaystyle\big{(}(x_{4}\circ x_{3})\circ\alpha(x_{2})\big{)}\alpha^{2}(x_{1})+\pi((x_{4}\circ x_{3})\circ\alpha(x_{2}))\beta^{2}(u_{1})$
		$\displaystyle+\alpha^{2}(x_{4})\circ\big{(}\alpha(x_{2})\circ(x_{3}\circ x_{1})\big{)}+\pi(\alpha^{2}(x_{4}))(\pi(\alpha(x_{2}))\pi(x_{3})u_{1})$
		$\displaystyle+\alpha^{2}(x_{3})\circ\big{(}\alpha(x_{2})\circ(x_{4}\circ x_{1})\big{)}+\pi(\alpha^{2}(x_{3}))(\pi(\alpha(x_{2}))\pi(x_{4})u_{1}).$

另一方面，我们有

		$\displaystyle\alpha_{A\oplus V}((x_{4}+u_{4})\bullet_{A\oplus V}(x_{3}+u_{3}))\bullet_{A\oplus V}(\alpha_{A\oplus V}(x_{2}+u_{2})\bullet_{A\oplus V}\alpha_{A\oplus V}(x_{1}+u_{1}))$
		$\displaystyle+(\alpha_{A\oplus V}(x_{4}+u_{4})\bullet_{A\oplus V}\alpha_{A\oplus V}(x_{2}+u_{2}))\bullet_{A\oplus V}\alpha_{A\oplus V}((x_{3}+u_{3})\bullet_{A\oplus V}(x_{1}+u_{1}))$
		$\displaystyle+(\alpha_{A\oplus V}(x_{3}+u_{3})\bullet_{A\oplus V}\alpha_{A\oplus V}(x_{2}+u_{2}))\bullet_{A\oplus V}\alpha_{A\oplus V}((x_{4}+u_{4})\bullet_{A\oplus V}(x_{1}+u_{1}))$
	$\displaystyle=$	$\displaystyle\alpha(x_{4}\circ x_{3})\circ(\alpha(x_{2})\circ\alpha(x_{1}))+\pi(\alpha(x_{4}\circ x_{3}))(\pi(\alpha(x_{2}))\beta(u_{1}))$
		$\displaystyle+(\alpha(x_{4})\circ\alpha(x_{2}))\circ\alpha(x_{3}\circ x_{1})+\pi(\alpha(x_{4})\circ\alpha(x_{2}))(\pi(\alpha(x_{3}))\beta(u_{1}))$
		$\displaystyle+(\alpha(x_{3})\circ\alpha(x_{2}))\circ\alpha(x_{4}\circ x_{1})+\pi(\alpha(x_{3})\circ\alpha(x_{2}))(\pi(\alpha(x_{4}))\beta(u_{1})).$

然后，根据方程。 (2.8)、(3.13) 满足。类似地，可以检查 (3.12) 和 (3.14)。因此， $A\oplus_{DiJor}V$ 是 Hom-Jordan 双代数。

Theorem 3.19.

令 $(A,V)$ 为 HJor-Rep 对。当且仅当图 $Gr(\mathcal{K})=\{\mathcal{K}u+u\ |\ u\in V\}$ 是半半半的 Hom-Jordan 小代数时，线性映射 $\mathcal{K}:V\to A$ 是 Hom-Jordan 代数 $(A,\circ,\alpha)$ 上的相对平均算子-直接产品 $A\oplus_{DiJor}V$ 。

证明很简单。

Proposition 3.20。

令 $(A,V)$ 为 HJor-Rep 对。线性映射 $\mathcal{K}:V\to A$ 是 $V$ 与 $A$ 上的相对平均算子，当且仅当映射

N_{\mathcal{K}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{K}(u)

是半半直积 $A\oplus_{DiJor}V$ 上的 Nijenhuis 算子。

Theorem 3.21.

令 $\mathcal{K}:V\to A$ 为 Hom-Jordan 代数 $(A,\circ,\alpha)$ 上相对于模块 $(V,\pi,\beta)$ 的相对平均算子。那么 $(V,\bullet,\beta)$ 是一个 Hom-Jordan 双代数，其中

u\bullet_{\mathcal{K}}v=\pi(\mathcal{K}(u))v,\quad\forall\ u,v\in V.

证明。

让 $u_{1},u_{2},u_{3}\in V$ ，因为 $"\circ"$ 是可交换的，所以我们有

	$\displaystyle(u_{1}\bullet_{\mathcal{K}}u_{2})\bullet_{\mathcal{K}}u_{3}-(u_{2}\bullet_{\mathcal{K}}u_{1})\bullet_{\mathcal{K}}u_{3}$	$\displaystyle=\pi(\mathcal{K}(\pi(\mathcal{K}(u_{1}))(u_{2})))(u_{3})-\pi(\mathcal{K}(\pi(\mathcal{K}(u_{2}))(u_{1})))(u_{3})$
		$\displaystyle=\pi\big{(}\mathcal{K}(u_{1})\circ\mathcal{K}(u_{2})-\mathcal{K}(u_{2})\circ\mathcal{K}(u_{1}))\big{)}(u_{3})=0.$

因此满足(3.12)。现在，让 $u_{1},u_{2},u_{3},u_{4}\in V$

		$\displaystyle((u_{4}\bullet_{\mathcal{K}}u_{3})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta^{2}(u_{1})+\beta^{2}(u_{4})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}(u_{3}\bullet_{\mathcal{K}}u_{1}))+\beta^{2}(u_{3})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}(u_{4}\bullet_{\mathcal{K}}u_{1}))$
	$\displaystyle=$	$\displaystyle\pi\big{(}\mathcal{K}(\pi(\mathcal{K}(\pi(\mathcal{K}(u_{4}))(u_{3})))(\beta(u_{2})))\big{)}(\beta^{2}(u_{1}))+\pi(\mathcal{K}(\beta^{2}(u_{4})))\big{(}\pi(\mathcal{K}(\beta(u_{2})))\big{)}\big{(}\pi(\mathcal{K}(u_{3}))(u_{1})\big{)}$
		$\displaystyle+\pi(\mathcal{K}(\beta^{2}(u_{3})))\big{(}\pi(\mathcal{K}(\beta(u_{2})))\big{)}\big{(}\pi(\mathcal{K}(u_{4}))(u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle\pi\big{(}\mathcal{K}(\pi(\mathcal{K}u_{4})(u_{3}))\circ\alpha(\mathcal{K}u_{2})\big{)}(\beta^{2}(u_{1}))+\pi(\alpha^{2}(\mathcal{K}u_{4}))\big{(}\pi(\alpha(\mathcal{K}u_{2}))\big{)}\big{(}\pi(\mathcal{K}u_{3})(u_{1})\big{)}$
		$\displaystyle+\pi(\alpha^{2}(\mathcal{K}u_{3}))\big{(}\pi(\alpha(\mathcal{K}u_{2}))\big{)}\big{(}\pi(\mathcal{K}u_{4})(u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle\pi\big{(}(\mathcal{K}u_{4}\circ\mathcal{K}u_{3})\circ\alpha(\mathcal{K}u_{2})\big{)}(\beta^{2}(u_{1}))+\pi(\alpha^{2}(\mathcal{K}u_{4}))\big{(}\pi(\alpha(\mathcal{K}u_{2}))\big{)}\big{(}\pi(\mathcal{K}u_{3})(u_{1})\big{)}$
		$\displaystyle+\pi(\alpha^{2}(\mathcal{K}u_{3}))\big{(}\pi(\alpha(\mathcal{K}u_{2}))\big{)}\big{(}\pi(\mathcal{K}u_{4})(u_{1})\big{)}.$

另一方面我们有

		$\displaystyle\beta(u_{4}\bullet_{\mathcal{K}}u_{3})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}\beta(u_{1}))+(\beta(u_{4})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta(u_{3}\bullet_{\mathcal{K}}u_{1})+(\beta(u_{3})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta(u_{4}\bullet_{\mathcal{K}}u_{1})$
	$\displaystyle=$	$\displaystyle\pi\big{(}\mathcal{K}(\beta(\pi(\mathcal{K}u_{4})(u_{3})))\big{)}\big{(}\pi(\mathcal{K}(\beta(u_{2})))\beta(u_{1})\big{)}+\pi\big{(}\mathcal{K}(\pi(\mathcal{K}(\beta(u_{4})))(\beta(u_{2}))\big{)}\big{(}\beta(\pi(\mathcal{K}u_{3}(u_{1})))\big{)}$
		$\displaystyle+\pi\big{(}\mathcal{K}(\pi(\mathcal{K}(\beta(u_{3})))(\beta(u_{2}))\big{)}\big{(}\beta(\pi(\mathcal{K}u_{4}(u_{1})))\big{)}$
	$\displaystyle=$	$\displaystyle\pi\big{(}\alpha(\mathcal{K}(\pi(\mathcal{K}u_{4})(u_{3})))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{2}))(\beta(u_{1}))\big{)}+\pi\big{(}\mathcal{K}(\pi(\mathcal{K}(\beta(u_{4})))(\beta(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{3}))(u_{1})\big{)}$
		$\displaystyle+\pi\big{(}\mathcal{K}(\pi(\mathcal{K}(\beta(u_{3})))(\beta(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{4}))(u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle\pi\big{(}\alpha(\mathcal{K}u_{4})\circ\alpha(\mathcal{K}u_{3})\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{2}))(\beta(u_{1}))\big{)}+\pi\big{(}\mathcal{K}(\beta(u_{4}))\circ\mathcal{K}(\beta(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{3}))(u_{1})\big{)}$
		$\displaystyle+\pi\big{(}\mathcal{K}(\beta(u_{3}))\circ\mathcal{K}(\beta(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{4}))(u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle\pi\big{(}\alpha(\mathcal{K}u_{4})\circ\alpha(\mathcal{K}u_{3})\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{2}))(\beta(u_{1}))\big{)}+\pi\big{(}\alpha(\mathcal{K}(u_{4}))\circ\alpha(\mathcal{K}(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{3}))(\beta(u_{1}))\big{)}$
		$\displaystyle+\pi\big{(}\alpha(\mathcal{K}(u_{3}))\circ\alpha(\mathcal{K}(u_{2}))\big{)}\big{(}\pi(\alpha(\mathcal{K}u_{4}))(\beta(u_{1}))\big{)}.$

因此，根据方程。 (2.8)，我们得到

((u_{4}\bullet_{\mathcal{K}}u_{3})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta^{2}(u_{1})+\beta^{2}(u_{4})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}(u_{3}\bullet_{\mathcal{K}}u_{1}))+\beta^{2}(u_{3})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}(u_{4}\bullet_{\mathcal{K}}u_{1}))\\ =\beta(u_{4}\bullet_{\mathcal{K}}u_{3})\bullet_{\mathcal{K}}(\beta(u_{2})\bullet_{\mathcal{K}}\beta(u_{1}))+(\beta(u_{4})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta(u_{3}\bullet_{\mathcal{K}}u_{1})+(\beta(u_{3})\bullet_{\mathcal{K}}\beta(u_{2}))\bullet_{\mathcal{K}}\beta(u_{4}\bullet_{\mathcal{K}}u_{1}).

同样，通过等式。 (2.7)，我们可以检查身份(3.13)。

Definition 3.22。

令 $(A_{1},\bullet_{1},\alpha_{1})$ 和 $(A_{2},\bullet_{2},\alpha_{2})$ 为两个 Hom-Jordan 双代数。如果线性映射 $\phi:A_{1}\to A_{2}$ 对于所有 $x,y\in A_{1}$ 都满足，则称为 Hom-Jordan 双代数的态射，

\phi\alpha_{1}=\alpha_{2}\phi\quad\text{and}\quad\phi(x\bullet_{1}y)=\phi(x)\bullet_{2}\phi(y).

以下定理给出了使用 Hom-Jordan 双代数及其代数自同态构造 Hom-Jordan 双代数的过程。

Theorem 3.23.

设 $(A,\bullet,\alpha)$ 为 Hom-Jordan 双代数， $\phi:A\to A$ 为态射

A_{\phi}=(A,\bullet_{\phi}=\phi\bullet,\phi\alpha)

也是一个 Hom-Jordan 双代数。

Corollary 3.24。

令 $(A,\bullet)$ 为 Jordan 双代数， $\alpha:A\rightarrow A$ 为代数自同态。然后 $(A,\bullet_{\alpha},\alpha)$ ，其中 $\bullet_{\alpha}=\alpha\bullet$ 是 Hom-Jordan 双代数。

Theorem 3.25。

令 $\mathcal{K}:V\to A$ 为 Hom 关联代数 $(A,\cdot,\alpha)$ 上关于 $A$ -双模 $(V,l,r,\beta)$ 的相对平均算子。那么 $\mathcal{K}$ 是关联的 Hom-Jordan 代数 $(A,\circ=\cdot+\cdot^{op},\alpha)$ 上的相对平均运算符，其中 $x\cdot^{op}y=y\cdot x$ 相对于 $A$ 模块 $(V,\pi=l+r,\beta)$ 。

此外，如果 $(V,\vdash,\dashv,\beta)$ 是与Hom结合代数 $(A,\cdot,\alpha)$ 相关联的Hom结合双代数。然后是等式中定义的反二换子。 (2.16) 将 $V$ 变成 Hom-Jordan 双代数。

证明。

对于任何 $u,v\in V$ ，我们有

$\displaystyle\mathcal{K}(u)\circ\mathcal{K}(v)$	$\displaystyle=$	$\displaystyle\mathcal{K}(u)\cdot\mathcal{K}(v)+\mathcal{K}(v)\cdot\mathcal{K}(u)$
	$\displaystyle=$	$\displaystyle\mathcal{K}(l(\mathcal{K}(u))v)+\mathcal{K}(r(\mathcal{K}(u))v)$
	$\displaystyle=$	$\displaystyle\mathcal{K}(l(\mathcal{K}(u))v+r(\mathcal{K}(u))v)$
	$\displaystyle=$	$\displaystyle\mathcal{K}(\pi(\mathcal{K}(u))v).$

那么 $\mathcal{K}$ 是Hom-Jordan代数 $(A,\circ,\alpha)$ 上的相对平均算子。

此外，根据定理 3.9, $(V,\vdash,\dashv,\beta)$ 是一个 Hom 结合双代数，其中

u\vdash v=l(\mathcal{K}(u))v,\quad u\dashv v=r(\mathcal{K}(v))u,

另一方面，根据定理 3.21，我们有 $(V,\bullet,\beta)$ 是 Hom-Jordan 双代数，其中

u\bullet v=\pi(\mathcal{K}(u)v)=l(\mathcal{K}(u))v+r(\mathcal{K}(u))v=u\vdash v+v\dashv u.

这样就完成了证明。

于是，我们就有了下图

4 通过同态相对平均算子进行三倍运算

在本节中，我们介绍 Hom 代数上的同态相对平均算子的概念，它允许将乘法复制为三个相同性质的乘法。但请注意，同态相对平均算子并不像相对 Rota-Baxter 算子那样概括平均算子。另一方面，在[30]中，作者引入了一种称为非阿贝尔嵌入张量的相对平均算子的加权版本。这些算子产生了其他代数结构，例如来自李代数的李-莱布尼兹代数。李代数上的同态相对平均算子导出三莱布尼茨代数。

4.1 同态相对平均算子

Definition 4.1。

令 $(A,V)$ 为 HAss-Act 对。线性映射 $\mathcal{H}:V\to A$ 被称为同态相对平均算子，如果它是相对平均算子并且对于任何 $u,v\in V$ ，

\displaystyle\mathcal{H}(u)\cdot\mathcal{H}(v)=

\displaystyle\mathcal{H}(u\cdot_{V}v).

(4.1)

Example 4.2。

令 $(A,\cdot,\alpha)$ 为 Hom 结合代数。请注意，空间 $B=\underbrace{A\oplus\cdots\oplus A}_{n\text{ summand}}$ 可以被赋予 Hom 关联代数结构，其乘法由 $A$ 的分量乘法给出，并且扭曲映射 $\beta$ 给出

\beta(a_{1},\ldots,a_{n})=(\alpha(a_{1}),\ldots,\alpha(a_{n}))

. 空间 $B$ 是一个 Hom-associative $A$ 双模， $B$ 上的左作用和右作用 $A$ 分别为

\displaystyle l(a)(a_{1},\ldots,a_{n})=(l(a)a_{1},\ldots,l(a)a_{n})~{}~{}\text{ and }~{}~{}r(a)(a_{1},\ldots,a_{n})=(r(a)a_{1},\ldots,r(a)a_{n}),

(4.2)

对于 $a\in A$ 和 $(a_{1},\ldots,a_{n})\in B$ 。那么对于任何 $1\leq i\leq n$ ，第 $i$ 投影图 $P_{i}:B\rightarrow A$ 是同态相对平均算子。

Example 4.3。

Hom 结合代数的交叉模是一个四元组 $(A,V,d,(l,r))$ ，其中 $(A,\cdot,\alpha)$ 是 Hom 结合代数， $(V,l,r,\beta,\cdot_{V})$ 是一个动作， $d:V\to A$ 是 Hom 结合代数的态射，其中

\displaystyle d(l(x)u)=x\cdot d(u),\quad d(r(x)u)=d(u)\cdot x,\quad l(d(u))v=r(d(v))u=u\cdot_{V}v,

对于所有 $x\in A,u,v\in V.$ 因此， $d$ 是Hom结合代数 $(A,\cdot,\alpha)$ 的同态相对平均算子。

回顾一下，权重为 $\lambda$ 的 $\mathcal{O}$ 操作符是满足 $O\beta=\alpha O$ 的线性映射 $O:V\to A$ ，并且对于任何 $u,v\in V$ 都是如此、

Ou\cdot Ov=O(l(Ou)v+r(Ov)u+\lambda(u\cdot_{V}v)).

(4.3)

Lemma 4.4.

令 $\mathcal{H}$ 为HAss-Act对 $(A,V)$ 上的同态相对平均算子。那么线性算子 $O=-\mathcal{H}$ 就是 $A$ 上权值 $-1$ 的 $\mathcal{O}$ 算子。

证明。

让 $u,v\in V$ ，我们有

		$\displaystyle(-\mathcal{H}(u))\cdot(-\mathcal{H}(v))-(-\mathcal{H}(l(-\mathcal{H}(u))v))+(-\mathcal{H}(r(-\mathcal{H}(v))u))-((-1)(-\mathcal{H}(u\cdot_{V}v)))$
	$\displaystyle=$	$\displaystyle\mathcal{H}(u)\cdot\mathcal{H}(v)-\mathcal{H}(l(\mathcal{H}u)v)+\mathcal{H}(r(\mathcal{H}v)u)-\mathcal{H}(u\cdot_{V}v)=0.$

因此， $-\mathcal{H}$ 是 $A$ 上权重 $-1$ 的 $\mathcal{O}$ 运算符。

Definition 4.5。

Hom 关联 trigebra（也称为 Hom 关联 trigebra）是一个向量空间 $A$ ，配备三个二元运算： $\dashv$ （左）、 $\vdash$ （右）、 $\bot$ （中）和线性映射 $\alpha:A\rightarrow A$ ，其中 $(A,\vdash,\dashv,\alpha)$ 是 Hom 结合双代数， $(A,\bot,\alpha)$ 是 Hom 结合代数，对于所有 $x,y,z\in A$ ：

$\displaystyle(x\dashv y)\dashv\alpha(z)$	$\displaystyle=\alpha(x)\dashv(y\,\bot\,z),$	(4.4)
$\displaystyle(x\,\bot\,y)\dashv\alpha(z)$	$\displaystyle=\alpha(x)\,\bot\,(y\dashv z),$	(4.5)
$\displaystyle(x\dashv y)\,\bot\,\alpha(z)$	$\displaystyle=\alpha(x)\,\bot\,(y\vdash z),$	(4.6)
$\displaystyle(x\vdash y)\,\bot\,\alpha(z)$	$\displaystyle=\alpha(x)\vdash(y\,\bot\,z),$	(4.7)
$\displaystyle(x\,\bot\,y)\vdash\alpha(z)$	$\displaystyle=\alpha(x)\vdash(y\vdash z),$	(4.8)

当扭曲映射 $\alpha$ 是恒等映射时，我们恢复了结合三代数的经典概念。

设 $(A,\vdash,\dashv,\bot,\alpha)$ 和 $(A^{\prime},\vdash^{\prime},\dashv^{\prime},\bot^{\prime},\alpha^{\prime})$ 是两个Hom结合三代数，Hom结合三代数的态射是Hom结合双代数的态射，对于所有 $x,y\in A$ 满足

\phi(x\bot y)=\phi(x)\bot^{\prime}\phi(y).

Remark 4.6.

如果 $(A,\vdash,\dashv,\alpha)$ 是Hom结合双代数，则 $(A,\vdash,\dashv,0,\alpha)$ 是Hom结合三代数。

Theorem 4.7.

令 $(A,\vdash,\dashv,\bot,\alpha)$ 为 Hom 结合三代数， $\phi:A\to A$ 为态射，则

A_{\phi}=(A,\vdash_{\phi}=\phi\vdash,\dashv_{\phi}=\phi\dashv,\bot_{\phi}=\phi\bot,\phi\alpha)

也是一个 Hom 结合三代数。此外，如果 $A$ 是乘法，那么 $A_{\phi}$ 也是乘法。

Corollary 4.8。

令 $(A,\vdash,\dashv,\bot)$ 为结合三代数， $\alpha:A\to A$ 为代数自同态。那么 $(A,\vdash_{\alpha},\dashv_{\alpha},\bot_{\alpha},\alpha)$ 是一个 Hom 结合三代数，其中

\vdash_{\alpha}=\alpha\vdash,\quad\dashv_{\alpha}=\alpha\dashv\quad\text{and}\quad\bot_{\alpha}=\alpha\bot.

现在我们举一个例子。

Example 4.9。

令 $\{e_{1},e_{2}\}$ 为 $\mathbb{K}$ 上 $2$ 维向量空间 $A$ 的基础。在[20]中，作者表明以下乘积 $\vdash,\dashv$ 和 $\bot$ 定义了 $\mathbb{K}$ 上的关联三代数。

e_{1}\vdash e_{1}=e_{1}\bot e_{1}=e_{1}\bot e_{1}=e_{1},

e_{1}\vdash e_{2}=e_{2}\dashv e_{1}=e_{1}\bot e_{2}=e_{2}.

我们在 $A$ 上构造一个扭曲映射 $\alpha$ ，如下所示

\displaystyle\alpha(e_{1})=ae_{1},\ \alpha(e_{2})=be_{2},

其中 $a, b$ 和 $c$ 是 $\mathbb{K}$ 中的参数。那么根据推论4.8, $(A,\vdash_{\alpha},\dashv_{\alpha},\bot_{\alpha},\alpha)$ 是Hom结合三代数，其中

e_{1}\vdash_{\alpha}e_{1}=e_{1}\bot e_{1}=e_{1}\bot_{\alpha}e_{1}=ae_{1},

e_{1}\vdash_{\alpha}e_{2}=e_{2}\dashv_{\alpha}e_{1}=e_{1}\bot_{\alpha}e_{2}=be_{2}.

令 $(A,V)$ 为 HAss-Act 对。在直和 $A\oplus V$ 上定义乘法 $\vdash_{A\oplus V},\dashv_{A\oplus V}$ 和 $\bot_{A\oplus V}$ ，以及映射 $\alpha_{A\oplus V}$ ：

$\displaystyle(x+u)\vdash_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\cdot y+l(x)v,$	(4.9)
$\displaystyle(x+u)\dashv_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\cdot y+r(y)u,$	(4.10)
$\displaystyle(x+u)\bot_{A\oplus V}(y+v)$	$\displaystyle=$	$\displaystyle x\cdot y+u\cdot_{V}v,$	(4.11)
$\displaystyle\alpha_{A\oplus V}(x+u)$	$\displaystyle=$	$\displaystyle\alpha(x)+\beta(u).$	(4.12)

下面，我们根据算子图给出同态相对平均算子的表征。我们首先证明以下结果。

Proposition 4.10。

有了上述符号， $(A\oplus V,\vdash_{A\oplus V},\dashv_{A\oplus V},\bot_{A\oplus V},\alpha_{A\oplus V})$ 就是一个Hom结合三代数，称为半直积Hom结合三代数，记为 $A\oplus_{Triass}V$ 。

证明。

根据命题3.5, $(A\oplus V,\vdash_{A\oplus V},\dashv_{A\oplus V},\alpha_{A\oplus V})$ 是一个Hom结合双代数。很容易检查 $(A\oplus V,\bot_{A\oplus V},\alpha_{A\oplus V})$ 是一个 Hom 结合代数。现在，对于任何 $x,y,z\in A$ 和 $u,v,w\in V$ ，我们有

		$\displaystyle((x+u)\bot_{A\oplus V}(y+v))\dashv_{A\oplus V}\alpha_{A\oplus V}(z+w)-\alpha_{A\oplus V}(x+u)\bot_{A\oplus V}((y+v)\dashv_{A\oplus V}(z+w))$
	$\displaystyle=$	$\displaystyle(x\cdot y+u\cdot_{V}v)\dashv_{A\oplus V}(\alpha(z)+\beta(w))-(\alpha(x)+\beta(u))\bot_{A\oplus V}(y\cdot z+r(z)v)$
	$\displaystyle=$	$\displaystyle(x\cdot y)\cdot\alpha(z)+r(\alpha(z))(u\cdot_{V}v)-\alpha(x)\cdot(y\cdot z)-\beta(u)\cdot_{V}(r(z)v)$
	$\displaystyle\overset{\eqref{actass}}{=}$	$\displaystyle 0.$

定义4.5的其他公理的证明类似。因此结果如下。

我们有下面的定理，其证明与定理3.6的证明类似。

Theorem 4.11。

令 $(A,V)$ 为 HAss-Act 对。线性映射 $\mathcal{H}:V\to A$ 是 Hom 关联代数 $(A,\cdot,\alpha)$ 上的同态相对平均算子，当且仅当图 $Gr(\mathcal{H})=\{\mathcal{H}u+u\ |\ u\in V\}$ 是半半直积 Hom 关联三代数 $A\oplus_{Triass}V$ 。

Proposition 4.12。

令 $(A,V)$ 为 HAss-Act 对。线性映射 $\mathcal{H}:V\to A$ 是 $V$ 上 $A$ 的同态相对平均算子当且仅当映射

N_{\mathcal{H}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{H}(u)

是半半直积 $A\oplus_{Triass}V$ 上的 Nijenhuis 算子。

Theorem 4.13.

令 $\mathcal{H}:V\to A$ 为HAss-Act对 $(A,V)$ 上的同态相对平均算子。然后通过以下操作使 $V$ 成为Hom结合三代数：

\displaystyle u\dashv_{\mathcal{H}}v

\displaystyle=r(\mathcal{H}(v))u,\quad u\vdash_{\mathcal{H}}v=l(\mathcal{H}(u))v,\quad u\bot_{\mathcal{H}}v=u\cdot_{V}v.

证明。

根据定理3.9, $(V,\vdash_{\mathcal{H}},\dashv_{\mathcal{H}},\beta)$ 是Hom结合双代数。显然 $(V,\bot_{\mathcal{H}},\beta)$ 是Hom结合代数。对于任何 $u,v,w\in V$

$\displaystyle(u\dashv_{\mathcal{H}}v)\dashv_{\mathcal{H}}\beta(w)-\beta(u)\dashv_{\mathcal{H}}(v\bot_{\mathcal{H}}w)$	$\displaystyle=$	$\displaystyle(r(\mathcal{H}(v))u)\dashv_{\mathcal{H}}\beta(w)-\beta(u)\dashv_{\mathcal{H}}(v\cdot_{V}w)$
	$\displaystyle=$	$\displaystyle r(\mathcal{H}(\beta(w))(r(\mathcal{H}(v))u)-r(\mathcal{H}(v\cdot_{V}w))(\beta(u))$
	$\displaystyle=$	$\displaystyle r(\alpha(\mathcal{H}(w))(r(\mathcal{H}(v))u)-r(\mathcal{H}(v\cdot_{V}w))(\beta(u))$
	$\displaystyle\overset{\eqref{avop2}}{=}$	$\displaystyle 0.$

类似地，我们可以检查定义4.5的其他公理。因此， $(V,\vdash_{\mathcal{H}},\dashv_{\mathcal{H}},\bot_{\mathcal{H}},\beta)$ 是Hom结合三代数。

Proposition 4.14。

设 $(A,\vdash,\dashv,\bot,\alpha)$ 为Hom结合三叉代数，则以下运算使 $A$ 变为Hom-三叉代数

x\prec y=-x\dashv y,\quad x\succ y=-x\vdash y,\quad x\cdot y=x\bot y.

Hom-tridendriform代数的定义参见[22]。

4.2 从 Hom 结合三代数到 Hom-triLeibniz 代数

下面，我们介绍具有给定作用的 Hom-Lie 代数上的同态相对平均算子的概念。

Definition 4.15。

如果线性映射 $\mathcal{H}:V\to A$ 是相对平均算子和态射，则称为 HLie-Act 对 $(A,V)$ 上的同态相对平均算子，即

\displaystyle\mathcal{H}[u,v]_{V}=[\mathcal{H}(u),\mathcal{H}(v)],\ \forall u,v\in V.

(4.13)

在[27]中作者给出了（右）莱布尼茨三阶数的定义，接下来我们将介绍左Hom-Leibniz三阶数的概念。

Definition 4.16。

左 Hom-Leibniz 三代数是由 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ 和 Hom-Leibniz 代数 $(A,\{\cdot,\cdot\},\alpha)$ 组成的四元组 $(A,\{\cdot,\cdot\},[\cdot,\cdot],\alpha)$ ，使得对于任何 $x,y,z\in A$

	$\displaystyle\{\alpha(x),[y,z]\}=[\{x,y\},\alpha(z)]+[\alpha(y),\{x,z\}],$		(4.14)
	$\displaystyle\{[x,y],\alpha(z)\}=\{\{x,y\},\alpha(z)\}.$		(4.15)

Remark 4.17.

如果我们有 $\{x,y\}^{\prime}=\{y,x\}$ 那么 $(A,\{\cdot,\cdot\}^{\prime},[\cdot,\cdot],\alpha)$ 就是一个右 Hom-Leibniz trigebra。

在直和向量空间 $A\oplus V$ 上，定义两个双线性映射 $[\cdot,\cdot]_{A\oplus V}$ 和 $\{\cdot,\cdot\}_{A\oplus V}$ 以及线性映射 $\alpha_{A\oplus V}$ ：

$\displaystyle[x+u,y+v]_{A\oplus V}$	$\displaystyle=$	$\displaystyle[x,y]+[u,v]_{V},$	(4.16)
$\displaystyle\{x+u,y+v\}_{A\oplus V}$	$\displaystyle=$	$\displaystyle[x,y]+\rho(x)v,$	(4.17)
$\displaystyle\alpha_{A\oplus V}(x+u)$	$\displaystyle=$	$\displaystyle\alpha(x)+\beta(u).$	(4.18)

Proposition 4.18。

利用上述符号， $(A\oplus V,\{\cdot,\cdot\}_{A\oplus V},[\cdot,\cdot]_{A\oplus V},\alpha_{A\oplus V})$ 是Hom-Leibniz三代数，称为半半直积Hom-Leibniz三代数，记为 $A\oplus_{TriLeib}V$ 。

证明。

由命题3.11可知 $(A\oplus V,\{\cdot,\cdot\}_{A\oplus V},\alpha)$ 是Hom-Leibniz代数。另一方面，很容易观察到 $(A\oplus V,[\cdot,\cdot]_{A\oplus V},\alpha)$ 是一个 Hom-Lie 代数。根据等式，让 $x,y,z\in A$ 和 $u,v,w\in V$ (2.12)，我们有

		$\displaystyle\{\alpha_{A\oplus V}(x+u),[y+v,z+w]_{A\oplus V}\}_{A\oplus V}-[\{x+u,y+v\}_{A\oplus V},\alpha_{A\oplus V}(z+w)]_{A\oplus V}$
		$\displaystyle-[\alpha_{A\oplus V}(y+v),\{x+u,z+w\}_{A\oplus V}]_{A\oplus V}$
	$\displaystyle=$	$\displaystyle[\alpha(x),[y,z]]+\rho(\alpha(x))[v,w]_{V}-[[x,y],\alpha(z)]-[\rho(x)v,\beta(w)]_{V}-[\alpha(y),[x,z]]-[\beta(v),\rho(x)w]_{V}$
	$\displaystyle=$	$\displaystyle 0.$

因此，方程。 (4.14) 满足。等式也一样。 (4.15)。这样就完成了证明。

Theorem 4.19.

令 $(A,V)$ 为 HLie-Act 对。线性映射 $\mathcal{H}:V\to A$ 是 Hom-Lie 代数 $(A,[\cdot,\cdot],\alpha)$ 上的同态相对平均算子，当且仅当图 $Gr(\mathcal{H})=\{\mathcal{H}u+u\ |\ u\in V\}$ 是半半直积 Hom-Leibniz trigebra $A\oplus_{TriLeib}V$ 。

证明。

与定理3.12类似。

Proposition 4.20。

令 $(A,V)$ 为 HLie-Act 对。线性映射 $\mathcal{H}:V\to A$ 是 $V$ 上 $A$ 的同态相对平均算子当且仅当映射

N_{\mathcal{H}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{H}(u)

是半半直积 $A\oplus_{TriLeib}V$ 上的 Nijenhuis 算子。

Theorem 4.21。

令 $(A,\vdash,\dashv,\bot,\alpha)$ 为 Hom 结合三代数。定义新的二元运算

\displaystyle\{x,y\}

\displaystyle=x\vdash y-y\dashv x,\quad\quad[x,y]=x\bot y-y\bot x.

那么， $(A,\{\cdot,\cdot\},[\cdot,\cdot],\alpha)$ 是Hom-Leibniz三代数。

证明。

由于 $(A,\vdash,\dashv,\bot,\alpha)$ 是 Hom 结合三代数，因此 $(A,\vdash,\dashv,\alpha)$ 是 Hom 结合双代数。因此，根据备注 2.13 $(A,\{\cdot,\cdot\},\alpha)$ 是 Hom-Leibniz 代数。

由于 $(A,\bot,\alpha)$ 是Hom结合代数，因此 $(A,[\cdot,\cdot],\alpha)$ 是Hom-Lie代数。仍有待验证(4.14)和(4.15)。

对于任何 $x,y,z\in A$ ，我们从定义 4.5 可以得出

$\displaystyle[\{x,y\},\alpha(z)]+[\alpha(y),\{x,z\}]-\{\alpha(x),[y,z]\}$	$\displaystyle=$	$\displaystyle(x\vdash y)\bot\alpha(z)-(y\dashv x)\bot\alpha(z)-\alpha(z)\bot(x\vdash y)$
	$\displaystyle+$	$\displaystyle\alpha(z)\bot(y\dashv x)+\alpha(y)\bot(x\vdash z)-\alpha(y)\bot(z\dashv x)$
	$\displaystyle-$	$\displaystyle(x\vdash z)\bot\alpha(y)+(z\dashv x)\bot\alpha(y)-\alpha(x)\vdash(y\bot z)$
	$\displaystyle+$	$\displaystyle\alpha(x)\vdash(z\bot y)+(y\bot z)\dashv\alpha(x)-(z\bot y)\dashv\alpha(x)$
	$\displaystyle=$	$\displaystyle 0.$

另一方面，我们有

$\displaystyle\{[x,y],\alpha(z)\}-\{\{x,y\},\alpha(z)\}$	$\displaystyle=$	$\displaystyle(x\bot y)\vdash\alpha(z)-(y\bot x)\vdash\alpha(z)-\alpha(z)\dashv(x\bot y)+\alpha(z)\dashv(y\bot x)$
	$\displaystyle-$	$\displaystyle(x\vdash y)\vdash\alpha(z)+(y\dashv x)\vdash\alpha(z)+\alpha(z)\dashv(x\vdash y)-\alpha(z)\dashv(y\dashv x)$
	$\displaystyle\overset{\ref{triass}}{=}$	$\displaystyle\alpha(x)\vdash(y\vdash z)-\alpha(y)\vdash(x\vdash z)-(z\dashv x)\dashv\alpha(y)+(z\dashv y)\dashv\alpha(x)$
	$\displaystyle-$	$\displaystyle(x\vdash y)\vdash\alpha(z)+(y\dashv x)\vdash\alpha(z)+\alpha(z)\dashv(x\vdash y)-\alpha(z)\dashv(y\dashv x)$
	$\displaystyle\overset{\ref{defdiass}}{=}$	$\displaystyle 0.$

因此，结果如下。

此外，我们还有以下通勤图。

Example 4.22。

由例4.9和定理4.21可知，如果 $\{e_{1},e_{2}\}$ 是 $2$ 维向量空间 $A$ 超过 $\mathbb{K}$ ，则以下括号定义 $\mathbb{K}$ 上的 Hom-Leibniz trigebra 结构

\{e_{1},e_{1}\}=ae_{1},\quad[e_{1},e_{2}]=be_{2},

其中 $a, b$ 和 $c$ 是 $\mathbb{K}$ 中的参数。

Theorem 4.23.

令 $\mathcal{H}:V\to A$ 为HLie-Act对 $(A,V)$ 上的同态相对平均算子。那么 $(V,\{\cdot,\cdot\}_{\mathcal{H}},[\cdot,\cdot]_{V},\beta)$ 是一个 Hom-triLeibniz 代数，其中

\{u,v\}_{\mathcal{H}}=\rho(\mathcal{H}u)v,

证明。

我们知道 $(V,[\cdot,\cdot]_{V},\beta)$ 是Hom-Lie代数，并且根据定理3.14可以得出 $(V,\{\cdot,\cdot\}_{\mathcal{H}},\beta)$ 是Hom-Leibniz代数。对于任何 $u,v,w\in V$ ，我们有

$\displaystyle\{\beta(u),[v,w]_{V}\}_{\mathcal{H}}$	$\displaystyle=$	$\displaystyle\rho(\mathcal{H}(\beta(u)))([v,w]_{V})$
	$\displaystyle=$	$\displaystyle\rho(\alpha(\mathcal{H}(u)))([v,w]_{V})$
	$\displaystyle\overset{\eqref{actLie}}{=}$	$\displaystyle[\rho(\mathcal{H}(u))v,\beta(w)]_{V}+[\beta(v),\rho(\mathcal{H}(u))w]_{V}$
	$\displaystyle=$	$\displaystyle[\{u,v\}_{\mathcal{H}},\beta(w)]_{V}+[\beta(v),\{v,w\}_{\mathcal{H}}]_{V}.$

另一方面，我们有

$\displaystyle\{[u,v]_{V},\beta(w)\}_{\mathcal{H}}$	$\displaystyle=$	$\displaystyle\rho(\mathcal{H}([u,v]_{V}))(\beta(w))$
	$\displaystyle=$	$\displaystyle\rho([\mathcal{H}u,\mathcal{H}v])(\beta(w))$
	$\displaystyle=$	$\displaystyle\rho(\mathcal{H}(\rho(\mathcal{H}u)v))(\beta(w))$
	$\displaystyle=$	$\displaystyle\{\{u,v\}_{\mathcal{H}},\beta(w)\}_{\mathcal{H}}$

那么，满足方程(4.14)和(4.15)。因此，结果如下。

4.3 Hom-Jordan 三代数的构建

下面，我们介绍向量空间 $V$ 上 Hom-Jordan 代数作用的概念。

Definition 4.24。

Hom-Jordan 代数 $(A,\circ,\alpha)$ 对 Hom-Jordan 代数 $(V,\ast,\beta)$ 的作用是 $A$ 的表示 $\pi:A\to gl(V)$ ，使得对于任何 $x,y\in A$ $u,v,w\in V$

	$\displaystyle\pi(\alpha(x))(\beta(v))\ast(\beta(v)\ast\beta(v))=(\pi(\alpha(x))(v\ast v))\ast\beta^{2}(v),$	(4.19)
	$\displaystyle(\pi(x)(u)\ast\beta(w))\ast\beta^{2}(v)+(\pi(x)(v)\ast\beta(w))\ast\beta^{2}(u)+\pi(\alpha^{2}(x))((u\ast v)\ast\beta(w))$
$\displaystyle=$	$\displaystyle(\pi(\alpha(x))(u\ast v))\ast\beta^{2}(w)+(\pi(\alpha(x))(u\ast w))\ast\beta^{2}(v)+(\pi(\alpha(x))(v\ast w))\ast\beta^{2}(u),$	(4.20)
	$\displaystyle(\pi(\alpha(y))(\pi(x)u))\ast\beta^{2}(v)+(\pi(\alpha(y))(\pi(x)v))\ast\beta^{2}(u)+\pi(\alpha^{2}(x))(\pi(\alpha(y))(u\ast v))$
$\displaystyle=$	$\displaystyle(\pi(x\circ y)(\beta(v)))\ast\beta^{2}(u)+\pi(\alpha^{2}(x))(\pi(y)u\ast\beta(v))+\pi(\alpha^{2}(y))(\pi(x)u\ast\beta(v)),$	(4.21)
	$\displaystyle\pi(\alpha(y)u)\ast\pi(\alpha(x)v)+\pi(\alpha(x)u)\ast\pi(\alpha(y))v+\pi(\alpha(x)\circ\alpha(y))(\beta(u)\ast\beta(v))$
$\displaystyle=$	$\displaystyle(\pi(x\circ y)(\beta(v)))\ast\beta^{2}(u)+\pi(\alpha^{2}(x))(\pi(y)u\ast\beta(v))+\pi(\alpha^{2}(y))(\pi(x)u\ast\beta(v)).$	(4.22)

我们用 $(V,\pi,\beta,\ast)$ 表示它。

HJor-Act 对是具有动作 $(V,\pi,\beta,\ast)$ 的 Hom-Jordan 代数 $(A,\circ,\alpha)$ ，并通过对 $(A,V)$ 引用它。

Proposition 4.25。

请注意，元组 $(V,\pi,\beta,\ast)$ 是 Hom-Jordan 代数 $(A,\circ,\alpha)$ 的操作，当且仅 $A\oplus V$ 携带 Hom-Jordan 代数结构，并给出给定的乘积和扭曲映射经过

	$\displaystyle(x+u)\circ_{A\oplus V}(y+v)=x\circ y+\pi(x)v+\pi(y)u+u\ast v,$
	$\displaystyle(\alpha+\beta)(x+u)=\alpha(x)+\beta(u)$

对于所有 $x,y\in A$ 和 $u,v\in B,$ ，称为 $A$ 与 $V$ 的半直积。

在[1]中，作者引入了（右）乔丹试代数的概念，即三重 $(A,\circ,\bullet)$ ，其中 $(A,\circ)$ 是一个乔丹代数， $(A,\bullet)$ 是一个乔丹拨代数，满足 $4$ 多项式等式。接下来，我们将左 Hom-Jordan 三代数定义为左 Jordan 双代数的推广。

Definition 4.26。

Hom-Jordan trigebra 是一个向量空间 $A$ ，具有两个双线性运算 $\circ,\bullet:A\times A\to A$ 和一个线性映射 $\alpha:A\to A$ ，其中 $(A,\circ,\alpha)$ 是 Hom-Jordan 代数， $(A,\bullet,\alpha)$ 是 Hom-Jordan 双代数，满足以下恒等式：

	$\displaystyle(\alpha(x_{1})\circ\alpha(x_{1}))\circ(\alpha(x_{2})\bullet\alpha(x_{1}))=(\alpha(x_{2})\bullet(x_{1}\circ x_{1}))\circ\alpha^{2}(x_{1})$	(4.23)
	$\displaystyle((x_{4}\bullet x_{1})\circ\alpha(x_{3}))\circ\alpha^{2}(x_{2})+((x_{4}\bullet x_{2})\circ\alpha(x_{3}))\circ\alpha^{2}(x_{1})+\alpha^{2}(x_{4})\bullet((x_{1}\circ x_{2})\circ\alpha(x_{3}))$
$\displaystyle=$	$\displaystyle(\alpha(x_{4})\bullet(x_{1}\circ x_{2}))\circ\alpha^{2}(x_{3})+(\alpha(x_{4})\bullet(x_{1}\circ x_{3}))\circ\alpha^{2}(x_{2})+(\alpha(x_{4})\bullet(x_{2}\circ x_{3}))\circ\alpha^{2}(x_{1})$	(4.24)
	$\displaystyle(\alpha(x_{3})\bullet(x_{4}\bullet x_{1}))\circ\alpha^{2}(x_{2})+(\alpha(x_{3})\bullet(x_{4}\bullet x_{2}))\circ\alpha^{2}(x_{1})+\alpha^{2}(x_{4})\bullet(\alpha(x_{3})\bullet(x_{1}\circ x_{2})))$
$\displaystyle=$	$\displaystyle((x_{4}\bullet x_{3})\bullet\alpha(x_{2}))\circ\alpha^{2}(x_{1})+\alpha^{2}(x_{4})\bullet((x_{3}\bullet x_{1})\circ\alpha(x_{2}))+\alpha^{2}(x_{3})\bullet((x_{4}\bullet x_{1})\circ\alpha(x_{2}))$	(4.25)
	$\displaystyle(\alpha(x_{3})\bullet\alpha(x_{1}))\circ(\alpha(x_{4})\bullet\alpha(x_{2}))+(\alpha(x_{4})\bullet\alpha(x_{1}))\circ(\alpha(x_{3})\bullet\alpha(x_{2}))+(\alpha(x_{4})\bullet\alpha(x_{3}))\bullet(\alpha(x_{1})\circ\alpha(x_{2}))$
$\displaystyle=$	$\displaystyle((x_{4}\bullet x_{3})\bullet\alpha(x_{2}))\circ\alpha^{2}(x_{1})+\alpha^{2}(x_{4})\bullet((x_{3}\bullet x_{1})\circ\alpha(x_{2}))+\alpha^{2}(x_{3})\bullet((x_{4}\bullet x_{1})\circ\alpha(x_{2})).$	(4.26)

当扭曲映射 $\alpha$ 是恒等映射时，我们恢复了Jordan三代数的经典概念。

Definition 4.27。

令 $(A,V)$ 为 HJor-Act 对。线性映射 $\mathcal{H}:V\to A$ 被称为 $A$ 上相对于 $(V,\pi,\beta,\ast)$ 的同态相对平均算子，如果它是一个相对平均算子和一个态射，即

\displaystyle\mathcal{H}(u\ast v)=\mathcal{H}(u)\circ\mathcal{H}(v),\ \forall u,v\in V.

(4.27)

Proposition 4.28。

令 $(A,V)$ 为 HJor-Act 对。那么 $(A\oplus V,\circ_{A\oplus V},\bullet_{A\oplus V},\ \alpha_{A\oplus V})$ 就是Hom-Jordan trigebra，称为半半直积Hom-Jordan trigebra，记为 $A\oplus_{TriJor}V$ ，其中

	$\displaystyle(x+u)\circ_{A\oplus V}(y+v)$	$\displaystyle=x\circ y+u\ast v,$
	$\displaystyle(x+u)\bullet_{A\oplus V}(y+v)$	$\displaystyle=x\circ y+\pi(x)v.$

证明。

对于任何 $x_{1},x_{2}\in A$ 和 $u_{1},u_{2}\in V$ 我们有

		$\displaystyle\big{(}\alpha_{A\oplus V}(x_{1}+u_{1})\circ_{A\oplus V}\alpha_{A\oplus V}(x_{1}+u_{1})\big{)}\circ_{A\oplus V}\big{(}\alpha_{A\oplus V}(x_{2}+u_{2})\bullet_{A\oplus V}\alpha_{A\oplus V}(x_{1}+u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle\big{(}(\alpha(x_{1})\circ\alpha(x_{1})+\beta(u_{1})\ast\beta(u_{1})\big{)}\circ_{A\oplus V}\big{(}\alpha(x_{2})\bullet\alpha(x_{1})+\pi(x_{2})\beta(u_{1})\big{)}$
	$\displaystyle=$	$\displaystyle(\alpha(x_{1})\circ\alpha(x_{1}))\circ(\alpha(x_{2})\bullet\alpha(x_{1}))+(\beta(u_{1})\ast\beta(u_{1}))\ast\pi(\alpha(x_{2}))\beta(u_{1})$
	$\displaystyle=$	$\displaystyle(\alpha(x_{1})\circ\alpha(x_{1}))\circ(\alpha(x_{2})\bullet\alpha(x_{1}))+\pi(\alpha(x_{2}))\beta(u_{1})\ast(\beta(u_{1})\ast\beta(u_{1}))$

另一方面，我们有

		$\displaystyle\big{(}\alpha_{A\oplus V}(x_{2}+u_{2})\bullet_{A\oplus V}((x_{1}+u_{1})\circ_{A\oplus V}(x_{1}+u_{1}))\big{)}\circ_{A\oplus V}\alpha_{A\oplus V}^{2}(x_{1}+u_{1})$
	$\displaystyle=$	$\displaystyle\big{(}\alpha(x_{2})\bullet(x_{1}\circ x_{1})+\pi(\alpha(x_{2}))(\beta(u_{1})\ast\beta(u_{1}))\big{)}\circ_{A\oplus V}(\alpha^{2}(x_{1})+\beta^{2}(u_{1}))$
	$\displaystyle=$	$\displaystyle\big{(}\alpha(x_{2})\bullet(x_{1}\circ x_{1})\big{)}\circ\alpha^{2}(x_{1})+\big{(}\pi(\alpha(x_{2}))(\beta(u_{1})\ast\beta(u_{1}))\big{)}\ast\beta^{2}(u_{1})$

因此，可以从等式得出： (4.19)，即方程。 (4.23) 满足。类似地，通过相同的计算，可以证明方程。 (4.24)、(4.25) 和 (4.26) 满足。

在下面的结果中，我们通过图来表征 Hom-Jordan 代数上的同态相对平均算子。

Theorem 4.29。

令 $(A,V)$ 为HJor-Act对，线性映射 $\mathcal{H}:V\to A$ 是Hom-Jordan代数上的同态相对平均算子 $(A,\circ,\alpha)$ 当且仅当图 $Gr(\mathcal{H})=\{\mathcal{H}u+u\ |\ u\in V\}$ 是半半直积 Hom-Jordan 三代数代数 $A\oplus_{TriJor}V$ 的 Hom-Jordan 次三代数。

证明。

令 $\mathcal{H}:V\to A$ 为线性映射。对于任何 $u,v\in V$ 我们有

	$\displaystyle(\mathcal{H}(u)+u)\bullet_{A\oplus V}(\mathcal{H}(v)+v)$	$\displaystyle=$	$\displaystyle\mathcal{H}(u)\circ\mathcal{H}(v)+\pi(\mathcal{H}(u))v,$
	$\displaystyle(\mathcal{H}(u)+u)\circ_{A\oplus V}(\mathcal{H}(v)+v)$	$\displaystyle=$	$\displaystyle\mathcal{H}(u)\circ\mathcal{H}(v)+u\ast v.$

因此，当且仅当 $\mathcal{H}$ 满足 $\mathcal{H}(u)\circ\mathcal{H}(v)=\mathcal{H}(\pi(\mathcal{H}u)v)=\mathcal{H}(u\ast v)$ 时，图 $Gr({\mathcal{H}})=\{{\mathcal{H}}u+u\ |\ u\in V\}$ 是半半直积 $A\oplus_{TriJor}V$ 的子代数，这意味着 $\mathcal{H}$ 是 HJor-Act 对 $(A,V)$ 上的同态相对平均算子。

Proposition 4.30。

令 $(A,V)$ 为 HJor-Act 对。线性映射 $\mathcal{H}:V\to A$ 是 $V$ 上 $A$ 的同态相对平均算子当且仅当映射

N_{\mathcal{H}}:(A\oplus V)\to(A\oplus V),\ x+u\mapsto\mathcal{H}(u)

是半半直积 $A\oplus_{TriJor}V$ 上的 Nijenhuis 算子。

Theorem 4.31。

令 $\mathcal{H}:V\to A$ 为HJor-Act对 $(A,V)$ 上的同态相对平均算子。那么 $(V,\bullet_{\mathcal{H}},\ast,\beta)$ 是 Hom-Jordan trigebra，其中

u\bullet_{\mathcal{H}}v=\pi(\mathcal{H}(u))v,\quad\forall u,v\in V.

(4.28)

证明。

由定理3.21可知 $(V,\bullet_{\mathcal{H}},\beta)$ 是Hom-Jordan双代数。另一方面，对于任何 $u_{1},u_{2},u_{3},u_{4}\in V$ 我们有

		$\displaystyle(\beta(u_{1})\ast\beta(u_{1}))\ast(\beta(u_{2})\bullet_{\mathcal{H}}\beta(u_{1}))-(\beta(u_{2})\bullet_{\mathcal{H}}(u_{1}\ast u_{1}))\ast\beta^{2}(u_{1})$
	$\displaystyle=$	$\displaystyle(\beta(u_{2})\bullet_{\mathcal{H}}\beta(u_{1}))\ast(\beta(u_{1})\ast\beta(u_{1}))-(\beta(u_{2})\bullet_{\mathcal{H}}(u_{1}\ast u_{1}))\ast\beta^{2}(u_{1})$
	$\displaystyle=$	$\displaystyle(\pi(\mathcal{H}(\beta(u_{2}))\beta(u_{1}))\ast(\beta(u_{1})\ast\beta(u_{1}))-(\pi(\mathcal{H}(\beta(u_{2}))(u_{1}\ast u_{1}))\ast\beta^{2}(u_{1})$
	$\displaystyle=$	$\displaystyle(\pi(\alpha(\mathcal{H}(u_{2}))\beta(u_{1}))\ast(\beta(u_{1})\ast\beta(u_{1}))-(\pi(\alpha(\mathcal{H}(u_{2}))(u_{1}\ast u_{1}))\ast\beta^{2}(u_{1})$
	$\displaystyle\overset{\eqref{ActHJ1}}{=}$	$\displaystyle 0.$

然后，方程。 (4.23) 满足。类似地，可以检查等式(4.24)、(4.25)和(4.26)。

根据定理3.25，我们有以下结果

Theorem 4.32。

令 $\mathcal{H}:V\to A$ 为HAss-Act对 $(A,V)$ 上的同态相对平均算子。那么 $\mathcal{H}$ 是关联 Hom-Jordan 代数 $(A,\circ=\cdot+\cdot^{op},\alpha)$ 上相对于动作 $(V,\pi=l+r,\beta,\ast=\cdot_{V}+\cdot_{V}^{op})$ 的同态相对平均算子。

此外，如果 $(V,\vdash,\dashv,\bot,\beta)$ 是与Hom结合代数 $(A,\cdot,\alpha)$ 相关联的Hom结合三代数。那么 $(V,\bullet,\ast,\beta)$ 是 Hom-Jordan trigebra，其中 $"\bullet"$ 是等式中定义的反二易子。 (2.16)。

更一般地，我们有下图，它总结并扩展了 Hom-Lie 和 Hom-Jordan 代数在 Hom-双代数和 Hom-三代数层面上的可接受性。

参考

[1] F. Bagherzadeh, M. Bremner, S. Madariaga, Jordan trialgebras and post-Jordan algebras, Journal of Algebra, 486 (2017), 360–395
[2] C. Bai, O. Bellier, L. Guo and X. Ni, Splitting of operations, Manin products and Rota-Baxter operators, Int. Math. Res. Not. 2013, no. 3 (2013), 485-524.
[3] E. A. Bergshoeff, M. de Roo and O. Hohm, Multiple M2-branes and the embedding tensor. Classical Quantum Gravity 25 (2008), 142001, 10 pp.
[4] G. Birkhoff, Moyennes de fonctions bornées, Coil. Internat. Centre Nat. Recherthe Sci. (Paris), Algébre Théforie Nombres 24 (1949), 149-153.
[5] R. Bonezzi and O. Hohm, Leibniz gauge theories and infinity structures, Commun. Math. Phys. 377 (2020), 2027-2077.
[6] B. Brainerd, On the structure of averaging operators, J. Math. Anal. 5 (1962), 347-377.
[7] W. Cao, An algebraic study of averaging operators, Ph.D. Thesis, Rutgers University at Newark (2000).
[8] A. Das, Controlling structures, deformations and homotopy theory for averaging algebras. arXiv preprint arXiv:2303.17798. (2023).
[9] A. Das, A. Makhlouf, (2023). Embedding tensors on Hom-Lie algebras. arXiv preprint arXiv:2304.04178.
[10] A. Das and R. Mandal, Averaging algebras of any nonzero weight. arXiv preprint arXiv:2304.12593.(2023).
[11] J. J. Fernandez-Melgarejo, T. Ortin and E. Torrente-Lujan, Maximal nine dimensional supergravity, general gaugings and the embedding tensor. Fortschr. Phys. 60 (2012), 1012-1018
[12] J. L. B. Gamlen and J.B. Miller, Averaging operators and Reynolds operators on Banach algebras II. spectral properties of averaging operators, J. Math. Anal. Appl 23 (1968), 183-197.
[13] J. T. Hartwig, D. Larsson, and S.D. Silvestrov, Deformations of Lie algebras using $\sigma$ -derivations, J. Algebra 295 (2006) 314–361.
[14] J. Kampé de Fériet, L’etat actuel du probléme de la turbulaence (I and II), La Sci. Aérienne 3 (1934) 9-34, 4 (1935), 12-52.
[15] J. L. Kelly, Averaging operators on $C_{\infty}(X)$ , Illinois J. Math. 2 (1958), 214-223.
[16] P. S. Kolesnikov, (2008). Varieties of dialgebras and conformal algebras. Siberian Mathematical Journal, 49(2), 257-272.
[17] A. Kotov and T. Strobl, The embedding tensor, Leibniz-Loday algebras, and their higher gauge theories. Comm. Math. Phys. 376 (2020), 235-258.
[18] D. Larsson and S. D. Silvestrov, Quasi-Hom-Lie algebras, Central Extensions and 2-cocycle-like identities. J. of Algebra, 288 (2005), 321–344.
[19] S. Lavau, Tensor hierarchies and Leibniz algebras. J. Geom. Phys. 144 (2019), 147-189.
[20] E. Mainellis, (2022). Classification of Low-dimensional Complex triassociative algebras. arXiv preprint arXiv:2209.04351.
[21] A. Makhlouf, Hom-alternative algebras and Hom-Jordan algebras, arXiv: 0909.0326.
[22] A. Makhlouf, (2012). Hom-dendriform algebras and Rota-Baxter Hom-algebras. In Operads and Universal Algebra (pp. 147-171).
[23] A. Makhlouf and S. Silvestrov, Hom-algebra structures, J. Gen. Lie Theory Appl. 2 (2008) 51–64.
[24] J. B. Miller, Averaging and Reynolds operators on Banach algebra I, Representation by derivation and antiderivations, J. Math. Anal. Appl. 14 (1966), 527-548.
[25] S.-T. C. Moy, Characterizations of conditional expectation as a transformation on function spaces, Pacific J. Math. 4 (1954), 47-63.
[26] H. Nicolai and H. Samtleben, Maximal gauged supergravity in three dimensions. Phys. Rev. Lett. 86 (2001), 1686-1689.
[27] J. Pei, C. Bai, L. Guo and X. Ni, Replicators, Manin white product of binary operads and average operators, New Trends in Algebras and Combinatorics, pp. 317-353 (2020).
[28] J. Pei, C. Bai, L. Guo and X. Ni, Disuccessors and duplicators of operads, Manin products and operators, In “Symmetries and Groups in Contemporary Physics”, Nankai Series in Pure, Applied Mathematics and Theoretical Physics 11 (2013), 191-196.
[29] J. Pei and L. Guo, Averaging algebras, Schröder numbers, rooted trees and operads, J. Algebr. Comb. 42 (2015), 73-109.
[30] Y. Sheng, R. Tang (2023). Nonabelian embedding tensors. Letters in Mathematical Physics, 113(1), 14.
[31] O. Reynolds, On the dynamic theory of incompressible viscous fluids, Phil. Trans. Roy. Soc. A 136 (1895), 123-164.
[32] Y. Sheng, R. Tang and C. Zhu, The controlling $L_{\infty}$ -algebra, cohomology and homotopy of embedding tensors and Lie-Leibniz triples, Commun. Math. Phys. 386 (2021), 269-304.
[33] T. Strobl, Leibniz-Yang-Mills gauge theories and the $2$ -Higgs mechanism, Phys. Rev. D 99 (2019), 115026.
[34] D. Yau, Hom-Maltsev, Hom-alternative and Hom-Jordan algebras. International Electronic Journal of algebras, 11 (2012), 177–217.