Groupoid identities common to four abelian group operations

David Kelly

We exhibit a finite basis M for a certain variety $\mathbf{V}$ of medial groupoids. The set M consists of the medial law (xy)(zt)=(xz)(yt) and five other identities involving four…