Abstract
We describe some recent computer investigations with the ‘Constraint Logic Programming over Finite Domains’ library in the Prolog programming environment to search for new simple Lie algebras over the field GF ( 2 ) \operatorname {GF}(2) of 2 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 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
