From $A$ to $B$ to $Z$

Marcel Jackson, Wen Ting Zhang

The variety generated by the Brandt semigroup ${\mathbf{B}}_2$ can be defined within the variety generated by the semigroup ${\mathbf{A}}_2$ by the single identity $x^2{y}^2\approx y^2{x}^2$. Ed…