Every finite abelian group is a subgroup of the additive group of a finite simple left brace (Q2196338)

To solve the problem of classifying all non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation \textit{W. Rump} proposed [J. Algebra 307, 153--170 (2007; Zbl 1115.16022)] to consider new algebraic structure \((B,+,\cdot)\) called \textit{left brace}, where \((B,+)\) is an abelian group and \((B,\cdot)\) is a group. There is strict correspondence between such algebras and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation. In particular, the problem of constructing all finite solutions may be reduced to the problem of constructing all finite left braces. On the other hand, finding all finite left braces requires knowledge of finite simple left braces -- a non-zero left braces with only trivial ideals. In this paper, the authors produce new examples of finite simple left braces. From summary: ``The main result of this paper shows that every finite abelian group \(A\) is a subgroup of the additive group of a finite simple left brace \(B\) with metabelian multiplicative group with abelian Sylow subgroups. This result complements earlier unexpected results in [\textit{D. Bachiller} et al., Trans. Amer. Math. Soc. 370, 4881--4907 (2018; Zbl 1431.16035); Commun. Contemp. Math. 21, No. 8, Article ID 1850042, 30 p. (2019; Zbl 1451.16029)] on an abundance of finite simple left braces.''