Pith. sign in

REVIEW 2 major objections 5 minor 20 references

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

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Two compatibility equations decide when a semidirect product of skew braces is itself a skew brace, classifying Hopf-Galois structures on split Galois extensions.

desk verdict Theorem 3.4 is a genuinely useful classification and the Hopf-Galois translation is clean, but the smash-product results in Section 6 rest on an unproved isomorphism claim that needs to be supplied before publication. read the letter →

arxiv 2506.04928 v1 pith:AYRANK6P submitted 2025-06-05 math.GR math.RA

Paul J. Truman This is my paper
classification math.GRmath.RA MSC 20N9916T0512F10
keywords skewbracesHopf-GaloisstructuressemidirectproductssmashnormalHopfsubalgebrasintegralmodulestructureGaloisextensionsgamma-function
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper classifies skew braces---sets carrying two group operations linked by a distributive law---that decompose as a semidirect product of a normal piece (an ideal) and a left-ideal piece. The classification is a pair of equations in the automorphism group of the first factor: the semidirect product $A \rtimes_\theta^{\varphi} B$ is a skew brace exactly when those equations hold. Through the correspondence between skew braces and Hopf-Galois structures (Hopf-algebra actions on Galois extensions that generalize the classical Galois action), this classifies the Hopf-Galois structures on a Galois extension whose Galois group is a semidirect product and that realize the two intermediate fields $L^A$ and $L^B$ through Hopf subalgebras of the prescribed kind. The paper further shows the corresponding Hopf algebra is a smash product of the two Hopf subalgebras, which yields explicit normal-basis generators and, for local fields, freeness of the ring of integers under an unramified base-layer hypothesis. The payoff is a uniform construction that recovers existing induced-structure results and reproduces the known enumeration for degree $pq$ extensions.

What carries the argument

The $\gamma$-function $\gamma_x(y)=x^{-1}(x\circ y)$ of a skew brace, which measures how the $\circ$-product and the $\cdot$-product fail to align, together with the external semidirect product $A \rtimes_\theta^{\varphi} B$ built from a $\circ$-action $\varphi$ and a $\cdot$-action $\theta$. The two compatibility equations (6) and (7) express exactly when these two actions cohere into a skew brace; they are the engine of the classification. On the Hopf-algebra side, the smash product $H_A\#_K H_B$ of the two Hopf subalgebras is the structure that carries the action on $L$ and makes the module-theoretic conclusions visible.

What would settle it

Compute the natural map $L[A,\cdot]\#_L L[B,\cdot]\to L[G,\cdot]$ explicitly for the $C_8\rtimes C_4$ example of Example 4.3 and check bijectivity on basis elements; a failure there would refute Proposition 6.1 and everything built on it.

Watch

Extended reading notes

Core claim

The central result, Theorem 3.4, states that for skew braces $A$ and $B$ and homomorphisms $\varphi:(B,\circ)\to\operatorname{Aut}(A,\circ)$ and $\theta:(B,\cdot)\to\operatorname{Aut}(A,\cdot)$, the Cartesian product $A\times B$ with operations $(a,b)\circ(a',b')=(a\circ\varphi_b(a'), b\circ b')$ and $(a,b)\cdot(a',b')=(a\cdot\theta_b(a'), b\cdot b')$ is a skew brace if and only if $\varphi$ makes $B$ act on the skew brace $A$ and the equations $\gamma_a\theta_b=\theta_b\gamma_a$ and $\varphi_b\theta_{b'}=\theta_{b\gamma_b(b')b^{-1}}\varphi_b$ hold in $\operatorname{Aut}(A,\cdot)$. Theorem 4.1 converts this into a bijection with Hopf-Galois structures on a Galois extension with Galois group $(A,\circ)\rtimes(B,\circ)$ that realize $L^A$ via a normal Hopf subalgebra and $L^B$ via a Hopf subalgebra. The Hopf algebra of such a structure is then identified, in Proposition 6.1, with the smash product $H_A\#_K H_B$; that description drives the normal-basis-generator result (Proposition 6.5) and the local integral freeness criterion (Proposition 6.6).

Load-bearing premise

The load-bearing premise is the assertion, stated without proof or citation immediately before Proposition 6.1, that the natural map $L[A,\cdot]\#_L L[B,\cdot]\to L[G,\cdot]$ is an isomorphism of $L$-Hopf algebras; if that map is not an isomorphism, the smash-product description, the normal-basis generator result, and the integral freeness criterion all collapse.

Editorial extensions

If this is right

  • Every skew brace that is an internal semidirect product of an ideal and a left ideal is isomorphic to $A\rtimes_\theta^{\varphi} B$ with $\varphi$ and $\theta$ defined by conjugation, and the two equations give a practical admissibility test.
  • Hopf-Galois structures on a split Galois extension that realize both intermediate fields in the prescribed way are in bijection with admissible $\theta$ for the given skew-brace factors; varying the complement $B$ produces possibly many distinct structures.
  • The induced Hopf-Galois structures previously built from regular subgroups are exactly the special case $\theta=\mathrm{id}$ in Theorem 3.4, so the classification contains them.
  • For Galois extensions of degree $pq$, the classification reproduces all Hopf-Galois structures, using only Theorem 3.4, opposite skew braces, and the known enumeration.
  • The smash-product description yields a normal-basis generator $\alpha\beta$ from generators $\alpha,\beta$ of the two layers and, under an unramified base layer, freeness of the ring of integers over the associated order.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The two-equation criterion suggests a purely group-theoretic algorithm for enumerating Hopf-Galois structures on any split Galois extension: fix the group action $\varphi$, solve (6)--(7) for $\theta$ in $\operatorname{Aut}(A,\cdot)$, and count solutions; this could be automated for small groups.
  • The smash-product isomorphism may extend to settings where $L^B/K$ is not Galois, since the auxiliary Hopf algebra constructed in Section 6 already gives a Hopf-Galois structure on that non-normal extension; a natural test is whether the module-theoretic conclusions survive without the unramified hypothesis.
  • The classification is relative to a chosen complement $B$: a Hopf-Galois structure that realizes $L^A$ but no complement $L^B$ is invisible here, so a fuller account would need to decide when a given structure admits such a complement or to handle the ambiguity from multiple complements.
  • A concrete extension would be to use equations (6)--(7) to count admissible $\theta$ for families of metacyclic groups, potentially sharpening the degree-$pq$ enumeration without case-by-case checking.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper classifies skew braces that are internal semidirect products of an ideal and a left ideal (Theorem 3.4), giving explicit equations (6) and (7) involving the actions φ and θ and the γ-functions. This classification is translated, via the Stefanello–Trappeniers correspondence, into a classification of Hopf-Galois structures on a Galois extension L/K with Galois group (A,◦)⋊(B,◦) that realize L^A by a normal Hopf subalgebra and L^B by a Hopf subalgebra (Theorem 4.1). The paper then shows that induced Hopf-Galois structures (Crespo–Rio–Vela) fit into this framework (Section 5), and proposes a smash-product description H_G ≅ H_A #_K H_B for the Hopf algebra, with applications to normal basis generators and local integral module structure (Section 6). Example 4.8 checks the classification against Byott's enumeration for Galois extensions of degree pq.

Significance. If the missing proof in Section 6 is supplied, the paper gives a useful and elegant brace-theoretic tool for Hopf-Galois theory. Theorem 3.4 is a clean, checkable classification; the degree pq example provides a strong external consistency check by reproducing Byott's counts. The connection to induced Hopf-Galois structures in Theorem 5.3 is a valuable unification. The smash-product applications in Section 6 are potentially significant but rest on an unproved assertion.

major comments (2)
  1. [Section 6, paragraph before Proposition 6.1] The sentence "It can be shown that the natural map L[A,·] #_L L[B,·] → L[G,·] is an isomorphism of L-Hopf algebras" is a load-bearing assertion with no proof, construction, or citation. Proposition 6.1, and with it the action formula (15), Proposition 6.5, and Proposition 6.6, all depend on this assertion. The author should supply a complete proof or a precise reference establishing the L-Hopf algebra isomorphism.
  2. [Section 6, proof of Proposition 6.1] The descent step in Proposition 6.1 also requires that the isomorphism of L-Hopf algebras respects the semilinear (G,◦)-actions, so that it descends to an isomorphism H_A #_K H_B ≅ H_G of K-Hopf algebras. The proof only checks that the action of L[B,·] on L[A,·] is equivariant; it does not define a (G,◦)-action on the smash product or verify equivariance of the natural map. These two missing verifications—the isomorphism itself and its (G,◦)-equivariance—are essential for the subsequent applications to generalized normal basis generators and integral module structure.
minor comments (5)
  1. [Section 5, proof of Proposition 5.1] The displayed computations for λX(a)µλX(a) and λX(b)µλX(b) appear to omit the inverses needed for conjugation; the text should read λX(a)µλX(a)^{-1} and λX(b)µλX(b)^{-1}, and the intermediate term involving φ_b(a′) should be φ^{-1}_b(a′) if b^{-1} is applied first. As written the calculation is inconsistent, although the statement of the proposition is correct.
  2. [Example 4.8] The word "metacylic" is misspelled as "metacyclic"; the typo appears several times in this example.
  3. [Section 4, first paragraph] In the sentence introducing the Hopf-Galois structures, "stuctures" should be "structures".
  4. [Example 4.6] The phrase "does not realise LB′ for for any non-normal complement" contains a duplicated "for".
  5. [Example 4.3] In "We can verify that the skew braceB acts on the skew brace A", there should be a space: "skew brace B".

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the classification is derived from the skew-brace axioms and external correspondences; the Section 6 unproved isomorphism is a proof gap, not a circular step.

full rationale

Theorem 3.4 proves the asserted equivalence by directly expanding the skew brace compatibility relation (3) on the external semidirect product; equations (6) and (7) are exactly the equality of the two expressions (8) and (9), so no target conclusion is built into the hypotheses. Theorem 4.1 imports the skew-brace to Hopf-Galois correspondence from the external source [19], and Example 4.8 is checked against Byott's enumeration [3] rather than using that enumeration as a premise. Section 5 gives a genuine proof of equivalence with induced Hopf-Galois structures, not a renaming. The self-citations ([9], [16], [20]) are to standard background, a known construction, and a published theorem; in particular [20, Theorem 3.4] is used in Proposition 6.6 as an external freeness result and is not derived from the present claim. The one notable weakness is in Section 6, where the sentence 'It can be shown that the natural map L[A, ·] #_L L[B, ·] → L[G, ·] is an isomorphism of L-Hopf algebras' precedes Proposition 6.1 without a proof or citation, and the descent step also assumes without verification that this isomorphism respects the (G, ◦)-actions. This is an omitted proof of a standard semidirect-product fact, not a circular reduction: the asserted isomorphism is not defined in terms of or inferred from the theorem it supports. Therefore no significant circularity is present.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central classification relies on established external theorems (Greither-Pareigis, Stefanello-Trappeniers) as axioms, but introduces no free parameters and no invented entities. The main internal gap is the unproved isomorphism assertion in Section 6, listed as an ad hoc assumption.

assumptions (4)
  • standard math The Greither-Pareigis classification of Hopf-Galois structures on separable extensions via regular subgroups of the permutation group [14].
    Used in Section 5 to connect the skew brace picture with regular subgroups, and in Proposition 6.4 and Lemma 6.3 for the Hopf-Galois structure on L^B/K.
  • standard math The Stefanello-Trappeniers bijection between Hopf-Galois structures on a Galois extension with Galois group (G,◦) and binary operations · making (G,·,◦) a skew brace [19, Theorem 3.1].
    This is the bridge converting the skew brace classification into a classification of Hopf-Galois structures in Theorem 4.1 and throughout the paper. It is taken as given.
  • ad hoc to paper The natural map L[A,·] #_L L[B,·] → L[G,·] is an isomorphism of L-Hopf algebras.
    This is asserted with 'It can be shown' in Section 6 before Proposition 6.1 and is the key step for the smash product description; no proof or citation is provided.
  • standard math The associated order results used in Proposition 6.6, including [20, Theorem 3.4] that O_{L^A} is a free A_B-module when L^A/K is unramified, and the integral Galois descent result [4].
    These external results are load-bearing for the local module structure conclusions in Section 6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On some semidirect products of skew braces arising in Hopf-Galois theory." pith.science (2026). https://pith.science/paper/AYRANK6P

@misc{pith2026250604928,
  author       = {Pith},
  title        = {Pith review of: On some semidirect products of skew braces arising in Hopf-Galois theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AYRANK6P}},
  note         = {Machine review of arXiv:2506.04928}
}
abstract

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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

  1. [11]

    Facchini and M

    A. Facchini and M. Pompili. Semidirect products of digroups and skew braces. Bull. Belg. Math. Soc. , 31(1):40–53, 2024

    work page 2024

  2. [19]

    Stefanello and S

    L. Stefanello and S. Trappeniers. On the connection between Hopf–Galois structures and skew braces. Bull. Lond. Math. Soc. , 55(4):1726–1748, 2023

    work page 2023

  3. [1]

    N. P. Byott. Uniqueness of Hopf Galois structure of separable field extensions. Comm. Algebra, 24:3217– 3228, 3705, 1996

    work page 1996

  4. [2]

    N. P. Byott. Integral Hopf-Galois structures on degree p2 extensions of p-adic fields. J. Algebra, 248(1):334– 365, 2002

    work page 2002

  5. [3]

    N. P. Byott. Hopf-Galois structures on Galois field extensions of degree pq. J. Pure Appl. Algebra , 188(1- 3,2.2):45–57, 2004

    work page 2004

  6. [4]

    S. U. Chase, D. K. Harrison, and A. Rosenberg. Galois Theory and Galois Cohomology of Commutative Rings, volume 52 of Mem. Amer. Math. Soc. Amer. Math. Soc., 1969

    work page 1969

  7. [5]

    S. U. Chase and M. E. Sweedler. Hopf Algebras and Galois Theory , volume 97 of Lecture Notes in Mathe- matics. Springer, 1969

    work page 1969

  8. [6]

    L. N. Childs. Taming Wild Extensions: Hopf algebras and local Galois module theory , volume 80 of Math- ematical Surveys and Monographs . American Mathematical Society, 2000

    work page 2000

Show all 20 references
  1. [7]

    L. N. Childs. Skew braces and the Galois correspondence for Hopf Galois extensions. J. Algebra, 511:270– 291, 2018

    2018

  2. [8]

    L. N. Childs. Bi-skew braces and Hopf Galois structures. New York J. Math. , 25:574–588, 2019

    2019

  3. [9]

    L. N. Childs, C. Greither, K. P. Keating, A. Koch, T. Kohl, P. J. Truman, and R. Underwood.Hopf algebras and Galois module theory , volume 260 of Mathematical Surveys and Monographs . American Mathematical Society, 2021

    2021

  4. [10]

    Crespo, A

    T. Crespo, A. Rio, and M. Vela. Induced Hopf Galois structures. J. Algebra, 457:312–322, 2016

    2016

  5. [12]

    Fr¨ ohlich and M

    A. Fr¨ ohlich and M. J. Taylor. Algebraic Number Theory , volume 27 of Cambridge advanced studies in Mathematics. Cambridge University Press, 1991

    1991

  6. [13]

    Gil Mu˜ noz and A

    D. Gil Mu˜ noz and A. Rio. On induced Hopf Galois structures and its local Hopf Galois modules. Publ. Mat. (Barcelona), page (to appear), 2021

    2021

  7. [14]

    Greither and B

    C. Greither and B. Pareigis. Hopf Galois theory for separable field extensions. J. Algebra , 106:239–258, 1987

    1987

  8. [15]

    Guarneri and L

    L. Guarneri and L. Vendramin. Skew braces and the Yang-Baxter equation. Math. Comp. , 86(307):2519– 2534, 2017

    2017

  9. [16]

    Koch and P

    A. Koch and P. J. Truman. Opposite skew left braces and applications. J. Algebra, 546:218–235, 2020

    2020

  10. [17]

    Hopf algebras and their actions on rings , volume 82 of CBMS Regional Conference Series in Mathematics

    Susan Montgomery. Hopf algebras and their actions on rings , volume 82 of CBMS Regional Conference Series in Mathematics . Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1993

    1993

  11. [18]

    Smoktunowicz and L

    A. Smoktunowicz and L. Vendramin. On skew braces (with an appendix by N. Byott and L. Vendramin). J. Comb. Algebra , 2(1):47–86, 2018

    2018

  12. [20]

    P. J. Truman. Towards a generalisation of Noether’s theorem to nonclassical Hopf–Galois structures. New York J. Math. , 17:799–810, 2011. School of Computer Science and Mathematics, Keele University, Staffordshire, ST5 5BG, UK Email address : P.J.Truman@Keele.ac.uk

    2011

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.