On planar right groups (Q284654): Difference between revisions

Let \(S\) be a semigroup. With every subset \(C\subseteq S\), a directed multigraph is connected whose vertex set is \(S\) and whose directed arcs are \((s,sc)\) for all \(s\in S\) and \(c\in C\). Such a graph is denoted by \(\mathrm{Cay}(S,C)\) and is called the directed right Cayley graph of \(S\) with connection set \(C\). A semigroup \(S\) is said to be planar if there exists a generating set \(C\) of \(S\) such that \(\mathrm{Cay}(S,C)\) has a crossing-free drawing in the plane. The question under consideration is which finite semigroups are planar. A complete characterization of planar right groups is given. A right group is a semigroup which is isomorphic to the direct products of a group and a right zero band.