A simplistic approach to inverse transversals

An inverse transversal of a regular semigroup S is an inverse subsemigroup that contains precisely one inverse of each element of S. In the literature there are three known types of inverse transversal, namely those that are multiplicative, those that are weakly multiplicative, and those that form quasi-ideals. Here, by considering natural ways in which certain words can be simplified, we reveal four new types of inverse transversal. All of these can be illustrated nicely in examples that are based on 2 x 2 matrices.