A characterisation of Lie algebras amongst anti-commutative algebras

DOI10.1016/J.JPAA.2019.02.018zbMATH Open1480.17002arXiv1701.05493OpenAlexW2786801157WikidataQ115345365 ScholiaQ115345365MaRDI QIDQ2001427FDOQ2001427

Tim Van der Linden, Xabier García-Martínez

Publication date: 3 July 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Let $mathbbK$ be an infinite field. We prove that if a variety of anti-commutative $mathbbK$-algebras - not necessarily associative, where $xx=0$ is an identity - is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $mathbbK$. In particular, $mathsf{Lie}_{mathbbK}$ is the largest such. Thus, for a given variety of anti-commutative $mathbbK$-algebras, the Jacobi identity becomes equivalent to a categorical condition: it is an identity in~$mathcalV$ if and only if $mathcalV$ is a subvariety of a locally algebraically cartesian closed variety of anti-commutative $mathbbK$-algebras. This is based on a result saying that an algebraically coherent variety of anti-commutative $mathbbK$-algebras is either a variety of Lie algebras or a variety of anti-associative algebras over $mathbbK$.

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

zbMATH Keywords

semi-abelian categoryalgebraic exponentiationalgebraically coherentlocally algebraically Cartesian closed

Mathematics Subject Classification ID

Identities, free Lie (super)algebras (17B01) Categories of algebras (08C05) Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Nonassociative algebras satisfying other identities (17A30) Special properties of functors (faithful, full, etc.) (18A22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A noncommutative version of Lie algebras: Leibniz algebras
• A torsion theory in the category of cocommutative Hopf algebras
• Semi-abelian categories
• Leibniz algebras and Lie algebras
• (Co)Homology of crossed modules
• Groups with Multiple Operators
• Obstruction theory in algebraic categories. I
• A note on the ``Smith is Huq condition
• \(3\times 3\) lemma and protomodularity
• Algebraic exponentiation in general categories
• COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
• Cohomologie non abelienne de structures algébriques
• Algebraic exponentiation for categories of Lie algebras
• On the normality of Higgins commutators
• Coalgebras over a commutative ring
• Algebraically coherent categories
• The Levitzki radical in varieties of algebras
• Prime Ideals in a Large Class of Nonassociative Rings
• A characterisation of Lie algebras via algebraic exponentiation

Cited In (16)

• The algebraic and geometric classification of antiassociative algebras
• On some properties of Lie-centroids of Leibniz algebras
• On the capability of Hom-Lie algebras
• Lie antialgebras: Prémices
• A characterisation of Lie algebras using ideals and subalgebras
• Non-associative Algebras
• Title not available (Why is that?)
• Algebraic exponentiation for Lie algebras
• Associativity and the cosmash product in operadic varieties of algebras
• Distributive laws between the Three Graces
• Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebras
• On the ``three subobjects lemma and its higher-order generalisations
• Algebras with representable representations
• A universal Kaluzhnin-Krasner embedding theorem
• Algebraic logoi
• Actor of a crossed module of dialgebras via tetramultipliers

This page was built for publication: A characterisation of Lie algebras amongst anti-commutative algebras

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