Bijective solutions to the Pentagon Equation

TL;DR

This paper classifies all finite bijective solutions to the Pentagon Equation, revealing their structure via semigroups, groups, and matched products, and connects these solutions to the Yang--Baxter Equation and skew braces.

Contribution

It provides a complete classification of solutions, introduces a new decomposition involving matched products of groups, and explores their connections to other algebraic structures.

Findings

Solutions correspond to semigroup structures as direct products of a left zero semigroup and a group.

Solutions can be explicitly described using a matched product of groups.

A criterion for isomorphism between solutions is established.

Abstract

A complete classification of all finite bijective set-theoretic solutions $(S,s)$ to the Pentagon Equation is obtained. First, it is shown that every such solution determines a semigroup structure on the set $S$ that is the direct product $E\times G$ of a semigroup of left zeros $E$ and a group $G$. Next, we prove that this leads to a decomposition of the set $S$ as a Cartesian product $X\times A\times G$, for some sets $X,A$ and to the discovery of a hidden group structure on $A$. Then an unexpected structure of a matched product of groups $A,G$ is found such that the solution $(S,s)$ can be explicitly described as a lift of a solution determined on the set $A\times G$ by this matched product of groups. Conversely, every matched product of groups leads to a family of solutions arising in this way. Moreover, a simple criterion for the isomorphism of two solutions is obtained. These results significantly extend those of Colazzo, Jespers, and Kubat, in their treatment of the involutive case. Furthermore, connections to solutions to the Yang--Baxter Equation and to the theory of skew braces are uncovered. The latter motivate a further investigation of the relationship between solutions to the Yang--Baxter Equation and the Pentagon Equation at the set-theoretical level.