arXiv++ Combinatorics

We introduce a new variety of universal algebras with two binary operations, called \emph{Płonka bi-magmas}, and use them to construct novel solutions to the set-theoretic Yang-Baxter (YB) equation. We establish explicit structural and classification results for Płonka bi-magmas, which allow for a detailed study of the induced families of YB-solutions. In particular, we identify and classify several naturally arising classes of YB-solutions from the universal algebra perspective, including the so-called bi-connected and ideal-simple ones. For instance, we prove that there are only countably many isomorphism classes of induced YB-solutions which are ideal-simple, and characterize them in terms of the odometer transformations familiar from ergodic theory. In particular, if $X$ is a finite set with $|X| = n$, then the number of isomorphism classes of all the induced ideal-simple YB-solutions on $X$ is equal to the sum of all divisors of $n$.

We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.