Skip to content
Preprint

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

Aug 2026 · 0 citations · 12 references
Mathematics

Abstract

Let $r>1$ with $\gcd(r,30)=1$. We construct a finite group $G_r=(C_5\times C_3\times C_r)\rtimes W$, where $|W|=32$ and $G_r'\cong C_{60r}$, together with an augmentation-preserving automorphism $\alpha_r\in\operatorname{Aut}(\mathbb{Z}G_r)$ having no Zassenhaus factorization. The image $Y_r=\alpha_r(G_r)$ is a normalized group basis which is not rationally conjugate to $G_r$, although every element of $Y_r$ is individually rationally conjugate to an element of $G_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 $3360$ and derived subgroup $C_{420}$.

View source

Similar papers

Preprint Sep 2026

Disproof of a Conjectured Upper Bound for the Davenport Constant

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $\rr(G)=r$ denote its rank. The Davenport constant $\DD(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\DD^*(G)=1+\sum_{i=1}^r(n...

Guo-Qing Wang · 0 citations
Preprint Sep 2026

Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization

Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p...

Rui-Wen Dong, Doron Shafrir · 0 citations
Preprint Sep 2026

Exact Formulas for Restricted Coprime Representations of Even Integers with Squarefree Modulus 6P

Let $p_1,\dots,p_r\geq 5$ be distinct primes, let $P=p_1\cdots p_r$, and put $M=6P$. For a positive integer $n$, let $g_P(2n)$ denote the number of unordered representations $2n=h+k$, with $1\leq h\leq k$, such that $\gcd(h,M)=\gcd(k,M)=1$. Using the canonical remainder operator $\delta_q(x)=x-q\lfloor x/q\rfloor$, we...

Andres M. Salazar · 0 citations
Preprint Sep 2026

Augmentation-Ideal Realization of Special Nottingham Congruence Series and Cartier Indecomposables

The shifted congruence series of finite special Nottingham jet groups is realized by an integral augmentation filtration. For volume-preserving formal substitutions in characteristic $p\ge5$ and $n\ge3$ variables, the filtration induced by the action on truncated power series has the congruence subgroups as its dimensi...

Chao-Hang Ma · 2 citations
Preprint Sep 2026

Automorphism groups of endomorphism monoids of $0$-unit $3$-valent circulant digraphs

Let $G=\Cay(\mathbb{Z}_n,S)$ be a $3$-valent circulant digraph with connection set $S=\{0,s,t\}$, where $s,t\in\mathbb{Z}_n^*$ and $t\neq\pm s$. Determining the automorphism group of its endomorphism monoid reduces to determining the subgroup $U_S(\mathbb{Z}_n)\leq\mathbb{Z}_n^*$ that normalizes $\End(G)$. In this pape...

Chen-Hui Lv · 0 citations
Preprint Sep 2026

Singular Submodules of Abelian Groups over Their Endomorphism Rings

Let $A$ be an abelian group and $E=\Endo_{\Z}(A)$. We give a module-theoretic description of the singular $E$-submodules asked for in Fuchs'Problem~1.2. For a unital ring $R$ and a left $R$-module $M$, put $W=I_R({}_RR)\oplus I_R(M)$ and $J=\Jaco(\Endo_R(W))$, and let $u$ be the image of $1_R$. The classical essential-...

Jiang Yang, Xin Zhang · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.