---
title: 'Skew Bracoids: Structure and Applications'
url: https://www.emergentmind.com/topics/skew-bracoids
type: topic
---

# Skew Bracoids: Structure and Applications

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 [2305.15848]. 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 [2404.15929], [2501.17624], [2412.10268], [2401.02925], [2410.10717], [2508.03372].

## 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 \(G\) on \(N\) satisfying the skew-bracoid compatibility law. In the notation of the original group-theoretic formulation, transitivity means that the map \(G\to N\), \(g\mapsto g\odot e_N\), is surjective [2305.15848]. 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 [2401.02925].

The regular case recovers ordinary skew braces. When \(|G|=|N|\) and the action is regular, the operation
\[
(g\odot e_N)\circ(h\odot e_N)=(gh)\odot e_N
\]
turns \((N,\star,\circ)\) into a skew brace [2305.15848]. In a complementary formulation, if one takes \(N=G\) as a set, \(\star=\cdot\), and \(\odot\) to be left multiplication, the bracoid identity becomes exactly the defining identity of a skew left brace [2501.17624]. This places skew bracoids as a strict generalization of skew braces.

Concrete examples already display the range of the theory. For \(G=D_n=\langle r,s\mid r^n=s^2=1,\;srs=r^{-1}\rangle\) and \(N=\langle\eta\rangle\cong C_d\) with \(d\mid n\), the action
\[
r^is^j\odot\eta^k=\eta^{\,i+(-1)^j\,k}
\]
defines a skew bracoid [2305.15848]. Another construction starts from groups \(H\) and \(S\) and a homomorphism \(\alpha:S\to\operatorname{Aut}(H)\): the semidirect product brace \(G=H\rtimes_\alpha S\) yields, after quotienting by the strong left ideal \(S'=\{e_H\}\times S\) and identifying \(G/S'\cong H\), a bracoid \((G,\cdot,H,\star,\odot)\) containing the brace \(H'=H\times\{e_S\}\) [2404.15929].

## 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,N)\) is a pair \((H,M)\) with \(H\le G\), \(M\le N\), such that the restricted data again form a skew bracoid. A left ideal is a subgroup \(M\le N\) stable under the permutation action induced by the bracoid’s \(\gamma\)-function, and an ideal is a left ideal that is also normal in \((N,\star)\) [2305.15848]. If \(M\) is a left ideal, then
\[
G_M=\{g\in G\mid g\odot M\subseteq M\}
\]
is a subgroup of \(G\), the pair \((G_M,M)\) is a subskew bracoid, and \(G_M\odot e_N=M\). If \(M\) is an ideal, then the quotient action
\[
g\odot(\eta M)=(g\odot\eta)M
\]
makes \((G,N/M)\) into a skew bracoid [2305.15848].

Homomorphisms are pairs of group homomorphisms \(\Psi=(\varphi,\psi)\) satisfying
\[
\psi(g\odot\eta)=\varphi(g)\odot'\psi(\eta).
\]
Because \(\odot\) is transitive, once \(\varphi\) is fixed the map \(\psi\) is forced by
\[
\psi(g\odot e_N)=\varphi(g)\odot' e_{N'}.
\]
The kernel \(\ker\psi\) is an ideal, the image is a subskew bracoid, and a First Isomorphism Theorem holds after reduction to faithful actions [2305.15848].

The main classification tool is the holomorph. For finite groups \((G,\cdot)\) and \((N,\star)\), the following are equivalent: a transitive action \(\odot\) making \((G,\cdot,N,\star,\odot)\) a skew bracoid; a transitive subgroup \(A\le \operatorname{Hol}(N)=\lambda_\star(N)\rtimes\operatorname{Aut}(N)\) together with a surjection \(G\twoheadrightarrow A\); and a group homomorphism \(\gamma:G\to\operatorname{Aut}(N)\) together with a surjective \(1\)-cocycle
\[
\pi:G\to N,\qquad \pi(gh)=\pi(g)\star {}^{\gamma(g)}\!\pi(h),
\]
with action recovered by
\[
g\odot \eta = \pi(g)\star {}^{\gamma(g)}\eta.
\]
Up to equivalence, skew bracoids with fixed \(N\) correspond to transitive subgroups of \(\operatorname{Hol}(N)\) [2305.15848]. 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 \(H\le G\) and a \(G\)-equivariant bijection \(\phi:N\to H\) under which the restricted action and the operation \(\star\) make \(H\) into a skew brace. Equivalently, after identifying \(N\cong H\), one has a compatible action \(\odot_H\) on \(H\) defined by
\[
(x\odot_H h)\odot e_N=(xh)\odot e_N,
\]
with \(H^\circ=\{h\in H:h\odot e_N=e_N\}\) trivial, and the brace structure on \(H\) is recovered through
\[
(h_1\star_H h_2)\odot e_N=(h_1\odot e_N)\star(h_2\odot e_N)
\]
[2404.15929].

The principal structural theorem identifies these objects with left cancellative semibraces. A left semibrace is a triple \((G,+,\cdot)\) such that \((G,\cdot)\) is a group, \((G,+)\) is a left-cancellative semigroup, and
\[
x\cdot(y+z)=x\cdot y+x\cdot(x^{-1}+z)
\]
for all \(x,y,z\in G\). On a fixed group \(G\) with exact factorization \(G=HS\), the following are equivalent:  
(A) a bracoid \((G,\cdot,H,\star,\odot)\) containing a brace with \(\operatorname{Stab}_G(e_H)=S\);  
(B) a left semibrace \((G,+,\cdot)\) with \(G+e=H\) and \(E:=\{x:x+x=x\}=S\) [2404.15929].

The equivalence is constructive. From a bracoid containing a brace one defines
\[
x+y := y\;\lambda_{y^{-1}}(x),\qquad
\lambda_x(y):=\gamma_x(y\odot e_H),\qquad
\gamma_x(h):=(x\odot e_H)^{-\star}\star(x\odot h),
\]
while from a left semibrace one defines
\[
h\star k:=k+h,\qquad x\odot h:=xh+e.
\]
These constructions are mutually inverse [2404.15929]. 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 \((G,+,\cdot)\), the maps
\[
L_x(y)=x\cdot(x^{-1}+y),\qquad
R_y(x)=L_x(y)^{-1}\,x\,y
\]
give a left-nondegenerate solution of the set-theoretic Yang–Baxter equation [2404.15929]. On the bracoid side, if \((G,\cdot,H,\star,\odot)\) contains a brace, one defines
\[
\lambda_x(y)=\gamma_x(y\odot e_H),\qquad
\rho_y(x)=\lambda_x(y)^{-1}\,x\,y,
\]
and then
\[
r(x,y)=(\lambda_x(y),\rho_y(x))
\]
is a right-nondegenerate solution of the Yang–Baxter equation. Each \(\lambda_x\) and each \(\rho_y\) is bijective, and if the underlying brace \(H\) is involutive then \(r\) is involutive [2404.15929].

A second systematic source comes from abelian maps. If \(\psi:G\to G'\) is a homomorphism whose image is abelian, then in the case \(G'=G\) one may define
\[
g\circ h=g\cdot\psi(g^{-1})\cdot h\cdot\psi(g),
\]
obtaining a bi-skew brace \((G,\cdot,\circ)\) and the associated homomorphism \(\phi(g)=g\cdot\psi(g^{-1})\) [2501.17624]. For \(H\le G\), the conditions
\[
C_1:[G,\phi(H)]\le H,\qquad C_2:H\trianglelefteq (G,\cdot)
\]
classify the strong left ideals in the resulting braces. Whenever \(C_1\) or \(C_2\) holds, quotient constructions yield skew bracoids on \(G/H\); when both hold, \(G/H\) inherits two brace structures [2501.17624].

These constructions also produce right non-degenerate Yang–Baxter solutions. If \(\psi\in\operatorname{Ab}(G)\) is idempotent, \(\psi^2=\psi\), then
\[
R(x,y)
=
\bigl(
\psi(x)\cdot\phi(y)\cdot\psi(x^{-1}),
\;
\psi(x)\cdot\phi(y)^{-1}\cdot\phi(x^{-1})^{-1}\cdot y
\bigr)
\]
defines a right non-degenerate solution on \(G\). A direct-product construction with \(G=G_1\times G_2\), \(\alpha\in\operatorname{Ab}(G_1,G_2)\), and \(\beta\in\operatorname{Ab}(G_2,G_1)\) yields another explicit family [2501.17624]. A further development shows that if a skew bracoid is almost classical and admits more than one complement \(H\), then a single skew bracoid may give rise to multiple, potentially different, solutions [2412.10268].

## 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 \(E/K\) with subgroup \(G'\subseteq G=\operatorname{Gal}(E/K)\), writing \(L=E^{G'}\) and \(X=G/G'\), binary operations \(\star\) on \(X\) for which \((G,\cdot,X,\star,\odot)\) is a skew bracoid are in bijection with \(G\)-stable regular subgroups of \(\operatorname{Perm}(X)\), and hence with Hopf–Galois structures on the separable extension \(L/K\) [2305.15848]. The associated Hopf algebra is
\[
H=E[X,\star]^G,
\]
with action on \(L\) given by
\[
\Bigl(\sum_{x\in X}c_x\,x\Bigr)[t]=\sum_{x\in X}c_x\,x(t)
\]
[2305.15848].

The papers on almost classical skew bracoids isolate two subclasses. A skew bracoid \((G,N,\odot)\) is almost a brace if the stabilizer
\[
S=\operatorname{Stab}_G(e_N)
\]
has a normal complement \(H\) in \(G\), equivalently \(G\cong H\rtimes S\). In that case \(H\) acts regularly on \(N\), and the bijection \(H\to N\), \(h\mapsto h\odot e_N\), endows \(H\) with a skew-brace structure whose additive group is identified with \(N\). It is almost classical if this induced skew brace on \(H\) is trivial, equivalently if
\[
(h_1\odot e_N)\star(h_2\odot e_N)=(h_1h_2)\odot e_N
\]
for all \(h_1,h_2\in H\), or equivalently \(\gamma(h)=\operatorname{id}_N\) for all \(h\in H\) [2412.10268].

For reduced skew bracoids, these properties admit a holomorph characterization. If \(A=\lambda_\odot(G)\subseteq \operatorname{Hol}(N)=N\rtimes\operatorname{Aut}(N)\), then \((G,N)\) is almost a brace if and only if
\[
A=R\rtimes B
\]
with \(R\subseteq N\rtimes\{1\}\) regular and \(B\subseteq \{e\}\rtimes\operatorname{Aut}(N)\), and it is almost classical if and only if
\[
A=N\rtimes B
\]
with \(B\le \operatorname{Aut}(N)\). In particular, almost classical skew bracoids with additive group \(N\) are in bijection, up to isomorphism, with conjugacy classes of subgroups \(B\le \operatorname{Aut}(N)\) [2412.10268].

These subclasses refine the Hopf–Galois picture. In the bracoid–Hopf–Galois correspondence, \((G,X)\) is almost a brace if and only if \(S\) has a normal complement in \(G\), and \((G,X)\) is almost classical if and only if \(L/K\) 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 [2412.10268].

## 6. Categorical, groupoid, and ring-theoretic generalizations

Skew bracoids have been extended in several directions. In a braided monoidal category \(\mathcal C\), a Hopf bracoid is a triple \((H,B,p_B)\) in which \(H\) and \(B\) are Hopf algebras, \(B\) is a left \(H\)-module via \(p_B\), and one imposes the braided analogue
\[
p_B\circ(\mu_H\otimes B)
=
\mu_B\circ(p_B\otimes p_B)\circ(H\otimes c_{H,B}\otimes B)\circ(\Delta_H\otimes B\otimes B).
\]
When \(\mathcal C=\mathbf{Set}\) with the usual flip, a Hopf bracoid is exactly a generalized skew bracoid [2401.02925]. 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 \(\mathbf{gSkBrcd}\) and the full subcategory of pointed, cosemisimple Hopf bracoids in \(\mathbf{Vect}_K\). Under additional assumptions one obtains an isomorphism of categories between invertible \(1\)-cocycles and cocommutative Hopf bracoids [2401.02925].

A different line of development connects skew bracoids with quiver-theoretic Yang–Baxter theory. A dynamical skew brace over a set \(\Lambda\) produces a quiver \(Q=\Lambda\times A\) with arrows \([\lambda\|a]\), a semiloopoid law
\[
[\lambda\|a]\circ[\phi_\lambda(a)\|b]=[\lambda\|a\odot_\lambda b],
\]
and a Yang–Baxter map \(\sigma\) on composable pairs. Under the zero-symmetry hypothesis, \(\sigma\) 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 [2410.10717]. For finite \(A\), the resulting quiver decomposes into complete components governed by integers \(N^A_s\), which classify all zero-symmetric dynamical skew braces on \(A\) up to quiver-isomorphism [2410.10717].

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 \(\rtimes\) vertices”: the loop bundle need not be an ideal, so the standard groupoid decomposition fails [2605.11903]. 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-\(\star\) case, a two-sided bracoid yields a multiplication
\[
a\ast b=a\cdot b\star\overline a\star\overline b
\]
on \(N\), and \((N,\star,\ast)\) 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 [2404.09623].

## 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\) of order \(n\), by computing \(\operatorname{Hol}(N)\), 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 [2508.03372].

The correctness of the method rests on three facts recorded in the computational study: conjugacy inside \(\operatorname{Hol}(N)\) can be tested using \(\operatorname{Aut}(N)\); the bijection between transitive subgroups of \(\operatorname{Hol}(N)\) 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 [2508.03372].

For \(2\le n\le 16\), the reported totals are as follows.

| Degree \(n\) | 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\le 32\), every \(N\) runs in under \(5\) s and most in \(<0.5\) s; degrees \(36,40,50,54,56,60\) take up to \(10^4\) s; and degree \(72\) completes in approximately \(1.2\times 10^6\) s [2508.03372]. Two numerical phenomena are singled out: degrees \(30\) and \(70\) have \(304\) and \(608\) skew bracoids respectively, and degrees \(44\) and \(92\) each have exactly \(200\) skew bracoids [2508.03372]. These data reinforce the central role of holomorph-subgroup enumeration in the modern study of skew bracoids.

Source: https://www.emergentmind.com/topics/skew-bracoids