1: \begin{abstract}
2: Given a finite bijective non-degenerate set-theoretic solution $(X,r)$ of the Yang--Baxter equation
3: we characterize when its structure monoid $M(X,r)$ is Malcev nilpotent. Applying this characterization
4: to solutions coming from racks, we rediscover some results obtained recently by Lebed and Mortier,
5: and by Lebed and Vendramin on the description of finite abelian racks and quandles.
6:
7: We also investigate bijective non-degenerate multipermutation (not necessarily finite) solutions
8: $(X,r)$ and show, for example, that this property is equivalent to the solution associated to the
9: structure monoid $M(X,r)$ (respectively structure group $G(X,r)$) being a multipermuation solution
10: and that $G(X,r)$ is solvable of derived length not exceeding the multipermutation level of $(X,r)$
11: enlarged by one, generalizing results of Gateva-Ivanova and Cameron obtained in the square-free
12: involutive case. Moreover, we also prove that if $X$ is finite and $G=G(X,r)$ is nilpotent, then the
13: torsion part of the group $G$ is finite, it coincides with the commutator subgroup $[G,G]_+$ of the
14: additive structure of the skew left brace $G$ and $G/[G,G]_+$ is a trivial left brace.
15: \end{abstract}
16: