On Lie Derivations, Generalized Lie Derivations and Lie Centralizers of Octonion Algebras

Arshad, Minahal; Munir, M.

doi:10.61091/ars157-02

Abstract

References

Ars Combinatoria

Volume 157
Pages: 23-37

Research article

On Lie Derivations, Generalized Lie Derivations and Lie Centralizers of Octonion Algebras

^¹, ^¹

¹Department of Mathematics, University of the Punjab, Quaid-e-Azam Campus, Lahore, Pakistan.

Received: 21/07/2023
Revised: 19/01/2024
Accepted: 16/11/2023
Published: 22/11/2023

Copyright Link
License

Abstract

Let $L$ be a unital ring with characteristic different from $2$ and $O (L)$ be an algebra of Octonion over $L$ . In the present article, our attempt is to present the characterization as well as the matrix representation of some variants of derivations on $O (L)$ . The matrix representation of Lie derivation of $O (L)$ and its decomposition in terms of Lie derivation and Jordan derivation of $L$ and inner derivation of $O$ is presented. The result about the decomposition of Lie centralizer of $O$ in terms of Lie centralizer and Jordan centralizer of $L$ is given. Moreover, the matrix representation of generalized Lie derivation (also known as $D$ -Lie derivation) of $O (L)$ is computed.

Keywords: The Octonion algebra, Lie Derivations,

D

-Lie Derivations, Lie Centralizer

1. Introduction

It is well known that derivation is a function of an algebra which generalizes certain features of the derivative operator. It gives an interesting insight to understand the structure and local properties of an algebra. The concept to study the structure of ring theory and derivations though established long back, but got stimulated after Posner in [1] described some important results on the derivations of prime rings. A fundamental problem in the theory of derivations is to determine all the derivations on an algebra. Over the years, many important variants of derivation have been presented. Among these variants, Lie derivation and its generic extension is currently more interesting and attracting. Lie centralizer is not so common but very meaningful variant. These variants are being widely discussed now a days.

Let $O$ be a unital algebra and the center of $O$ is denoted by $Z (O)$ . We denote the commutator (Lie product) and Jordan product of $x_{1}, x_{2}$ by $[x_{1}, x_{2}] = x_{1} x_{2} - x_{2} x_{1}$ and $x_{1} \circ x_{2} = x_{1} x_{2} + x_{2} x_{1}$ respectively for all $x_{1}, x_{2} \in O$ . We say that a ring $O$ is an $F$ -algebra ( $F$ is a field) if $O$ is an $F$ -vector space equipped with a bilinear product. Let $D : O \to O$ be an additive map. We say $D$ is a derivation (respectively Jordan derivation) if $D [x_{1}, x_{2}] = [D (x_{1}), x_{2}] + [x_{1}, D (x_{2})]$ (respectively $D (x^{2}) = D (x) x + x D (x)$ ), for all $x, x_{1}, x_{2} \in O$ . For an element $α \in O$ , the mapping $I_{α} : O \to O$ given by $I_{α} (x) = x α - α x$ for all $x \in O$ is called an inner derivation of $O$ induced by $α$ . Let $ξ : O \to O$ be an additive map. The map $ξ$ is said to be right (left) centralizer if $ξ (x_{1} x_{2}) = x_{1} ξ (x_{2})$ $(ξ (x_{1} x_{2}) = ξ (x_{1}) x_{2})$ for all $x_{1}, x_{2} \in O$ . We say that $φ$ is an Jordan centralizer if $φ (x_{1} \circ x_{2}) = φ (x_{1}) \circ x_{2}$ for all $x_{1}, x_{2} \in O$ . An additive map $ξ : O \to O$ is called a Lie centralizer if $ξ [x_{1}, x_{2}] = [ξ (x_{1}), x_{2}]$ for all $x_{1}, x_{2} \in O$ .

The characterization of Lie centralizer of quaternion algebra is given in [2]. The characterization of Lie centralizers and their generalizations is now widely studied on different kinds of algebras by many authors in ([3,4,5,6,7]). Fosner et al. characterised Lie centralizers of triangular tings and nest algebras in [3]. Ashrafi et al. computed multiplicative generalized Lie $n$ -derivations of unital rings with idempotents and $σ$ -centralizers generalized matrix algebras in [4] and [5] respectively. Fadaee et al. characterized Lie centralizers at the zero product of generalized matrix algebras in [6] and Lie triple centralizers of generalized matrix algebras in [7]. In [8], Martindale described the standard form of Lie derivation on certain primitive rings. Similar results have been discussed on von Neumann algebras by Miers [9]. Mokhtari $e t a l .$ computed Lie derivations on trivial extension algebras in [10]. It is obvious that every Lie derivation is a generalized Lie derivation. Besides there are two different definitions of generalized Lie derivations in literature. One is introduced by Atsushi Nakajima [11] which is stated as: for an additive map $F : O \to O$ , we say that $F$ is generalized Lie derivation (also known as $D$ -Lie derivation) if there exist a Lie derivation $D : O \to O$ such that $F [x_{1}, x_{2}] = [F (x_{1}), x_{2}] + [x_{1}, D (x_{2})]$ for all $x_{1}, x_{2} \in D$ and the other is by Bojan Hvala [12] which is stated as: for an additive map $F : O \to O$ , we say that $F$ is generalized Lie derivation if there exist a linear map $D : O \to O$ such that $F [x_{1}, x_{2}] = F (x_{1}) x_{2} - F (x_{2}) x_{1} + x_{1} D (x_{2}) - x_{2} D (x_{1})$ for all $x_{1}, x_{2} \in D$ . Both definitions are equally being discussed by mathematicians. Hvala discussed the generalized Lie derivations on rings and proved that every generalized Lie derivation on a prime ring can be written as the sum of a generalized derivation and a central map. Benkovič [13] proved that every generalized Lie derivation from a unital algebra onto a unitary bimodule can be written in the sum of a generalized derivation and a central map that vanishes on the commutators of the algebra. The description of generalized Lie derivation of Lie ideals of prime algebras and nonlinear generalized Lie derivation of some classical triangular algebras are respectively given in [14, 15]. The generalized Lie derivations of prime rings are discussed in [16] by using both definitions. Hvala’s definition of generalized Lie derivation covers both generalized derivations and $D$ -Lie derivations. On the other hand, Nakajima’s definition is more favourable which unifies the notions of Lie derivation and Lie centralizer. We will, in particular focus on Nakajima’s definition to compute the matrix representation of generalized Lie derivations of algebra of Octonion. The discussion about local and $2$ -local derivation of Octonion algebra have been discussed in [17]. Later, this discussion was extended to Cayley algebras in [18].

Mainly, our focus in this article is to describe the matrix representation as well as the characterization of Lie derivation of Octonion algebras equipped with commutator product. Authors characterized in [19], the Lie triple derivations of algebra of tensor product of some algebra $T$ and quaternion algebra. Ghahramani $e t a l .$ in [20] proved results on the characterization of generalized derivation and generalized Jordan derivation of ring of quaternion and in [21] discussed the characterization of Lie derivation and its natural generic extension of quaternion ring.

This article is arranged in the following order: Section $2$ contains some minor details of Octonion algebras equipped with commutator product denoted by $O$ . In Sections $3$ and $4$ , matrix representation of Lie derivation as well as decomposition of Lie derivation of octonion algebra in terms of Lie derivation and Jordan derivation of $L$ and inner derivation of $O$ is presented. Section $5$ contains the characterization of Lie centralizer of Octonion algebras. In Section $6$ , the matrix representation of generalized Lie derivation is computed.

2. The Octonion Algebra $O$

Let $L$ be an arbitrary $2$ -torsion free unital ring. The octonion algebra (denoted by $O$ ) over $L$ is a class of non-associative algebra. It is a unital nonassociative algebra of dimension $8$ with the basis $B = {e_{0}, e_{1}, e_{2}, e_{3}, e_{4}, e_{5}, e_{6}, e_{7}}$ and the product defined in the following table.

$e_{j}$
$e_{i}$	$e_{i} . e_{j}$	$e_{0}$	$e_{1}$	$e_{2}$	$e_{3}$	$e_{4}$	$e_{5}$	$e_{6}$	$e_{7}$
	$e_{0}$	$e_{0}$	$e_{1}$	$e_{2}$	$e_{3}$	$e_{4}$	$e_{5}$	$e_{6}$	$e_{7}$
	$e_{1}$	$e_{1}$	$- e_{0}$	$e_{3}$	$- e_{2}$	$e_{5}$	$- e_{4}$	$- e_{7}$	$e_{6}$
	$e_{2}$	$e_{2}$	$- e_{3}$	$- e_{0}$	$e_{1}$	$e_{6}$	$e_{7}$	$- e_{4}$	$- e_{5}$
	$e_{3}$	$e_{3}$	$e_{2}$	$- e_{1}$	$- e_{0}$	$e_{7}$	$- e_{6}$	$e_{5}$	$- e_{4}$
	$e_{4}$	$e_{4}$	$- e_{5}$	$- e_{6}$	$- e_{7}$	$- e_{0}$	$e_{1}$	$e_{2}$	$e_{3}$
	$e_{5}$	$e_{5}$	$e_{4}$	$- e_{7}$	$e_{6}$	$- e_{1}$	$- e_{0}$	$- e_{3}$	$e_{2}$
	$e_{6}$	$e_{6}$	$e_{7}$	$e_{4}$	$- e_{5}$	$- e_{2}$	$e_{3}$	$- e_{0}$	$- e_{1}$
	$e_{7}$	$e_{7}$	$- e_{6}$	$e_{5}$	$e_{4}$	$- e_{3}$	$- e_{2}$	$e_{1}$	$- e_{0}$

<span id="corank1" label="corank1"

The table can be summarized as follows: $\begin{aligned} e_{i} . e_{j} = {\begin{cases} e_{j}, & if i = 0; \\ e_{i}, & if j = 0; \\ - δ_{i j} e_{0} + ϵ_{i j k} e_{k}, & otherwise, \end{cases} \end{aligned}$ where $δ_{i j}$ is the Kronecker delta and $ϵ_{i j k}$ is a completely antisymmetric tensor with value +1 when $i j k = 123, 145, 176, 246, 257, 347, 365$ .
An octonion $x$ is of the form $x = x_{0} e_{0} + x_{1} e_{1} + x_{2} e_{2} + x_{3} e_{3} + x_{4} e_{4} + x_{5} e_{5} + x_{6} e_{6} + x_{7} e_{7}$ with real coefficients $x_{i}$ . By using the product defined in the table given above, we can have the following relations; $\begin{aligned} [e_{1}, e_{2}] = 2 e_{3}, [e_{1}, e_{3}] = - 2 e_{2}, [e_{1}, e_{4}] = 2 e_{5}, [e_{1}, e_{5}] = - 2 e_{4}, [e_{1}, e_{6}] = - 2 e_{7}, [e_{1}, e_{7}] = 2 e_{6}, [e_{2}, e_{3}] = 2 e_{1}, \\ [e_{2}, e_{4}] = 2 e_{6}, [e_{2}, e_{5}] = 2 e_{7}, [e_{2}, e_{6}] = - 2 e_{4}, [e_{2}, e_{7}] = - 2 e_{5}, [e_{3}, e_{4}] = 2 e_{7}, [e_{3}, e_{5}] = - 2 e_{6}, [e_{3}, e_{6}] = 2 e_{5}, \\ [e_{3}, e_{7}] = - 2 e_{4}, [e_{4}, e_{5}] = 2 e_{1}, [e_{4}, e_{6}] = 2 e_{2}, [e_{4}, e_{7}] = 2 e_{3}, [e_{5}, e_{6}] = - 2 e_{3}, [e_{5}, e_{7}] = 2 e_{2}, [e_{6}, e_{7}] = - 2 e_{1} . \end{aligned}$ Using the above product on the basis as Lie product and extend it by linearity, we can equip this product on $O$ .

3. Lie Derivation of Octonion Algebra $O$

In this section, we compute matrix representation of Lie derivation of the octonion Algebra. Let $D : O \to O$ be a Lie derivation. $D$ admits a matrix representation with respect to the basis, which is an $8 \times 8$ matrix $[D] = (β_{i j})^{T}$ whose entries are defined by $\begin{aligned} (1) & D (e_{i - 1}) = \sum_{j = 1}^{8} β_{i j} e_{j - 1}, 1 \leq i \leq 8. \end{aligned}$ Each column of $[D]$ is an element of $O$ .

Theorem 1. The algebra of Lie derivations of Octonions is generated by the following matrices: $\begin{aligned} = (\begin{array}{c} β_{11} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & - β_{23} & - β_{24} & - β_{25} & - β_{26} & - β_{27} & - β_{28} \\ 0 & β_{23} & 0 & - β_{34} & - β_{35} & - β_{36} & - β_{37} & - β_{38} \\ 0 & β_{24} & β_{34} & 0 & - β_{27} + β_{36} & - β_{28} - β_{35} & β_{25} - β_{38} & β_{26} + β_{37} \\ 0 & β_{25} & β_{35} & β_{27} - β_{36} & 0 & - β_{56} & - β_{57} & - β_{58} \\ 0 & β_{26} & β_{36} & β_{28} + β_{35} & β_{56} & 0 & - β_{23} - β_{58} & - β_{24} + β_{57} \\ 0 & β_{27} & β_{37} & - β_{25} + β_{38} & β_{57} & β_{23} + β_{58} & 0 & - β_{34} - β_{56} \\ 0 & β_{28} & β_{38} & - β_{26} - β_{37} & β_{58} & β_{24} - β_{57} & β_{34} + β_{56} & 0 \end{array}) \end{aligned}$

Proof. Let $D$ be a Lie derivation of $O$ . Then we write $\begin{aligned} D (e_{i - 1}) = \sum_{j = 1}^{8} β_{i j} e_{j - 1}, 1 \leq i \leq 8 \end{aligned}$ for some arbitrary $β_{i j}^{'} s \in L$ . Applying $D$ on the identity $[e_{0}, e_{j}] = 0$ for $1 \leq j \leq 7$ . So, we get $β_{1 j} = 0$ for $2 \leq j \leq 7$ .
Applying $D$ on identities $e_{3} = \frac{1}{2} [e_{1}, e_{2}]$ , $e_{3} = \frac{1}{2} [e_{4}, e_{7}]$ and $e_{3} = \frac{1}{2} [e_{6}, e_{5}]$ , we get $\begin{aligned} D (e_{3}) = & \frac{1}{2} (2 β_{22} e_{3} - 2 β_{24} e_{1} - 2 β_{25} e_{6} - 2 β_{26} e_{7} + 2 β_{27} e_{4} + 2 β_{28} e_{5} + 2 β_{33} e_{3} - 2 β_{34} e_{2} + 2 β_{35} e_{5} \\ - 2 β_{36} e_{4} - 2 β_{37} e_{7} + 2 β_{38} e_{6}) \\ = & (2 β_{52} e_{6} - 2 β_{53} e_{5} - 2 β_{54} e_{4} + 2 β_{55} e_{3} + 2 β_{56} e_{2} - 2 β_{57} e_{1} - 2 β_{82} e_{5} - 2 β_{83} e_{6} - 2 β_{84} e_{7} \\ + 2 β_{86} e_{1} + 2 β_{87} e_{2} + 2 β_{88} e_{3}) \\ = & (- 2 β_{62} e_{7} - 2 β_{63} e_{4} + 2 β_{64} e_{5} + 2 β_{65} e_{2} - 2 β_{66} e_{3} + 2 β_{68} e_{1} + 2 β_{72} e_{4} - 2 β_{73} e_{7} + 2 β_{74} e_{6} \\ - 2 β_{75} e_{1} - 2 β_{77} e_{3} + 2 β_{78} e_{2}) . \end{aligned}$

Now by applying $D$ on $e_{1} = \frac{1}{2} [e_{2}, e_{3}], e_{1} = \frac{1}{2} [e_{4}, e_{5}]$ and $e_{1} = - \frac{1}{2} [e_{6}, e_{7}]$ , we get $\begin{aligned} D (e_{1}) = & \frac{1}{2} (- 2 β_{32} e_{2} + 2 β_{33} e_{1} - 2 β_{35} e_{7} + 2 β_{36} e_{6} - 2 β_{37} e_{5} + 2 β_{38} e_{4} - 2 β_{42} e_{3} + 2 β_{44} e_{1} + 2 β_{45} e_{6} \\ + 2 β_{46} e_{7} - 2 β_{47} e_{4} - 2 β_{48} e_{5}) \\ = & \frac{1}{2} (- 2 β_{52} e_{4} + 2 β_{53} e_{7} - 2 β_{54} e_{6} + 2 β_{55} e_{1} + 2 β_{57} e_{3} - 2 β_{58} e_{2} - 2 β_{62} e_{5} - 2 β_{63} e_{6} - 2 β_{64} e_{7} \\ + 2 β_{66} e_{1} + 2 β_{67} e_{2} + 2 β_{68} e_{3}) \\ = & - \frac{1}{2} (2 β_{72} e_{6} - 2 β_{73} e_{5} - 2 β_{74} e_{4} + 2 β_{75} e_{3} + 2 β_{76} e_{2} - 2 β_{77} e_{1} + 2 β_{82} e_{7} + 2 β_{83} e_{4} - 2 β_{84} e_{5} \\ - 2 β_{85} e_{2} + 2 β_{86} e_{3} - 2 β_{88} e_{1}) . \end{aligned}$ Now by applying $D$ on $[e_{1}, e_{3}], [e_{4}, e_{6}]$ and $[e_{5}, e_{7}]$ , we get $\begin{aligned} D (e_{2}) = & - \frac{1}{2} (- 2 β_{22} e_{2} + 2 β_{23} e_{1} - 2 β_{25} e_{7} + 2 β_{26} e_{6} - 2 β_{27} e_{5} + 2 β_{28} e_{4} + 2 β_{43} e_{3} - 2 β_{44} e_{2} + 2 β_{45} e_{5} \\ - 2 β_{46} e_{4} - 2 β_{47} e_{7} + 2 β_{48} e_{6}) \\ = & \frac{1}{2} (- 2 β_{52} e_{7} - 2 β_{53} e_{4} + 2 β_{54} e_{5} + 2 β_{55} e_{2} - 2 β_{56} e_{3} + 2 β_{58} e_{1} - 2 β_{72} e_{5} - 2 β_{73} e_{6} - 2 β_{74} e_{7} \\ + 2 β_{76} e_{1} + 2 β_{77} e_{2} + 2 β_{78} e_{3}) \\ = & \frac{1}{2} (2 β_{62} e_{6} - 2 β_{63} e_{5} - 2 β_{64} e_{4} + 2 β_{65} e_{3} + 2 β_{66} e_{2} - 2 β_{67} e_{1} + 2 β_{82} e_{4} - 2 β_{83} e_{7} + 2 β_{84} e_{6} \\ - 2 β_{85} e_{1} - 2 β_{87} e_{3} + 2 β_{88} e_{2}) . \end{aligned}$ Similarly by applying $D$ on all the remaining identities, we get for $D (e_{4})$ $\begin{aligned} D (e_{4}) = & - \frac{1}{2} (- 2 β_{22} e_{4} + 2 β_{23} e_{7} - 2 β_{24} e_{6} + 2 β_{25} e_{1} + 2 β_{27} e_{3} - 2 β_{28} e_{2} + 2 β_{63} e_{3} - 2 β_{64} e_{2} + 2 β_{65} e_{5} \\ - 2 β_{66} e_{4} - 2 β_{67} e_{7} + 2 β_{68} e_{6}) \\ = & - \frac{1}{2} (- 2 β_{32} e_{7} - 2 β_{33} e_{4} + 2 β_{34} e_{5} + 2 β_{35} e_{2} - 2 β_{36} e_{3} + 2 β_{38} e_{1} - 2 β_{72} e_{3} + 2 β_{74} e_{1} + 2 β_{75} e_{6} \\ + 2 β_{76} e_{7} - 2 β_{77} e_{4} - 2 β_{78} e_{5}) \\ = & - \frac{1}{2} (2 β_{42} e_{6} - 2 β_{43} e_{5} - 2 β_{44} e_{4} + 2 β_{45} e_{3} + 2 β_{46} e_{2} - 2 β_{47} e_{1} + 2 β_{82} e_{2} - 2 β_{83} e_{1} + 2 β_{85} e_{7} \\ - 2 β_{86} e_{6} + 2 β_{87} e_{5} - 2 β_{88} e_{4}) . \end{aligned}$ For $D (e_{5})$ , $\begin{aligned} D (e_{5}) = & \frac{1}{2} (2 β_{22} e_{5} + 2 β_{23} e_{6} + 2 β_{24} e_{7} - 2 β_{26} e_{1} - 2 β_{27} e_{2} - 2 β_{28} e_{3} + 2 β_{53} e_{3} - 2 β_{54} e_{2} + 2 β_{55} e_{5} \\ - 2 β_{56} e_{4} - 2 β_{57} e_{7} + 2 β_{58} e_{6}) \\ = & - \frac{1}{2} (2 β_{32} e_{6} - 2 β_{33} e_{5} - 2 β_{34} e_{4} + 2 β_{35} e_{3} + 2 β_{36} e_{2} - 2 β_{37} e_{1} - 2 β_{82} e_{3} + 2 β_{84} e_{1} + 2 β_{85} e_{6} \\ + 2 β_{86} e_{7} - 2 β_{87} e_{4} - 2 β_{88} e_{5}) \\ = & \frac{1}{2} (- 2 β_{42} e_{7} - 2 β_{43} e_{4} + 2 β_{44} e_{5} + 2 β_{45} e_{2} - 2 β_{46} e_{3} + 2 β_{48} e_{1} + 2 β_{72} e_{2} - 2 β_{73} e_{1} + 2 β_{75} e_{7} \\ - 2 β_{76} e_{6} + 2 β_{77} e_{5} - 2 β_{78} e_{4}) . \end{aligned}$ For $D (e_{6})$ , $\begin{aligned} D (e_{6}) = & \frac{1}{2} (2 β_{22} e_{6} - 2 β_{23} e_{5} - 2 β_{24} e_{4} + 2 β_{25} e_{3} + 2 β_{26} e_{2} - 2 β_{27} e_{1} + 2 β_{83} e_{3} - 2 β_{84} e_{2} + 2 β_{85} e_{5} \\ - 2 β_{86} e_{4} - 2 β_{87} e_{7} + 2 β_{88} e_{6}) \\ = & \frac{1}{2} (2 β_{32} e_{5} + 2 β_{33} e_{6} + 2 β_{34} e_{7} - 2 β_{36} e_{1} - 2 β_{37} e_{2} - 2 β_{38} e_{3} - 2 β_{52} e_{3} + 2 β_{54} e_{1} + 2 β_{55} e_{6} \\ + 2 β_{56} e_{7} - 2 β_{57} e_{4} - 2 β_{58} e_{5}) \\ = & - \frac{1}{2} (- 2 β_{42} e_{4} + 2 β_{43} e_{7} - 2 β_{44} e_{6} + 2 β_{45} e_{1} + 2 β_{47} e_{3} - 2 β_{48} e_{2} + 2 β_{62} e_{2} - 2 β_{63} e_{1} + 2 β_{65} e_{7} \\ - 2 β_{66} e_{6} + 2 β_{67} e_{5} - 2 β_{68} e_{4}) . \end{aligned}$ For $D (e_{7})$ , $\begin{aligned} D (e_{7}) = & - \frac{1}{2} (- 2 β_{22} e_{7} - 2 β_{23} e_{4} + 2 β_{24} e_{5} + 2 β_{25} e_{2} - 2 β_{26} e_{3} + 2 β_{28} e_{1} + 2 β_{73} e_{3} - 2 β_{74} e_{2} + 2 β_{75} e_{5} \\ - 2 β_{76} e_{4} - 2 β_{77} e_{7} + 2 β_{78} e_{6}) \\ = & \frac{1}{2} (- 2 β_{32} e_{4} + 2 β_{33} e_{7} - 2 β_{34} e_{6} + 2 β_{35} e_{1} + 2 β_{37} e_{3} - 2 β_{38} e_{2} - 2 β_{62} e_{3} + 2 β_{64} e_{1} + 2 β_{65} e_{6} \\ + 2 β_{66} e_{7} - 2 β_{67} e_{4} - 2 β_{68} e_{5}) \\ = & \frac{1}{2} (2 β_{42} e_{5} + 2 β_{43} e_{6} + 2 β_{44} e_{7} - 2 β_{46} e_{1} - 2 β_{47} e_{2} - 2 β_{48} e_{3} + 2 β_{52} e_{2} - 2 β_{53} e_{1} + 2 β_{55} e_{7} \\ - 2 β_{56} e_{6} + 2 β_{57} e_{5} - 2 β_{58} e_{4}) . \end{aligned}$ By comparing the coefficients, we get $β_{i 1} = 0$ for $2 \leq i \leq 8$ , $β_{i j} = 0$ for $2 \leq i, j \leq 8$ with $i = j$ and $β_{j i} = - β_{i j}$ for $2 \leq i, j \leq 8$ with $i \neq j$ . Specifically, $β_{45} = β_{27} - β_{36}$ , $β_{46} = β_{28} + β_{35}$ , $β_{47} = - β_{25} + β_{38}$ , $β_{48} = - β_{26} - β_{37}$ , $β_{67} = β_{23} + β_{58}$ , $β_{68} = β_{24} - β_{57}$ and $β_{78} = β_{34} + β_{56}$ .

Theorem 2. Let $x = \sum_{i = 1}^{8} x_{i} e_{i - 1} \in O$ . Let $D : O \to O$ be a Lie derivation. Then $D (x)$ can be written as $D (x) = x_{1} β_{11} e_{0} + (- x_{3} β_{23} - x_{4} β_{24} - x_{5} β_{25} - x_{6} β_{26} - x_{7} β_{27} - x_{8} β_{28}) e_{1} + (x_{2} β_{23} - x_{4} β_{34} - x_{5} β_{35} - x_{6} β_{36} - x_{7} β_{37} - x_{8} β_{38}) e_{2} + (x_{2} β_{24} + x_{3} β_{34} + x_{5} (- β_{27} + β_{36}) + x_{6} (- β_{28} - β_{35}) + x_{7} (β_{25} - β_{38}) + x_{8} (β_{26} + β_{37})) e_{3} + (x_{2} β_{25} + x_{3} β_{35} + x_{4} (β_{27} - β_{36}) - x_{6} β_{56} - x_{7} β_{57} - x_{8} β_{58}) e_{4} + (x_{2} β_{26} + x_{3} β_{36} + x_{4} (β_{28} + β_{35}) + x_{5} β_{56} + x_{7} (- β_{23} - β_{58}) + x_{8} (- β_{24} + β_{57})) e_{5} + (x_{2} β_{27} + x_{3} β_{37} + x_{4} (- β_{25} + β_{38}) + x_{5} β_{57} + x_{6} (β_{23} + β_{58}) + x_{8} (- β_{34} - β_{56})) e_{6} + (x_{2} β_{28} + x_{3} β_{38} + x_{4} (- β_{26} - β_{37}) + x_{5} β_{58} + x_{6} (β_{24} - β_{57}) + x_{7} (β_{34} + β_{56})) e_{7}$ .

Proof. Applying $D$ on $x$ gives $\begin{aligned} D (x) = \sum_{i = 1}^{8} x_{i} D (e_{i - 1}) . \end{aligned}$ Substituting the values of $D (e_{i})^{'} s$ , which is computed in matrix representation of $D$ in above theorem yields $\begin{aligned} D (x) = & x_{1} β_{11} e_{0} + x_{2} (β_{23} e_{2} + β_{24} e_{3} + β_{25} e_{4} + β_{26} e_{5} + β_{27} e_{6} + β_{28} e_{7}) + x_{3} (- β_{23} e_{1} \\ + β_{34} e_{3} + β_{35} e_{4} + β_{36} e_{5} + β_{37} e_{6} + β_{38} e_{7}) + x_{4} (- β_{24} e_{1} - β_{34} e_{2} + (β_{27} - β_{36}) e_{4} \\ + (β_{28} + β_{35}) e_{5} + (- β_{25} + β_{38}) e_{6} + (- β_{26} - β_{37}) e_{7}) + x_{5} (- β_{25} e_{1} - β_{35} e_{2} \\ + (- β_{27} + β_{36}) e_{3} + β_{56} e_{5} + β_{57} e_{6} + β_{58} e_{7}) + x_{6} (- β_{26} e_{1} - β_{36} e_{2} + (- β_{28} - β_{35}) e_{3} \\ - β_{56} e_{4} + (β_{23} + β_{58}) e_{6} + (β_{24} - β_{57}) e_{7}) + x_{7} (- β_{27} e_{1} - β_{37} e_{2} + (β_{25} - β_{38}) e_{3} \\ - β_{57} e_{4} + (- β_{23} - β_{58}) e_{5} + (β_{34} + β_{56}) e_{7}) + x_{8} (- β_{28} e_{1} - β_{38} e_{2} + (β_{26} + β_{37}) e_{3} \\ - β_{58} e_{4} + (- β_{24} + β_{57}) e_{5} + (- β_{34} - β_{56}) e_{6}) . \end{aligned}$ Summarizing the above expression yields our required result.

4. Characterizing Lie Derivation of Octonion Algebra $O$

Our next task is to present characterization of Lie derivations of the algebra of Octonion. In Theorem $2.2$ of [21], it is shown that if $S$ be a $2$ -torsion free ring and $R = H (S)$ be quaternion ring, then every Lie derivation of $R$ can be decomposed in terms of Jordan derivation and Lie derivation of $S$ and an inner derivation of $R$ , for every element $t \in R$ . Here, we have:

Theorem 3. Let $D : O \to O$ be a Lie derivation. Then there exist an element $A$ in $O$ , a Lie derivation $δ$ and a Jordan derivation $ψ$ on $L$ such that $\begin{aligned} D (t) = δ (x_{1}) e_{0} + \sum_{i = 2}^{8} ψ (x_{i}) e_{i - 1} + I_{A} (t) \end{aligned}$ for every element $t = \sum_{i = 1}^{8} x_{i} e_{i - 1} \in O$ .

Proof. Since $D$ is an additive map, we can write $\begin{aligned} (2) & D (e_{i - 1}) = \sum_{j = 1}^{8} β_{i j} e_{j - 1}, 1 \leq i \leq 8. \end{aligned}$ for some $β_{i j}^{'} s \in L$ . It can be easily seen that $β_{11} \in Z (L)$ . Next, we will fine $D (s e_{i})^{'} s$ with $i = 0, 1, \dots, 7$ , for arbitrary $l \in L$ . Set $D (l e_{1}) = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ . Applying $D$ on $[l e_{1}, e_{1}]$ , we get $\begin{aligned} 0 = D [l e_{1}, e_{1}] = & - 2 x_{3} e_{3} + 2 x_{4} e_{2} - 2 x_{5} e_{5} + 2 x_{6} e_{4} + 2 x_{7} e_{7} - 2 x_{8} e_{6} + (l \circ β_{23}) e_{3} - (l \circ β_{24}) e_{2} \\ + (l \circ β_{25}) e_{5} - (l \circ β_{26}) e_{4} - (l \circ β_{27}) e_{7} + (l \circ β_{28}) e_{6} . \end{aligned}$ By comparing the coefficients, we get $\begin{aligned} x_{3} = & \frac{1}{2} (l \circ β_{23}), x_{4} = \frac{1}{2} (l \circ β_{24}), x_{5} = \frac{1}{2} (l \circ β_{25}), \\ x_{6} = & \frac{1}{2} (l \circ β_{26}), x_{7} = \frac{1}{2} (l \circ β_{27}), x_{8} = \frac{1}{2} (l \circ β_{28}), \end{aligned}$ which implies $\begin{aligned} D (l e_{1}) = & x_{1} e_{0} + x_{2} e_{1} + \frac{1}{2} (l \circ β_{23}) e_{2} + \frac{1}{2} (l \circ β_{24} e_{3} + \frac{1}{2} (l \circ β_{25}) e_{4} \\ + \frac{1}{2} (l \circ β_{26}) e_{5} + \frac{1}{2} (l \circ β_{27}) e_{6} + \frac{1}{2} (l \circ β_{28}) e_{7} . \end{aligned}$ Now, applying $D$ on the identities $l e_{3} = \frac{1}{2} [l e_{1}, e_{2}]$ , $l e_{2} = - \frac{1}{2} [l e_{1}, e_{3}]$ , $l e_{1} = \frac{1}{2} [l e_{2}, e_{3}]$ , $l e_{4} = - \frac{1}{2} [l e_{1}, e_{5}]$ , $l e_{5} = \frac{1}{2} [l e_{1}, e_{4}]$ , $l e_{6} = \frac{1}{2} [l e_{1}, e_{7}]$ , $l e_{7} = - \frac{1}{2} [l e_{1}, e_{6}]$ and putting $x_{2} = ψ (l)$ where $ψ : L \to L$ is an additive map which is uniquely determined by $D$ , we get $\begin{aligned} D (l e_{1}) = & \frac{1}{2} I_{β_{34}} (l) e_{0} + ψ (l) e_{1} + \frac{1}{2} (l \circ β_{23}) e_{2} + \frac{1}{2} (l \circ β_{24} e_{3} + \frac{1}{2} (l \circ β_{25}) e_{4} \\ + \frac{1}{2} (l \circ β_{26}) e_{5} + \frac{1}{2} (l \circ β_{27}) e_{6} + \frac{1}{2} (l \circ β_{28}) e_{7} . \\ D (l e_{2}) = & - \frac{1}{2} I_{β_{24}} (l) e_{0} - \frac{1}{2} (l \circ β_{23}) e_{1} + ψ (l) e_{2} + \frac{1}{2} (l \circ β_{34}) e_{3} + \frac{1}{2} (l \circ β_{35}) e_{4} \\ + \frac{1}{2} (l \circ β_{36}) e_{5} + \frac{1}{2} (l \circ β_{37}) e_{6} + \frac{1}{2} (l \circ β_{38}) e_{7} . \\ D (l e_{3}) = & \frac{1}{2} I_{β_{23}} (l) e_{0} - \frac{1}{2} (l \circ β_{24}) e_{1} - \frac{1}{2} (l \circ β_{34}) e_{2} + ψ (l) e_{3} + \frac{1}{2} (l \circ (β_{27} - β_{36})) e_{4} \\ + \frac{1}{2} (l \circ (β_{28} + β_{35})) e_{5} - \frac{1}{2} (l \circ (β_{25} - β_{38})) e_{6} - \frac{1}{2} (l \circ (β_{26} + β_{37})) e_{7} \\ D (l e_{4}) = & - \frac{1}{2} I_{β_{26}} (l) e_{0} - \frac{1}{2} (l \circ β_{25}) e_{1} - \frac{1}{2} (l \circ β_{25}) e_{2} - \frac{1}{2} (l \circ (β_{27} - β_{36})) e_{3} \\ (3) & + ψ (l) e_{4} + \frac{1}{2} (l \circ β_{56}) e_{5} + \frac{1}{2} (l \circ β_{57}) e_{6} + \frac{1}{2} (l \circ β_{58}) e_{7} \\ D (l e_{5}) = & \frac{1}{2} I_{β_{25}} (l) e_{0} - \frac{1}{2} (l \circ β_{26}) e_{1} - \frac{1}{2} (l \circ β_{36}) e_{2} - \frac{1}{2} (l \circ (β_{28} + β_{35})) e_{3} \\ - \frac{1}{2} (l \circ β_{56}) e_{4} + ψ (l) e_{5} + \frac{1}{2} (l \circ (β_{23} + β_{58})) e_{6} + \frac{1}{2} (l \circ (β_{24} - β_{57})) \\ D (l e_{6}) = & \frac{1}{2} I_{β_{28}} (l) e_{0} - \frac{1}{2} (l \circ β_{27}) e_{1} - \frac{1}{2} (l \circ β_{37}) e_{2} + \frac{1}{2} (l \circ (β_{25} - β_{38})) e_{3} \\ - \frac{1}{2} (l \circ β_{57}) e_{4} - \frac{1}{2} (l \circ (β_{23} + β_{58})) e_{5} + ψ (l) e_{6} + \frac{1}{2} (l \circ (β_{34} + β_{56})) \\ D (l e_{7}) = & - \frac{1}{2} I_{β_{27}} (l) e_{0} - \frac{1}{2} (l \circ β_{28}) e_{1} - \frac{1}{2} (l \circ β_{38}) e_{2} + \frac{1}{2} (l \circ (β_{26} + β_{37})) e_{3} \\ - \frac{1}{2} (l \circ β_{58}) e_{4} - \frac{1}{2} (l \circ (β_{24} - β_{57})) e_{5} - \frac{1}{2} (l \circ (β_{34} + β_{56})) e_{6} + ψ (l) e_{7} . \end{aligned}$ Next, let $l \in L$ be arbitrary and put $D (l e_{0}) = D (l) = x_{1} e_{0} + x_{2} e_{1} + x_{3} e_{2} + x_{4} e_{3} + x_{5} e_{4} + x_{6} e_{5} + x_{7} e_{6} + x_{8} e_{7}$ . Applying $D$ on $[l e_{0}, e_{1}] = 0$ and using ( $2$ ), we obtain $\begin{aligned} 0 = D [l e_{0}, e_{1}] = & - 2 x_{3} e_{3} + 2 x_{4} e_{2} - 2 x_{5} e_{4} + 2 x_{6} e_{4} + 2 x_{7} e_{7} - 2 x_{8} e_{6} + I_{β_{23}} (l) e_{2} \\ + I_{β_{24}} (l) e_{3} + I_{β_{25}} (l) e_{4} + I_{β_{26}} (l) e_{5} + I_{β_{27}} (l) e_{6} + I_{β_{28}} (l) e_{7} . \end{aligned}$ By comparing the coefficients, we get $\begin{aligned} x_{3} = \frac{1}{2} I_{β_{24}} (l), x_{4} = - \frac{1}{2} I_{β_{23}} (l), x_{5} = \frac{1}{2} I_{β_{26}} (l), x_{6} = - \frac{1}{2} I_{β_{25}} (l), x_{7} = - \frac{1}{2} I_{β_{28}} (l), x_{8} = \frac{1}{2} I_{β_{27}} (l) . \end{aligned}$ Applying $D$ on the identities $[l e_{0}, e_{i}]$ where $i = 2, \dots, 7$ and taking $x_{1} = δ (l)$ for some additive map $δ : L \to L$ uniquely determined by $D$ , we get $\begin{aligned} (4) & D (l e_{0}) = & δ (l) e_{0} - \frac{1}{2} I_{β_{34}} (l) e_{1} + \frac{1}{2} I_{β_{24}} (l) e_{2} - \frac{1}{2} I_{β_{23}} (l) e_{3} + \frac{1}{2} I_{β_{26}} (l) e_{4} \\ - \frac{1}{2} I_{β_{25}} (l) e_{5} - \frac{1}{2} I_{β_{28}} (l) e_{6} + \frac{1}{2} I_{β_{27}} (l) e_{7} \end{aligned}$ and $\begin{aligned} - I_{β_{34}} & = - I_{β_{56}} = I_{β_{34} + β_{56}} \\ I_{β_{24}} & = - I_{β_{57}} = - I_{β_{24} - β_{57}} \\ (5) & - I_{β_{23}} & = - I_{β_{58}} = I_{β_{23} + β_{58}} \\ I_{β_{26}} & = I_{β_{37}} = - I_{β_{26} + β_{37}} \\ - I_{β_{25}} & = I_{β_{38}} = - I_{- β_{25} + β_{38}} \\ - I_{β_{28}} & = - I_{β_{35}} = I_{β_{28} + β_{35}} \\ I_{β_{27}} & = - I_{β_{36}} = - I_{β_{27} - β_{36}} . \end{aligned}$ Replacing $l$ by $[l_{1}, l_{2}]$ in ( $4$ ), for some $l_{1}, l_{2} \in L$ , we infer that $δ$ is a Lie derivation of $L$ . Moreover, applying $D$ on the identity $[l_{1} e_{1}, l_{2} e_{2}] = (l_{1} \circ l_{2}) e_{3}$ and using the foregoing calculations, we can see that $ψ$ is a Jordan derivation. Now let $t = \sum_{i = 1}^{8} x_{i} e_{i - 1} \in O$ be an arbitrary element. Using ( $???$ ), ( $4$ ) and ( $???$ ), we find that $\begin{aligned} D (t) = δ (x_{1}) e_{0} + \sum_{i = 2}^{8} ψ (x_{i}) e_{i - 1} + h (t) \end{aligned}$ where $\begin{aligned} h (t) = & \frac{e_{0}}{2} (I_{β_{34}} (x_{2}) - I_{β_{24}} (x_{3}) + I_{β_{23}} (x_{4}) - I_{β_{26}} (x_{5}) + I_{β_{25}} (x_{6}) + I_{β_{28}} (x_{7}) - I_{β_{27}} (x_{8})) \\ + & \frac{e_{1}}{2} (- I_{β_{34}} (x_{1}) - (x_{3} \circ β_{23}) - (x_{4} \circ β_{24}) - (x_{5} \circ β_{25}) - (x_{6} \circ β_{26}) - (x_{7} \circ β_{27}) \\ - & (x_{8} \circ β_{28})) \\ + & \frac{e_{2}}{2} (I_{β_{24}} x_{1} + (x_{2} \circ β_{23}) - (x_{4} \circ β_{34}) - (x_{5} \circ β_{35}) - (x_{6} \circ β_{36}) - (x_{7} \circ β_{37}) \\ - & (x_{8} \circ β_{38})) \\ + & \frac{e_{3}}{2} (- I_{β_{23}} x_{1} + (x_{2} \circ β_{24}) + (x_{3} \circ β_{34}) - (x_{5} \circ (β_{27} - β_{36})) - (x_{6} \circ (β_{28} + β_{35})) \\ + & (x_{7} \circ (β_{25} - β_{38})) + (x_{8} \circ (β_{26} + β_{37}))) \\ + & \frac{e_{4}}{2} (I_{β_{26}} x_{1} + (x_{2} \circ β_{25}) + (x_{3} \circ β_{35}) + (x_{4} \circ (β_{27} - β_{36})) - (x_{6} \circ β_{56}) - (x_{7} \circ β_{57}) \\ - & (x_{8} \circ β_{58})) \\ + & \frac{e_{5}}{2} (- I_{β_{25}} (x_{1}) + (x_{2} \circ β_{26}) + (x_{3} \circ β_{36}) + (x_{4} \circ (β_{28} + β_{35})) + (x_{5} \circ β_{56}) \\ - & (x_{7} \circ (β_{23} + β_{58})) - (x_{8} \circ (β_{24} - β_{57}))) \\ + & \frac{e_{6}}{2} (- I_{β_{28}} x_{1} + (x_{2} \circ β_{27}) + (x_{3} \circ β_{37}) - (x_{4} \circ (β_{25} - β_{38})) + (x_{5} \circ β_{57}) \\ + & (x_{6} \circ (β_{23} + β_{58})) - (x_{8} \circ (β_{34} + β_{56}))) \\ + & \frac{e_{7}}{2} (I_{β_{27}} x_{1} + (x_{2} \circ β_{28}) + (x_{3} \circ β_{38}) - (x_{4} \circ (β_{26} + β_{37})) + (x_{5} \circ β_{58}) \\ + & (x_{6} \circ (β_{24} - β_{57})) + (x_{7} \circ (β_{34} \circ + β_{56}))) . \end{aligned}$ It can be easily verified that $h (t) = I_{A} (t)$ where $t = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ and $\begin{aligned} A = \frac{1}{2} (- β_{34} e_{1} + β_{24} e_{2} - β_{23} e_{3} + β_{26} e_{4} - β_{25} e_{5} - β_{28} e_{6} + β_{27} e_{7}) . \end{aligned}$ Consequently, $\begin{aligned} D (t) = δ (x_{1}) e_{0} + \sum_{i = 2}^{8} ψ (x_{i}) e_{i - 1} + I_{A} (t) . \end{aligned}$

5. Lie Centralizer of Octonion Algebra $O$

This section contains the characterization of Lie centralizer of octonion algebra. In Theorem $2.1$ of [2], it is shown that if $S$ is a $2$ -torsion free unital ring and $R = H (S)$ is quaternion ring. Then every Lie centralizer of $R$ can be represented in terms of a Lie centralizer and Jordan centralizer of $S$ . Here, we have:

Theorem 4. Let $ξ : O \to O$ be a Lie centralizer. Then there exists a Lie centralizer $α$ and a Jordan centralizer $φ$ on $L$ such that $\begin{aligned} ξ (t) = α (x_{1}) e_{0} + \sum_{i = 2}^{8} φ (x_{i}) e_{i - 1} \end{aligned}$ for every element $t = \sum_{i = 1}^{8} x_{i} e_{i - 1} \in O$ .

Proof. We have already assumed the form $\begin{aligned} ξ (e_{i - 1}) = \sum_{j = 1}^{8} β_{i j} e_{j - 1}, 1 \leq i \leq 8 \end{aligned}$ for some $β_{i j}^{'} s \in L$ . Since $ξ$ is a Lie centralizer, we have $\begin{aligned} ξ (e_{3}) = \frac{1}{2} ξ [e_{1}, e_{2}] = \frac{1}{2} [ξ (e_{1}), e_{2}] = & \frac{1}{2} (2 β_{22} e_{3} - 2 β_{24} e_{1} - 2 β_{25} e_{6} - 2 β_{26} e_{7} + 2 β_{27} e_{4} + 2 β_{28} e_{5}) \\ = & - β_{24} e_{1} + β_{22} e_{3} + β_{27} e_{4} + β_{28} e_{5} - β_{25} e_{6} - β_{26} e_{7} . \end{aligned}$ Furthermore, $\begin{aligned} ξ (e_{1}) = \frac{1}{2} ξ [e_{2}, e_{3}] = \frac{1}{2} [ξ (e_{2}), e_{3}] = & β_{33} e_{1} - β_{32} e_{2} + β_{38} e_{4} - β_{37} e_{5} + β_{36} e_{6} - β_{35} e_{7} . \end{aligned}$ By comparing the coefficients, we have $β_{21} = β_{24} = β_{42} = β_{41} = β_{43} = 0$ , $β_{22} = β_{33} = β_{44}$ , $β_{25} = β_{38} = - β_{47}$ , $β_{26} = - β_{37} = - β_{48}$ , $β_{27} = β_{36} = β_{45}$ , $β_{28} = - β_{35} = β_{46}$ , which reduces $ξ (e_{1})$ and $ξ (e_{3})$ to $\begin{aligned} ξ (e_{1}) = & β_{22} e_{1} + β_{23} e_{2} + β_{25} e_{4} + β_{26} e_{5} + β_{27} e_{6} + β_{28} e_{7} \\ ξ (e_{3}) = & β_{22} e_{3} + β_{27} e_{4} + β_{28} e_{5} - β_{25} e_{6} - β_{26} e_{7} . \end{aligned}$ Applying $ξ$ on the identities $e_{2} = \frac{1}{2} [e_{3}, e_{1}]$ , $e_{4} = \frac{1}{2} [e_{5}, e_{1}]$ , $e_{5} = \frac{1}{2} [e_{1}, e_{4}]$ , $e_{6} = \frac{1}{2} [e_{1}, e_{7}]$ , $e_{7} = \frac{1}{2} [e_{6}, e_{1}]$ , we get $\begin{aligned} ξ (e_{2}) = & β_{22} e_{2} + β_{28} e_{4} - β_{27} e_{5} + β_{26} e_{6} - β_{25} e_{7} \\ ξ (e_{4}) = & β_{28} e_{2} + β_{27} e_{3} + β_{22} e_{4} + β_{23} e_{7} \\ ξ (e_{5}) = & - β_{26} e_{1} - β_{27} e_{2} + β_{28} e_{3} + β_{22} e_{5} + β_{23} e_{6} \\ ξ (e_{6}) = & - β_{27} e_{1} + β_{26} e_{2} + β_{25} e_{3} - β_{23} e_{5} + β_{22} e_{6} \\ ξ (e_{7}) = & β_{25} e_{2} - β_{26} e_{3} - β_{23} e_{4} + β_{22} e_{7} . \end{aligned}$ Now assume that, $ξ (e_{0}) = t = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ . We have $0 = ξ [e_{0}, t] = t e_{0} - e_{0} t = - 2 x_{3} e_{3} + 2 x_{4} e_{2} - 2 x_{5} e_{5} + 2 x_{6} e_{4} + 2 x_{7} e_{7} - 2 x_{8} e_{6}$ , which implies $x_{3} = x_{4} = x_{5} = x_{6} = x_{7} = x_{8} = 0$ . Application of $ξ$ on the identity $[e_{0}, e_{2}]$ gives $x_{2} = 0$ , which implies $ξ (e_{0}) = x_{1} e_{0} = x_{1} \in L$ . Let $s \in L$ be an arbitrary then $0 = ξ [e_{0}, s e_{1}] = [ξ (e_{0}), s e_{1}] = (x_{1} s - s x_{1})$ . From this we get, $x_{1} = ξ (e_{0}) \in Z (L)$ .
Let $l \in L$ and set $ξ (l e_{1}) = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ . Applying $ξ$ on $[l e_{1}, e_{1}] = 0$ , we get $x_{3} = x_{4} = x_{5} = x_{6} = x_{7} = x_{8} = 0$ , which reduces $ξ (l e_{1})$ to $ξ (l e_{1}) = x_{1} e_{0} + x_{2} e_{1}$ . Now applying $ξ$ on the identities $l e_{3} = \frac{1}{2} [l e_{1}, e_{2}]$ , $l e_{2} = \frac{1}{2} [l e_{3}, e_{1}]$ , $l e_{1} = \frac{1}{2} [l e_{2}, e_{3}]$ , $l e_{5} = \frac{1}{2} [l e_{1}, e_{4}]$ , $l e_{4} = \frac{1}{2} [l e_{5}, e_{1}]$ , $l e_{6} = \frac{1}{2} [l e_{1}, e_{7}]$ , $l e_{7} = \frac{1}{2} [l e_{6}, e_{1}]$ and taking $x_{2} = φ (l)$ , where $φ : L \to L$ is an additive map which is uniquely determined by $ξ$ , we get $\begin{aligned} ξ (l e_{1}) & = φ (l) e_{1}, ξ (l e_{2}) = φ (l) e_{2}, ξ (l e_{3}) = φ (l) e_{3}, \\ (6) & ξ (l e_{4}) & = φ (l) e_{4}, ξ (l e_{5}) = φ (l) e_{5}, ξ (l e_{6}) = φ (l) e_{6}, \\ ξ (l e_{7}) & = φ (l) e_{7} \end{aligned}$ Our next goal is to calculate $ξ (l e_{0})$ for arbitrary $l \in L$ . Set $ξ (l) = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ . Applying $ξ$ on $[l, e_{1}] = 0$ and $[l, e_{2}] = 0$ and putting $x_{1} = α (l)$ , where $α : L \to L$ is an additive map which is uniquely determined by $ξ$ , we get $\begin{aligned} (7) & ξ (l) = α (l) . \end{aligned}$ Since $ξ$ is a Lie centralizer, ( $7$ ) implies that $α$ is a Lie centralizer on $L$ . Let $l_{1}, l_{2} \in L$ . Applying $ξ$ on the identity $[l_{1} e_{1}, l_{2} e_{2}] = (l_{1} \circ l_{2}) e_{3}$ and using ( $???$ ) and ( $7$ ), we get $φ (l_{1} \circ l_{2}) = φ (l_{1}) \circ l_{2}$ shows that $φ$ is a Jordan centralizer on $L$ . Now let $t = \sum_{i = 1}^{8} x_{i} e_{i - 1}$ be an arbitrary element in $L$ . By ( $???$ ) and ( $7$ ), we get $ξ (t) = α (x_{1}) e_{0} + \sum_{i = 2}^{8} φ (x_{i}) e_{i - 1}$ , which completes the proof.

6. Generalized Lie Derivation of Octonion Algebra $O$

Generalized derivation is an extension of natural derivation. It has many applications in the literature since it is quite helpful in the geometric classification of rings and algebras. In this section, we compute the matrix representation of generalized Lie derivation of the octonion algebra. Let $F : O \to O$ be a generalized Lie derivation. $F$ admits a matrix representation with respect to the basis, which is an $8 \times 8$ matrix $[F] = (γ_{i j})^{T}$ whose entries are defined by $\begin{aligned} (8) & F (e_{i - 1}) = \sum_{j = 1}^{8} γ_{i j} e_{j - 1}, 1 \leq i \leq 8. \end{aligned}$ Each column of $[F]$ is an element of $O$ .

Theorem 5. Let $F : O \to O$ be a generalized Lie derivation of $O$ and $B$ be the basis of $O$ . Then the matrix representation of $F$ is as follows $\begin{aligned} = & (\begin{array}{c} γ_{11} - β_{11} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & γ_{22} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & γ_{22} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & γ_{22} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & γ_{22} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & γ_{22} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & γ_{22} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & γ_{22} \end{array}) \\ + & (\begin{array}{c} β_{11} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & - β_{23} & - β_{24} & - β_{25} & - β_{26} & - β_{27} & - β_{28} \\ 0 & β_{23} & 0 & - β_{34} & - β_{35} & - β_{36} & - β_{37} & - β_{38} \\ 0 & β_{24} & β_{34} & 0 & - β_{27} + β_{36} & - β_{28} - β_{35} & β_{25} - β_{38} & β_{26} + β_{37} \\ 0 & β_{25} & β_{35} & β_{27} - β_{36} & 0 & - β_{56} & - β_{57} & - β_{58} \\ 0 & β_{26} & β_{36} & β_{28} + β_{35} & β_{56} & 0 & - β_{23} - β_{58} & - β_{24} + β_{57} \\ 0 & β_{27} & β_{37} & - β_{25} + β_{38} & β_{57} & β_{23} + β_{58} & 0 & - β_{34} - β_{56} \\ 0 & β_{28} & β_{38} & - β_{26} - β_{37} & β_{58} & β_{24} - β_{57} & β_{34} + β_{56} & 0 \end{array}) . \end{aligned}$

Proof. Let $F$ be a generalized Lie derivation of $O$ , then $\begin{aligned} (9) & F [e_{i}, e_{j}] = [F (e_{i}), e_{j}] + [e_{i}, D (e_{j})] \end{aligned}$ where $D$ is the derivation of the octonion algebra.
Put $i = 0$ , then $F [e_{0}, e_{j}] = [F (e_{0}), e_{j}] + [e_{0}, D (e_{j})] = 0$ for $1 \leq j \leq 7$ . So, by using the equation( $8$ ), we get $γ_{1 j} = 0$ for $2 \leq j \leq 7$ .
Unlike the procedure of finding the Lie derivation of $O$ , we don’t need to verify equation ( $9$ ) for the products between the octonionic units to compute the matrix representation of $F$ . Hence generalized Lie derivation is much easier to compute once a Lie derivation is obtained.
Suppose that $\begin{aligned} F (e_{i - 1}) = \sum_{j = 1}^{8} γ_{i j} e_{j - 1}, 1 \leq i \leq 8. \end{aligned}$ Applying $F$ on the identity $[e_{i}, e_{j}]$ for $i = j$ and comparing the coefficients, we get $γ_{i j} = β_{i j}$ for $2 \leq i, j \leq 8$ with $i \neq j$ .

By using the same technique proposed in the previous theorem, we get, for $F (e_{1})$ $\begin{aligned} F (e_{1}) = & \frac{1}{2} (- 2 γ_{32} e_{2} + 2 γ_{33} e_{1} - 2 γ_{35} e_{7} + 2 γ_{36} e_{6} - 2 γ_{37} e_{5} + 2 γ_{38} e_{4} - 2 β_{42} e_{3} + 2 β_{44} e_{1} + 2 β_{45} e_{6} \\ + 2 β_{46} e_{7} - 2 β_{47} e_{4} - 2 β_{48} e_{5}) \\ = & \frac{1}{2} (- 2 γ_{52} e_{4} + 2 γ_{53} e_{7} - 2 γ_{54} e_{6} + 2 γ_{55} e_{1} + 2 γ_{57} e_{3} - 2 γ_{58} e_{2} - 2 β_{62} e_{5} - 2 β_{63} e_{6} - 2 β_{64} e_{7} \\ + 2 β_{66} e_{1} + 2 β_{67} e_{2} + 2 β_{68} e_{3}) \\ = & - \frac{1}{2} (2 γ_{72} e_{6} - 2 γ_{73} e_{5} - 2 γ_{74} e_{4} + 2 γ_{75} e_{3} + 2 γ_{76} e_{2} - 2 γ_{77} e_{1} + 2 β_{82} e_{7} + 2 β_{83} e_{4} - 2 β_{84} e_{5} \\ - 2 β_{85} e_{2} + 2 β_{86} e_{3} - 2 β_{88} e_{1}) . \end{aligned}$ For $F (e_{2})$ $\begin{aligned} F (e_{2}) = & - \frac{1}{2} (- 2 γ_{22} e_{2} + 2 γ_{23} e_{1} - 2 γ_{25} e_{7} + 2 γ_{26} e_{6} - 2 γ_{27} e_{5} + 2 γ_{28} e_{4} + 2 β_{43} e_{3} - 2 β_{44} e_{2} + 2 β_{45} e_{5} \\ - 2 β_{46} e_{4} - 2 β_{47} e_{7} + 2 β_{48} e_{6}) \\ = & \frac{1}{2} (- 2 γ_{52} e_{7} - 2 γ_{53} e_{4} + 2 γ_{54} e_{5} + 2 γ_{55} e_{2} - 2 γ_{56} e_{3} + 2 γ_{58} e_{1} - 2 β_{72} e_{5} - 2 β_{73} e_{6} - 2 β_{74} e_{7} \\ + 2 β_{76} e_{1} + 2 β_{77} e_{2} + 2 β_{78} e_{3}) \\ = & \frac{1}{2} (2 γ_{62} e_{6} - 2 γ_{63} e_{5} - 2 γ_{64} e_{4} + 2 γ_{65} e_{3} + 2 γ_{66} e_{2} - 2 γ_{67} e_{1} + 2 β_{82} e_{4} - 2 β_{83} e_{7} + 2 β_{84} e_{6} \\ - 2 β_{85} e_{1} - 2 β_{87} e_{3} + 2 β_{88} e_{2}) . \end{aligned}$ For $F (e_{3})$ $\begin{aligned} F (e_{3}) = & \frac{1}{2} (2 γ_{22} e_{3} - 2 γ_{24} e_{1} - 2 γ_{25} e_{6} - 2 γ_{26} e_{7} + 2 γ_{27} e_{4} + 2 γ_{28} e_{5} + 2 β_{33} e_{3} - 2 β_{34} e_{2} + 2 β_{35} e_{5} \\ - 2 β_{36} e_{4} - 2 β_{37} e_{7} + 2 β_{38} e_{6}) \\ = & \frac{1}{2} (2 γ_{52} e_{6} - 2 γ_{53} e_{5} - 2 γ_{54} e_{4} + 2 γ_{55} e_{3} + 2 γ_{56} e_{2} - 2 γ_{57} e_{1} - 2 β_{82} e_{5} - 2 β_{83} e_{6} - 2 β_{84} e_{7} \\ + 2 β_{86} e_{1} + 2 β_{87} e_{2} + 2 β_{88} e_{3}) \\ = & - \frac{1}{2} (- 2 γ_{62} e_{7} - 2 γ_{63} e_{4} + 2 γ_{64} e_{5} + 2 γ_{65} e_{2} - 2 γ_{66} e_{3} + 2 γ_{68} e_{1} + 2 β_{72} e_{4} - 2 β_{73} e_{7} + 2 β_{74} e_{6} \\ - 2 β_{75} e_{1} - 2 β_{77} e_{3} + 2 β_{78} e_{2}) . \end{aligned}$ For $F (e_{4})$ $\begin{aligned} F (e_{4}) = & - \frac{1}{2} (- 2 γ_{22} e_{4} + 2 γ_{23} e_{7} - 2 γ_{24} e_{6} + 2 γ_{25} e_{1} + 2 γ_{27} e_{3} - 2 γ_{28} e_{2} + 2 β_{63} e_{3} - 2 β_{64} e_{2} + 2 β_{65} e_{5} \\ - 2 β_{66} e_{4} - 2 β_{67} e_{7} + 2 β_{68} e_{6}) \\ = & - \frac{1}{2} (- 2 γ_{32} e_{7} - 2 γ_{33} e_{4} + 2 γ_{34} e_{5} + 2 γ_{35} e_{2} - 2 γ_{36} e_{3} + 2 γ_{38} e_{1} - 2 β_{72} e_{3} + 2 β_{74} e_{1} + 2 β_{75} e_{6} \\ + 2 β_{76} e_{7} - 2 β_{77} e_{4} - 2 β_{78} e_{5}) \\ = & - \frac{1}{2} (2 γ_{42} e_{6} - 2 γ_{43} e_{5} - 2 γ_{44} e_{4} + 2 γ_{45} e_{3} + 2 γ_{46} e_{2} - 2 γ_{47} e_{1} + 2 β_{82} e_{2} - 2 β_{83} e_{1} + 2 β_{85} e_{7} \\ - 2 β_{86} e_{6} + 2 β_{87} e_{5} - 2 β_{88} e_{4}) . \end{aligned}$ For $F (e_{5})$ $\begin{aligned} F (e_{5}) = & \frac{1}{2} (2 γ_{22} e_{5} + 2 γ_{23} e_{6} + 2 γ_{24} e_{7} - 2 γ_{26} e_{1} - 2 γ_{27} e_{2} - 2 γ_{28} e_{3} + 2 β_{53} e_{3} - 2 β_{54} e_{2} + 2 β_{55} e_{5} \\ - 2 β_{56} e_{4} - 2 β_{57} e_{7} + 2 β_{58} e_{6}) \\ = & - \frac{1}{2} (2 γ_{32} e_{6} - 2 γ_{33} e_{5} - 2 γ_{34} e_{4} + 2 γ_{35} e_{3} + 2 γ_{36} e_{2} - 2 γ_{37} e_{1} - 2 β_{82} e_{3} + 2 β_{84} e_{1} + 2 β_{85} e_{6} \\ + 2 β_{86} e_{7} - 2 β_{87} e_{4} - 2 β_{88} e_{5}) \\ = & \frac{1}{2} (- 2 γ_{42} e_{7} - 2 γ_{43} e_{4} + 2 γ_{44} e_{5} + 2 γ_{45} e_{2} - 2 γ_{46} e_{3} + 2 γ_{48} e_{1} + 2 β_{72} e_{2} - 2 β_{73} e_{1} + 2 β_{75} e_{7} \\ - 2 β_{76} e_{6} + 2 β_{77} e_{5} - 2 β_{78} e_{4}) . \end{aligned}$ For $F (e_{6})$ $\begin{aligned} F (e_{6}) = & \frac{1}{2} (2 γ_{22} e_{6} - 2 γ_{23} e_{5} - 2 γ_{24} e_{4} + 2 γ_{25} e_{3} + 2 γ_{26} e_{2} - 2 γ_{27} e_{1} + 2 β_{83} e_{3} - 2 β_{84} e_{2} + 2 β_{85} e_{5} \\ - 2 β_{86} e_{4} - 2 β_{87} e_{7} + 2 β_{88} e_{6}) \\ = & \frac{1}{2} (2 γ_{32} e_{5} + 2 γ_{33} e_{6} + 2 γ_{34} e_{7} - 2 γ_{36} e_{1} - 2 γ_{37} e_{2} - 2 γ_{38} e_{3} - 2 β_{52} e_{3} + 2 β_{54} e_{1} + 2 β_{55} e_{6} \\ + 2 β_{56} e_{7} - 2 β_{57} e_{4} - 2 β_{58} e_{5}) \\ = & - \frac{1}{2} (- 2 γ_{42} e_{4} + 2 γ_{43} e_{7} - 2 γ_{44} e_{6} + 2 γ_{45} e_{1} + 2 γ_{47} e_{3} - 2 γ_{48} e_{2} + 2 β_{62} e_{2} - 2 β_{63} e_{1} + 2 β_{65} e_{7} \\ - 2 β_{66} e_{6} + 2 β_{67} e_{5} - 2 β_{68} e_{4}) . \end{aligned}$ For $F (e_{7})$ $\begin{aligned} F (e_{7}) = & - \frac{1}{2} (- 2 γ_{22} e_{7} - 2 γ_{23} e_{4} + 2 γ_{24} e_{5} + 2 γ_{25} e_{2} - 2 γ_{26} e_{3} + 2 γ_{28} e_{1} + 2 β_{73} e_{3} - 2 β_{74} e_{2} + 2 β_{75} e_{5} \\ - 2 β_{76} e_{4} - 2 β_{77} e_{7} + 2 β_{78} e_{6}) \\ = & \frac{1}{2} (- 2 γ_{32} e_{4} + 2 γ_{33} e_{7} - 2 γ_{34} e_{6} + 2 γ_{35} e_{1} + 2 γ_{37} e_{3} - 2 γ_{38} e_{2} - 2 β_{62} e_{3} + 2 β_{64} e_{1} + 2 β_{65} e_{6} \\ + 2 β_{66} e_{7} - 2 β_{67} e_{4} - 2 β_{68} e_{5}) \\ = & \frac{1}{2} (2 γ_{42} e_{5} + 2 γ_{43} e_{6} + 2 γ_{44} e_{7} - 2 γ_{46} e_{1} - 2 γ_{47} e_{2} - 2 γ_{48} e_{3} + 2 β_{52} e_{2} - 2 β_{53} e_{1} + 2 β_{55} e_{7} \\ - 2 β_{56} e_{6} + 2 β_{57} e_{5} - 2 β_{58} e_{4}) . \end{aligned}$ By comparing the coefficients, we get $γ_{i 1} = 0$ for $2 \leq i \leq 8$ and $γ_{22} = γ_{33} = γ_{44} = γ_{55} = γ_{66} = γ_{77} = γ_{88}$ .

Theorem 6. Let $x = x_{1} e_{0} + x_{2} e_{1} + x_{3} e_{2} + x_{4} e_{3} + x_{5} e_{4} + x_{6} e_{5} + x_{7} e_{6} + x_{8} e_{7} \in O$ . Let $F : O \to O$ be a generalized Lie derivation with respect to $D$ then $F (x)$ can be written as $F (x) = x_{1} γ_{11} e_{0} + (x_{2} γ_{22} - x_{3} β_{23} - x_{4} β_{24} - x_{5} β_{25} - x_{6} β_{26} - x_{7} β_{27} - x_{8} β_{28}) e_{1} + (x_{2} β_{23} + x_{3} γ_{22} - x_{4} β_{34} - x_{5} β_{35} - x_{6} β_{36} - x_{7} β_{37} - x_{8} β_{38}) e_{2} + (x_{2} β_{24} + x_{3} β_{34} + x_{4} γ_{22} + x_{5} (- β_{27} + β_{36}) + x_{6} (- β_{28} - β_{35}) + x_{7} (β_{25} - β_{38}) + x_{8} (β_{26} + β_{37})) e_{3} + (x_{2} β_{25} + x_{3} β_{35} + x_{4} (β_{27} - β_{36}) + x_{5} γ_{22} - x_{6} β_{56} - x_{7} β_{57} - x_{8} β_{58}) e_{4} + (x_{2} β_{26} + x_{3} β_{36} + x_{4} (β_{28} + β_{35}) + x_{5} β_{56} + x_{6} γ_{22} + x_{7} (- β_{23} - β_{58}) + x_{8} (- β_{24} + β_{57})) e_{5} + (x_{2} β_{27} + x_{3} β_{37} + x_{4} (- β_{25} + β_{38}) + x_{5} β_{57} + x_{6} (β_{23} + β_{58}) + x_{7} γ_{22} + x_{8} (- β_{34} - β_{56})) e_{6} + (x_{2} β_{28} + x_{3} β_{38} + x_{4} (- β_{26} - β_{37}) + x_{5} β_{58} + x_{6} (β_{24} - β_{57}) + x_{7} (β_{34} + β_{56}) + x_{8} γ_{22}) e_{7}$ .

Proof. Applying $F$ on $x$ gives $\begin{aligned} F (x) = x_{1} F (e_{0}) + x_{2} F (e_{1}) + x_{3} F (e_{2}) + x_{4} F (e_{3}) + x_{5} F (e_{4}) + x_{6} F (e_{5}) + x_{7} F (e_{6}) + x_{8} F (e_{7}) . \end{aligned}$ Substituting the values of $F (e_{i})^{'} s$ , which is computed in matrix representation of $F$ in above theorem yields $\begin{aligned} F (x) = & x_{1} γ_{11} e_{0} + x_{2} (γ_{22} e_{1} + β_{23} e_{2} + β_{24} e_{3} + β_{25} e_{4} + β_{26} e_{5} + β_{27} e_{6} + β_{28} e_{7}) + x_{3} (- β_{23} e_{1} \\ + γ_{22} e_{2} + β_{34} e_{3} + β_{35} e_{4} + β_{36} e_{5} + β_{37} e_{6} + β_{38} e_{7}) + x_{4} (- β_{24} e_{1} - β_{34} e_{2} + γ_{22} e_{3} \\ + (β_{27} - β_{36}) e_{4} + (β_{28} + β_{35}) e_{5} + (- β_{25} + β_{38}) e_{6} + (- β_{26} - β_{37}) e_{7}) + x_{5} (- β_{25} e_{1} - β_{35} e_{2} \\ + (- β_{27} + β_{36}) e_{3} + γ_{22} e_{4} + β_{56} e_{5} + β_{57} e_{6} + β_{58} e_{7}) + x_{6} (- β_{26} e_{1} - β_{36} e_{2} + (- β_{28} - β_{35}) e_{3} \\ - β_{56} e_{4} + γ_{22} e_{5} + (β_{23} + β_{58}) e_{6} + (β_{24} - β_{57}) e_{7}) + x_{7} (- β_{27} e_{1} - β_{37} e_{2} + (β_{25} - β_{38}) e_{3} \\ - β_{57} e_{4} + (- β_{23} - β_{58}) e_{5} + γ_{22} e_{6} + (β_{34} + β_{56}) e_{7}) + x_{8} (- β_{28} e_{1} - β_{38} e_{2} + (β_{26} + β_{37}) e_{3} \\ - β_{58} e_{4} + (- β_{24} + β_{57}) e_{5} + (- β_{34} - β_{56}) e_{6} + γ_{22} e_{7}) . \end{aligned}$ Summarizing the above expression yields our required result.

Example 1. Let an arbitrary element $x = \sum_{i = 1}^{8} x_{i} e_{i - 1} \in O$ . Let $β_{23} = 1, β_{26} = 1, β_{37} = 1, β_{58} = 1$ and $β_{i j} = 0$ otherwise in Lie derivation of $O$ then $D$ will be $\begin{aligned} (10) & D (x) = & (- x_{3} - x_{6}) e_{1} + (x_{2} - x_{7}) e_{2} + 2 x_{8} e_{3} - x_{8} e_{4} + (x_{2} - 2 x_{7}) e_{5} \\ + (x_{3} + 2 x_{6}) e_{6} + (- 2 x_{4} + x_{5}) e_{7} . \end{aligned}$ Select $γ_{11} = 1$ and $γ_{22} = 1$ in the generalized Lie derivation, then $\begin{aligned} (11) & F (x) = & x_{1} e_{0} + (x_{2} - x_{3} - x_{6}) e_{1} + (x_{2} + x_{3} - x_{7}) e_{2} + (x_{4} + 2 x_{8}) e_{3} + (x_{5} - x_{8}) e_{4} \\ + (x_{2} + x_{6} - 2 x_{7}) e_{5} + (x_{3} + 2 x_{6} + x_{7}) e_{6} + (- 2 x_{4} + x_{5} + x_{8}) e_{7} . \end{aligned}$ Put $i = 1, j = 7$ in $F [e_{i}, e_{j}] = [F (e_{i}), e_{j}] + [e_{i}, D (e_{j})]$ , we get $\begin{aligned} F [e_{1}, e_{7}] = & [F (e_{1}), e_{7}] + [e_{1}, D (e_{7})] . \end{aligned}$ The left hand side of the above equation will be $\begin{aligned} F [e_{1}, e_{7}] = & 2 F (e_{6}) = - 2 e_{2} - 4 e_{5} + 2 e_{6} . \end{aligned}$ By using ( $11$ ), we get $F (e_{1}) = e_{1} + e_{2} + e_{5}$ and using ( $10$ ), we get $D (e_{7}) = 2 e_{3} - e_{4}$ .
Then by direct calculation the right hand side will be $2 e_{6} - 4 e_{5} - 2 e_{2}$ .

7. Conclusion

Lie algebras of derivations and its variants explore the nature of given algebras. In this research article, we have described of matrix representation as well as the characterization of Lie derivation of Octonion algebra. The characterization of Lie centralizer of Octonion algebra is also presented. We have also computed the matrix representation of generalized Lie derivations of Octonion algebras.

Acknowledgements

This research has been supported by HEC of Pakistan under the project NRPU 13150. Authors are thankful to HEC of Pakistan for supporting and funding this research.

Conflict of Interest

The authors declare no conflict of interests.

References:

Posner, E.C., 1957. Derivations in prime rings. Proceedings of the American Mathematical Society, 8(6), pp.1093-1100.[Google Scholor]
Bahmani, M. A. and Ghomananji, F., 2022. On the Lie centralizers of quaternion rings. Kragujevac Journal of Mathematics, 46(3), PP.471-475.[Google Scholor]
Fo\v{s}ner, A. and Jing, W., 2019. Lie centralizers on triangular rings and nest algebras. Advances in Operator Theory, 4(2), PP.342-350.[Google Scholor]
Ashraf, M. and Ansari, M. A., 2022. Multiplicative generalized Lie n-derivations of unital rings with idempotents. RRevista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 116(2), article, 92.[Google Scholor]
Ashraf, M. and Ansari, M. A., 2023. $σ$ -centralizers of generalized matrix algebras. Miskolc Mathematical Notes, 24(2), PP. 579-595.[Google Scholor]
Fadaee, B. and Ghahramani, H., 2022. Lie centralizers at the zero products on generalized matrix algebras. Journal of Algebra \& Its Applications, 21(8), PP.1-22.[Google Scholor]
Fadaee, B., Ghahramani, H. and Jing, W., 2023. Lie triple centralizers on generalized matrix algebras. Quaestiones Mathematicae, 46(2), pp.281-300.[Google Scholor]
Martindale III, W. S., 1964. Lie derivations of primitive rings. Michigan Mathematical Journal, 11(2), pp.183-187.[Google Scholor]
Miers, C. R., 1973. Lie derivations of von Neumann algebras. Duke Mathematical Journal, 40(2), pp.403-409.[Google Scholor]
Mokhtari, A.H., Moafian, F. and Ebrahimi Vishki, H.R., 2017. Lie derivations on trivial extension algebras. Annales Mathematicae Silesianae, 31, pp.141-153.[Google Scholor]
Nakajima, A., 2000. On generalized higher derivations. Turkish Journal of Mathematics, 24(3), pp.295-311.[Google Scholor]
Hvala, B., 2007. Generalized Lie derivations in prime rings. Taiwanese Journal of Mathematics, 11(5), pp.1425-1430.[Google Scholor]
Benkovi\v{c}, D., 2011. Generalized Lie derivations on triangular algebras. Linear algebra and its applications, 434(6), pp. 1532-1544.[Google Scholor]
Liao, P. B. and Liu, C. K., 2009. On generalized Lie derivations of Lie ideals of prime algebras. Linear algebra and its applications, 430(4), 1236-1242. [Google Scholor]
Fei, X. and Zhang, J., 2017. Nonlinear generalized Lie derivations on triangular algebras. Linear and Multilinear Algebra, 65(6), pp.1158-1170. [Google Scholor]
Yarbil, N. B. and Argaç, N., 2017. A note on generalized Lie derivations of prime rings. Frontiers of Mathematics in China, 12(1), pp.247-260.[Google Scholor]
Arzikulov, F. N., Karimjanov, I. A. and Uguz, S., 2020. Local and 2-local derivations of the octonion algebra. arXiv preprint arXiv:2010.16202.[Google Scholor]
Ayupov, S., Elduque, A., and Kudaybergenov, K., 2021. Local and $2$ -local derivations of Cayley algebras. arXiv preprint arXiv:2105.08423.[Google Scholor]
Asif, S., Wu, Z. and Munir, M., 2021. On the Lie triple derivations. Linear and Multilinear Algebra, pp.1-12.
Ghahramani, H., Ghosseiriand, M. N. and Zadeh, L. H., 2021. Generalized Derivations and Generalized Jordan Derivations of Quaternion Rings. Iranian Journal of Science and Technology, Transactions A: Science, 45(1), pp.305-308.[Google Scholor]
Ghahramani, H., Ghosseiri, M. N. and Heidari Zadeh, L., 2019. On the Lie derivations and generalized Lie derivations of quaternion rings. Communications in Algebra, 47(3), pp.1215-1221.[Google Scholor]

[1] Posner, E.C., 1957. Derivations in prime rings. Proceedings of the American Mathematical Society, 8(6), pp.1093-1100.[Google Scholor]

[2] Bahmani, M. A. and Ghomananji, F., 2022. On the Lie centralizers of quaternion rings. Kragujevac Journal of Mathematics, 46(3), PP.471-475.[Google Scholor]

[3] Fo\v{s}ner, A. and Jing, W., 2019. Lie centralizers on triangular rings and nest algebras. Advances in Operator Theory, 4(2), PP.342-350.[Google Scholor]

[4] Ashraf, M. and Ansari, M. A., 2022. Multiplicative generalized Lie n-derivations of unital rings with idempotents. RRevista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 116(2), article, 92.[Google Scholor]

[5] Ashraf, M. and Ansari, M. A., 2023. $σ$ -centralizers of generalized matrix algebras. Miskolc Mathematical Notes, 24(2), PP. 579-595.[Google Scholor]

[6] Fadaee, B. and Ghahramani, H., 2022. Lie centralizers at the zero products on generalized matrix algebras. Journal of Algebra \& Its Applications, 21(8), PP.1-22.[Google Scholor]

[7] Fadaee, B., Ghahramani, H. and Jing, W., 2023. Lie triple centralizers on generalized matrix algebras. Quaestiones Mathematicae, 46(2), pp.281-300.[Google Scholor]

[8] Martindale III, W. S., 1964. Lie derivations of primitive rings. Michigan Mathematical Journal, 11(2), pp.183-187.[Google Scholor]

[9] Miers, C. R., 1973. Lie derivations of von Neumann algebras. Duke Mathematical Journal, 40(2), pp.403-409.[Google Scholor]

[10] Mokhtari, A.H., Moafian, F. and Ebrahimi Vishki, H.R., 2017. Lie derivations on trivial extension algebras. Annales Mathematicae Silesianae, 31, pp.141-153.[Google Scholor]

[11] Nakajima, A., 2000. On generalized higher derivations. Turkish Journal of Mathematics, 24(3), pp.295-311.[Google Scholor]

[12] Hvala, B., 2007. Generalized Lie derivations in prime rings. Taiwanese Journal of Mathematics, 11(5), pp.1425-1430.[Google Scholor]

[13] Benkovi\v{c}, D., 2011. Generalized Lie derivations on triangular algebras. Linear algebra and its applications, 434(6), pp. 1532-1544.[Google Scholor]

[14] Liao, P. B. and Liu, C. K., 2009. On generalized Lie derivations of Lie ideals of prime algebras. Linear algebra and its applications, 430(4), 1236-1242. [Google Scholor]

[15] Fei, X. and Zhang, J., 2017. Nonlinear generalized Lie derivations on triangular algebras. Linear and Multilinear Algebra, 65(6), pp.1158-1170. [Google Scholor]

[16] Yarbil, N. B. and Argaç, N., 2017. A note on generalized Lie derivations of prime rings. Frontiers of Mathematics in China, 12(1), pp.247-260.[Google Scholor]

[17] Arzikulov, F. N., Karimjanov, I. A. and Uguz, S., 2020. Local and 2-local derivations of the octonion algebra. arXiv preprint arXiv:2010.16202.[Google Scholor]

[18] Ayupov, S., Elduque, A., and Kudaybergenov, K., 2021. Local and $2$ -local derivations of Cayley algebras. arXiv preprint arXiv:2105.08423.[Google Scholor]

[19] Asif, S., Wu, Z. and Munir, M., 2021. On the Lie triple derivations. Linear and Multilinear Algebra, pp.1-12.

[1] Ghahramani, H., Ghosseiriand, M. N. and Zadeh, L. H., 2021. Generalized Derivations and Generalized Jordan Derivations of Quaternion Rings. Iranian Journal of Science and Technology, Transactions A: Science, 45(1), pp.305-308.[Google Scholor]

[1] Ghahramani, H., Ghosseiri, M. N. and Heidari Zadeh, L., 2019. On the Lie derivations and generalized Lie derivations of quaternion rings. Communications in Algebra, 47(3), pp.1215-1221.[Google Scholor]

Contents

Ars Combinatoria

On Lie Derivations, Generalized Lie Derivations and Lie Centralizers of Octonion Algebras

Abstract

1. Introduction

2. The Octonion Algebra $O$

3. Lie Derivation of Octonion Algebra $O$

4. Characterizing Lie Derivation of Octonion Algebra $O$

5. Lie Centralizer of Octonion Algebra $O$

6. Generalized Lie Derivation of Octonion Algebra $O$

7. Conclusion

Acknowledgements

Conflict of Interest

References:

Information

Guidelines

CP Initiatives

Follow CP

Contents

Ars Combinatoria

On Lie Derivations, Generalized Lie Derivations and Lie Centralizers of Octonion Algebras

Abstract

1. Introduction

2. The Octonion Algebra O

3. Lie Derivation of Octonion Algebra O

4. Characterizing Lie Derivation of Octonion Algebra O

5. Lie Centralizer of Octonion Algebra O

6. Generalized Lie Derivation of Octonion Algebra O

7. Conclusion

Acknowledgements

Conflict of Interest

References:

Information

Guidelines

CP Initiatives

Follow CP

2. The Octonion Algebra $O$

3. Lie Derivation of Octonion Algebra $O$

4. Characterizing Lie Derivation of Octonion Algebra $O$

5. Lie Centralizer of Octonion Algebra $O$

6. Generalized Lie Derivation of Octonion Algebra $O$