A sufficient condition for a number to be the order of a nonsingular derivation of a Lie algebra

DOI10.1007/S11856-009-0036-7MaRDI QIDQ836097zbMATH OpenOpenAlexWikidataFDO

Authors Sandro Mattarei

Publication date 31 August 2009

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0706.1810

zbMATH Keywords

non-nilpotent Lie algebrasnonsingular derivations

Mathematics Subject Classification ID

Automorphisms, derivations, other operators for Lie algebras and super algebras (17B40) Modular Lie (super)algebras (17B50)

Abstract: A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p>0 was initiated by Shalev and continued by the present author. The main goal of this paper is to show the abundance of elements of N_p. Our main result shows that any divisor n of q-1, where q is a power of p, such that $nge(p-1{)}^{1/p}(q-1{)}^{1-1/(2p)}$, belongs to N_p. This extends its special case for p=2 which was proved in a previous paper by a different method.

Review text

The author deals with a topic suggested and initiated by Shalev and later continued by himself about the set \(\mathcal{N}_p\) of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic \(p > 0\). Shalev had proved that no nontrivial elements of \(\mathcal{N}_p\) (that is, those numbers in \(\mathcal{N}_p\) which are prime to \(p\) and not multiples of any \(p^k -1\), with \(k \leq 2\)) is smaller than \(p^2\), and it was extended by the author to conclude that no nontrivial element of \(\mathcal{N}_p\) is smaller than \(p^3\), except for \((3^3 - 3)/2 = 13\), when \(p = 3\). In the paper, the author extends the results by Shalev when \(p = 2\) and by himself to an arbitrary prime \(p\), by proving that a divisor \(n\) of \(q-1\), where \(q\) is a power of \(p\), belongs to \(\mathcal{N}_p\) provided it satisfies \(n \geq (p - 1)^{1/p} (q - 1)^{1 - 1/(2p)}\). He also collects several remarks on the set \(\mathcal{N}_p\), like the density of the set and a notion of relative size of its elements.

Recommendations

• The orders of nonsingular derivations of Lie algebras of characteristic two
• scientific article; zbMATH DE number 1370597
• Finite-dimensional simple Lie algebras with a nonsingular derivation
• scientific article; zbMATH DE number 1009730
• The orders of nonsingular derivations of modular Lie algebras.

Cites work

• scientific article; zbMATH DE number 3882549 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 740839 (Why is no real title available?)
• scientific article; zbMATH DE number 1370597 (Why is no real title available?)
• scientific article; zbMATH DE number 3196329 (Why is no real title available?)
• The orders of nonsingular derivations of Lie algebras of characteristic two
• The orders of nonsingular derivations of modular Lie algebras.

Cited in

(7)

• The orders of nonsingular derivations of modular Lie algebras.
• Arithmetically-free group-gradings of Lie algebras. II
• The orders of nonsingular derivations of Lie algebras of characteristic two
• A characterization of nilpotent nonassociative algebras by invertible Leibniz-derivations
• scientific article; zbMATH DE number 1370597 (Why is no real title available?)
• The structure of Lie algebras with a derivation satisfying a polynomial identity
• Non-associative algebraic structures: classification and structure

This page was built for publication: A sufficient condition for a number to be the order of a nonsingular derivation of a Lie algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q836097)