Simple binary Lie and non-Lie superalgebra has solvable even part
type: Item
instance of: scholarly article
title: Simple binary Lie and non-Lie superalgebra has solvable even part
author: Alexandre N. Grishkov
author: M. Rasskazova
author: Ivan Shestakov
published in: Journal of Algebra
publication date: 2024-07-02T00:00:00Z
review text: Binary Lie algebras were introduced by \textit{A. I. Mal'tsev} [Mat. Sb., Nov. Ser. 36(78), 569--576 (1955; Zbl 0065.00702)] as anticommutative algebras in which any two elements generate a Lie subalgebra. Later, \textit{A. T. Gaĭnov} [Usp. Mat. Nauk 12, No. 3(75), 141--146 (1957; Zbl 0079.04801)] characterized binary Lie algebras by identities: an anticommutative algebra is a binary Lie algebra if and only if it satisfies the identity \(J(xy, x, y)=0.\) \textit{A. N. Grishkov} [Math. USSR, Izv. 17, 243--269 (1981; Zbl 0468.17007); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 44, 999--1030 (1980)] proved that every simple finite-dimensional binary Lie algebra over a field of characteristic \(0\) is a Malcev algebra, that is, is a Lie algebra or is isomorphic to the \(7\)-dimensional algebra of octonions with zero trace under the product defined by the commutator. On the other hand, the classification of complex simple finite-dimensional Lie superalgebras was given by Kac in 1977. The authors of the present paper continue their recent work about the classification of simple binary Lie superalgebras. Namely, they are working under the following conjecture.\N\NConjecture. Let \(B = B_0 \oplus B_1\) be a nontrivial complex finite-dimensional simple binary Lie superalgebra. Then \(B\) is a simple Lie superalgebra or \(\dim B = 2.\)\N\NThe following strategy for proving the conjecture is presented:\N\N1. Reduction to the case when \(B_0\) is solvable.\N\N2. Reduction to the case when \(B_0\) is nilpotent.\N\N3. Reduction to the case when \(B_0\) is abelian.\N\N4. To prove Conjecture for abelian even part.\N\NIn this paper, the authors prove that if \(B\) is not a Lie superalgebra then the even part \(B_0\) of \(B\) is solvable. Hence they realize the first step of the above strategy.
reviewed by: I. B. Kaĭgorodov
Mathematics Subject Classification ID: 17B20
Mathematics Subject Classification ID: 17D10
zbMATH DE Number: 7874676
zbMATH Keywords: binary Lie algebra
zbMATH Keywords: simple superalgebra
zbMATH Keywords: irreducible module
zbMATH Keywords: Malcev algebra
zbMATH Keywords: solvable algebra
MaRDI profile type: Publication
cites work: ON SPECIALITY OF BINARY-LIE ALGEBRAS
cites work: Q4115283
cites work: Q3246449
cites work: STRUCTURE AND REPRESENTATION OF BINARY-LIE ALGEBRAS
cites work: ON THE CONJUGACY OF LEVI FACTORS IN FINITE-DIMENSIONAL BINARY-LIE ALGEBRAS
cites work: New examples of binary Lie superalgebras and algebras
cites work: Representation type of Jordan algebras
cites work: Q5848903
cites work: PRIME MALCEV SUPERALGEBRAS
DOI: 10.1016/J.JALGEBRA.2023.07.030
description: scientific article; zbMATH DE number 7874676