Showing 1–10 of 10 results for author: Bachiller, D

Asymmetric product of left braces and simplicity; new solutions of the Yang-Baxter equation

Authors: David Bachiller, Ferran Cedó, Eric Jespers, Jan Okniński

Abstract: The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left b… ▽ More The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left braces with the emphasis on the application of the asymmetric product of left braces in order to construct new classes of simple left braces. We do not only construct new classes but also we interpret all previously known constructions as asymmetric products. Moreover, a construction is given of finite simple left braces with a multiplicative group that is solvable of arbitrary derived length. △ Less

Submitted 23 May, 2017; originally announced May 2017.

MSC Class: 16T25; 20E22; 20F16

A characterization of finite multipermutation solutions of the Yang-Baxter equation

Authors: D. Bachiller, F. Cedó, L. Vendramin

Abstract: We prove that a finite non-degenerate involutive set-theoretic solution (X,r) of the Yang-Baxter equation is a multipermutation solution if and only if its structure group G(X,r) admits a left ordering or equivalently it is poly-(infinite cyclic). We prove that a finite non-degenerate involutive set-theoretic solution (X,r) of the Yang-Baxter equation is a multipermutation solution if and only if its structure group G(X,r) admits a left ordering or equivalently it is poly-(infinite cyclic). △ Less

Submitted 28 June, 2017; v1 submitted 31 January, 2017; originally announced January 2017.

Comments: 7 pages

MSC Class: 16T25; 20F16; 20F60

Journal ref: Publ. Mat. 62 (2018), no. 2, 641-649

Solutions of the Yang-Baxter equation associated to skew left braces, with applications to racks

Authors: David Bachiller

Abstract: Given a skew left brace $B$, a method is given to construct all the non-degenerate set-theoretic solutions $(X,r)$ of the Yang Baxter equation such that the associated permutation group $\mathcal{G}(X,r)$ is isomorphic, as a skew left brace, to $B$. This method depends entirely on the brace structure of $B$. We then adapt this method to show how to construct solutions with additional properties, l… ▽ More Given a skew left brace $B$, a method is given to construct all the non-degenerate set-theoretic solutions $(X,r)$ of the Yang Baxter equation such that the associated permutation group $\mathcal{G}(X,r)$ is isomorphic, as a skew left brace, to $B$. This method depends entirely on the brace structure of $B$. We then adapt this method to show how to construct solutions with additional properties, like square-free, involutive or irretractable solutions. Using this result, it is even possible to recover racks from their permutation group. △ Less

Submitted 24 November, 2016; originally announced November 2016.

MSC Class: 16T25 (Primary) 20B05; 17B37; 12F10 (Secondary)

Iterated matched products of finite braces and simplicity; new solutions of the Yang-Baxter equation

Authors: D. Bachiller, F. Cedó, E. Jespers, J. Okninski

Abstract: Braces were introduced by Rump as a promising tool in the study of the set-theoretic solutions of the Yang-Baxter equation. It has been recently proved that, given a left brace $B$, one can construct explicitly all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation such that the associated permutation group is isomorphic, as a left brace, to $B$. It is hence of funda… ▽ More Braces were introduced by Rump as a promising tool in the study of the set-theoretic solutions of the Yang-Baxter equation. It has been recently proved that, given a left brace $B$, one can construct explicitly all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation such that the associated permutation group is isomorphic, as a left brace, to $B$. It is hence of fundamental importance to describe all simple objects in the class of finite left braces. In this paper we focus on the matched product decompositions of an arbitrary finite left brace. This is used to construct new families of finite simple left braces. △ Less

Submitted 3 October, 2016; originally announced October 2016.

MSC Class: 16T25; 20E22; 20F16

Extensions, matched products, and simple braces

Authors: David Bachiller

Abstract: We show how to construct all the extensions of left braces by ideals with trivial structure. This is useful to find new examples of left braces. But, to do so, we must know the basic blocks for extensions: the left braces with no ideals except the trivial and the total ideal, called simple left braces. In this article, we present the first non-trivial examples of finite simple left braces. To expl… ▽ More We show how to construct all the extensions of left braces by ideals with trivial structure. This is useful to find new examples of left braces. But, to do so, we must know the basic blocks for extensions: the left braces with no ideals except the trivial and the total ideal, called simple left braces. In this article, we present the first non-trivial examples of finite simple left braces. To explicitly construct them, we define the matched product of two left braces, which is a useful method to recover a finite left brace from its Sylow subgroups. △ Less

Submitted 13 June, 2016; v1 submitted 26 November, 2015; originally announced November 2015.

Comments: References in the previous version were broken

MSC Class: 20F16; 20E22; 20F28; 16T25

A family of irretractable square-free solutions of the Yang-Baxter equation

Authors: David Bachiller, Ferran Cedo, Eric Jespers, Jan Okninski

Abstract: A new family of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation is constructed. All these solutions are strong twisted unions of multipermutation solutions of multipermutation level at most two. A large subfamily consists of irretractable and square-free solutions. This subfamily includes a recent example of Vendramin, who first gave a counterexample to Gateva-Ivanova… ▽ More A new family of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation is constructed. All these solutions are strong twisted unions of multipermutation solutions of multipermutation level at most two. A large subfamily consists of irretractable and square-free solutions. This subfamily includes a recent example of Vendramin, who first gave a counterexample to Gateva-Ivanova's Strong Conjecture. All the solutions in this subfamily are new counterexamples to Gateva-Ivanova's Strong Conjecture and also they answer a question of Cameron and Gateva-Ivanova. It is proved that the natural left brace structure on the permutation group of the solutions in this family has trivial socle. Properties of the permutation group and of the structure group associated to these solutions are also investigated. In particular, it is proved that the structure groups of finite solutions in this subfamily are not poly-(infinite cyclic) groups. △ Less

Submitted 5 October, 2016; v1 submitted 24 November, 2015; originally announced November 2015.

MSC Class: 16T25; 20E22; 20F16

Counterexample to a conjecture about braces

Authors: David Bachiller

Abstract: We find an example of a finite solvable group (in fact, a finite $p$-group) without any left brace structure (equiv. which is not an IYB group). Our argument is an improvement of an argument of Rump, using previous work in other areas of Burde, and of Featherstonhaugh, Caranti and Childs, which we relate to brace theory. We find an example of a finite solvable group (in fact, a finite $p$-group) without any left brace structure (equiv. which is not an IYB group). Our argument is an improvement of an argument of Rump, using previous work in other areas of Burde, and of Featherstonhaugh, Caranti and Childs, which we relate to brace theory. △ Less

Submitted 23 July, 2015; v1 submitted 8 July, 2015; originally announced July 2015.

MSC Class: 16N20; 20D15; 81R50 (Primary); 16T25; 12F10; 17B30; 17B60 (Secondary)

Solutions of the Yang-Baxter equation associated with a left brace

Authors: David Bachiller, Ferran Cedo, Eric Jespers

Abstract: Given a left brace $G$, a method to construct all the involutive, non-degenerate set-theoretic solutions $(Y,s)$ of the YBE, such that $\mathcal{G}(Y,s)\cong G$ is given. This method depends entirely on the brace structure of $G$. Given a left brace $G$, a method to construct all the involutive, non-degenerate set-theoretic solutions $(Y,s)$ of the YBE, such that $\mathcal{G}(Y,s)\cong G$ is given. This method depends entirely on the brace structure of $G$. △ Less

Submitted 10 March, 2015; originally announced March 2015.

Comments: 18 pages

MSC Class: 16T25 (Primary); 20B30; 81R50 (Secondary)

Classification of braces of order $p^3$

Authors: David Bachiller

Abstract: A classification up to isomorphism of all left braces of order $p^3$, where $p$ is any prime number, is given. To this end, we first classify all the left braces of order $p$ and $p^2$, and then we construct explicitly the hypothesis required in Corollary D of N. Ben David's Ph.D. thesis to build multiplications of left braces. A classification up to isomorphism of all left braces of order $p^3$, where $p$ is any prime number, is given. To this end, we first classify all the left braces of order $p$ and $p^2$, and then we construct explicitly the hypothesis required in Corollary D of N. Ben David's Ph.D. thesis to build multiplications of left braces. △ Less

Submitted 19 July, 2014; originally announced July 2014.

A family of solutions of the Yang-Baxter equation

Authors: David Bachiller, Ferran Cedo

Abstract: A new method to construct involutive non-degenerate set-theoretic solutions $(X^n,r^{(n)})$ of the Yang-Baxter equation from an initial solution $(X,r)$ is given. Furthermore, the permutation group $\mathcal{G}(X^n,r^{(n)})$ associated to the solution $(X^n,r^{(n)})$ is isomorphic to a subgroup of $\mathcal{G}(X,r)$, and in many cases $\mathcal{G}(X^n,r^{(n)})\cong \mathcal{G}(X,r)$. A new method to construct involutive non-degenerate set-theoretic solutions $(X^n,r^{(n)})$ of the Yang-Baxter equation from an initial solution $(X,r)$ is given. Furthermore, the permutation group $\mathcal{G}(X^n,r^{(n)})$ associated to the solution $(X^n,r^{(n)})$ is isomorphic to a subgroup of $\mathcal{G}(X,r)$, and in many cases $\mathcal{G}(X^n,r^{(n)})\cong \mathcal{G}(X,r)$. △ Less

Submitted 18 December, 2013; originally announced December 2013.

Comments: 11 pages

MSC Class: 16T25; 20B35; 81R50