The locally quaternion group is a countable B-group
Abstract
A group G is a B-group if every primitive permutation group containing a regular subgroup isomorphic to G is doubly transitive. We prove that the locally quaternion group Dic(C2∞,c), the extension of the Prüfer $2$-group by an element squaring to its involution and inverting it, is a B-group. This gives an example of a countably infinite B-group. This answers Problem 13.30 of the Kourovka Notebook. The proof analyses the automorphism group of an orbital Cayley graph through the central involution. In the main case two half-flip automorphisms generate, with their conjugates, an elementary abelian normal subgroup whose orbits form a nontrivial block system; in the remaining case, where the pointwise stabilizers of the two cosets of the Prüfer group have order two, the conjugates of the central translation generate an elementary abelian normal subgroup, which would be regular if the automorphism group were primitive; an affine lemma for the Prüfer group excludes this. The proof does not depend on computer verification: its two finite case analyses are written out in full, and programs that re-check them are provided as ancillary files.
Related
- Every countable group embeds in a group of type FPn
- Return Time Sets of Minimal Points for Countable Group Actions
- Descent of Basic Forms to Quotients by Locally Free Lie Group Actions
- Relevant sampling of non-decaying signals in Orlicz and mixed-norm Orlicz spaces defined on a locally compact group
- Diagonalization of skew-Hermitian dual quaternion matrices and ϕ-Hermitian dual quaternion matrices
BibTeX
@misc{sutherland2026locally,
title = {{The locally quaternion group is a countable $B$-group}},
author = {Alex J. Sutherland},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25022},
eprint = {2610.25022},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25022},
}
RIS
TY - UNPB
TI - The locally quaternion group is a countable B-group
AU - Alex J. Sutherland
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2610.25022
UR - https://arxiv.org/abs/2610.25022
AB - A group G is a B-group if every primitive permutation group containing a regular subgroup isomorphic to G is doubly transitive. We prove that the locally quaternion group Dic(C_2^∞,c), the extension of the Prüfer $2$-group by an element squaring to its involution and inverting it, is a B-group. This gives an example of a countably infinite B-group. This answers Problem 13.30 of the Kourovka Notebook. The proof analyses the automorphism group of an orbital Cayley graph through the central involution. In the main case two half-flip automorphisms generate, with their conjugates, an elementary abelian normal subgroup whose orbits form a nontrivial block system; in the remaining case, where the pointwise stabilizers of the two cosets of the Prüfer group have order two, the conjugates of the central translation generate an elementary abelian normal subgroup, which would be regular if the automorphism group were primitive; an affine lemma for the Prüfer group excludes this. The proof does not depend on computer verification: its two finite case analyses are written out in full, and programs that re-check them are provided as ancillary files.
ER -