Searcharxiv⌕ Search

arXiv subjects

David Bachiller

Publications and source records attributed to David Bachiller.

8 recordsLinked to original sources
arXiv2017

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

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.

math.QA↗
arXiv2016

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

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.

math.QA↗
arXiv2016

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

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.

math.GR↗
arXiv2016

Extensions, matched products, and simple braces

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.

math.GR↗
arXiv2015

Counterexample to a conjecture about braces

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.

math.GR↗
arXiv2014

Classification of braces of order $p^3$

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.

math.GR↗
arXiv2013

A family of solutions of the Yang-Baxter equation

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)$.

math.RA↗