Searcharxiv⌕ Search

arXiv subjects

I. Del Corso

Publications and source records attributed to I. Del Corso.

8 recordsLinked to original sources
arXiv2025

On Dedekind Skew Braces

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.

math.RA↗
arXiv2025

On the Sylow Theorem for Skew Braces

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.

math.RA↗
arXiv2024

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

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.

math.AC↗
arXiv2023

Hopf-Galois structures on extensions of degree $p^{2} q$ and skew braces of order $p^{2} q$: the elementary abelian Sylow $p$-subgroup case

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.

math.RA↗
arXiv2020

Hopf-Galois structures on extensions of degree $p^{2} q$ and skew braces of order $p^{2} q$: the cyclic Sylow $p$-subgroup case

$\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 $Γ$ 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 $Γ$. Equivalently, a Galois extension with Galois group $Γ$ 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 $γ: 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 $γ(g^{γ(h)} \cdot h) = γ(g) γ(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.

math.RA↗
arXiv2017

Finite groups of units of finite characteristic rings

In \cite[Problem 72]{Fuchs60} Fuchs asked the following question: which groups can be the group of units of a commutative ring? In the following years, some partial answers have been given to this question in particular cases. The aim of the present paper is to address Fuchs' question when $A$ is a {\it finite characteristic ring}. The result is a pretty good description of the groups which can occur as group of units in this case, equipped with examples showing that there are obstacles to a "short" complete classification. As a byproduct, we are able to classify all possible cardinalities of the group of units of a finite characteristic ring, so to answer Ditor's question \cite{ditor}.

math.RA↗
arXiv2016

On wild extensions of a p-adic field

In this paper we consider the problem of classifying the isomorphism classes of extensions of degree pk of a p-adic field, restricting to the case of extensions without intermediate fields. We establish a correspondence between the isomorphism classes of these extensions and some Kummer extensions of a suitable field F containing K. We then describe such classes in terms of the representations of Gal(F/K). Finally, for k = 2 and for each possible Galois group G, we count the number of isomorphism classes of the extensions whose normal closure has a Galois group isomorphic to G. As a byproduct, we get the total number of isomorphism classes.

math.NT↗