English

Cyclic-by-abelian counterexamples to the second and third Zassenhaus conjectures

Group Theory 2026-08-04 v1 Rings and Algebras

Abstract

Let r>1r>1 with gcd(r,30)=1\gcd(r,30)=1. We construct a finite group Gr=(C5×C3×Cr)WG_r=(C_5\times C_3\times C_r)\rtimes W, where W=32|W|=32 and GrC60rG_r'\cong C_{60r}, together with an augmentation-preserving automorphism αrAut(ZGr)\alpha_r\in\operatorname{Aut}(\mathbb{Z}G_r) having no Zassenhaus factorization. The image Yr=αr(Gr)Y_r=\alpha_r(G_r) is a normalized group basis which is not rationally conjugate to GrG_r, although every element of YrY_r is individually rationally conjugate to an element of GrG_r. Consequently, (ZC2) and (ZC3) fail for finite cyclic-by-abelian groups, resolving a problem of Margolis and del R\'io. The construction extends Hertweck's example uniformly: both the class-preserving obstruction and the integral gluing are independent of the order of the auxiliary factor. The smallest admissible member of this family has order 33603360 and derived subgroup C420C_{420}.

Keywords

Cite

@article{arxiv.2608.03254,
  title  = {Cyclic-by-abelian counterexamples to the second and third Zassenhaus conjectures},
  author = {Brecht Verbeken},
  journal= {arXiv preprint arXiv:2608.03254},
  year   = {2026}
}

Comments

17 pages; no figures