Showing 1–7 of 7 results for author: Stefanello, L

Classification of the types for which every Hopf--Galois correspondence is bijective

Authors: Lorenzo Stefanello, Cindy Tsang

Abstract: Let $L/K$ be any finite Galois extension with Galois group $G$. It is known by Chase and Sweedler that the Hopf--Galois correspondence is injective for every Hopf--Galois structure on $L/K$, but it need not be bijective in general. Hopf--Galois structures are known to be related to skew braces, and recently, the first-named author and Trappeniers proposed a new version of this connection with the… ▽ More Let $L/K$ be any finite Galois extension with Galois group $G$. It is known by Chase and Sweedler that the Hopf--Galois correspondence is injective for every Hopf--Galois structure on $L/K$, but it need not be bijective in general. Hopf--Galois structures are known to be related to skew braces, and recently, the first-named author and Trappeniers proposed a new version of this connection with the property that the intermediate fields of $L/K$ in the image of the Hopf--Galois correspondence are in bijection with the left ideals of the associated skew brace. As an application, they classified the groups $G$ for which the Hopf--Galois correspondence is bijective for every Hopf--Galois structure on any $G$-Galois extension. In this paper, using a similar approach, we shall classify the groups $N$ for which the Hopf--Galois correspondence is bijective for every Hopf--Galois structure of type $N$ on any Galois extension. △ Less

Submitted 19 October, 2024; v1 submitted 22 June, 2024; originally announced June 2024.

Comments: 10 pages; modified the definitions of H in Examples 3.1 to 3.5 based on referee's suggestions

MSC Class: 12F10; 16T05; 20N99

Journal ref: J. Algebra 664 (2025), part A, 514-526

On Fuchs' problem for finitely generated abelian groups: The small torsion case

Authors: I. Del Corso, L. Stefanello

Abstract: A classical problem, raised by Fuchs in 1960, asks to classify the abelian groups which are groups of units of some rings. In this paper, we consider the case of finitely generated abelian groups, solving Fuchs' problem for such group with the additional assumption that the torsion subgroups are small, for a suitable notion of small related to the Prüfer rank. As a concrete instance, we classify… ▽ More A classical problem, raised by Fuchs in 1960, asks to classify the abelian groups which are groups of units of some rings. In this paper, we consider the case of finitely generated abelian groups, solving Fuchs' problem for such group with the additional assumption that the torsion subgroups are small, for a suitable notion of small related to the Prüfer rank. As a concrete instance, we classify for each $n\ge2$ the realisable groups of the form $\mathbb{Z}/n\mathbb{Z}\times\mathbb{Z}^r$. Our tools require an investigation of the adjoint group of suitable radical rings of odd prime power order appearing in the picture, giving conditions under which the additive and adjoint groups are isomorphic. In the last section, we also deal with some groups of order a power of $2$, proving that the groups of the form $\mathbb{Z}/4\mathbb{Z}\times \mathbb{Z}/2^{u}\mathbb{Z}$ are realisable if and only if $0\le u\le 3$ or $2^u+1$ is a Fermat's prime. △ Less

Submitted 1 June, 2024; originally announced June 2024.

On the connection between Hopf--Galois structures and skew braces

Authors: L. Stefanello, S. Trappeniers

Abstract: We present a different version of the well-known connection between Hopf--Galois structures and skew braces, building on a recent paper of A. Koch and P. J. Truman. We show that the known results that involve this connection easily carry over to this new perspective, and that new ones naturally appear. As an application, we present new insights on the study of the surjectivity of the Hopf--Galois… ▽ More We present a different version of the well-known connection between Hopf--Galois structures and skew braces, building on a recent paper of A. Koch and P. J. Truman. We show that the known results that involve this connection easily carry over to this new perspective, and that new ones naturally appear. As an application, we present new insights on the study of the surjectivity of the Hopf--Galois correspondence, explaining in more detail the role of bi-skew braces in Hopf--Galois theory. △ Less

Submitted 25 February, 2023; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: Published in the Bulletin of the London Mathematical Society

On bi-skew braces and brace blocks

Authors: L. Stefanello, S. Trappeniers

Abstract: L. N. Childs defined a bi-skew brace to be a skew brace such that if we swap the role of the two operations, then we find again a skew brace. In this paper, we give a systematic analysis of bi-skew braces. We study nilpotency and solubility, and connections between bi-skew braces and set-theoretic solutions of the Yang--Baxter equation. Further, we deal with Byott's conjecture in the case of bi-… ▽ More L. N. Childs defined a bi-skew brace to be a skew brace such that if we swap the role of the two operations, then we find again a skew brace. In this paper, we give a systematic analysis of bi-skew braces. We study nilpotency and solubility, and connections between bi-skew braces and set-theoretic solutions of the Yang--Baxter equation. Further, we deal with Byott's conjecture in the case of bi-skew braces, and we use bi-skew braces as a tool to solve a classification problem proposed by L. Vendramin. In the final part, we investigate brace blocks, defined by A. Koch to be families of group operations on a given set such that any two of them yield a bi-skew brace. We provide a characterisation of brace blocks, illustrate how all known constructions in literature follow in a natural way from our characterisation, and give several new examples. △ Less

Submitted 15 December, 2022; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: Final version, published in Journal of Pure and Applied Algebra

Journal ref: Journal of Pure and Applied Algebra 227 (2023) no. 5, Paper No. 107295

Skew braces from Rota--Baxter operators: a cohomological characterisation and some examples

Authors: A. Caranti, L. Stefanello

Abstract: 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 b… ▽ More 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. △ Less

Submitted 22 August, 2022; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: 14 pages; accepted for publication, Annali di Matematica Pura e Applicata

MSC Class: 17B38 20J06 20E22 20D15 08A35

Brace blocks from bilinear maps and liftings of endomorphisms

Authors: A. Caranti, L. Stefanello

Abstract: 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, showin… ▽ More 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$". △ Less

Submitted 19 September, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Comments: 19 pages

MSC Class: 20B05 20D45 20N99 08A35 16T25

Journal ref: J. Algebra 610 (2022), 831-851

From endomorphisms to bi-skew braces, regular subgroups, the Yang--Baxter equation, and Hopf--Galois structures

Authors: A. Caranti, L. Stefanello

Abstract: 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… ▽ More 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. △ Less

Submitted 22 October, 2021; v1 submitted 4 April, 2021; originally announced April 2021.

Comments: v1 of this manuscript has been split in two. The first part has appeared in J. Algebra 587 (2021), 462-487, and carries a slightly revised title - it is v2 here (19 pages). The second part is now arXiv:2110.11028

MSC Class: 20B05 20D45 12F10 20N99 16T05 16T25

Journal ref: J. Algebra 587 (2021), 462-487