In this paper a simple algebraic formula is obtained for the correspondence between finite right nilpotent Fp-braces and finite nilpotent pre-Lie algebras. This correspondence agrees with the correspondence using Lazard's correspondence between finite Fp-braces and pre-Lie algebras proposed by Wolfgang Rump in 2014. As an application example, a classification of all right nilpotent Fp-braces generated by one element of cardinality p^4 is obtained, answering a question posed by Leandro Vendramin. It is also shown that the sum of a finite number of left nilpotent ideals in a left brace is a left…
We study series of left ideals of skew left braces that are analogs of upper central series of groups. These concepts allow us to define left and right nilpotent skew left braces. Several results related to these concepts are proved and applications to infinite left braces are given. Indecomposable solutions of the Yang-Baxter equation are explored using the structure of skew left braces.
We classify nilpotent pre-Lie rings of cardinality $p^4$ and thereby braces of the same cardinality, for a sufficiently large prime $p$. It has been shown that nilpotent pre-Lie rings of cardinality $p^n$ correspond to strongly nilpotent braces of the same cardinality, for sufficiently large $p$. These braces are explicitly obtained from the corresponding pre-Lie rings by the construction of the group of flows. Not right nilpotent braces of cardinality $p^4$ have been classified, hence our results finish the classification of braces of cardinality $p^4$.
We describe all $\mathbb F_{p}$-braces of cardinality $p^{4}$ which are not right nilpotent. Our solution illustrates a general way of investigating $\mathbb F_{p}$-braces of cardinality $p^{n}$ with a given multiplicative group. The constructed braces are left nilpotent, solvable and prime, and they also contain a non-zero strongly nilpotent ideal.
We study non-degenerate involutive set-theoretic solutions (X,r) of the Yang-Baxter equation, we call them simply solutions. We show that the structure group G(X,r) of a finite non-trivial solution (X,r) cannot be an Engel group. It is known that the structure group G(X,r) of a finite multipermutation solution (X,r) is a poly-Z group, thus our result gives a rich source of examples of braided groups and left braces G(X,r) which are poly-Z groups but not Engel groups. We also show that a finite solution of the Yang-Baxter equation can be embedded in a convenient way into a finite brace and into…
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(梅努斯大学)
Using Bieberbach groups we study multipermutation involutive solutions to the Yang-Baxter equation. We use a linear representation of the structure group of an involutive solution to study the unique product property in such groups. An algorithm to find subgroups of a Bieberbach group isomorphic to the Promislow subgroup is introduced and then used in the case of structure group of involutive solutions. To extend the results related to retractability to non-involutive solutions, following the ideas of Meng, Ballester-Bolinches and Romero, we develop the theory of right $p$-nilpotent skew brace…
Skew braces are algebraic structures related to the solutions of the set-theoretic quantum Yang-Baxter equation. We develop the central nilpotency theory for such algebraic structures in the sense of Freese-McKenzie \cite{comm} and we compare the universal algebraic notion of central nilpotency with the notion of right and left $*$-nilpotency developed in \cite{NilpotentType}.
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…
Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.
Let $G$ be the free two step nilpotent Lie group on three generators and let $L$ be a sub-Laplacian on it. We compute the spectral resolution of $L$ and prove that the operators arising from this decomposition enjoy a Tomas-Stein type estimate.
A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free nilpotent group of class 2 such a group is always a cyclic extension of the center. However this need not be true in an arbitrary finitely generated class two nilpotent group. We show that three generator nilpotent groups violating this condition can be easily found. However in the case when there are four or more generators certain conditions must hold.
The authors extend to the $q-$tensor square $G \otimes^q G$ of a group $G$, $q$ a non-negative integer, some structural results due to R. D. Blyth, F. Fumagalli and M. Morigi concerning the non-abelian tensor square $G \otimes G$ ($q = 0$). The results are applied to the computation of $G \otimes^q G$ for finitely generated nilpotent groups $G$, specially for free nilpotent groups of finite rank. They also generalize to all $q \geq 0$ results of M. Bacon regarding an upper bound to the minimal number of generators of the non-abelian tensor square $G \otimes G$ when $G$ is a $n-$generator nilpo…
The free nilpotent group $G_{m,n}$ of class $m$ and rank $n$ is the free object on $n$ generators in the category of nilpotent groups of class at most $m$. We show that $G_{m,n}$ can be recovered from its reduced group $C^*$-algebra, in the sense that if $H$ is any group such that $C^*_r(H)$ is isomorphic to $C^*_r(G_{m,n})$, then $H$ must be isomorphic to $G_{m,n}$.
It is well known that the automorphism group of a regular dessin is a two-generator finite group, and the isomorphism classes of regular dessins with automorphism groups isomorphic to a given finite group $G$ are in one-to-one correspondence with the orbits of the action of $\Aut(G)$ on the ordered generating pairs of $G$. If there is only one orbit, then up to isomorphism the regular dessin is uniquely determined by the group $G$ and it is called uniquely regular. In the paper we investigate the classification of uniquely regular dessins with a nilpotent automorphism group. The problem is red…
The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In the case $G=Aut(Γ)$ we denote $C\left(Γ\right)=C\left(Aut(Γ),Γ\right)$. Let $Γ$ be a finitely generated group, $\barΓ=Γ/[Γ,Γ]$, and $Γ^{*}=\barΓ/tor(\barΓ)\cong\mathbb{Z}^{(d)}$. Denote $Aut^{*}(Γ)=\textrm{Im}(Aut(Γ)\to Aut(Γ^{*}))\leq GL_{d}(\mathbb{Z})$. In this paper we show that when $Γ$ is nilpotent, there is a canonical isomorphi…