A Prolog assisted search for new simple Lie algebras

DOI10.1090/MCOM/3889MaRDI QIDQ6203472zbMATH OpenFDO

Authors David Cushing, George W. Stagg, David I. Stewart

Publication date 28 February 2024

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Simple, semisimple, reductive (super)algebras (17B20) Computational methods for problems pertaining to nonassociative rings and algebras (17-08)

Abstract: We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known.

Recommendations

• Some new simple Lie algebras in characteristic 2
• Computing subalgebras and \(\mathbb{Z}_2\)-gradings of simple Lie algebras over finite fields
• Simple Lie Algebras of Low Dimension Over GF (2)
• New simple Lie algebras in characteristic 2
• Calculating the structure of a semisimple Lie algebra

Cites work

• scientific article; zbMATH DE number 4130621 (Why is no real title available?)
• scientific article; zbMATH DE number 46141 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 192889 (Why is no real title available?)
• scientific article; zbMATH DE number 1152901 (Why is no real title available?)
• scientific article; zbMATH DE number 3301492 (Why is no real title available?)
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Classification of finite dimensional simple Lie algebras in prime characteristics
• Foundations of programming languages
• Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
• On sentences which are true of direct unions of algebras
• On simple 15-dimensional Lie algebras in characteristic 2
• SICStus Prolog -- the first 25 years
• SWI-Prolog
• Simple Lie algebras over fields of positive characteristic. I: Structure theory
• Simple Lie algebras over fields of positive characteristic. II: Classifying the absolute toral rank two case
• Simple Lie algebras over fields of positive characteristic. III: Completion of the classification
• Some new simple Lie algebras in characteristic 2

Cited in

(1)

• On the Drinfeld double of the restricted Jordan plane in characteristic 2

This page was built for publication: A Prolog assisted search for new simple Lie algebras

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