Finite bases for Brandt semirings and naturally semilattice-ordered inverse semigroups
We prove that Brandt semirings over nontrivial groups with at least two indices admit no identity basis with a bounded number of variables. A uniform family of finite witnesses has size linear in the variable bound and applies to groups of arbitrary cardinality. A commutative construction yields the corresponding resul...