A short basis for the variety of digroups. (Q2571036)

The concept of a digroup has been introduced in order to extend some of the theory of Lie algebras to Leibniz algebras. The author simplifies the axiomatic description of digroups, as follows, in the language of semigroup theory. A digroup is a set that is simultaneously a right group under a binary operation \(\vdash\) and a left group under another \(\dashv\), with the axiom \(x\vdash(x\dashv z)=(x\vdash x)\dashv z\) linking them. (A Lie digroup is then a smooth manifold with a digroup structure such that the digroup operations are smooth mappings.)