arXiv subjects
Publications and source records attributed to A. Caranti.
The graded Lie algebra associated with the Nottingham group over a field of prime characteristic serves as a fundamental example of Nottingham algebras, a class of infinite-dimensional, positively graded thin algebras. This paper completes the classification of Nottingham algebras initiated in earlier papers, proving both existence and uniqueness results that determine all such algebras up to isomorphism.
Skew braces play a central role in the theory of set-theoretic non-degenerate solutions of the Yang--Baxter equation, since their algebraic properties significantly affect the behaviour of the corresponding solutions (see for example [Ballester-Bolinches et al., Adv. Math. 455 (2024), 109880]). Recently, the study of nilpotency-like conditions for the solutions of the Yang--Baxter equation has drawn attention to skew braces of abelian type in which every substructure is an ideal (so-called, Dedekind skew braces); see for example [Ballester-Bolinches et al., Result Math. 80 (2025), Article Number 21]. The aim of this paper is not only to show that the hypothesis the skew brace is of abelian type can be neglected in essentially all the known results in this context, but also to extend this theory to skew braces whose additive or multiplicative groups are locally cyclic (and more in general of finite rank). Our main results -- which are in fact much more general than stated here -- are as follows: (1) Every finite Dedekind skew brace is centrally nilpotent. (2) Every hypermultipermutational Dedekind skew brace with torsion-free additive group is trivial. (3) Characterization of a skew brace whose additive or multiplicative group is locally cyclic (4) If a set-theoretic non-degenerate solution of the Yang--Baxter equation has a Dedekind structure skew brace and fixes the diagonal elements, then such a solution must be the twist solution.
We discuss the (first) Sylow theorem for certain classes of finite skew braces, proving it to hold true when the skew brace is two-sided, bi-skew, right nilpotent, $\lambda$-homomorphic or supersoluble. We also show it to hold true for soluble skew braces that are left-nilpotent, and address a number of more specialized settings, proving general Hall-type theorems.
We investigate the occurrence of elements of order $p$ in the upper central series of a finite $p$-group.
Letourmy and Vendramin have recently introduced a concept of isoclinism for skew braces. We show that for a skew brace the properties of being bi-skew, $\lambda$-homomorphic, and inner are invariant under isoclinism.
Let $p, q$ be distinct primes, with $p > 2$. In a previous paper we classified the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, when the Sylow $p$-subgroups of the Galois group are cyclic. This is equivalent to classifying the skew braces of order $p^2q$, for which the Sylow $p$-subgroups of the multiplicative group is cyclic. In this paper we complete the classification by dealing with the case when the Sylow $p$-subgroups of the Galois group are elementary abelian. According to Greither and Pareigis, and Byott, we will do this by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are elementary abelian. We rely on the use of certain gamma functions $\gamma:G\to \operatorname{Aut}(G)$. These functions are in one-to-one correspondence with the regular subgroups of the holomorph of $G$, and are characterised by the functional equation $\gamma(g^{\gamma(h)} \cdot h) = \gamma(g) \gamma(h)$, for $g, h \in G$. We develop methods to deal with these functions, with the aim of making their enumeration easier and more conceptual.
We consider the quotient group $T(G)$ of the multiple holomorph by the holomorph of a finite $p$-group $G$ of class two for an odd prime $p$. By work of the first-named author, we know that $T(G)$ contains a cyclic subgroup of order $p^{r-1}(p-1)$, where $p^r$ is the exponent of the quotient of $G$ by its center. In this paper, we shall exhibit examples of $G$ (with $r = 1$) such that $T(G)$ has order exactly $p-1$, which is as small as possible.
Let $G$ be any group. The quotient group $T(G)$ of the multiple holomorph by the holomorph of $G$ has been investigated for various families of groups $G$. In this paper, we shall take $G$ to be a finite $p$-group of class two for any odd prime $p$, in which case $T(G)$ may be studied using certain bilinear forms. For any $n\geq 4$, we exhibit examples of $G$ of order $p^{n+{n\choose 2}}$ such that $T(G)$ contains a subgroup isomorphic to \begin{equation*} \operatorname{GL}_n(\mathbb{F}_p) \times \operatorname{GL}_{\binom{n}{2}-n}(\mathbb{F}_p).\end{equation*} For finite $p$-groups $G$, the prime factors of the order of $T(G)$ which are known so far all came from $p(p-1)$. Our examples show that the order of $T(G)$ can have other prime factors as well. In fact, we can embed any finite group into $T(G)$ for a suitable choice of $G$.
Rota-Baxter operators for groups were recently introduced by L. Guo, H. Lang, and Y. Sheng. V. G. Bardakov and V. Gubarev showed that with each Rota-Baxter operator one can associate a skew brace. Skew braces on a group $G$ can be characterised in terms of certain gamma functions from $G$ to its automorphism group $\operatorname{Aut}(G)$, that are defined by a functional equation. For the skew braces obtained from a Rota-Baxter operator the corresponding gamma functions take values in the inner automorphism group $\operatorname{Inn}(G)$ of $G$. In this paper, we give a characterisation of the gamma functions on a group $G$, with values in $\operatorname{Inn}(G)$, that come from a Rota-Baxter operator, in terms of the vanishing of a certain element in a suitable second cohomology group. Exploiting this characterisation, we are able to exhibit examples of skew braces whose corresponding gamma functions take values in the inner automorphism group, but cannot be obtained from a Rota--Baxter operator. For gamma functions that can be obtained from a Rota-Baxter operators, we show how to get the latter from the former, exploiting the knowledge that a suitable central group extension splits.
We extend two constructions of Alan Koch, exhibiting methods to construct brace blocks, that is, families of group operations on a set $G$ such that any two of them induce a skew brace structure on $G$. We construct these operations by using bilinear maps and liftings of endomorphisms of quotient groups with respect to a central subgroup. We provide several examples of the construction, showing that there are brace blocks which consist of distinct operations of any given cardinality. One of the examples we give yields an answer to a question of Cornelius Greither. This example exhibits a sequence of distinct operations on the $p$-adic Heisenberg group $(G, \cdot)$ such that any two operations give a skew brace structure on $G$ and the sequence of operations converges to the original operation "$\cdot$".
The interplay between set-theoretic solutions of the Yang--Baxter equation of Mathematical Physics, skew braces, regular subgroups, and Hopf--Galois structures has spawned a considerable body of literature in recent years. In a recent paper, Alan Koch generalised a construction of Lindsay N.~Childs, showing how one can obtain bi-skew braces $(G, \cdot, \circ)$ from an endomorphism of a group $(G, \cdot)$ whose image is abelian. In this paper, we characterise the endomorphisms of a group $(G, \cdot)$ for which Koch's construction, and a variation on it, yield (bi-)skew braces. We show how the set-theoretic solutions of the Yang--Baxter equation derived by Koch's construction carry over to our more general situation, and discuss the related Hopf--Galois structures.
For every field $F$ which has a quadratic extension $E$ we show there are non-metabelian infinite-dimensional thin graded Lie algebras all of whose homogeneous components, except the second one, have dimension $2$. We construct such Lie algebras as $F$-subalgebras of Lie algebras $M$ of maximal class over $E$. We characterise the thin Lie $F$-subalgebras of $M$ generated in degree $1$. Moreover we show that every thin Lie algebra $L$ whose ring of graded endomorphisms of degree zero of $L^3$ is a quadratic extension of $F$ can be obtained in this Lie algebra of maximal class over $E$ which are ideally $r$-constrained for a positive integer $r$.
L. Childs has defined a skew brace $(G, \cdot, \circ)$ to be a bi-skew brace if $(G, \circ, \cdot)$ is also a skew brace, and has given applications of this concept to the equivalent theory of Hopf-Galois structures. The goal of this paper is to deal with bi-skew braces $(G, \cdot, \circ)$ from the yet equivalent point of view of regular subgroups of the holomorph of $(G, \cdot)$. In particular, we find that certain groups studied by T. Kohl, F. Dalla Volta and the author, and C. Tsang all yield examples of bi-skew braces. Building on a construction of Childs, we also give various methods for constructing further examples of bi-skew braces.
$\DeclareMathOperator{\Aut}{Aut}$Let $p, q$ be distinct primes, with $p > 2$. We classify the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, such that the Sylow $p$-subgroups of the Galois group are cyclic. This we do, according to Greither and Pareigis, and Byott, by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are cyclic. This is equivalent to classifying the skew braces $(G, \cdot, \circ)$. Furthermore, we prove that if $G$ and $\Gamma$ are groups of order $p^{2} q$ with non-isomorphic Sylow $p$-subgroups, then there are no regular subgroups of the holomorph of $G$ which are isomorphic to $\Gamma$. Equivalently, a Galois extension with Galois group $\Gamma$ has no Hopf-Galois structures of type $G$. Our method relies on the alternate brace operation $\circ$ on $G$, which we use mainly indirectly, that is, in terms of the functions $\gamma : G \to \Aut(G)$ defined by $g \mapsto (x \mapsto (x \circ g) \cdot g^{-1})$. These functions are in one-to-one correspondence with the regular subgroups of the holomorph of $G$, and are characterised by the functional equation $\gamma(g^{\gamma(h)} \cdot h) = \gamma(g) \gamma(h)$, for $g, h \in G$. We develop methods to deal with these functions, with the aim of making their enumeration easier, and more conceptual.
We record for reference a detailed description of the automorphism groups of the groups of order $p^{2} q$, where $p$ and $q$ are distinct primes.
S. S. Magliveras et al. have described symmetric and public key cryptosystems based on logarithmic signatures (also known as group bases) for finite permutation groups. In this paper we show that if $G$ is a nontrivial finite group which is not cyclic of order a prime, or the square of a prime, then the round (or encryption) functions of these systems, that are the permutations of $G$ induced by the exact-transversal logarithmic signatures (also known as transversal group bases), generate the full symmetric group on $G$. This answers a question of S. S. Magliveras, D.R. Stinson and Tran van Trung.
$\DeclareMathOperator{\Hol}{Hol}$$\DeclareMathOperator{\Aut}{Aut}$$\newcommand{\Gp}[0]{\mathcal{G}(p)}$$\newcommand{\Size}[1]{\left\lvert #1 \right\rvert}$Let $G$ be a group, and $S(G)$ be the group of permutations on the set $G$. The (abstract) holomorph of $G$ is the natural semidirect product $\Aut(G) G$. We will write $\Hol(G)$ for the normalizer of the image in $S(G)$ of the right regular representation of $G$, \begin{equation*} \Hol(G) = N_{S (G)}(\rho(G)) = \Aut(G) \rho(G) \cong \Aut(G) G, \end{equation*} and also refer to it as the holomorph of $G$. More generally, if $N$ is any regular subgroup of $S(G)$, then $N_{S(G)}(N)$ is isomorphic to the holomorph of $N$. G.A.~Miller has shown that the group \begin{equation*} T(G) = N_{S(G)}(\Hol(G))/\Hol(G) \end{equation*} acts regularly on the set of the regular subgroups $N$ of $S(G)$ which are isomorphic to $G$, and have the same holomorph as $G$, in the sense that $N_{S(G)}(N) = \Hol(G)$. If $G$ is non-abelian, inversion on $G$ yields an involution in $T(G)$. Other non-abelian regular subgroups $N$ of $S(G)$ having the same holomorph as $G$ yield (other) involutions in $T(G)$. In the cases studied in the literature, $T(G)$ turns out to be a finite $2$-group, which is often elementary abelian. In this paper we exhibit an example of a finite $p$-group $\Gp$ of class $2$, for $p > 2$ a prime, which is the smallest $p$-group such that $T(\Gp)$ is non-abelian, and not a $2$-group. Moreover, $T(\Gp)$ is not generated by involutions when $p > 3$. More generally, we develop some aspects of a theory of $T(G)$ for $G$ a finite $p$-group of class $2$, for $p > 2$. In particular, we show that for such a group $G$ there is an element of order $p-1$ in $T(G)$, and exhibit examples where $\Size{T(G)} = p - 1$, and others where $T(G)$ contains a large elementary abelian $p$-subgroup.
We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated by a couple of examples that might be of independent interest.