1: \begin{abstract}

2: A groupoid identity is said to be linear of length $2k$ if the same $k$

3: variables appear on both sides of the identity exactly once. We classify and

4: count all varieties of groupoids defined by a single linear identity. For

5: $k=3$, there are $14$ nontrivial varieties and they are in the most general

6: position with respect to inclusion. Hentzel et. al. \cite{HJM1993} showed

7: that the linear identity $(xy)z = y(zx)$ implies commutativity and

8: associativity in all products of at least 5 factors. We complete their

9: project by showing that no other linear identity of any length behaves this

10: way, and by showing how the identity $(xy)z = y(zx)$ affects products of

11: fewer than 5 factors; we include distinguishing examples produced by the

12: finite model builder Mace4. The corresponding combinatorial results for

13: labelled binary trees are given. We associate a certain wreath product with

14: any linear identity. Questions about linear groupoids can therefore be

15: transferred to groups and attacked by group-theoretical computational tools,

16: e.g., GAP. Systematic notation and diagrams for linear identities are

17: devised. A short equational basis for Boolean algebras involving the identity

18: $(xy)z = y(zx)$ is presented, together with a proof produced by the automated

19: theorem prover Otter.

20: \end{abstract}

21: