A separating identity for matrix semirings over $S_7$

Lili Wang, Jiewei Zhang, Aifa Wang

Jiao and Ren proved that the varieties generated by the matrix semirings $\M_n(S_7)$ form an ascending chain of nonfinitely based varieties, and asked whether consecutive members a…