Searcharxiv⌕ Search

arXiv subjects

Paul J. Truman

Publications and source records attributed to Paul J. Truman.

17 recordsLinked to original sources
arXiv2026

Analogues of Sylow's first theorem, Cauchy's theorem, and Hall's theorem for skew braces

We establish an unconditional analogue of Sylow's first theorem for finite skew braces, and deduce an analogue of Cauchy's theorem. We also prove an analogue of the existence part of Hall's theorem for finite skew braces with soluble additive and multiplicative groups. We make some observations regarding the number of Sylow subskew braces of a skew brace in various cases. By applying these results we streamline the classification of skew braces of order $ pq $, where $ p,q $ are distinct prime numbers.

math.GR↗
arXiv2026

Bidihedral skew braces

We classify skew braces with additive and multiplicative groups both isomorphic to the dihedral group $ D_{n} $. As a consequence, we obtain an alternative proof of the classification of Hopf-Galois structures of dihedral type on a dihedral Galois extension.

math.GR↗
arXiv2026

Bicyclic biskew braces

We study finite braces whose additive and multiplicative groups are both cyclic. We reinterpret the classification of these braces from the perspective of regular subgroups of permutation groups, and identify which of them are biskew braces.

math.GR↗
arXiv2025

On some semidirect products of skew braces arising in Hopf-Galois theory

We classify skew braces that are the semidirect product of an ideal and a left ideal. As a consequence, given a Galois extension of fields $ L/K $ whose Galois group is the semidirect product of a normal subgroup $ A $ and a subgroup $ B $, we classify the Hopf-Galois structures on $ L/K $ that realize $ L^{A} $ via a normal Hopf subalgebra and $ L^{B} $ via a Hopf subalgebra. We show that the Hopf algebra giving such a Hopf-Galois structure is the smash product of these Hopf subalgebras, and use this description to study generalized normal basis generators and questions of integral module structure in extensions of local fields.

math.GR↗
arXiv2025

Skew bracoids containing a skew brace

Skew bracoids have been shown to have applications in Hopf-Galois theory. We show that a certain family of skew bracoids correspond bijectively with left cancellative semibraces. A consequence of this correspondence is that skew bracoids in this family can be used to obtain and study solutions of the set-theoretic Yang--Baxter equation; we study this process and the resulting solutions. We give numerous examples of skew bracoids satisfying our hypothesis, drawing upon a variety of constructions in the literature.

math.RA↗
arXiv2023

Skew bracoids

Skew braces are intensively studied owing to their wide ranging connections and applications. We generalize the definition of a skew brace to give a new algebraic object, which we term a skew bracoid. Our construction involves two groups interacting in a manner analogous to the compatibility condition found in the definition of a skew brace. We formulate tools for characterizing and classifying skew bracoids, and study substructures, quotients, homomorphisms, and isomorphisms. As a first application, we prove that finite skew bracoids correspond with Hopf-Galois structures on finite separable extensions of fields, generalizing the existing connection between finite skew braces and Hopf-Galois structures on finite Galois extensions.

math.GR↗
arXiv2022

On $ ρ$-conjugate Hopf-Galois structures

The Hopf-Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group $ G $ correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a method for partitioning the set of corresponding Hopf-Galois structures, which we term $ ρ$-conjugation. We study properties of this construction, with particular emphasis on the Hopf-Galois analogue of the Galois correspondence, the connection with skew left braces, and applications to questions of integral module structure in extensions of local or global fields. In particular, we show that the number of distinct $ ρ$-conjugates of a given Hopf-Galois structure is determined by the corresponding skew left brace, and that if $ H, H' $ are Hopf algebras giving $ ρ$-conjugate Hopf-Galois structures on a Galois extension of local or global fields $ L/K $ then an ambiguous ideal $ \mathfrak{B} $ of $ L $ is free over its associated order in $ H $ if and only if it is free over its associated order in $ H' $. We exhibit a variety of examples arising from interactions with existing constructions in the literature.

math.NT↗
arXiv2021

Skew left braces and isomorphism problems for Hopf-Galois structures on Galois extensions

Given a finite group $ G $, we study certain regular subgroups of the group of permutations of $ G $, which occur in the classification theories of two types of algebraic objects: skew left braces with multiplicative group isomorphic to $ G $ and Hopf-Galois structures admitted by a Galois extension of fields with Galois group isomorphic to $ G $. We study the questions of when two such subgroups yield isomorphic skew left braces or Hopf-Galois structures involving isomorphic Hopf algebras. In particular, we show that in some cases the isomorphism class of the Hopf algebra giving a Hopf-Galois structure is determined by the corresponding skew left brace. We investigate these questions in the context of a variety of existing constructions in the literature. As an application of our results we classify the isomorphically distinct Hopf algebras that give Hopf-Galois structures on a Galois extension of degree $ pq $ for $ p>q $ prime numbers.

math.GR↗
arXiv2020

Abelian fixed point free endomorphisms and the Yang-Baxter equation

We obtain a simple family of solutions to the set-theoretic Yang-Baxter equation, one which depends only on considering special endomorphisms of a finite group. We show how such an endomorphism gives rise to two non-degenerate solutions to the Yang-Baxter equation, solutions which are inverse to each other. We give concrete examples using dihedral, alternating, symmetric, and metacyclic groups.

math.GR↗
arXiv2019

Opposite skew left braces and applications

Given a skew left brace $\mathfrak{B}$, we introduce the notion of an "opposite" skew left brace $\mathfrak{B}'$, which is closely related to the concept of the opposite of a group, and provide several applications. Skew left braces are closely linked with both solutions to the Yang-Baxter Equation and Hopf-Galois structures on Galois field extensions. We show that the set-theoretic solution to the YBE given by $\mathfrak{B}'$ is the inverse to the solution given by $\mathfrak{B}$; this allows us to identify the group-like elements in the Hopf algebra providing the Hopf-Galois structure using only these solutions. We also show how left ideals of $\mathfrak{B}'$ correspond to the realizable intermediate fields of a certain Hopf-Galois extension of a Galois extension.

math.GR↗
arXiv2019

The Structure of Hopf Algebras Acting on Dihedral Extensions

We discuss isomorphism questions concerning the Hopf algebras that yield Hopf-Galois structures for a fixed separable field extension $L/K$. We study in detail the case where $L/K$ is Galois with dihedral group $D_p$, $p\ge 3$ prime and give explicit descriptions of the Hopf algebras which act on $L/K$. We also determine when two such Hopf algebras are isomorphic, either as Hopf algebras or as algebras. For the case $p=3$ and a chosen $L/K$, we give the Wedderburn-Artin decompositions of the Hopf algebras.

math.NT↗
arXiv2018

Commutative Hopf-Galois module structure of tame extensions

We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we show that if $ L/K $ is a tame Galois extension of $ p $-adic fields then each fractional ideal of $ L $ is free over its associated order in $ H $. We also show that this conclusion remains valid if $ L/K $ is merely almost classically Galois. Finally, we show that if $ L/K $ is an abelian extension of number fields then every ambiguous fractional ideal of $ L $ is locally free over its associated order in $ H $.

math.NT↗
arXiv2017

Isomorphism problems for Hopf-Galois structures on separable field extensions

Let $ L/K $ be a finite separable extension of fields whose Galois closure $ E/K $ has group $ G $. Greither and Pareigis have used Galois descent to show that a Hopf algebra giving a Hopf-Galois structure on $ L/K $ has the form $ E[N]^{G} $ for some group $ N $ such that $ |N|=[L:K] $. We formulate criteria for two such Hopf algebras to be isomorphic as Hopf algebras, and provide a variety of examples. In the case that the Hopf algebras in question are commutative, we also determine criteria for them to be isomorphic as $ K $-algebras. By applying our results, we complete a detailed analysis of the distinct Hopf algebras and $ K $-algebras that appear in the classification of Hopf-Galois structures on a cyclic extension of degree $ p^{n} $, for $ p $ an odd prime number.

math.NT↗
arXiv2017

Normality and Short Exact Sequences of Hopf-Galois Structures

Every Hopf-Galois structure on a finite Galois extension $K/k$ where $G=Gal(K/k)$ corresponds uniquely to a regular subgroup $N\leq B=\operatorname{Perm}(G)$, normalized by $λ(G)\leq B$, in accordance with a theorem of Greither and Pareigis. The resulting Hopf algebra which acts on $K/k$ is $H_N=(K[N])^{λ(G)}$. For a given such $N$ we consider the Hopf-Galois structure arising from a subgroup $P\triangleleft N$ that is also normalized by $λ(G)$. This subgroup gives rise to a Hopf sub-algebra $H_P\subseteq H_N$ with fixed field $F=K^{H_P}$. By the work of Chase and Sweedler, this yields a Hopf-Galois structure on the extension $K/F$ where the action arises by base changing $H_P$ to $F\otimes_k H_P$ which is an $F$-Hopf algebra. We examine this analogy with classical Galois theory, and also examine how the Hopf-Galois structure on $K/F$ relates to that on $K/k$. We will also pay particular attention to how the Greither-Pareigis enumeration/construction of those $H_P$ acting on $K/F$ relates to that of the $H_N$ which act on $K/k$. In the process we also examine short exact sequences of the Hopf algebras which act, whose exactness is directly tied to the descent theoretic description of these algebras.

math.NT↗
arXiv2017

Commuting Hopf-Galois Structures on a Separable Extension

Let $ L/K $ be a finite separable extension of local or global fields in any characteristic, let $ H_{1}, H_{2} $ be two Hopf algebras giving Hopf-Galois structures on the extension, and suppose that the actions of $ H_{1}, H_{2} $ on $ L $ commute. We show that a fractional ideal $ {\mathfrak B} $ of $ L $ is free over its associated order in $ H_{1} $ if and only if it is free over its associated order in $ H_{2} $. We also study which properties these associated orders share.

math.NT↗
arXiv2010

Towards a Generalisation of Noether's Theorem to Nonclassical Hopf-Galois Structures

We study the nonclassical Hopf-Galois module structure of rings of algebraic integers in some extensions of $ p $-adic fields and number fields which are at most tamely ramified. We show that if $ L/K $ is an unramified extension of $ p $-adic fields which is $ H $-Galois for some Hopf algebra $ H $ then $ \OL $ is free over its associated order $ \AH $ in $ H $. If $ H $ is commutative, we show that this conclusion remains valid in ramified extensions of $ p $-adic fields if $ p $ does not divide the degree of the extension. By combining these results we prove a generalisation of Noether's theorem to nonclassical Hopf-Galois structures on domestic extensions of number fields.

math.NT↗