Semigroups with Boolean Congruence Lattices.
Free locally inverse *-semigroups
Matrix identities involving multiplication and transposition
We study matrix identities involving multiplication and unary operations such as transposition or Moore–Penrose inversion. We prove that in many cases such identities admit no finite basis.
Page 1