Lie rings admitting an automorphism of order 4 with few fixed points

Lie rings that admit an automorphism of order 4 with few fixed points are considered. For a Lie ring (algebra) L admitting an automorphism of order 4 with a finite number m of fixed points (with a finite-dimensional subalgebra of fized points of dimension m), it is proved that the subring 4L (algebra L) contains an ideal M with a subring of m-bounded index in the additive group of M (a subalgebra of m-bounded codimension), which is nilpotent of class bounded by some constant. It is also shown that, under the same premise, the factor-ring 4L/M (factor-algebra L/M) contains a subring of m-bounded index in the additive group of 4L/M (a subalgebra of m-bounded codimension), which is nilpotent of class ≤2. Moreover, L has a subring of m-bounded index in the additive group of L (a subalgebra of m-bounded codimension), which is soluble of derived length bounded by a constant. Supported by RFFR grant No. 94-01-00048 and by ISF grant NQ7000. Translated fromAlgebra i Logika, Vol. 35, No. 1, pp. 41–78, January–February, 1996.     

On abelian subalgebras and ideals of maximal dimension in supersolvable Lie algebras

In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional supersolvable Lie algebras. We characterise the maximal abelian subalgebras of solvable Lie algebras and study solvable Lie algebras containing an abelian subalgebra of codimension 2. Finally, we prove that nilpotent Lie algebras with an abelian subalgebra of codimension 3 contain an abelian ideal with the same dimension, provided that the characteristic of the underlying field is not 2. Throughout the paper, we also give several examples to clarify some results.     

A Nilpotent Ideal in the Lie Rings with Automorphism of Prime Order

We improve the conclusion in Khukhro's theorem stating that a Lie ring (algebra) L admitting an automorphism of prime order p with finitely many m fixed points (with finite-dimensional fixed-point subalgebra of dimension m) has a subring (subalgebra) H of nilpotency class bounded by a function of p such that the index of the additive subgroup |L: H| (the codimension of H) is bounded by a function of m and p. We prove that there exists an ideal, rather than merely a subring (subalgebra), of nilpotency class bounded in terms of p and of index (codimension) bounded in terms of m and p. The proof is based on the method of generalized, or graded, centralizers which was originally suggested in [E. I. Khukhro, Math. USSR Sbornik 71 (1992) 51–63]. An important precursor is a joint theorem of the author and E. I. Khukhro on almost solubility of Lie rings (algebras) with almost regular automorphisms of finite order.     

Characters of modular torsion free representations of classical lie algebras

In this paper, we analyze the characters of modular, irreducible rep-resentations of classical Lie algebras g of types A_l-1 and Ci arising from a characteristic 0 construction of torsion free representations. By character, we refer to linear functionals on g identified with algebra homomorphisms from a distinguished central subalgebra O of the universal enveloping algebra of g. If Lie(G') = g, then for each character X standard representatives with respect to a fixed toral subalgebra are found in the (2-orbit containing the character X For many parameters, these characters are nilpotent. Furthermore, modular representations of type A_l-1 and type C_l Lie algebras constructed by induction from these irreducible, torsion free representations are shown to admit characters in a family of both Richardson and non-Richardson nilpotent orbits. Through this explicit induction construction, irreducible representations of minimal p-power dimension under the Kac-Weisfeiler conjecture are realized     

Nilpotent groups admitting an almost regular automorphism of order four

We consider locally nilpotent periodic groups admitting an almost regular automorphism of order 4. The following are results are proved: (1) If a locally nilpotent periodic group G admits an automorphism ϕ of order 4 having exactly m<∞ fixed points, then (a) the subgroup {ie176-1} contains a subgroup of m-bounded index in {ie176-2} which is nilpotent of m-bounded class, and (b) the group G contains a subgroup V of m-bounded index such that the subgroup {ie176-3} is nilpotent of m-bounded class (Theorem 1); (2) If a locally nilpotent periodic group G admits an automorphism ϕ of order 4 having exactly m<∞ fixed points, then it contains a subgroup V of m-bounded index such that, for some m-bounded number f(m), the subgroup {ie176-4}, generated by all f(m) th powers of elements in {ie176-5} is nilpotent of class ≤3 (Theorem 2). Supported by RFFR grant No. 94-01-00048 and by ISF grant NQ7000. Translated fromAlgebra i Logika, Vol. 35, No. 3, pp. 314–333, May–June, 1996.     

Lie algebras admitting a metacyclic frobenius group of automorphisms

Suppose that a Lie algebra L admits a finite Frobenius group of automorphisms FH with cyclic kernel F and complement H such that the characteristic of the ground field does not divide |H|. It is proved that if the subalgebra C _L (F) of fixed points of the kernel has finite dimension m and the subalgebra C _L (H) of fixed points of the complement is nilpotent of class c, then L has a nilpotent subalgebra of finite codimension bounded in terms of m, c, |H|, and |F| whose nilpotency class is bounded in terms of only |H| and c. Examples show that the condition of F being cyclic is essential.     

Left conjugacy closed loops of nilpotency class two

Every LCC loop Q with Inn Q abelian is nilpotent class two. A loop Q of nilpotency class two is LCC ? L(x, y) = L(y, x) for all x, y ∈ Q ? ?/Z(Mlt Q) is abelian ? [x, y, z] = [x,z,y] for all x, y, z ∈ Q ? [x, y, z] = [xy, z][x, z]^?1 for all x, y, z ∈ Q. All nilpotent LCC loops of order p² are described, and some of their multiplication groups are computed.     

On Lie metabelian group rings

Let G be a finite group without elements of orders two and three and R be a commutative ring with characteristic different from 2. If either the subrings A of R(G), the group ring of G over R, generated by the set {g + g^?1; g ∈ G} or B generated by the set {g ? g^?1; g ∈ G} is Lie metabelian, then G is abelian.     

Quasi-state rigidity for finite-dimensional Lie algebras

We say that a Lie algebra g is quasi-state rigid if every Ad-invariant continuous Lie quasi-state on it is the directional derivative of a homogeneous quasimorphism. Extending work of Entov and Polterovich, we show that every reductive Lie algebra, as well as the algebras C ⁿ ? u(n), n ≥ 1, are rigid. On the other hand, a Lie algebra which surjects onto the three-dimensional Heisenberg algebra is not rigid. For Lie algebras of dimension ≤ 3 and for solvable Lie algebras which split over a codimension one abelian ideal, we show that this is the only obstruction to rigidity.     

ON 2-ABELIAN (n – 5)-FILIFORM LIE ALGEBRAS

We classify the (n ? 5)-filiform Lie algebras which have the additional property of a non-abelian derived subalgebra. Moreover we show that if a (n ? 5)-filiform Lie algebra is characteristically nilpotent, then it must be 2-abelian.     

Auflösbare Gruppen auf denen nicht auflösbare Gruppen operieren

Let G be a finite solvable group and A a subgroup of Aut G such that ¦G¦ and ¦A¦ are coprime. A conjecture states: The nilpodent length of G is bounded by terms depending only on A and the fixed point group G_A={g∈G¦g^A=g}. For abelian, nilpotent or solvable A various bounds are known. In this paper we study the nonsolvable case and prove the conjecture for wide classes of nonsolvable groups A, especially in the fixed point free case G_A=1.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Banach Lie algebras with Lie subalgebras of finite codimension: Their invariant subspaces and Lie ideals

The paper studies the existence of closed invariant subspaces for a Lie algebra L of bounded operators on an infinite-dimensional Banach space X. It is assumed that L contains a Lie subalgebra L₀ that has a non-trivial closed invariant subspace in X of finite codimension or dimension. It is proved that L itself has a non-trivial closed invariant subspace in the following two cases: (1) L₀ has finite codimension in L and there are Lie subalgebras L₀=L⁰⊂L¹⊂?⊂Lp=L such that Li+1=Li+[Li,Li+1] for all i; (2) L₀ is a Lie ideal of L and dim(L₀)=∞. These results are applied to the problem of the existence of non-trivial closed Lie ideals and closed characteristic Lie ideals in an infinite-dimensional Banach Lie algebra L that contains a non-trivial closed Lie subalgebra of finite codimension.     

Lie Algebras with Nilpotent Length Greater than that of each of their Subalgebras

The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call minimal non- \({\mathcal N}\). To facilitate this we investigate solvable Lie algebras of nilpotent length k, and of nilpotent length ≤k, and extreme Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-\({\mathcal N}\) Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index ≤3.     

Strongly Flat and PO-Flat S-Posets

Abstract

The main purpose of this paper is to study Lie algebras L such that if a subalgebra U of L has a maximal subalgebra of dimension one then every maximal subalgebra of U has dimension one. Such an L is called lm(0)-algebra. This class of Lie algebras emerges when it is imposed on the lattice of subalgebras of a Lie algebra the condition that every atom is lower modular. We see that the effect of that condition is highly sensitive to the ground field F. If F is algebraically closed, then every Lie algebra is lm(0). By contrast, for every algebraically non-closed field there exist simple Lie algebras which are not lm(0). For the real field, the semisimple lm(0)-algebras are just the Lie algebras whose Killing form is negative-definite. Also, we study when the simple Lie algebras having a maximal subalgebra of codimension one are lm(0), provided that char(F) ≠ 2. Moreover, lm(0)-algebras lead us to consider certain other classes of Lie algebras and the largest ideal of an arbitrary Lie algebra L on which the action of every element of L is split, which might have some interest by themselves.     

Nilpotent Ideals in Graded Lie Algebras and Almost Constant-Free Derivations

It is proved that if a (?/p ?)-graded Lie algebra L, where p is a prime, has exactly d nontrivial grading components and dim L ₀ = m, then L has a nilpotent ideal of d-bounded nilpotency class and of finite (m,d)-bounded codimension. As a consequence, Jacobson's theorem on constant-free nilpotent Lie algebras of derivations is generalized to the almost constant-free case. Another application is for Lie algebras with almost fixed-point-free automorphisms.     

Cocalibrated structures on Lie algebras with a codimension one Abelian ideal

Cocalibrated G₂-structures and cocalibrated ${{\rm G}_2^*}$ -structures are the natural initial values for Hitchin’s evolution equations whose solutions define (pseudo)-Riemannian manifolds with holonomy group contained in Spin(7) or Spin₀(3, 4), respectively. In this article, we classify 7-D real Lie algebras with a codimension one Abelian ideal which admit such structures. Moreover, we classify the 7-D complex Lie algebras with a codimension one Abelian ideal which admit cocalibrated ${({\rm G}_2)_{\mathbb{C}}}$ -structures.     

Curvature properties of metric nilpotent Lie algebras which are independent of metric

This paper consists of two parts. First, motivated by classic results, we determine the subsets of a given nilpotent Lie algebra \(\mathfrak {g}\) (respectively, of the Grassmannian of two-planes of \(\mathfrak {g}\)) whose sign of Ricci (respectively, sectional) curvature remains unchanged for an arbitrary choice of a positive definite inner product on \(\mathfrak {g}\). In the second part we study the subsets of \(\mathfrak {g}\) which are, for some inner product, the eigenvectors of the Ricci operator with the maximal and with the minimal eigenvalue, respectively. We show that the closure of these subsets is the whole algebra \(\mathfrak {g}\), apart from two exceptional cases: when \(\mathfrak {g}\) is two-step nilpotent and when \(\mathfrak {g}\) contains a codimension one abelian ideal.     

Semidirect sums of Lie algebras

This paper examines the problem of classifying finite-dimensional Lie algebras over the field C with a given radical \(\mathfrak{r}\) and also the problem of classifying algebraic Lie algebras with a given nilpotent radical \(\mathfrak{r}\) . A detailed study is made of the case when \(\mathfrak{r}\) is the nilpotent radical of a parabolic subalgebra of a semisimple Lie algebra.