1: \begin{abstract}

2: It is proven that finite idempotent left non-degenerate set-theoretic solutions $(X,r)$ of the 

3: Yang--Baxter equation on a set $X$ are

4: determined by a left simple semigroup structure on $X$ (in particular, a finite union of isomorphic copies of a group)

5: and some maps $q$ and $\varphi_x$ on $X$, for $x\in X$. This structure turns out to be a group precisely when the associated

6: structure monoid is cancellative and all the maps $\varphi_x$ are equal to an automorphism of this group. Equivalently,

7: the structure algebra $K[M(X,r)]$ is right Noetherian, or in characteristic zero it has to be semiprime. The structure

8: algebra always is a left Noetherian representable algebra of Gelfand--Kirillov dimension one. To prove these results

9: it is shown that the structure semigroup $S(X,r)$ has a decomposition in finitely many cancellative semigroups $S_u$

10: indexed by the diagonal, each $S_u$ has a group of quotients $G_u$ that is finite-by-(infinite cyclic) and the union

11: of these groups carries the structure of a left simple semigroup. The case that $X$ equals the diagonal is fully

12: described by a single permutation on $X$.

13: \end{abstract}

14: