SUBVARIETIES OF THE VARIETY GENERATED BY THE FIVE-ELEMENT BRANDT SEMIGROUP
Edmond W. H. Lee · International Journal of Algebra and Computation · 2006
All subvarieties of the variety B2 generated by the five-element Brandt semigroup are characterized. Based on this characterization, an algorithm is provided that decides if a finite set of identities defines, within B2, a finitely generated subvariety.