Metacyclic-Nonmodular Groups: Structure and Applications

• Metacyclic-nonmodular groups are non-abelian metacyclic 2-groups with a cyclic normal subgroup and abelianization isomorphic to Z/2 × Z/2ⁿ, exhibiting unique 2-adic and arithmetic properties.
• Their classification employs explicit 2-group presentations and congruence criteria that enable precise analysis of automorphisms, subgroup structures, and defect group behavior.
• Arithmetic realizations in class field towers, applications in block theory, and geometric actions on Riemann surfaces underscore their significance across algebra, number theory, and topology.

Searching arXiv for recent and foundational papers on metacyclic-nonmodular groups and closely related metacyclic structures. Metacyclic-nonmodular groups are non-abelian metacyclic groups distinguished from the modular families in the classical classification of metacyclic groups. In the literature represented here, the term is used most concretely for metabelian $2$-groups of rank $2$ whose abelianization is

$$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$

especially the nonmodular families arising in the Benjamin–Snyder classification. More broadly, a metacyclic group is a group with a cyclic normal subgroup and cyclic quotient, and finite metacyclic groups admit the standard presentation

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$

with

$$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$

In automorphism theory, the modular/nonmodular distinction appears most sharply in the $2$-adic congruence conditions; the nonmodular cases are the technically delicate ones (Chen et al., 2015, Chems-Eddin et al., 25 Aug 2025).

1. Classification framework

A finite metacyclic group has a cyclic normal subgroup and cyclic quotient. In the arithmetic literature on metacyclic-nonmodular groups, one focuses on non-abelian metacyclic $2$-groups that are not modular and whose abelianization is $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$. The classification quoted there divides such groups into four presentation types (Chems-Eddin et al., 25 Aug 2025).

Type	Presentation	Conditions
Type 1	$$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$	$\alpha>1$
Type 2	$2$0	$2$1
Type 3	$2$2	$2$3, $2$4 odd
Type 4	$2$5	$2$6, $2$7 odd

Type $2$8 is the family emphasized in recent arithmetic work. Its $2$9 specialization,

$$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$0

is presented there as the smallest nontrivial nonmodular metacyclic case (Chems-Eddin et al., 25 Aug 2025).

A parallel presentation used in automorphism theory is

$$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$1

This presentation is flexible enough to accommodate split and non-split cases and to expose the arithmetic parameters controlling the action of the quotient on the normal cyclic subgroup. A useful normalization in that setting is $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$2, achieved after replacing $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$3 by a suitable power $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$4 (Chen et al., 2015).

This suggests two complementary viewpoints on metacyclic-nonmodular groups. One is classification by explicit $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$5-group presentations, especially for rank-$$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$6 metabelian groups. The other is classification by the action parameter $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$7, whose congruence behavior governs automorphisms, splitting phenomena, and the exceptional role of the prime $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$8.

2. Presentations, automorphisms, and $$G^{\mathrm{ab}}=G/G' \simeq \mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z,\qquad n\ge 2,$$9-adic structure

For the standard presentation

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$0

every endomorphism is determined by

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$1

The problem is then to determine which quadruples $$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$2 define automorphisms. The basic homomorphism constraints are the congruences

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$3

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$4

and

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$5

where

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$6

Injectivity is then analyzed prime by prime through $$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$7-adic valuations and through the decomposition of the relevant prime set into

$$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$8

with $$H(n,m;t,r)=\langle \alpha,\beta \mid \alpha^n=1,\ \beta^m=\alpha^t,\ \beta\alpha\beta^{-1}=\alpha^r\rangle,$$9 (Chen et al., 2015).

The resulting automorphism criterion is exact. In its compact form, it combines determinant-like nondegeneracy conditions such as

$$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$0

with compatibility conditions

$$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$1

and additional congruences depending on the odd part and the $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$2-part. The prime $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$3 is exceptional: the theorem isolates special cases such as $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$4 and $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$5, introduces the correction term $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$6, and shows that the nonmodular $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$7-part requires distinct valuation conditions (Chen et al., 2015).

A closely related explicit model appears in split nonabelian metacyclic $$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$8-groups,

$$r^m \equiv 1 \pmod n,\qquad t(r-1)\equiv 0 \pmod n.$$9

with $2$0 odd and $2$1. In the multiple-holomorph problem, these parameters control the arithmetic of $2$2-equivariant antihomomorphisms and lead to closed formulas for

$2$3

in several parameter ranges. In particular,

$2$4

providing families for which $2$5 is not a $2$6-group (Tsang, 2020).

Taken together, these results show that metacyclic-nonmodular structure is governed by a mixture of linear congruences, determinant conditions, and $2$7-adic correction terms. A plausible implication is that the nonmodular label is not merely classificatory: it marks the locus where local arithmetic becomes genuinely nonuniform.

3. Arithmetic realizations and class field towers

Recent arithmetic work realizes metacyclic-nonmodular groups as Galois groups of maximal unramified $2$8-extensions and maximal unramified pro-$2$9-extensions. For primes

$2$0

with

$2$1

and under the additional hypotheses

$2$2

together with the nonsquareness of a specified unit expression in a norm group $2$3, the real quadratic field

$2$4

satisfies

$2$5

where $2$6. In this setting,

$2$7

is a metacyclic-nonmodular pro-$2$8-group of Type $2$9 with $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$0 if and only if

$\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$1

The realized group is

$\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$2

When $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$3, the tower group is a minimal metacyclic-nonmodular $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$4-group of Type $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$5 and order $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$6 (Chems-Eddin et al., 25 Aug 2025).

The same work uses explicit subgroup data for index-$\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$7 and index-$\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$8 subgroups and computes their abelianizations. It also translates tower-group structure into $\mathbb Z/2\mathbb Z \times \mathbb Z/2^n\mathbb Z$9-class-group ranks of unramified quadratic subextensions: if

$$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$0

then $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$1 is metacyclic-nonmodular precisely when

$$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$2

By contrast, $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$3 is modular or abelian when

$$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$4

for some $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$5 (Chems-Eddin et al., 25 Aug 2025).

A second arithmetic direction studies minus class groups for CM extensions with

$$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$6

where $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$7 and the image of $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$8 in $$\langle a,b \mid a^{2^\alpha}=1,\ b^{2^n}=1,\ b^{-1}ab=a^{-1}\rangle$$9 has exact order $\alpha>1$0. Here the admissible and realizable $\alpha>1$1-primary minus class group classes coincide: $\alpha>1$2 The admissible monoid is a free monoid of rank $\alpha>1$3, while the ambient monoid of equivalence classes

$\alpha>1$4

is much larger (Greither et al., 21 Aug 2025).

These results place metacyclic-nonmodular groups at a precise interface between finite $\alpha>1$5-group classification and arithmetic invariants such as $\alpha>1$6-rank stability, quartic residue symbols, and local decomposition data. The decisive arithmetic condition

$\alpha>1$7

separates the metacyclic-nonmodular tower from the modular or abelian alternatives (Chems-Eddin et al., 25 Aug 2025).

4. Defect groups and modular representation theory

Metacyclic-nonmodular structure also appears in block theory through metacyclic defect groups. A central theorem states that if $\alpha>1$8 is a block of a finite group with metacyclic defect group, then Brauer’s $\alpha>1$9-Conjecture, Brauer’s Height Zero Conjecture, and Olsson’s Conjecture hold for $2$00 (Sambale, 2012).

For split nonabelian metacyclic defect groups, the standard presentation is

$2$01

The proof strategy distinguishes three cases: abelian $2$02, nonabelian nonsplit metacyclic $2$03, and nonabelian split metacyclic $2$04. In the nonsplit metacyclic case, a theorem of Gao implies that the block is nilpotent, while the split case is the hard case and is handled by detailed control of character heights and block invariants (Sambale, 2012).

A particularly important subclass is the metacyclic minimal non-abelian family, characterized by $2$05. Then

$2$06

so in the minimal non-abelian case $2$07. These are precisely the metacyclic groups whose derived subgroup has order $2$08. For such defect groups, the Alperin–McKay Conjecture is proved for all $2$09-blocks with odd $2$10, and all irreducible characters have height $2$11 or $2$12 (Sambale, 2014).

The block-theoretic rigidity becomes especially explicit in special primes. For $2$13, blocks with cyclic-maximal metacyclic defect groups satisfy

$2$14

and

$2$15

yielding the Alperin–McKay Conjecture in that case (Sambale, 2012). For metacyclic minimal non-abelian $2$16-blocks, one has

$2$17

and both Alperin’s Weight Conjecture and the Ordinary Weight Conjecture follow (Sambale, 2014).

This body of work shows that metacyclic nonabelian defect groups behave with an unexpected degree of rigidity. A plausible implication is that metacyclicity supplies enough local control to force conjectural local-global equalities even when the defect group is genuinely nonabelian.

5. Geometric and topological manifestations

Metacyclic groups occur naturally as automorphism groups of compact Riemann surfaces and as finite subgroups of mapping class groups. For a compact Riemann surface $2$18 of genus $2$19, if $2$20 is metacyclic, then, except for the group of order $2$21 occurring on genus $2$22, one has

$2$23

and this bound is attained for infinitely many genera (Schweizer, 2016).

In mapping class groups, the distinction between split and non-split metacyclic groups is fundamental. Non-split metacyclic groups are described by

$2$24

with $2$25. A canonical example is the dicyclic group

$2$26

which is non-split exactly when $2$27 is even. For a non-split metacyclic subgroup $2$28,

$2$29

and equality is realized by $2$30 when $2$31 is even. Moreover, every periodic mapping class in a non-split metacyclic subgroup is reducible (Rajeevsarathy et al., 2022).

The split case is governed by orbifold and data-set formalisms. A split non-abelian metacyclic group has the form

$2$32

and split metacyclic data sets classify weak conjugacy classes of such actions on surfaces. This framework yields complete characterizations of finite dihedral and generalized quaternionic subgroups of $2$33, liftability criteria under cyclic covers, and explicit low-genus classifications (Dhanwani et al., 2020).

Metacyclic structure also appears in cyclically presented groups. For the class $2$34 defined by a two-block condition on the relator, the shift extension splits as an amalgamated free product built from cyclic and metacyclic pieces. Every finite subgroup of the shift extension, and hence every finite subgroup of a group in $2$35, is metacyclic. If a finite group in $2$36 has fixed point free shift automorphism, then it must be cyclic (Bogley et al., 2016).

These geometric realizations show that metacyclic-nonmodular phenomena are not confined to finite $2$37-group classification or arithmetic. They also control orbifold signatures, liftability under cyclic covers, and the extremal behavior of finite surface actions.

6. Structural invariants, combinatorics, and related problems

Several adjacent problems illuminate the internal structure of metacyclic groups. In the subgroup normalizer problem for integral group rings, one asks whether

$2$38

For cyclic subgroups $2$39, this holds for every commutative ring $2$40. More generally, if $2$41 is metacyclic and fits into

$2$42

then $2$43 holds for all commutative rings $2$44 provided one of the following is true: $2$45 are finite and coprime, $2$46 is a prime, or $2$47 is a prime. This yields, in particular, the subgroup normalizer property for all dihedral groups and for all finite groups with cyclic Sylow subgroups (Bächle, 2014).

The invariant

$2$48

the number of conjugacy classes of maximal cyclic subgroups, has been computed for all metacyclic $2$49-groups. If $2$50 is a metacyclic $2$51-group of order $2$52 that is not dihedral, generalized quaternion, or semi-dihedral, then

$2$53

For positive type groups,

$2$54

so the invariant is controlled by the abelianization; negative type $2$55-groups require a separate orbit analysis via the normal abelian subgroup $2$56 (Bianchi et al., 2022).

Additive and multiplicative combinatorics over metacyclic groups have also been pushed to completion in specific families. For

$2$57

the Gao constant satisfies

$2$58

and the inverse problem for sequences of length $2$59 is completely solved. In the exceptional family

$2$60

one has

$2$61

with extremal sequences characterized explicitly (Oh et al., 23 Nov 2025).

Finally, every finite metacyclic group is an active sum of a discrete family of cyclic subgroups. The proof uses regularity and independence of an appropriate cyclic family together with the surjectivity of Ganea’s homomorphism

$2$62

for finite metacyclic groups (Díaz-Barriga et al., 2014).

These surrounding results do not define metacyclic-nonmodular groups, but they delimit a broad structural zone in which metacyclicity remains strong enough to force explicit calculations. This suggests that the nonmodular metacyclic families occupy a rare position: sufficiently nonabelian to display exceptional $2$63-adic and arithmetic behavior, yet sufficiently rigid to admit precise classification, automorphism theory, arithmetic realization, and geometric incarnation.