From actions of an abelian group on itself to left braces
Adolfo Ballester-Bolinches, Ramón Esteban-Romero, Leonid A. Kurdachenko, Vicent Pérez-Calabuig
备注：
20 pages. Changed title and approach with respect to previous versions. This version emphasises the role of the construction of left braces of right nilpotency class at most from an action of an abelian group on itself
We present a construction of left braces of right nilpotency class at most two based on suitable actions of an abelian group on itself with an invariance condition. This construction allows us to recover the construction of a free right nilpotent one-generated left brace of class two.
Left braces, introduced by Rump, have turned out to provide an important tool in the study of set theoretic solutions of the quantum Yang-Baxter equation. In particular, they have allowed to construct several new families of solutions. A left brace $(B,+,\cdot )$ is a structure determined by two group structures on a set $B$: an abelian group $(B,+)$ and a group $(B,\cdot)$, satisfying certain compatibility conditions. 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 grou…
A skew brace is a triplet $(A,\cdot,\circ)$, where $(A,\cdot)$ and $(A,\circ)$ are groups such that the brace relation $x\circ (y\cdot z) = (x\circ y)\cdot x^{-1}\cdot (x\circ z)$ holds for all $x,y,z\in A$. In this paper, we study the number of finite skew braces $(A,\cdot,\circ)$, up to isomorphism, such that $(A,\cdot)$ and $(A,\circ)$ are both isomorphic to $T^n$ with $T$ non-abelian simple and $n\in\mathbb{N}$. We prove that it is equal to the number of unlabeled directed graphs on $n+1$ vertices, with one distingusihed vertex, and whose underlying undirected graph is a tree. In particula…
We determine right nilpotency of braces of cardinality $p^4$. If a brace of cardinality $p^4$ has an abelian multiplicative group, then it is left and right nilpotent, so we only consider braces with non-abelian multiplicative groups. We show right nilpotency in all cases using the sufficient condition of $A\ast c=0$ for some central element $c$ of a brace $A$.
This is the first part of a series of two articles. In this paper we enumerate and classify the left braces of size $p^2q$ where $p$ and $q$ are distinct prime numbers by the classification of regular subgroups of the holomorph of the abelian groups of the same order. We also provide the formulas that define the constructed braces.
In this paper we enumerate the skew braces of non-abelian type of size $p^2q$ for $p,q$ primes with $q>2$ by the classification of regular subgroups of the holomorph of the non-abelian groups of the same order. Since Crespo dealt with the case $q=2$, this paper completes the enumeration of skew braces of size $p^2q$ started in a previous work by the authors. In some cases, we provide also a structural description of the skew braces. As an application, we prove a conjecture posed by V. Bardakov, M. Neshchadim and M. Yadav.
Studying solutions of the Yang-Baxter equation through skew braces, with an application to indecomposable involutive solutions with abelian permutation group
Let $G$ be a finite nonabelian group. We show how an endomorphism of $G$ with abelian image gives rise to a family of binary operations $\{\circ_n: n\in \mathbb Z^{\ge 0}\}$ on $G$ such that $(G,\circ_m,\circ_n)$ is a skew left brace for all $m,n\ge 0$. A brace block gives rise to a number of non-degenerate set-theoretic solutions to the Yang-Baxter equation. We give examples showing that the number of solutions obtained can be arbitrarily large.
Let $G$ be a finite nonabelian group, and let $ψ:G\to G$ be a homomorphism with abelian image. We show how $ψ$ gives rise to two Hopf-Galois structures on a Galois extension $L/K$ with Galois group (isomorphic to) $G$; one of these structures generalizes the construction given by a ``fixed point free abelian endomorphism'' introduced by Childs in 2013. We construct the skew left brace corresponding to each of the two Hopf-Galois structures above. We will show that one of the skew left braces is in fact a bi-skew brace, allowing us to obtain four set-theoretic solutions to the Yang-Baxter equat…
We study relations between the additive and the multiplicative groups of a two-sided skew brace. In particular, we prove that if the additive group of a two-sided skew brace is finite solvable (respectively, finitely generated nilpotent, finitely generated residually nilpotent, finitely generated residually finite), then the multiplicative group of this skew brace is solvable (respectively, solvable, residually solvable, residually finite). Also, we prove that if the multiplicative group of a two-sided skew brace is nilpotent of nilpotency class $k$, then the additive group of this skew brace …
Free Skew Braces and Free Solutions of the Yang--Baxter Equation
Vrije Universiteit Brussel（布鲁塞尔自由大学）；Université libre de Bruxelles（布鲁塞尔自由大学）；Università degli Studi di Napoli Federico II（那不勒斯费德里科二世大学）；Maynooth University（梅努斯大学）
A skew brace, as introduced by L. Guarnieri and L. Vendramin, is a set with two group structures interacting in a particular way. When one of the group structures is abelian, one gets back the notion of brace as introduced by W. Rump. Skew braces can be used to construct solutions of the quantum Yang-Baxter equation. In this article, we introduce a notion of action of a skew brace, and show how it leads to solutions of the closely associated reflection equation.
Given a finite bijective non-degenerate set-theoretic solution $(X,r)$ of the Yang--Baxter equation we characterize when its structure monoid $M(X,r)$ is Malcev nilpotent. Applying this characterization to solutions coming from racks, we rediscover some results obtained recently by Lebed and Mortier, and by Lebed and Vendramin on the description of finite abelian racks and quandles. We also investigate bijective non-degenerate multipermutation (not necessarily finite) solutions $(X,r)$ and show, for example, that this property is equivalent to the solution associated to the structure monoid $M…
Infinite systems of equations in abelian and nilpotent groups
Faculty of Mechanics and Mathematics of Lomonosov Moscow State University（莫斯科国立大学力学与数学系）；Moscow Center for Fundamental and Applied Mathematics（莫斯科基础与应用数学中心）
Locally compact abelian groups are classified in which the sum of any two closed subgroups is itself closed. This amounts to reproving and extending results by Yu.~N.~Mukhin from 1970. Namely we contribute a complete classification of all totally disconnected \lca\ groups with $X+Y$ closed for any closed subgroups $X$ and $Y$.
The power graph of a given finite group is a simple undirected graph whose vertex set is the group itself, and there is an edge between any two distinct vertices if one is a power of the other. In this paper, we find a precise formula to count the degree of a vertex in the power graph of a finite abelian group of prime-power order. By using the degree formula, we give a new proof to show that the power graph of a cyclic group of prime-power order is complete. We finally determine the degree of a vertex in the power graph of a finite abelian group.
For an Abelian group $G$, any homomorphism $μ\colon G\otimes G\rightarrow G$ is called a \textsf{multiplication} on $G$. The set $\text{Mult}\,G$ of all multiplications on an Abelian group $G$ itself is an Abelian group with respect to addition; the group is called the \textsf{multiplication group} of $G$. Let $\mathcal{A}_0$ be the class of all reduced block-rigid almost completely decomposable groups of ring type with cyclic regulator quotient. In this paper, for groups $G\in \mathcal{A}_0$, we describe groups $\text{Mult}\,G$. We prove that for $G\in \mathcal{A}_0$, the group $\text{Mult}\,…
The \textbf{Co-Prime Order Graph} $Θ(G)$ of a given finite group is a simple undirected graph whose vertex set is the group $G$ itself, and any two vertexes x,y in $Θ(G)$ are adjacent if and only if $gcd(o(x),o(y))=1$ or prime. In this paper, we find a precise formula to count the degree of a vertex in the Co-Prime Order graph of a finite abelian group or Dihedral group $D_n$.We also investigate the Laplacian spectrum of the Co-Prime Order Graph $Θ(G)$ when G is finite abelian p-group, ${\mathbb{Z}_p}^t \times {\mathbb{Z}_q}^s$ or Dihedral group $D_{p^n}$. Key Words and Phrases: Co-Prime Order…
A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism of G (=continuous isomorphism of G onto itself) is open. The class of g-reversible groups contains Polish groups, locally compact sigma-compact groups, minimal groups, abelian groups with the Bohr topology, and reversible topological groups. We prove that subgroups of R^n are g-reversible, for every positive integer n. An example of a compact (so reversible)…
A hypermap is an embedding of a connected hypergraph into an orientable closed surface. A covering between hypermaps is a homomorphism between the embedded hypergraphs which extends to an orientation-preserving covering of the supporting surfaces. A covering of a hypermap onto itself is an automorphism, and a hypermap is regular if its automorphism group acts transitively on the brins. Depending on the algebraic theory of regular hypermaps and hypermap operations, the abelian regular coverings over the quaternion hypermap are investigated. We define normalized multicyclic coverings between reg…
We demonstrated the existence of a group algebraic structure hidden in relational knowledge embedding problems, which suggests that a group-based embedding framework is essential for designing embedding models. Our theoretical analysis explores merely the intrinsic property of the embedding problem itself hence is model-independent. Motivated by the theoretical analysis, we have proposed a group theory-based knowledge graph embedding framework, in which relations are embedded as group elements, and entities are represented by vectors in group action spaces. We provide a generic recipe to const…
