Hiss–O'Brien conjecture on invariant transversals and commutators

Let GG be a finite group, and let HGH\leq G be an abelian subgroup. A GG-invariant transversal for H\GH\backslash G is a set of representatives for the right HH-cosets that is invariant under conjugation by GG. Write GG' for the commutator subgroup of GG.

Hiss–O'Brien conjecture. If HH admits a GG-invariant transversal, then

HG={1}.H\cap G'=\{1\}.

The conjecture concerns the existence of conjugation-invariant coset representatives for abelian normal subgroups. The paper's abstract states that the conjecture has counterexamples when HH is abelian and GG is finite, so the claim is refuted.

Sources & referencesView supporting material

Primary source

Gerhard Hiss, “A note on invariant transversals for normal subgroups”, arXiv:2603.02922 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.