L.A. Kurdachenko,O.O. Pypka,M.M. Semko
Abstract:Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. A linear transformation $f$ of $L$ is called an endomorphism of $L$, if $f([a,b])=[f(a),f(b)]$ for all elements $a,b\in L$. A bijective endomorphism of $L$ is called an automorphism of $L$. It is easy to show that the set of all automorphisms of the Leibniz algebra is a group with respect to the operation of multiplication of automorphisms. The description of the structure of the automorphism groups of Leibniz algebras is one of the natural and important problems of the general Leibniz algebra theory. The main goal of this article is to describe the structure of the automorphism group of a certain type of nilpotent three-dimensional Leibniz algebras.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to describe the structure of the automorphism group of a specific type of three - dimensional nilpotent Leibniz algebras. Specifically, the author focuses on those three - dimensional Leibniz algebras with nilpotency class 2 and central dimension 1. This type of algebras has certain particularity and complexity in the theory of Leibniz algebras. Therefore, the description of the structure of their automorphism groups is of great significance for understanding the properties of these algebras and their roles in broader algebraic structures.
### Background Introduction
A Leibniz algebra is a non - commutative algebraic structure, which generalizes the concept of a Lie algebra. A left Leibniz algebra \(L\) satisfies the left Leibniz identity:
\[ [[a, b], c]=[a, [b, c]] - [b, [a, c]] \]
where \(a, b, c\in L\). An automorphism is a bijective linear transformation that preserves the algebraic structure, that is, \(f\) is an automorphism of \(L\) if and only if \(f([a, b]) = [f(a), f(b)]\) for all \(a, b\in L\). The automorphism group \(\text{Aut}(L)\) is the group of all automorphisms under the automorphism multiplication.
### Research Object
The research object of this paper is the three - dimensional Leibniz algebra \(L_3\) with nilpotency class 2 and central dimension 1. The specific form of this type of algebras is:
\[ L_3=\text{Lei}_3(3, F)=F a_1\oplus F a_2\oplus F a_3 \]
where \([a_1, a_1]=[a_1, a_2]=a_3\), and the rest of the bracket operations are all 0. The nilpotent kernel \(\text{Leib}(L_3)\) and the left and right centers of this algebra are respectively:
\[ \text{Leib}(L_3)=[L_3, L_3]=F a_3 \]
\[ \zeta_{\text{left}}(L_3)=F a_2\oplus F a_3 \]
\[ \zeta_{\text{right}}(L_3)=\zeta(L_3)=F a_3 \]
### Main Results
The main result of the paper is to describe the structure of the automorphism group \(\text{Aut}(L_3)\) of \(L_3\). Specifically, \(\text{Aut}(L_3)\) is isomorphic to a subgroup of \(\text{GL}_3(F)\), which is composed of matrices of the following form:
\[ \begin{pmatrix}
\alpha_1 & 0 & 0 \\
\alpha_2 & \alpha_1+\alpha_2 & 0 \\
\alpha_3 & \beta_3 & \alpha_1^2+\alpha_1\alpha_2
\end{pmatrix} \]
where \(\alpha_1\neq 0\) and \(\alpha_1+\alpha_2\neq 0\). This subgroup is a semidirect product, composed of the normal subgroup \(S_3(L, F)\) and the subgroup \(D_3(L, F)\), where:
- \(S_3(L, F)\) is isomorphic to a subgroup of \(\text{GL}_3(F)\), which is composed of matrices of the following form:
\[ \begin{pmatrix}
1 & 0 & 0 \\
\alpha_2 & 1 + \alpha_2 & 0 \\
\alpha_3 & \beta_3 & 1 + \alpha_2
\end{pmatrix} \]
- \(D_3(L, F)\) is composed of matrices of the following form:
\[ \begin{pmatrix}
\sigma & 0 & 0 \\
0 & \sigma & 0 \\