We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A from a given variety V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, we study the identities satisfied by the complex algebras of subalgebras of algebras from a variety V.
We determine all two-dimensional Lie subalgebras of the centreless Virasoro algebra and complete the characterization of all finite dimensional Lie subalgebras of the complex Virasoro algebra.
In this paper we study subalgebras of complex finite dimensional evolution algebras. We obtain the classification of nilpotent evolution algebras whose any subalgebra is an evolution subalgebra with a basis which can be extended to a natural basis of algebra. Moreover, we formulate three conjectures related to description of such non-nilpotent algebras.
Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is normal Hopf subalgebra.
Nilpotent Leibniz algebras with isomorphic maximal subalgebras are considered. The algebras are classified for coclass zero, one, and two. The results are field dependent.
Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that a left Leibniz algebra, all of whose maximal subalgebras are right ideals, is nilpotent. A primitive Leibniz algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.
The semisimple subalgebras of the rank $2$ symplectic Lie algebra $\mathfrak{sp}(4,\mathbb{C})$ are well-known, and we recently classified its Levi decomposable subalgebras. In this article, we classify the solvable subalgebras of $\mathfrak{sp}(4,\mathbb{C})$, up to inner automorphism. This completes the classification of the subalgebras of $\mathfrak{sp}(4,\mathbb{C})$. More broadly speaking, in completing the classification of the subalgebras of $\mathfrak{sp}(4,\mathbb{C})$ we have completed the classification of the subalgebras of the rank $2$ semisimple Lie algebras.
We study the Frattini subalgebra of Leibniz algebras generated by one element. We also investigate Leibniz algebras all of whose proper subalgebras are elementary.
A subalgebra S of a Leibniz algebra L is called self-idealizing in L if it coincides with its idealizer IL(S). In this paper we study the structure of Leibniz algebras, whose subalgebras are either ideals or self-idealizing.
In this paper we study the lattice of restricted subalgebras of a restricted Lie algebra. In particular, we consider those algebras in which this lattice is dually atomistic, lower or upper semimodular, or in which every restricted subalgebra is a quasi-ideal. The fact that there are one-dimensional subalgebras which are not restricted results in some of these conditions being weaker than for the corresponding conditions in the non-restricted case.
In this paper we determine all types and the canonical forms of simple subalgebras for each type of simple Jordan algebras and the number of conjugate classes corresponding to the given simple Jordan algebra.
Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.
In this paper we study Cartan subalgebras in general and special linear algebras over a field of positive characteristic. We determined the conjugacy classes of Cartan subalgebras under the general linear groups, and count the explicit number of all Cartan subalgebras from its conjugacy when the base field is an arbitrary finite field.
We extend conjugacy results from Lie algebras to their Leibniz algebra generalizations. The proofs in the Lie case depend on anti-commutativity. Thus it is necessary to find other paths in the Leibniz case. Some of these results involve Cartan subalgebras. Our results can be used to extend other results on Cartan subalgebras. We show an example here and others will be shown in future work.
All 7-dimensional subalgebras of the 8-dimensional Clifford algebra over the field C of complex numbers are found. Canonical bases are used throughout the determination. It is found that the 8-dimensional Clifford algebra over C has exactly eight 7-dimensional subalgebras and each of these eight is over the complex numbers. It follows that the 8-dimensional Clifford algebra over C has no 7-dimensional subalgebra over the real numbers. Another consequence is that the eight 7-dimensional subalgebras of the 8-dimentional Clifford over C are in fact 7-dimensional subalgebras of all greater dimensi…
In this paper, we compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional Zinbiel algebras. We study Zinbiel algebras containing maximal abelian subalgebras of codimension $1$ and supersolvable Zinbiel algebras in which such subalgebras have codimension $2$, and we also analyze the case of filiform Zinbiel algebras. We give examples to clarify some results, including listing the values for $α$ and $β$ for the low dimensional Zinbiel algebras over the complex field that have been classified.
It is shown that Golod-Shaferevich algebras of a reduced number of defining relations contain noncommutative free subalgebras in two generators, and that these algebras can be homomorphically mapped onto prime, Noetherian algebras with linear growth. It is also shown that Golod-Shafarevich algebras of a reduced number of relations cannot be nil.
I describe the lattice of subalgebras of a one-generator Leibniz algebra. Using this, I show that, apart from one special case, a lattice isomorphism between Leibniz algebras L, L' maps the Leibniz kernel of L to that of L'.
Important subalgebras of a Lie algebra of an algebraic group are its toral subalgebras, or equivalently (over fields of characteristic 0) its Cartan subalgebras. Of great importance among these are ones that are split: their action on the Lie algebra splits completely over the field of definition. While algorithms to compute split maximal toral subalgebras exist and have been implemented [Ryb07, CM09], these algorithms fail when the Lie algebra is defined over a field of characteristic 2 or 3. We present heuristic algorithms that, given a reductive Lie algebra L over a finite field of characte…
It is shown that the 16-dimensional Clifford algebra over any field has no one 15-dimensional subalgebra. Canonical bases are used throughout the determination.
Algorithms are described that help with obtaining a classification of the semisimple subalgebras of a given semisimple Lie algebra, up to linear equivalence. The algorithms have been used to obtain classifications of the semisimple subalgebras of the simple Lie algebras of ranks <= 8. These have been made available as a database inside the SLA package of GAP4. The subalgebras in this database are explicitly given, as well as the inclusion relations among them.
Let $n=4k+1$ and $k\geq 4$. We show that there exists maximal commutative subalgebras (with respect to inclusion) of dimension less that $3\cdot 2^{n-2}$.
Let $\mf{g}$ be any finite-dimensional Lie algebra with Killling form $B$. Let $\mf{h}$ be a subalgebra of $\mf{g}$ on which the Killing form is non degenerate. Then $\mf{h}$ is reductive.
All subalgebras, idempotents, left(right) ideals and left quasi-units of two-dimensional algebras are described. Classification of algebras with given number of subalgebras, left(right) ideals are provided. In particular, a list of isomorphism classes of all simple two-dimensional algebras is given. In the study of ideals and subalgebras the number of them depend on roots of certain system of polynomials at structure constants of the algebra. We also give explicit forms of the polynomials.
Relationships between certain properties of maximal subalgebras of a Lie algebra $L$ and the structure of $L$ itself have been studied by a number of authors. Amongst the maximal subalgebras, however, some exert a greater influence on particular results than others. Here we study properties of those maximal subalgebras that contain Engel subalgebras, and of those that also have codimension greater than one in $L$.
Zassenhaus has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L and V is a finite-dimensional irreducible L-module, then all U-module composition factors of V are isomorphic. Schenkman has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L, then the nilpotent residual of U is an ideal of L. These useful results generalise to Leibniz algebras.
In this paper, we compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional Leibniz algebras. We study Leibniz algebras containing abelian subalgebras of codimension 1, solvable and supersolvable Leibniz algebras for codimensions 1 and 2, nilpotent Leibniz algebras in case of codimension 2 and we also analyze the case of k-abelian p-filiform Leibniz algebras. Throughout the paper, we also give examples to clarify some results and the need for restrictions on the underlying field.
In this paper, we determine derivations of Borel subalgebras and their derived subalgebras called nilradicals, in Kac-Moody algebras (and contragredient Lie algebras) over any field of characteristic 0; and we also determine automorphisms of those subalgebras in symmetrizable Kac-Moody algebras. The results solve a conjecture posed by R. V. Moody about 30 years ago which generalizes a result by B. Kostant and which is discussed by A. Fialowski using Lie algebra cohomology in case of affine type.
Fixed point subalgebras of finite dimensional factor algebras of algebras of polynomials in n indeterminates over the finite field $\mathbb F_2$ (with respect to all $\mathbb F_2$-algebra automorphisms) are fully described.
In the present work we introduce notions such as $k$-solvability, $s$- and $K_1$-nilpotency and the corresponding radicals. We prove that these radicals are invariant under derivations of Leibniz $n$-algebras. The Frattini and Cartan subalgebras of Leibniz $n$-algebras are studied. In particular, we construct examples that show that a classical result on conjugacy of Cartan subalgebras of Lie algebras, which also holds in Leibniz algebras and Lie $n$-algebras, is not true for Leibniz $n$-algebras.
By considering the nilpotent Lie algebra with the derived subalgebra of dimension $ 2$, we compute some functors include the Schur multiplier, the exterior square and the tensor square of these Lie algebras. We also give the corank of such Lie algebras.
In this work we study Leibniz algebras whose second-maximal subalgebras are ideals. We provide a classification based on solvability, nilpotency, and the size of the derived algebra. We give specific descriptions of those Leibniz algebras whose derived algebra has codimension zero or one. This includes several algebras which are only possible over certain fields.
We study local centrally essential subalgebras in the algebra of all upper triangular matrices over a field of characteristic $\ne 2$. It is proved that the algebras of upper triangular $3\times 3$ or $4\times 4$ matrices have only commutative local centrally essential subalgebras. Every algebra of upper triangular matrices of order exceeding $6$ contains a non-commutative local centrally essential subalgebra. The paper will appear in Linear and Multilinear Algebra. The work of O.V. Lyubimtsev is done under the state assignment No~0729-2020-0055. A.A. Tuganbaev is supported by Russian Scientif…
In the present work the properties of Cartan subalgebras and their connection with regular elements in finite dimensional Lie algebras are extended to the case of Leibniz algebras. It is shown that Cartan subalgebras and regular elements of a Leibniz algebra correspond to Cartan subalgebras and regular elements of a Lie algebra by a natural homomorphism. Conjugacy of Cartan subalgebras of Leibniz algebras is shown.
It is proved in the paper that a Noetherian residually finite dimensional Hopf algebra is a flat module over any right Noetherian right coideal subalgebra. In the case of Hopf subalgebras we get faithful flatness. These results are obtained by verifying the existence of the classical quotient rings of those algebras. It is also proved that the antipode of either right or left Noetherian residually finite dimensional Hopf algebra is bijective. As a consequence, such a Hopf algebra is right and left Noetherian simultaneously.
In this paper we provide an elementary and easy proof that a proper subalgebra of the matrix algebra $ \mathbb{K}^{n,n }$, with $n \geq3$ and $\mathbb{K}$ an arbitrary field, has dimension strictly less than $n^2-1$.
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and then lifting to non-semisimple algebras. The results are sharpest in the case of algebraically closed fields, and take special forms for algebras presented by quivers with relations. We also relate representation theoretic properties of the algebra and its maximal and other subalgebras, and provide a series of embeddings between quivers, incidence algebras …
We call a subalgebra $U$ of a Lie algebra $L$ a $CAP$-subalgebra of $L$ if for any chief factor $H/K$ of $L$, we have $H \cap U = K \cap U$ or $H+U = K+U$. In this paper we investigate some properties of such subalgebras and obtain some characterizations for a finite-dimensional Lie algebra $L$ to be solvable under the assumption that some of its maximal subalgebras or $2$-maximal subalgebras be $CAP$-subalgebras.
A criterion for subcoalgebras to be invariant under the adjoint action is given generalizing Masuoka's criterion for normal Hopf subalgebras. At the level of characters, the image of the induction functor from a normal Hopf subalgebra is isomorphic to the image of the restriction functor.
We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In many cases the equations turn out to be sufficiently "pleasant" to be able to solve them. In particular this is the case for S-subalgebras.
In this paper, the structure of all finite-dimensional nilpotent Lie algebras of class two with derived subalgebra of dimension two over an arbitrary field $ \mathbb{F} $ is determined. Furthermore, we give the structure of the Schur multiplier of such Lie algebras.
A subalgebra $B$ of a Lie algebra $L$ is {\em c-supplemented} in $L$ if there is a subalgebra $C$ of $L$ with $L = B + C$ and $B \cap C \leq B_L$, where $B_L$ is the core of $B$ in $L$. This is analogous to the corresponding concept of a c-supplemented subgroup in a finite group. We say that $L$ is {\em c-supplemented} if every subalgebra of $L$ is c-supplemented in $L$. We give here a complete characterisation of c-supplemented Lie algebras over a general field.
We investigate subalgebras in free Lie algebras, the main tool being relative growth and cogrowth functions. Our study reveals drastic differences in the behavior of proper finitely generated subalgebras and nonzero subideals. For instance, the \textit{growth} of a proper finitely generated subalgebra $H$ of a free Lie algebra $L$, with respect to any fixed free basis $X$, is exponentially small compared to the growth of the whole of $L$. Quite opposite, the \textit{cogrowth} of any nonzero subideal $S$ is exponentially small compared to the growth of $L$.
The present paper is devoted to the investigation of properties of Cartan subalgebras and regular elements in Leibniz $n$-algebras. The relationship between Cartan subalgebras and regular elements of given Leibniz $n$-algebra and Cartan subalgebras and regular elements of the corresponding factor $n$-Lie algebra is established.
A complex fuzzy Lie algebra is a fuzzy Lie algebra whose membership function takes values in the unit circle in the complex plane. In this paper, we deine the complex fuzzy Lie subalgebras and complex fuzzy ideals of Lie algebras. Then, we investigate some of characteristics of complex fuzzy Lie subalgebras. The relationship between complex fuzzy Lie subalgebras and fuzzy Lie subalgebras is also investigated. Finally, we define the image and the inverse image of complex fuzzy Lie subalgebra under Lie algebra homomorphism. The properties of complex fuzzy Lie subalgebras and complex fuzzy ideals…
The aim of this paper is to extend the theory of standard subalgebras of finite dimensional simple Lie algebras to infinite dimensional Lie algebras. We construct and characterize a class of standard subalgebras of affine Kac-Moody algebra.
This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. It is shown that, in certain circumstances, including for all solvable algebras, for all Lie algebras over algebraically closed fields of characteristic p > 0 that have absolute toral rank less than or equal to 1 or are restricted, and for all Lie algebras having the one-and-a-half generation property, the conditions of modularity and semi-modularity are equivalent, but that the same is not true for all Lie algebras over a perfect field of characteristic three. Semi-mo…
In this paper we begin to study the subalgebra lattice of a Leibniz algebra. In particular, we deal with Leibniz algebras whose subalgebra lattice is modular, upper semi-modular, lower semi-modular, distributive, or dually atomistic. The fact that a non-Lie Leibniz algebra has fewer one-dimensional subalgebras in general results in a number of lattice conditions being weaker than in the Lie case.
We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two.
The property of degeneration of modular graded Lie algebras, first investigated by B. Weisfeiler, is analyzed. Transitive irreducible graded Lie algebras $L=\sum_{i\in \mathbb Z}L_i,$ over an algebraically closed field of characteristic $p>2,$ with classical reductive component $L_0$ are considered. We show that if a non-degenerate Lie algebra $L$ contains a transitive degenerate subalgebra $L'$ such that $\dim L'_1>1,$ then $L$ is an infinite-dimensional Lie algebra.
