Skew Bracoids: Structure and Applications

• Skew bracoids are algebraic structures built from two distinct groups with a transitive, compatible action, generalizing skew braces.
• They play a crucial role in Hopf–Galois theory and Yang–Baxter solutions, enabling classification via holomorph subgroups and computational enumeration.
• Subclasses such as almost-a-braces and almost classical bracoids reveal deep connections with semibraces, braided groupoids, and ring-theoretic generalizations.

Skew bracoids are algebraic structures built from two groups $(G,\cdot)$ and $(N,\star)$ together with a transitive left action $\odot:G\times N\to N$ satisfying the compatibility

$$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$

for all $g\in G$ and $\eta,\mu\in N$. They generalize skew braces by allowing the two group structures to live on different underlying sets, and they were introduced to generalize the existing connection between finite skew braces and Hopf–Galois structures on finite Galois extensions (Martin-Lyons et al., 2023). Subsequent work connected special families of skew bracoids with left cancellative semibraces and right non-degenerate set-theoretic Yang–Baxter solutions, developed constructions via abelian maps, isolated almost-a-brace and almost classical subclasses, and extended the subject toward Hopf bracoids, dynamical skew braces, braided groupoids, and computational enumeration (Colazzo et al., 2024, Koch et al., 29 Jan 2025, Martin-Lyons, 2024, Vilaboa et al., 2024, Ferri, 2024, Darlington, 5 Aug 2025).

1. Definition, basic mechanism, and elementary examples

A left skew bracoid is a quintuple $(G,\cdot,N,\star,\odot)$ in which $(G,\cdot)$ and $(N,\star)$ are groups and $\odot$ is a transitive left action of $(N,\star)$0 on $(N,\star)$1 satisfying the skew-bracoid compatibility law. In the notation of the original group-theoretic formulation, transitivity means that the map $(N,\star)$2, $(N,\star)$3, is surjective (Martin-Lyons et al., 2023). A related enlargement appears in the Hopf-bracoid literature: if transitivity is dropped and one merely requires an action, one obtains a generalized skew bracoid (Vilaboa et al., 2024).

The regular case recovers ordinary skew braces. When $(N,\star)$4 and the action is regular, the operation

$(N,\star)$5

turns $(N,\star)$6 into a skew brace (Martin-Lyons et al., 2023). In a complementary formulation, if one takes $(N,\star)$7 as a set, $(N,\star)$8, and $(N,\star)$9 to be left multiplication, the bracoid identity becomes exactly the defining identity of a skew left brace (Koch et al., 29 Jan 2025). This places skew bracoids as a strict generalization of skew braces.

Concrete examples already display the range of the theory. For $\odot:G\times N\to N$0 and $\odot:G\times N\to N$1 with $\odot:G\times N\to N$2, the action

$\odot:G\times N\to N$3

defines a skew bracoid (Martin-Lyons et al., 2023). Another construction starts from groups $\odot:G\times N\to N$4 and $\odot:G\times N\to N$5 and a homomorphism $\odot:G\times N\to N$6: the semidirect product brace $\odot:G\times N\to N$7 yields, after quotienting by the strong left ideal $\odot:G\times N\to N$8 and identifying $\odot:G\times N\to N$9, a bracoid $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$0 containing the brace $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$1 (Colazzo et al., 2024).

2. Internal structure, morphisms, and holomorph classification

The internal algebra of skew bracoids includes sub-bracoids, left ideals, ideals, and quotients. A subskew bracoid of $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$2 is a pair $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$3 with $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$4, $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$5, such that the restricted data again form a skew bracoid. A left ideal is a subgroup $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$6 stable under the permutation action induced by the bracoid’s $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$7-function, and an ideal is a left ideal that is also normal in $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$8 (Martin-Lyons et al., 2023). If $$g\odot(\eta\star\mu)=(g\odot\eta)\star(g\odot e_N)^{-1}\star(g\odot\mu),$$9 is a left ideal, then

$g\in G$0

is a subgroup of $g\in G$1, the pair $g\in G$2 is a subskew bracoid, and $g\in G$3. If $g\in G$4 is an ideal, then the quotient action

$g\in G$5

makes $g\in G$6 into a skew bracoid (Martin-Lyons et al., 2023).

Homomorphisms are pairs of group homomorphisms $g\in G$7 satisfying

$g\in G$8

Because $g\in G$9 is transitive, once $\eta,\mu\in N$0 is fixed the map $\eta,\mu\in N$1 is forced by

$\eta,\mu\in N$2

The kernel $\eta,\mu\in N$3 is an ideal, the image is a subskew bracoid, and a First Isomorphism Theorem holds after reduction to faithful actions (Martin-Lyons et al., 2023).

The main classification tool is the holomorph. For finite groups $\eta,\mu\in N$4 and $\eta,\mu\in N$5, the following are equivalent: a transitive action $\eta,\mu\in N$6 making $\eta,\mu\in N$7 a skew bracoid; a transitive subgroup $\eta,\mu\in N$8 together with a surjection $\eta,\mu\in N$9; and a group homomorphism $(G,\cdot,N,\star,\odot)$0 together with a surjective $(G,\cdot,N,\star,\odot)$1-cocycle

$(G,\cdot,N,\star,\odot)$2

with action recovered by

$(G,\cdot,N,\star,\odot)$3

Up to equivalence, skew bracoids with fixed $(G,\cdot,N,\star,\odot)$4 correspond to transitive subgroups of $(G,\cdot,N,\star,\odot)$5 (Martin-Lyons et al., 2023). This equivalence is the basis both for structural classification and for later computational work.

3. Bracoids containing a skew brace and the semibrace correspondence

A particularly important subclass consists of skew bracoids that contain a skew brace. In this setting there exists a subgroup $(G,\cdot,N,\star,\odot)$6 and a $(G,\cdot,N,\star,\odot)$7-equivariant bijection $(G,\cdot,N,\star,\odot)$8 under which the restricted action and the operation $(G,\cdot,N,\star,\odot)$9 make $(G,\cdot)$0 into a skew brace. Equivalently, after identifying $(G,\cdot)$1, one has a compatible action $(G,\cdot)$2 on $(G,\cdot)$3 defined by

$(G,\cdot)$4

with $(G,\cdot)$5 trivial, and the brace structure on $(G,\cdot)$6 is recovered through

$(G,\cdot)$7

(Colazzo et al., 2024).

The principal structural theorem identifies these objects with left cancellative semibraces. A left semibrace is a triple $(G,\cdot)$8 such that $(G,\cdot)$9 is a group, $(N,\star)$0 is a left-cancellative semigroup, and

$(N,\star)$1

for all $(N,\star)$2. On a fixed group $(N,\star)$3 with exact factorization $(N,\star)$4, the following are equivalent: (A) a bracoid $(N,\star)$5 containing a brace with $(N,\star)$6; (B) a left semibrace $(N,\star)$7 with $(N,\star)$8 and $(N,\star)$9 (Colazzo et al., 2024).

The equivalence is constructive. From a bracoid containing a brace one defines

$\odot$0

while from a left semibrace one defines

$\odot$1

These constructions are mutually inverse (Colazzo et al., 2024). The correspondence is significant because it transports semibrace methods into bracoid theory and, conversely, realizes certain semibraces as genuinely bracoid-theoretic objects.

4. Yang–Baxter constructions and abelian-map families

The semibrace correspondence produces Yang–Baxter solutions. For a left semibrace $\odot$2, the maps

$\odot$3

give a left-nondegenerate solution of the set-theoretic Yang–Baxter equation (Colazzo et al., 2024). On the bracoid side, if $\odot$4 contains a brace, one defines

$\odot$5

and then

$\odot$6

is a right-nondegenerate solution of the Yang–Baxter equation. Each $\odot$7 and each $\odot$8 is bijective, and if the underlying brace $\odot$9 is involutive then $(N,\star)$00 is involutive (Colazzo et al., 2024).

A second systematic source comes from abelian maps. If $(N,\star)$01 is a homomorphism whose image is abelian, then in the case $(N,\star)$02 one may define

$(N,\star)$03

obtaining a bi-skew brace $(N,\star)$04 and the associated homomorphism $(N,\star)$05 (Koch et al., 29 Jan 2025). For $(N,\star)$06, the conditions

$(N,\star)$07

classify the strong left ideals in the resulting braces. Whenever $(N,\star)$08 or $(N,\star)$09 holds, quotient constructions yield skew bracoids on $(N,\star)$10; when both hold, $(N,\star)$11 inherits two brace structures (Koch et al., 29 Jan 2025).

These constructions also produce right non-degenerate Yang–Baxter solutions. If $(N,\star)$12 is idempotent, $(N,\star)$13, then

$(N,\star)$14

defines a right non-degenerate solution on $(N,\star)$15. A direct-product construction with $(N,\star)$16, $(N,\star)$17, and $(N,\star)$18 yields another explicit family (Koch et al., 29 Jan 2025). A further development shows that if a skew bracoid is almost classical and admits more than one complement $(N,\star)$19, then a single skew bracoid may give rise to multiple, potentially different, solutions (Martin-Lyons, 2024).

5. Hopf–Galois theory, almost-a-brace bracoids, and almost classical bracoids

The original application of skew bracoids is Hopf–Galois theory. For a finite Galois extension $(N,\star)$20 with subgroup $(N,\star)$21, writing $(N,\star)$22 and $(N,\star)$23, binary operations $(N,\star)$24 on $(N,\star)$25 for which $(N,\star)$26 is a skew bracoid are in bijection with $(N,\star)$27-stable regular subgroups of $(N,\star)$28, and hence with Hopf–Galois structures on the separable extension $(N,\star)$29 (Martin-Lyons et al., 2023). The associated Hopf algebra is

$(N,\star)$30

with action on $(N,\star)$31 given by

$(N,\star)$32

(Martin-Lyons et al., 2023).

The papers on almost classical skew bracoids isolate two subclasses. A skew bracoid $(N,\star)$33 is almost a brace if the stabilizer

$(N,\star)$34

has a normal complement $(N,\star)$35 in $(N,\star)$36, equivalently $(N,\star)$37. In that case $(N,\star)$38 acts regularly on $(N,\star)$39, and the bijection $(N,\star)$40, $(N,\star)$41, endows $(N,\star)$42 with a skew-brace structure whose additive group is identified with $(N,\star)$43. It is almost classical if this induced skew brace on $(N,\star)$44 is trivial, equivalently if

$(N,\star)$45

for all $(N,\star)$46, or equivalently $(N,\star)$47 for all $(N,\star)$48 (Martin-Lyons, 2024).

For reduced skew bracoids, these properties admit a holomorph characterization. If $(N,\star)$49, then $(N,\star)$50 is almost a brace if and only if

$(N,\star)$51

with $(N,\star)$52 regular and $(N,\star)$53, and it is almost classical if and only if

$(N,\star)$54

with $(N,\star)$55. In particular, almost classical skew bracoids with additive group $(N,\star)$56 are in bijection, up to isomorphism, with conjugacy classes of subgroups $(N,\star)$57 (Martin-Lyons, 2024).

These subclasses refine the Hopf–Galois picture. In the bracoid–Hopf–Galois correspondence, $(N,\star)$58 is almost a brace if and only if $(N,\star)$59 has a normal complement in $(N,\star)$60, and $(N,\star)$61 is almost classical if and only if $(N,\star)$62 is an almost classical extension in the sense of Greither–Pareigis. The almost classical bracoid viewpoint recovers the Greither–Pareigis result that, in the almost classically Galois situation, there exists a Hopf–Galois structure for which the Hopf–Galois correspondence is surjective (Martin-Lyons, 2024).

6. Categorical, groupoid, and ring-theoretic generalizations

Skew bracoids have been extended in several directions. In a braided monoidal category $(N,\star)$63, a Hopf bracoid is a triple $(N,\star)$64 in which $(N,\star)$65 and $(N,\star)$66 are Hopf algebras, $(N,\star)$67 is a left $(N,\star)$68-module via $(N,\star)$69, and one imposes the braided analogue

$(N,\star)$70

When $(N,\star)$71 with the usual flip, a Hopf bracoid is exactly a generalized skew bracoid (Vilaboa et al., 2024). The free-vector-space functor from generalized skew bracoids to Hopf bracoids is left adjoint to the group-like-element functor, and this adjunction restricts to an equivalence between $(N,\star)$72 and the full subcategory of pointed, cosemisimple Hopf bracoids in $(N,\star)$73. Under additional assumptions one obtains an isomorphism of categories between invertible $(N,\star)$74-cocycles and cocommutative Hopf bracoids (Vilaboa et al., 2024).

A different line of development connects skew bracoids with quiver-theoretic Yang–Baxter theory. A dynamical skew brace over a set $(N,\star)$75 produces a quiver $(N,\star)$76 with arrows $(N,\star)$77, a semiloopoid law

$(N,\star)$78

and a Yang–Baxter map $(N,\star)$79 on composable pairs. Under the zero-symmetry hypothesis, $(N,\star)$80 is bijective and the resulting structure is a braided groupoid, hence a skew bracoid in the sense of Sheng, Tang and Zhu. Conversely, every connected braided groupoid can be parallelised and recovered from a zero-symmetric dynamical skew brace (Ferri, 2024). For finite $(N,\star)$81, the resulting quiver decomposes into complete components governed by integers $(N,\star)$82, which classify all zero-symmetric dynamical skew braces on $(N,\star)$83 up to quiver-isomorphism (Ferri, 2024).

In the quiver literature, quiver skew braces, also called skew bracoids, are equivalent to braided groupoids. This framework supports ideals, quotients, a Brown-style semidirect product, and a categorical semidirect product. It also shows that connected quiver skew braces do not in general decompose as “loops $(N,\star)$84 vertices”: the loop bundle need not be an ideal, so the standard groupoid decomposition fails (Ferri, 12 May 2026). This suggests that the term skew bracoid now spans both the original group-action formalism and a groupoid-theoretic formalism linked by Yang–Baxter constructions.

Two-sided bracoids supply a ring-theoretic analogue of classical brace results. In the abelian-$(N,\star)$85 case, a two-sided bracoid yields a multiplication

$(N,\star)$86

on $(N,\star)$87, and $(N,\star)$88 becomes a Jacobson radical ring. Conversely, a Lau-type theorem states that if this product is associative in a left bracoid, then the structure is already two-sided (Malinowska, 2024).

7. Computation and low-degree enumeration

Because finite skew bracoids correspond to transitive subgroups of holomorphs, they admit direct enumeration. An algorithm implemented in Magma proceeds, for each group $(N,\star)$89 of order $(N,\star)$90, by computing $(N,\star)$91, listing its transitive subgroups up to conjugacy, grouping them into equivalence classes of isomorphic permutation groups with matching point stabilizers, and then extracting numerical invariants such as the number of skew bracoids, the number of regular ones, the almost-classical cases, and the associated Hopf–Galois counts via Byott’s formula (Darlington, 5 Aug 2025).

The correctness of the method rests on three facts recorded in the computational study: conjugacy inside $(N,\star)$92 can be tested using $(N,\star)$93; the bijection between transitive subgroups of $(N,\star)$94 and skew-bracoid equivalence classes is provided by the classification theory; and Byott’s translation theorem connects these data to Hopf–Galois structures. Termination follows because the algorithm works inside finite permutation groups and exhausts their transitive subgroups (Darlington, 5 Aug 2025).

For $(N,\star)$95, the reported totals are as follows.

Degree $(N,\star)$96	Number of skew bracoids
2	1
3	2
4	8
5	3
6	12
7	4
8	148
9	23
10	20
11	4
12	134
13	6
14	24
15	8
16	9 739

The same study reports practical performance data: for $(N,\star)$97, every $(N,\star)$98 runs in under $(N,\star)$99 s and most in $\odot:G\times N\to N$00 s; degrees $\odot:G\times N\to N$01 take up to $\odot:G\times N\to N$02 s; and degree $\odot:G\times N\to N$03 completes in approximately $\odot:G\times N\to N$04 s (Darlington, 5 Aug 2025). Two numerical phenomena are singled out: degrees $\odot:G\times N\to N$05 and $\odot:G\times N\to N$06 have $\odot:G\times N\to N$07 and $\odot:G\times N\to N$08 skew bracoids respectively, and degrees $\odot:G\times N\to N$09 and $\odot:G\times N\to N$10 each have exactly $\odot:G\times N\to N$11 skew bracoids (Darlington, 5 Aug 2025). These data reinforce the central role of holomorph-subgroup enumeration in the modern study of skew bracoids.