A characterisation of Lie algebras amongst anti-commutative algebras (Q2001427)

Let \(K\) be an infinite field. Consider a variety of anti-commutative \(K\)-algebras (not necessarily associative), where \(xx\equiv 0\) is an identity, that is \textit{locally algebraically cartesian closed} (LACC for short) (see [\textit{J. R. A. Gray}, Appl. Categ. Struct. 20, No. 6, 543--567 (2012; Zbl 1276.18002)]). Then it must be a variety of Lie algebras over \(K\). Since, as shown in [\textit{J. R. A. Gray}, J. Pure Appl. Algebra 216, No. 8--9, 1964--1967 (2012; Zbl 1275.18021)], the category of Lie algebras over a commutative unitary ring \(K\) is always (LACC), this condition may be used to characterise Lie algebras amongst anti-commutative algebras as the largest such a category. Thus, for a given variety of anti-commutative \(K\)-algebras, \(K\) being an infinite field, the Jacobi identity is characterised in terms of a purely categorical condition: it is an identity in \(\mathcal V\) if and only if \(\mathcal V\) is a subvariety of a locally algebraically cartesian closed variety of anti-commutative \(K\)-algebras. This result is based on a result saying that an algebraically coherent variety of anti-commutative \(K\)-algebras is either a variety of Lie algebras or a variety of anti-associative algebras over \(K\).